Passer au contenu principal

Recherche

Afficher tous les résultats pour

Accueil

Concept

Concurrent versions system

Applied sciences
Génie informatique
Développement de logiciel
Gestion de versions

À propos
Confidentialité
Mentions légales

Copyright © 2026 EPFL, tous droits réservés

Graph Chatbot

Publications associées (23)

TEEzz: Fuzzing Trusted Applications on COTS Android Devices

Mathias Josef Payer, Marcel Busch

Security and privacy-sensitive smartphone applications use trusted execution environments (TEEs) to protect sensitive operations from malicious code. By design, TEEs have privileged access to the entire system but expose little to no insight into their inn ...

IEEE COMPUTER SOC2023

Ludwig van Beethoven - Piano Sonatas (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Frédéric Chopin - Mazurkas (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Claude Debussy - Suite Bergamasque (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Antonín Dvořák (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Franz Liszt - Années de Pèlerinage (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Edvard Grieg - Lyric Pieces (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Robert Schumann - Kinderszenen (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Nikolai Medtner - Tales (A corpus of annotated scores)

Martin Alois Rohrmeier, Markus Franz Josef Neuwirth, Johannes Hentschel

This corpus of annotated MuseScore files has been created within the DCML corpus initiative and employs the DCML harmony annotation standard. It is one out of nine similar corpora that have been grouped together to An Annotated Corpus of Tonal Piano Music ...

Zenodo2022

Predictive brain: Addressing the level of representation by reviewing perceptual hysteresis

In recent years, the idea that the prediction of sensory input is one of the major computational goals of the nervous system led to the development of several large-scale theories of brain functioning, such as different versions of the Bayesian approach to ...

ELSEVIER MASSON, CORP OFF2021

On the asymptotic behavior of the solutions to parabolic variational inequalities

We consider various versions of the obstacle and thin-obstacle problems, we interpret them as variational inequalities, with non-smooth constraint, and prove that they satisfy a new constrained Lojasiewicz inequality. The difficulty lies in the fact that, ...

2020

Machine learning models of the energy curvature vs particle number for optimal tuning of long-range corrected functionals

Anne-Clémence Corminboeuf, Alberto Fabrizio, Benjamin André René Meyer

The average energy curvature as a function of the particle number is a molecule-specific quantity, which measures the deviation of a given functional from the exact conditions of density functional theory. Related to the lack of derivative discontinuity in ...

AMER INST PHYSICS2020

When illusions merge

Michael Herzog, Aline Françoise Cretenoud, Gregory Francis

We recently found only weak correlations between the susceptibility to various visual illusions. However, we observed strong correlations among different variants of an illusion, suggesting that the visual space of illusions includes several illusion-speci ...

2020

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

Inflationary perturbations with Lifshitz scaling

Sergey Sibiryakov

Instead of Lorentz invariance, gravitational degrees of freedom may obey Lifshitz scaling at high energies, as it happens in Horava's proposal for quantum gravity. We study consequences of this proposal for the spectra of primordial perturbations generated ...

IOP PUBLISHING LTD2019

AC OPF in radial distribution networks – Part II: An augmented Lagrangian-based OPF algorithm, distributable via primal decomposition

Jean-Yves Le Boudec, Mario Paolone, Dan-Cristian Tomozei, Konstantina Christakou

In the first part of this two-part paper we show that the branch-flow convexification of the OPF problem is not exact and that the ADMM-based decomposition of the OPF fails to converge in specific scenarios. Therefore, there is a need to develop algorithms ...

Elsevier2017

Polarizable embedding with a multiconfiguration short-range density functional theory linear response method

We present here the coupling of a polarizable embedding (PE) model to the recently developed multiconfiguration short-range density functional theory method (MC-srDFT), which can treat multiconfigurational systems with a simultaneous account for dynamical ...

Amer Inst Physics2015

The xi-stability on the affine grassmannian

We introduce a notion of xi-stability on the affine grassmannian (SIC) for the classical groups, this is the local version of the xi-stability on the moduli space of Higgs bundles on a curve introduced by Chaudouard and Laumon. We prove that the quotient ( ...

Springer Heidelberg2015

Distributed Particle Swarm Optimization - Particle Allocation and Neighborhood Topologies for the Learning of Cooperative Robotic Behaviors

Alcherio Martinoli, Inaki Navarro Oiza, Ezequiel Leonardo Di Mario

In this article we address the automatic synthesis of controllers for the coordinated movement of multiple mobile robots, as a canonical example of cooperative robotic behavior. We use five distributed noise-resistant variations of Particle Swarm Optimizat ...

2015

Sound reasoning about integral data types with a reusable SMT solver interface

Viktor Kuncak, Régis William Blanc

We extend the Leon verification system for Scala with support for bit-vector reasoning, thus addressing one of its fundamental soundness limitation with respect to the treatment of integers primitives. We leverage significant progresses recently achieved i ...

ACM Press2015

Page 1 sur 2