Concept
Negation
Related publications (32)
Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits
Giovanni De Micheli, Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar
Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...
2022Six additional replies - one more chorus of the S3 ballad
This paper has been written as a response to 'Six additional questions about smart specialization: implications for regional innovation policy 4.0' by M. Benner. The paper starts with the argument that recent academic work has enabled considerable progress ...
ROUTLEDGE JOURNALS, TAYLOR & FRANCIS LTD2020Complexity of linear relaxations in integer programming
For a set X of integer points in a polyhedron, the smallest number of facets of any polyhedron whose set of integer points coincides with X is called the relaxation complexity rc(X). This parameter was introduced by Kaibel & Weltge (2015) and captures the ...
2020Scaling Functional Synthesis and Repair
Program synthesis was first proposed a few decades ago, but in the last decade it has gained increased momentum in the research community. The increasing complexity of software has dictated the urgent need for improved supporting tools that verify the soft ...
EPFL2019Modeling the Impact of Modifiers on Emotional Statements
Pearl Pu Faltings, Valentina Sintsova, Margarita Bolívar Jiménez
Humans use a variety of modifiers to enrich communications with one another. While this is a deliberate subtlety in our language, the presence of modifiers can cause problems for emotion analysis by machines. Our research objective is to understand and com ...
SPRINGER NATURE SWITZERLAND AG2018Solving quantified linear arithmetic by counterexample-guided instantiation
Viktor Kuncak, Andrew Joseph Reynolds
This paper presents a framework to derive instantiation-based decision procedures for satisfiability of quantified formulas in first-order theories, including its correctness, implementation, and evaluation. Using this framework we derive decision procedur ...
2017The creativity trap : semantic and pragmatic study of creative capitalism
The urban order has fashioned a new grammar. In literal terms, the theories of the creative class, creative economy and creative city function as a unit that is both descriptive and prescriptive; they have the advantage of taking into account the utility o ...
Revues Org2017A PLiM Computer for the Internet of Things
Giovanni De Micheli, Mathias Soeken, Pierre-Emmanuel Julien Marc Gaillardon
Emerging applications are dramatically changing computer architecture requirements, with a shift toward big data that is processed using simple computations. A programmable logic-in-memory (PLiM) computer can allow memory cells to perform primitive logic o ...
2017Heuristic NPN classification for large functions using AIGs and LEXSAT
Giovanni De Micheli, Paolo Ienne, Mathias Soeken, Ana Petkovska
Two Boolean functions are NPN equivalent if one can be ob- tained from the other by negating inputs, permuting inputs, or negating the output. NPN equivalence is an equivalence relation and the number of equivalence classes is significantly smaller than th ...
Springer Int Publishing Ag2016Enumeration of reversible functions and its application to circuit complexity
Giovanni De Micheli, Mathias Soeken, Nabila Abdessaied
We review combinational results to enumerate and classify reversible functions and investigate the application to circuit complexity. In particularly, we consider the effect of negating and permuting input and output variables and the effect of applying li ...
Springer2016