Publications associées à Raison

Orthologic with Axioms

We study the proof theory and algorithms for orthologic, a logical system based on ortholattices, which have shown practical relevance in simplification and normalization of verification conditions. Ortholattices weaken Boolean algebras while having polyno ...

Association for Computing Machinery2024

Bone conduction facilitates self-other voice discrimination

Olaf Blanke, Nathan Quentin Faivre, Oliver Alan Kannape, Pavo Orepic

One's own voice is one of the most important and most frequently heard voices. Although it is the sound we associate most with ourselves, it is perceived as strange when played back in a recording. One of the main reasons is the lack of bone conduction tha ...

2023

Climatic Affinities or Type As A Structure Of Relations, Based On Typological Transfer In The Work Of Lacaton & Vassal And Other Similar Precedents

Tiago André Pratas Borges

It is a generally accepted idea that typology is an essential element in the disciplinary dimension of architecture. The concept of typology, in its most common definition, is sufficiently malleable to cover a wide range of uses, but it is also this vaguen ...

2023

Climatic Affinities or Type As A Structure Of Relations Based On Typological Transfer In The Work Of Lacaton & Vassal And Other Similar Precedents

Tiago André Pratas Borges

It is a generally accepted idea that typology is an essential element in the disciplinary dimension of architecture. The concept of typology, in its most common definition, is sufficiently malleable to cover a wide range of uses, but it is also this vaguen ...

2023

Are engineering teachers ready to leverage the power of play to teach transversal skills?

Roland John Tormey, Siara Ruth Isaac, Jessica Elke Dehler Zufferey, Yousef Jalali, Natascia Petringa

What conceptions do teachers hold about learning activities to develop students’ transversal skills? This qualitative exploration at a research-intensive engineering school draws on interviews and focus groups to explore teachers’ ideas about developing in ...

2023

The rationales that underlie modal practices

Vincent Kaufmann

Encouraging a modal shift from individual transportation to less polluting modes such as public transport, walking and cycling, is now a key recommendation of the UN to reach the goals set by the Paris Agreement. Achieving this ambitious goal requires a de ...

2022

First-person experience cannot rescue causal structure theories from the unfolding argument

Michael Herzog, Adrien Christophe Doerig, Aaron Schurger

We recently put forward an argument, the Unfolding Argument (UA), that integrated information theory (IIT) and other causal structure theories are either already falsified or unfalsifiable, which provoked significant criticism. It seems that we and the cri ...

Elsevier2022

Real-time model calibration with deep reinforcement learning

Olga Fink

The real-time, and accurate inference of model parameters is of great importance in many scientific and engineering disciplines that use computational models (such as a digital twin) for the analysis and prediction of complex physical processes. However, f ...

2022

Textual Explanations and Critiques in Recommendation Systems

Diego Matteo Antognini

Artificial intelligence and machine learning algorithms have become ubiquitous. Although they offer a wide range of benefits, their adoption in decision-critical fields is limited by their lack of interpretability, particularly with textual data. Moreover, ...

EPFL2022

Design and performance of a small bath cryostat with NMR capability for transport of hyperpolarized samples

Andrea Capozzi

As of today, dissolution Dynamic Nuclear Polarization (dDNP) is the only clinically available hyperpolarization technique for C-13-MRI. Despite the clear path towards personalized medicine that dDNP is paving as an alternative and/or complement to Positron ...

Nature Portfolio2022

Conversational Multi-Hop Reasoning with Neural Commonsense Knowledge and Symbolic Logic Rules

Antoine Bosselut, Forough Arabshahi

One of the challenges faced by conversational agents is their inability to identify unstated presumptions of their users' commands, a task trivial for humans due to their common sense. In this paper, we propose a zeroshot commonsense reasoning system for c ...

ASSOC COMPUTATIONAL LINGUISTICS-ACL2021

‘Ecological concerns weren’t the main reason why I took the bus, that association only came afterwards’: on shifts in meanings of everyday mobility

Livia Bianca Fritz, Franziska Meinherz

Reducing the modal share of car travel in commuting implies challenging meanings of everyday mobility that tie commuting to driving. Existing research has focussed on describing ways in which everyday mobility is meaningful. However, why shifts in meanings ...

2021

Self-interacting neutrinos: Solution to Hubble tension versus experimental constraints

Emmanuel Stamou

Exotic self-interactions among the Standard Model neutrinos have been proposed as a potential reason behind the tension in the expansion rate, H-0, of the universe inferred from different observations. We constrain this proposal using electroweak precision ...

American Physical Society2021

OASE 108. Ups & Downs. Reception Histories in Architecture

Christophe van Gerrewey

What is good, less good, or bad architecture? This issue of OASE examines how shifting appreciations, for very diverse reasons, can function as a productive misunderstanding, and as a lever to advance architectural criticism and pry thinking about architec ...

nai0102021

Learning Analytics for Adaptive and Self-Improving Learning Environments for Inductive Teaching

Louis Pierre Faucon

The emergence of digital technology is changing education in many ways. A particularly interesting aspect of this transformation is the development of learning environments that can automatically adapt to individual students and can collect data in order t ...

EPFL2021

Investigation of electrical stimulation of the optic nerve for artificial vision

Vivien Gaillet

Thanks to recent technological advances in microelectronics and bioengineering, it is now possible to restore lost or impaired sensory modalities by interfering the nervous system with elec-tronic devices and artificially reproducing the electrical encodin ...

EPFL2021

Towards a pragmatist dealing with algorithmic bias in medical machine learning

Machine Learning (ML) is on the rise in medicine, promising improved diagnostic, therapeutic and prognostic clinical tools. While these technological innovations are bound to transform health care, they also bring new ethical concerns to the forefront. One ...

2021

An Ink–and–Paper Automaton: The Conceptual Mechanization of Cognition and the Practical Automation of Reasoning in Leibniz’s De Affectibus (1679)

Simon François Dumas Primbault

On ten loose handwritten folios dating back from April 1679, Leibniz gradually devised, in the course of three days, a full-blown theory of thought that nonetheless remained unpublished and still has received little attention from scholars. Conceiving of a ...

2020

Benjamin's Flu

Christophe van Gerrewey

Walter Benjamin suffered from the Spanish Flu, but he never wrote about this global pandemic. There are three possible reasons for this oblivion, and several consequences for architecture's relationship with the current virus dominating our thoughts and ac ...

2020

Stoic: Towards Disciplined Capabilities

Martin Odersky, Nada Amin, Fengyun Liu, Sandro Stucki, Paolo Giosuè Giarrusso

Capabilities are widely used in the design of software systems to ensure security. A system of capabilities can become a mess in the presence of objects and functions: objects may leak capabilities and functions may capture capabilities. They make reasonin ...

2020