Publications related to Signature (logic)

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

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.

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 (logic)

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

Chat with Graph Search

UniStore: Querying a DHT-based Universal Storage

UniStore: Querying a DHT-based Universal Storage

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

Light-weight Internet-scale Universal Storage

International Perspective on UHPC in Bridge Engineering

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

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures