Concept
Truth value
Related publications (27)
Ancilla-free synthesis of large reversible functions using binary decision diagrams
The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be applied efficie ...
Elsevier2016SyReC: A hardware description language for the specification and synthesis of reversible circuits
Although researchers and engineers originally focused on a preponderantly irreversible computing paradigm, alternative models receive more and more attention. Reversible computation is a promising example which has applications in many emerging technologie ...
2016EchoSLAM: Simultaneous Localization and Mapping with Acoustic Echoes
Martin Vetterli, Ivan Dokmanic, Miranda Krekovic
We address the problem of jointly localizing a robot in an unknown room and estimating the room geometry from echoes. Unlike earlier work using echoes, we assume a completely autonomous setup with (near) collocated microphone and the acoustic source. We fi ...
Ieee2016SAT-Based Combinational and Sequential Dependency Computation
Giovanni De Micheli, Mathias Soeken
We present an algorithm for computing both functional dependency and unateness of combinational and sequential Boolean func- tions represented as logic networks. The algorithm uses SAT-based tech- niques from Combinational Equivalence Checking (CEC) ...
Springer2016Sensitivity analysis of polarimetric attenuation correction algorithms
Polarimetry improves radar rainfall estimation. It allows a better separation of meteorological and nonmeteorological echoes, a better identification of the type of hydrometeors, and an improved correction of the attenuation due to rain affecting the signa ...
2012Accounting for Observational Uncertainty in Forecast Verification: An Information-Theoretical View on Forecasts, Observations, and Truth
Steven Vincent Weijs, Nicolaas Cornelis van de Giesen
Recently, an information-theoretical decomposition of Kullback–Leibler divergence into uncertainty, reliability, and resolution was introduced. In this article, this decomposition is generalized to the case where the observation is uncertain. Along with a ...
2011Distributed Constraint Optimization
Distributed Constraint Satisfaction (DisCSP) and Distributed Constraint Optimization (DCOP) are formal frameworks that can be used to model a variety of problems in which multiple decision-makers cooperate towards a common goal: from computing an equilibri ...
EPFL2011M-DPOP: Faithful distributed implementation of efficient social choice problems
Boi Faltings, Adrian Petcu, David C. Parkes
In the efficient social choice problem, the goal is to assign values, subject to side constraints, to a set of variables to maximize the total utility across a population of agents, where each agent has private information about its utility function. In th ...
2008Alexandre Sarrasin (1895-1976) et l'esthétique de l'ingénieur
Alexandre Sarrasin (1895-1976) studied at Zürich Federal Swiss Institute of Technology (ETH) from 1913 to 1918. Despite First World War's conflicts surrounding the neutral Switzerland, the intellectual climate inside ETH was cosmopolitan and liberal. As un ...
EPFL2007Integrated exhaust scenarios with actively controlled ELMs
Yves Martin, Jonathan Bryan Lister, René Uwe Schneider, Hartmut Zohm
An integrated radiative high performance scenario has been established at ASDEX Upgrade based on simultaneous feedback control of the average divertor neutral particle and power flux in combination with a high, pellet induced frequency of edge localized mo ...
2005