Examinando por Materia "SYSTEMS"

Mostrando 1 - 4 de 4
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Departamento de Ciencias; Matemáticas y Aplicaciones
    We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Departamento de Ingeniería de Sistemas; I+D+I en Tecnologías de la Información y las Comunicaciones
    We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    Mean-Field Semantics for a Process Calculus for Spatially-Explicit Ecological Models
    (OPEN PUBL ASSOC, 2016-01-01) Toro, Mauricio; Philippou, Anna; Arboleda, Sair; Puerta, Maria; Velez S, Carlos M.; Universidad EAFIT. Escuela de Ciencias; Modelado Matemático
    We define a mean-field semantics for S-PALPS, a process calculus for spatially-explicit, individual-based modeling of ecological systems. The new semantics of S-PALPS allows an interpretation of the average behavior of a system as a set of recurrence equations. Recurrence equations are a useful approximation when dealing with a large number of individuals, as it is the case in epidemiological studies. As a case study, we compute a set of recurrence equations capturing the dynamics of an individual-based model of the transmission of dengue in Bello (Antioquia), Colombia.
  • No hay miniatura disponible
    Ítem
    Quantum hypercomputation based on the dynamical algebra su(1, 1)
    (IOP PUBLISHING LTD, 2006-10-06) Sicard, A.; Ospina, J.; Vélez, M.; Sicard, A.; Ospina, J.; Vélez, M.; Universidad EAFIT. Departamento de Ciencias; Lógica y Computación
    An adaptation of Kieu's hypercomputational quantum algorithm (KHQA) is presented. The method that was used was to replace the Weyl-Heisenberg algebra by other dynamical algebra of low dimension that admits infinite-dimensional irreducible representations with naturally defined generalized coherent states. We have selected the Lie algebra , because this algebra possesses the necessary characteristics to realize the hypercomputation and also because such algebra has been identified as the dynamical algebra associated with many relatively simple quantum systems. In addition to an algebraic adaptation of KHQA over the algebra , we presented an adaptation of KHQA over some concrete physical referents: the infinite square well, the infinite cylindrical well, the perturbed infinite cylindrical well, the Pöschl-Teller potentials, the Holstein-Primakoff system and the Laguerre oscillator. We conclude that it is possible to have many physical systems within condensed matter and quantum optics in which it is possible to consider an implementation of KHQA. © 2006 IOP Publishing Ltd.