Concept

Bibliothèque logicielle

Publications associées (51)

Company towns: un'introduzione. Il caso Dalmine come palinsesto delle politiche industriali

The company town is not a static historical object. It has undergone many transformations over the last three centuries. The presentation focused on the start and development of company towns, with fundamental concepts and typologies, and the case study of ...

2023

Solid-phase peptide synthesis on disulfide-linker resin followed by reductive release affords pure thiol-functionalized peptides

Christian Heinis, Peter Matei Frisius Pânzar, Alexander Lund Nielsen, Manuel Leonardo Merz, Ganesh Kumar Mothukuri, Zsolt Bognár

Thiol groups are suitable handles for site-selectively modifying, immobilizing or cyclizing individual peptides or entire peptide libraries. A limiting step in producing the thiol-functionalized peptides is the chromatographic purification, which is partic ...

ROYAL SOC CHEMISTRY2022

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

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

Bridging the Gap between Semantics and Multimedia Processing

Roberto Gerson De Albuquerque Azevedo

In this paper, we overview the semantic gap problem in multimedia and discuss how machine learning and symbolic AI can be combined to narrow this gap. We describe the semantic gap in terms of a classical architecture for multimedia processing and discuss a ...

IEEE2019

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

A Practical Unification of Multi-stage Programming and Macros

Martin Odersky, Nicolas Alexander Stucki

Program generation is indispensable. We propose a novel unification of two existing metaprogramming techniques: multi-stage programming and hygienic generative macros. The former supports runtime code generation and execution in a type-safe manner while th ...

2018

Auto-Collections for Scala

Dmytro Petrashko, Allan Vincent Roger Renucci

Modern programming languages such as Scala, Java and C# make extensive use of collections. A collection implementation represents a fixed choice in the dimensions of operation time and space utilization. Using the collection in a manner not consistent with ...

2016

Obey: Code Health for Scala.Meta

Adrien Ghosn, Eugene Burmako

Obey is a user-friendly tool that helps programmers enforce code health requirements in their projects. Requirements are expressed as rules, written with the TQL library combinators used to traverse scala.meta trees, that generate compiler warnings and can ...

2015

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