Search results: Found 371

Listing 21 - 30 of 371 << page
of 38
>>
Sort by
Insight and Intuition - Two Sides of the Same Coin?

Authors: --- ---
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889455195 Year: Pages: 168 DOI: 10.3389/978-2-88945-519-5 Language: English
Publisher: Frontiers Media SA
Subject: Science (General) --- Psychology
Added to DOAB on : 2019-01-23 14:53:42
License:

Loading...
Export citation

Choose an application

Abstract

Insight and intuition might be the most mysterious and fascinating fields of human thinking and problem solving. They are different from standard and analytical problem solving accounts and provide the basis for creative and innovative thinking.Until now they were investigated in separate academic fields with differing tradition. Therefore, this eBook attempts to bridge the gap between both processes and to provide a more integrated perspective. Several experts address the underlying cognitive processes and provide a broad spectrum of new empirical, theoretical, and methodological insights.

Mediale Hochschul-Perspektiven 2020 in Baden-Württemberg : empirische Untersuchung im Rahmen der Allianz ""Forward IT""

Author:
ISBN: 9783731506232 Year: Pages: 124 p. DOI: 10.5445/KSP/1000064688 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Education
Added to DOAB on : 2019-07-30 19:59:17
License:

Loading...
Export citation

Choose an application

Abstract

The study explores digitization in higher education from the organizational perspective of a university as a “model”, illustrated through specific case studies of the Karlsruhe Institute of Technology and the University of Stuttgart. It is assumed that the key factors affecting digitization in higher education are the widespread adoption and usage of digital technology in science, the digital interconnectedness of higher education systems and the media usage habits of instructors and students.

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).

On the Use of Model Order Reduction Techniques for the Elastohydrodynamic Contact Problem

Author:
Book Series: Schriftenreihe des Instituts für Technische Mechanik, Karlsruher Institut für Technologie ISSN: 16143914 ISBN: 9783731503699 Year: Volume: 27 Pages: XXXII, 125 p. DOI: 10.5445/KSP/1000046871 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

The objective of this work is to develop a method which solves the nonlinear elastohydrodynamic contact problem in a fast and precise way using model order reduction techniques. The reduction procedure is based on a projection onto a low-dimensional subspace using different hyper-reduction procedures. The method provides fast and highly accurate reduced order models for stationary and transient, Newtonian and Non-Newtonian EHD line and point contact problems.

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.

Production cost models with regard to liberalised electricity markets

Author:
ISBN: 9783866442696 Year: Pages: XVIII, 115 p. DOI: 10.5445/KSP/1000009066 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

This book makes a contribution to the formulation and implementation of production cost models for the modelling of liberalized electricity markets by addressing issues associated with the level of detail in the representation of the underlying power system, the accuracy of the results and the modelling effort. To this end a production cost model was formulated and applied to estimate the short-run marginal cost of the power systems of three important European electricity markets.

Personalizing Simulations of the Human Atria : Intracardiac Measurements, Tissue Conductivities, and Cellular Electrophysiology

Author:
Book Series: Karlsruhe transactions on biomedical engineering / Ed.: Karlsruhe Institute of Technology / Institute of Biomedical Engineering ISSN: 18645933 ISBN: 9783866446465 Year: Volume: 12 Pages: VI, 152 p. DOI: 10.5445/KSP/1000022290 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

This work addresses major challenges of heart model personalization. Analysis techniques for clinical intracardiac electrograms determine wave direction and conduction velocity from single beats. Electrophysiological measurements are simulated to validate the models. Uncertainties in tissue conductivities impact on simulated ECGs. A minimal model of cardiac myocytes is adapted to the atria. This makes personalized cardiac models a promising technique to improve treatment of atrial arrhythmias.

An Access Definition and Query Language : Towards a Unified Access Control Model

Author:
ISBN: 9783731500889 Year: Pages: IX, 216 p. DOI: 10.5445/KSP/1000036121 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

In this work we suggest a meta access control model emulating established access control models by configuration and offering enhanced features like the delegation of rights, ego-centered roles, and decentralized administration. The suggested meta access control model is named ''Access Definition and Query Language'' (ADQL). ADQL is represented by a formal, context-free grammar allowing to express the targeted access control model, policies, facts, and access queries as a formal language.

Listing 21 - 30 of 371 << page
of 38
>>
Sort by
-->