Browsing
     by title


0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

or enter first few letters:   
OK
Full Text
Peer Reviewed
See detailExtending the Usable Ka Band Spectrum for Satellite Communications: The CoRaSat Project
Evans, Barry; Thompson, Paul; Lagunas, Eva UL et al

in Advanced Next Generation Broadband Satellite Systems Workshop, International Conference on Wireless and Satellite Systems (WiSATS, formerly PSATS), Bradford, UK, July 2015. (2015)

Detailed reference viewed: 133 (6 UL)
Full Text
See detailExtending Typicality for Description Logics
Booth, Richard; Casini, Giovanni UL; Meyer, Thomas et al

Report (2017)

Recent extensions of description logics for dealing with different forms of non-monotonic reasoning don’t take us beyond the case of defeasible subsumption. In this paper we enrich the DL EL⊥ with a ... [more ▼]

Recent extensions of description logics for dealing with different forms of non-monotonic reasoning don’t take us beyond the case of defeasible subsumption. In this paper we enrich the DL EL⊥ with a (constrained version of) a typicality operator •, the intuition of which is to capture the most typical members of a class, providing us with the DL EL•⊥. We argue that EL•⊥ is the smallest step one can take to increase the expressivity beyond the case of defeasible subsumption for DLs, while still retaining all the rationality properties an appropriate notion of defeasible subsumption is required to satisfy, and investigate what an appropriate notion of non-monotonic entailment for EL•⊥ should look like. [less ▲]

Detailed reference viewed: 75 (4 UL)
Full Text
Peer Reviewed
See detailExtending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics
Hansoul, Georges; Teheux, Bruno UL

in Studia Logica (2013), 101(3), 505-545

Detailed reference viewed: 211 (14 UL)
Full Text
Peer Reviewed
See detailAn Extensible and Lightweight Modular Ontology for Programming Education
Grevisse, Christian UL; Botev, Jean UL; Rothkugel, Steffen UL

in Advances in Computing - 12th Colombian Conference, CCC 2017, Cali, Colombia, September 19-22, 2017, Proceedings (2017, August)

Semantic web technologies such as ontologies can foster the reusability of learning material by introducing common sets of concepts for annotation purposes. However, suggesting learning material from an ... [more ▼]

Semantic web technologies such as ontologies can foster the reusability of learning material by introducing common sets of concepts for annotation purposes. However, suggesting learning material from an open, heterogeneous corpus is a nontrivial problem. In this paper, we propose an extensible and lightweight modular ontology for programming education. Its main purpose is to integrate annotated learning material related to programming into an IDE such as Eclipse. Our ontology is based on a modular architecture, which is extensible with respect to different programming languages. Aligning language-specific concepts with user-specific tags allows us to suggest learning resources for code elements in a fine-grained and cross-curricular way. Our concrete implementation establishes relations between learning aspects in Java or C code and annotated resources such as articles on online question-and-answer sites. [less ▲]

Detailed reference viewed: 196 (33 UL)
Full Text
Peer Reviewed
See detailAn Extensible Development Environment for 3D Segmentations based on Active Shape Models
Bernard, Florian UL; Gemmar, Peter; Husch, Andreas UL et al

in Shape Symposium (2014)

Detailed reference viewed: 42 (6 UL)
Full Text
Peer Reviewed
See detailAn Extensible Tool Set for Creating and Connecting Reusable Learning Resources
Kirsch, Laurent UL; Botev, Jean UL; Rothkugel, Steffen UL

in In Proceedings of the World Conference on Educational Media, Hypermedia and Telecommunications (EdMedia) (2012)

Detailed reference viewed: 57 (7 UL)
Full Text
See detailExtension of 2D FEniCS implementation of Cosserat non-local elasticity to the 3D case
Sautot, Camille; Bordas, Stéphane UL; Hale, Jack UL

Report (2014)

The objective of the study is the extension of the existing 2D FEniCS implementation of Cosserat elasticity to the 3D case. The first step is the implementation of a patch-test for a simple problem in ... [more ▼]

The objective of the study is the extension of the existing 2D FEniCS implementation of Cosserat elasticity to the 3D case. The first step is the implementation of a patch-test for a simple problem in classical elasticity as a Timoshenko's beam - this study will show that DOLFIN could offer approximated solutions converging to the analytical solution. The second step is the computation of the stress in a plate with a circular hole. The stress concentration factors around the hole in classical and Cosserat elasticities will be compared, and a convergence study for the Cosserat case will be realised. The third step is the extension to the 3D case with the computation of the stress concentration factor around a spherical cavity in an infinite elastic medium. This computed value will be compare to the analytical solution described by couple-stress theory. [less ▲]

Detailed reference viewed: 242 (7 UL)
Full Text
Peer Reviewed
See detailAn extension of kernel learning methods using a modified Log-Euclidean distance for fast and accurate skeleton-based Human Action Recognition
Ghorbel, Enjie UL; Boonaert, Jacques; Boutteau, Rémi et al

in Computer Vision and Image Understanding (2018), 175

Detailed reference viewed: 82 (4 UL)
Full Text
Peer Reviewed
See detailAn extension of the concept of distance as functions of several variables
Kiss, Gergely UL; Marichal, Jean-Luc UL; Teheux, Bruno UL

