Concept

Logic in computer science

Related publications (6)

Optimizing Majority-Inverter Graphs with Functional Hashing

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

A Majority-Inverter Graph (MIG) is a recently introduced logic representation form whose algebraic and Boolean properties allow for efficient logic optimization. In particular, when considering logic depth reduction, MIG algorithms obtained signific ...

IEEE2016

A Sound and Complete Axiomatization of Majority-n Logic

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

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the B ...

Institute of Electrical and Electronics Engineers2016

Surveying the Evolution of Computing in Architecture, Engineering, and Construction Education

Ian Smith

This paper includes the results of an online survey that was conducted by the American Society of Civil Engineers (ASCE) task committee on computing education to assess the evolution of computing in architecture, engineering, and construction (AEC) educati ...

American Society of Civil Engineers2015

Qualitative Spatial and Temporal Reasoning with Answer Set Programming

Jingshi Li

Representing and reasoning spatial and temporal information is a key research issue in Computer Science and Artificial Intelligence. In this paper, we introduce tools that produce three novel encodings which translate problems in qualitative spatial and te ...

2012

Acquisition et recalage informatique d'images confocales de tissus denses

Nicolas Fête

Analysis of the 3D structure of a biological sample is an important step to model cell and tissue dynamics. As a model system, we set up to determine the number of nuclei in a follicular papilla using confocal imaging and 3D computer reconstruction. The fo ...

EPFL2008

Cognitive language engineering towards robust human-computer interaction

Vincenzo Pallotta

Intelligent information processing seems to be one of the most challenging task among those involved in human-computer interaction. A central issue is how to model the various types of interaction among artificial and natural entities at different levels o ...

EPFL2002

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.