نتایج جستجو برای: synthesis parameter

تعداد نتایج: 620706  

2016
Tim Quatmann Christian Dehnert Nils Jansen Sebastian Junges Joost-Pieter Katoen

We propose a simple technique for verifying probabilistic models whose transition probabilities are parametric. The key is to replace parametric transitions by nondeterministic choices of extremal values. Analysing the resulting parameter-free model using off-the-shelf means yields (refinable) lower and upper bounds on probabilities of regions in the parameter space. The technique outperforms t...

2006
Andras Balogh Ligang Wu Zidong Wang Huijun Gao Changhong Wang

Answer: The purpose of introducing a constant matrix X in Theorem 2 is to make a decoupling between the matrix function P (ri,j) and the system dynamic matrices in Theorem 1. This decoupling technique enables us to obtain a more easily tractable condition for the filter synthesis. Therefore, the matrix X cannot be selected to be parameter-dependent. It seems that some conservatism will be intro...

2001
Tue Haste Andersen Kristoffer Jensen

This article presents a number of preliminary psycho-acoustic experiments for assessing the importance of phase preservation in monaural recorded sounds from music instruments and singing voice. The experiments are based on additive analysis/synthesis to control the phase as a parameter independent of amplitude and frequency. The experiments shows that phase is an important perceptual parameter...

Journal: :Comput. J. 2002
N. Parimala

Database queries within a component framework usually take the form of a string passed to an operation in a component’s interface. The interface operation accepts a value of type string as an actual parameter and implements the necessary support to resolve the query. In such an approach, a component’s interface does not explicitly state the queries supported by that component. In this paper, we...

Journal: :SIAM Journal of Applied Mathematics 2011
Julien Olivier Michael Renardy

Soft glassy materials exhibit the so-called glassy transition which means that the behavior of the model at low shear rate changes when a certain parameter (which we call the glass parameter) crosses a critical value. This behavior goes from a Newtonian behavior to a HerschelBulkley behavior through a power-law-type behavior at the transition point. In a previous paper we rigorously proved that...

1998
Carlos Caleiro Cristina Sernadas Amílcar Sernadas

Combined logics have recently deserved much attention. In this paper we develop a detailed study of a form of combination that generalises the temporalisation construction proposed in 9]. It consists of replacing an atomic part (formal parameter) of one (parameterised) logic by another (actual parameter) logic. We provide a categorial char-acterisation of parameterisation and illustrate it with...

2012
Richard Dawid Stephan Hartmann Jan Sprenger

Scientific theories are hard to find, and once scientists have found a theory H, they often believe that there are not many distinct alternatives to H. But is this belief justified? What should scientists believe about the number of alternatives to H, and how should they change these beliefs in the light of new evidence? These are some of the questions that we will address in this paper. We als...

Journal: :Cold Spring Harbor perspectives in biology 2010
Joshua W Shaevitz Zemer Gitai

During the past decade, the appreciation and understanding of how bacterial cells can be organized in both space and time have been revolutionized by the identification and characterization of multiple bacterial homologs of the eukaryotic actin cytoskeleton. Some of these bacterial actins, such as the plasmid-borne ParM protein, have highly specialized functions, whereas other bacterial actins,...

2008
Johan Xi Zhang Mads Græsbøll Christensen Joachim Dahl Søren Holdt Jensen Marc Moonen

We present an approach for the extraction of parameters of a damped complex exponential model from a spectrogram modified by a binary mask. The parameters are estimated by a frequency domain based methods using subspace techniques, where the core algorithm is F-ESPRIT. The sub-band defined by the binary mask provides a reduced number of DFT-samples for the parameter extractions, which results i...

2000
Chunyan Li Vladimir Cuperman

This paper presents a 4 kb/s Analysis-by-Synthesis Multimode Harmonic Coder (AbS-MHC). Novel features of this coder include a signal modification technique that allows time-domain analysisby-synthesis parameter estimation in sinusoidal coding framework, and a frequency-domain transition speech model with improved parameter estimation and quantization schemes. An efficient quantization scheme fo...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید