Publications associées à Finite-valued logic

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

Lukasiewicz fuzzy logic networks and their ultra low power hardware implementation

Rafal Tomasz Dlugosz

In this paper, we propose a new category of current-mode Łukasiewicz OR and AND logic neurons and ensuing logic networks along with their ultra-low power realization. The introduced circuits can operate in a wide range of the input signals varying in-betwe ...

Elsevier2010

Output Probability Density Functions of Logic Circuits: Modeling and Fault-Tolerance Evaluation

Alexandre Schmid, Yusuf Leblebici, Milos Stanisavljevic

The precise evaluation of the reliability of logic circuits has a significant importance in highly-defective and future nanotechnologies. It allows efficient comparison of fault-tolerance techniques, and enables designs improvement with respect to their re ...

IEEE Service Center2010

Lukasiewicz Fuzzy Logic Networks and Their Ultra Low Power Hardware Implementation

Rafal Tomasz Dlugosz

In this paper, we propose a new category of current-mode Łukasiewicz OR and AND logic neurons and logic networks and show their ultra low power realization. The introduced circuits can operate with very low input signals that set up the operating point of ...

2009

Lazy Shape Analysis

Grégory Théoduloz, Dirk Thilo Beyer

Many software model checkers are based on predicate abstraction. If the verification goal depends on pointer structures, the approach does not work well, because it is difficult to find adequate predicate abstractions for the heap. In contrast, shape analy ...

Springer2006