Publications associées à Signature (logique)

International Perspective on UHPC in Bridge Engineering

Ultrahigh-performance concrete (UHPC) offers significant potential to address a variety of needs in bridge design, construction, and performance enhancement. Bridge owners have shown willingness to embrace novel solutions that could address specific challe ...

ASCE-AMER SOC CIVIL ENGINEERS2020

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Viktor Kuncak, Nicolas Charles Yves Voirol

Procedures for first-order logic with equality are used in many modern theorem provers and solvers, yet procedure termination in case of interesting sub-classes of satisfiable formulas remains a challenging problem. We present an instantiation-based semi-d ...

2016

Energy expenditure estimation using accelerometry and heart rate for multiple sclerosis and healthy older adults

Kamiar Aminian, Arash Arami, Fabien Massé, Alan Kevin Bourke

Accurate estimation of Energy Expenditure (EE) in ambulatory settings provides greater insight into the underlying relation between different human physical activity and health. This paper describes the development and validation of energy expenditure esti ...

2014

UniStore: Querying a DHT-based Universal Storage

Manfred Hauswirth, Roman Schmidt, Renault John Lecoultre, Jessica Müller

The idea of collecting and combining large public data sets and services became more and more popular. The special characteristics of such systems and the requirements of the participants demand for strictly decentralized solutions. However, this comes alo ...

2007

UniStore: Querying a DHT-based Universal Storage

Manfred Hauswirth, Roman Schmidt, Renault John Lecoultre, Jessica Müller

In recent time, the idea of collecting and combining large public data sets and services became more and more popular. The special characteristics of such systems and the requirements of the participants demand for strictly decentralized solutions. However ...

2006

Trace coordinates of Teichmüller space of Riemann surfaces of signature $(0,4)$

Klaus-Dieter Semmler, Thomas Gauglhofer

Summary: We explicitly give

calT

, the Teichmüller space of four-holed spheres (which we call

X

pieces) in trace coordinates, as well as its modular group and a fundamental domain for the action of this group on

calT

which is its moduli space. As a co ...

2005

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.

Trace coordinates of Teichmüller space of Riemann surfaces of signature $(0,4)$

Klaus-Dieter Semmler, Thomas Gauglhofer

Summary: We explicitly give

calT

, the Teichmüller space of four-holed spheres (which we call

X

pieces) in trace coordinates, as well as its modular group and a fundamental domain for the action of this group on

calT

which is its moduli space. As a co ...

2005

Signature (logique)

International Perspective on UHPC in Bridge Engineering

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

Energy expenditure estimation using accelerometry and heart rate for multiple sclerosis and healthy older adults

UniStore: Querying a DHT-based Universal Storage

UniStore: Querying a DHT-based Universal Storage

Light-weight Internet-scale Universal Storage

Trace coordinates of Teichmüller space of Riemann surfaces of signature $(0,4)$

Graph Chatbot

Chattez avec Graph Search

Energy expenditure estimation using accelerometry and heart rate for multiple sclerosis and healthy older adults

International Perspective on UHPC in Bridge Engineering

Light-weight Internet-scale Universal Storage

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

UniStore: Querying a DHT-based Universal Storage

Trace coordinates of Teichmüller space of Riemann surfaces of signature $(0,4)$

UniStore: Querying a DHT-based Universal Storage