Home

Concept

Consistency

Formal sciences
Logic
Classical logic
First-order logic

About
Privacy
Disclaimer

Graph Chatbot

Related publications (32)

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, Alessio Ferrari, Elena Graverini, Basile Schäli, Matthieu Philippe Luther Marinangeli, Renato Quagliani, Jessica Prisciandaro, Federico Betti, Mark Tobin, Greig Alan Cowan, Aravindhan Venkateswaran, Vladislav Balagura, Luis Miguel Garcia Martin, Pietro Marino, Vitalii Lisovskyi, Mirco Dorigo, Jian Wang, Mingkui Wang, Sebastiana Gianì, Zhirui Xu, Federico Leo Redi, Maxime Schubiger, Yi Zhang, Guido Andreassi, Lei Zhang, Violaine Bellée, Preema Rennee Pais, Pavol Stefko, Minh Tâm Tran, Tara Nanut, , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , ,

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

Validation of the Critical Shear Crack Theory for punching of slabs without transverse reinforcement by means of a refined mechanical model

Aurelio Muttoni, Miguel Fernández Ruiz, João Tiago Ramos Bernardo de Santa Rita Simões

Despite the intensive efforts dedicated in the last decades to better understanding punching shear failures, there is still no consensus on the mechanics governing this phenomenon and on how to implement it within a physical approach. In this paper, an ana ...

2018

Monotonic Prefix Consistency in Distributed Systems

Rachid Guerraoui, Dragos-Adrian Seredinschi, Jad Hamza

We study the issue of data consistency in distributed systems. Specifically, we consider a distributed system that replicates its data at multiple sites, which is prone to partitions, and which is assumed to be available (in the sense that queries are alwa ...

2018

Page 2 of 2

Guillaume Max Pietrzyk

Michael Thompson McCann

Adriano Pastore

Léonard Yannick Maurice Eymann

Liupan An

Nathalie Sophie Adeline Serra

Matteo Fontana

Plamen Hristov Hopchev

Sattar Akbari Nakhjavani

Valérie Jeanne Thérèse Renaudin-Schouler

Maria Vieites Diaz

Olivier Göran Girard

Juan Federico Esteban Müller

Maria Elena Stramaglia

Luis Alberto Granado Cardoso

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