7 resultados para Automates

em Université de Lausanne, Switzerland


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Introduced in 2008, the femtosecond laser is a promising new technological advance which plays an ever increasing role in cataract surgery where it automates the three main surgical steps: corneal incision, capsulotomy and lens fragmentation. The proven advantages over manual surgery are: a better quality of incision with reduced induced astigmatism; increased reliability and reproducibility of the capsulotomy with increased stability of the implanted lens; a reduction in the use of ultrasound. Regarding refractive results or safety, however, no prospective randomized study to date has shown significant superiority compared with standard manual technique. The significant extra cost generated by this laser, undertaken by the patient, is a limiting factor for both its use and study. This review outlines the potential benefits of femtosecond-laser-assisted cataract surgery due to the automation of key steps and the safety of this new technology.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Dans plusieurs pays (Suisse, France, États-Unis, Royaume-Uni), le cadre de régulation des jeux de hasard et d'argent est différencié selon la nature et la forme des jeux. Ainsi, le système suisse est régulé différemment suivant qu'il s'agit de loteries et de paris ou de casinos. Dans chacun de ces deux cas, un cadre juridique et de régulation diffèrent s'applique. Le système devient complexe lorsque certains jeux ou opérations ne peuvent pas être clairement attribués à un système de régulation ou à un autre ou lorsque des conflits de compétence interviennent entre les autorités de régulation. C'est le cas du Tactilo. Ce working paper présente de manière synthétique les différents aspects de la régulation de ce nouveau mode de distribution des jeux que sont les automates de type Tactilo et discute les développements légaux et les implications financières entourant ce débat. Ces éléments permettent de comprendre le débat actuel et de mieux comprendre les enjeux de la décision attendue du Tribunal fédéral dans ce dossier. Le Tactilo, un jeu de loterie ou un jeu de casino...?

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les enquêtes menées auprès des officines vaudoises en 1994 et 2003 avaient montré que les pharmacies étaient des partenaires importants dans le réseau de prise en charge des usagers de drogue par injection (UDI), en particulier en ce qui concerne la dispensation et le suivi des cures de méthadone. Elles avaient aussi mis en évidence les besoins de formation/information des pharmaciens et de leur personnel. La troisième vague de l'enquête pharmacie 2011 avait pour objectif : o de mesurer l'évolution de la remise de seringues par les pharmacies aux UDI o de repérer les lacunes éventuelles dans l'accès au matériel stérile du point de vue géographique o d'apprécier le rôle des pharmacies dans la remise de traitements de méthadone o d'identifier d'éventuels problèmes rencontrés dans ces deux activités (vente de seringues et dispensation de méthadone) o d'identifier les besoins en formation des pharmaciens et du personnel des pharmacies o d'identifier les actions qui favoriseraient une meilleure intégration des pharmacies dans le dispositif de prise en charge des personnes toxicodépendantes o de recueillir l'avis des pharmaciens sur la pose d'automates de distribution de seringues et sur la nécessité d'une extension de la remise de matériel stérile. Méthode L'enquête pharmacie 2011 comprend deux volets. Un premier volet quantitatif, sous la forme d'un questionnaire adressé à toutes les pharmacies du canton (n=248). Le taux de participation de 92% (n=227) est remarquable. Les analyses portent sur 220 questionnaires valides. Un second volet, qualitatif, permet de compléter les données statistiques. Parmi les pharmaciens disposés à s'exprimer dans le cadre d'un entretien (n=90), nous en avons échantillonné [...] [Auteurs, p. 5]

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Abstract The main objective of this work is to show how the choice of the temporal dimension and of the spatial structure of the population influences an artificial evolutionary process. In the field of Artificial Evolution we can observe a common trend in synchronously evolv¬ing panmictic populations, i.e., populations in which any individual can be recombined with any other individual. Already in the '90s, the works of Spiessens and Manderick, Sarma and De Jong, and Gorges-Schleuter have pointed out that, if a population is struc¬tured according to a mono- or bi-dimensional regular lattice, the evolutionary process shows a different dynamic with respect to the panmictic case. In particular, Sarma and De Jong have studied the selection pressure (i.e., the diffusion of a best individual when the only selection operator is active) induced by a regular bi-dimensional structure of the population, proposing a logistic modeling of the selection pressure curves. This model supposes that the diffusion of a best individual in a population follows an exponential law. We show that such a model is inadequate to describe the process, since the growth speed must be quadratic or sub-quadratic in the case of a bi-dimensional regular lattice. New linear and sub-quadratic models are proposed for modeling the selection pressure curves in, respectively, mono- and bi-dimensional regu¬lar structures. These models are extended to describe the process when asynchronous evolutions are employed. Different dynamics of the populations imply different search strategies of the resulting algorithm, when the evolutionary process is used to solve optimisation problems. A benchmark of both discrete and continuous test problems is used to study the search characteristics of the different topologies and updates of the populations. In the last decade, the pioneering studies of Watts and Strogatz have shown that most real networks, both in the biological and sociological worlds as well as in man-made structures, have mathematical properties that set them apart from regular and random structures. In particular, they introduced the concepts of small-world graphs, and they showed that this new family of structures has interesting computing capabilities. Populations structured according to these new topologies are proposed, and their evolutionary dynamics are studied and modeled. We also propose asynchronous evolutions for these structures, and the resulting evolutionary behaviors are investigated. Many man-made networks have grown, and are still growing incrementally, and explanations have been proposed for their actual shape, such as Albert and Barabasi's preferential attachment growth rule. However, many actual networks seem to have undergone some kind of Darwinian variation and selection. Thus, how these networks might have come to be selected is an interesting yet unanswered question. In the last part of this work, we show how a simple evolutionary algorithm can enable the emrgence o these kinds of structures for two prototypical problems of the automata networks world, the majority classification and the synchronisation problems. Synopsis L'objectif principal de ce travail est de montrer l'influence du choix de la dimension temporelle et de la structure spatiale d'une population sur un processus évolutionnaire artificiel. Dans le domaine de l'Evolution Artificielle on peut observer une tendence à évoluer d'une façon synchrone des populations panmictiques, où chaque individu peut être récombiné avec tout autre individu dans la population. Déjà dans les année '90, Spiessens et Manderick, Sarma et De Jong, et Gorges-Schleuter ont observé que, si une population possède une structure régulière mono- ou bi-dimensionnelle, le processus évolutionnaire montre une dynamique différente de celle d'une population panmictique. En particulier, Sarma et De Jong ont étudié la pression de sélection (c-à-d la diffusion d'un individu optimal quand seul l'opérateur de sélection est actif) induite par une structure régulière bi-dimensionnelle de la population, proposant une modélisation logistique des courbes de pression de sélection. Ce modèle suppose que la diffusion d'un individu optimal suit une loi exponentielle. On montre que ce modèle est inadéquat pour décrire ce phénomène, étant donné que la vitesse de croissance doit obéir à une loi quadratique ou sous-quadratique dans le cas d'une structure régulière bi-dimensionnelle. De nouveaux modèles linéaires et sous-quadratique sont proposés pour des structures mono- et bi-dimensionnelles. Ces modèles sont étendus pour décrire des processus évolutionnaires asynchrones. Différentes dynamiques de la population impliquent strategies différentes de recherche de l'algorithme résultant lorsque le processus évolutionnaire est utilisé pour résoudre des problèmes d'optimisation. Un ensemble de problèmes discrets et continus est utilisé pour étudier les charactéristiques de recherche des différentes topologies et mises à jour des populations. Ces dernières années, les études de Watts et Strogatz ont montré que beaucoup de réseaux, aussi bien dans les mondes biologiques et sociologiques que dans les structures produites par l'homme, ont des propriétés mathématiques qui les séparent à la fois des structures régulières et des structures aléatoires. En particulier, ils ont introduit la notion de graphe sm,all-world et ont montré que cette nouvelle famille de structures possède des intéressantes propriétés dynamiques. Des populations ayant ces nouvelles topologies sont proposés, et leurs dynamiques évolutionnaires sont étudiées et modélisées. Pour des populations ayant ces structures, des méthodes d'évolution asynchrone sont proposées, et la dynamique résultante est étudiée. Beaucoup de réseaux produits par l'homme se sont formés d'une façon incrémentale, et des explications pour leur forme actuelle ont été proposées, comme le preferential attachment de Albert et Barabàsi. Toutefois, beaucoup de réseaux existants doivent être le produit d'un processus de variation et sélection darwiniennes. Ainsi, la façon dont ces structures ont pu être sélectionnées est une question intéressante restée sans réponse. Dans la dernière partie de ce travail, on montre comment un simple processus évolutif artificiel permet à ce type de topologies d'émerger dans le cas de deux problèmes prototypiques des réseaux d'automates, les tâches de densité et de synchronisation.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

