682 resultados para timed automata


Relevância:

10.00% 10.00%

Publicador:

Relevância:

10.00% 10.00%

Publicador:

Resumo:

OBJECTIVE: To investigate the safety and efficacy of 50-Hz repetitive transcranial magnetic stimulation (rTMS) in the treatment of motor symptoms in Parkinson disease (PD). BACKGROUND: Progression of PD is characterized by the emergence of motor deficits that gradually respond less to dopaminergic therapy. rTMS has shown promising results in improving gait, a major cause of disability, and may provide a therapeutic alternative. Prior controlled studies suggest that an increase in stimulation frequency might enhance therapeutic efficacy. METHODS: In this randomized, double blind, sham-controlled study, the authors investigated the safety and efficacy of 50-Hz rTMS of the motor cortices in 8 sessions over 2 weeks. Assessment of safety and clinical efficacy over a 1-month period included timed tests of gait and bradykinesia, Unified Parkinson's Disease Rating Scale (UPDRS), and additional clinical, neurophysiological, and neuropsychological parameters. In addition, the safety of 50-Hz rTMS was tested with electromyography-electroencephalogram (EMG-EEG) monitoring during and after stimulation. RESULTS: The authors investigated 26 patients with mild to moderate PD: 13 received 50-Hz rTMS and 13 sham stimulation. The 50-Hz rTMS did not improve gait, bradykinesia, and global and motor UPDRS, but there appeared a short-lived "on"-state improvement in activities of daily living (UPDRS II). The 50-Hz rTMS lengthened the cortical silent period, but other neurophysiological and neuropsychological measures remained unchanged. EMG/EEG recorded no pathological increase of cortical excitability or epileptic activity. There were no adverse effects. CONCLUSION: It appears that 50-Hz rTMS of the motor cortices is safe, but it fails to improve motor performance and functional status in PD. Prolonged stimulation or other techniques with rTMS might be more efficacious but need to be established in future research.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Chinese have unique perspectives on health and illness, which is mostly umecognized by western medicine. Immigration may contribute to problems with health consultations, inconvenience, and dissatisfaction. As the largest visible minority in Canada, Chinese- Canadians' perspectives on health should be studied in order to help Chinese immigrants adapt to a new health-care and health-promotion system, and keep them healthy. A quantitative questionnaire was designed based on the findings from a pilot study and previous literature. A hundred participants were recruited from Toronto, Vancouver, Halifax, and St. Catharines. Descriptive analysis and correlation analysis were used to investigate the structure of the variables. Findings indicated that most oftheir attitudes and corresponding practices to the different health aspects were positive. The relation between dietary practices and attitude was only found in small cities. Their attitudes were impacted by their length of stay in Canada. Their attitudes to regularly timed meals and psychological consultation were related to their acculturation level, as was the regularity of their practice of dental flossing. Their self-evaluated general health levels were also found to be affected by their medical history, education level, feeling to talk about • sexual health, and smoking, particularly in the male subjects of the study. In conclusion, they realized that each health aspect w~s important to their health. However, their practices did not bear a strong relation to their beliefs. Traditional thoughts about health reseeded with time. Acculturation level did not affect most of their attitudes or practices. Under pressure, the priority of the daily health practices decreased. Older persons, those with low incomes, lower education levels or families under stress need to pay more attention to their health level. In-depth future research was recommended.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Bioinformatics applies computers to problems in molecular biology. Previous research has not addressed edit metric decoders. Decoders for quaternary edit metric codes are finding use in bioinformatics problems with applications to DNA. By using side effect machines we hope to be able to provide efficient decoding algorithms for this open problem. Two ideas for decoding algorithms are presented and examined. Both decoders use Side Effect Machines(SEMs) which are generalizations of finite state automata. Single Classifier Machines(SCMs) use a single side effect machine to classify all words within a code. Locking Side Effect Machines(LSEMs) use multiple side effect machines to create a tree structure of subclassification. The goal is to examine these techniques and provide new decoders for existing codes. Presented are ideas for best practices for the creation of these two types of new edit metric decoders.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

