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
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)
Full Text
Peer Reviewed
See detailExtensive transmission of microbes along the gastrointestinal tract
Schmidt, Thomas; Hayward, Matthew; Coelho, Luis et al

in eLife (2019)

The gastrointestinal tract is abundantly colonized by microbes, yet the translocation of oral species to the intestine is considered a rare aberrant event, and a hallmark of disease. By studying salivary ... [more ▼]

The gastrointestinal tract is abundantly colonized by microbes, yet the translocation of oral species to the intestine is considered a rare aberrant event, and a hallmark of disease. By studying salivary and fecal microbial strain populations of 310 species in 470 individuals from five countries, we found that transmission to, and subsequent colonization of, the large intestine by oral microbes is common and extensive among healthy individuals. We found evidence for a vast majority of oral species to be transferable, with increased levels of transmission in colorectal cancer and rheumatoid arthritis patients and, more generally, for species described as opportunistic pathogens. This establishes the oral cavity as an endogenous reservoir for gut microbial strains, and oral-fecal transmission as an important process that shapes the gastrointestinal microbiome in health and disease. [less ▲]

Detailed reference viewed: 193 (6 UL)
Full Text
Peer Reviewed
See detailThe Extented Discrete Element Method (XDEM): An Advanced Approach to Model Blast Furnace
Peters, Bernhard UL; Maryam, Baniasadi; Baniasadi, Mehdi UL

in Iron Ores and Iron Oxide Materials (2018)

The blast furnace iron making is the oldest but still the main method to produce liquid iron through sequential reduction processes of iron ore materials. Despite the existence of several discrete and ... [more ▼]

The blast furnace iron making is the oldest but still the main method to produce liquid iron through sequential reduction processes of iron ore materials. Despite the existence of several discrete and continuous numerical models, there is no global method to provide detailed information about the processes inside the furnaces. The extended discrete element method known as XDEM is an advance numerical tool based on Eulerian – Lagrangian framework which is able to cover more information about the blast furnace process. Within this plat- form, the continuous phases such as gas and liquid phases are coupled to the discrete entities such as coke and iron ore particles through mass, momentum and energy exchange. This method has been applied to the shaft, cohesive zone, dripping zone and hearth of the blast furnace. In this chapter, the mathematical and numerical methods implemented in the XDEM method are described, and the results are discussed. [less ▲]

Detailed reference viewed: 234 (16 UL)
Peer Reviewed
See detailExternal Actors and their Influences on the Quality of Democracy in East Central Europe
Mochtak, Michal UL

in Holzer, Jan; Mareš, Miroslav (Eds.) Challenges to Democracies in East Central Europe (2016)

Detailed reference viewed: 31 (1 UL)
Full Text
Peer Reviewed
See detailThe External Administrative Layer of EU Law-making: International Decisions in EU Law and the Case of CETA
Mendes, Joana UL

in European Papers (2017), 2(2), 489-517

The legal status of binding and non-binding international decisions adopted by global regulatory bodies in EU law, their authority (as acknowledged in the case law of the CJEU) and legal effects allow one ... [more ▼]

The legal status of binding and non-binding international decisions adopted by global regulatory bodies in EU law, their authority (as acknowledged in the case law of the CJEU) and legal effects allow one to characterise them as the external administrative layer of EU law-making. Mega-regional agreements, of which the Comprehensive Economic and Trade Agreement (CETA) is an instance, have the potential to expand this tier of aw. This article maps the substantive legal effects of international decisions in EU law as expounded by the CJEU, arguing that the case law the Court developed is transposable to future decisions of CETA bodies. Furthermore, it contrasts their possible substantive impact in EU law with the weaknesses of procedural controls over the exercise of public authority by those bodies. [less ▲]

Detailed reference viewed: 182 (15 UL)
Full Text
See detailThe External Dimension of EU Agencies and Bodies
Hofmann, Herwig UL; Vos, Ellen; Chamon, Merijn

Book published by Elgar - 1st (2019)

Detailed reference viewed: 45 (5 UL)