Publications associées à Dynamic Link Library

Dynamic Linkers Are the Narrow Waist of Operating Systems

Adrien Ghosn, Charly Nicolas Lucien Castes

While software applications, programming languages, and hardware have changed, operating systems have not. Widely-used commodity operating systems are still modeled after the ones designed in the seventies. The accumulated burden of backward compatibility ...

Association for Computing Machinery2023

PlaceNet: A multi-scale semantic-aware model for visual loop closure detection

Hussein Fadl Hassan Hassan Osman

Loop closure detection helps simultaneous localization and mapping systems reduce map and state uncertainty via recognizing previously visited places along the path of a mobile robot. However, visual loop closure detection is susceptible to scenes with dyn ...

PERGAMON-ELSEVIER SCIENCE LTD2022

HP - A code for the calculation of Hubbard parameters using density-functional perturbation theory

Nicola Marzari, Iurii Timrov, Matteo Cococcioni

We introduce HP, an implementation of density-functional perturbation theory, designed to compute Hubbard parameters (on-site U and inter-site V ) in the framework of DFT+U and DFT+U+V. The code does not require the use of computationally expensive superce ...

ELSEVIER2022

Bioluminescent compositions and uses thereof

Elena Goun, Pavlo Khodakivskyi, Hacer Karatas, Aleksey Yevtodiyenko

Compositions and methods for non-invasively monitoring the intracellular processing of a biomolecule are provided. The compositions have a novel thio-luciferin moiety which can be conjugated to the biomolecule directly or via a linker such as disulfide bon ...

2021

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

HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation

Mathias Josef Payer

Given the increasing ubiquity of online embedded devices, analyzing their firmware is important to security, privacy, and safety. The tight coupling between hardware and firmware and the diversity found in embedded systems makes it hard to perform dynamic ...

USENIX ASSOC2020

Swirl number based transposition of flow-induced mechanical stresses from reduced scale to full-size Francis turbine runners

François Avellan, Christian Landry, Arthur Tristan Favrel, Keita Yamamoto, Joao Gomes Pereira Junior

At part load conditions, Francis turbines are subject to the emergence of a hydrodynamic instability in their draft tube, referred to as precessing vortex rope. It induces pressure pulsations in the water passages at the precession frequency of the vortex, ...

2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer, Duo Xu

Analyzing the security of closed source binaries is currently impractical for end-users, or even developers who rely on third-party libraries. Such analysis relies on automatic vulnerability discovery techniques, most notably fuzzing with sanitizers enable ...

IEEE COMPUTER SOC2020

Generation of a Large Peptide Phage Display Library by Self-Ligation of Whole-Plasmid PCR Product

Christian Heinis, Xudong Kong, Vanessa Carle, Cristina Diaz Perlas, Kaycie Marie Butler

The success of phage display, used for developing target-specific binders based on peptides and proteins, depends on the size and diversity of the library screened, but generating large libraries of phage-encoded polypeptides remains challenging. New pepti ...

2020

Self-Organized Laboratories for Smart Campus

Denis Gillet, Christophe Salzmann

A smart campus provides students who are geographically scattered with online tools to get access to learning resources and laboratories. Although these remote laboratories have the potential and capabilities to implement different learning experiments, mo ...

IEEE COMPUTER SOC2020

Adaptive numerical method algorithms for nonlinear viscous and bilinear oil damper models subjected to dynamic loading

Dimitrios Lignos

Adaptive numerical method algorithms are presented for the numerical simulation of the hysteretic behaviour of nonlinear viscous and bilinear oil dampers within a finite element program for nonlinear dynamic analysis of frame structures under earthquake ex ...

2018

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-Robot Coordination in Dynamic Environments Shared with Humans

Alcherio Martinoli, Zeynab Talebpour

This work addresses multi-robot coordination in social human-populated environments based on a Hoplites-based framework for solving the multi-robot task allocation problem. Humans are considered in the proposed coordination mechanism by means of accounting ...

2018

A Two Phase Heuristic Approach For The Dynamic Electric Autonomous Dial-a-Ride Problem

Nikolaos Geroliminis, Claudia Bongiovanni, Mor Kaspi

In the Dial-a-Ride-Problem (DARP) a fleet of vehicles provide shared-ride services to users specifying their origin, destination, and preferred arrival time. In the dynamic version of the DARP, some trips are booked in advance while others come in real-tim ...

2018

Evaluation of force-based and displacement-based out-of-plane seismic assessment methods for unreinforced masonry walls through refined model simulations

Katrin Beyer, Michele Godio

The performance of force-based and displacement-based seismic assessment methods for the life-safety limit state check of out-of-plane loaded unreinforced masonry walls is evaluated on the basis of refined numerical simulations. For this purpose, a discret ...

2018

Particle-Based Numerical Manifold Method to Model Dynamic Fracture Process in Rock Blasting

Jian Zhao, Qianbing Zhang, Xing Li

A particle-based numerical manifold method (PNMM) is developed to investigate rock fracturing behavior under dynamic loading. The basic idea of PNMM is to represent the microstructure of rock with a group of particles and to simulate the macroscopic behavi ...

Asce-Amer Soc Civil Engineers2017

Influence of the Linker Length on the Cytotoxicity of Homobinuclear Ruthenium(II) and Gold(I) Complexes

Paul Joseph Dyson, Rosario Scopelliti, Emilia Paunescu, Mylène Soudani, Lucinda Kate Batchelor

Dinudear metal complexes have emerged as a promising class of anticancer compounds with the ability to cross-link biomolecular targets. Here, we describe two novel series of phosphine-linked dinudear ruthenium(II) p-cyrnene and gold(I) complexes, in which ...

2017

Uniting Language Embeddings for Fast and Friendly DSLs

Vojin Jovanovic

The holy grail for a domain-specific language (DSL) is to be friendly and fast. A DSL should be friendly in the sense that it is easy to use by DSL end-users, and easy to develop by DSL authors. DSLs can be developed as entirely new compilers and ecosystem ...

EPFL2016

The role of energy dissipation of polymeric scaffolds in the mechanobiological modulation of chondrogenic expression

Dominique Pioletti, Philippe Abdel Sayed, Ulrike Kettenberger, Salim Elias Darwiche

Mechanical stimulation has been proposed to induce chondrogenesis in cell-seeded scaffold. However, the effects of mechanical stimuli on engineered cartilage may vary substantially between different scaffolds. This advocates for the need to identify an ove ...

2014

Distributed digital real-time control system for TCV tokamak

Olivier Sauter, Basil Duval, Stefano Coda, Jean-Marc Moret, Federico Alberto Alfredo Felici, Damien Fasel, Philippe Marmillod, James Paley, Hoang Bao Le

A new digital feedback control system (named the SCD "Systeme de Controle Distribue") has been developed, integrated and used successfully to control TCV (Tokamak a Configuration Variable) plasmas. The system is designed to be modular, distributed, and sca ...

Elsevier Science Sa2014