Browse ORBi

- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?

ORBi

Extending the Usable Ka Band Spectrum for Satellite Communications: The CoRaSat Project ; ; Lagunas, Eva 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)Extending Typicality for Description Logics ; Casini, Giovanni ; 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)Extending Łukasiewicz Logics with a Modality: Algebraic Approach to Relational Semantics ; Teheux, Bruno in Studia Logica (2013), 101(3), 505-545 Detailed reference viewed: 211 (14 UL)An Extensible and Lightweight Modular Ontology for Programming Education Grevisse, Christian ; Botev, Jean ; Rothkugel, Steffen 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)An Extensible Development Environment for 3D Segmentations based on Active Shape Models Bernard, Florian ; ; Husch, Andreas et al in Shape Symposium (2014) Detailed reference viewed: 42 (6 UL)An Extensible Tool Set for Creating and Connecting Reusable Learning Resources Kirsch, Laurent ; Botev, Jean ; Rothkugel, Steffen in In Proceedings of the World Conference on Educational Media, Hypermedia and Telecommunications (EdMedia) (2012) Detailed reference viewed: 57 (7 UL)Extension of 2D FEniCS implementation of Cosserat non-local elasticity to the 3D case ; Bordas, Stéphane ; Hale, Jack 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)An extension of kernel learning methods using a modified Log-Euclidean distance for fast and accurate skeleton-based Human Action Recognition Ghorbel, Enjie ; ; et al in Computer Vision and Image Understanding (2018), 175 Detailed reference viewed: 82 (4 UL)An extension of the concept of distance as functions of several variables Kiss, Gergely ; Marichal, Jean-Luc ; Teheux, Bruno 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)An extension of the Shannon entropy to bi-capacities ; Marichal, Jean-Luc 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)Extension procedures for confirmatory factor analysis ; Brunner, Martin ; et al in Journal of Experimental Education (2016), 85 Detailed reference viewed: 83 (1 UL)Extension procedures for confirmatory factor analysis. ; ; et al in The Journal of Experimental Education (2017), 85(4), 574-596 Detailed reference viewed: 113 (3 UL)An extension result of CR functions by a general Schwarz re ection principle Hui, Chun Yin in Complex Variables & Elliptic Equations (2009), 54 Detailed reference viewed: 25 (0 UL)Extensional Higher-Order Paramodulation in Leo-III Steen, Alexander ; Benzmüller, Christoph 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)Extensional Higher-Order Paramodulation in Leo-III Steen, Alexander ; Benzmüller, Christoph E-print/Working paper (2019) Detailed reference viewed: 36 (2 UL)Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III Steen, Alexander in KI – Künstliche Intelligenz (2020), 34(1), 105-108 Detailed reference viewed: 115 (8 UL)Extensional Paramodulation for Higher-Order Logic and its Effective Implementation Leo-III Steen, Alexander Book published by AKA-Verlag (2018) Detailed reference viewed: 82 (4 UL)Extensions of system signature and Barlow-Proschan importance index to dependent lifetimes Marichal, Jean-Luc ; Mathonet, Pierre Presentation (2011, September 07) Detailed reference viewed: 31 (2 UL)Extensions of system signatures to dependent lifetimes: Explicit expressions and interpretations Marichal, Jean-Luc ; Mathonet, Pierre 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)Extensive and Intensive Growth in a Neoclassical Framework Irmen, Andreas 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) |
||