Publications associées à Opérateur (informatique)

Federated learning with uncertainty-based client clustering for fleet-wide fault diagnosis

Operators from various industries have been pushing the adoption of wireless sensing nodes for industrial monitoring, and such efforts have produced sizeable condition monitoring datasets that can be used to build diagnosis algorithms capable of warning ma ...

2024

Proving and Disproving Equivalence of Functional Programming Assignments

Viktor Kuncak, Dragana Milovancevic

We present an automated approach to verify the correctness of programming assignments, such as the ones that arise in a functional programming course. Our approach takes as input student submissions and reference solutions, and uses equivalence checking to ...

2023

Momentum space CFT correlators for Hamiltonian truncation

Matthew Thomas Walters

We consider Lorentzian CFT Wightman functions in momentum space. In particular, we derive a set of reference formulas for computing two- and three-point functions, restricting our attention to three-point functions where the middle operator (corresponding ...

Springer Nature2020

Healthy Operator 4.0: A Human Cyber-Physical System Architecture for Smart Workplaces

Xiaochen Zheng

Recent advances in technology have empowered the widespread application of cyber-physical systems in manufacturing and fostered the Industry 4.0 paradigm. In the factories of the future, it is possible that all items, including operators, will be equipped ...

2020

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

Majority Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Eleonora Testa, Odysseas Zografos

The majority function (xyz) evaluates to true, if at least two of its Boolean inputs evaluate to true. The majority function has frequently been studied as a central primitive in logic synthesis applications for many decades. Knuth refers to the majority f ...

ASSOC COMPUTING MACHINERY2018

Interactive Programming by Example

Mikaël Mayer

As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of computer science, and so on. With its forecast potential for solving problems by only o ...

EPFL2017

Decrypting Local Type Inference

Hubert Plociniczak

Statically typed languages verify programs at compile-time. As a result many programming mistakes are detected at an early stage of development. A programmer does not have to specify types for every single term manually, however. Many programming languages ...

EPFL2016

Towards Predicting Success in MOOCs: Programming Assignments

Pierre Dillenbourg, Patrick Jermann, Kshitij Sharma, Lukasz Kidzinski

Students of programming languages in massive on-line open courses (MOOCs) solve programming assignments in order to internalize the concepts. Programming assignments also constitute the assessment procedure for such courses. Depending on their motivation a ...

Books on Demand GmbH, Norderstedt2016

Just-In-Time Data Virtualization: Lightweight Data Management with ViDa

Anastasia Ailamaki, Thomas Heinis, Miguel Sérgio De Oliveira Branco, Manolis Karpathiotakis, Ioannis Alagiannis

As the size of data and its heterogeneity increase, traditional database system architecture becomes an obstacle to data analysis. Integrating and ingesting (loading) data into databases is quickly becoming a bottleneck in face of massive data as well as i ...

2015

Automating Ad hoc Data Representation Transformations

Martin Odersky, Vlad Ureche

To maximize run-time performance, programmers often specialize their code by hand, replacing library collections and containers by custom objects in which data is restructured for efficient access. However, changing the data representation is a tedious and ...

Assoc Computing Machinery2015

Towards the ultimate SM fit to close in on Higgs physics

Francesco Riva

With the discovery of the Higgs at the LHC, experiments have finally addressed all aspects of the Standard Model (SM). At this stage, it is important to understand which windows for beyond the SM (BSM) physics are still open, and which are instead tightly ...

Springer Nature2014

On the eigenvalue decay of solutions to operator Lyapunov equations

Daniel Kressner

This paper is concerned with the eigenvalue decay of the solution to operator Lyapunov equations with right-hand sides of finite rank. We show that the kth (generalized) eigenvalue decays exponentially in root k, provided that the involved operator A gener ...

Elsevier Science Bv2014

Generalized programmable counter arrays

Philip Brisk, Alessandro Cevrero, Hadi Parandeh Afshar

A Generalized Programmable Counter Array (GPCA) is a reconfigurable multi-operand adder, which can be reprogrammed to sum a plurality of operands of arbitrary size. The GPCA is configured to compress the input words down to two operands using parallel coun ...

2014

Initial or final values for semiclassical evolutions in the Weyl–Wigner representation

David Eduardo Zambrano Ramirez

Initial value representations are constructed to avoid the search for trajectories that are only defined in semiclassical approximations by their boundary conditions. We show how to incorporate these procedures within the full Weyl representation, so that ...

2013

Operator-Like Wavelet Bases of $ L _{ 2 } $ $ (\mathbb{R} ^{ d } $ )

Michaël Unser, Ildar Khalidov, John Paul Ward

The connection between derivative operators and wavelets is well known. Here we generalize the concept by constructing multiresolution approximations and wavelet basis functions that act like Fourier multiplier operators. This construction follows from a s ...

Springer US2013

Not all parents are equal for MO-CMA-ES

Ilya Loshchilov

The Steady State variants of the Multi-Objective Covariance Matrix Adaptation Evolution Strategy (SS-MO-CMA-ES) generate one offspring from a uniformly selected parent. Some other parental selection operators for SS-MO-CMA-ES are investigated in this paper ...

2011

Fractional Brownian Vector Fields

Michaël Unser, Pouya Dehghani Tafti

This work puts forward an extended definition of vector fractional Brownian motion (fBm) using a distribution theoretic formulation in the spirit of Gel′fand and Vilenkin's stochastic analysis. We introduce random vector fields that share the statistical i ...

SIAM2010

Universal Bounds And Semiclassical Estimates For Eigenvalues Of Abstract Schrodinger Operators

Joachim Stubbe

We prove trace inequalities for a self-adjoint operator on an abstract Hilbert space, which extend those known previously for Laplacians and Schrodinger operators, freeing them from restrictive assumptions on the nature of the spectrum and allowing operato ...

2010

Modélisation géométrique itérative sous contraintes

Gilles Gouaty

Iterative models are widely used today in CAD. They allow, with a limited number of parameters, to represent relatively complex forms through a subdivision algorithm. There is a wide variety of such models (Catmull-Clark, Doo-Sabin, L-Systems...). Most ite ...

EPFL2010