Concept

Boolean prime ideal theorem

Related publications (12)

Relative, local and global dimension in complex networks

Dimension is a fundamental property of objects and the space in which they are embedded. Yet ideal notions of dimension, as in Euclidean spaces, do not always translate to physical spaces, which can be constrained by boundaries and distorted by inhomogenei ...

NATURE PORTFOLIO2022

Mapping Catalyst‐Solvent Interplay in Competing Carboamination/Cyclopropanation Reactions

Nicolai Cramer, Matthew Wodrich, Miyeon Chang, Simone Gallarati

Group 9 metals, in particular Rh III complexes with cyclopentadienyl ligands, are competent C–H activation catalysts. Recently, a Cp*Rh III catalyzed reaction of alkenes with N -enoxyphthalimides showed divergent outcome based on the solvent, with carboami ...

2022

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

Improvements to Boolean resynthesis

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...

IEEE2018

Event-based, 6-DOF Camera Tracking from Photometric Depth Maps

Davide Scaramuzza

Event cameras are bio-inspired vision sensors that output pixel-level brightness changes instead of standard intensity frames. These cameras do not suffer from motion blur and have a very high dynamic range, which enables them to provide reliable visual in ...

Institute of Electrical and Electronics Engineers2018

Trustworthy Cloud Storage

Maxime Augier

The Cloud trend is an attempt to leverage economics of scale in the domain of computing resources. Unfortunately, this often means losing control of the lower levels of a computer system, and exposing users to new threat vectors. These threats may be signi ...

EPFL2016

THE CORONA THEOREM FOR THE DRURY-ARVESON HARDY SPACE AND OTHER HOLOMORPHIC BESOV-SOBOLEV SPACES ON THE UNIT BALL IN C-n

We prove that the multiplier algebra of the Drury-Arveson Hardy space H-n(2) on the unit ball in C-n has no corona in its maximal ideal space, thus generalizing the corona theorem of L. Carleson to higher dimensions. This result is obtained as a corollary ...

2011

A Complete Invariant Generation Approach for P-solvable Loops

Laura Ildiko Kovacs

We present an algorithm for generating all polynomial invariants of P-solvable loops with assignments and nested conditionals. We prove termination of our algorithm. The proof relies on showing that the dimensions of the prime ideals from the minimal decom ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2010

Arithmetic Bounds-Lenstra's Constant and Torsion of K-Groups

Julien Houriet

This thesis is concerned with computations of bounds for two different arithmetic invariants. In both cases it is done with the intention of proving some algebraic or arithmetic properties for number fields. The first part is devoted to computations of low ...

EPFL2010

Efficient Model-driven Query Processing Based on Data Regeneration

Saket Sathe, Petre Alexandru Arion

Nowadays, sensor data is generated in large amounts. Stor- ing or transmitting all the sensor’s measurements might not be the ideal choice because of the volume (and rate) at which it is generated. But we also cannot easily discard it, since ev- ery data m ...

2009

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.