Online Talks

• Model Repair for Probabilistic Systems.
  Seminar for PhD Students,
  IMT Institute for Advanced Studies, Lucca, Italy, April 28-29, 2011
  Model Repair

  View more presentations from eziobartocci.

• From Cardiac Cells to Genetic Regulatory Networks.
  Seminar for PhD Students,
  University of Camerino, Camerino (MC), Italy, June 22, 2011
  Model Repair for Probabilistic Systems.
  Seminar for PhD Students,
  University of Camerino, Camerino (MC), Italy, June 24, 2011
  

• Towards Real-Time Simulation of Cardiac Dynamics using GPUs.
  CMACS PI Review Meeting,
  University of Maryland, USA, April 28-29, 2011
• Implementing Cardiac Cell's Model using CUDA parallel programming.
  NSF-CMACS Workshop on Atrial Fibrillation,
  Lehman College, NY, USA, January 13-21, 2011
  Performances

  View more presentations from eziobartocci.
• Model Checking Complex Systems: detecting atrial fibrillation.
  Invited Talk,
  Aristotle University Thessaloniki, Greece, December 15, 2010
• Multi-Affine Cardiac Cell Models.
  CMACS PI Review Meeting,
  New York University (NYU), NY, USA, October 28, 2010
  Slide 1

  View more presentations from eziobartocci.
• Learning and Detecting Emergent Behaviour in Network of Cardiac Cells.
  BioICT: The Heart in the Computer supported by ERCIM: European Research Consortium for Informatics and Mathematics,
  INRIA, Sophia Antipolis, France, April 3, 2009
• Learning and Detecting Emergent Behaviour in Network of Cardiac Cells.
  Invited Talk,
  Univeristy of Udine, Italy, April 1, 2009