ERAILS | SEARCH RESULTS

Title

Author

Publisher

Abstract

Resource Type

Showing all Resources, Excluding Opac and Electronic and Premium resources

A Contribution to Active Infrared Laser Spectroscopy for Remote Substance Detection

Author:Jarvis Jan-Phili

Publisher:KIT Scientific Publishing

Abstract: In this work we present a stand-off, long wave infrared (LWIR) spectroscopy system for remote detec…

DevOps for Digital Leaders: Reignite Business with a Modern DevOps-Enabled Software Factory

Author:Kieran Taylor, Aruna Ravichandran, Peter Waterhous

Publisher:Apress

Abstract: Learn to design, implement, measure, and improve DevOps programs that are tailored to your organiza…

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Author:Weiß Benjami

Publisher:KIT Scientific Publishing

Abstract: Software systems play a central role in modern society, and their correctness is often crucially im…

Computer Vision Metrics: Survey, Taxonomy, and Analysis

Author:Scott Kri

Publisher:Apress

Abstract: Computer Vision Metrics provides an extensive survey and analysis of over 100 current and historica…

Deriving Goal-oriented Performance Models by Systematic Experimentation

Author:Westermann Denni

Publisher:KIT Scientific Publishing

Abstract: Performance modelling can require substantial effort when creating and maintaining performance mode…

Controlled self-organisation using learning classifier systems

Author:Richter Urban Maximilia

Publisher:KIT Scientific Publishing

Abstract: The complexity of technical systems increases, breakdowns occur quite often. The mission of organic…

Control Theory Tutorial: Basic Concepts Illustrated by Software Examples

Author:Steven A. Fran

Publisher:Springer Nature

Abstract: This open access Brief introduces the basic principles of control theory in a concise self-study gu…

Configurable Software Performance Completions through Higher-Order Model Transformations

Author:Happe Luci

Publisher:KIT Scientific Publishing

Abstract: Chillies is a novel approach for variable model transformations closing the gap between abstract ar…

Computer Algebra in Scientific Computing

Author:Weber Andrea

Publisher:MDPI - Multidisciplinary Digital Publishing Institute

Abstract: Although scientific computing is very often associated with numeric computations, the use of comput…

Detection and characterization of inclusions in impedance tomography

Author:Schmitt Susann

Publisher:KIT Scientific Publishing

Abstract: The topic of this work are two further developments of the Factorization method for electrical impe…