Publications associées à Raisonnable

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

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

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

Methods for determination of degree of reaction of slag in blended cement pastes

Karen Scrivener, Emmanuel Gallucci, Vanessa Kocaba

To measure the degree of reaction of slag in blended pastes, five methods were studied. Selective dissolution and differential scanning calorimetry are shown to be unreliable, SEM-BSE-IA-mapping is time consuming, but does provide good results with a reaso ...

Pergamon-Elsevier Science Ltd2012

Efficiency of random search procedures along the silicon cluster series Sin (n=5-10, 15 and 20)

Anne-Clémence Corminboeuf, Fabrice Avaltroni

The efficiency of the simplest isomeric search procedure consisting in random generation of sets of atomic coordinates followed by density functional theory geometry optimization is tested on the silicon cluster series (Si-5-10,Si-15,Si-20). Criteria such ...

Wiley-Blackwell2011

Synchrotron microangiography studies of angiogenesis in mice with microemulsions and gold nanoparticles

Giorgio Margaritondo, Chao Wang

We present an effective solution for the problem of contrast enhancement in phase-contrast microangiography, with the specific objective of visualising small (< 8 A mu m) vessels in tumor-related microangiogenesis. Different hydrophilic and hydrophobic con ...

Springer Verlag2010