Diferencias

Muestra las diferencias entre dos versiones de la página.

Enlace a la vista de comparación

grupos:avispa:seminar [2017/10/18 01:46]
jearias
grupos:avispa:seminar [2017/10/18 01:48] (actual)
jearias
Línea 60: Línea 60:
 determinado. determinado.
 \\ \\
 +----
 \\ \\
 +
 **Citas terapéuticas**\\ **Citas terapéuticas**\\
 En un modelo de adjudicación de citas de una clínica de rehabilitación o terapéutica, se asignan En un modelo de adjudicación de citas de una clínica de rehabilitación o terapéutica, se asignan
Línea 66: Línea 68:
 tratados por uno o varios profesionales. Actualmente la Clínica de Rehabilitación del Valle cuenta tratados por uno o varios profesionales. Actualmente la Clínica de Rehabilitación del Valle cuenta
 con un sistema de asignación de citas que no se ajusta a este modelo.\\ con un sistema de asignación de citas que no se ajusta a este modelo.\\
-**Date, Time and Place:** (Tuesday) September 20, 2011, 2pm. Room Teleaula 2 del edificio 317, Universidad del Valle.+**Date, Time and Place:** (Tuesday) September 20, 2011, 2pm. Room Teleaula 2 del edificio 317, Universidad del Valle.\\
  
  
 ---- ----
- +\\
  
  
Línea 90: Línea 91:
 entendimiento de otras traducciones de modelos concurrentes  como CCS y CSP. \\ entendimiento de otras traducciones de modelos concurrentes  como CCS y CSP. \\
 **Date, Time and Place:** (Monday) TBC, 2008, 11am. Room TBA, Javeriana. **Date, Time and Place:** (Monday) TBC, 2008, 11am. Room TBA, Javeriana.
 +\\
 ---- ----
 +\\
  
 **Spatial Logics for Concurrent Calculi**\\ **Spatial Logics for Concurrent Calculi**\\
Línea 104: Línea 106:
  
 ----- -----
 +\\
  
 **Specification and Verification of Concurrent Systems** \\ **Specification and Verification of Concurrent Systems** \\
Línea 122: Línea 125:
  
 ----- -----
 +\\
  
 **Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus**\\ **Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus**\\
Línea 143: Línea 147:
  
 ---- ----
 +\\
  
 **Towards a Constraint-Based Framework for the Analysis of Probabilistic Reactive Systems**\\ **Towards a Constraint-Based Framework for the Analysis of Probabilistic Reactive Systems**\\
Línea 161: Línea 166:
  
 ---- ----
 +\\
  
 **A Process Calculus for Universal Concurrent Constraint Programming: Semantics, Logic and Application**\\ **A Process Calculus for Universal Concurrent Constraint Programming: Semantics, Logic and Application**\\
Línea 180: Línea 186:
  
 ---- ----
 +\\
  
  
Línea 210: Línea 216:
  
 ---- ----
 +\\
 +
  
 **Orion: Software to assign time slots and resources to the courses in a University**\\ **Orion: Software to assign time slots and resources to the courses in a University**\\
Línea 220: Línea 228:
  
 ---- ----
 +\\
  
  
 
grupos/avispa/seminar.txt · Última modificación: 2017/10/18 01:48 por jearias
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki