Filters








39,484 Hits in 3.8 sec

Page 1184 of Genetics Vol. 176, Issue 2 [page]

2007 Genetics  
., 1993 Interval mapping of multiple quantitative trait loci. Genetics 135: 205-211. JANSEN, R. C., and P. Sram, 1994 High resolution of quantitative traits into multiple loci via interval mapping.  ...  HorscHetr, 1997 Mapping linked quantitative trait loci using Bayesian method analysis and Markov chain Monte Carlo algorithms. Genetics 146: 735-743. UIMaArI, P., and M. J.  ... 

FACT: A Probabilistic Model Checker for Formal Verification with Confidence Intervals [chapter]

Radu Calinescu, Kenneth Johnson, Colin Paterson
2016 Lecture Notes in Computer Science  
We introduce FACT, a probabilistic model checker that computes confidence intervals for the evaluated properties of Markov chains with unknown transition probabilities when observations of these transitions  ...  As such, FACT can prevent invalid decisions in the construction and analysis of systems, and extends the applicability of quantitative verification to domains in which unknown estimation errors are unacceptable  ...  In many scenarios, the quantitative analysis of Markov models built using point estimates of the unknown transition probabilities misleadingly suggested that requirements were met.  ... 
doi:10.1007/978-3-662-49674-9_32 fatcat:3eml6tjviff5tk6oqr5iwycx5y

Page 1877 of Genetics Vol. 176, Issue 3 [page]

2007 Genetics  
., 1997 Markov chain Monte Carlo segregation and linkage analysis for oligogenic models. Am. J. Hum. Genet. 61: 748-760.  ...  Fiscu, 1998 Bayesian analysis of quanti- tative trait locus data using reversible jump Markov chain Monte Carlo. Biometrics 54: 1334-1347. STYLIANOU, I. M., R. KorsTanye, R. Li, S. SHEEHAN, B.  ... 

Page 2336 of Genetics Vol. 173, Issue 4 [page]

2006 Genetics  
., 1997 Markov chain Monte Carlo segregation and linkage analysis for oligogenic models. Am. J. Hum. Genet. 61: 748-760. JANNINK, J-L., and R. L.  ...  ., 1993 Interval mapping of multiple quantitative trait loci. Genetics 135: 205-211. Kao, C.-H., Z-B. ZENG and R. D. TeaspaAcr, 1999 Multiple interval mapping for quantitative trait loci.  ... 

Age-related alterations of relaxation processes and non-Markov effects in stochastic dynamics of R–R intervals variability from human ECGs

Renat M. Yulmetyev, Sergey A. Demin, Oleg Yu. Panischev, Peter Hänggi
2005 Physica A: Statistical Mechanics and its Applications  
We offer a quantitative informational measure of non-Markovity to evaluate the change of statistical effects of memory.  ...  Local relaxation parameters for young and elderly people differ by 3.3 times, and quantitative measures of non-Markovity differ by 4.2 times.  ...  We have revealed essential distinctions in relaxation processes for different age groups on the basis of the comparative analysis of quantitative characteristics of variability of an R-R interval.  ... 
doi:10.1016/j.physa.2005.01.042 fatcat:bqfpvprrt5hotmg4hdbhahlzu4

Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory [chapter]

