Measuring the Dynamics of Contrast & Daylight Variability in Architecture: A Proof of Concept Methodology

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

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 ...

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 ...

We prove the non-planarity of a family of 3-regular graphs constructed from the solutions to the Markoff equation x2 + y2 + z2 = xyz modulo prime numbers greater than 7. The proof uses Euler characteristic and an enumeration of the short cycles in these gr ...

In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...

Photometric stereo, a computer vision technique for estimating the 3D shape of objects through images captured under varying illumination conditions, has been a topic of research for nearly four decades. In its general formulation, photometric stereo is an ...

In the last few years, stroke ranked as the second most common cause of death and is the third most significant condition affecting disability-adjusted life years (DALYs) worldwide. Being the most prevalent and quality of life impacting post-stroke symptom ...

Electrical stimulation of the visual nervous system could improve the quality of life of patients affected by acquired blindness by restoring some visual sensations, but requires careful optimization of stimulation parameters to produce useful perceptions. ...

In an era where portable electronic devices are indispensable for a wide range of activities, the need for displays that provide both long-lasting battery life and excellent visibility in different lighting conditions is increasingly important. Emissive di ...

Neurodegenerative and neuroinflammatory disorders often involve complex pathophysiological mechanisms that are â to this date â only partially understood. A more comprehensive understanding of those microstructural processes and their characterization ...

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 ...

We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof checker for first-order logic with equality and schematic predicate and fun ...

A hash proof system (HPS) is a form of implicit proof of membership to a language. Out of the very few existing post-quantum HPS, most are based on languages of ciphertexts of code-based or lattice-based cryptosystems and inherently suffer from a gap cause ...

Security system designers favor worst-case security metrics, such as those derived from differential privacy (DP), due to the strong guarantees they provide. On the downside, these guarantees result in a high penalty on the system's performance. In this pa ...

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 ...

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 ...

Test time augmentation has been shown to be an effective approach to combat domain shifts in deep learning. Despite their promising performance levels, the interpretability of the underlying used models is however low. Saliency maps have been widely used i ...

BackgroundIt is generally accepted that most evolutionary transformations at the phenotype level are associated either with rearrangements of genomic regulatory elements, which control the activity of gene networks, or with changes in the amino acid conten ...

This data set provides a computer-assisted proof for the kernel inequalities needed to prove universal optimality in the paper "Universal optimality of the E_8 and Leech lattices and interpolation formulas" (by Cohn, Kumar, Miller, Radchenko, and Viazovska ...

In the framework of Impagliazzo's five worlds, a distinction is often made between two worlds, one where public-key encryption exists (Cryptomania), and one in which only one-way functions exist (MiniCrypt). However, the boundaries between these worlds can ...

Purpose: The purpose of this study was to describe, validate, and compare the contrast sensitivity functions (CSFs) acquired with the novel quick CSF (qCSF) method from patients with early and intermediate age-related macular degeneration (eAMD and iAMD) a ...

Measuring the Dynamics of Contrast & Daylight Variability in Architecture: A Proof of Concept Methodology

Chat with Graph Search

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

Orthologic with Axioms

Non-planarity of Markoff graphs mod p

Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks

Aggregating Spatial and Photometric Context for Photometric Stereo

Probing and modulating inter-areal coupling in the cortical visual motion processing pathway with non-invasive brain stimulation

Decoding electroencephalographic responses to visual stimuli compatible with electrical stimulation

MEMS-based Tunable Metasurface for Reflective Display Applications

Development and clinical validation of computational imaging biomarkers for neurodegenerative diseases

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

LISA – A Modern Proof System

A Gapless Post-quantum Hash Proof System in the Hamming Metric

Bayes Security: A Not So Average Metric

Traversing Time Dependent Light Fields for Daylight Glare Evaluation

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

SAGTTA: SALIENCY GUIDED TEST TIME AUGMENTATION FOR MEDICAL IMAGE SEGMENTATION ACROSS VENDOR DOMAIN SHIFT

Wide-scale identification of novel/eliminated genes responsible for evolutionary transformations

Computer-assisted proof of kernel inequalities

Public-Key Encryption with Quantum Keys

Evaluating contrast sensitivity in early and intermediate age-related Macular Degeneration with the Quick Contrast Sensitivity Function