Publications related to British Library

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

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

Genetic Algorithms for the Discovery of Homogeneous Catalysts

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

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

PMT: Power Measurement Toolkit

Emma Elizabeth Tolley, Stefano Corda

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

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

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

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

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

Jean-François Molinari, Guillaume Anciaux, Son-Jonathan Pham-Ba, Lucas Henri Galilée Frérot, 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, Davide Forti, Luca Formaggia

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

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

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

Auke Ijspeert, Arash Arami, Florin Dzeladini, Etienne Burdet, 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

Étude d'un manuscrit de Ludwig Schläfli - Euklid. 2 Hefte

Rachel Bendjama Faller

The great Swiss mathematician Ludwig Schläfli (1814-1895) left after his death more than three hundred and fifty notebooks. They include mathematical studies and new results, as well as works about classical mathematical texts and a priori more surprising ...

EPFL2011

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

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

AVC Entropy Coding for MPEG Reconfigurable Video Coding

Ihab Mostafa Amin Mohamed Amer, Hussein Aman-Allah

The emergence of the Reconfigurable Video Coding (RVC) Standard has led to the development of its accompanying decoding Video Tool Library (VTL). This library is comprised of a set of video coding tool also referred to as Functional Units (FUs) that are co ...

2009

MPEG RVC Compliant Intra Prediction for AVC

Ihab Mostafa Amin Mohamed Amer, Karim Maarouf

Reconfigurable Video Coding (RVC) aims to provide a framework allowing a dynamic development, implementation and adoption of standardized video coding solutions with features of higher flexibility and re-usability. RVC-CAL is a dataflow oriented language w ...

2009

Screening of a Human Antibody Phage Display Library Against a Peptide Antigen Using Stimuli-Responsive Bioconjugates

Caroline Vandevyver, Dorothée Dumoulin

A synthetic antibody phage library, (ETH-2) was screened against the MUC-1 peptide. Two standard methods were used, namely screening on immunotubes coated with the peptide antigen and on streptavidin-coated paramagnetic particles together with a biotinylat ...

2008

MHAPTIC : a Haptic Manipulation Library for Generic Virtual Environments

Daniel Thalmann, Frédéric Vexo, Renaud Ott, Vincent de Perrot

This paper presents a new library called MHaptic for bimanual haptic interaction within generic virtual environments. It has been specifically designed to work with a Haptic Workstation. MHaptic provides tools for accelerated development of virtual environ ...

2007