With the recent advances in optical technologies, it has become a challenge to build optical queues with minimal complexity. In [2], it was shown that an optical FIFO queue can be constructed recursively by a concatenation of scaled optical memory cells, which in turn are made by 2 × 2 switches and fiber delay lines. However, as the construction is recursive, there is no explicit control algori...

We consider a certain class of vectorial evolution equations, which are linear in the (max,+) semi-eld. They can be used to model several types of discrete event systems, in particular stochastic service systems where we assume that the arrival process of customers (tokens, jobs, etc.) is Poisson. Under natural Cramer type conditions on certain variables, we show that the expected waiting time ...

We consider a realistic model of wireless network where nodes are dispatched in an infinite map with uniform distribution. Signal decays with distance according to attenuation factor α. At any time we assume that the distribution of emitters is λ per square unit area. From the explicit formula of the laplace transform of received signal we derive the explicit formula for the information rate re...

L’application de Hairer–Kelly a été introduite pour établir une correspondance entre les chemins rugueux géométriques et non-géométriques. Récemment, nouvelle renormalisation sur proposée dans (Proc. Lond. Math. Soc. 121(2) (2020) 220–251), construite d’après cette application le théorème d’extension Lyons–Victoir. Dans ce travail, on compare avec celles déjà existantes comme la BPHZ des produi...

As it is clear from the title, I shall deal with some question connected with the theory of Quantum Groups. If I remember right, Moshe did not like Quantum Groups after this notion was cristallized by Drinfeld [1] in pure algebraic manner. However his own attraction to the deformations (as well as the pressure of authors in LMP) made him to change his mind. So when I presented the subject descr...

Un modèle formel est une représentation mathématique, abstraite et toujours approchée d’un système réel. Il représente une certaine vue de ce système. Il est le résultat d’une démarche cognitive complexe qui progressivement rend formel et explicite un ensemble d’exigences, de contraintes, de connaissances informelles et partiellement implicites. Une automatisation d’un tel processus paraı̂t bien...

ion basée sur la profondeur des variables d’états Une première idée pour automatiser la sélection des variables à abstraire est d’utiliser la profondeur des variables d’états. Cette profondeur correspond au nombre de variables d’état sur le plus court chemin entre la variable d’état candidate à l’abstraction et les sorties des propriétés à vérifier. Cette profondeur se calcule pour l’ensemble d...

ion -sup 1 -sub 0..* inherits_from ConcreteImplementation -sup 1 -sub 0..* inherits_from -imp_class 1 -method