Sciweavers

5863 search results - page 128 / 1173
» Calculating Functional Programs
Sort
View
SMA
2003
ACM
154views Solid Modeling» more  SMA 2003»
15 years 7 months ago
Discretization of functionally based heterogeneous objects
The presented approach to discretization of functionally defined heterogeneous objects is oriented towards applications associated with numerical simulation procedures, for exampl...
Elena Kartasheva, Valery Adzhiev, Alexander A. Pas...
FMICS
2010
Springer
15 years 3 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
QUESTA
2007
170views more  QUESTA 2007»
15 years 1 months ago
Priority queueing systems: from probability generating functions to tail probabilities
Obtaining (tail) probabilities from a transform function is an important topic in queueing theory. To obtain these probabilities in discrete-time queueing systems, we have to inve...
Tom Maertens, Joris Walraevens, Herwig Bruneel
RECOMB
2005
Springer
16 years 2 months ago
A Hidden Markov Model Based Scoring Function for Mass Spectrometry Database Search
An accurate scoring function for database search is crucial for peptide identification using tandem mass spectrometry. Although many mathematical models have been proposed to scor...
Yunhu Wan, Ting Chen
111
Voted
ASPDAC
2009
ACM
164views Hardware» more  ASPDAC 2009»
15 years 9 months ago
Accounting for non-linear dependence using function driven component analysis
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
Lerong Cheng, Puneet Gupta, Lei He