Listar MA - Conferencias Científicas por título
Mostrando ítems 34-38 de 38
-
Reasoning in Interval Temporal Logics - New Frontiers
(2014-10-27)In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental definitions, with particular attention to the parameters that ... -
Soluciones al sistema de Strominger y a las ecuaciones del movimiento
(2017-05-22)A mediados de los años 80 surgieron los primeros modelos geométricos de la teoría de cuerdas, los cuales involucraban un espacio 10-dimensional R^{1,3}×M6, donde R^{1,3} es una variedad Lorentziana ... -
State – Dependent retrial queues
(2015-09-24)Classical retrial queues are characterized by the following feature: a call arriving when all servers are busy leaves the service area but after some random time repeats his demand. This feature plays a special role in ... -
Steady-state analysis of M/M/c/c+m – type retrial queueing systems with constant retrial rate
(2020-03-05)The presentation deals with a research of bivariate Markov process {X(t), t>0} whose state space is a lattice semistrip S(X)={0,1,..., c+m}. The process X(t) describes the service policy of a multi-server retrial queue ... -
Técnicas de pensamiento para la mujer en matemáticas
(2018-07-25)Tras trabajar el tema de la necesaria autoeficacia de las mujeres dedicadas a la ciencia y la ingeniería a través de las matemáticas, se analizan distintas técnicas de pensamiento individual. Estas técnicas se particularizan ...