Publications associées à Produit vide

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

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

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, Mohammad Noureddine

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

Mohammad Emtiyaz Khan, Young Jun Ko

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

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

Hervé Bourlard, Volkan Cevher, 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

Jongho Shin

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