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

Concept

Produit vide

Publications associées (7)

Evolution of reservoir flushing and emptying practices in a cascade of large reservoirs across several decades

Giovanni De Cesare, Pedro Filipe De Almeida Manso, Sebastián Guillén Ludeña, Samuel Luke Vorlet

Reservoir sedimentation is, at present, one of the main concerns in the operational management of dams in the Alps. For larger seasonal storage reservoirs, the main operational concern is the blockage of bottom outlets and turbine abrasion. In case of infr ...

2018

Reduction and Abstraction Techniques for BIP

Simon Bliudze

Reduction and abstraction techniques have been proposed to address the state space explosion problem in verification. In this paper, we present reduction and abstraction techniques for component-based systems modeled in BIP (Behavior, Interaction and Prior ...

Springer2014

Method, apparatus and computer program product for locating a source of diffusion in a network

Martin Vetterli, Patrick Thiran

The present invention discloses a method, apparatus and computer program product for locating a source of diffusion in a network, the method comprising providing a model of at least a portion of the network, the network comprising a plurality of nodes, a p ...

2014

Variational Gaussian Inference for Bilinear Models of Count Data

Young Jun Ko, Mohammad Emtiyaz Khan

Bilinear models of count data with Poisson distribution are popular in applications such as matrix factorization for recommendation systems, modeling of receptive fields of sensory neurons, and modeling of neural-spike trains. Bayesian inference in such mo ...

2014

Learning with tensors: a framework based on convex optimization and spectral regularization

Quoc Tran Dinh

We present a framework based on convex optimization and spectral regularization to perform learning when feature observations are multidimensional arrays (tensors). We give a mathematical characterization of spectral penalties for tensors and analyze a uni ...

Springer2014

Method, apparatus and computer program product for determining the location of a plurality of speech sources

Volkan Cevher, Hervé Bourlard, Afsaneh Asaei

The present invention discloses a method, apparatus and computer program product for determining the location of a plurality of speech sources in an area of interest, comprising performing an algorithm on a signal issued by either one of said plurality of ...

2012

Decision support methods for closed-loop conceptual design

The dissertation deals with closed-loop product lifecycle management (PLM) approaches for the product conceptual design improvement using gathered data during the usage period of a product. In closed-loop PLM, the data generated in each lifecycle phase can ...

EPFL2009