L'évolution des soins médicaux auprès de la population ayant une lésion médullaire (LM) s'est traduite par une amélioration du profil fonctionnel des personnes atteintes. Ainsi une proportion importante retrouve une capacité à se tenir debout et à marcher qu'il convient d'évaluer adéquatement. Si quelques outils spécifiques à la population lésée médullaire existent pour évaluer leur ambulation, aucune évaluation de l'équilibre debout n'a été validée auprès de cette clientèle. L'échelle de Berg est un outil recommandé auprès de diverses populations, entre autres celles possédant des pathologies d'origine neurologique; et le score obtenu semble lié au niveau d'autonomie à la marche ainsi qu'aux aides techniques utilisées. L'objectif de ce projet de recherche était donc d'établir la validité concomitante de l'échelle de Berg auprès de la population LM et d'explorer les liens entre le score Berg et l'aide technique utilisée. Pour ce faire, trente-deux sujets BM ASIA D ont été recrutés parmi la clientèle hospitalisée de l'Institut de réadaptation Gingras-Lindsay de Montréal. L'évaluation de l'équilibre debout a été réalisée à l'aide de l'échelle de Berg ainsi que des tests statiques, dynamiques et des limites de stabilité du Balance Master. Le Walking Index for Spinal Cord Injury (WISCI), le Spinal Cord Injury Functional Ambulation Inventory (SCI-FAI), la vitesse de marche sur 10m et le Timed up and go ont été utilisés pour évaluer l'ambulation. Des analyses descriptives et corrélatives ont été effectuées sur les données obtenues. Une corrélation forte (0.714

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le diabète maternel est un facteur de risque majeur pour le développement de malformations congénitales. Dans le syndrome de l’embryopathie diabétique, l’exposition prolongée du fœtus à de hautes concentrations ambientes de glucose induit des dommages qui peuvent affecter plusieurs organes, dont les reins. Les malformations rénales sont la cause de près de 40 pourcent des cas d’insuffisance rénale infantile. L’hyperglycémie constitue un environnement utérin adverse qui nuit à la néphrogenèse et peut causer l’agenèse, la dysplasie (aplasie) ou l’hypoplasie rénale. Les mécanismes moléculaires par lesquels les hautes concentrations ambientes de glucose mènent à la dysmorphogenèse et aux malformations demeurent toutefois mal définis. Le diabète maternel prédispose aussi la progéniture au développement d’autres problèmes à l’âge adulte, tels l’hypertension, l’obésité et le diabète de type 2. Ce phénomène appelé ‘programmation périnatale’ a suscité l’intérêt au cours des dernières décennies, mais les mécanismes responsables demeurent mal compris. Mes études doctorales visaient à élucider les mécanismes moléculaires par lesquels le diabète maternel ou un environnement in utero hyperglycémique affecte la néphrogenèse et programme par la suite la progéniture a développer de l’hypertension par des observations in vitro, ex vivo et in vivo. Nous avons utilisé les cellules MK4, des cellules embryonnaires du mésenchyme métanéphrique de souris, pour nos études in vitro et deux lignées de souris transgéniques (Tg) pour nos études ex vivo et in vivo, soient les souris HoxB7-GFP-Tg et Nephrin-CFP-Tg. Les souris HoxB7-GFP-Tg expriment la protéine fluorescente verte (GFP) dans le bourgeon urétérique (UB), sous le contrôle du promoteur HoxB7. Les souris Nephrin-CFP expriment la protéine fluorescente cyan (CFP) dans les glomérules, sous le contrôle du promoteur nephrin spécifique aux podocytes. Nos études in vitro visaient à déterminer si les hautes concentrations de glucose modulent l’expression du gène Pax2 dans les cellules MK4. Les cellules MK4 ont été traitées pendant 24h avec du milieu contenant soit 5mM D-glucose et 20mM D-mannitol ou 25mM D-glucose et avec ou sans antioxydants ou inhibiteurs de p38 MAPK, p44/42 MAPK, PKC et NF-kB. Nos résultats ont démontré que le D-glucose élevé (25mM) augmente la génération des espèces réactives de l’oxygène (ROS) dans les cellules MK4 et induit spécifiquement l’expression du gène Pax2. Des analogues du glucose tels le D-mannitol, L-glucose ou le 2-Deoxy-D-glucose n’induisent pas cette augmentation dans les cellules MK4. La stimulation de l’expression du gène Pax2 par le D-glucose dans les cellules MK4 peut être bloquée par des inhibiteurs des ROS et de NF-kB, mais pas par des inhibiteurs de p38 MAPK, p44/42 MAPK ou PKC. Ces résultats indiquent que la stimulation de l’expression du gène Pax2 par les concentrations élevées de glucose est due, au moins en partie, à la génération des ROS et l’activation de la voie de signalisation NF-kB, et non pas via les voies PKC, p38 MAPK et p44/42 MAPK. Nos études ex vivo s’intéressaient aux effets d’un milieu hyperglycémique sur la morphogenèse de la ramification du bourgeon urétérique (UB). Des explants de reins embryonnaires (E12 à E18) ont été prélevés par micro-dissection de femelles HoxB7-GFP gestantes. Les explants ont ensuite été cultivés dans un milieu contenant soit 5mM D-glucose et 20mM D-mannitol ou 25mM D-glucose et avec ou sans antioxydants, catalase ou inhibiteur de PI3K/AKT pour diverses durées. Nos résultats ont démontré que le D-glucose stimule la ramification du UB de manière spécifique, et ce via l’expression du gène Pax2. Cette augmentation de la ramification et de l’expression du gène Pax2 peut être bloquée par des inhibiteurs des ROS et de PI3K/AKT. Ces études ont démontré que les hautes concentrations de glucose altèrent la morphogenèse de la ramification du UB via l’expression de Pax2. L’effet stimulant du glucose semble s’effectuer via la génération des ROS et l’activation de la voie de signalisation Akt. Nos études in vivo visaient à déterminer le rôle fondamental du diabète maternel sur les défauts de morphogenèse rénale chez la progéniture. Dans notre modèle animal, le diabète maternel est induit par le streptozotocin (STZ) chez des femelles HoxB7-GFP gestantes (E13). Les souriceaux ont été étudiés à différents âges (naissants et âgés de une, deux ou trois semaines). Nous avons examiné leurs morphologie rénale, nombre de néphrons, expression génique et les événements apoptotiques lors de cette étude à court terme. La progéniture des mères diabétiques avait un plus faible poids, taille et poids des reins, et possédait des glomérules plus petits et moins de néphrons par rapport à la progéniture des mères contrôles. La dysmorphogenèse rénale observée est peut-être causée par l’augmentation de l’apoptose des cellules dans la région du glomérule. Nos résultats ont montré que les souriceaux nés de mères diabétiques possèdent plus de podocytes apoptotiques et plus de marquage contre la caspase-3 active dans leurs tubules rénaux que la progéniture des mères contrôles. Les souriceaux des mères diabétiques montrent une augmentation de l’expression des composants du système rénine angiotensine (RAS) intrarénal comme l’angiotensinogène et la rénine, ainsi qu’une augmentation des isoformes p50 et p65 de NF-kB. Ces résultats indiquent que le diabète maternel active le RAS intrarénal et induit l’apoptose des glomérules, menant à une altération de la morphogenèse rénale de la progéniture. En conclusion, nos études ont permis de démontrer que le glucose élevé ou l’environnement in utero diabétique altère la morphogenèse du UB, qui résulte en un retard dans la néphrogenèse et produit des reins plus petits. Cet effet est dû, au moins en partie, à la génération des ROS, à l’activation du RAS intrarénal et à la voie NF-kB. Nos études futures se concentreront sur les mécanismes par lesquels le diabète maternel induit la programmation périnatale de l’hypertension chez la progéniture adulte. Cette étude à long terme porte sur trois types de progénitures : adultes nés de mères contrôles, diabétiques ou diabétiques traitées avec insuline pendant la gestation. Nous observerons la pression systolique, la morphologie rénale et l’expression de divers gènes et protéines. Nous voulons de plus déterminer si la présence d’un système antioxydant (catalase) peut protéger la progéniture des effets néfastes des ROS causés par l’environnement in utero hyperglycémique. Les souris Catalase-Tg expriment la catalase spécifiquement dans les tubules proximaux et nous permettrons d’explorer notre hypothèse sur le rôle des ROS dans notre modèle expérimental de diabète maternel.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Objectif: Évaluer les défis de la mobilité chez les personnes âgées atteintes de dégénérescence maculaire reliée à l’âge (DMLA), de glaucome ou de dystrophie cornéenne de Fuchs et les comparer avec les personnes âgées n’ayant pas de maladie oculaire. Devis: Étude transversale de population hospitalière Participants: 253 participants (61 avec la DMLA, 45 avec la dystrophie cornéenne de Fuchs, 79 avec le glaucome et 68 contrôles) Méthodes: Nous avons recruté les patients parmi ceux qui se font soigner dans les cliniques d’ophtalmologie de l’Hôpital Maisonneuve-Rosemont (Montréal, Canada) de septembre 2009 à octobre 2010. Les patients atteints de la DMLA ou de la maladie de Fuchs ont une acuité visuelle inférieure à 20/40 dans les deux yeux, tandis que les patients avec du glaucome ont un champ visuel dans le pire oeil inférieur ou égal à -4dB. Les patients contrôles, qui ont été recrutés à partir des mêmes cliniques, ont une acuité visuelle et un champ visuel normaux. Nous avons colligé des données concernant la mobilité à partir des questionnaires (aire de mobilité et chutes) et des tests (test de l’équilibre monopodal, timed Up and Go (TUG) test). Pour mesurer la fonction visuelle nous avons mesuré l’acuité visuelle, la sensibilité au contraste et le champ visuel. Nous avons également révisé le dossier médical. Pour les analyses statistiques nous avons utilisé les régressions linéaire et logistique. Critères de jugement principaux: aire de mobilité, équilibre, test timed Up and Go, chutes Résultats: Les trois maladies oculaires ont été associées à des patrons différents de limitation de la mobilité. Les patients atteints de glaucome ont eu le type le plus sévère de restriction de mobilité; ils ont une aire de mobilité plus réduite, des scores plus bas au test TUG et ils sont plus enclins à avoir un équilibre faible et à faire plus de chutes que les contrôles (p < 0.05). De plus, comparativement aux contrôles, les patients ayant de la DMLA ou la dystrophie cornéenne de Fuchs ont eu une aire de mobilité réduite (p < 0.05). Les chutes n’ont pas été associées aux maladies oculaires dans cette étude. Conclusions: Nos résultats suggèrent que les maladies oculaires, et surtout le glaucome, limitent la mobilité chez les personnes âgées. De futures études sont nécessaires pour évaluer l’impact d’une mobilité restreinte chez cette population pour pouvoir envisager des interventions ciblées qui pourraient les aider à maintenir leur indépendance le plus longtemps possible.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Le problème d'intersection d'automates consiste à vérifier si plusieurs automates finis déterministes acceptent un mot en commun. Celui-ci est connu PSPACE-complet (resp. NL-complet) lorsque le nombre d'automates n'est pas borné (resp. borné par une constante). Dans ce mémoire, nous étudions la complexité du problème d'intersection d'automates pour plusieurs types de langages et d'automates tels les langages unaires, les automates à groupe (abélien), les langages commutatifs et les langages finis. Nous considérons plus particulièrement le cas où chacun des automates possède au plus un ou deux états finaux. Ces restrictions permettent d'établir des liens avec certains problèmes algébriques et d'obtenir une classification intéressante de problèmes d'intersection d'automates à l'intérieur de la classe P. Nous terminons notre étude en considérant brièvement le cas où le nombre d'automates est fixé.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Thèse effectuée en cotutelle (Université de Poitiers, France)

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Les changements climatiques prennent une importance grandissante dans l’étude des phénomènes spatiaux à grande échelle. Plusieurs experts affirment que les changements climatiques seront un des principaux moteurs de changement écologique dans les prochaines décennies et que leurs conséquences seront inévitables. Ces changements se manifesteront sur le milieu physique par la fonte des calottes glaciaires, le dégel du pergélisol, l’instabilité des versants montagneux en zone de pergélisol, l’augmentation de l’intensité, de la sévérité et de la fréquence des événements climatiques extrêmes tels les feux de forêt. Les changements climatiques se manifesteront aussi sur le milieu biologique, tel la modification de la durée de la saison végétative, l’augmentation des espèces exotiques invasives et les changements dans la distribution en espèces vivantes. Deux aspects sont couverts par cette étude : 1) les changements dans la répartition spatiale de 39 espèces d’oiseaux et 2) les modifications dans les patrons spatiaux des feux, en forêt boréale québécoise, tous deux dans l’horizon climatique de 2100. Une approche de modélisation statistique démontre que la répartition spatiale des oiseaux de la forêt boréale est fortement liée à des variables bioclimatiques (R2adj = 0.53). Ces résultats permettent d’effectuer des modélisations bioclimatiques pour le gros-bec errant et la mésange à tête noire quivoient une augmentation de la limite nordique de distribution de l’espèce suivant l’intensité du réchauffement climatique. Finalement, une modélisation spatialement explicite par automate cellulaire permet de démontrer comment les changements climatiques induiront une augmentation dans la fréquence de feux de forêt et dans la superficie brûlée en forêt boréale du Québec.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

