Unveiling the mating system and genetic variability in the yeast Kwoniella mangroviensis using molecular approaches

Dissertação para obtenção do Grau de Mestre em Genética Molecular e Biomedicina

Automated Generation of Indoor Accessibility Information for Mobility-Impaired Individuals

Dissertation submitted in partial fulfillment of the requirements for the Degree of Master of Science in Geospatial Technologies.

Isolation of dengue 2 virus from a patient with central nervous system involvement (transverse myelitis)

A dengue fever case is described in a 58-year-old male patient with febrile illness and thrombocytopenia complicated by neurological involvement characterized by transverse myelitis followed by weakness of both legs and flaccid paralysis. Muscle strength was much diminished and bilateral areflexia was observed. Dengue 2 (DEN-2) virus was isolated and the patient sero-converted by hemagglutination-inhibition and IgM-ELISA tests. The RT-PCR test was positive to DEN-2 in acute phase serum and culture supernatant, but negative in the cerebrospinal fluid. After three weeks of hospitalization the patient was discharged. No other infectious agent was detected in the blood and cerebrospinal fluid samples. The patient had full recovery from paralysis six months after the onset of DEN-2 infection.

The implementation of an Enterprise Geographical Information System to support Cadastre and Expropriation activities.

The processes of mobilization of land for infrastructures of public and private domain are developed according to proper legal frameworks and systematically confronted with the impoverished national situation as regards the cadastral identification and regularization, which leads to big inefficiencies, sometimes with very negative impact to the overall effectiveness. This project report describes Ferbritas Cadastre Information System (FBSIC) project and tools, which in conjunction with other applications, allow managing the entire life-cycle of Land Acquisition and Cadastre, including support to field activities with the integration of information collected in the field, the development of multi-criteria analysis information, monitoring all information in the exploration stage, and the automated generation of outputs. The benefits are evident at the level of operational efficiency, including tools that enable process integration and standardization of procedures, facilitate analysis and quality control and maximize performance in the acquisition, maintenance and management of registration information and expropriation (expropriation projects). Therefore, the implemented system achieves levels of robustness, comprehensiveness, openness, scalability and reliability suitable for a structural platform. The resultant solution, FBSIC, is a fit-for-purpose cadastre information system rooted in the field of railway infrastructures. FBSIC integrating nature of allows: to accomplish present needs and scale to meet future services; to collect, maintain, manage and share all information in one common platform, and transform it into knowledge; to relate with other platforms; to increase accuracy and productivity of business processes related with land property management.

Modulation of electrical stimulation applied to human physiology and clinical diagnostic

The use, manipulation and application of electrical currents, as a controlled interference mechanism in the human body system, is currently a strong source of motivation to researchers in areas such as clinical, sports, neuroscience, amongst others. In electrical stimulation (ES), the current applied to tissue is traditionally controlled concerning stimulation amplitude, frequency and pulse-width. The main drawbacks of the transcutaneous ES are the rapid fatigue induction and the high discomfort induced by the non-selective activation of nervous fibers. There are, however, electrophysiological parameters whose response, like the response to different stimulation waveforms, polarity or a personalized charge control, is still unknown. The study of the following questions is of great importance: What is the physiological effect of the electric pulse parametrization concerning charge, waveform and polarity? Does the effect change with the clinical condition of the subjects? The parametrization influence on muscle recruitment can retard fatigue onset? Can parametrization enable fiber selectivity, optimizing the motor fibers recruitment rather than the nervous fibers, reducing contraction discomfort? Current hardware solutions lack flexibility at the level of stimulation control and physiological response assessment. To answer these questions, a miniaturized, portable and wireless controlled device with ES functions and full integration with a generic biosignals acquisition platform has been created. Hardware was also developed to provide complete freedom for controlling the applied current with respect to the waveform, polarity, frequency, amplitude, pulse-width and duration. The impact of the methodologies developed is successfully applied and evaluated in the contexts of fundamental electrophysiology, psycho-motor rehabilitation and neuromuscular disorders diagnosis. This PhD project was carried out in the Physics Department of Faculty of Sciences and Technology (FCT-UNL), in straight collaboration with PLUX - Wireless Biosignals S.A. company and co-funded by the Foundation for Science and Technology.

Performance of the Vitek 2 system software version 5.03 in the bacterial identification and antimicrobial susceptibility test: evaluation study of clinical and reference strains of Gram-positive cocci

