Sciweavers

1064 search results - page 53 / 213
» Neuro-Wavelet Parametric Modeling
Sort
View
BMCBI
2008
153views more  BMCBI 2008»
14 years 10 months ago
AWclust: point-and-click software for non-parametric population structure analysis
Background: Population structure analysis is important to genetic association studies and evolutionary investigations. Parametric approaches, e.g. STRUCTURE and L-POP, usually ass...
Xiaoyi Gao, Joshua D. Starmer
TLDI
2009
ACM
169views Formal Methods» more  TLDI 2009»
15 years 6 months ago
Relational parametricity for references and recursive types
We present a possible world semantics for a call-by-value higherorder programming language with impredicative polymorphism, general references, and recursive types. The model is o...
Lars Birkedal, Kristian Støvring, Jacob Tha...
FOSSACS
2009
Springer
15 years 4 months ago
Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types
Abstract. We present a realizability model for a call-by-value, higherorder programming language with parametric polymorphism, general first-class references, and recursive types....
Lars Birkedal, Kristian Støvring, Jacob Tha...
GW
2007
Springer
85views Biometrics» more  GW 2007»
15 years 4 months ago
On the Parametrization of Clapping
Abstract. For a Reactive Virtual Trainer(RVT), subtle timing and lifelikeness of motion is of primary importance. To allow for reactivity, movement adaptation, like a change of tem...
Herwin van Welbergen, Zsófia Ruttkay
DATE
2002
IEEE
96views Hardware» more  DATE 2002»
15 years 2 months ago
A Linear-Centric Simulation Framework for Parametric Fluctuations
The relative tolerances for interconnect and device parameter variations have not scaled with feature sizes which have brought about significant performance variability. As we sca...
Emrah Acar, Sani R. Nassif, Lawrence T. Pileggi