Concept
Law of excluded middle
Related publications (7)
Structural Rewriting in XOR-Majority Graphs
Giovanni De Micheli, Mathias Soeken, Zhufei Chu
In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives. XMGs are an extension of Majority-Inverter Graphs (MIGs). Previous ...
ASSOC COMPUTING MACHINERY2019Search 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 Soc2015An analysis of destination choice for opaque airline products using multidimensional binary logit models
Michel Bierlaire, Alexandre Khelifa
We investigate how customers respond to an opaque airline product offered by a European carrier. In this opaque product design, customers are randomly assigned to travel to one of approximately ten destinations; however, for a fee they may exclude one or m ...
Pergamon-Elsevier Science Ltd2012Easy Impossibility Proofs for k-Set Agreement in Message Passing Systems
Despite of being quite similar (agreement) problems, 1-set agreement (consensus) and general k-set agreement require surprisingly different techniques for proving the impossibility in asynchronous systems with crash failures: Rather than the relatively sim ...
Springer2011On inconsistent entities. A reply to Colyvan
In a recent article M. Colyvan has argued that Quinean forms of scientific realism are faced with an unexpected upshot. Realism concerning a given class of entities, along with this route to realism, can be vindicated by running an indispensability argumen ...
2010Dark energy with non-adiabatic sound speed: initial conditions and detectability
Assuming that the universe contains a dark energy fluid with a constant linear equation of state and a constant sound speed, we study the prospects of detecting dark energy perturbations using CMB data from Planck, cross-correlated with galaxy distribution ...
2010