Search results: Found 16

Listing 1 - 10 of 16 << page
of 2
>>
Sort by
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.

Models of Reference

Authors: --- --- ---
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889451609 Year: Pages: 243 DOI: 10.3389/978-2-88945-160-9 Language: English
Publisher: Frontiers Media SA
Subject: Psychology --- Science (General)
Added to DOAB on : 2017-08-28 14:01:09
License:

Loading...
Export citation

Choose an application

Abstract

To communicate, speakers need to make it clear what they are talking about. Referring expressions play a crucial part in achieving this, by anchoring utterances to things. Examples of referring expressions include noun phrases such as “this phenomenon”, “it” and “the phenomenon to which this Topic is devoted”. Reference is studied throughout the Cognitive Sciences (from philosophy and logic to neuro-psychology, computer science and linguistics), because it is thought to lie at the core of all of communication. Recent years have seen a new wave of work on models of referring, as witnessed by a number of recent research projects, books, and journal Special Issues. The Research Topic “Models of Reference” in Frontiers in Psychology is a new milestone, focusing on contributions from Psycholinguistics and Computational Linguistics. The articles in it are concerned with such issues as audience design, overspecification, visual perception, and variation between speakers.

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.

Progenitor diversity and neural cell specification in the central nervous system

Authors: --- ---
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889196838 Year: Pages: 107 DOI: 10.3389/978-2-88919-683-8 Language: English
Publisher: Frontiers Media SA
Subject: Neurology --- Science (General)
Added to DOAB on : 2016-04-07 11:22:02
License:

Loading...
Export citation

Choose an application

Abstract

The central nervous system continuously perceives, integrates, processes and generates information. These complex functions rely on the detailed elaboration of its cellular network and on the myriads of individual, highly differentiated and specialized cell types, classically subdivided into neurons, astrocytes and oligodendrocytes. The specification of these individual populations begins early during development with less differentiated, yet already partly restricted, progenitor cells. Anatomically located in dedicated germinative niches, neural progenitors perceive the influence of diffusible molecules of various natures and concentrations. These signals result in the initial specialization of cohorts of progenitors that express unique combinations of transcription factors. It is now clearly established that both extrinsic and intrinsic signals act in concert to determine the fate potentials of these progenitor cohorts. This limitation increases over time, adult neural progenitors being more restricted than their developmental counterparts. Nevertheless, recent data have shown that the fate restriction of neural progenitors, as well as that of their progenies, can be overwritten upon selected intrinsic factor expression, not only during development but also in adulthood. This e-book is a collection of original research studies along with review articles that, together, provide insights into the vast spatiotemporal diversity of neural progenitors, and the various factors that govern their fate potential.

Analyse der Realnutzung von Elektrofahrzeugen in kommerziellen Flotten zur Definition einer bedarfsgerechten Fahrzeugauslegung

Author:
Book Series: Karlsruher Schriftenreihe Fahrzeugsystemtechnik / Institut für Fahrzeugsystemtechnik ISSN: 18696058 ISBN: 9783731504894 Year: Volume: 47 Pages: XX, 190 p. DOI: 10.5445/KSP/1000052397 Language: GERMAN
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

Based on a naturalistic driving study with electric vehicles in commercial fleets, a detailed analysis of mobility is conducted to derive an empirically founded tailor-made vehicle specification, which focuses on the core of the user demand and excludes statistical outliers in favour of a more economical design. Furthermore, real-world driving cycles for electric vehicles are created and the market potential of such a tailor-made vehicle is estimated.

Adult neurogenesis twenty years later: physiological function versus brain repair

Authors: ---
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889194940 Year: Pages: 120 DOI: 10.3389/978-2-88919-494-0 Language: English
Publisher: Frontiers Media SA
Subject: Neurology --- Science (General)
Added to DOAB on : 2015-11-16 15:44:59
License:

Loading...
Export citation

Choose an application

Abstract

The discovery that mammalian brains contain neural stem cells which perform adult neurogenesis - the production and integration of new neurons into mature neural circuits - has provided a fully new vision of neural plasticity. On a theoretical basis, this achievement opened new perspectives for therapeutic approaches in restorative and regenerative neurology. Nevertheless, in spite of striking advancement concerning the molecular and cellular mechanisms which allow and regulate the neurogenic process, its exploitation in mammals for brain repair strategies remains unsolved. In non-mammalian vertebrates, adult neurogenesis also contributes to brain repair/regeneration. In mammals, neural stem cells do respond to pathological conditions in the so called "reactive neurogenesis", yet without substantial regenerative outcome. Why, even in the presence of stem cells in the brain, we lack an effective reparative outcome in terms of regenerative neurology, and which factors hamper the attainment of this goal? Essentially, what remains unanswered is the question whether (and how) physiological functions of adult neurogenesis in mammals can be exploited for brain repair purposes.

Fundamental Approaches to Software Engineering: 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319893624 9783319893631 Year: Volume: 10802 Pages: 357 DOI: https://doi.org/10.1007/978-3-319-89363-1 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-28 17:40:03
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 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 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software development.

Modellbasiertes Konzept zur vollautomatisierten Montageendprüfung von asynchron angetriebenen Getriebemotoren im lastlosen Zustand

Author:
Book Series: Schriftenreihe des Instituts für Angewandte Informatik - Automatisierungstechnik, Karlsruher Institut für Technologie ISSN: 16145267 ISBN: 9783731502982 Year: Volume: 51 Pages: XXXIII, 237 p. DOI: 10.5445/KSP/1000044096 Language: GERMAN
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

By the overall system of a fully automated final inspection of gearmotors, a new approach, in terms of the mass quality inspection of individually configured products according to the guidelines of a modular system, is presented. The challenge of the new approach is to map the product variety and to design effective visual and acoustic testing algorithms. Through a comprehensive consideration of the process the potential to increase the efficiency of the final inspection is demonstrated.

Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Authors: ---
Book Series: Security and Cryptology ISBN: 9783319897219 9783319897226 Year: Volume: 10804 Pages: 347 DOI: https://doi.org/10.1007/978-3-319-89722-6 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-29 14:49:22
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 7th International Conference on Principles of Security and Trust, POST 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 13 papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections named: information flow and non-intereference; leakage, information flow, and protocols; smart contracts and privacy; firewalls and attack-defense trees.

Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISBN: 9783319899596 9783319899602 Year: Volume: 10805 Pages: 429 DOI: https://doi.org/10.1007/978-3-319-89960-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-07-19 14:22:46
License:

Loading...
Export citation

Choose an application

Abstract

The LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:Part I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.Part II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7th Competition on Software Verification – SV-COMP.

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