Publication

Ramsey-type results for semi-algebraic relations

Publications associées (43)

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

On the Relationship Between Environmental and Mechanical Complexity in Evolved Robots

Joshua Evan Auerbach

According to the principles of embodied cognition, intelligent behavior must arise out of the coupled dynamics of an agent's brain, body, and environment. This suggests that the morphological complexity of a robot should scale in relation to the complexity ...

MIT Press2012

N° 2 Lighthouse Project 2e éd.

Dieter Dietz, Aline Dubach

The Lighthouse Project proposes a house. Named a House it had to address inhabitation: for whom was defined by each student. Additionally the Lighthouse had to include a public function. Light was considered as an attractor and conductor of flows in the ur ...

2011

Relation between near–field and far–field properties of plasmonic Fano resonances

Olivier Martin, Benjamin Gallinet

The relation between the near–field and far–field properties of plasmonic nanostructures that exhibit Fano resonances is investigated in detail. We show that specific features visible in the asymmetric lineshape far–field response of such structures origin ...

Optical Society of America2011

Order Types of Convex Bodies

We prove a Hadwiger transversal-type result, characterizing convex position on a family of non-crossing convex bodies in the plane. This theorem suggests a definition for the order type of a family of convex bodies, generalizing the usual definition of ord ...

2011

Escola a Manresa / School in Manresa

Sergi Aguacil Moreno

The project is developed around a central courtyard in response to the site where it is located, while taking advantage of the existing slope to resolve the position of the singular buildings in relation to the system of grouping classrooms; the direct con ...

2010

Squatting the Sea

Harry Gugger

Chapter in the exhibition catalogue outlining the instigation and concept for the creation of the exhibition at the Biennale. The text focuses on the relation of urban development in Bahrain with the traditional and cultural connection to water and the sea ...

Kingdom of Bahrain2010

Influence of the meso-structure in dynamic fracture simulation of concrete under tensile loading

Jean-François Molinari, Leonardo Snozzi

We investigate the dynamic behavior of concrete in relation to its composition within a computational framework (FEM). Concrete is modeled using a meso-mechanical approach in which aggregates and mortar are represented explicitly. Both continuum phases are ...

2010

On Decision Procedures for Ordered Collections

Viktor Kuncak, Philippe Paul Henri Suter, Ruzica Piskac

We describe a decision procedure for a logic that supports 1) finite collections of elements (sets or multisets), 2) the cardinality operator, 3) a total order relation on elements, and 4) min and max operators on entire collections. Among the applications ...

2010

Groebner Basis Methods for Multichannel Sampling with Unknown Offsets

Martin Vetterli, Luciano Sbaiz, Patrick Vandewalle

In multichannel sampling, several sets of sub-Nyquist sampled signal values are acquired. The offsets between the sets are unknown, and have to be resolved, just like the parameters of the signal itself. This problem is nonlinear in the offsets, but linear ...

Elsevier2008

A Notion of Glue Expressiveness for Component-Based Systems

Joseph Sifakis, Simon Bliudze

Comparison between different formalisms and models is often by flattening structure and reducing them to behaviourally equivalent models e.g. automaton and Turing machine. This leads to a notion of expressiveness which is not adequate for component-based s ...

Springer2008