Concept

Algebraic normal form

Related publications (7)

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Giovanni De Micheli, Mathias Soeken, Eleonora Testa

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller an ...

IEEE2019

Functional analysis of Bicc1 and novel interacting proteins in renal tubule cell metabolism and polycystic kidneys

Lucía Carolina Leal Esteban

Genetic disorders known as ciliopathies develop polycystic kidneys, including autosomal dominant and autosomal recessive polycystic kidney diseases (ADPKD and ARPKD). Several signaling pathways including the cAMP/PKA pathway are implicated in driving cyst ...

EPFL2017

Majority Logic Representation and Satisfiability

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Majority logic is a powerful generalization of common AND/OR logic. Original two-level and multi-level logic networks can use majority operators as primitive connective, in place of AND/ORs. In such a way, Boolean functions have novel means for compact rep ...

2014

Scalable and Dynamically Balanced Shared-Everything OLTP with Physiological Partitioning

Anastasia Ailamaki, Frederick Ryan Johnson, Pinar Tözün, Ippokratis Pandis

Scaling the performance of shared-everything transaction processing systems to highly-parallel multicore hardware remains a challenge for database system designers. Recent proposals alleviate locking and logging bottlenecks in the system, leaving page latc ...

2013

A weakly nonlinear mechanism for mode selection in swirling jets

François Gallaire, Philippe Meliga

Global linear and nonlinear bifurcation analysis is used to revisit the spiral vortex breakdown of nominally axisymmetric swirling jets. For the parameters considered herein, stability analyses single out two unstable linear modes of azimuthal wavenumber m ...

Cambridge University Press2012

Non-Clausal Satisfiability Modulo Theories

Philippe Paul Henri Suter

This thesis presents NC(T), an extension of the DPLL(T) scheme [16, 29] for decision procedures for quantifier-free first-order logics. In DPLL(T), a general Boolean DPLL engine is instantiated with a theory solver for the theory T. The DPLL engine is resp ...

2008

Liver receptor homolog 1 is essential for ovulation

Johan Auwerx, Kristina Schoonjans, Chikage Mataki

Female fertility requires normal ovarian follicular growth and ovulation. The nuclear receptor liver receptor homolog 1 has been implicated in processes as diverse as bile acid metabolism, steroidogenesis, and cell proliferation. In the ovary, Lrh1 is expr ...

2008

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.