Date: Friday, 12 Mar 2010

Important Dates

<<  March 2010  >>
 Su  Mo  Tu  We  Th  Fr  Sa 
   1  2  3  4  5  6
  7  8  910111213
14151617181920
21222324252627
28293031   
Program

 
Wednesday 14/10
Thursday 15/10
Friday 16/10
 
9.00 - 9.30
 
 
 
 
 
 
 
 
Jaco van de Pol
Distributed Model Checking for Emergent Cell Behavior
 
Thomas A. Henzinger
An On-the-fly Algorithm for Adaptive Uniformization
9.30 - 10.00
10.00 - 10.30
Coffee Break
Coffee Break
10.30 - 11.00
J. Barnat, L. Brim, I. Cerna, S. Drazan, J. Fabriková and D. Safranek. Computational Analysis of Large-Scale Multi-Affine ODE Models
 
11.00 - 11.30
 
A. Ullrich and C.V. Forst.  k-PathA (K-shortest PATH Algorithm)
11.30 - 12.00
J. Barnat, L. Brim and P. Rockai. DiVinE 2.0: High-Performance Model Checking
F. Scharinger, F. Reid, P. Graham, A. Trew, A. Tenesa, S. Farrington, H. Campbell and M. G Dunlop. The search for gene-gene interactions in colorectal cancer: Using HPC to overcome computational barriers
12.00 - 12.30
Lunch
Lunch
12.30 - 13.00
13.00 - 13.30
Opening
13.30 - 14.00
Kevin Burrage
 
14.00 - 14.30
J. Himmelspach and A. Uhrmacher. The James II framework for modeling and simulation
 
J.M. Cecilia, G.D. Guerrero, J.M. García, M. A. Martínez-del-Amor, I. Pérez-Hurtado and M. J. Pérez-Jiménez. Simulation of P Systems with Active Membranes on CUDA
 
14.30 - 15.00
P. Burrage, K. Burrage, K. Kurowski, M. Lorenc, D. Nicolau Jr, M. Swain and M. Ragan. A Parallel Plasma Membrane Simulation
 
15.00 - 15.30
R. Ewald, J. Himmelspach, M. Jeschke, S. Leye and A. Uhrmacher. Performance Issues in Evaluating Models and Designing Simulation Algorithms
 
Coffee Break
Coffee Break
15.30 - 16.00
Coffee Break
Poster Session
 
16.00 - 16.30
 
16.30 - 17.00
E. Mosca, P. Cazzaniga, D. Pescini, I. Merelli, G. Mauri and L. Milanesi. Stochastic simulations on a grid framework for parallel sweep applications in biological models
 
 
  
 
 
 
  
17.00 - 17.30
Poster Session
17.30 - 18.00
18.00 - 18.30
 
18.30 – 20.30
 
 
20.30
 
 

 

List of accepted papers

1- A.B.M.Rubaiyat Islam Sadat and Paola Lecca. On the performances in simulation of parallel databases: an overview on the most recent techniques for query optimization
2- Pamela Burrage, Kevin Burrage, Krzysztof Kurowski, Michal Lorenc, Dan Nicolau Jr, Martin Swain and Mark Ragan. A Parallel Plasma Membrane Simulation
3- Florian Scharinger, Fiona Reid, Paul Graham, Arthur Trew, Albert Tenesa, Susan Farrington, Harry Campbell and Malcolm G Dunlop. The search for gene–gene interactions in colorectal cancer: Using HPC to overcome computational barriers
4- Jose M Cecilia, Ginés D. Guerrero, José M García, Miguel A. Martínez-del-Amor, Ignacio Pérez-Hurtado and Mario J. Pérez-Jiménez. Simulation of P Systems with Active Membranes on CUDA
5- Jiri Barnat, Lubos Brim, Ivana Cerna, Sven Drazan, Jana Fabriková and David Safranek. Computational Analysis of Large-Scale Multi-Affine ODE Models
6- Alexander Ullrich and Christian V. Forst. k-PathA (K-shortest PATH Algorithm)
7- Roland Ewald, Jan Himmelspach, Matthias Jeschke, Stefan Leye and Adelinde Uhrmacher. Performance Issues in Evaluating Models and Designing Simulation Algorithms
8- Bing Wang, Yuliang Zhao, Bonan Hou and Yiping Yao. Experimental Analysis to the Synchronization Algorithms in the Parallel Simulation of Reaction-Diffusion Systems
9- Paul Richmond, Simon Coakley and Daniela Romano. Cellular Level Agent Based Modelling On the Graphics Processing Unit
10- Annalisa Barla and Marco Ferrante. Deployment of a regularized feature selection framework on an overlay desktop grid.
11- Ettore Mosca, Paolo Cazzaniga, Dario Pescini, Ivan Merelli, Giancarlo Mauri and Luciano Milanesi. Stochastic simulations on a grid framework for parameter sweep applications in biological models
12- Andrés González, Harold Castro, Mario Villamizar, Nicolás Cuervo, Gabriel Lozano, Sergio Orduz and Silvia Restrepo. Mesoscale Modeling of the Bacillus Thuringiensis Sporulation Network Based on Stochastic Kinetics and Its Application for in Silico Scale-down
13- Jan Himmelspach and Adelinde Uhrmacher. The James II framework for modeling and simulation
14- Laszlo Bako. Real-time clustering of datasets with hardware embedded neuromorphic neural networks
15- Ugo Erra, Bernardino Frola, Vittorio Scarano and Iain Couzin. An efficient GPU implementation for large scale individual-based simulation of collective behavior
16- Jiri Barnat, Lubos Brim and Petr Rockai. DiVinE 2.0: High-Performance Model Checking

 

List of accepted posters

1- Václav Štumbauer, Štěpán Papáček and Dalibor Štys. Parallel stochastic simulation of the cell culture growth in a bioreactor.

2- Daniel A. Charlebois, Dawn Fraser, Jukka Intosalmi and Mads Kaern. Benchmarking a Parallel Algorithm for the Stochastic Simulation of Gene Expression and Population Dynamics.

3- Joep Vanlier, Jildert H. Miedema, Willem P. A. Ligtenberg, Joep P. J. Schmitz, Natal A. W. v. Riel, Huub M. M. Eikelder, Dragan Bosnacki and Peter A. J. Hilbers. Ordinary Differential Equations on the GPU.

4- Richard Adams, Azusa Yamaguchi, Galina Lebedeva, Neil Hanlon, Nikos Tsorman, Shakir Ali, Kevin Stratford, Anatoly Sorokin and Igor Goryanin. The Systems Biology Software Infrastructure - enabling access to HPC for systems biologists.

5- Gary Macindoe, Mark Girolami and Paul Cockshott. Accelerating High Dimensional Metropolis Hastings Sampling using nVidia CUDA.

6- Luca Bianco, Roberto Pagliarini and Conrad Bessant. Towards a GPU-aided simulation of nuclear receptors modulation.

7- Alhadi Bustamam, Nicholas Hamilton, Muhammad Shoaib Sehgal and Kevin Burrage. A GPU Implementation of a parallel Markov Clustering Algorithm.