Concept

Universal quantification

Related publications (144)

Using semi-open questions to integrate perceptions in choice models

Michel Bierlaire, Aurélie Glerum, Bilge Atasoy

This research investigates the measurement of perceptions by means of adjectives freely reported by respondents in semi-open questions. The objective of this work is to use these adjectives as indicators of perceptions in hybrid choice models (HCM) in orde ...

2012

Translating English Discourse Connectives into Arabic: a Corpus-based Analysis and an Evaluation Metric

Andrei Popescu-Belis

Discourse connectives can often signal multiple discourse relations, depending on their context. The automatic identification of the Arabic translations of seven English discourse connectives shows how these connectives are differently translated depending ...

2012

Defining the potential of usable waste heat in industrial processes with the help of pinch and exergy analysis

François Maréchal, Daniel Favrat, Matthias Bendig

This paper aims at giving a definition for waste heat in analogy to the definitions of natural resources and reserves. It aims also at presenting a method for identifying, characterizing and quantifying the available waste heat of an industrial system that ...

Czech Society of Chemical Engineering and Italian Association of Chemical Engineering2012

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

A comparison of in vivo (13) C MR brain glycogen quantification at 9.4 and 14.1 T

Rolf Gruetter, Yves Pilloud, Ruud van Heeswijk

The high molecular weight and low concentration of brain glycogen render its noninvasive quantification challenging. Therefore, the precision increase of the quantification by localized (13) C MR at 9.4 to 14.1 T was investigated. Signal-to-noise ratio inc ...

2012

Three Dimensional Microanalysis by Energy Dispersive Spectrometry

Pierre Burdet

This thesis is focused on a combined microscopy technique: energy dispersive spectrometry (EDS) is extended to a three dimensional (3D) microanalysis using a so-called "dual-beam microscope": a scanning electron microscope (SEM) equipped with a focused ion ...

EPFL2012

Quantification of Sub-resolution Sized Targets in Cell Fluorescent Imaging

Giovanni De Micheli, Sandro Carrara, Julien Michel Ghaye

We introduce two methods for quantifying and evaluating the amount of surface receptors within a group of cells from fluorescence microscope images. First, the average fluorescence intensity method (AFIM), based on the fluores- cent pixels average intensit ...

2012

Quantification of fundamental frequency drop for unreinforced masonry buildings from dynamic tests

Pierino Lestuzzi, Clotaire Michel

Abstract ...

Wiley-Blackwell2011

Towards Complete Reasoning about Axiomatic Specifications

Viktor Kuncak, Swen Jacobs

To support verification of expressive properties of functional programs, we consider algebraic style specifications that may relate multiple user-defined functions, and compare multiple invocations of a function for different arguments. We present decision ...

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

Towards Unbiased BFS Sampling

Patrick Thiran, Maciej Kurant

Breadth First Search (BFS) is a widely used approach for sampling large graphs. However, it has been empirically observed that BFS sampling is biased toward high-degree nodes, which may strongly affect the measurement results. In this paper, we quantify an ...

Institute of Electrical and Electronics Engineers2011

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.