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

Concept

Langage dédié

Publications associées (31)

Design Ontology Supporting Model-Based Systems Engineering Formalisms

Dimitrios Kyritsis, Jinzhi Lu

Model-based systems engineering (MBSE) provides an important capability for managing the complexities of system development. MBSE empowers the formalism of system architectures for supporting model-based requirement elicitation, specification, design, deve ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

De la décoration par les ombres Traduction de méthodes picturales dans l'architecture française des XVIIIème et XIXème siècles

Laura Patricia Joannie Trazic

In the Vitruvian tradition, ornaments are classified into two categories: those that belong to the orders, and the others. If the former' s relief is merely indicated by Vitruvio and Alberti, the latter is simply ignored, thus opening the way to licentia. ...

EPFL2021

A non-twisting flux tube for local gyrokinetic simulations

Stephan Brunner, Justin Richard Ball

Local gyrokinetic simulations use a field-aligned domain that twists due to the magnetic shear of the background magnetic equilibrium. However, if the magnetic shear is strong and/or the domain is long, the twist can become so extreme that it fails to prop ...

2021

SciClops: Detecting and Contextualizing Scientific Claims for Assisting Manual Fact-Checking

Karl Aberer, Panagiotis Smeros

This paper describes SciClops, a method to help combat online scientific misinformation. Although automated fact-checking methods have gained significant attention recently, they require pre-existing ground-truth evidence, which, in the scientific context, ...

ACM2021

Enclosure: Language-Based Restriction of Untrusted Libraries

Mathias Josef Payer, James Richard Larus, Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn

Programming languages and systems have failed to address the security implications of the increasingly frequent use of public libraries to construct modern software. Most languages provide tools and online repositories to publish, import, and use libraries ...

ACM2021

Recommending Burgers based on Pizza Preferences: Addressing Data Sparsity with a Product of Experts

Diego Matteo Antognini, Claudiu-Cristian Musat, Martin Milenkoski

In this paper, we describe a method to tackle data sparsity and create recommendations in domains with limited knowledge about user preferences. We expand the variational autoencoder collaborative filtering from a single-domain to a multi-domain setting. T ...

2021

Design of a compliant load cell with adjustable stiffness

Charles Baur, Lennart Rubbert, Michal Stanislaw Smreczak

Manipulation at the sub-micron scale often requires force-sensing capabilities of milli-to nanonewton forces. This article presents a novel design of a compliant load cell with mechanically adjustable stiffness. The system enables adapting force sensitivit ...

2021

An Optimizing Multi-platform Source-to-source Compiler Framework for the NEURON MODeling Language

Felix Schürmann, James Gonzalo King, Pramod Shivaji Kumbhar, Omar Awile, Jorge Blanco Alonso

Domain-specific languages (DSLs) play an increasingly important role in the generation of high performing software. They allow the user to exploit domain knowledge for the generation of more efficient code on target architectures. Here, we describe a new c ...

Springer2020

Type-Safe Metaprogramming and Compilation Techniques For Designing Efficient Systems in High-Level Languages

Lionel Emile Vincent Parreaux

Software engineering practices have been steadily moving towards higher-level programming languages and away from lower-level ones. High-level languages tend to greatly improve safety, productivity, and code maintainability because they handle various impl ...

EPFL2020

EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation

Blagovesta Hristova Kostova

Fully-Homomorphic Encryption (FHE) offers powerful capabilities by enabling secure offloading of both storage and computation, and recent innovations in schemes and implementations have made it all the more attractive. At the same time, FHE is notoriously ...

ASSOC COMPUTING MACHINERY2020

Cyclometalated Ir(III) complexes as tuneable multiband light sources for optical multisensor systems: Feasibility study

Anastasia Gitlina

Development of novel analytical devices complying with modern requirements of simplicity and cost-effectiveness is an important task. Multisensor systems based on various types of chemical sensors are promising tools in this respect. Herein the development ...

2020