Concept

Existential quantification

Related publications (116)

Utilizing modeling, experiments, and statistics for the analysis of water-splitting photoelectrodes

A multi-physics model of a planar photoelectrochemical water-splitting device was developed, validated and used to identify and quantify the most significant materials-related bottlenecks in photoelectrochemical device performance. The model accounted for ...

Royal Society of Chemistry2016

Extending the Reach of a Rod Injected Into a Cylinder Through Distributed Vibration

Pedro Miguel Nunes Pereira de Almeida Reis

We present results of an experimental investigation of a new mechanism for extending the reach of an elastic rod injected into a horizontal cylindrical constraint, prior to the onset of helical buckling. This is accomplished through distributed, vertical v ...

American Society of Mechanical Engineers2015

Counterexample-Guided Quantifier Instantiation for Synthesis in SMT, Computer Aided Verification

Viktor Kuncak, Andrew Joseph Reynolds

We introduce the first program synthesis engine implemented inside an SMT solver. We present an approach that extracts solution functions from unsatisfiability proofs of the negated form of synthesis conjectures. We also discuss novel counterexample-guided ...

2015

Analytical Methods, Correlative Microscopy and Software Tools for Quantitative Single Molecule Localization Microscopy

Arun Shivanandan

Single Molecule Localization Microscopy (SMLM) techniques, such as PhotoActivated Localization Microscopy (PALM) and STochastic Optical Reconstruction Microscopy(STORM), can get around the diffraction limited resolution of conventional fluorescent microsco ...

EPFL2015

A fast and reproducible method to quantify magnetic nanoparticle biodistribution

Heinrich Hofmann, Lionel André Maurizi, Usawadee Sakulkhu

The quantification of nanoparticles, particularly superparamagnetic iron oxide nanoparticles (SPIONs), both in vitro and in vivo has become highly important in recent years. Some methods, such as induced coupled plasma (ICP) spectroscopy and UV-visible che ...

Royal Society of Chemistry2014

Inferring the Evolutionary History of Primate microRNA Binding Sites: Overcoming Motif Counting Biases

Jeffrey David Jensen, Feng Gao

The first microRNAs (miRNAs) were identified as essential, conserved regulators of gene expression, targeting the same genes across nearly all bilaterians. However, there are also prominent examples of conserved miRNAs whose functions appear to have shifte ...

Oxford Univ Press2014

In vivo brain macromolecule signals in healthy and glioblastoma mouse models: 1H magnetic resonance spectroscopy, post-processing and metabolite quantification at 14.1 T

Rolf Gruetter, Cristina Ramona Cudalbu, Mélanie Craveiro

In 1H magnetic resonance spectroscopy, macromolecule signals underlay metabolite signals, the understanding of which is necessary for reliable metabolite quantification. When macromolecule signals are measured using an inversion-recovery pulse sequence, sp ...

Wiley-Blackwell2014

Inter-limb coordination and energy cost in swimming

Kamiar Aminian, Grégoire Millet, Farzin Dadashi, Florent Crettenand

Objectives: This study investigated the relationship between inter-arm coordination and the energy cost of locomotion in front crawl and breaststroke and explored swimmers’ flexibility in adapting their motor organization away from their preferred movement ...

Elsevier2014

Quantifying Commitment in Nash Equilibria

Thomas Alois Weber

To quantify a player’s commitment in a given Nash equilibrium of a finite dynamic game, we map the corresponding normal-form game to a “canonical supergame,” which allows each player to adjust his or her move with a certain probability. The commitment meas ...

EPFL2014

Towards Quantifying and Preventing the Leakage of Genomic Data Using Privacy-Enhancing Technologies

Jean-Pierre Hubaux, Mathias Jacques Jean-Marc Humbert, Erman Ayday, Jean Louis Raisaro

Towards Quantifying and Preventing the Leakage of Genomic Data Using Privacy-Enhancing Technologies ...

2013

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.