One major component of power system operation is generation scheduling. The objective of the work is to develop efficient control strategies to the power scheduling problems through Reinforcement Learning approaches. The three important active power scheduling problems are Unit Commitment, Economic Dispatch and Automatic Generation Control. Numerical solution methods proposed for solution of power scheduling are insufficient in handling large and complex systems. Soft Computing methods like Simulated Annealing, Evolutionary Programming etc., are efficient in handling complex cost functions, but find limitation in handling stochastic data existing in a practical system. Also the learning steps are to be repeated for each load demand which increases the computation time.Reinforcement Learning (RL) is a method of learning through interactions with environment. The main advantage of this approach is it does not require a precise mathematical formulation. It can learn either by interacting with the environment or interacting with a simulation model. Several optimization and control problems have been solved through Reinforcement Learning approach. The application of Reinforcement Learning in the field of Power system has been a few. The objective is to introduce and extend Reinforcement Learning approaches for the active power scheduling problems in an implementable manner. The main objectives can be enumerated as:(i) Evolve Reinforcement Learning based solutions to the Unit Commitment Problem.(ii) Find suitable solution strategies through Reinforcement Learning approach for Economic Dispatch. (iii) Extend the Reinforcement Learning solution to Automatic Generation Control with a different perspective. (iv) Check the suitability of the scheduling solutions to one of the existing power systems.First part of the thesis is concerned with the Reinforcement Learning approach to Unit Commitment problem. Unit Commitment Problem is formulated as a multi stage decision process. Q learning solution is developed to obtain the optimwn commitment schedule. Method of state aggregation is used to formulate an efficient solution considering the minimwn up time I down time constraints. The performance of the algorithms are evaluated for different systems and compared with other stochastic methods like Genetic Algorithm.Second stage of the work is concerned with solving Economic Dispatch problem. A simple and straight forward decision making strategy is first proposed in the Learning Automata algorithm. Then to solve the scheduling task of systems with large number of generating units, the problem is formulated as a multi stage decision making task. The solution obtained is extended in order to incorporate the transmission losses in the system. To make the Reinforcement Learning solution more efficient and to handle continuous state space, a fimction approximation strategy is proposed. The performance of the developed algorithms are tested for several standard test cases. Proposed method is compared with other recent methods like Partition Approach Algorithm, Simulated Annealing etc.As the final step of implementing the active power control loops in power system, Automatic Generation Control is also taken into consideration.Reinforcement Learning has already been applied to solve Automatic Generation Control loop. The RL solution is extended to take up the approach of common frequency for all the interconnected areas, more similar to practical systems. Performance of the RL controller is also compared with that of the conventional integral controller.In order to prove the suitability of the proposed methods to practical systems, second plant ofNeyveli Thennal Power Station (NTPS IT) is taken for case study. The perfonnance of the Reinforcement Learning solution is found to be better than the other existing methods, which provide the promising step towards RL based control schemes for practical power industry.Reinforcement Learning is applied to solve the scheduling problems in the power industry and found to give satisfactory perfonnance. Proposed solution provides a scope for getting more profit as the economic schedule is obtained instantaneously. Since Reinforcement Learning method can take the stochastic cost data obtained time to time from a plant, it gives an implementable method. As a further step, with suitable methods to interface with on line data, economic scheduling can be achieved instantaneously in a generation control center. Also power scheduling of systems with different sources such as hydro, thermal etc. can be looked into and Reinforcement Learning solutions can be achieved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Analysis by reduction is a linguistically motivated method for checking correctness of a sentence. It can be modelled by restarting automata. In this paper we propose a method for learning restarting automata which are strictly locally testable (SLT-R-automata). The method is based on the concept of identification in the limit from positive examples only. Also we characterize the class of languages accepted by SLT-R-automata with respect to the Chomsky hierarchy.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

