• Fifth Brainstorming Week On Membrane Computing
  • Proceedings
• Fourth Brainstorming Week On Membrane Computing
  • Proceedings
• Third Brainstorming Week On Membrane Computing
  • Proceedings
• Second Brainstorming Week On Membrane Computing
  

Seventh Brainstorming Week on Membrane Computing (BWMC 2009)

English title: Survival analysis and its application to model oncogenic processes

Professor Joan Valls
Universidad de Lleida, Instituto Biomédico de Lleida

• Date: Wednesday, 13th of January 2010, at 11:30
• Place: Seminar room of the department (ETS Ingeniería Informática (Avda. Reina Mercedes S/N, Sevilla), Module H, First floor)
• Language: Spanish

Investigador Principal:

• Mario de Jesús Pérez Jiménez, Ph.D.
  Miembro de la Academia Europea
  Catedrático de Universidad de Ciencias de la Computación e Inteligencia Artificial.
  Catedrático de Matemáticas de I.N.E.M.
  Mail: marper at us.es

Miembros:

• María Angels Colomer Cugat, Ph.D.
  Profesora Titular de Universidad
  Mail: colomer at matematica.udl.cat

• Rudolf Freund, Vienna University of Technology, Austria.
• Oscar H. Ibarra, University of California Santa Barbara, USA.
• Shankara Narayanan Krishna, Indian Institute of Technology, Madras, India.
• Víctor Mitrana, University of Bucharest
• Linqiang Pan, Huazhong University of Science and Technology, China.
• Gheorghe Paun, Member of Academia Europaea.
• Mario J. Pérez Jiménez, Universidad de Sevilla.
• Grzegorz Rozenberg, Leiden University and University of Colorado at Boulder, U.S.A.

Speaker: Zsolt Gazdag, Ph.D.
Eötvös Loránd University, Budapest (Hungary)

SEMINAR

Title: Solving SAT and STCON by Membrane Computing Techniques.

Speaker:
Dr. Joerg Flum
Dpt. Mathematical Logic
Albert-Ludwigs-Universität Freiburg (Alemania)

Title: Grafos aleatorios y cliques

Abstract:
Como posible subtítulo de la conferencia podríamos elegir: La lógica de primer orden FO es insensible a la aleatoriedad. Esta insensibilidad se ha utilizado para verificar que ciertas propiedades no son expresables en FO.

En esta charla se presenta el simulador ARES (Antibiotic Resistance Evolution Simulator) que es una herramienta informática desarrollada para ayudar en la investigación de la resistencia a antibiótico en las llamadas "superbacterias" que constituye un problema de salud mundial de primer orden. Durante la charla, introduciremos los conceptos de la computación con membranas necesarios para entender el marco de desarrollo de ARES. De esta forma, veremos ARES como una herramienta bajo el paradigma de la biología de sistemas en su definición como un sistema P.