Publication

Simulation-based evaluation of non-visual responses to daylight: proof-of-concept study of healthcare re-design

Publications associées (21)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus

Motivated by the transfer of proofs between proof systems, and in particular from first order automated theorem provers (ATPs) to interactive theorem provers (ITPs), we specify an extension of the TPTP derivation text format to describe proofs in first-ord ...

2024

Teacher-Mediated and Student-Led Interaction with a Physics Simulation: Effects on the Learning Experience

Denis Gillet, Juan Carlos Farah

Computer simulations are often used as support material for science education, as they can engage students through inquiry-based learning, promote their active interaction in the experimentation phase, and help them visualize abstract concepts. For instanc ...

2024

An aircraft assembly process formalism and verification method based on semantic modeling and MBSE

Dimitrios Kyritsis, Jinzhi Lu, Xiaochen Zheng

The aircraft assembly system is highly complex involving different stakeholders from multiple domains. The design of such a system requires comprehensive consideration of various industrial scenarios aiming to optimize key performance indicators. Tradition ...

Elsevier Sci Ltd2024

Neuroprotection in the Retina: From Preventing Inflammatory Cell Death to Promoting Vascular Stability in the Central Nervous System

Bokyoung Kim

Glaucoma is one of the leading causes of irreversible blindness worldwide. Glaucoma is defined clinically as the presence of optic nerve head (ONH) degeneration and progressive loss of retinal ganglion cells (RGCs). Intra-ocular pressure (IOP) has been con ...

EPFL2024

Orthologic with Axioms

Viktor Kuncak, Simon Guilloud

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

Variability is the rule: Neurophysiology and contextual visual processing in schizophrenia

Dario Alejandro Gordillo Lopez

Traditionally, studies in schizophrenia research employ a single experimental paradigm. The results typically demonstrate a significant difference between patients and controls. Subsequent studies aim to describe the underlying abnormal mechanism at the ge ...

EPFL2024

Discomfort glare from daylight: Influence of transmitted color and the eye's macular pigment

Sneha Jain

Designing architectural façades that allow sufficient daylight to create visually comfortable and pleasant environments is a challenging aspect of building design. It requires accounting for visual comfort and discomfort glare risks and understanding the f ...

EPFL2023

Traversing Time Dependent Light Fields for Daylight Glare Evaluation

Stephen William Wasilewski

To understand how daylight gives shape and life to architectural spaces, whether existing or imagined, requires quantifying its dynamism and energy. Maintaining these details presents a challenge to simulation and analysis methods that flatten data into di ...

EPFL2023

Saliency prediction in 360° architectural scenes: Performance and impact of daylight variations

Marilyne Andersen, Sabine Süsstrunk, Caroline Karmann, Kynthia Chamilothori, Seungryong Kim, Bahar Aydemir

Saliency models are image-based prediction models that estimate human visual attention. Such models, when applied to architectural spaces, could pave the way for design decisions where visual attention is taken into account. In this study, we tested the pe ...

2023

Uncovering personalized glucose responses and circadian rhythms from multiple wearable biosensors with Bayesian dynamical modeling

Felix Naef, Nicholas Edward Phillips

Wearable biosensors and smartphone applications can measure physiological variables over multiple days in free-living conditions. We measure food and drink ingestion, glucose dynamics, physical activity, heart rate (HR), and heart rate variability (HRV) in ...

CELL PRESS2023