in De Baets, Bernard; Mesiar, Radko; Saminger-Platz, Susanne (Eds.) et al 36th Linz Seminar on Fuzzy Set Theory (LINZ 2016) - Functional Equations and Inequalities (2016, February)

Extensions of the concept of distance to more than two elements have been recently proposed in the literature to measure to which extent the elements of a set are spread out. Such extensions may be ... [more ▼]

Extensions of the concept of distance to more than two elements have been recently proposed in the literature to measure to which extent the elements of a set are spread out. Such extensions may be particularly useful to define dispersion measures for instance in statistics or data analysis. In this note we provide and discuss an extension of the concept of distance, called n-distance, as functions of n variables. The key feature of this extension is a natural generalization of the triangle inequality. We also provide some examples of n-distances that involve geometric and graph theoretic constructions. [less ▲]

Detailed reference viewed: 110 (12 UL)
Full Text
Peer Reviewed
See detailAn extension of the Shannon entropy to bi-capacities
Kojadinovic, Ivan; Marichal, Jean-Luc UL

in Proc. 3rd Int. Summer School on Aggregation Operators and their Applications (AGOP 2005), Lugano, Switzerland, July 10-15, 2005 (2005, July)

The notion of Shannon entropy, recently generalized to capacities, is extended to bi-capacities and its main properties are studied.

Detailed reference viewed: 52 (1 UL)
Full Text
Peer Reviewed
See detailExtension procedures for confirmatory factor analysis
Nagy, Gabriele; Brunner, Martin UL; Lüdtke, Oliver et al

in Journal of Experimental Education (2016), 85

Detailed reference viewed: 83 (1 UL)
Full Text
Peer Reviewed
See detailExtension procedures for confirmatory factor analysis.
Nagy, Gabriel; Brunner, Martin; Lüdtke, Oliver et al

in The Journal of Experimental Education (2017), 85(4), 574-596

Detailed reference viewed: 113 (3 UL)
Full Text
Peer Reviewed
See detailAn extension result of CR functions by a general Schwarz re ection principle
Hui, Chun Yin UL

in Complex Variables & Elliptic Equations (2009), 54

Detailed reference viewed: 25 (0 UL)
Full Text
Peer Reviewed
See detailExtensional Higher-Order Paramodulation in Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

in Journal of Automated Reasoning (2021)

Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based proof search to higher ... [more ▼]

Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based proof search to higher-order logic. The prover may cooperate with multiple external specialist reasoning systems such as first-order provers and SMT solvers. Leo-III is compatible with the TPTP/TSTP framework for input formats, reporting results and proofs, and standardized communication between reasoning systems, enabling e.g. proof reconstruction from within proof assistants such as Isabelle/HOL. Leo-III supports reasoning in polymorphic first-order and higher-order logic, in all normal quantified modal logics, as well as in different deontic logics. Its development had initiated the ongoing extension of the TPTP infrastructure to reasoning within non-classical logics. [less ▲]

Detailed reference viewed: 25 (0 UL)
Full Text
See detailExtensional Higher-Order Paramodulation in Leo-III
Steen, Alexander UL; Benzmüller, Christoph UL

E-print/Working paper (2019)

Detailed reference viewed: 36 (2 UL)
Full Text
Peer Reviewed
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

in KI – Künstliche Intelligenz (2020), 34(1), 105-108

Detailed reference viewed: 115 (8 UL)
Full Text
See detailExtensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III
Steen, Alexander UL

Book published by AKA-Verlag (2018)

Detailed reference viewed: 82 (4 UL)
Full Text
Peer Reviewed
See detailExtensions of system signatures to dependent lifetimes: Explicit expressions and interpretations
Marichal, Jean-Luc UL; Mathonet, Pierre UL

in Journal of Multivariate Analysis (2011), 102(5), 931-936

The concept of system signature was introduced by Samaniego for systems whose components have i.i.d. lifetimes. We consider its extension to the continuous dependent case and give an explicit expression ... [more ▼]

The concept of system signature was introduced by Samaniego for systems whose components have i.i.d. lifetimes. We consider its extension to the continuous dependent case and give an explicit expression for this extension as a difference of weighted means of the structure function values. We then derive a formula for the computation of the coefficients of these weighted means in the special case of independent continuous lifetimes. Finally, we interpret this extended concept of signature through a natural least squares approximation problem. [less ▲]

Detailed reference viewed: 80 (3 UL)
Full Text
See detailExtensive and Intensive Growth in a Neoclassical Framework
Irmen, Andreas UL

Report (2004)

Extensive growth based on the expansion of inputs is likely to be subject to diminishing returns. Therefore it is often viewed as having no effect on per capita magnitudes in the long run. This Paper ... [more ▼]

Extensive growth based on the expansion of inputs is likely to be subject to diminishing returns. Therefore it is often viewed as having no effect on per capita magnitudes in the long run. This Paper argues that periods of extensive growth through capital accumulation may be a precursor to periods of intensive growth during which output per unit of input grows through endogenous technical change. Such a sequence of stages of development occurs as capital accumulation affects the incentives to engage in labour-saving technical change. A steady rise in the capital-labour ratio affects the relative scarcity of factors of production, their (expected) relative price, and induces innovation investments. [less ▲]

Detailed reference viewed: 119 (5 UL)