Concept

Élimination des quantificateurs

Publications associées (33)

Tralopyril bioconcentration and effects on the gill proteome of the Mediterranean mussel Mytilus galloprovincialis

Julita Maria Stadnicka-Michalak, Kevin Thomas

Antifouling (AF) systems are used worldwide as one of the most cost-effective ways of protecting submerged structures against heavy biofouling. The emergence of environmentally friendly AF biocides requires knowledge on their environmental fate and toxicit ...

Elsevier Science Bv2016

Product Pricing in a Peer-to-Peer Economy

Thomas Alois Weber

The emergence of a collaborative economy has been driven by advances in information technology that allow consumers to borrow and rent goods among peers on a secondary sharing market. In a dynamic setting, consumers make intertemporal decisions about purch ...

2016

Product Pricing in a Peer-to-Peer Economy

Thomas Alois Weber

2016

A Verification Toolkit for Numerical Transition Systems

Viktor Kuncak, Hossein Hojjat

This paper presents a publicly available toolkit and a benchmark suite for rigorous verification of Integer Numerical Transition Systems (INTS), which can be viewed as control-flow graphs whose edges are annotated by Presburger arithmetic formulas. We pres ...

2012

Software Synthesis Procedures

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Automated synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, software synthesis algorithms should behave in a predictable way: they should succ ...

2012

Kinetic experiments of electrochemical oxidation of iohexol on BDD electrodes for wastewater treatment

Christos Comninellis, Luca Rossi, Jeremy Samuel Arey, Petros Dimitriou Christidis, Guillaume Tissot

Electrolysis of iohexol, an iodinated X-ray contrast medium, on synthetic boron-doped diamond (BDD) thin film electrodes was investigated for the first time. Kinetic experiments of electrochemical oxidation resulted in complete elimination of iohexol. Data ...

Elsevier2012

Cerebral Glucose Transport and Homeostasis

Rolf Gruetter

Cerebral glucose homeostasis is maintained by the equilibrium between glucose transport across the blood-brain-barrier (BBB), which occurs through facilitative carriers, and glucose consumption mainly initiated by hexokinase phosphorylation. Glucose concen ...

Springer2012

Sets with Cardinality Constraints in Satisfiability Modulo Theories

Viktor Kuncak, Philippe Paul Henri Suter, Robin Steiger

Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that can express constraints on sets of elements and their cardinalities. Problems from verification of complex properties of software often contain fragments that belong to quantifier- ...

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

A Minimal Exercise Extension for Models of the Glucoregulatory System

Denis Gillet, Grégory François, Alain Bock, Thierry Prud'Homme

For patients with type 1 diabetes mellitus, appropriate control of blood glucose concentrations is vital. Exercise is one of the disturbances that can affect these concentrations. Therefore, predictions in the presence of exercise are useful among others f ...

Elsevier2011

Comfusy: A Tool for Complete Functional Synthesis

Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac

Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...

Springer2010

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search