Common Lisp

Applied sciences
Génie informatique
Programmation informatique
Programmation fonctionnelle

Science formelle
Informatique théorique
Théorie des langages de pro...
Langage de programmation de...

Publications associées (22)

Page 2 sur 3

À propos
Confidentialité
Mentions légales

Graph Chatbot

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

Expert recommendation from the Swiss Amyloidosis Network (SAN) for systemic AL-amyloidosis

Alessio Mylonas, Andrea Cavalli, Martin Meyer

Systemic amyloidosis is a heterogeneous group of diseases associated with protein misfolding into insoluble beta-sheet rich structures that deposit extracellularly in different organs, eventually compromising their function. There are more than 30 differen ...

E M H SWISS MEDICAL PUBLISHERS LTD2020

A Study of a Large Bipolar Lightning Event Observed at the Säntis Tower

Farhad Rachidi-Haeri, Marcos Rubinstein, Mohammad Azadifar, Wolfgang Schulz, Davide Pavanello

An unusual negative lightning flash was recorded at the Säntis Tower on June 15, 2012. The flash did not contain an initial continuous current typical of upward negative lightning, which is the most common type of event at the Säntis Tower. The flash conta ...

2019

Software training for the next generation of physicists: joint experience of LHCb and ALICE

Violaine Bellée

The need for good software training is essential in the HEP community. Unfortunately, current training is non -homogeneous and the definition of a common baseline is unclear, making it difficult for newcomers to proficiently join large collaborations such ...

E D P SCIENCES2019

A Novel Approach to Modeling Enterprise Services Leveraging Object Cloning and Multilevel Classification

Alain Wegmann, Lam Son Lê

Object-oriented modeling is concerned with capturing common properties of objects. The dominant thinking in this realm is to classify objects that share certain properties into what is called a class, which in turn enables us to instantiate additional obje ...

IEEE2019

Graph Reduction with Spectral and Cut Guarantees

Andreas Loukas

Can one reduce the size of a graph without significantly altering its basic properties? The graph reduction problem is hereby approached from the perspective of restricted spectral approximation, a modification of the spectral similarity measure used for g ...

Microtome Publishing2019

Spatial: A Language and Compiler for Application Accelerators

Christos Kozyrakis, Yunqi Zhang

Industry is increasingly turning to reconfigurable architectures like FPGAs and CGRAs for improved performance and energy efficiency. Unfortunately, adoption of these architectures has been limited by their programming models. HDLs lack abstractions for pr ...

ASSOC COMPUTING MACHINERY2018

A template for constructing Bayesian networks in forensic biology cases when considering activity level propositions

Christophe Champod, Alex Biedermann

The hierarchy of propositions has been accepted amongst the forensic science community for some time. It is also accepted that the higher up the hierarchy the propositions are, against which the scientist are competent to evaluate their results, the more d ...

2018

A method for building a structure containing living cells

Matthias Lütolf, Andrea Negro

A composition comprising a first material and a second material, wherein said first material is cross-linkable by a first cross- linking reaction and said second material is cross-linkable by a second cross-linking reaction, wherein said first cross-linkin ...

2016

Analysis and Synthesis of Structured Variations in 3D Geometries

Ngoc Minh Dang

In recent years, the use of 3D digital content becomes widespread in various industrial and scientific domains. However, content creation still remains a costly task as extensive manual work is often required. As such, one of the core research topics in co ...

EPFL2016

Page 2 sur 3