Publications associées à Critical race theory

Degrees of Separation: A Flexible Type System for Safe Concurrency

Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki

Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...

2024

Stochastic pairwise preference convergence in Bayesian agents

Max-Olivier Hongler

Beliefs inform the behaviour of forward-thinking agents in complex environments. Recently, sequential Bayesian inference has emerged as a mechanism to study belief formation among agents adapting to dynamical conditions. However, we lack critical theory to ...

2024

Influence of advanced footwear technology on sub-2 hour marathon and other top running performances

Raphaël Gérard Théodore Michel Marie de Deloÿe et Fourcade de Fondeville

In 2019, Eliud Kipchoge ran a sub-two hour marathon wearing Nike's Alphafly shoes. Despite being the fastest marathon time ever recorded, it wasn't officially recognized as race conditions were tightly controlled to maximize his success. Besides, Kipchoge' ...

WALTER DE GRUYTER GMBH2022

An automatized signal timing detection at signalized intersections with detailed vehicle trajectory data

Nikolaos Geroliminis, Emmanouil Barmpounakis, Jasso Espadaler Clapés

Signalized intersections are a fundamental part of urban networks. Their understanding is crucial to identify congestion patterns, queues, delays, and safety issues in local and network level. In this work, we analyze multimodal vehicle trajectories and pr ...

2022

You Talking to Me? The TED digital infrastructure as a Recognition Device

Gianluigi Viscusi, Heidi Christina Gautschi

This article investigates the TED digital infrastructure for translating Science and Technology projects. Specifically, we seek to investigate the TED infrastructures generative mechanisms and their relation to valuation mechanisms and practices. The resea ...

Academy of Management2018

Simplifying Development and Management of Software-Defined Networks

Peter Peresini

Computer networks are an important part of our life. Yet, they are traditionally hard to manage and operate. The recent shift to Software-Defined Networking (SDN) is promised to change the way in which the networks are run by their operators. However, SDN ...

EPFL2016

Multiple Points Of The Brownian Sheet In Critical Dimensions

Robert Dalang

It is well known that an N-parameter d-dimensional Brownian sheet has no k-multiple points when (k - 1)d > 2kN, and does have such points when (k - 1)d < 2kN. We complete the study of the existence of k-multiple points by showing that in the critical cases ...

Inst Mathematical Statistics2015

Projecting hydropower production under future climates: a guide for decision-makers and modelers to interpret and design climate change impact assessments

Bettina Schaefli

Hydropower is a key energy source in almost all world regions. It fuels social and economic development, ensures electricity security, and is a pillar for renewable electricity production. But hydropower and its environmental impacts are vulnerable to clim ...

2015

Improving tumor heterogeneity MRI assessment with histograms

Nathalie Just

By definition, tumours are heterogeneous. They are defined by marked differences in cells, microenvironmental factors (oxygenation levels, pH, VEGF, VPF and TGF-α) metabolism, vasculature, structure and function that in turn translate into heterogeneous dr ...

Nature Publishing Group2014

Determination of External Forces in Alpine Skiing Using a Differential Global Navigation Satellite System

Julien Chardonnens

In alpine ski racing the relationships between skier kinetics and kinematics and their effect on performance and injury-related aspects are not well understood. There is currently no validated system to determine all external forces simultaneously acting o ...

Mdpi Ag2013

Formal Analysis of SystemC Designs in Process Algebra

Hossein Hojjat

SystemC is an IEEE standard system-level language used in hardware/software co-design and has been widely adopted in the industry. This paper describes a formal approach to verifying SystemC designs by providing a mapping to the process algebra mCRL2. Our ...

2011

Unsaturated soils under non-isothermal conditions: Framework of a new constitutive model

Lyesse Laloui, Bertrand François

This paper addresses a new, unified thermo-mechanical constitutive model for unsaturated soils through a coupled study. In the context of elasto-plasticity and the critical state theory, the model uses the concepts of multi-mechanism and bounding surface t ...

2008

La Venezuela urbana: una mirada desde los barrios

Yves Pedrazzini

Across a critical history of the caraqueña urbanization of these last 50 years, the authors review the creative support of the self-built neighborhoods, the barrios, in the process of construction of the Venezuelan capital city. It making, they use it to u ...

2008

Protocol composition frameworks and modular group communication : models, algorithms and architectures

Sergio Mena

It is noticeable that our society is increasingly relying on computer systems. Nowadays, computer networks can be found at places where it would have been unthinkable a few decades ago, supporting in some cases critical applications on which human lives ma ...

EPFL2006