Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Cohérence (logique)

Publications associées (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

Jian Wang, Mingkui Wang, Olivier Schneider, Zhirui Xu, Yi Zhang, Lei Zhang, Aurelio Bay, Yi Wang, Guido Haefeli, Tatsuya Nakada, Frédéric Blanc, Minh Tâm Tran, Maurizio Martinelli, Donal Patrick Hill, Liang Sun, Jean Wicht, Liupan An, Elena Graverini, Plamen Hristov Hopchev, Renato Quagliani, Hang Yin, Maria Vieites Diaz, Olivier Göran Girard, Axel Kuonen, Aravindhan Venkateswaran, Michel De Cian, Maria Elena Stramaglia, Vladimir Macko, Federico Leo Redi, Luis Miguel Garcia Martin, Vitalii Lisovskyi, Tara Nanut, Alessio Ferrari, Violaine Bellée, Guillaume Max Pietrzyk, Pavol Stefko, Pietro Marino, Lino Ferreira Lopes, Matthieu Philippe Luther Marinangeli, François Fleuret, Vladislav Balagura, Guido Andreassi, Luca Pescatore, Preema Rennee Pais, Maxime Schubiger, Christoph Frei, Chitsanu Khurewathanakul, Greig Alan Cowan, Mark Tobin, Jessica Prisciandaro, Mirco Dorigo, Sebastiana Gianì, Vincenzo Battista, Conor Thomas Fitzpatrick, Tommaso Colombo, Brice Emile Maurin, Ian William Marison, Arnaud Merlin Gauthey, Daniel Gallichan, Marilisa Neri, Michael Thompson McCann, Mai Tu Xuan, Matteo Fontana, Simon Van Mulders, Valérie Jeanne Thérèse Renaudin-Schouler, Severin Stähly, Craig Matthew Smith, Alexandra Bondarenko, Léonard Yannick Maurice Eymann, Adriano Pastore, Nathalie Sophie Adeline Serra, Xiao Yuan, Laia Castilla Amorós, Luc Henry, Juan Federico Esteban Müller, Giovanni Veneziano, Basile Schäli, Nandita Aggarwal, Benedikt Sebastian Braun, Sattar Akbari Nakhjavani, Gang Yu

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, Jingjing 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, Jingjing 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