Physiological age in Lutzomyia youngi (Diptera: Psychodidae) populations from an endemic area for cutaneous leishmaniasis, Venezuela

Batches of sylvatic females of Lutzomyia youngi (Phlebotominae) captured in a Shannon trap on twelve occasions over one year in a locality where subcutaneous leishmaniasis is endemic, near the city of Trujillo, Venezuela, were used to study: 1) the percentages of parous females according to previously established criteria and 2) the average number of eggs laid spontaneously by isolated females during 7 days after feeding on hamsters. The data on the batches of females captured on nights previous to the rainy period (prepluvial) were compared with those on females captured after the rains (postpluvial) . Significant differences were detected by variation analysis for two variables and different number of N, as also were consistent groupings by Duncan's Test for pre-and postpluvial lots of females. The females captured on nights prior to the rainy periods (January-March and August-September) presented higher rates of nulliparity (86-72%) and contained or laid a greater number of eggs (71-67) than those captured after the rains (March-June and November-December) which presented lower rates of nulliparity (60-24%) and a smaller number of eggs (50-30). The rainfall peaks occurred in April and September-October, respectively. It is considered that these differences can be used by epidemiological studies as a means of estimating the physiological age of female populations of L. youngy.

Study and comparison of physiological response with Harmony® suspension system and suspension with pin

The purpose of this study is a cross-qualitative and quantitative gait analysis in 3 traumatic unilateral amputees using prosthesis with pin suspension compared to the use of prosthesis with a high vacuum suspension, the Harmony® system. In Portugal, there aren’t many studies made in the field of orthotic and prosthetic and knowledge about the number of amputees in the country. The only know is that the major cause of lower limb amputation is diabetes mellitus, being the most affected population the older age groups. The combination of technological developments with daily needs of the amputees is becoming more and more important for they better quality of life. This work was done during the curricular unit “Investigation in Prosthetics and Orthotics” class, in the 4th year of Health Technology School of Lisbon, in Portugal. This study analyzes if the change of suspension in transtibial prosthesis will influence some physiological response in amputees.

Scheduling maintenance activities of electric power transmission networks using an hybrid constraint method

In this paper we present a Constraint Logic Programming (CLP) based model, and hybrid solving method for the Scheduling of Maintenance Activities in the Power Transmission Network. The model distinguishes from others not only because of its completeness but also by the way it models and solves the Electric Constraints. Specifically we present a efficient filtering algorithm for the Electrical Constraints. Furthermore, the solving method improves the pure CLP methods efficiency by integrating a type of Local Search technique with CLP. To test the approach we compare the method results with another method using a 24 bus network, which considerers 42 tasks and 24 maintenance periods.

Addressing the facilities layout design problem through constraint logic programming

One of the most difficult problems that face researchers experimenting with complex systems in real world applications is the Facility Layout Design Problem. It relies with the design and location of production lines, machinery and equipment, inventory storage and shipping facilities. In this work it is intended to address this problem through the use of Constraint Logic Programming (CLP) technology. The use of Genetic Algorithms (GA) as optimisation technique in CLP environment is also an issue addressed. The approach aims the implementation of genetic algorithm operators following the CLP paradigm.

Effects of the length and timing of nighttime naps on task performance and physiological function

OBJECTIVE: To examine the effects of the length and timing of nighttime naps on performance and physiological functions, an experimental study was carried out under simulated night shift schedules. METHODS: Six students were recruited for this study that was composed of 5 experiments. Each experiment involved 3 consecutive days with one night shift (22:00-8:00) followed by daytime sleep and night sleep. The experiments had 5 conditions in which the length and timing of naps were manipulated: 0:00-1:00 (E60), 0:00-2:00 (E120), 4:00-5:00 (L60), 4:00-6:00 (L120), and no nap (No-nap). During the night shifts, participants underwent performance tests. A questionnaire on subjective fatigue and a critical flicker fusion frequency test were administered after the performance tests. Heart rate variability and rectal temperature were recorded continuously during the experiments. Polysomnography was also recorded during the nap. RESULTS: Sleep latency was shorter and sleep efficiency was higher in the nap in L60 and L120 than that in E60 and E120. Slow wave sleep in the naps in E120 and L120 was longer than that in E60 and L60. The mean reaction time in L60 became longer after the nap, and faster in E60 and E120. Earlier naps serve to counteract the decrement in performance and physiological functions during night shifts. Performance was somewhat improved by taking a 2-hour nap later in the shift, but deteriorated after a one-hour nap. CONCLUSIONS: Naps in the latter half of the night shift were superior to earlier naps in terms of sleep quality. However performance declined after a 1-hour nap taken later in the night shift due to sleep inertia. This study suggests that appropriate timing of a short nap must be carefully considered, such as a 60-min nap during the night shift.

