Concept

Théorie vérificationniste de la signification

Publications associées (13)

SIMPLE HIERARCHICAL PLANNING WITH DIFFUSION

Diffusion-based generative methods have proven effective in modeling trajectories with offline datasets. However, they often face computational challenges and can falter in generalization, especially in capturing temporal abstractions for long- horizon tas ...

2024

Simulated Learners in Educational Technology: A Systematic Literature Review and a Turing-like Test

Simulation is a powerful approach that plays a significant role in science and technology. Computational models that simulate learner interactions and data hold great promise for educational technology as well. Amongst others, simulated learners can be use ...

SPRINGER2023

Turning negative into positives! Exploiting 'negative' results in Brain-Machine Interface (BMI) research

Ricardo Andres Chavarriaga Lozano, Camille Marie Jeunet

Results that do not confirm expectations are generally referred to as 'negative' results. While essential for scientific progress, they are too rarely reported in the literature - Brain-Machine Interface (BMI) research is no exception. This led us to organ ...

TAYLOR & FRANCIS LTD2020

The politics of participation in transdisciplinary sustainability research: an analysis of knowledge, values and power at the science-society interface

Livia Bianca Fritz

Problem. In the field of sustainability, scholars and policy-makers herald the transformative power of participation in transdisciplinary (TD) research. The increasing use of TD in science policy is rooted in the expectation that involving practitioners in ...

EPFL2020

Social Innovation and Resilience: exploring the dynamics and impacts on the digital transformation of governance & society

Gianluigi Viscusi, Gianluca Carlo Misuraca

This paper is set out to establish the foundations for developing a framework to assess the potential impact of social policy innovation to contribute to the debate on the future of welfare systems. This calls in fact for monitoring the evolution of social ...

Association for Computing Machinery (ACM)2018

Clever Arbiters Versus Malicious Adversaries

Serge Vaudenay

When moving from known-input security to chosen-input security, some generic attacks sometimes become possible and must be discarded by a specific set of rules in the threat model. Similarly, common practices consist of fixing security systems, once an exp ...

Springer Berlin Heidelberg2016

From cineradiography to biorobots: an approach for designing robots to emulate and study animal locomotion

Auke Ijspeert, Kamilo Andres Melo Becerra, Tomislav Horvat, Robin Thandiackal, Konstantinos Karakasiliotis, Navid Khajeh Mahabadi, Stanislav Yuri Tsitkov

Robots are increasingly used as scientific tools to investigate animal locomotion. However, designing a robot that properly emulates the kinematic and dynamic properties of an animal is difficult because of the complexity of musculoskeletal systems and the ...

Royal Soc2016

System Design Automation: Challenges and Limitations

Joseph Sifakis

Electronic design automation (EDA) has enabled the integrated circuit industry to sustain exponentially increasing product complexity growth until today, while maintaining consistent product development timeline and costs. We argue that the success of EDA- ...

Ieee-Inst Electrical Electronics Engineers Inc2015

Constrained Reachability and Trajectory Generation for Flat Systems

Timm Faulwasser

We consider the problem of trajectory generation for constrained differentially flat systems. Based on the topological properties of the set of admissible steady state values of a flat output we derive conditions which allow for an a priori verification of ...

Pergamon-Elsevier Science Ltd2014

Probabilistic structure of the distance between tributaries of given size in river networks

Andrea Rinaldo, Amos Maritan

We analyze the distribution of the distances between tributaries of a given size (or of sizes larger than a given area) draining along either an open boundary or the mainstream of a river network. By proposing a description of the distance separating presc ...

2007

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