Search results: Found 5

Listing 1 - 5 of 5
Sort by
From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security

Author:
ISBN: 9783866445949 Year: Pages: XIX, 203 p. DOI: 10.5445/KSP/1000020678 Language: ENGLISH
Publisher: KIT Scientific Publishing
Subject: Computer Science
Added to DOAB on : 2019-07-30 20:02:00
License:

Loading...
Export citation

Choose an application

Abstract

This book presents a modular framework for slicing in the proof assistant Isabelle/HOL which is based on abstract control flow graphs. Building on such abstract structures renders the correctness results language-independent. To prove that they hold for a specific language, it remains to instantiate the framework with this language, which requires a formal semantics of this language in Isabelle/HOL. We show that formal semantics even for sophisticated high-level languages are realizable.

Evolutionary Theory: Fringe or Central to Psychological Science

Author:
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889199204 Year: Pages: 62 DOI: 10.3389/978-2-88919-920-4 Language: English
Publisher: Frontiers Media SA
Subject: Science (General) --- Psychology
Added to DOAB on : 2016-01-19 14:05:46
License:

Loading...
Export citation

Choose an application

Abstract

The computational theory of mind, which views the brain as an information processor that operates on cognitive representations, is central to modern cognitive psychology and is the dominant perspective from which brain function is conceptualized and studied. Evolutionary Psychology (EP) is the application of evolutionary theory to understanding human behaviour and cognition. Unlike other core Psychology topic areas (such as Personality, Learning or Developmental Psychology), however, EP is not defined by the subset of psychological phenomena it seeks to describe and understand. It is instead defined by a specific meta-theoretical perspective, from which it seeks to (potentially) explain all psychological phenomena. The central question posed by this volume is whether this over-arching nature provides an opportunity for evolutionary approaches to offer an alternative meta-theoretical perspective to the information processing / representational view of brain function and behavior.

Perception-Cognition Interface and Cross-Modal Experiences: Insights into Unified Consciousness

Author:
Book Series: Frontiers Research Topics ISSN: 16648714 ISBN: 9782889450718 Year: Pages: 135 DOI: 10.3389/978-2-88945-071-8 Language: English
Publisher: Frontiers Media SA
Subject: Psychology --- Science (General)
Added to DOAB on : 2017-07-06 13:27:36
License:

Loading...
Export citation

Choose an application

Abstract

The present Research Topic explores closely related aspects of mental functioning, namely an interplay between perception and cognition, interactions among various sensory modalities, and finally, more or less unified conscious experiences arising in the context of these relations. Contributions emphasize a high flexibility observed in perception and may be seen as potential challenges to the traditional modular architecture of perceptual systems. Although the articles describe different phenomena, they follow one common theme - to investigate broadly understood unified experience - by studying either perception-cognition integration or the integration between sensory modalities. These integrative processes may well apply to subpersonal unconscious representations. However, the aim here is to approach phenomenal experience and thus a straightforward way of thinking about it is in terms of conscious perception. Putting together scientific and philosophical concerns, this special issue encourages extending the study of perceptual experience beyond the single sense perception to advance our understanding of the complex interdependencies between different sensory modalities, other mental domains, and various kinds of unifying relations within conscious experience. It exhibits a remarkable need to study these phenomena in tangent, and so, the authors examine a variety of ways in which our perceptual experiences may be cross-modal or multisensory, integrated, embodied, synesthetic, cognitively penetrated, or otherwise affected by top-down influences. The Research Topic comprises theoretical and empirical contributions of such fields as philosophy of mind, cognitive science, psychology, and neuroscience in the form of hypothesis and theory articles, original research articles, opinion papers, reviews, and commentaries.The present Research Topic explores closely related aspects of mental functioning, namely an interplay between perception and cognition, interactions among various sensory modalities, and finally, more or less unified conscious experiences arising in the context of these relations. Contributions emphasize a high flexibility observed in perception and may be seen as potential challenges to the traditional modular architecture of perceptual systems. Although the articles describe different phenomena, they follow one common theme - to investigate broadly understood unified experience - by studying either perception-cognition integration or the integration between sensory modalities. These integrative processes may well apply to subpersonal unconscious representations. However, the aim here is to approach phenomenal experience and thus a straightforward way of thinking about it is in terms of conscious perception. Putting together scientific and philosophical concerns, this special issue encourages extending the study of perceptual experience beyond the single sense perception to advance our understanding of the complex interdependencies between different sensory modalities, other mental domains, and various kinds of unifying relations within conscious experience. It exhibits a remarkable need to study these phenomena in tangent, and so, the authors examine a variety of ways in which our perceptual experiences may be cross-modal or multisensory, integrated, embodied, synesthetic, cognitively penetrated, or otherwise affected by top-down influences. The Research Topic comprises theoretical and empirical contributions of such fields as philosophy of mind, cognitive science, psychology, and neuroscience in the form of hypothesis and theory articles, original research articles, opinion papers, reviews, and commentaries.

Model Transformation Languages with Modular Information Hiding

Author:
Book Series: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner ISSN: 18670067 ISBN: 9783731503460 Year: Volume: 17 Pages: XX, 360 p. DOI: 10.5445/KSP/1000045910 Language: ENGLISH
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

Model transformations, together with models, form the principal artifacts in model-driven software development. Industrial practitioners report that transformations on larger models quickly get sufficiently large and complex themselves. To alleviate entailed maintenance efforts, this thesis presents a modularity concept with explicit interfaces, complemented by software visualization and clustering techniques. All three approaches are tailored to the specific needs of the transformation domain.

Advances in Water Distribution Networks

Authors: ---
ISBN: 9783038975564 Year: Pages: 174 DOI: 10.3390/books978-3-03897-557-1 Language: eng
Publisher: MDPI - Multidisciplinary Digital Publishing Institute
Subject: Technology (General) --- General and Civil Engineering --- Environmental Engineering
Added to DOAB on : 2019-03-08 11:42:05
License:

Loading...
Export citation

Choose an application

Abstract

The Special Issue on Advances in Water Distribution Networks (WDNs) explores four important topics of research in the framework of WDNs, namely simulation and optimization modelling, topology and partitioning, water quality, and service effectiveness. With regard to the first topic, the following aspects are addressed: pressure-driven formulations, algorithms for the optimal location of control valves to minimize leakage, the benefits of water discharge prediction for the remote real time control of valves, and transients generated by pumps operating as turbines. In the context of the second topic, a topological taxonomy of WDNs is presented, and partitioning methods for the creation of district metered areas are compared. In relation to the third topic, the vulnerability to trihalomethane is assessed, and a statistical optimization model to minimize heavy metal releases is presented. Finally, the fourth topic focusses on the estimation of non-revenue water, including leakage and unauthorized consumption, and on the assessment of service under intermittent supply conditions.

Listing 1 - 5 of 5
Sort by
Narrow your search