The infectivity of single flagellates of Trypanosoma cruzi

Single organisms of Trypanosoma cruzi of the virulent Peru strain were isolated by direct visualisation and were injected peritoneally into CFI mice. Single trypanomastigotes of different morphology and from different sources (mouse blood, in vitro cufture and bug faeces) were used. Single trypanomastigotes from mouse blood caused parasitaemia and fataiity in a high percentage of mice. This was true irrespective of the morphology (broad or narrow form) of the trypano mastigo tec. Single organisms of the culture forms were also capable of causing infection, although these were less infectious than single trypanomastigotes obtained from mouse blood or the reduviid bug. The difficulties attendant on the performance of the cloning technique are discussed and some indication is given of how these problems can be overcome.

Lawyers, judges, and judicial reform: A conceptual framework and a quantitative exploration

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Economics from the NOVA – School of Business and Economics

Promoção da autonomia dos alunos na aprendizagem de programação para a WEB

Relatório de estágio de mestrado em Ensino de Informática

Estudo, desenvolvimento de manuais de utilização e colocação em funcionamento da bancada SIMATIC da Siemens

Dissertação de mestrado em Engenharia Mecatrónica

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

A Prova por reconhecimento de pessoas produzida ex novo em sede de audiência de julgamento: fiabilidade e impacto na descoberta da verdade material

Dissertação de mestrado em Direito Judiciário (Direitos Processuais e Organização Judiciária)

Genetic regulatory mechanisms by means of extended interactive Petri nets

In our work we have chosen to integrate formalism for knowledge representation with formalism for process representation as a way to specify and regulate the overall activity of a multi-cellular agent. The result of this approach is XP,N, another formalism, wherein a distributed system can be modeled as a collection of interrelated sub-nets sharing a common explicit control structure. Each sub-net represents a system of asynchronous concurrent threads modeled by a set of transitions. XP,N combines local state and control with interaction and hierarchy to achieve a high-level abstraction and to model the complex relationships between all the components of a distributed system. Viewed as a tool XP,N provides a carefully devised conflict resolution strategy that intentionally mimics the genetic regulatory mechanism used in an organic cell to select the next genes to process.

Object-oriented inheritance of statecharts for control applications

This paper discusses how object-oriented iuheritance can be re-interpreted if statecharts are used for modelling the dynamic behaviour of an object. The support of inheritance of statecharts allows the improvement of systems' development by easing the reutilization of parts of already developed euccessful systems, aad by promoting the iterative and continuous models' refinement advocated by the operatioaal approach. Statechart is the formalism used within UML to specify reactive state.based behaviours. This paper covers the use of statecharts within the modelling of embedded systems for industrial control applxications, where performance and memory usage are main concerns.

Descodificação do De re aedificatoria de Alberti: gramáticas de forma para a análise e geração de edifícios sagrados

Teses de Doutoramento em Arquitectura.

Явление пересоединения магнитных силовых линий в лобовой области магнитосферы в рамках Топологического формализма

მაგნიტოსფეროს შუბლა არეში საპლანეტათაშორისო მაგნიტური ველისა და გეომაგნიტური ველის სასაზღვრო ძალწირების გადაერთების მოვლენის მოდელირებისათვის გამოყენებულია ალგებრული მრუდების თეორია. გადაერთების შემდეგ მიღებული მაგნიტური ველის ტოპოლოგიური სურათის მიხედვით, სავალდებულო არ არის მაგნიტოსფეროს საზღვრის ეროზია და მისი შიდა სტრუქტურების შეშფოთების გამომწვევი ენერგეტიკული არხის გახსნა.

Pure motives, mixed motives and extensions of motives associated to singular surfaces

We first recall the construction of the Chow motive modelling intersection cohomology of a proper surface X and study its fundamental properties. Using Voevodsky's category of effective geometrical motives, we then study the motive of the exceptional divisor D in a non-singular blow-up of X. If all geometric irreducible components of D are of genus zero, then Voevodsky's formalism allows us to construct certain one-extensions of Chow motives, as canonical subquotients of the motive with compact support of the smooth part of X. Specializing to Hilbert-Blumenthal surfaces, we recover a motivic interpretation of a recent construction of A. Caspar.

Valeur de l'angio-TDM dans le bilan des hémoptysies

Objectifs: Évaluer l'apport de l'angioscanographie dans le cadre d'hémoptysies (1) dans la localisation des artères pathologiques, bronchiques (AB) et systémiques non bronchiques (ASNB) ou artérielles pulmonaires, (2) la localisation de la source du saignement et (3) les anomalies parenchymateuses responsables ou secondaires au saignement en comparaison avec les données angiographiques. Matériels et méthodes: 25 patients consécutifs (12 femmes, 13 hommes) d'un âge moyen de 50 ± 39 ans (min 15, max 89) ont été inclus dans l'étude. Les signes TDM ont été comparés aux signes angiographiques. Résultats: Les artères bronchiques ont été correctement identifiées dans 20 cas. Des ASNB anormales ont été identifiées dans 5 cas chez 4 patients. La TDM a correctement prédit le site d'embolisation dans 19 cas (76%). Les AB étaient responsables de l'hémoptysie dans 25 cas et les ASNB dans 4 cas. Les affections causales ou associées étaient les suivantes: carcinome bronchopulmonaire (n=11), hémangioendothéliome malin (n=1), mucoviscidose (n=7), hémoptysie cryptogénique au cours d'une BPCO (n=1), bronchectasies focales (n=4) et séquelles de tuberculose avec bronchectasies (n=1). Conclusion: Les signes directs et indirects en Angio-TDM sont utiles pour obtenir une visualisation globale des AB et ASNB anormales. Néanmoins, le site optimal d'embolisation ne peut toujours être prédit.

