Local pi-Calculus at Work: Mobile Objects as Mobile Processes (Full version)
Graph Chatbot
Chat with Graph Search
Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.
DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.
We prove that every elementary (infinity, 1)-topos has a natural number object. We achieve this by defining the loop space of the circle and showing that we can construct a natural number object out of it. Part of the proof involves showing that various de ...
Recent successes in the reuse and rehabilitation of 20th century architecture have shown that design begins with the study of history. Study of the material history of built structures, together with historical and critical investigation, supported by diag ...
Recent successes in the reuse and rehabilitation of 20th century architecture have shown that design begins with the study of history. Study of the material history of built structures, together with historical and critical investigation, supported by diag ...
Information about a moving object is usually poor at each retinotopic location because photoreceptor activation is short, noisy, and affected by shadows, reflections of other objects, and so on. Integration across the motion trajectory may yield a much bet ...
This article proposes a reflection on the company towns’ actual conditions, presenting as a case study an up-to-date and articulated reconstruction of the conditions of habitability in Dalmine, Italy. The research strives on the phenomenon of company towns ...
We present a method that estimates in real-time and under challenging conditions the 3D pose of a known object. Our method relies only on grayscale images since depth cameras fail on metallic objects; it can handle poorly textured objects, and cluttered, c ...
Motion detector comprising a flexible support (1,5) adapted to hold at least one object (6-9), a sensor (4) for measuring the displacement of said support (1) and processing means for differentiating the fluctuations of said support (1) from those induced ...
"L’avènement du Monde" by Michel Lussault offers a substantial and innovative spatial theory of an object, the World. Space is addressed both as a technical system and a society, and each of these approaches generates an overall, panoramic view. In additio ...
This article discusses the history of Skanderbeg Square and the renovation projects made in the city of Tirana by foreign architects. Written in Albanian, it offers a critical reading of the effects of these projects in the declared scope of the government ...
Object-level impedance control is of great importance for object-centric tasks, such as robust grasping and dexterous manipulation. Despite the recent progress on this topic, how to specify the desired object impedance for a given task remains an open issu ...
