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