Concept

Common Lisp

Publications associées (117)

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

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

Martin Schrimpf, Matthias Bethge

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 ...

Cambridge2023

, ,

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

New York2023

Macro Annotations for Scala 3

Zhendong Ang

Macro annotations are an important feature in Scala 2 macro system. Many projects use macro annotations to implement their systems or libraries. Due to the unportability of Scala 2 macro system, Scala 3 redesigns the macro system to make it more reliable a ...

2022

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

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

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 ...

BMC2021

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

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

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

Andrea Cavalli, Alessio Mylonas, 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

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