Analysis of the interference of endogenous circadian rhythms on 3'- deoxy- 3'- [18F]Fluorothymidine physiological uptake at the human bone marrow

The main purpose of the present study is to determine if the circadian rhythms present in the human bone marrow are likely to influence 3’- deoxy- 3’-[18F] Fluorothymidine (18F-FLT) uptake in the same organ. The 18F-FLT is a Thymidine analogous proliferation agent. The relatively high physiological uptake of this tracer in the bone marrow diminishes the Tumor/Background (T/B) ratio, decreasing the detection accuracy of PET/CT and possibly affecting SUV quantifications.

Eficácia do Constraint-Induced Movement Therapy, em utentes com sequelas de Acidente Vascular Encefálico, até 9 meses

O Acidente Vascular Encefálico é uma das principais causas de morte, tornando-se cada vez mais iminente processos de reabilitação que minimizem as sequelas, nomeadamente as limitações do membro superior que dificultam o envolvimento em atividades da vida diária. O Constraint-Induced Movement Therapy, surge como uma abordagem que incrementa o uso do membro superior mais afetado. A presente investigação trata-se de um estudo de casos múltiplos. Pretende-se verificar se existem melhorias na funcionalidade do membro superior mais afetado, analisar em que atividades da vida diária são visíveis melhorias funcionais e compreender se o maior envolvimento nas atividades diárias está diretamente relacionado com a melhoria na capacidade funcional. Pretende-se ainda que os valores obtidos no Wolf Motor Function Test sejam um contributo para a sua validação para a população portuguesa. Utilizou-se um questionário para recolha de dados pessoais e clínicos (amplitudes de movimento, dor e espasticidade); o Wolf Motor Function Test e o Action Research Arm Test para verificar a funcionalidade do membro superior mais afetado; e a Motor Activity Log que avalia o envolvimento em atividades da vida diária. O grupo é constituído por 3 utentes que sofreram um primeiro Acidente Vascular Encefálico até 9 meses de evolução, internados na Santa Casa da Misericórdia de Monção e que cumpriam os critérios de inclusão. O programa foi implementado três horas/dia, durante 10 dias, mantendo a restrição no membro superior menos afetado durante 90% do dia acordado. Como se trata de um estudo de casos múltiplos, analisou-se cada participante individualmente e verificou-se a diferença entre os resultados finais e iniciais para cada uma das variáveis. Os resultados obtidos revelam ganhos na amplitude de movimento, velocidade de execução e capacidade funcional do membro superior mais afetado, nomeadamente nas funções de preensão e pinça da mão, bem como se testemunhou minimização do fenómeno learned nonuse. Verificaram-se ganhos funcionais em todos os participantes nas atividades da vida diária apesar de serem diferentes de participante para participante. Dois participantes afirmaram que voltariam a participar no programa.Conclui-se, assim que a técnica resulta em ganhos funcionais nestes utentes, indicando um caminho alternativo a outras abordagens de reabilitação.

A biosignal embedded system for physiological computing

Thesis submitted in the fulfilment of the requirements for the Degree of Master in Electronic and Telecomunications Engineering

Immune responses in Bathymodiolus azoricus upon Vibrio challenges : approaches to characterize mussel survival strategies and physiological adaptations in deep sea extreme environments

