Cohérence (logique)

Science formelle
Logique
Logique classique
Calcul des prédicats

Publications associées (32)

À propos
Confidentialité
Mentions légales

Graph Chatbot

What Face and Body Shapes Can Tell Us About Height

Pascal Fua, Helge Jochen Rhodin, Semih Günel

Recovering a person's height from a single image is important for virtual garment fitting, autonomous driving and surveillance. However, it is also very challenging without absolute scale information. Here, we examine the rarely addressed case, where camer ...

IEEE COMPUTER SOC2019

Does Austerity Go Along With Internal Devaluations?

Luisa Lambertini, Christian Pröbsting

Cuts to government spending rather than increases in consumption taxes are statistically associated with internal devaluations in the euro area during the period 2010-2014. Countries that cut spending experienced a decline in nominal wages, rising net expo ...

2019

Does Austerity Go Along with Internal Devaluations?

Luisa Lambertini

2019

System Support for Efficient Replication in Distributed Systems

Dragos-Adrian Seredinschi

Current online applications, such as search engines, social networks, or file sharing services, execute across a distributed network of machines. They provide non-stop services to their users despite failures in the underlying network. To achieve such a hi ...

EPFL2019

The CDS-bond basis

Pierre Collin Dufresne

We investigate the cross-sectional variation in the credit default swap (CDS)-bond bases and test explanations for the violation of the arbitrage relation between cash bond and CDS contract, which states that the basis should be zero in normal conditions. ...

WILEY2019

The PCL Theorem: Transactions cannot be Parallel, Consistent, and Live

Rachid Guerraoui, Victor Bushkov, Panagiota Fatourou

We establish a theorem called the PCL theorem, which states that it is impossible to design a transactional memory algorithm that ensures (1) parallelism, i.e., transactions do not need to synchronize unless they access the same application objects, (2) ve ...

ASSOC COMPUTING MACHINERY2019

Kinetic models of metabolism that consider alternative steady-state solutions of intracellular fluxes and concentrations

Vassily Hatzimanikatis, Ljubisa Miskovic, Meriç Ataman, Georgios Fengos, Tuure Eelis Hameri

Large-scale kinetic models are used for designing, predicting, and understanding the metabolic responses of living cells. Kinetic models are particularly attractive for the biosynthesis of target molecules in cells as they are typically better than other t ...

2019

Observation of Two Resonances in the Lambda(0)(b)pi(+/-) Systems and Precise Measurement of Sigma(+/-)(b) and Sigma(*+/-)(b) Properties

Olivier Schneider, Aurelio Bay, Guido Haefeli, Christoph Frei, Tatsuya Nakada, Frédéric Blanc, Michel De Cian, Luca Pescatore, François Fleuret, Chitsanu Khurewathanakul

The first observation of two structures consistent with resonances in the final states Lambda(0)(b)pi(-) and Lambda(0)(b)pi(+) thorn is reported using samples of pp collision data collected by the LHCb experiment at root s = 7 and 8 TeV, corresponding to a ...

2019

Causal Consistency and Latency Optimality: Friend or Foe? [Extended Version]

Rachid Guerraoui, Willy Zwaenepoel, Diego Didona, Junxiong Wang

Causal consistency is an attractive consistency model for geo-replicated data stores. It is provably the strongest model that tolerates network partitions. It avoids the long latencies associated with strong consistency, and, especially when using read-onl ...

2018

Causal Consistency and Latency Optimality: Friend or Foe?

Rachid Guerraoui, Willy Zwaenepoel, Diego Didona, Junxiong Wang

ASSOC COMPUTING MACHINERY2018

Page 3 sur 4

Observation of Two Resonances in the Lambda(0)(b)pi(+/-) Systems and Precise Measurement of Sigma(+/-)(b) and Sigma(*+/-)(b) Properties

Olivier Schneider, Aurelio Bay, Guido Haefeli, Christoph Frei, Tatsuya Nakada, Frédéric Blanc, Michel De Cian, Luca Pescatore, François Fleuret, Chitsanu Khurewathanakul

2019