Chunyan Mu, Peter Dittrich, David Parker, Jonathan E. Rowe
2016 Lecture Notes in Computer Science  
In this paper, we build on these ideas to develop novel techniques for formal quantitative analysis of chemical reaction networks, using discrete stochastic models represented as continuous-time Markov  ...  chains.  ...  Note that Organisation-oriented Interval Markov Chain The organisation-oriented transition graph generated by the quantitative analysis can be used to build a coarse-grained model (with either interval  ... 
doi:10.1007/978-3-319-45177-0_15 fatcat:cn4nivol4zdbnk2n6hczzlngmy

Page 205 of Geographical Analysis Vol. 7, Issue 2 [page]

1975 Geographical Analysis  
However, spectral analysis is applied to quantitative data, measured over equal increments of either time or space on a continuous interval.  ...  Here the use of a double-dependence Markov chain is suggested as a viable nonparametric alternative to the autocorrelation function.  ... 

Symbolic Markov Chains [chapter]

Monique Noirhomme-Fraiture, Etienne Cuvelier
2007 Studies in Classification, Data Analysis, and Knowledge Organization  
More particularly, we adapt the definition of Markov Chain and give the equivalent of the Chapman-Kolmogorov theorem in all cases.  ...  We consider here the concept of Stochastic Process associated to all the cases of symbolic variables: quantitative, categorical single and multiple, interval, modal.  ...  Conclusion In this paper, we have defined Symbolic Markov Chain for all the cases of Symbolic variables: quantitative, categorical single and multiple, interval, modal.  ... 
doi:10.1007/978-3-540-73560-1_10 fatcat:r45lfadvcjdrjc2s5clnu3fik4

Page 1343 of Genetics Vol. 170, Issue 3 [page]

2005 Genetics  
., 1997 Markov chain Monte Carlo segregation and linkage analysis for oligogenic models. Am. J. Hum.  ...  OSBORN, 1996 A Bayesian approach to detect quantitative trait loci using Markov chain Monte Carlo. Genetics 144: 805-816.  ... 

Page 536 of Genetics Vol. 178, Issue 1 [page]

2008 Genetics  
HoescHEeLr, 1997 Mapping linked quantitative trait loci using Bayesian analysis and Markov chain Monte Carlo algorithms. Genetics 146: 735-743. Umar, P., and M. J.  ...  FERNANDO, 2004 On the Metropolis—Hastings acceptance probability to add or drop a quantitative trait locus in Markov chain Monte Carlo-based Bayesian analysis. Genetics 166: 641-643. Jeon, J. T., O.  ... 

Page 2540 of Genetics Vol. 176, Issue 4 [page]

2007 Genetics  
Fiscu, 1998 Bayesian analysis of quanti- tative trait locus data using reversible jump Markov chain Monte Carlo. Biometrics 54: 1334-1347 Ven, R.  ...  ., 2004 A unified Markov chain Monte Carlo framework for mapping multiple quantitative trait loci. Genetics 167: 967-975. Yr, N., and S.  ... 

Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems

Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezze, Yasmin Rafiq, Giordano Tamburrelli
2016 IEEE Transactions on Reliability  
To this end, we introduce a theoretical framework, and a tool chain that establish confidence intervals for the QoS properties of a software system modelled as a Markov chain with uncertain transition  ...  In addition, a technique called quantitative verification supports the analysis of the reliability, performance, and other quality-of-service (QoS) properties of systems that exhibit stochastic behaviour  ...  To this end, we introduce a new quantitative verification approach that generates confidence intervals for the analysed properties of a Markov chain (MC).  ... 
doi:10.1109/tr.2015.2452931 fatcat:62hkt5mlurgg5bdywnczeoied4

Finite Markov chain model in lithofacies analysis: an example from the bida sandstone, Bida Basin, Nigeria

A.U Okoro, H.N Ezeh
2010 Global Journal of Geological Sciences  
The Markov Chain Stochastic Process has been used both to analyze the vertical lithofacies of the Bida Sandstone (Campanian -Maastrichtian) in Bida area and interprete the corresponding depositional systems  ...  A high frequency fining-upward (FU) transition pattern (or cycles) with a "memory function" was distilled from the sequence using the Markov Chain Stochastic Process.  ...  Since the 1980s, research in quantitative stratigraphy and particularly the Markov Chain Stochastic Process has waned. The purpose of this paper is two -fold.  ... 
doi:10.4314/gjgs.v8i1.53793 fatcat:uwa4y3yvyvhpjay3r2mzc4kjse

Land Change Modeling Handling with Various Training Dates

Martin Paegelow
2017 Proceedings of the 3rd International Conference on Geographical Information Systems Theory, Applications and Management  
Authors propose alternative methods to Markov chains integrating all available LUC maps in order to simulate forecasting scenarios.  ...  Popular modeling tools for land change simulation, especially those using Markov chains, undertake model training based only on two land use / cover (LUC) maps.  ...  ACKNOWLEDGEMENTS This work was supported by the BIA2013-43462-P project funded by the Spanish Ministry of Economy and Competitiveness and by the Regional European Fund FED.  ... 
doi:10.5220/0006385003500356 dblp:conf/gistam/Paegelow17 fatcat:nqxikqswavaernxk37tpon5yk4

Page 1045 of Genetics Vol. 167, Issue 2 [page]

2004 Genetics  
ArRjAs, Comment on “On the Metropolis- Hastings acceptance probability to add or drop a quantitative trait locus in Markov chain Monte Carlo-based Bayesian analyses” CORRIGENDA Li, N., AND M.  ...  SKOVGAARD, A quantitative trait locus mixture model that avoids spu- Pee OE CII nag dscns ene creases wevtoasnsnssteotnsers , 959—965 Y1, NENGJUN, A unified Markov chain Monte Carlo framework for mapping  ... 
« Previous Showing results 1 — 15 out of 39,484 results