Tese de Doutoramento, Ciências do Mar, especialidade de Biologia Marinha, 18 de Dezembro de 2015, Universidade dos Açores.

Does Pro12Ala polymorphism enhance the physiological role of PPARy2?

Obesity and type 2 diabetes mellitus (T2D) are two major public health problems that have motivated the scientific community to investigate the high contribution of genetic factors to these disorders. The peroxisome proliferator activated by gamma 2 (PPARy2) plays an important role in the lipid metabolism. Since PPARy2 is expressed mainly in adipose tissue, a moderate reduction of its activity influences the sensitivity to insulin, diabetes, and other metabolic parameters. The present study aims to contribute to the elucidation of the impact of the Pro12Ala polymorphism associated with T2D and obesity through a meta-analysis study of the literature that included approximately 11500 individuals, from which 3870 were obese and 7625 were diabetic. Statistical evidence supports protective effect in T2D of polymorphism Pro12Ala of PPARy2 (OR = 0.702 with 95% CI: 0.622; 0.791, P<0.01). Conversely the same polymorphism Pro12Ala of PPARy2 seems to favor obesity since 1.196 more chance than nonobese was found (OR = 1.196 with 95% CI: 1.009; 1.417,P<0.004). Our results suggest that Pro12Ala polymorphism enhances both adipogenic and antidiabetogenic physiological role of PPARy. Does Pro12Ala polymorphism represent an evolutionary step towards the stabilization of the molecular function of PPARy transcription factor signaling pathway?

Constraint solving over multi-valued logics - application to digital circuits

Due to usage conditions, hazardous environments or intentional causes, physical and virtual systems are subject to faults in their components, which may affect their overall behaviour. In a ‘black-box’ agent modelled by a set of propositional logic rules, in which just a subset of components is externally visible, such faults may only be recognised by examining some output function of the agent. A (fault-free) model of the agent’s system provides the expected output given some input. If the real output differs from that predicted output, then the system is faulty. However, some faults may only become apparent in the system output when appropriate inputs are given. A number of problems regarding both testing and diagnosis thus arise, such as testing a fault, testing the whole system, finding possible faults and differentiating them to locate the correct one. The corresponding optimisation problems of finding solutions that require minimum resources are also very relevant in industry, as is minimal diagnosis. In this dissertation we use a well established set of benchmark circuits to address such diagnostic related problems and propose and develop models with different logics that we formalise and generalise as much as possible. We also prove that all techniques generalise to agents and to multiple faults. The developed multi-valued logics extend the usual Boolean logic (suitable for faultfree models) by encoding values with some dependency (usually on faults). Such logics thus allow modelling an arbitrary number of diagnostic theories. Each problem is subsequently solved with CLP solvers that we implement and discuss, together with a new efficient search technique that we present. We compare our results with other approaches such as SAT (that require substantial duplication of circuits), showing the effectiveness of constraints over multi-valued logics, and also the adequacy of a general set constraint solver (with special inferences over set functions such as cardinality) on other problems. In addition, for an optimisation problem, we integrate local search with a constructive approach (branch-and-bound) using a variety of logics to improve an existing efficient tool based on SAT and ILP.

Constraint reasoning for differential models

