Logique ternaire

Science formelle
Logique
Logique classique
Calcul des prédicats

Publications associées (22)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Configuration Logics: Modelling Architecture Styles

Joseph Sifakis, Simon Bliudze, Anastasia Mavridou, Eduard Baranov

We study a framework for the specification of architecture styles as families of architectures involving a common set of types of components and coordination mechanisms. The framework combines two logics: 1) interaction logics for the specification of arch ...

Springer Int Publishing Ag2015

Search for the Dark Photon and the Dark Higgs Boson at Belle

Olivier Schneider, Mingkui Wang, Chao Wang, Tagir Aushev, Sun Hee Kim, Jun Yong Kim, Ji Hyun Kim, Donghyun Kim, Dipanwita Dutta, Xiao Wang

The dark photon A' and the dark Higgs boson h' are hypothetical constituents featured in a number of recently proposed dark sector models. Assuming prompt decays of both dark particles, we search for their production in the so-called Higgstrahlung channel ...

Amer Physical Soc2015

Conductance Switching and Many-Valued Logic in Porphyrin Assemblies

Nicola Marzari

We investigate quantum interference in the transport properties of porphyrin-based molecular devices, and are able to develop a minimal but qualitatively accurate model of conductance based on the maximally localized Wannier functions of just the isolated ...

Amer Chemical Soc2013

Ambipolar Gate-Controllable SiNW FETs for Configurable Logic Circuits With Improved Expressive Capability

Giovanni De Micheli, Davide Sacchetto, Yusuf Leblebici

In this letter, we report on the fabrication and characterization of ambipolar silicon-nanowire (SiNW) field-effect transistors (FETs) with a double-independent-gate (DIG) structure for polarity control. Several structures are fabricated, showing the effec ...

Institute of Electrical and Electronics Engineers2012

Integrated Circuits and Logic Operations Based on Single-Layer MoS2

Andras Kis, Branimir Radisavljevic

Logic circuits and the ability to amplify electrical signals form the functional backbone of electronics along with the possibility to integrate multiple elements on the same chip. The miniaturization of electronic circuits is expected to reach fundamental ...

2011

Shifting Network Tomography Toward A Practical Goal

Patrick Thiran, Aikaterini Argyraki, Denisa Gabriela Ghita, Can Karakus

Boolean Inference makes it possible to observe the congestion status of end-to-end paths and infer, from that, the congestion status of individual network links. In principle, this can be a powerful monitoring tool, in scenarios where we want to monitor a ...

2011

Collections, Cardinalities, and Relations

Viktor Kuncak, Ruzica Piskac

Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make such logics more useful in verification this paper extends them with the ability to co ...

2010

Ordered Sets in the Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...

Springer2010

Building a Calculus of Data Structures

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

Techniques such as verification condition generation, predicate abstraction, and expressive type systems reduce software verification to proving formulas in expressive logics. Programs and their specifications often make use of data structures such as sets ...

Springer2010

Structural Changes in Industrial R&D in Europe and the US

Dominique Foray, Stéphane Lhuillery

We analyse the structural changes that have characterised the organisation of industrial R&D over the last 25 years. Taking Mowery's work (Industrial and Corporate Change, 2009, 18(1), 1-50) on the US as a starting point, we reconsider the different aspect ...

Beech Tree Publishing, Oxford2010

Page 2 sur 3