Search results: Found 17

Listing 1 - 10 of 17 << page
of 2
>>
Sort by
Finite Difference Computing with PDEs: A Modern Software Approach

Authors: ---
Book Series: Texts in Computational Science and Engineering ISSN: 1611-0994 / 2197-179X ISBN: 9783319554556 9783319554563 Year: Pages: 507 DOI: https://doi.org/10.1007/978-3-319-55456-3 Language: English
Publisher: Springer
Subject: Computer Science
Added to DOAB on : 2017-11-24 13:03:18
License:

Loading...
Export citation

Choose an application

Abstract

This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analyses of physical behavior as implied by the numerical solutions, and how to apply the methods and software to solve problems in the fields of physics and biology.

From Sperner's Lemma to Differential Equations in Banach Spaces : An Introduction to Fixed Point Theorems and their Applications

Author:
ISBN: 9783731502609 Year: Pages: IV, 134 p. DOI: 10.5445/KSP/1000042944 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Mathematics
Added to DOAB on : 2019-07-30 20:01:58
License:

Loading...
Export citation

Choose an application

Abstract

Based on Sperner's lemma the fixed point theorem of Brouwer is proved. Rather than presenting also other beautiful proofs of Brouwer's fixed point theorem, many nice applications are given in some detail. Also Schauder's fixed point theorem is presented which can be viewed as a natural generalization of Brouwer's fixed point theorem to an infinite-dimensional setting. Finally, Tarski's fixed point theorem is applied to differential equations in Banach spaces.

Datenqualität in der medizinischen Forschung

Authors: --- ---
ISBN: 9783954661213 9783954661213 9783954663743 Year: Language: German
Publisher: MWV Medizinisch Wissenschaftliche Verlagsgesellschaft Grant: Knowledge Unlatched - 104961
Subject: Internal medicine
Added to DOAB on : 2020-02-15 11:21:04
License:

Loading...
Export citation

Choose an application

Abstract

Der Nutzen von Kohortenstudien und Registern in der patientenorientierten Verbundforschung hängt wesentlich von der Qualität der dort erfassten Daten ab. Versorgungs- und Qualitätsforschung sind auf wissenschaftlich abgesicherte Methoden und Verfahren zur Sicherstellung einer hohen Datenqualität angewiesen. Die vorliegende Leitlinie enthält entsprechende Empfehlungen zum Management von Datenqualität in Registern, Kohortenstudien und Data Repositories. In der 2. Auflage wird ein deutlich erweitertes Indikatorenset bereitgestellt und die Anwendung der Indikatoren beispielhaft für verschiedene Typen von empirischen Forschungsvorhaben beschrieben. Die Leitlinie wird abgerundet durch eine aktuelle Literatursichtung und -analyse. Sie ist damit ein wichtiger Bestandteil des Maßnahmenspektrums zur Verbesserung und Sicherung der Datenqualität in der medizinischen Forschung.

The Potential Role for Community Monitoring in MRV and in Benefit Sharing in REDD+

ISBN: 9783038420644 9783038420651 Year: Pages: 232 Language: English
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Added to DOAB on : 2015-10-22 08:55:10
License:

Loading...
Export citation

Choose an application

Abstract

Developing countries interested in REDD+ under the UNFCCC have been requested to prepare a national forest monitoring system (NFMS) and a system to monitor, report and verify implementation (MRV). They have also been requested to engage local communities and indigenous groups as critical stakeholders in this process. The NFMS should be consistent with national inventories of emissions and removals of greenhouse gases. These inventories are, however, usually prepared using national level information with low geographical resolution and without the participation of local communities or other forest owners/managers. However, it has been shown that members of rural forest communities can develop the skills to monitor and measure levels of carbon stock in their forests and changes in these levels over time. If this information could be included and tracked from the local to regional and national levels, this might help to design transparent mechanisms for the assessment of REDD+ implementation, and possibly even for benefit sharing. The objective of this Special Issue is to discuss and explore the social, technical and political implications and potential of including community-based monitoring in MRV systems and benefit-sharing schemes in REDD+.

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.

Specification and verification of object-oriented software components

Author:
ISBN: 3866440421 Year: Pages: XVIII, 248 p. DOI: 10.5445/KSP/1000004542 Language: GERMAN
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 work presents a flexible methodology for formally specifying and deductively verifying object-oriented components.It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Radar Forward Operator for Verification of Cloud Resolving Simulations within the COSMO Model

Author:
Book Series: Wissenschaftliche Berichte des Instituts für Meteorologie und Klimaforschung des Karlsruher Instituts für Technologie ISSN: 01795619 ISBN: 9783731501725 Year: Volume: 62 Pages: VI, 124 p. DOI: 10.5445/KSP/1000038411 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Astronomy (General)
Added to DOAB on : 2019-07-30 20:01:59
License:

Loading...
Export citation

Choose an application

Abstract

In this work, various simulation methods of the effective radar reflectivity factor and its attenuation by atmospheric particles from the variables of the COSMO model have been implemented within a so-called radar forward operator, and its output was compared to measurements from the German radar network. To perform a statistically reliable model verification, contoured frequency by altitude diagrams (CFADs) were used and refined.

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

Author:
ISBN: 9783866446236 Year: Pages: xxi, 269 p. DOI: 10.5445/KSP/1000021694 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:01
License:

Loading...
Export citation

Choose an application

Abstract

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.

Probabilistic Maneuver Recognition in Traffic Scenarios

Author:
Book Series: Schriftenreihe / Institut für Mess- und Regelungstechnik, Karlsruher Institut für Technologie ISSN: 16134214 ISBN: 9783731502876 Year: Volume: 031 Pages: VI, 150 p. DOI: 10.5445/KSP/1000043680 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Technology (General)
Added to DOAB on : 2019-07-30 20:02:02
License:

Loading...
Export citation

Choose an application

Abstract

In this work an approach is presented to model and recognize traffic maneuvers in terms of interactions between different traffic participants on extra urban roads. Results of the recognition concept are presented and evaluated using different sensor setups and its benefit is outlined by an integration into a software framework in the field of Car-to-Car (C2C) communications. Furthermore, recognition results are used in this work to robustly predict vehicle&#8217;s trajectories while driving dynamic

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Author:
Book Series: Theoretical Computer Science and General Issues Series ISBN: 9783319898834 9783319898841 Year: Volume: 10801 Pages: 1058 DOI: https://doi.org/10.1007/978-3-319-89884-1 Language: English
Publisher: Springer Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 15:05:43
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.

Listing 1 - 10 of 17 << page
of 2
>>
Sort by
-->