Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Common Lisp

Related publications (22)

Graph generative deep learning models with an application to circuit topologies

Igor Krawczuk

Modern integrated circuits are tiny yet incredibly complex technological artifacts, composed of millions and billions of individual structures working in unison. Managing their complexity and facilitating their design drove part of the co-evolution of mode ...

EPFL2024

Between the Pattern and the Type: A short parallel story

Vasileios Chanis

Historically speaking, the notion of the type was reintroduced to the larger architectural discourse as a direct consequence of the crisis of the Modern. The task of revisiting the forms of the past also dictated the return of architectural methods that ha ...

2023

Let's move forward: Image-computable models and a common model evaluation scheme are prerequisites for a scientific understanding of human vision

Matthias Bethge, Martin Schrimpf

In the target article, Bowers et al. dispute deep artificial neural network (ANN) models as the currently leading models of human vision without producing alternatives. They eschew the use of public benchmarking platforms to compare vision models with the ...

Cambridge Univ Press2023

Capturing Types

Martin Odersky, Aleksander Slawomir Boruch-Gruszecki

Type systems usually characterize the shape of values but not their free variables. However, many desirable safety properties could be guaranteed if one knew the free variables captured by values. We describe CC

Assoc Computing Machinery2023

Impact of substrate clogging on vertical connectivity

Giovanni De Cesare, Robin Schroff, Romain Maxime Dubuis

Connectivity between the hyporheic zone and the flow is essential for the development of benthos and the reproductive success of spawning fish. The infiltration of fine sediment leads to clogging of the riverbed, reducing porosity and vertical water exchan ...

2023

Scaling Language Features for Program Verification

Georg Stefan Schmid

Formal verification of real-world software systems remains challenging for a number of reasons, including lack of automation, friction in specifying properties, and limited support for the diverse programming paradigms used in industry. In this thesis we m ...

EPFL2022

Review of control strategies for lower-limb exoskeletons to assist gait

Auke Ijspeert, Mohamed Bouri, Romain Pierre François Baud, Ali Reza Manzoori

Background Many lower-limb exoskeletons have been developed to assist gait, exhibiting a large range of control methods. The goal of this paper is to review and classify these control strategies, that determine how these devices interact with the user. Met ...

BioMed Central2021

Seed Selection for Successful Fuzzing

Mathias Josef Payer

Mutation-based greybox fuzzing-unquestionably the most widely-used fuzzing technique-relies on a set of non-crashing seed inputs (a corpus) to bootstrap the bug-finding process. When evaluating a fuzzer, common approaches for constructing this corpus inclu ...

ASSOC COMPUTING MACHINERY2021

Minimal mass design of active tensegrity structures

Yafeng Wang

Tensegrity structures have been widely utilized as lightweight structures due to their high stiffness-to-mass and strength-to-mass ratios. Minimal mass design of tensegrity structures subject to external loads and specific constraints (e.g., member yieldin ...

ELSEVIER SCI LTD2021

A Catalyst Framework for Minimax Optimization

Negar Kiyavash

We introduce a generic two-loop scheme for smooth minimax optimization with strongly-convex-concave objectives. Our approach applies the accelerated proximal point framework (or Catalyst) to the associated dual problem and takes full advantage of existing ...

NEURAL INFORMATION PROCESSING SYSTEMS (NIPS)2020

RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization

Mathias Josef Payer

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

Andrea Cavalli, Alessio Mylonas

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, Davide Pavanello, Mohammad Azadifar

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

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

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

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