Introduction. The genera Enterococcus, Staphylococcus and Streptococcus are recognized as important Gram-positive human pathogens. The aim of this study was to evaluate the performance of Vitek 2 in identifying Gram-positive cocci and their antimicrobial susceptibilities. Methods. One hundred four isolates were analyzed to determine the accuracy of the automated system for identifying the bacteria and their susceptibility to oxacillin and vancomycin. Results. The system correctly identified 77.9% and 97.1% of the isolates at the species and genus levels, respectively. Additionally, 81.8% of the Vitek 2 results agreed with the known antimicrobial susceptibility profiles. Conclusion. Vitek 2 correctly identified the commonly isolated strains; however, the limitations of the method may lead to ambiguous findings.

Simulation of a rectifier malfunction on a offshore wind system with HVDC transmission

A new integrated mathematical model for the simulation of an offshore wind system having a rectifier input voltage malfunction at one phase is presented in this paper. The mathematical model considers an offshore variable-speed wind turbine on a floating platform, equipped with a permanent magnet synchronous generator using full-power three-level converter to inject energy into the electric network, through a high voltage direct current transmission submarine cable. The model for the drive train is a discrete three mass, incorporating the dynamic of the moving surface. A case study is presented to access conclusion about the malfunction.

Development of a water-in-oil-in-water multiple emulsion system integrating biomimetic aqueous-core lipid nanodroplets for protein entity stabilization. Part I: experimental factorial design

Lipid nanoballoons integrating multiple emulsions of the type water-in-oil-in-water enclose, at least in theory, a biomimetic aqueous-core suitable for housing hydrophilic biomolecules such as proteins, peptides and bacteriophage particles. The research effort entertained in this paper reports a full statistical 23x31 factorial design study (three variables at two levels and one variable at three levels) to optimize biomimetic aqueous-core lipid nanoballoons for housing hydrophilic protein entities. The concentrations of protein, lipophilic and hydrophilic emulsifiers, and homogenization speed were set as the four independent variables, whereas the mean particle hydrodynamic size (HS), zeta potential (ZP) and polydispersity index (PI) were set as the dependent variables. The V23x31 factorial design constructed led to optimization of the higher (+1) and lower (-1) levels, with triplicate testing for the central (0) level, thus producing thirty three experiments and leading to selection of the optimized processing parameters as 0.015% (w/w) protein entity, 0.75% (w/w) lipophilic emulsifier (soybean lecithin) and 0.50% (w/w) hydrophilic emulsifier (poloxamer 188). In the present research effort, statistical optimization and production of protein derivatives encompassing full stabilization of their three-dimensional structure, has been attempted via housing said molecular entities within biomimetic aqueous-core lipid nanoballoons integrating a multiple (W/O/W) emulsion.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Full-wave field interactions of nonuniform transmission lines

Transmission-line supertheory, generalized transmission-line theory, radiation

stochastic method for automated matching of horizons across a fault in 3D seismic data

Seismic analysis, horizon matching, fault tracking, marked point process,stochastic annealing

A new, automated, four-colour interphase FISH approach for the simultaneous detection of specific aneuploidies of diagnosis and prognosis significance in high hyperdiploid ALL

In hyperdiploid acute lymphoblastic leukaemia (ALL), the simultaneous occurrence of specific aneuploidies confers a more favourable outcome than hyperdiploidy alone. Interphase (I) FISH complements conventional cytogenetics (CC) through its sensitivity and ability to detect chromosome aberrations in non-dividing cells. To overcome the limits of manual I-FISH, we developed an automated four-colour I-FISH approach and assessed its ability to detect concurrent aneuploidies in ALL. I-FISH was performed using centromeric probes for chromosomes 4, 6, 10 and 17. Parameters established for automatic nucleus selection and signal detection were evaluated (3 controls). Cut-off values were determined (10 controls, 1000 nuclei/case). Combinations of aneuploidies were considered relevant when each aneuploidy was individually significant. Results obtained in 10 ALL patients (1500 nuclei/patient) were compared with those by CC. Various combinations of aneuploidies were identified. All clones detected by CC were observed by I-FISH. I-FISH revealed numerous additional abnormal clones, ranging between 0.1 % and 31.6%, based on the large number of nuclei evaluated. Four-colour automated I-FISH permits the identification of concurrent aneuploidies of prognostic significance in hyperdiploid ALL. Large numbers of cells can be analysed rapidly by this method. Owing to its high sensitivity, the method provides a powerful tool for the detection of small abnormal clones at diagnosis and during follow up. Compared to CC, it generates a more detailed cytogenetic picture, the biological and clinical significance of which merits further evaluation. Once optimised for a given set of probes, the system can be easily adapted for other probe combinations.

