Concept
Propositional variable
Related publications (30)
The Complexity of Self-Dual Monotone 7-Input Functions
Giovanni De Micheli, Mathias Soeken, Eleonora Testa, Winston Jason Haaswijk
The study of the complexity of Boolean functions has recently found applications in logic synthesis and optimization algorithms, as for instance in logic rewriting. Previous works have focused on the minimum length of Boolean chains for functions up to 5 i ...
2019A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions
Christophe Champod, Alex Biedermann
The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...
ELSEVIER IRELAND LTD2018Canonical Computation without Canonical Representation
Mathias Soeken, Luca Gaetano Amarù, Ana Petkovska
A representation of a Boolean function is canonical if, given a variable order, only one instance of the representation is possible for the function. A computation is canonical if the result depends only on the Boolean function and a variable order, and do ...
IEEE2018Internet advertising to recruit respondents for a web-based survey on the mobility of teenagers. Effectiveness in five European countries
Emmanuel Pierre Jean Ravalet, Antoine Lohou
To study mobility behaviours and images of transport modes of teenagers in Europe, we organized a web-based survey in 2016. The population concerned is composed of teenagers (14-17 years old) living in five European countries (France, Germany, Great-Britai ...
2017Configuration 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