La hiérarchie de Wagner constitue à ce jour la plus fine classification des langages ω-réguliers. Par ailleurs, l'approche algébrique de la théorie de langages formels montre que ces ensembles ω-réguliers correspondent précisément aux langages reconnaissables par des ω-semigroupes finis pointés. Ce travail s'inscrit dans ce contexte en fournissant une description complète de la contrepartie algébrique de la hiérarchie de Wagner, et ce par le biais de la théorie descriptive des jeux de Wadge. Plus précisément, nous montrons d'abord que le degré de Wagner d'un langage ω-régulier est effectivement un invariant syntaxique. Nous définissons ensuite une relation de réduction entre ω-semigroupes pointés par le biais d'un jeu infini de type Wadge. La collection de ces structures algébriques ordonnée par cette relation apparaît alors comme étant isomorphe à la hiérarchie de Wagner, soit un quasi bon ordre décidable de largeur 2 et de hauteur ω. Nous exposons par la suite une procédure de décidabilité de cette hiérarchie algébrique : on décrit une représentation graphique des ω-semigroupes finis pointés, puis un algorithme sur ces structures graphiques qui calcule le degré de Wagner de n'importe quel élément. Ainsi le degré de Wagner de tout langage ω-régulier peut être calculé de manière effective directement sur son image syntaxique. Nous montrons ensuite comment construire directement et inductivement une structure de n''importe quel degré. Nous terminons par une description détaillée des invariants algébriques qui caractérisent tous les degrés de cette hiérarchie. Abstract The Wagner hierarchy is known so far to be the most refined topological classification of ω-rational languages. Also, the algebraic study of formal languages shows that these ω-rational sets correspond precisely to the languages recognizable by finite pointed ω-semigroups. Within this framework, we provide a construction of the algebraic counterpart of the Wagner hierarchy. We adopt a hierarchical game approach, by translating the Wadge theory from the ω-rational language to the ω-semigroup context. More precisely, we first show that the Wagner degree is indeed a syntactic invariant. We then define a reduction relation on finite pointed ω-semigroups by means of a Wadge-like infinite two-player game. The collection of these algebraic structures ordered by this reduction is then proven to be isomorphic to the Wagner hierarchy, namely a well-founded and decidable partial ordering of width 2 and height $\omega^\omega$. We also describe a decidability procedure of this hierarchy: we introduce a graph representation of finite pointed ω-semigroups allowing to compute their precise Wagner degrees. The Wagner degree of every ω-rational language can therefore be computed directly on its syntactic image. We then show how to build a finite pointed ω-semigroup of any given Wagner degree. We finally describe the algebraic invariants characterizing every Wagner degree of this hierarchy.