International Information Centre for Terminology (Infoterm) Ambient Assisted Living (AAL) – Different Devices Interacting
- Christoph Lange; Till Mossakowski; Christian Galinski; Oliver Kutz; Distributed Ontologies
Smart Environments for AAL involve multiple different services and devices. Ontologies that drive them need to be … logically heterogeneous in order to capture different aspects of the real world, at different levels of complexity, and modular in order to reduce complexity and facilitate maintenance and reuse. Reuse increasingly takes place by distributing knowledge (ontologies and data) across networks. Reuse and application in services require comprehensive and comprehensible documentation. An AAL Scenario – and what's missing Clara instructs her wheelchair to get her to the kitchen (next door to the living room). For dinner, she would like to take a...
Learning taxonomic relations from a set of text documents
- Mari-sanna Paukkeri; Alberto Pérez García-plaza; Sini Pessala; Timo Honkela
Abstract—This paper presents a methodology for learning taxonomic relations from a set of documents that each explain oneof theconcepts.Threedifferentfeatureextraction approaches with varying degree of language independence are compared in this study. The first feature extraction scheme is a languageindependent approach based on statistical keyphrase extraction, and the second one is based on a combination of rule-based stemming and fuzzy logic-based feature weighting and selection. The third approach is the traditional tf-idf weighting scheme withcommonlyusedrule-basedstemming. Theconcepthierarchy is obtained by combining Self-Organizing Map clustering with agglomerative hierarchicalclustering.Experimentsareconducted for both English and Finnish. The results show that concept hierarchies can be constructed automatically...
MODEL THEORETIC PROPERTIES OF METRIC VALUED FIELDS
- Itaï Ben Yaacov
Abstract. We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field (K,|·|) directly, but rather the associated projective spaces KP n, as bounded metric structures. We show that the class of (projective spaces over) metric valued fields is elementary, with theory MVF, and that the projective spaces P n and P m are biïnterpretable for every n,m ≥ 1. The theory MVF admits a model completion ACMVF, the theory of algebraically closed metric valued fields (with...
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence Counting-MLNs: Learning Relational Structure for Decision Making
- Aniruddh Nath; Matthew Richardson
Many first-order probabilistic models can be represented much more compactly using aggregation operations such as counting. While traditional statistical relational representations share factors across sets of interchangeable random variables, representations that explicitly model aggregations also exploit interchangeability of random variables within factors. This is especially useful in decision making settings, where an agent might need to reason about counts of the different types of objects it interacts with. Previous work on counting formulas in statistical relational representations has mostly focused on the problem of exact inference on an existing model. The problem of learning such models is largely unexplored. In...
(1) MICROPROCESSORS IN PHYSICS EXPERIMENTS AT SLAC*
- Leon S. Rochester
The increasing size and complexity of high energy physics experiments is changing the way data are collected. To implement a trigger or event filter requires complex logic which may have to be modified as the experiment proceeds. Simply to monitor a detector, large amounts of data must be processed online. The use of microprocessors or other programmable devices can help to achieve these ends flexibly and economically. At SLAC, a number of microprocessor-based systems have been built and are in use in experimental setups, and others are now being developed. This talk is a review of existing systems and their...
I NEW DEVELOPMENTS IN SEGMENT ANCILLARY LOGIC FOR FASTBUS"
- Helmut V. Walz; Boris Bertolucci
Segment Ancillary Logic hardware for FASTBUS systems provides logical functions required in common by all devices attached to a segment. It controls the execution of arbitration cycles, and geographical address cycles, and generates the system handshake responses for broadcast operations. The mandatory requirements for Segment Ancillary Logic in the FASTBUS specifications are reviewed. A detailed implementation based on ECL logic is described, and the hardware to be used on an ECL cable segment for an experimental FASTBUS system at SLAC is shown. I.
Programs, Properties, and Data: Exploring the Software Development
- Daniel Le; Métayer Valérie-anne; Nicolas Olivier Ridoux
Abstract Software development usually involves a collection of properties, programs and data as input or output documents. Putting these three kinds of documents at the vertices of a triangle, one sees that all three sides of the triangle have been exploited in formal methods, and that they have often been used in both directions. However, richer combinations have seldom been envisaged, and formal methods often amount to a strict orientation of the figure by imposing functional dependencies (e.g., infering test cases from specifications). Moreover, undecidability problems arise when properties are expressed in full predicate logic (or similar formalisms) or programs...
Primary Containment Isolation Instrumentation BASES BACKGROUND
The primary containment isolation instrumentation automatically initiates closure of appropriate primary containment isolation valves (PCIVs). The function of the PCIVs, in combination with other accident mitigation systems, is to limit fission product release during and following postulated Design Basis Accidents (DBAs). Primary containment isolation within the time limits specified for those isolation valves designed to close automatically ensures that the release of radioactive material to the environment will be consistent with the assumptions used in the analyses for a DBA. The isolation instrumentation includes the sensors, relays, and switches that are necessary to cause initiation of primary containment and reactor...
Error ATATTTTTTCTTGTT TTTTATATCCACAAT CTCTTTTCGTACTTT TACACAGTATATCGT
- Bo Fang; Jiesheng Wei; Karthik Paabiraman; Matei Ripeanu; Simuladon Etc
• 2/3 of 50,000 GPUs exhibit transient faults in memory or logic [Haque-‐CCGRID10]’ • Since Fermi, NVIDIA introduces ECC protected GPU models. • Is ECC a panacea? • ECC is usually not enabled for HPC systems • ComputaDon units are not covered by ECC. • PorDon of area going to ComputaDon unit: GPU> CPU 3 Research Ques9on: How to tolerate hardware faults in GPU? – Focus on so_ware based techniques • First step: two tasks Task 1: Understand the reliability characterisDcs of GPGPU applicaDons Task 2: Detect hardware faults at so_ware level
Walking automata in the free inverse monoid
- David Janin; David Janin
Abstract. In this paper, we study languages of birooted trees or, following Scheiblich-Munn’s theorem, subsets of free inverse monoids. Extending the classical notion of rational languages with a projection operator-that maps every set of birooted trees to the subset of its idempotent elements- it is first shown that the hierarchy induced by the nesting depth of that projection operator simply correspond the hierarchy induced by the number of (invisible) pebbles used in tree walking automata extended to birooted trees (with complete run semantics). Then, analyzing further the behavior of these walking automata by allowing partial accepting runs- runs that are...
- Hubert Garavel; Frédéric Lang; Radu Mateescu; Gwen Salaün; Wendelin Serwe
Asynchronous concurrency is becoming increasingly present in a large spectrum of systems, spanning from the level of systems- and networks-on-chip, over multi-processor architectures, up to the level of grid and cloud computing. Due to the intrinsic complexity of asynchronous concurrency, the correct design of such systems is notoriously difficult, requiring the support of formal methods and verification tools. CADP (Construction and Analysis of Distributed Processes)  is a toolbox for the design, functional verification, and performance evaluation of asynchronous concurrent systems. Currently, CADP consists of about fifty interconnected tools and software libraries 1. The toolbox is distributed free of charge...
Article Toward a Theory of Play: A Logical Perspective on Games and Interaction
- Johan Van Benthem; Eric Pacuit; Olivier Roy
D.: A formal treatment of agents, goals and operations using alternating-time temporal logic
- Christophe Chareton; Julien Brunel; David Chemouil
Abstract. The aim of this paper is to provide a formal framework for Requirements Engineering modelling languages featuring agents, behavioural goals and operations as main concepts. To do so, we define Khi, a core modelling language, as well as its formal semantics in terms of a fragment of the multi-agent temporal logic ATL*, called ATLKhi. Agents in the sense of concrete and provided entities, called actors, are defined by their capabilities. They also pursue behavioural goals that are realised by operations, which are themselves gathered into abstract, required, agents, that we call roles. Then a notion of assignment, between (coalitions...
- John Wickerson
The ribbonproofs package provides a mechanism for drawing ribbon proofs in LATEX. Ribbon proofs form a diagrammatic proof system, due to Wickerson, Dodds and Parkinson , for separation logic . They build on an earlier system, due to Bean , for bunched implications
RESEARCH ARTICLE Open Access
The logic layout of the TOL network of Pseudomonas putida pWW0 plasmid stems from a metabolic amplifier motif (MAM) that optimizes biodegradation of m-xylene Rafael Silva-Rocha 1, Hidde de Jong 2, Javier Tamames 1 and Víctor de Lorenzo 1* Background: The genetic network of the TOL plasmid pWW0 of the soil bacterium Pseudomonas putida mt-2 for catabolism of m-xylene is an archetypal model for environmental biodegradation of aromatic pollutants. Although nearly every metabolic and transcriptional component of this regulatory system is known to an extraordinary molecular detail, the complexity of its architecture is still perplexing. To gain an insight into...
2.3 LOGIC EQUATIONS Logic
quationr are written ln standard form combining signal names or their complement by logical ‘AND ’ and ‘OR’ operations. The quations are written in terms of tmt or false for the signals regardless of the type of logic ostd (poeitivt or negative logic). IMse ir indicated by a ‘/ ’ preceding the signal name. The type of logic la defined for each rignal independently in the list assigning a name to each device pin. A signal which b negative true car&n a leading I/‘. In thii way positive or negative true signals may be mixtd, or the dtfinitions changed during...
RADIATION INTERLOCKS- THE CHOICE BETWEEN CONVENTIONAL HARD-WIRED LOGIC AND COMPUTER-BASED SYSTEMS
- K. F. Crook
During the past few years, the use of computers in radiation safety systems has become.-more widespread. This is not surprising given the ubiquitous nature of computers in the modern technological world. But is a computer a good choice for the central logic element of a personnel-safety system? Recent accidents at computer controlled medical accelerators would indicate that extreme care must be exercised if malfunctions are to be avoided. The Department of Energy (DOE) h as recently established a sub-committee to formulate recommendations on the use of computers in safety systems for accelerators. This paper will review the status of the...
Author manuscript, published in "5th International Conference on Communications, Computers and Applications (MIC-CCA2012), Istanbul: Turkey (2012)" DEFINING AND EXECUTING BIGRAPHICAL MODEL IN MAUDE
- Manel Djenouhat I; Taha Abdelmoutaleb Cherfia; Faïza Belala
Software architectures can help in specification, formal analysis and manipulation of complex and adaptive systems. Many languages and formalisms have been proposed for these tasks, especially those based on graph model. Bigraphical Reactive Systems (BRS) are an emerging graphical framework for specifying ubiquitous dynamic architectural systems. In this work, we propose using the K semantic framework, a provably sound and complete modeling methodology, to integrate BRS into rewriting logic. This approach offers a high level specification of bigraphical systems without any encoding or translation process. Moreover, we are also able to formally reason on it. Finally, we illustrate the use...
A SAMPLE PAPER: A TEMPLATE ∗†
- Boris Veytsman; A. U. Thør; C. O. Rëspondent
Abstract: The things in themselves are what first give rise to reason, as is proven in the ontological manuals. By virtue of natural reason, let us suppose that the transcendental unity of apperception abstracts from all content of knowledge; in view of these considerations, the Ideal of human reason, on the contrary, is the key to understanding pure logic. Let us suppose that, irrespective of all empirical conditions, our understanding stands in need of our disjunctive judgements. 1
- H. Walz; J. Olsen
The development of a new CAMAC type U crate controller, compatible with the SLAC parallel branch highway, is described. The controller also provides an interface for the Standard Auxiliary Controller Bus, control and timing logic to implement a handshake system between the host computer and the crate controller, an internal timing generator for Dataway cycles, and a LAM handling facility with priority arbitration along the parallel branch highway. A highly integrated module implementation was achieved through extensive use of firmware and finite state logic machine realizations of many crate controller functions.