Concept

Marxian class theory

Publications associées (17)

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 ...

2024

Land Cover Mapping From Multiple Complementary Experts Under Heavy Class Imbalance

Devis Tuia, Valérie Zermatten, Javiera Francisca Castillo Navarro, Xiaolong Lu

Deep learning has emerged as a promising avenue for automatic mapping, demonstrating high efficacy in land cover categorization through various semantic segmentation models. Nonetheless, the practical deployment of these models encounters important challen ...

Ieee-Inst Electrical Electronics Engineers Inc2024

The Fifth Typology

Pier Vittorio Aureli

Conception, organization and introduction Rafael Moneo once said that to talk about type in architecture is to talk about the essence of architecture. Indeed, when conceiving architecture is almost impossible to not start from an existing type, no matter h ...

2023

Luminescent, porous, metal-organic crystals: Design, synthesis, and applications

Fatmah Ebrahim

The work presented in this thesis is focused on the design and discovery of new luminescent, porous, crystalline materials for targeted applications. In particular, we focus on luminescent Metal-Organic Frameworks (MOFs) and Organic Molecules of Intrinsic ...

EPFL2021

Look, no beacons! Optimal all-in-one EchoSLAM

Martin Vetterli, Ivan Dokmanic, Miranda Krekovic

We study the problem of simultaneously reconstructing a polygonal room and a trajectory of a device equipped with a (nearly) collocated omnidirectional source and receiver. The device measures arrival times of echoes of pulses emitted by the source and pic ...

2016

Learning with tensors: a framework based on convex optimization and spectral regularization

Quoc Tran Dinh

We present a framework based on convex optimization and spectral regularization to perform learning when feature observations are multidimensional arrays (tensors). We give a mathematical characterization of spectral penalties for tensors and analyze a uni ...

Springer2014

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as “big data” edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

2013

Instant Pickles: Generating Object-Oriented Pickler Combinators for Fast and Extensible Serialization

Martin Odersky, Philipp Haller, Eugene Burmako

As more applications migrate to the cloud, and as "big data" edges into even more production environments, the performance and simplicity of exchanging data between compute nodes/devices is increasing in importance. An issue central to distributed programm ...

Assoc Computing Machinery2013

Online Testing of Federated and Heterogeneous Distributed Systems

Dejan Novakovic, Dejan Kostic, Marco Canini, Vojin Jovanovic

DiCE is a system for online testing of federated and heterogeneous distributed systems. We have built a prototype of DiCE and integrated it with a BGP router. DiCE quickly detects three important classes of faults, resulting from configuration mistakes, po ...

2011

Satisfiability Modulo Recursive Programs

Viktor Kuncak, Philippe Paul Henri Suter, Ali Sinan Köksal

We present a semi-decision procedure for checking satisfiability of expressive correctness properties of recursive first-order functional programs. In our approach, both properties and programs are expressed in the same language, a subset of Scala. We impl ...

Springer-Verlag Berlin2011

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search