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 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: 80 (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: 82 (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: 110 (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: 24 (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: 34 (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: 114 (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: 79 (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: 118 (5 UL)
Full Text
Peer Reviewed
See detailExtensive and intensive growth in a neoclassical framework
Irmen, Andreas UL

in Journal of Economic Dynamics & Control (2005), 29(8), 1427-1448

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.<P>(This abstract was borrowed from another version of this item.) [less ▲]

Detailed reference viewed: 89 (0 UL)
Full Text
Peer Reviewed
See detailExtensive and intensive margins and exchange rate regimes
Picard, Pierre M UL; hamano, masahige

in Canadian Journal of Economics (2017), 50(3), 804-837

This paper studies the costs and benefits of fixed and flexible exchange rate regimes in the presence of endogenous intensive and extensive margins of trade. The net benefit depends on the levels and ... [more ▼]

This paper studies the costs and benefits of fixed and flexible exchange rate regimes in the presence of endogenous intensive and extensive margins of trade. The net benefit depends on the levels and volatilities of those margins as well as on their correlation with consumers preferences. A fixed exchange rate regime is preferred for sufficiently high labour supply elasticities and lower love for product diversity. Delays between entry and production make fixed exchange rate regimes less attractive. [less ▲]

Detailed reference viewed: 97 (1 UL)
Full Text
Peer Reviewed
See detailExtensive and intensive margins and the choice of exchange rate regimes
Hamano, Masashige UL

E-print/Working paper (2013)

This paper studies how the choice of xed or exible exchange rate regimes is a¤ected by the existence of intensive and extensive margins. We study two models where rms enter during or before each period of ... [more ▼]

This paper studies how the choice of xed or exible exchange rate regimes is a¤ected by the existence of intensive and extensive margins. We study two models where rms enter during or before each period of production. We show how the choice of those regimes depend on the level and the volatily of the intensive and extensive margins as well as on the congruence between consumers preferences and the supply and diversity of products. We show that xed exchange rate regimes are preferred for high enough labor supply elasticities. Fixed exchange rate regimes are unambigously better when entry occurs at the same time as production in each period. Fixed exchange rate regimes are less attractive in the presence of production lags and higher love of product diversity. [less ▲]

Detailed reference viewed: 23 (1 UL)
Full Text
See detailExtensive and intensive margins and the choice of exchange rate regimes
Picard, Pierre M UL; Hamano, Masashige

E-print/Working paper (2013)

This paper studies how the choice of fixed or flexible exchange rate regimes is affected by the existence of intensive and extensive margins. We study two models where firms enter during or before each ... [more ▼]

This paper studies how the choice of fixed or flexible exchange rate regimes is affected by the existence of intensive and extensive margins. We study two models where firms enter during or before each period of production. We show how the the choice of those regimes depend on the level and the volatily of the intensive and extensive margins as well as on the congruence between consumers' preferences and the supply and diversity of products. We show that fixed exchange rate regimes are preferred for high enough labor supply elasticities. Fixed exchange rate regimes are unambigously better when entry occurs at the same time as production in each period. Fixed exchange rate regimes are less attractive in the presence of production lags and higher love of product diversity. [less ▲]

Detailed reference viewed: 63 (2 UL)
Full Text
Peer Reviewed
See detailExtensive catheter-induced aortic dissection.
Mamas, M. A.; Alonso, A.; Neyses, Ludwig UL

in The Canadian journal of cardiology (2008), 24(2), 9-10

Detailed reference viewed: 105 (0 UL)
Full Text
See detailAn Extensive Systematic Review on Model-Driven Development of Secure Systems
Nguyen, Phu Hong UL

Report (2015)

Context: Model-Driven Security (MDS) is as a specialised Model-Driven Engineering research area for supporting the development of secure systems. Over a decade of research on MDS has resulted in a large ... [more ▼]

Context: Model-Driven Security (MDS) is as a specialised Model-Driven Engineering research area for supporting the development of secure systems. Over a decade of research on MDS has resulted in a large number of publications. Objective: To provide a detailed analysis of the state of the art in MDS, a systematic literature review (SLR) is essential. Method: We conducted an extensive SLR on MDS. Derived from our research questions, we designed a rigorous, extensive search and selection process to identify a set of primary MDS studies that is as complete as possible. Our three-pronged search process consists of automatic searching, manual searching, and snowballing. After discovering and considering more than thousand relevant papers, we identified, strictly selected, and reviewed 108 MDS publications. Results: The results of our SLR show the overall status of the key artefacts of MDS, and the identified primary MDS studies. E.g. regarding security modelling artefact, we found that developing domain-specific languages plays a key role in many MDS approaches. The current limitations in each MDS artefact are pointed out and corresponding potential research directions are suggested. Moreover, we categorise the identified primary MDS studies into 5 principal MDS studies, and other emerging or less common MDS studies. Finally, some trend analyses of MDS research are given. Conclusion: Our results suggest the need for addressing multiple security concerns more systematically and simultaneously, for tool chains supporting the MDS development cycle, and for more empirical studies on the application of MDS methodologies. To the best of our knowledge, this SLR is the first in the field of Software Engineering that combines a snowballing strategy with database searching. This combination has delivered an extensive literature study on MDS. [less ▲]

Detailed reference viewed: 118 (7 UL)
Full Text
Peer Reviewed
See detailAn Extensive Systematic Review on the Model-Driven Development of Secure Systems
Nguyen, Phu Hong UL; Kramer, Max; Klein, Jacques UL et al

in Information & Software Technology (2015), 68(December 2015), 62-81

Context: Model-Driven Security (MDS) is as a specialised Model-Driven Engineering research area for supporting the development of secure systems. Over a decade of research on MDS has resulted in a large ... [more ▼]

Context: Model-Driven Security (MDS) is as a specialised Model-Driven Engineering research area for supporting the development of secure systems. Over a decade of research on MDS has resulted in a large number of publications. Objective: To provide a detailed analysis of the state of the art in MDS, a systematic literature review (SLR) is essential. Method: We conducted an extensive SLR on MDS. Derived from our research questions, we designed a rigorous, extensive search and selection process to identify a set of primary MDS studies that is as complete as possible. Our three-pronged search process consists of automatic searching, manual searching, and snowballing. After discovering and considering more than thousand relevant papers, we identified, strictly selected, and reviewed 108 MDS publications. Results: The results of our SLR show the overall status of the key artefacts of MDS, and the identified primary MDS studies. E.g. regarding security modelling artefact, we found that developing domain-specific languages plays a key role in many MDS approaches. The current limitations in each MDS artefact are pointed out and corresponding potential research directions are suggested. Moreover, we categorise the identified primary MDS studies into 5 significant MDS studies, and other emerging or less common MDS studies. Finally, some trend analyses of MDS research are given. Conclusion: Our results suggest the need for addressing multiple security concerns more systematically and simultaneously, for tool chains supporting the MDS development cycle, and for more empirical studies on the application of MDS methodologies. To the best of our knowledge, this SLR is the first in the field of Software Engineering that combines a snowballing strategy with database searching. This combination has delivered an extensive literature study on MDS. [less ▲]

Detailed reference viewed: 151 (11 UL)