Publications related to Disjunctive normal form

In this thesis, we propose to formally derive amplitude equations governing the weakly nonlinear evolution of non-normal dynamical systems, when they respond to harmonic or stochastic forcing, or to an initial condition. This approach reconciles the non-mo ...

EPFL2024

Validating functional redundancy with mixed generative adversarial networks

Thanh Trung Huynh, Quoc Viet Hung Nguyen, Thành Tâm Nguyên, Trung-Dung Hoang

Data redundancy has been one of the most important problems in data-intensive applications such as data mining and machine learning. Removing data redundancy brings many benefits in efficient data updating, effective data storage, and error-free query proc ...

ELSEVIER2023

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Viktor Kuncak, Simon Guilloud

We present a quasilinear time algorithm to decide the word problem on a natural algebraic structures we call orthocomplemented bisemilattices, a subtheory of boolean algebra. We use as a base a variation of Hopcroft, Ullman and Aho algorithm for tree isomo ...

Springer2022

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

Paolo Ienne, Andrea Guerrieri, Lana Josipovic, Ayatallah Ahmed Gamal Kamal Elakhras

High-level synthesis (HLS) is the process of automatically generating circuits out of high-level language descriptions. Previous research has shown that dynamically scheduled HLS through elastic circuit generation is successful at exploiting parallelism in ...

IEEE COMPUTER SOC2022

On Polynomial Algorithms for Normalizing Formulas

Viktor Kuncak, Simon Guilloud, Mario Bucev

We propose a new approach for normalization and simplification of logical formulas. Our approach is based on algorithms for lattice-like structures. Specifically, we present two efficient algorithms for computing a normal form and deciding the word problem ...

2022

Fast Least-Squares Padé approximation of problems with normal operators and meromorphic structure

Fabio Nobile, Francesca Bonizzoni, Davide Pradovera

In this work, we consider the approximation of Hilbert space-valued meromorphic functions that arise as solution maps of parametric PDEs whose operator is the shift of an operator with normal and compact resolvent, e.g., the Helmholtz equation. In this res ...

2020

MATHICSE Technical Report : Dimensionality reduction of parameter-dependent problems through proper orthogonal decomposition

Alfio Quarteroni, Andrea Manzoni, Federico Negri

The numerical solution of partial differential equations (PDEs) depending on para- metrized or random input data is computationally intensive. Reduced order modeling techniques, such as the reduced basis methods, have been developed to alleviate this compu ...

MATHICSE2016

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

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

Reversible circuits implement invertible logic functions. They are of great interest to cryptography, coding theory, interconnect design, computer graphics, quantum computing, and many other fields. As for conventional circuits, checking the combinational ...

Ieee2016

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP

Simon Bliudze, Eduard Baranov

Based on a concise but comprehensive overview of some fundamental properties required from component-based frameworks, namely compositionality, incrementality, flattening, modularity and expressiveness, we review three modifications of the semantics of glu ...

Elsevier2015

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.

Disjunctive normal form

Non-normal forms

Validating functional redundancy with mixed generative adversarial networks

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

On Polynomial Algorithms for Normalizing Formulas

Fast Least-Squares Padé approximation of problems with normal operators and meromorphic structure

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

MATHICSE Technical Report : Dimensionality reduction of parameter-dependent problems through proper orthogonal decomposition

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP

Graph Chatbot

Chat with Graph Search

Unleashing Parallelism in Elastic Circuits with Faster Token Delivery

Validating functional redundancy with mixed generative adversarial networks

On Polynomial Algorithms for Normalizing Formulas

Equivalence Checking for Orthocomplemented Bisemilattices in Log-Linear Time

Non-normal forms

Offer semantics: Achieving compositionality, flattening and full expressiveness for the glue operators in BIP

Fast Least-Squares Padé approximation of problems with normal operators and meromorphic structure

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

MATHICSE Technical Report : Dimensionality reduction of parameter-dependent problems through proper orthogonal decomposition

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking