Logique floue

Science formelle
Logique
Logique non classique
Logique polyvalente

Publications associées (30)

À propos
Confidentialité
Mentions légales

Graph Chatbot

Investigation of effective processes parameters on lead (II) adsorption from wastewater by biochar in mild air oxidation pyrolysis process

Farzaneh Talebkeikhah, Mohsen Talebkeikhah, Mohammad Torkashvand

This study evaluates and compares several machine learning methods on the effects of different parameters in lead adsorption capacity. pH, contact time, adsorbent dosage and initial lead concentration were considered as inputs and adsorption capacity was r ...

TAYLOR & FRANCIS LTD2022

Self-commissioning glare-based control system for integrated venetian blind and electric lighting

Jean-Louis Scartezzini, Laurent Deschamps, Ali Motamed

Rule-based control logics have proven to be efficient for automation of shading and lighting systems. However, successful commissioning of these systems for multiple stores non-residential buildings, regardless of the control logic, requires time-consuming ...

2020

Extending Boolean Methods for Scalable Logic Synthesis

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

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa

Reducing the number of AND gates plays a central role in many cryptography and security applications. We propose a logic synthesis algorithm and tool to minimize the number of AND gates in a logic network composed of AND, XOR, and inverter gates. Our appro ...

ASSOC COMPUTING MACHINERY2019

LUT-Based Hierarchical Reversible Logic Synthesis

Giovanni De Micheli, Mathias Soeken

We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on lookup-table (urn networks, which play a key role in conventional logic synthesis. Establishing a connection between LUT ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

SAT-Based Exact Synthesis for Multi-Level Logic Networks

Winston Jason Haaswijk

Today, the design of electronic systems is largely automated. The practice of using software automation technologies for the design of electronic hardware is commonly referred to as Electronic Design Automation (EDA). EDA comprises a large set of tools, fr ...

EPFL2019

Physico-chemical properties prediction of hydrochar in macroalgae Sargassum horneri hydrothermal carbonisation

Farzaneh Talebkeikhah, Mohsen Talebkeikhah

This study evaluates and compares several machine learning methods on the effects of different parameters in the hydrothermal carbonisation (HTC) process of macroalgae Sargassum horneri. Reaction temperature, residence time, biomass particle size, the amou ...

TAYLOR & FRANCIS LTD2021

Modeling and Assessment of Urban Energy Systems

Amarasinghage Tharindu Dasun Perera

Improving the energy sustainability of our cities involves the integration of multiple renewable energy technologies into existing energy infrastructure, stretching the capabilities of traditional energy systems to the limit. To consider the transition tak ...

EPFL2019

Logic Optimization of Majority-Inverter Graphs

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa, Heinz Riener, Winston Jason Haaswijk

Majority-inverter graphs (MIGs) are a multi-level logic representation of Boolean functions with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of conventional logic representations. In this pa ...

VDE Verlag2019

Real-Scenario Testing of an Active Phasor Data Concentrator

Mario Paolone, Asja Derviskadic, Guglielmo Frigo

The privileged position of the Phasor Data Concentrator (PDC) in a synchrophasor-based monitoring system can be exploited to make this device the core of a distributed measurement architecture suitable for control and protection applications in power syste ...

IEEE2019

Page 2 sur 3

Extending Boolean Methods for Scalable Logic Synthesis

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

2020

Investigation of effective processes parameters on lead (II) adsorption from wastewater by biochar in mild air oxidation pyrolysis process

Farzaneh Talebkeikhah, Mohsen Talebkeikhah, Mohammad Torkashvand

TAYLOR & FRANCIS LTD2022