GRADUATE SEMINAR Xiaohua Liu Predictive Modelling of Extreme Values in unbalanced Panel Data MSc Student supervised by Dr. Taehan Bae

Source URL: www.uregina.ca

Modelling Dynamic Web Data ? Philippa Gardner, Sergio Maffeis ∗ Department of Computing 180 Queen’s Gate, South Kensington Campus, Imperial College London SW7 2AZ, UK.

Source URL: www.doc.ic.ac.uk

• Process calculi
• Theoretical computer science
• -calculus
• Process calculus
• Computability theory
• Markov models
• Computer science
• Normal distribution
• Cognitive science
• Algorithm characterizations

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution

LNBIStronger Computational Modelling of Signalling Pathways Using Both Continuous and Discrete-State Methods

Source URL: www.dcs.ed.ac.uk

• Stochastic simulation
• Biology
• Cell biology
• Scientific modeling
• PEPA
• Epidermal growth factor
• Simulation
• Scientific modelling
• Chemical kinetics
• Computer simulation

DASH: Modelling and Analysis of Declarative State-Based Transition Systems Work in Progress (*) Jose Serna, Nancy A. Day, and Shahram Esmaeilsabzali With past contributions by Sabria Farheen

Source URL: alloytools.org

• Models of computation
• Intel
• Scientific modelling
• Dash
• Transition system
• Epistemology
• Philosophy of science
• Writing

Directed network discovery with dynamic network modelling

Source URL: saxelab.mit.edu

• Magnetic resonance imaging
• Neuroscience
• Cognitive neuroscience
• Functional magnetic resonance imaging
• Neuroimaging
• Theory of mind
• Brain
• Meta-analysis
• Parameter
• Fusiform face area
• Bayesian model reduction
• Nervous system

Under consideration for publication in Formal Aspects of Computing Bisimulations in Calculi Modelling Membranes Roberto Barbuti1 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 and Angelo Troina2 1 Dipartimento

Source URL: pages.di.unipi.it

• Theoretical computer science
• Logic in computer science
• Mathematics
• Formal methods
• Bisimulation
• Mathematical logic
• Petri net
• Rewriting

Vaccine Impact Modelling Consortium Gavi BMGF Secretariat

Source URL: www.vaccineimpact.org

• Gavi
• the Vaccine Alliance
• Global health

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

Source URL: www.dcs.ed.ac.uk

• Signal transduction
• Cell signaling
• Protein kinase inhibitors
• MAPK/ERK pathway
• Raf kinase inhibitor protein
• RAF kinase
• Metabolic pathway
• Pathway
• C-Raf

Multirotor Aircraft: Modelling, State Estimation and Control Robert Mahony College of Engineering and Computer Science Australian National University

Source URL: mrsl.grasp.upenn.edu