Concept

Reasonable person

Related publications (15)

Automated Formal Verification of Software Network Functions

Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...

EPFL2024

Estimating flexibility preferences to resolve temporal scheduling conflicts in activity-based modelling

Michel Bierlaire, Timothy Michael Hillel, Janody Pougala

This paper presents a novel activity-based demand model that combines an optimisation framework for continuous temporal scheduling decisions (i.e. activity timings and durations) with traditional discrete choice models for non-temporal choice dimensions (i ...

SPRINGER2022

GHz spectroscopy on a rare-earth quantum magnet

Lev Bergsma

In this report, spectroscopy was used to track the energy of different states in a LiHoF4 sample around its critical temperature. The experimental setup consist of a Cooper cavity with the sample, an antenna and a resonator inside. This cavity is attached ...

2022

Development of a novel two-phase flow solver for nuclear reactor analysis: algorithms, verification and implementation in OpenFOAM

Andreas Pautz, Carlo Fiorina, Stefan Radman

A porous medium-based representation of nuclear reactors and complex engineering systems more in general can significantly reduce simulation and modelling costs, while preserving a reasonable degree of accuracy via regime map-based correlations for modelli ...

2021

Reviewing Challenges of Predicting Protein Melting Temperature Change Upon Mutation Through the Full Analysis of a Highly Detailed Dataset with High-Resolution Structures

Luciano Andres Abriata

Predicting the effects of mutations on protein stability is a key problem in fundamental and applied biology, still unsolved even for the relatively simple case of small, soluble, globular, monomeric, two-state-folder proteins. Many articles discuss the li ...

2021

Standing Height as a Prevention Measure for Overuse Injuries of the Back in Alpine Ski Racing: A Kinematic and Kinetic Study of Giant Slalom

Kamiar Aminian, Benedikt Fasel

Background: In alpine ski racing, typical loading patterns of the back include a combined occurrence of spinal bending, torsion, and high peak loads. These factors are known to be associated with high spinal disc loading and have been suggested to be attri ...

2018

New Class of Half-Sandwich Ruthenium(II) Arene Complexes Bearing the Water-Soluble CAP Ligand as an in Vitro Anticancer Agent

Paul Joseph Dyson, Tina Riedel

Ruthenium(II) arene complexes of 1,4,7-triaza-9-phosphatricyclo[5.3.2.1]tridecane (CAP) were obtained. Cytotoxicity studies against cancer cell lines reveal higher activity than the corresponding PTA analogues and, in comparison to the effects on noncancer ...

American Chemical Society2017

Course setting as a prevention measure for overuse injuries of the back in alpine ski racing

Kamiar Aminian, Benedikt Fasel

Background: A combination of frontal bending, lateral bending, and torsion in the loaded trunk has been suggested to be a mechanism leading to overuse injuries of the back in Alpine ski racing. However, there is limited knowledge about the effect of course ...

2016

Grassmannian Regularized Structured Multi-View Embedding for Image Classification

Xinchao Wang

Images are usually represented by features from multiple views, e.g., color and texture. In image classification, the goal is to fuse all the multi-view features in a reasonable manner and achieve satisfactory classification performance. However, the featu ...

Institute of Electrical and Electronics Engineers2013

Design and scaling of monocentric multiscale imagers

Monocentric multi-scale (MMS) lenses are a new approach to high-resolution wide-angle imaging, where a monocentric objective lens is shared by an array of identical rotationally-symmetric secondary imagers which each acquire one overlapping segment of a mo ...

Optical Society of America2012

Graph Chatbot

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.