Direct Sensitivity Test of the MB/BacT System

In order to evaluate the direct-method test of sensitivity to drugs used in the principal tuberculosis treatment regimes, in the Organon Teknika MB/BacT system, we tested 50 sputum samples positive to microscopy taken from patients with pulmonary tuberculosis and with clinical indications for an antibiogram, admitted sequentially for examination during the routine of the reference laboratory. The material was treated v/v with 23% trisodium phosphate solution, incubated for 24 h at 35°C, and neutralized v/v with 20% monosodium phosphate solution. The material was then centrifuged and the sediment inoculated into flasks containing Rifampin - 2 µg/ml, Isoniazid - 0.2 µg/ml, Pyrazinamide - 100 µg/ml, Ethambutol - 2.5 µg/ml, Ethionamide - 1.25 µg/ml, and Streptomycin - 2 µg/ml. The tests were evaluated using the indirect method in the BACTEC 460 TB (Becton Dickinson) system as the gold standard. The results showed that the Rifampin test performed best, i.e., 100% sensitivity at 95% Confidence Interval (82.2-100) and 100% specificity at 95% Confidence Interval (84.5-100), followed by Isoniazid and Pyrazinamide. In this experiment, 92% of the materials showed a final reading in 30 days; this period represents the time for primary isolation as well as the results of the sensitivity profile, and is within Centers for Disease Control and Prevention recommendations regarding time for performance of the antibiogram. The inoculated flasks showed no contamination during the experiment. The MB/BacT is shown to be a reliable, rapid, fully automated nonradiometric system for the tuberculosis antibiogram.

Evaluation of indirect susceptibility testing of Mycobacterium tuberculosis to the first- and second-line, and alternative drugs by the newer MB/BacT system

In order to evaluate the Organon Teknika MB/BacT system used for testing indirect susceptibility to the alternative drugs ofloxacin (OFLO), amikacin (AMI), and rifabutin (RIF), and to the usual drugs of standard treatment regimes such as rifampin (RMP), isoniazid (INH), pyrazinamide (PZA), streptomycin (SM), ethambutol (EMB), and ethionamide (ETH), cultures of clinical specimens from 117 patients with pulmonary tuberculosis under multidrug-resistant investigation, admitted sequentially for examination from 2001 to 2002, were studied. Fifty of the Mycobacterium tuberculosis cultures were inoculated into the gold-standard BACTEC 460 TB (Becton Dickinson) for studying resistance to AMI, RIF, and OFLO, and the remaining 67 were inoculated into Lowenstein Jensen (LJ) medium (the gold standard currently used in Brazil) for studying resistance to RMP, INH, PZA, SM, EMB, and ETH. We observed 100% sensitivity for AMI (80.8-100), RIF (80.8-100), and OFLO (78.1-100); and 100% specificity for AMI (85.4-100), RIF (85.4-100), and OFLO (86.7-100) compared to the BACTEC system. Comparing the results obtained in LJ we observed 100% sensitivity for RMP (80-100), followed by INH - 95% (81.8-99.1), EMB - 94.7% (71.9-99.7), and 100% specificity for all drugs tested except for PZA - 98.3 (89.5-99.9) at 95% confidence interval. The results showed a high level of accuracy and demonstrated that the fully automated, non-radiometric MB/BacT system is indicated for routine use in susceptibility testing in public health laboratories.

The Provision of Schools and the Planning System

This Code of Practice sets out best practice approaches that should be followed by planning authorities in ensuring that the planning system plays its full part in facilitating the timely and cost-effective roll-out of school facilities by the Department of Education and Science and in line with the principles of proper planning and sustainable development. Complementing and expanding on previous planning guidelines issued by the Department of the Environment, Heritage and Local Government (DEHLG) in 2007 on the preparation of development plans (2007), these guidelines also include details of how: the Department of Education and Science will support the work of planning authorities in their planning functions, and planning authorities can complement and build on such interaction through site identification and acquisition