Publications related to Relational operator

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

Automated Verification of Network Function Binaries

George Candea, Solal Vincenzo Pirelli, Aikaterini Argyraki

Formally verifying the correctness of software network functions (NFs) is necessary for network reliability, yet existing techniques require full source code and mandate the use of specific data structures. We describe an automated technique to verify NF b ...

USENIX Association2022

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

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

Low-rank tensor methods for large Markov chains and forward feature selection methods

Francisco Santos Paredes Quartin de Macedo

In the first part of this thesis, we present and compare several approaches for the determination of the steady-state of large-scale Markov chains with an underlying low-rank tensor structure. Such structure is, in our context of interest, associated with ...

EPFL2018

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

Adaptive Query Processing on Raw Data Files

Ioannis Alagiannis

Nowadays, business and scientific applications accumulate data at an increasing pace. This growth of information has already started to outgrow the capabilities of database management systems (DBMS). In a typical DBMS usage scenario, the user should define ...

EPFL2015

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

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

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

Trace Identities For Commutators, With Applications To The Distribution Of Eigenvalues

Joachim Stubbe

We prove trace identities for commutators of operators, which are used to derive sum rules and sharp universal bounds for the eigenvalues of periodic Schrodinger operators and Schrodinger operators on immersed manifolds. In particular, we prove bounds on t ...

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

Functional optical coherent imaging platform for medical application e.g. neurosurgery, has active camera unit that captures image of specific region of test subject after transmitting stimulus signals

Theo Lasser, Dimitri Nestor Alice Van De Ville, Marcel Leutenegger, Martin Villiger, Iwan Märki, Erica Martin-Williams, Michael Friedrich

The present invention relates to a functional optical coherent imaging (fOCI) platform comprising at least one active camera unit (ACU) comprising a coherent and/or a partially coherent light source, and means for spectral filtering and imaging a selected ...

2010

Conceptual Synopses of Semantics in Social Networks Sharing Structured Data

We are interested in the problem of data sharing in overlay networks that have a social structure, i.e. participants are linked and exchange data with others w.r.t. the similarity of their data semantics. In this paper we propose a methodology to produce c ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2008

Dataflow/Actor-Oriented language for the design of complex signal processing systems

Marco Mattavelli, Christophe Lucarz, Ghislain Roquier

Signal processing algorithms become more and more complex and the algorithm architecture adaptation and design processes cannot any longer rely only on the intuition of the designers to build efficient systems. Specific tools and methods are needed to cope ...

2008

A profiling framework for high level design space exploration for memory and system architectures

In 1971, the first microprocessor produced in mass production had 2300 transistor and was able to compute 60'000 operations per second at 740 kHz. Nowadays, even a common gaming console uses a central unit including 243 millions of transistors running at 4 ...

EPFL2007

Implementation of a Modeling Tool Using Alloy as Meta-Modeling Language and CrocoPat as Validation Tool

Alain Wegmann, Lam Son Lê, Dirk Thilo Beyer, Lotfi Hussami

The context of our work is a project that focuses on methods and tools for modeling enterprise architectures. An enterprise architecture model represents the structure of an enterprise across multiple levels, from the markets in which it operates down to t ...

2006

Queryll: Java Database Queries through Bytecode Rewriting

Willy Zwaenepoel, Christopher Ming-Yee Iu

When interfacing Java with other systems such as databases, programmers must often program in special interface languages like SQL. Code written in these languages often needs to be embedded in strings where they cannot be error-checked at compile-time, or ...

2006

Assessing the Crash-Failure Assumption of Group Communication Protocols

André Schiper, Sergio Mena

Designing and correctly implementing Group Communication Systems (GCSs) is notoriously difficult. Assuming that processes fail only by crashing provides a powerful means to simplify the theoretical development of these systems. When making this assumption, ...

2005