Search results: Found 5

Listing 1 - 5 of 5
Sort by
Strategic power plant investment planning under fuel and carbon price uncertainty

Author:
ISBN: 9783866446335 Year: Pages: XVIII, 306 p. DOI: 10.5445/KSP/1000021824 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Business and Management
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

The profitability of power plant investments depends strongly on uncertain fuel and carbon prices. In this doctoral thesis, we combine fundamental electricity market models with stochastic dynamic programming to evaluate power plant investments under uncertainty. The application of interpolation-based stochastic dynamic programming and approximate dynamic programming allows us to consider a greater variety of stochastic fuel and carbon price scenarios compared to other approaches.

Learning and Execution of Object Manipulation Tasks on Humanoid Robots

Author:
Book Series: Karlsruhe Series on Humanoid Robotics ISSN: 25120875 ISBN: 9783731507499 Year: Volume: 3 Pages: X, 236 p. DOI: 10.5445/KSP/1000078313 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-28 18:37:01
License:

Loading...
Export citation

Choose an application

Abstract

Equipping robots with complex capabilities still requires a great amount of effort. In this work, a novel approach is proposed to understand, to represent and to execute object manipulation tasks learned from observation by combining methods of data analysis, graphical modeling and artificial intelligence. Employing this approach enables robots to reason about how to solve tasks in dynamic environments and to adapt to unseen situations.

Lazy Evaluation: From natural semantics to a machine-checked compiler transformation

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

Loading...
Export citation

Choose an application

Abstract

In order to solve a long-standing problem with list fusion, a new compiler transformation, “Call Arity” is developed and implemented in the Haskell compiler GHC. It is formally proven to not degrade program performance; the proof is machine-checked using the interactive theorem prover Isabelle. To that end, a formalization of Launchbury’s Natural Semantics for Lazy Evaluation is modelled in Isabelle, including a correctness and adequacy proof.

Eine Architektur für Programmsynthese aus natürlicher Sprache

Author:
ISBN: 9783731505440 Year: Pages: IX, 207 p. DOI: 10.5445/KSP/1000055916 Language: GERMAN
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

This book presents an architecture for programming in natural language called NLCI. It decouples the application domain from the text analyses: NLCI is an extensible architecture and its components are reusable. NLCI is evaluated with two case studies in two radically different domains: translating commands for a home automation system (openHAB) and generating 3D animations from English scripts with Alice.

Techno-ökonomische Planung energetischer Wohngebäudemodernisierungen : Ein gemischt-ganzzahliges lineares Optimierungsmodell auf Basis einer vollständigen Finanzplanung

Author:
Book Series: Produktion und Energie / Karlsruher Institut für Technologie, Institut für Industriebetriebslehre und industrielle Produktion u. Deutsch-Französisches Institut für Umweltforschung ISSN: 21942404 ISBN: 9783731505310 Year: Volume: 15 Pages: XVI, 286 p. DOI: 10.5445/KSP/1000054969 Language: GERMAN
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

In this work, an optimization model (MILP) for the energetic refurbishment planning of buildings is developed. It provides decision support for owner-occupiers and/or landlords. The approach considers simultaneously the selection of refurbishment measures, the operation of energy supply technologies (incl. CHP/PV), and the financing structure from an economic point of view. The evaluation scheme is based on a visualization of financial implications and factors public funds into the analysis.

Listing 1 - 5 of 5
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (5)


License

CC by-sa (4)

CC by-nc-nd (1)


Language

english (3)

german (2)


Year
From To Submit

2018 (1)

2016 (3)

2011 (1)