Concept

Raisonnement déductif

Publications associées (109)

Towards Institutions for Mixed Human-Robot Societies

Alcherio Martinoli, Stevan Tomic

We report an exploration into normative reasoning for robots in human societies using the concept of institutions. ...

2018

Towards Institutions for Mixed Human-Robot Societies

Alcherio Martinoli, Stevan Tomic

We report an exploration into normative reasoning for robots in human societies using the concept of institutions. ...

ASSOC COMPUTING MACHINERY2018

Placement of Virtual Containers on NUMA systems: A Practical and Comprehensive Model

Baptiste Joseph Eustache Lepers

Our work addresses the problem of placement of threads, or virtual cores, onto physical cores in a multicore NUMA system. Different placements result in varying degrees of contention for shared resources, so choosing the right placement can have a large ef ...

2018

Placement of Virtual Containers on NUMA systems: A Practical and Comprehensive Model

Baptiste Joseph Eustache Lepers

USENIX ASSOC2018

Miniphases: Compilation using Modular and Efficient Tree Transformations

Martin Odersky, Dmytro Petrashko, Ondrej Lhoták

Production compilers commonly perform dozens of transformations on an intermediate representation. Running those transformations in separate passes harms performance. One approach to recover performance is to combine transformations by hand in order to red ...

Assoc Computing Machinery2017

From Nano- to Micrometer Scale: The Role of Antisolvent Treatment on High Performance Perovskite Solar Cells

Mohammad Khaja Nazeeruddin, Yi Zhang, Francesco Stellacci, Pascal Alexander Schouwink, Peng Gao, Sanghyun Paek, Giulia Grancini, Kyung Taek Cho, Evangelia-Nefeli Athanasopoulou

To date, antisolvent treatment has become one of the most important means to fabricate high efficiency perovskite solar cells (PSCs); however, the few reported antisolvents have not been analyzed on a uniform platform, and there is hitherto no clear reason ...

American Chemical Society2017

Reflection: A Socratic approach

Reflection is a fuzzy concept. In this article we reveal the paradoxes involved in studying the nature of reflection. Whereas some scholars emphasize its discursive nature, we go further and underline its resemblance to the self-biased dialogue Socrates ha ...

Sage Publications Ltd2017

Decentralized Clustering and Linking by Networked Agents

Ali H. Sayed, Ali Zoubir

We consider the problem of decentralized clustering and estimation over multitask networks, where agents infer and track different models of interest. The agents do not know beforehand which model is generating their own data. They also do not know which a ...

IEEE2017

Query Rewriting in RDF Stream Processing

Jean Paul Calbimonte Perez

Querying and reasoning over RDF streams are two increasingly relevant areas in the broader scope of processing structured data on the Web. While RDF Stream Processing (RSP) has focused so far on extending SPARQL for continuous query and event processing, s ...

Springer2016

Requirements for building an ontology for autonomous robots

Kamilo Andres Melo Becerra, Howard Li

Purpose - IEEE Ontologies for Robotics and Automation Working Group were divided into subgroups that were in charge of studying industrial robotics, service robotics and autonomous robotics. This paper aims to present the work in-progress developed by the ...

Emerald Group Publishing Ltd2016

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