Filters








7 Hits in 8.8 sec

Using Colored Petri Nets to Construct Coalescent Hidden Markov Models: Automatic Translation from Demographic Specifications to Efficient Inference Methods [chapter]

Thomas Mailund, Anders E. Halager, Michael Westergaard
2012 Lecture Notes in Computer Science  
In this paper we describe how to use colored stochastic Petri nets to build CoalHMMs for complex demographic scenarios.  ...  This is not feasible to do manually, but by applying formal methods such as Petri nets it is possible to build sophisticated evolutionary histories and automatically derive the analysis models needed.  ...  The authors wish to thank Lars M. Kristensen for fruitful discussions about the use state-space reduction techniques.  ... 
doi:10.1007/978-3-642-31131-4_3 fatcat:ea5zgrkgjfeu3afe35mubvxfga

Variational Inference Using Approximate Likelihood Under the Coalescent With Recombination [article]

Xinhao Liu, Huw A Ogilvie, Luay Nakhleh
2020 bioRxiv   pre-print
A promising avenue for the analysis of large genomic alignments, which are increasingly common, are coalescent hidden Markov model (coalHMM) methods, but these methods have lacked general usability and  ...  We introduce a novel method for automatically learning a coalHMM and inferring the posterior distributions of evolutionary parameters using black-box variational inference, with the transition rates between  ...  For example, Mailund, Halager, and Westergaard (2012) used colored Petri nets to represent genetic models and gave an algorithm for translating such models into coalHMMs.  ... 
doi:10.1101/2020.08.19.258137 fatcat:aw4wnjtokffm7at6i3f4fhwjha

On Fitting Finite Dirichlet Mixture Using ECM and MML [chapter]

Nizar Bouguila, Djemel Ziou
2005 Lecture Notes in Computer Science  
Some of the known results are deduced from the results obtained. Numerical results are illustrated for the models under consideration. 2 Pair-copula constructions of multiple dependence.  ...  The system is analysed for different active periods corresponding to the service time of an M/G/1 queue and the busy period of an M/G/1 queue.  ...  We implement Markov Chain Monte Carlo (MCMC) methods to efficiently draw inference for the model parameters which govern transmission.  ... 
doi:10.1007/11551188_19 fatcat:gtzi5u6emvfyxea3zbklobnvom

A global brand management roadmap

Aysegül Özsomer, Rajeev Batra, Amitava Chattopadhyay, Frenkel ter Hofstede
2012 International Journal of Research in Marketing  
The authors would also like to thank the editor, the area editor, and the two anonymous reviewers for their useful comments and suggestions.  ...  They also gratefully acknowledge financial support from the E-Finance Lab at the House of Finance at Goethe-University Frankfurt.  ...  We model the penetration of product j in country i at time t using a semiparametric hidden Markov model.  ... 
doi:10.1016/j.ijresmar.2012.01.001 fatcat:eygpyqk43bfmdailzp5i723t7u

Dagstuhl Reports, Volume 7, Issue 11, November 2017, Complete Issue [article]

2018
A General Language for Matching Tile Games Julian Togelius (New York University, US), Cameron Browne (RIKEN -Tokyo, JP), Simon Colton (Falmouth University, GB), Mark J.  ...  Petri nets such as stochastic Petri nets (SPNopening the door to the Markovian world), continuous Petri nets (CPN -opening the door to the world of ordinary differential equations), and hybrid Petri nets  ...  I also show how this behaviour-based model checking can be applied to multi-level [and multi-scale] models which have been constructed using Coloured Petri nets, with an example of planar cell polarity  ... 
doi:10.4230/dagrep.7.11 fatcat:pk2gs776vzftffmrue3j2xdgoy

ACHI 2018 COMMITTEE ACHI Steering Committee

Leslie Miller, Alma Culén, Andrea Abate, Majed Alshamari, David Benyon, Christos Bouras, Jan Broer, Adrien Brunet, Marcin Butlewski, Jacek Chmielewski, Patricia Cornelio, David Costa (+50 others)
unpublished
ACKNOWLEDGMENT The authors would like to thank the support of the UGC Funding Scheme from the Hong Kong Polytechnic University.  ...  ACKNOWLEDGMENT The authors would like to thank the children and the teacher who participated to the study. We would also like to thank Sara Giosa for her help in designing the interfaces.  ...  behavior design and a Petri-net method for system analysis and evaluation.  ... 
fatcat:kyg6lba7o5gx5boijwdh2hqi6y

Recommended Citation Sohval, Daniel

Daniel Sohval
2013 unpublished
Because the whole human family, folk and adjunct professors of neurolinguistics alike came from the same crop of hominids in the Savannah, right? Zfdel approaches the barbell racks.  ...  Narratives allow us to inhabit the constructed minds of characters and simulate events disparate from our own experiential repertoire.  ...  Dynamical systems are real-world nonlinear systems that may be modeled using differential equations.  ... 
fatcat:hqctrgrexfga7gbde277mlw6fy