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

Light-weight Internet-scale Universal Storage

Manfred Hauswirth, Roman Schmidt

Many new applications, for example Wikis, social networks, and distributed recommender systems, require the efficient integration of decentralized and heterogenous data sources at a large scale. In this paper, we present our vision of a universal storage f ...

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

Signature (logic)

Graph Chatbot

Chat with Graph Search

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)$

Light-weight Internet-scale Universal Storage

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

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

On Satisfiability for Quantified Formulas in Instantiation-Based Procedures

International Perspective on UHPC in Bridge Engineering