Search results: Found 6

Listing 1 - 6 of 6
Sort by
Finite Difference Computing with Exponential Decay Models

Author:
Book Series: Lecture Notes in Computational Science and Engineering ISSN: 1439-7358 ISBN: 9783319294384 9783319294391 Year: Volume: 110 Pages: 200 DOI: 10.1007/978-3-319-29439-1 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Mathematics
Added to DOAB on : 2017-01-24 17:39:00
License:

Loading...
Export citation

Choose an application

Abstract

This text provides a very simple, initial introduction to the complete scientific computing pipeline: models, discretization, algorithms, programming, verification, and visualization. The pedagogical strategy is to use one case study – an ordinary differential equation describing exponential decay processes – to illustrate fundamental concepts in mathematics and computer science. The book is easy to read and only requires a command of one-variable calculus and some very basic knowledge about computer programming. Contrary to similar texts on numerical methods and programming, this text has a much stronger focus on implementation and teaches testing and software engineering in particular.

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.

Computer and Information Sciences: 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Authors: --- --- ---
Book Series: Communications in Computer and Information Science ISSN: 1865-0929 ISBN: 9783319472164 9783319472171 Year: Volume: 659 Pages: 278 DOI: 10.1007/978-3-319-47217-1 Language: English
Publisher: Springer Nature
Subject: Business and Management --- Transportation --- Manufactures --- Biotechnology --- Therapeutics --- Electrical and Nuclear Engineering
Added to DOAB on : 2017-03-08 12:46:55
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the refereed proceedings of the 31st International Symposium on Computer and Information Sciences, ISCIS 2016, held in Krakow, Poland, in October 2016.The 29 revised full papers presented were carefully reviewed and selected from 65 submissions. The papers are organized in topical sections on smart algorithms; data classification and processing; stochastic modelling; performance evaluation; queuing systems; wireless networks and security; image processing and computer vision.

A scholarly contribution to educational praxis

Authors: ---
ISBN: 9780620730600 Year: Pages: 370 DOI: 10.4102/aosis.2016.saep12 Language: English
Publisher: AOSIS Grant: North-West University
Subject: Education
Added to DOAB on : 2017-04-16 00:08:20
License:

Loading...
Export citation

Choose an application

Abstract

This publication contains original research targeting scientific specialists in the field of education. Not only is the disposition of its research endeavours grounded on a philosophical basis, it is also embedded in the empirical. The research methodology of each chapter emanates from applicable philosophical assumptions in the form of an applicable theoretical and conceptual framework. The latter forms a firm basis for the application of sound empiricism. Both qualitative and quantitative empirical approaches were alternatively applied in the various chapters. The content of each chapter was meticulously analysed before being finally accepted. In response to the call for chapters, 26 abstracts were received. After evaluation of these abstracts, 24 authors were granted the opportunity of submitting full manuscripts for evaluation. Subsequently the latter were submitted to a rigorous double-blind peer review process. These manuscripts were submitted to at least two or three specialist reviewers in their particular fields of specialisation. All of these review reports are preserved and kept for enquiry and assessment. The content of the current book was chosen from a selection for a 2014 publication which did not obtain a subsidy from the DHET, titled Nuances of Teaching Learning and Research, published by AndCork Publishers. After careful re-evaluation, a much smaller number of chapters was selected, substantially reworked and considerably extended, after which the chapters were again submitted to a double-blind peer review process. Ultimately, of the 26 abstracts originally received only 10 were finally accepted as suitable for publication in the current volume. Finally, in terms of the requirements set by clause 6.12 of the Department of Higher Education and Training policy on reworked publications, this book now contains more than 50% original content not published before. The content of this book adds to the body of scholarly knowledge in education. In his evaluation of the book, Acting Executive Dean, Faculty of Education and Training, Professor Akpovire Oduaran, made the following remarks: To a large extent, the ideas put together in this book have come from data generated not just from literature found in books and journals but actual interactions with educators and the learning environment. So then, what the reader is offered in this volume is the articulation of ideas that have been interrogated, structured and presented in surprisingly simplistic and yet incisive and academically enriching content that can match the standards of scholarship that is available in the Western World. Yet, what makes this book so welcome, relevant and timely, is the fact that it is built around Afrocentric theories and practices such as one may find in imported literature.

Listing 1 - 6 of 6
Sort by
Narrow your search

Publisher

KIT Scientific Publishing (3)

Springer Nature (2)

AOSIS (1)


License

CC by-sa (3)

CC by (1)

CC by-nc (1)

CC by-nc-sa (1)


Language

english (4)

german (2)


Year
From To Submit

2016 (6)