Concept

Bodleian Library

Related publications (21)

Genetic Algorithms for the Discovery of Homogeneous Catalysts

Anne-Clémence Corminboeuf, Rubén Laplaza Solanas, Simone Gallarati, Puck Elisabeth van Gerwen, Alexandre Alain Schöpfer

In this account, we discuss the use of genetic algorithms in the inverse design process of homogeneous catalysts for chemical transformations. We describe the main components of evolutionary experiments, specifically the nature of the fitness function to o ...

2023

Technology Mapping Using Multi-output Library Cells

Giovanni De Micheli, Alessandro Tempia Calvino

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...

2023

Design of an artificial phage-display library based on a new scaffold improved for average stability of the randomized proteins

Ghérici Hassaïne

Scaffold-based protein libraries are designed to be both diverse and rich in functional/folded proteins. However, introducing an extended diversity while preserving stability of the initial scaffold remains a challenge. Here we developed an original approa ...

Nature Portfolio2023

PMT: Power Measurement Toolkit

Emma Elizabeth Tolley

Efficient use of energy is essential for today's supercomputing systems, as energy cost is generally a major component of their operational cost. Research into "green computing" is needed to reduce the environmental impact of running these systems. As such ...

IEEE COMPUTER SOC2022

Generating macrocyclic inhibitors of protein-protein interactions

Gontran Sangouard

Protein-protein interactions (PPIs) play important roles in many diseases and their modulation is an attractive strategy for developing new therapeutics. However, the relatively large and often flat binding surfaces of PPIs makes the development of inhibit ...

EPFL2022

De novo developed small cyclic peptides that are orally available

Manuel Leonardo Merz

Cyclic peptides are ring-shaped molecules that emerged as a promising class of therapeutics. While it is often difficult to find small molecule binders for challenging disease targets, cyclic peptides can bind to featureless surfaces or inhibit protein-pro ...

EPFL2022

Methods for the generation of large combinatorial macrocycle libraries

Sevan Mleh Habeshian

Macrocycles are an attractive class of molecules due to their good binding properties and yet rather small size that allows, in many cases, crossing membranes to reach intracellular targets. In comparison to classical small molecule drugs, macrocycles are ...

EPFL2021

Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code

Mathias Josef Payer

Android apps include third-party native libraries to increase performance and to reuse functionality. Native code is directly executed from apps through the Java Native Interface or the Android Native Development Kit. Android developers add precompiled nat ...

IEEE COMPUTER SOC2021

Spatiotemporal patterns of urbanization during the last four decades in Switzerland and their impacts on urban heat islands

Martí Bosch Padrós

Urbanization is nowadays a global phenomenon which is increasingly concentrating the world's population in cities. In Switzerland, recent decades have seen an unprecedented loss of arable land due to urbanization, which has triggered amendments in the spat ...

EPFL2021

Tamaas: a library for elastic-plastic contact of periodic rough surfaces

Jean-François Molinari, Guillaume Anciaux, Lucas Henri Galilée Frérot, Son-Jonathan Pham-Ba, Valentine Ginette Madeleine Rey

Tamaas: a library for elastic-plastic contact of periodic rough surfaces", published in the Journal of Open Source Softwares describes the free and open-source library Tamaas. More than five years in the making, Tamaas is a high performance C++/Python libr ...

2020

The LifeV library: engineering mathematics beyond the proof of concept

Simone Deparis, Luca Formaggia, Davide Forti

LifeV is a library for the finite element (FE) solution of partial differential equations in one, two, and three dimensions. It is written in C++ and designed to run on diverse parallel architectures, including cloud and high performance computing faciliti ...

2018

Comparing human and machine performances in transcribing 18th century handwritten Venetian script

Frédéric Kaplan, Sofia Ares Oliveira

Automatic transcription of handwritten texts has made important progress in the recent years. This increase in performance, essentially due to new architectures combining convolutional neural networks with recurrent neutral networks, opens new avenues for ...

2018

Multi-Library Coded Caching

Michael Christoph Gastpar, Saeid Sahraei

We study the problem of coded caching when the server has access to several libraries and each user makes independent requests from every library. The single-library scenario has been well studied and it has been proved that coded caching can significantly ...

2016

ProteusTM: Abstraction Meets Performance in Transactional Memory

Rachid Guerraoui, Anne-Marie Kermarrec, Diego Didona

The Transactional Memory (TM) paradigm promises to greatly simplify the development of concurrent applications. This led, over the years, to the creation of a plethora of TM implementations delivering wide ranges of performance across workloads. Yet, no un ...

Assoc Computing Machinery2016

ProteusTM: Abstraction Meets Performance in Transactional Memory

Rachid Guerraoui, Anne-Marie Kermarrec, Paolo Romano, Diego Didona

2016

Effects of a neuromuscular controller on a powered ankle exoskeleton during human walking

Auke Ijspeert, Arash Arami, Florin Dzeladini, Amy Roning Wu, Daniel Renjewski

Wearable devices to assist abnormal gaits require controllers that interact with the user in an intuitive and unobtrusive manner. To design such a controller, we investigated a bio-inspired walking controller for orthoses and prostheses. We present (i) a S ...

Ieee2016

Example-based Support Vector Machine for Drug Concentration Analysis

Giovanni De Micheli, Wenqi You Dubout

Machine learning has been largely applied to ana- lyze data in various domains, but it is still new to personalized medicine, especially dose individualization. In this paper, we focus on the prediction of drug concentrations using Support Vector Machines ...

Ieee Service Center, 445 Hoes Lane, Po Box 1331, Piscataway, Nj 08855-1331 Usa2011

Trustworthy Numerical Computation in Scala

Viktor Kuncak, Eva Darulova

Modern computing has adopted the floating point type as a default way to describe computations with real numbers. Thanks to dedicated hardware support, such computations are efficient on modern architectures. However, rigorous reasoning about the resulting ...

2011

Fluid-Structure Interaction Problems in Hemodynamics : Parallel Solvers, Preconditioners, and Applications

Paolo Crosetto

In this work we aim at the description, study and numerical investigation of the fluid-structure interaction (FSI) problem applied to hemodynamics. The FSI model considered consists of the Navier-Stokes equations on moving domains modeling blood as a visco ...

EPFL2011

Sensing with Dynamic Combinatorial Libraries of Metal-Dye Complexes: The Advantage of Time-Resolved Measurements

Kay Severin, Friederike Gundula Marie Zaubitzer

A dynamic combinatorial library of metal–dye complexes was obtained by reacting aqueous solutions of the dyes Methyl Calcein Blue, Arsenazo I, and Xylenol Orange with CuCl2 and NiCl2. The mixture gave a characteristic UV-Vis response upon addition of the p ...

2009