10,850 research outputs found
GUBS, a Behavior-based Language for Open System Dedicated to Synthetic Biology
In this article, we propose a domain specific language, GUBS (Genomic Unified
Behavior Specification), dedicated to the behavioral specification of synthetic
biological devices, viewed as discrete open dynamical systems. GUBS is a
rule-based declarative language. By contrast to a closed system, a program is
always a partial description of the behavior of the system. The semantics of
the language accounts the existence of some hidden non-specified actions
possibly altering the behavior of the programmed device. The compilation
framework follows a scheme similar to automatic theorem proving, aiming at
improving synthetic biological design safety.Comment: In Proceedings MeCBIC 2012, arXiv:1211.347
Precis of neuroconstructivism: how the brain constructs cognition
Neuroconstructivism: How the Brain Constructs Cognition proposes a unifying framework for the study of cognitive development that brings together (1) constructivism (which views development as the progressive elaboration of increasingly complex structures), (2) cognitive neuroscience (which aims to understand the neural mechanisms underlying behavior), and (3) computational modeling (which proposes formal and explicit specifications of information processing). The guiding principle of our approach is context dependence, within and (in contrast to Marr [1982]) between levels of organization. We propose that three mechanisms guide the emergence of representations: competition, cooperation, and chronotopy; which themselves allow for two central processes: proactivity and progressive specialization. We suggest that the main outcome of development is partial representations, distributed across distinct functional circuits. This framework is derived by examining development at the level of single neurons, brain systems, and whole organisms. We use the terms encellment, embrainment, and embodiment to describe the higher-level contextual influences that act at each of these levels of organization. To illustrate these mechanisms in operation we provide case studies in early visual perception, infant habituation, phonological development, and object representations in infancy. Three further case studies are concerned with interactions between levels of explanation: social development, atypical development and within that, developmental dyslexia. We conclude that cognitive development arises from a dynamic, contextual change in embodied neural structures leading to partial representations across multiple brain regions and timescales, in response to proactively specified physical and social environment
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Embedded software is growing fast in size and complexity, leading to intimate
mixture of complex architectures and complex control. Consequently, software
specification requires modeling both structures and behaviour of systems.
Unfortunately, existing languages do not integrate these aspects well, usually
prioritizing one of them. It is common to develop a separate language for each
of these facets. In this paper, we contribute Clafer: a small language that
attempts to tackle this challenge. It combines rich structural modeling with
state of the art behavioural formalisms. We are not aware of any other modeling
language that seamlessly combines these facets common to system and software
modeling. We show how Clafer, in a single unified syntax and semantics, allows
capturing feature models (variability), component models, discrete control
models (automata) and variability encompassing all these aspects. The language
is built on top of first order logic with quantifiers over basic entities (for
modeling structures) combined with linear temporal logic (for modeling
behaviour). On top of this semantic foundation we build a simple but expressive
syntax, enriched with carefully selected syntactic expansions that cover
hierarchical modeling, associations, automata, scenarios, and Dwyer's property
patterns. We evaluate Clafer using a power window case study, and comparing it
against other notations that substantially overlap with its scope (SysML, AADL,
Temporal OCL and Live Sequence Charts), discussing benefits and perils of using
a single notation for the purpose
Customer value from acustomer perspective: acomprehensive review
The value concept is one of marketing theory's basic elements. Identifying and creating customer value (CV) - understood as value for customers - is regarded as an essential prerequisite for future company success. Nevertheless, not until quite recently has CV received much research attention. Ideas on how to conceptualize and link the concept to other constructs vary widely. The literature contains amultitude of different definitions, models, and measurement approaches. This article provides abroad overview, analysis, and critical evaluation of the different trends and approaches found to date in this research field, encompassing the development of perceived and desired customer value research, the relationships between the CV construct and other central marketing constructs, and the linkage between CV and the company interpretation of the value of the customer, like customer lifetime value (CLV). The article concludes by pointing out some of the challenges this field of research will face in the futur
Separability in the Ambient Logic
The \it{Ambient Logic} (AL) has been proposed for expressing properties of
process mobility in the calculus of Mobile Ambients (MA), and as a basis for
query languages on semistructured data. We study some basic questions
concerning the discriminating power of AL, focusing on the equivalence on
processes induced by the logic . As underlying calculi besides MA we
consider a subcalculus in which an image-finiteness condition holds and that we
prove to be Turing complete. Synchronous variants of these calculi are studied
as well. In these calculi, we provide two operational characterisations of
: a coinductive one (as a form of bisimilarity) and an inductive one
(based on structual properties of processes). After showing to be stricly
finer than barbed congruence, we establish axiomatisations of on the
subcalculus of MA (both the asynchronous and the synchronous version), enabling
us to relate to structural congruence. We also present some
(un)decidability results that are related to the above separation properties
for AL: the undecidability of on MA and its decidability on the
subcalculus.Comment: logical methods in computer science, 44 page
A Logical Verification Methodology for Service-Oriented Computing
We introduce a logical verification methodology for checking behavioural properties of service-oriented computing systems. Service properties are described by means of SocL, a branching-time temporal logic that we have specifically designed to express in an effective way distinctive aspects of services, such as, e.g., acceptance of a request, provision of a response, and correlation among service requests and responses. Our approach allows service properties to be expressed in such a way that
they can be independent of service domains and specifications. We show an instantiation of our general methodology that uses the formal language COWS to conveniently specify services and the expressly developed software tool CMC to assist the user in the task of verifying SocL formulae over service specifications. We demonstrate feasibility and effectiveness of our methodology by means of the specification and the analysis of a case study in the automotive domain
An Existential Perspective on Addiction Treatment: A Logic-based therapy case study
In this essay I argue that a comprehensive understanding of addiction and its treatment should include an existential perspective. I provide a brief overview of an existential perspective of addiction and recovery, which will contextualize the remainder of the essay. I then present a case study of how the six-step philosophical practice method of Logic-Based Therapy can assist with issues that often arise in addiction treatment framed through an existential perspective
NEW ALGORITHM FOR BEHAVIOURAL TEST GENERATION
Significant efforts of the test design community have addressed the development of high
level test generation algorithms in the last decade. The main problem originates in the
insufficiently low gate level fault coverage of test sets generated at the behavioural or
functional levels due to oversimplifications which result from the application of highly
abstract and technology-independent fault models.
In this paper a novel behavioural level test generation algorithm is presented effectively
utilizing information on the circuit structure, which is extracted from the high level
synthesis process.
Experimental results show that the gate level fault coverage of the test sets generated
by the new algorithm is similar to those assured by the gate level test generation
algorithms
- …