Concept
Lutte des classes
Publications associées (12)
Frihet, sikkerhet, forstaden: Brev fra Amerika
Why have countries formerly leading public policies of housing – Norway, the U.K., France, etc. – shifted towards privatizing accommodation from the late 1970s? Have these States merely let go of housing and handed it over to private interests in the name ...
2024Neural System Level Synthesis: Learning over All Stabilizing Policies for Nonlinear Systems
Giancarlo Ferrari Trecate, Luca Furieri, Clara Lucía Galimberti
We address the problem of designing stabilizing control policies for nonlinear systems in discrete-time, while minimizing an arbitrary cost function. When the system is linear and the cost is convex, the System Level Synthesis (SLS) approach offers an effe ...
IEEE2022Bayesian Inversion for Nonlinear Imaging Models Using Deep Generative Priors
Michaël Unser, Thanh-An Michel Pham, Pakshal Narendra Bohra, Jonathan Yuelin Dong
Most modern imaging systems incorporate a computational pipeline to infer the image of interest from acquired measurements. The Bayesian approach to solve such ill-posed inverse problems involves the characterization of the posterior distribution of the im ...
2022On the Turan number of ordered forests
Gábor Tardos, Istvan Tomon, Dániel József Korándi
An ordered graph H is a simple graph with a linear order on its vertex set. The corresponding Turan problem, first studied by Pach and Tardos, asks for the maximum number ex(
ACADEMIC PRESS INC ELSEVIER SCIENCE2019Les bâtards
Les banlieues de Stockholm ont été construites à partir de bâtiments solitaires qui n'ont pas été organisés selon une forme architecturale et urbaine unifiée. Ces quartiers manquent d'espaces collectifs où pourraient se confronter des personnes d'origines ...
2018Reliability Analysis of Data Storage Systems
Modern data storage systems are extremely large and consist of several tens or hundreds of nodes. In such systems, node failures are daily events, and safeguarding data from them poses a serious design challenge. The focus of this thesis is on the data rel ...
EPFL2012Ordered Sets in the Calculus of Data Structures
Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac
Our goal is to identify families of relations that are useful for reasoning about software. We describe such families using decidable quantifier-free classes of logical constraints with a rich set of operations. A key challenge is to define such classes of ...
Springer2010Finding Hamiltonian circuits in quasi-adjoint graphs
Dominique de Werra, Benjamin Leroy-Beaulieu
This paper is motivated by a method used for DNA sequencing by hybridization presented in [Jacek Blazewicz, Marta Kasprzak, Computational complexity of isothernnic DNA sequencing by hybridization, Discrete Appl. Math. 154 (5) (2006) 718-7291. This paper pr ...
2008