Videolaryngoscopy improves intubation condition in morbidly obese patients

Résumé : Contexte clinique et objectifs: l'intubation oro-trachéale peut être plus difficile chez les patients obèses morbides (index de masse corporelle BMI > 35 kg/m2) que chez les patients non-obèses. Récemment, de nouveaux instruments permettant une intubation assistée au moyen d'une caméra ont été développés. Notre expérience pratique avec la vidéolaryngoscopie nous a conduit à l'hypothèse que celle-ci pourrait améliorer la vision laryngoscopique chez cette population spécifique et de ce fait faciliter l'intubation. Le but de cette étude était donc d'évaluer le bénéfice du vidéolaryngoscope sur le grade de laryngoscopie chez le patient obèse morbide. Résultats : le grade laryngoscopique fut abaissé de manière significative avec le vidéolaryngoscope comparé à la vision directe avec un laryngoscope standard. Lorsque le grade laryngoscopique était plus grand que 1 à la laryngoscopie directe, il fut dans la grande majorité des cas (93% des patients) abaissé avec le vidéolaryngoscope. Chez les 7 % restant, le grade laryngoscopique resta identique. Conclusions : chez le patient obèse morbide, l'utilisation du vidéolaryngoscope améliore de manière significative la visualisation du larynx et de ce fait facilite l'intubation. Une application systématique de ce procédé pourrait donc permettre de réduire l'incidence d'une intubation difficile ainsi que ses conséquences chez cette population de patients. Summary : Background and objective: Tracheal intubation may be more difficult in morbidly obese patients (body mass index >35 kgM-2) than in the non-obese. Recently, new video-assisted intubation devices have been developed. After some experience with videolaryngoscopy, we hypothesized that it could improve the laryngoscopic view in this specific population and therefore facilitate intubation. The aim of this study was to assess the benefit of a videolaryngoscope on the grade of laryngoscopy in morbid obesity. Methods: We studied 80 morbidly obese patients undergoing bariatric surgery. They were randomly assigned to one of two groups. One group was intubated with the help of the videolaryngoscope and in the control group the screen of the videolaryngoscope was hidden to the intubating anaesthesiologist. The primary end-point of the study was to assess in both groups the Cormack and Lehane direct and indirect grades of laryngoscopy. The duration of intubation, the number of attempts needed as well as the minimal SPO2 reached during the intubation process were measured. Results: Grade of laryngoscopy was significantly lower with the videolaryngoscope compared with the direct vision (P < 0.001). When the grade of laryngoscopy was higher than one with the direct laryngoscopy (n = 30), it was lower in 28 cases with the videolaryngoscope and remained the same only in two cases (P < 0.001). The minimal SPO2 reached during the intubation was higher with the videolaryngoscope but it did not reach statistical significance. Conclusions: In morbidly obese patients, the use of the videolaryngoscope significantly improves the visualization of the larynx and thereby facilitates intubation.

Exploration du Plexus Brachial en Imagerie par Résonance Magnétique 3T.

Objectifs: Optimiser la visualisation du plexus brachial dans le cadre d'un examen par résonance magnétique (IRM), avec prise en compte des paramètres techniques. Matériels et méthodes: L'IRM est devenue la technique de choix pour explorer le plexus brachial en raison de ses capacités techniques (rapport signal/bruit, contraste). Pour cela, nousavons optimisé d'une part des séquences de routine et d'autre part des séquences 3D, dans le but de différencier les structures nerveuses et les tissusenvironnants. Une analyse technique des examens sera réalisée sur la base d'un échantillon de patients de morphotypes variés. Résultats: La morphologie de la région étudiée, différente d'un patient à l'autre, influence la qualité de l'examen. Effectivement, l'épaisseur de tissu (graisseux oumusculaire) présent au niveau du plexus brachial et plus particulièrement celle qui sépare l'air ambiant de l'air présent dans les poumons , demande certainsajustements techniques tels que : shimming, plan d'acquisition et reconstruction issue des séquences 3D. Conclusion: Dans le cadre de cet examen peu fréquent, le manipulateur joue un rôle important tant par les ajustements techniques que par ses connaissances anatomiques,afin de produire une imagerie du plexus brachial de haute précision et de grande qualité.

Computer-assisted placement technique in hip resurfacing arthroplasty: improvement in accuracy?

Freehand positioning of the femoral drill guide is difficult during hip resurfacing and the surgeon is often unsure of the implant position achieved peroperatively. The purpose of this study was to find out whether, by using a navigation system, acetabular and femoral component positioning could be made easier and more precise. Eighteen patients operated on by the same surgeon were matched by sex, age, BMI, diagnosis and ASA score (nine patients with computer assistance, nine with the regular ancillary). Pre-operative planning was done on standard AP and axial radiographs with CT scan views for the computer-assisted operations. The final position of implants was evaluated by the same radiographs for all patients. The follow-up was at least 1 year. No difference between both groups in terms of femoral component position was observed (p > 0.05). There was also no difference in femoral notching. A trend for a better cup position was observed for the navigated hips, especially for cup anteversion. There was no additional operating time for the navigated hips. Hip navigation for resurfacing surgery may allow improved visualisation and hip implant positioning, but its advantage probably will be more obvious with mini-incisions than with regular incision surgery.