Search results: Found 263

Listing 1 - 10 of 263 << page
of 27
>>
Sort by
Democratic State and Democratic Society. Institutional Change in the Nordic Model

Authors: --- ---
ISBN: 9783110634082 Year: Pages: 415 DOI: 10.1515/9783110634082 Language: English
Publisher: De Gruyter
Subject: Political Science --- History
Added to DOAB on : 2018-12-19 16:52:49
License:

Loading...
Export citation

Choose an application

Abstract

This book focuses on institutional change in Nordic societies. Among the Nordics, the main emphasis is on Norway, in many ways the best example of neo-corporatism. The main emphasise is put on the interplay of democracy and social institutions.

Application of the cohesive zone model to the analysis of rotors with a transverse crack

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783866447912 Year: Volume: 16 Pages: XVII, 183 p. DOI: 10.5445/KSP/1000025401 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

Ein Riss im Rotor ruft eine lokale Steifigkeitsänderung hervor. Die vorliegende Arbeit ermittelt die Steifigkeitsänderung einer angerissenen Welle. Dazu wird ein Kohäsivzonenmodell eingesetzt. Das Modell wurde für die erste Rissöffnungsmode bei ebenem Verzerrungszustand in Abhängigkeit der Mehrachsigkeit des Spannungszustandes (Triaxialität) entwickelt. Außerdemwird das Kohäsivzonenmodell bei einem eindimensionalen Kontinuumsrotor als FE Modell ausgeführt.

Coupled model transformations for QoS enabled component-based software design

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866442719 Year: Volume: 1 Pages: XVI, 297 S DOI: 10.5445/KSP/1000009095 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

This thesis presents the Palladio Component Model and its accompanying transformations for component-based software design with predictable performance attributes. The use of transformations results in a deterministic relationship between the model and its implementation. The introduced Coupled Transformations method uses this relationship to include implementation details into predictions to get better predictions. The approach is validated in several case studies showing the increased accuracy.

Non-Extensive Entropy Econometrics for Low Frequency Series. National Accounts-Based Inverse Problems

Author:
ISBN: 9783110550443 9783110550764 Year: Pages: 218 DOI: 10.1515/9783110550443 Language: English
Publisher: De Gruyter
Subject: Economics
Added to DOAB on : 2017-08-10 13:47:31
License:

Loading...
Export citation

Choose an application

Abstract

Non-extensive Entropy Econometrics for Low Frequency Series provides a new and robust power-law-based, non-extensive entropy econometrics approach to the economic modelling of ill-behaved inverse problems. Particular attention is paid to national account-based general equilibrium models known for their relative complexity.In theoretical terms, the approach generalizes Gibbs-Shannon-Golan entropy models, which are useful for describing ergodic phenomena. In essence, this entropy econometrics approach constitutes a junction of two distinct concepts: Jayne’s maximum entropy principle and the Bayesian generalized method of moments. Rival econometric techniques are not conceptually adapted to solving complex inverse problems or are seriously limited when it comes to practical implementation. Recent literature showed that amplitude and frequency of macroeconomic fluctuations do not substantially diverge from many other extreme events, natural or human-related, once they are explained in the same time (or space) scale. Non-extensive entropy is a precious device for econometric modelling even in the case of low frequency series, since outputs evolving within the Gaussian attractor correspond to the Tsallis entropy limiting case of Tsallis q-parameter around unity. This book introduces a sub-discipline called Non-extensive Entropy Econometrics or, using a recent expression, Superstar Generalised Econometrics. It demonstrates, using national accounts-based models, that this approach facilitates solving nonlinear, complex inverse problems, previously considered intractable, such as the constant elasticity of substitution class of functions. This new proposed approach could extend the frontier of theoretical and applied econometrics.

Hillslope and Watershed Hydrology

Authors: ---
ISBN: 9783038429517 9783038429524 Year: Pages: 246 DOI: 10.3390/books978-3-03842-952-4 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Environmental Sciences
Added to DOAB on : 2018-09-14 11:41:26
License:

Loading...
Export citation

Choose an application

Abstract

Watershed hydrology is driven by climate forcing, near ground surface characteristics, and human activities, addressing a wide spectrum of environmental and water resource problems regarding both scientific-driven questions and practical engineering issues. This book collates watershed problems and solutions from around the world covering diverse climate types. These cases show complex interactions between hydrological processes and environmental conditions and scientific methods for understanding the hydrological regime and management of human activities. This book can be used as a state-of-the-art resource for academic researchers and water resource professionals, and will also appeal to students, scholars, and general readers interested in watershed models, water management, environmental management, climate change impact assessment, or ecohydrologic interactions.

Sustainable Governance in Northeast Asia: Challenges for Innovation Frontier

Authors: --- ---
ISBN: 9783038971535 9783038971542 Year: Pages: 274 DOI: 10.3390/books978-3-03897-154-2 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Business and Management --- Social Sciences
Added to DOAB on : 2018-09-21 12:02:45
License:

Loading...
Export citation

Choose an application

Abstract

This special edition is based on the annual conference of Sustainable Asia Conference (http://abf.inha.ac.kr/). The purpose of the conference is to work together for our future challenges. Every year more than 50 papers are presented in the conference and published in the special edition of Sustainability. Your participation on the next SAC conference shall greatly enhance our research human network. Once a friend, forever friend, it is our slogan for the conference.

Reconstruction of Software Component Architectures and Behaviour Models using Static and Dynamic Analysis

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783866448049 Year: Volume: 4 Pages: XVII, 371 p. DOI: 10.5445/KSP/1000025617 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Model-based performance prediction systematically deals with the evaluation of software performance to avoid for example bottlenecks, estimate execution environment sizing, or identify scalability limitations for new usage scenarios. Such performance predictions require up-to-date software performance models. This book describes a new integrated reverse engineering approach for the reconstruction of parameterised software performance models (software component architecture and behaviour).

Process Measurement in Business Process Management : Theoretical Framework and Analysis of Several Aspects

Author:
ISBN: 9783866447899 Year: Pages: XIV, 244 p. DOI: 10.5445/KSP/1000025397 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Process measurement deals with the quantification of business process models using process model metrics. This book presents a theoretical framework for the prediction of external process model attributes (as, for example, error-proneness and understandabiltiy) based on internal (structural) attributes. The properties of proposed metrics are analyzed. A visualization technique for metric values is introduced and metrics for process model understandability and granularity are evaluated.

Tool-supported identification of functional concerns in object-oriented code

Author:
ISBN: 9783866444942 Year: Pages: XIV, 196 p. DOI: 10.5445/KSP/1000016551 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

Concern identification aims to find the implementation of a functional concern in existing source code. In this work, concerns are described, using the Hierarchic Concern Model, as gray-boxes containing subconcerns, inputs, and outputs. The inputs and outputs are used as concern seeds to identify data-oriented abstractions of concern implementations, called concern skeletons. The identification approach is based on context free language reachability and supported by a tool, called CoDEx.

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Author:
ISBN: 9783866448858 Year: Pages: XXI, 412 p. DOI: 10.5445/KSP/1000028867 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

The Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine.

Listing 1 - 10 of 263 << page
of 27
>>
Sort by