Concept

Quantification (logique)

Publications associées (194)

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

The importance of being early

Nikolaos Geroliminis

This research quantifies the relationship between the cost of earliness and lateness by empirically observing commute trips from two different sources. The first empirical analysis uses individual level travel survey data from six metropolitan regions whil ...

2010

Limit Of Applicability Of The Monomer-Enhanced Mechanism For Radical Generation In Persulfate Initiated Polymerization Of Acrylamide

Jutta Christine Wandrey, Ignacio Rintoul

The limit of applicability of the monomer-enhanced mechanism as dominant mechanism ruling the initiation process of the polymerization of acrylamide (AM) initiated with potassium persulfate (K2S2O8) has been determined The kinetics and mechanisms for radic ...

Universidad Nacional del Sur y Consejo Nacional de Investigaciones Científicas y Técnicas2010

Combining Theories with Shared Set Operations

Viktor Kuncak, Ruzica Piskac

Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the theories share set variables and set operations. We prove a combination theore ...

Springer2009

Visualizing biochemical activities in living cells

Kai Johnsson

Autofluorescent proteins have become indispensable in our quest to visualize molecular events in living cells. Further progress in the visualization and quantification of all biochemical activities of the cell will require the introduction of additional an ...

2009

On Large Deviation Regimes For Random Media Models

Thomas Mountford, Damien Gauthier, Michael Cranston

The focus of this article is on the different behavior of large deviations of random subadditive functionals above the mean versus large deviations below the mean in two random media models. We consider the point-to-point first passage percolation time a(n ...

2009

Omnidirectional Pulse Dispersion of Planar Circular Monopoles

Anja Skrivervik, Gabriela Quintero Diaz De Leon

Three antenna systems, composed of circular monopoles with different ground plane sizes, are studied. The transmission of an UWB pulse between two identical monopoles is analyzed. The omnidirectional properties of the UWB antennas are measured and simulate ...

IEEE Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2009

Quench propagation in coated conductors for fault current limiters

Frédéric Sirois, François Roy, Bertrand Dutoit

A fundamental understanding of the quench phenomenon is crucial in the future design and operation of high temperature superconductors based fault current limiters. The key parameter that quantifies the quenching process in superconductors is the normal zo ...

2009

On Combining Theories with Shared Set Operations

Viktor Kuncak, Ruzica Piskac

We explore the problem of automated reasoning about the non-disjoint combination of theories that share set variables and operations. We prove a combination theorem and apply it to show the decidability of the satisfiability problem for a class of formulas ...

2009

Finding Loop Invariants for Programs over Arrays Using a Theorem Prover

Laura Ildiko Kovacs

We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate first-order invariants containing alternations of quantifiers. The method is based on ...

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

RedOx study of anode supported solid oxide fuel cell

Jan Van Herle, Aïcha Hessler-Wyser, Antonin Faes, Arata Nakajo, David Dubois

The common technology for solid oxide fuel cells (SOFC) is based on a cermet (ceramic-metal composite) anode of nickel with yttria stabilized zirconia (YSZ), often used as the supporting structure. One of the main limitations of this technology is the tole ...

2009