We study several extensions of the notion of alternation from context-free grammars to context-sensitive and arbitrary phrase-structure grammars. Thereby new grammatical characterizations are obtained for the class of languages that are accepted by alternating pushdown automata.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Die Fachgruppe AFS (früher Fachgruppe 0.1.5) der Gesellschaft für Informatik veranstaltet seit 1991 einmal im Jahr ein Treffen der Fachgruppe im Rahmen eines Theorietags, der traditionell eineinhalb Tage dauert. Seit dem Jahr 1996 wird dem eigentlichen Theorietag noch ein eintägiger Workshop zu speziellen Themen der theoretischen Informatik vorangestellt. In diesem Jahr wurde der Theorietag vom Fachgebiet "Theoretische Informatik" des Fachbereichs Elektrotechnik/Informatik der Universität Kassel organisiert. Er fand vom 29.9. bis 1.10.2010 in Baunatal bei Kassel statt. Dabei stand der begleitende Workshop unter dem allgemeinen Thema "Ausgewählte Themen der Theoretischen Informatik". Als Vortragende für diesen Workshop konnten Carsten Damm (Göttingen), Markus Holzer (Giessen), Peter Leupold (Kassel), Martin Plátek (Prag) und Heribert Vollmer (Hannover) gewonnen werden. Das Programm des eigentlichen Theorietags bestand aus 20 Vorträgen sowie der Sitzung der Fachgruppe AFS. In diesem Band finden sich die Zusammenfassungen aller Vorträge sowohl des Workshops als auch des Theorietags. Desweiteren enthält er das Programm und die Liste aller Teilnehmer.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

