Concept

Sacrifice

Publications associées (17)

Explicit Stabilized Multirate Method For Stiff Differential Equations

Stabilized Runge???Kutta methods are especially efficient for the numerical solution of large systems of stiff nonlinear differential equations because they are fully explicit. For semi-discrete parabolic problems, for instance, stabilized Runge???Kutta me ...

AMER MATHEMATICAL SOC2022

Towards a Worldwide Ritual, Clapping for Carers During COVID-19

Alexandre André Robert Rigal

Sociologists have long been interested in the theoretical possibility of a universal ritual. Despite a growing number of indicators of world society and globalization, there haven’t been attempts to observe and analyze the international reach of particular ...

2021

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

USENIX Association2020

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

USENIX ASSOC2020

MATHICSE technical Report : Stabilized explicit multirate methods for stiff differential equations

Assyr Abdulle, Giacomo Rosilho De Souza

Stabilized Runge–Kutta (aka Chebyshev) methods are especially efficient for the numerical solution of large systems of stiff differential equations because they are fully explicit; hence, they are inherently parallel and easily accommodate nonlinearity. Fo ...

MATHICSE2020

Detection of mRNA by Whole Mount in situ Hybridization and DNA Extraction for Genotyping of Zebrafish Embryos

Andrew Charles Oates, Rachna Narayanan

In situ hybridization is used to visualize the spatial distribution of gene transcripts in tissues and in embryos, providing important information about disease and development. Current methods involve the use of complementary riboprobes incorporating non- ...

BIO-PROTOCOL2019

Protostructure, archéologie et hypothèse d'une architecture-support

Agathe Claire Estelle Mignon

« How do we pile up dwellings without sacrificing their independence ? » Nicolas John Habraken asks the question in those terms in the book he first published in Dutch in 1961 then in English in 1972, Supports: An Alternative to Mass Housing, as an introd ...

EPFL2019

Spatial dispersion of photovoltaic panels in Switzerland and effect on electricity production

Sonia Joëlle Dupuis

This semester project looked at the effect of snow cover on productivity of solar panels in alpine areas. Snow is highly reflective and increases the irradiance that reaches PV panels from the ground, notably in winter when demand is high and production is ...

2017

Optical properties of rabbit brain in the red and near-infrared: changes observed under in vivo, postmortem, frozen, and formalin-fixated conditions

Georges Wagnières, Matthieu Philippe Emmanuel Zellweger, Blaise Lovisa, Andreas Pitzschke

The outcome of light-based therapeutic approaches depends on light propagation in biological tissues, which is governed by their optical properties. The objective of this study was to quantify optical properties of brain tissue in vivo and postmortem and a ...

Spie-Soc Photo-Optical Instrumentation Engineers2015

Hygiene for Scala

Denys Shabalin

The main contribution of this work is a formal model of hygienic name resolution and macro system that is flexible enough to provide missing safety to quasiquotes. This makes it possible to combine the best of two worlds: we get reasonable safety guarantee ...

2014

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search