Role of a novel disulfide bridge within the all-beta fold of soluble Rieske proteins

Journal of Biological Inorganic Chemistry (2010)15: 271-281

Geospatial database generation from digital newspapers: use case for risk and disaster domains.

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

Chronic disseminated histoplasmosis with lesions restricted to the mouth: case report

We report a rare case of chronic disseminated histoplasmosis with several ulcerated lesions in the oral cavity in an alcoholic patient without human immunodeficiency virus infection, with no detectable signs and symptoms of systemic disease or extraoral manifestations. Histopathological analysis revealed chronic inflammatory process with granulomas containing Histoplasma-like organisms. The isolation of Histoplasma capsulatum provided the definitive diagnosis. Treatment with itraconazole resulted in complete remission of oral lesions. As far we aware, this is the second case report of oral histoplasmosis in an HIV negative patient described in Brazil.

Feature Extraction in Densely Sensed Environments: Extensions to Multiple Broadcast Domains

The vision of the Internet of Things (IoT) includes large and dense deployment of interconnected smart sensing and monitoring devices. This vast deployment necessitates collection and processing of large volume of measurement data. However, collecting all the measured data from individual devices on such a scale may be impractical and time consuming. Moreover, processing these measurements requires complex algorithms to extract useful information. Thus, it becomes imperative to devise distributed information processing mechanisms that identify application-specific features in a timely manner and with a low overhead. In this article, we present a feature extraction mechanism for dense networks that takes advantage of dominance-based medium access control (MAC) protocols to (i) efficiently obtain global extrema of the sensed quantities, (ii) extract local extrema, and (iii) detect the boundaries of events, by using simple transforms that nodes employ on their local data. We extend our results for a large dense network with multiple broadcast domains (MBD). We discuss and compare two approaches for addressing the challenges with MBD and we show through extensive evaluations that our proposed distributed MBD approach is fast and efficient at retrieving the most valuable measurements, independent of the number sensor nodes in the network.

Dynamic adaptation of interaction models for stateful web services

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

Classificação Internacional de Funcionalidade, Incapacidade e Saúde : uma dimensão do neurodesenvolvimento