The basic motivation of this work was the integration of biophysical models within the interval constraints framework for decision support. Comparing the major features of biophysical models with the expressive power of the existing interval constraints framework, it was clear that the most important inadequacy was related with the representation of differential equations. System dynamics is often modelled through differential equations but there was no way of expressing a differential equation as a constraint and integrate it within the constraints framework. Consequently, the goal of this work is focussed on the integration of ordinary differential equations within the interval constraints framework, which for this purpose is extended with the new formalism of Constraint Satisfaction Differential Problems. Such framework allows the specification of ordinary differential equations, together with related information, by means of constraints, and provides efficient propagation techniques for pruning the domains of their variables. This enabled the integration of all such information in a single constraint whose variables may subsequently be used in other constraints of the model. The specific method used for pruning its variable domains can then be combined with the pruning methods associated with the other constraints in an overall propagation algorithm for reducing the bounds of all model variables. The application of the constraint propagation algorithm for pruning the variable domains, that is, the enforcement of local-consistency, turned out to be insufficient to support decision in practical problems that include differential equations. The domain pruning achieved is not, in general, sufficient to allow safe decisions and the main reason derives from the non-linearity of the differential equations. Consequently, a complementary goal of this work proposes a new strong consistency criterion, Global Hull-consistency, particularly suited to decision support with differential models, by presenting an adequate trade-of between domain pruning and computational effort. Several alternative algorithms are proposed for enforcing Global Hull-consistency and, due to their complexity, an effort was made to provide implementations able to supply any-time pruning results. Since the consistency criterion is dependent on the existence of canonical solutions, it is proposed a local search approach that can be integrated with constraint propagation in continuous domains and, in particular, with the enforcing algorithms for anticipating the finding of canonical solutions. The last goal of this work is the validation of the approach as an important contribution for the integration of biophysical models within decision support. Consequently, a prototype application that integrated all the proposed extensions to the interval constraints framework is developed and used for solving problems in different biophysical domains.

BITalino: a novel hardware framework for physiological computing

Physical computing has spun a true global revolution in the way in which the digital interfaces with the real world. From bicycle jackets with turn signal lights to twitter-controlled christmas trees, the Do-it-Yourself (DiY) hardware movement has been driving endless innovations and stimulating an age of creative engineering. This ongoing (r)evolution has been led by popular electronics platforms such as the Arduino, the Lilypad, or the Raspberry Pi, however, these are not designed taking into account the specific requirements of biosignal acquisition. To date, the physiological computing community has been severely lacking a parallel to that found in the DiY electronics realm, especially in what concerns suitable hardware frameworks. In this paper, we build on previous work developed within our group, focusing on an all-in-one, low-cost, and modular biosignal acquisition hardware platform, that makes it quicker and easier to build biomedical devices. We describe the main design considerations, experimental evaluation and circuit characterization results, together with the results from a usability study performed with volunteers from multiple target user groups, namely health sciences and electrical, biomedical, and computer engineering. Copyright © 2014 SCITEPRESS - Science and Technology Publications. All rights reserved.

Modern techniques for constraint solving the CASPER experience

Dissertação apresentada para obtenção do Grau de Doutor em Engenharia Informática, pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia

Early physiological and biochemical responses of rice seedlings to low concentration of microcystin-LR

Microcystin-leucine and arginine (microcystin- LR) is a cyanotoxin produced by cyanobacteria like Microcystis aeruginosa, and it’s considered a threat to water quality, agriculture, and human health. Rice (Oryzasativa) is a plant of great importance in human food consumption and economy, with extensive use around the world. It is therefore important to assess the possible effects of using water contaminated with microcystin-LR to irrigate rice crops, in order to ensure a safe, high quality product to consumers. In this study, 12 and 20-day-old plants were exposed during 2 or 7 days to a M. aeruginosa extract containing environmentally relevant microcystin-LR concentrations, 0.26–78 lg/L. Fresh and dry weight of roots and leaves, chlorophyll fluorescence, glutathione S-transferase and glutathione peroxidase activities, and protein identification by mass spectrometry through two-dimensional gel electrophoresis from root and leaf tissues, were evaluated in order to gauge the plant’s physiological condition and biochemical response after toxin exposure. Results obtained from plant biomass, chlorophyll fluorescence, and enzyme activity assays showed no significant differences between control and treatment groups. How- ever, proteomics data indicates that plants respond to M. aeruginosa extract containing environmentally relevant microcystin-LR concentrations by changing their metabolism, responding differently to different toxin concentrations. Biological processes most affected were related to protein folding and stress response, protein biosynthesis, cell signalling and gene expression regulation, and energy and carbohydrate metabolism which may denote a toxic effect induced by M. aeruginosa extract and microcystin- LR. Theimplications of the metabolic alterations in plant physiology and growth require further elucidation.