In this thesis I present a language for instructing a sheet of identically-programmed, flexible, autonomous agents (``cells'') to assemble themselves into a predetermined global shape, using local interactions. The global shape is described as a folding construction on a continuous sheet, using a set of axioms from paper-folding (origami). I provide a means of automatically deriving the cell program, executed by all cells, from the global shape description. With this language, a wide variety of global shapes and patterns can be synthesized, using only local interactions between identically-programmed cells. Examples include flat layered shapes, all plane Euclidean constructions, and a variety of tessellation patterns. In contrast to approaches based on cellular automata or evolution, the cell program is directly derived from the global shape description and is composed from a small number of biologically-inspired primitives: gradients, neighborhood query, polarity inversion, cell-to-cell contact and flexible folding. The cell programs are robust, without relying on regular cell placement, global coordinates, or synchronous operation and can tolerate a small amount of random cell death. I show that an average cell neighborhood of 15 is sufficient to reliably self-assemble complex shapes and geometric patterns on randomly distributed cells. The language provides many insights into the relationship between local and global descriptions of behavior, such as the advantage of constructive languages, mechanisms for achieving global robustness, and mechanisms for achieving scale-independent shapes from a single cell program. The language suggests a mechanism by which many related shapes can be created by the same cell program, in the manner of D'Arcy Thompson's famous coordinate transformations. The thesis illuminates how complex morphology and pattern can emerge from local interactions, and how one can engineer robust self-assembly.