RESUMO: Objetivo Principal • Determinar a consistência da utilização dos instrumentos de avaliação da capacidade intelectual – escalas de Griffiths e WISC III – no enquadramento dos domínios e dos qualificadores da CIF-CJ, restrita às funções mentais do corpo. Objetivo secundário: • Estudar a efetividade e concordância inter-observador da aplicação da CIF, com base na leitura dos dados obtidos em avaliação efetuada com os instrumentos referidos, por duas observadoras independentes, em contexto de articulação saúde, respetivamente educação e segurança social Métodos • Estudo observacional, descritivo, transversal e prospetivo. • Foi estudada uma amostra de conveniência 355 crianças, num período de três anos (Maio de 2010 a 30 de Abril de 2013), com patologia da área da pediatria do neurodesenvolvimento (total de 4000 consultas) no Centro de Desenvolvimento (CD) do Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC, EPE). • Critérios de inclusão: crianças de ambos os sexos, observadas no CD do HDE, CHLC (primeiras consultas e consultas de reavaliação) com idade ≥12 meses e ≤17 anos e incapacidade intelectual definida de acordo com os critérios da DSM-IV-TR, DSM 5 e CID-10. • Critérios de exclusão: crianças com autismo, perturbações específicas da linguagem, hiperatividade, défice de atenção e concentração, défices sensoriais congénitos (baixa visão e ou audição), ou com outros diagnósticos de perturbações de neurodesenvolvimento. • O estudo teve duas fases: na primeira, a investigadora principal colheu ou atualizou a história clínica, observou clinicamente as crianças solicitando os exames complementares considerados necessários e foi efetuada avaliação psicológica com os instrumentos adiante descritos, pela mesma psicóloga clínica, devidamente credenciada, e com larga experiência nas escalas referidas. Com base nos dados colhidos, quer por observação direta, quer através dos resultados das escalas Griffiths e WISC – III, a investigadora aplicou a CIF-CJ, circunscrita aos domínios e funções (variáveis): 1. FUNÇÕESMENTAIS GLOBAIS (b110- Funções da consciência, b114- Funções da orientação no espaço e no tempo, b117 – Funções intelectuais, b122- Funções psicossociais globais, b125- Funções intrapessoais, b126- Funções do temperamento e da personalidade); 2.FUNÇÕES MENTAIS ESPECÌFICAS (b140- funções da atenção, b147- Funções psicomotoras, b152- Funções emocionais, b156- Funções da perceção, b163- Funções cognitivas básicas, b164- Funções cognitivas de nível superior, b167- Funções mentais da linguagem 3. FUNÇÕES DA VOZ E DA FALA (b320- Funções da articulação, b330- Funções da fluência e do ritmo da fala). Numa segunda fase, foi solicitada a colaboração de duas co-investigadoras, com formação específica nas escalas utilizadas e na CIF-CJ, a aplicação da CIF nos mesmos domínios e funções. Estas observadoras não efetuaram observações diretas das crianças envolvidas. • Para efetuar a análise estatística e analisar a relação entre os qualificadores (0 a 4) das variáveis da CIF em estudo (b117, b122, b147, b163, b164, b167, b320 e b330) e os instrumentos psicométricos (escalas de Griffiths e WISC III), que constitui a primeira parte do estudo, recorreu-se à técnica estatística não paramétrica do coeficiente de correlação de Spearman, que quantifica a intensidade e sinal da eventual correlação existente entre as variáveis em estudo. • Para determinar as correlações referentes à segunda parte do estudo, foram utilizados os programas SPSS®, (IBM SPSS Statistics) e Statistica® (StatSoft, Inc., 2011). STATISTICA (data analysis software system, version 10. www.statsoft.com.), tendo-se dado preferência aos gráficos deste último. Resultados 1. Observou-se um predomínio do sexo masculino (relação de 1:1,9); relativamente à idade no momento de avaliação, 242 crianças (68,1%) tinham entre zero e seis anos e, dentro destas, a maioria (189) situava-se entre os três e os seis anos. 2. De acordo com a DSM-IV e DSM-5, 261 (73,4%) crianças apresentavam incapacidade intelectual ligeira. 3. A avaliação da competência intelectual pelas escalas de Ruth Griffiths e WISC III (QI), revelaram correlação negativa predominantemente forte e muito forte (índice de Spearman) com os qualificadores das funções do corpo estudadas (funções mentais, mentais específicas e da voz). Os resultados obtidos pela co-investigadora A foram sobreponíveis aos da investigadora principal. Os resultados obtidos pela co-investigadora B revelaram correlação negativa moderada e forte, correlação inferior à da investigadora principal; Conclusões Os resultados permitem inferir que as escalas de Ruth Griffiths e WISC-III são instrumentos adequados para caracterizar a incapacidade intelectual na CIF-CJ; a concordância inter-observador, moderada, nos qualificadores atribuídos nas funções em análise pela investigadora e co-investigadoras, permite concluir que as escalas de Ruth Griffiths e WISC IIIl são bons instrumentos para caracterizar os qualificadores nos domínios e funções estudados, por diferentes grupos de profissionais ligados à infância. Subsistem dificuldades na diferenciação entre qualificadores, designadamente entre os qualificadores 1 e 2, o que tem necessariamente implicações na elegibilidade das crianças para os apoios preconizados pelo DL 3/2008. ------------------------ ABSTRACT: Main objective • To determine the consistency of the use of assessment tools for intellectual ability - Griffiths and WISC III scales - in the context of domains and qualifiers for the ICF-CY, restricted to the mental functions of the body. Secondary objective • Studying the effectiveness and inter-observer concordance concerning the application of the ICF, based on the data recovered from the assessment made with the mentioned instruments, carried out by two independent observers including their perspective on health, education and social security. Methods • Observational, descriptive, cross-sectional and prospective study. • A convenience sample of 355 children was studied over a period of three years (May 2010 to April 2013), with a pathology in the area of pediatric neurodevelopment – intellectual disability (total of 4000 consultations, including first consultations and revaluations) were observed in the Development Centre (CD) in Hospital de Dona Estefânia (HDE), Centro Hospitalar de Lisboa Central, EPE (CHLC). • Inclusion criteria: children of both sexes aged ≥12 months and years ≤17 and intellectual disability defined according to the criteria in the DSM-IV-TR, DSM 5 and ICD-10. • Exclusion criteria: children with autism; specific language impairment, hyperactivity; attention deficit disorder; severe birth sensory deficits (eg, impaired vision and hearing); amongst other diagnoses for neurodevelopmental disorders. • The study was conducted in two phases: in the first phase the principal investigator collected or updated medical history, clinically observed children requesting additional investigations if she deemed necessary. Psychological evaluation was performed by a single, duly licensed clinical psychologist with extensive experience in the referred scales using the instruments described below. Based on data collected, either by direct observation or through the results of Griffiths scales and WISC - III, the researcher applied the ICF-CY confined to the following fields and functions (variables): 1. GLOBAL MENTAL FUNCTIONS (b110- functions of consciousness, b114- Functions referring to space and time orientation , b117 - intellectual functions, b122- global psychosocial functions, b125- intrapersonal functions, b126- functions related to temperament and personality); 2. SPECIFIC MENTAL FUNCTIONS ( b140- attention functions, b147-psychomotor functions, b152- Emotional functions, b156- perception functions, b163- basic cognitive functions and cognitive functions b164- top level b167- language related mental functions. ) 3. VOICE AND SPEECH FUNCTIONS (b320-articulation functions, b330- fluency and rhythm of speech functions). • In the second phase, two co-investigators, with specific training on the scales used and the ICF-CY have applied the ICF in the domains and functions mentioned above, based on the scales results. These co-investigators did not make any direct observation of the studied children. • To perform the statistical analysis and analyze the relationship between the qualifiers (0-4) of the variables in the ICF study (b117, b122, b147, B163, B164, b167, b320 and B330) and psychometric instruments (Griffiths scale and WISC III), which is the first part of the study, the statistical technique of non-parametric Spearman correlation coefficient was used, which quantifies the strength and sign of the possible correlation between the variables under study. • For submission of correlations related to the second part of the study, SPSS (IBM SPSS) and Statistica (StatSoft, Inc., 2011) programs were used. STATISTICA (data analysis software system, version 10 www.statsoft.com.). Preference was given to graphs computed in Statistica. Results • Male predominated (ratio of 1: 1.9). 242 children (68.1% of the sample) were aged between zero and six years and, among these, the majority (189) was aged largest number between three and six years. • According to the DSM-IV and DSM-5, 261 (73.4%) children had mild intellectual disability. The correlation between the assessment of intellectual competence by Ruth Griffiths scales and WISC III (QI), was predominantly negative strong and very strong correlation with the qualifiers of body functions studied (specific mental functions, mental and voice functions using Spearman index). The levels of correlation obtained by the co-investigatores were in agreeance with the results from the principal investigator. The results obtained by co-investigator B showed moderate to strong negative correlation, levels that were lower to the those registered by the principal investigator; Conclusions These results indicate that Ruth Griffiths and WISC-III scales are adequate tools to characterize intellectual disability in the ICF-CY; moderate inter-observer agreement in the qualifiers assigned the functions under analysis by the researcher and co-researchers, shows that the scales are also good tools to measure CIF qualifyers by diferent technicians with different professional orientations, related to children. However, there are still difficulties in differentiating qualifiers, namely between qualifiers 1/2 and 3/4, which necessarily has implications for the eligibility of children for the state support advocated by the Portuguese Decret Law 3/2008.

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.

Robust learning in safety-related domains : machine learning methods for solving safety-related application problems

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Assessing the role of Piccolo and Bassoon zinc finger domains on synapse vesicle recycling and maintenance

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2013

Magnetic control of flexoelectric domains in a nematic fluid

Aus: Soft matter, Vol. 10.2014, H. 25, S. 4487 - 4497

Periodic orbits of the planar collision restricted 3-body problem

Using the continuation method we prove that the circular and the elliptic symmetric periodic orbits of the planar rotating Kepler problem can be continued into periodic orbits of the planar collision restricted 3–body problem. Additionally, we also continue to this restricted problem the so called “comets orbits”.

Restricted walks in regular trees

Let T be the Cayley graph of a finitely generated free group F. Given two vertices in T consider all the walks of a given length between these vertices that at a certain time must follow a number of predetermined steps. We give formulas for the number of such walks by expressing the problem in terms of equations in F and solving the corresponding equations.

Ecology of sandflies (Diptera: Psychodidae) in a restricted focus of cutaneous leishmaniasis en Northern Venezuela: I. Description of the study area, catching methods and species composition

A study on the ecology of phlebotomine sandfly fauna in a restricted focus of cutaneous leishmaniasis in northern Venezuela was undertaken in order to investigate the species responsible for the transmission. The study area and catching methods for phlebotomine sandflies are described. A total of 9,061 females and 1,662 males were collected during a year-term study. 12 species of Lutzomya and 1 species of Brumptomya sp. were identified. Absolute and relative abundance and ocurrence for each species were determined. The rel ative occurrence allowed to distinguish the common species, viz. L. panamensis, L. ovallesi, L. gomezi, L. tinidadensis, L. atroclavata, L. cayennensis, L. shannoni and L. olmeca bicolor from the rare species vis., L. punctigeniculata, L. rangeliana, L. evansi and L. dubitans. General comments on the species composition of the sandfly fauna in this locality are made.

Ecology of sandflies (Diptera: Psychodidae) in a restricted focus of cutaneous leishmaniasis in Northern Venezuela: II. Species composition in relation to habitat, catching method and hour of catching

The ecology of phlebotomine sandflies in an endemic focus of cutaneous leishmaniasis in Northern Venezuela (San Esteban, Carabobo State) was investigated through a year-term study. Three different habitats: viz. a house, a pridomestic area and a sylvatic area, were covered and the species composition, the abundance and occurrence of each species were analyzed in relation to the habitats, catching methods and hour of catching. L. panamensis, L. gomezi and L. ovallesi are the species which bite man, although almost exclusively at night. All of them hide by day and are common in the sylvatic area. Moreover, L. panamensis and L. gomezi successfully approach the house and seem to settle in the peridomestic area. L. shannoni and L. olmeca bicolor also approach and accidentally bite man. L. trinidadensis, L. atroclavata and L. cayennensis are the common non-antrhopophilic species in the area.