Molecular modulation of brain development and function: lessons from “old” and “new”

Dissertation presented to obtain the Ph.D degree in Biology

Discrete fractional order system vibrations

A theory of free vibrations of discrete fractional order (FO) systems with a finite number of degrees of freedom (dof) is developed. A FO system with a finite number of dof is defined by means of three matrices: mass inertia, system rigidity and FO elements. By adopting a matrix formulation, a mathematical description of FO discrete system free vibrations is determined in the form of coupled fractional order differential equations (FODE). The corresponding solutions in analytical form, for the special case of the matrix of FO properties elements, are determined and expressed as a polynomial series along time. For the eigen characteristic numbers, the system eigen main coordinates and the independent eigen FO modes are determined. A generalized function of visoelastic creep FO dissipation of energy and generalized forces of system with no ideal visoelastic creep FO dissipation of energy for generalized coordinates are formulated. Extended Lagrange FODE of second kind, for FO system dynamics, are also introduced. Two examples of FO chain systems are analyzed and the corresponding eigen characteristic numbers determined. It is shown that the oscillatory phenomena of a FO mechanical chain have analogies to electrical FO circuits. A FO electrical resistor is introduced and its constitutive voltage–current is formulated. Also a function of thermal energy FO dissipation of a FO electrical relation is discussed.

An Extension of Estimation of Domain of Attraction for Fractional Order Linear System Subject to Saturation Control

This paper employs the Lyapunov direct method for the stability analysis of fractional order linear systems subject to input saturation. A new stability condition based on saturation function is adopted for estimating the domain of attraction via ellipsoid approach. To further improve this estimation, the auxiliary feedback is also supported by the concept of stability region. The advantages of the proposed method are twofold: (1) it is straightforward to handle the problem both in analysis and design because of using Lyapunov method, (2) the estimation leads to less conservative results. A numerical example illustrates the feasibility of the proposed method.

Safety function analysis in an industrial production process

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Gain-of-Function Mutations in IFIH1 Cause a Spectrum of Human Disease Phenotypes Associated with Upregulated Type I Interferon Signaling

The type I interferon system is integral to human antiviral immunity. However, inappropriate stimulation or defective negative regulation of this system can lead to inflammatory disease. We sought to determine the molecular basis of genetically uncharacterized cases of the type I interferonopathy Aicardi-Goutières syndrome, and of other patients with undefined neurological and immunological phenotypes also demonstrating an upregulated type I interferon response. We found that heterozygous mutations in the cytosolic double-stranded RNA receptor gene IFIH1 (MDA5) cause a spectrum of neuro-immunological features consistently associated with an enhanced interferon state. Cellular and biochemical assays indicate that these mutations confer a gain-of-function - so that mutant IFIH1 binds RNA more avidly, leading to increased baseline and ligand-induced interferon signaling. Our results demonstrate that aberrant sensing of nucleic acids can cause immune upregulation.

Development of population-specific function assessment intrument in Lebanon

RESUMO: Contexto: O funcionamento tem sido reconhecido como um dos principais indicadores de resultados para avaliar se as pessoas beneficiam das intervenções destinadas a melhorar a sua saúde mental. O funcionamento refere-se à forma como um indivíduo consegue responder às suas tarefas e solicitações, dos seus familiares e da sua comunidade, de acordo com os requisitos do local e a cultura em que vive (eg, tarefa de cozinhar e limpar para as mulheres em algumas culturas ). O funcionamento é altamente dependente da cultura - por isso, tem sido recomendado o desenvolvimento de medidas de funcionamento específicas de cada cultura. Desenvolver localmente os instrumentos de medida evita problemas de adequação, associados com a adaptação de instrumentos ocidentais. Embora os instrumentos criados desta forma sejam específicos de um meio cultural, eles são simultaneamente "transculturais", no sentido em que cada um se refere às tarefas mais importantes para a população local . Esta abordagem mostrou-se útil para investigadores e agências de ajuda (eg, ONGs) que trabalham em países não-ocidentais . Este estudo descreve o trabalho da agência International Medical Corps (IMC) na criação e validação de um questionário de funcionamento específico nas dimensões cultura e gênero, no Líbano, destinado a avaliar eventuais melhorias em pessoas que receberam intervenções de para problemas de saúde mental, a nível dos cuidados primários de saúde. Método: O instrumento foi desenvolvido usando um método que é uma alternativa à abordagem existente de adaptação de instrumentos ocidentais a outras culturas e situações; esta abordagem é rápida e exequível, tendo já demonstrado ser útil no desenvolvimento de instrumentos válidos e fidedignos. Inicialmente, foi solicitado que as pessoas identificassem, de uma lista livre, as tarefas mais importantes para cuidar de si próprias, da sua família e da sua comunidade; as tarefas identificadas foram posteriormente usadas como base para um instrumento de avaliação de funcionamento culturalmente válido. A partir daqui, foram desenvolvidos questionários específicos da comunidade em questão, posteriormente testados no terreno nas vertentes da validade (de conteúdo, facial e de constructo) e da fiabilidade (teste-reste e inter-entrevistadores). Resultados. O estudo resultou na criação e validação de um questionário de funcionamento específico de cultura e gênero capaz de medir efectivamente a capacidade de execução de tarefas importantes do quotidiano,como parte da avaliação de resultados levada a cabo por profissionais da CSP previamente treinados na identificação, suporte e encaminhamento de pessoas com problemas de saúde mental no Líbano. Conclusão. Neste trabalho descreve-se o desenvolvimento de um questionário de funcionamento específico de cultura e gênero, orientado para a avaliação de resultados, num contexto mais lato de um sistema abrangente de avaliação e monitorização de um serviço comunitário. --------------ABSTRACT: Background. Functioning has been recognized as one of the most important key outcomes to assess whether people benefit from interventions aimed to improve their mental health. Functioning refers to how well na individual can complete the tasks and demands for themselves, their family, and their community which are required by them depending on the setting and the culture they live in (e.g. task of cooking and cleaning for women in some cultures). Functioning is highly dependent on culture. Therefore, it has been recommended to develop culture-specific measures of function. Developing instruments locally avoids the problems of limited local relevance and appropriateness associate with adapting western instruments. Although each instrument created in this way is culturally bound, they are “cross cultural” in the sense that each refers to the tasks most important to local people. This approach proves useful for both researchers and aid agencies working in non-western countries. This study describes International Medical Corps’ (IMC) work in Lebanon to create and validate a culture and gender specific functioning questionnaire to assess improvements in people who received treatment interventions for mental health problems at the primary health care (PHC) level. Method. The measure was developed using a method that is an alternative to the existing approach of adapting western function instruments to other cultures and situations; an approach which has been demonstrated as rapid, feasible and which can yield valid and reliable instruments. Function was assessed by first asking local people what tasks are important to care for themselves, their family and their community using free listing, then using these tasks as the basis for a culturally valid function assessment instrument. Community specific function questionnaires based on these tasks were then created, and field-tested for validity using content, face and construct validity methods, and also field tested for reliability using inter-rater and test retest reliability methods. Results. The study resulted in the creation and validation of a culture and gender specific functioning questionnaire that would effectively measure the ability to do tasks important to daily existence, as part of assessing client level outcomes where PHC providers were trained in the identification, management and referral of people with mental health problems in Lebanon. Conclusion. The paper describes a successful pilot for developing culture and gender specific functioning questionnaires that evaluate client level outcomes as part of a more comprehensive system for monitoring and evaluation of community based case management supports and services.

Diving into the depth of primary motor cortex: a high-resolution investigation of the motor system using 7Tesla fMRI

Dissertação para a obtenção do Grau de Mestre em Engenharia Biomédica

Creation of a web application for smart park system and parking prediction study for system integration

In the last few years, we have observed an exponential increasing of the information systems, and parking information is one more example of them. The needs of obtaining reliable and updated information of parking slots availability are very important in the goal of traffic reduction. Also parking slot prediction is a new topic that has already started to be applied. San Francisco in America and Santander in Spain are examples of such projects carried out to obtain this kind of information. The aim of this thesis is the study and evaluation of methodologies for parking slot prediction and the integration in a web application, where all kind of users will be able to know the current parking status and also future status according to parking model predictions. The source of the data is ancillary in this work but it needs to be understood anyway to understand the parking behaviour. Actually, there are many modelling techniques used for this purpose such as time series analysis, decision trees, neural networks and clustering. In this work, the author explains the best techniques at this work, analyzes the result and points out the advantages and disadvantages of each one. The model will learn the periodic and seasonal patterns of the parking status behaviour, and with this knowledge it can predict future status values given a date. The data used comes from the Smart Park Ontinyent and it is about parking occupancy status together with timestamps and it is stored in a database. After data acquisition, data analysis and pre-processing was needed for model implementations. The first test done was with the boosting ensemble classifier, employed over a set of decision trees, created with C5.0 algorithm from a set of training samples, to assign a prediction value to each object. In addition to the predictions, this work has got measurements error that indicates the reliability of the outcome predictions being correct. The second test was done using the function fitting seasonal exponential smoothing tbats model. Finally as the last test, it has been tried a model that is actually a combination of the previous two models, just to see the result of this combination. The results were quite good for all of them, having error averages of 6.2, 6.6 and 5.4 in vacancies predictions for the three models respectively. This means from a parking of 47 places a 10% average error in parking slot predictions. This result could be even better with longer data available. In order to make this kind of information visible and reachable from everyone having a device with internet connection, a web application was made for this purpose. Beside the data displaying, this application also offers different functions to improve the task of searching for parking. The new functions, apart from parking prediction, were: - Park distances from user location. It provides all the distances to user current location to the different parks in the city. - Geocoding. The service for matching a literal description or an address to a concrete location. - Geolocation. The service for positioning the user. - Parking list panel. This is not a service neither a function, is just a better visualization and better handling of the information.

Age related changes in the elastic fiber system of the interfoveolar ligament

In order to evaluate age related changes of the elastic fiber system in the interfoveolar ligament, we studied the deep inguinal ring from 33 male cadavers aged from stillborn to 76 years. Selective and alternated staining methods for elastic fibers were performed to differentiate oxytalan, elaunin, and mature elastic fibers. We confirmed quantitative changes of the elastic fiber system with aging. There was a significant and progressive reduction of the oxytalan fibers (responsible for tissue resistance) and a significant increment in the mature elastic and elaunin fibers (responsible for tissue elasticity). Furthermore, there were structural changes in the thickness, shortness and curling of these mature elastic fibers. These changes induced loss of the elastic fiber function and loss of the interfoveolar ligament compliance. These factors predispose individuals to the development of indirect inguinal hernias that frequently emerge in adults and aged individuals, especially above the fifth decade.

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

Differential top-antitop cross-section measurements as a function of observables constructed from final-state particles using pp collisions at s√=7 TeV in the ATLAS detector

Various differential cross-sections are measured in top-quark pair (tt¯) events produced in proton--proton collisions at a centre-of-mass energy of s√=7 TeV at the LHC with the ATLAS detector. These differential cross-sections are presented in a data set corresponding to an integrated luminosity of 4.6 fb−1. The differential cross-sections are presented in terms of kinematic variables of a top-quark proxy referred to as the pseudo-top-quark whose dependence on theoretical models is minimal. The pseudo-top-quark can be defined in terms of either reconstructed detector objects or stable particles in an analogous way. The measurements are performed on tt¯ events in the lepton+jets channel, requiring exactly one charged lepton and at least four jets with at least two of them tagged as originating from a b-quark. The hadronic and leptonic pseudo-top-quarks are defined via the leptonic or hadronic decay mode of the W boson produced by the top-quark decay in events with a single charged lepton.The cross-section is measured as a function of the transverse momentum and rapidity of both the hadronic and leptonic pseudo-top-quark as well as the transverse momentum, rapidity and invariant mass of the pseudo-top-quark pair system. The measurements are corrected for detector effects and are presented within a kinematic range that closely matches the detector acceptance. Differential cross-section measurements of the pseudo-top-quark variables are compared with several Monte Carlo models that implement next-to-leading order or leading-order multi-leg matrix-element calculations.

Development of an intelligent earthwork optimization system

Tese de Doutoramento em Engenharia Civil.

Influence of emphysema distribution on pulmonary function parameters in COPD patients

Objective: To evaluate the impact that the distribution of emphysema has on clinical and functional severity in patients with COPD. Methods: The distribution of the emphysema was analyzed in COPD patients, who were classified according to a 5-point visual classification system of lung CT findings. We assessed the influence of emphysema distribution type on the clinical and functional presentation of COPD. We also evaluated hypoxemia after the six-minute walk test (6MWT) and determined the six-minute walk distance (6MWD). Results: Eighty-six patients were included. The mean age was 65.2 ± 12.2 years, 91.9% were male, and all but one were smokers (mean smoking history, 62.7 ± 38.4 pack-years). The emphysema distribution was categorized as obviously upper lung-predominant (type 1), in 36.0% of the patients; slightly upper lung-predominant (type 2), in 25.6%; homogeneous between the upper and lower lung (type 3), in 16.3%; and slightly lower lung-predominant (type 4), in 22.1%. Type 2 emphysema distribution was associated with lower FEV1 , FVC, FEV1 /FVC ratio, and DLCO. In comparison with the type 1 patients, the type 4 patients were more likely to have an FEV1 < 65% of the predicted value (OR = 6.91, 95% CI: 1.43-33.45; p = 0.016), a 6MWD < 350 m (OR = 6.36, 95% CI: 1.26-32.18; p = 0.025), and post-6MWT hypoxemia (OR = 32.66, 95% CI: 3.26-326.84; p = 0.003). The type 3 patients had a higher RV/TLC ratio, although the difference was not significant. Conclusions: The severity of COPD appears to be greater in type 4 patients, and type 3 patients tend to have greater hyperinflation. The distribution of emphysema could have a major impact on functional parameters and should be considered in the evaluation of COPD patients.

The role of IFNγ in higher brain function: in health and under chronic stress

Tese de Doutoramento em Ciências da Saúde

Acute Effects of Maternal Smoking on Fetal-Placental-Maternal System Hemodynamics

OBJECTIVE: To study acute hemodynamic alterations in the fetal-placental maternal system immediately after maternal exposure to nicotine. METHODS: This is a noncontrolled experimental study involving 21 pregnant smoking women, randomly selected, with uncomplicated pregnancies and without risk factors for fetal heart disease. Patients underwent ultrasound and fetal echocardiography before and after smoking a cigarette. They were asked to abstain from smoking for 12 hours before the study. The mean nicotine content of the cigarettes used in the study was 0.5mg of nicotine and 6mg of carbon monoxide. RESULTS: The average number of cigarettes smoked per a day prior to the study was 9.67. Gestational age ranged between 18 and 36 weeks. The mean maternal heart rate was elevated (P<0.001) as was the mean fetal heart rate (P=0.044). Maternal systolic blood pressure (P=0.004) and diastolic blood pressure (P=0.033) were also elevated after smoking. A decrease occurred in the systolic/diastolic ratio in the right uterine artery (P=0.014) and in the left uterine artery (P=0.039). The other hemodynamic variables remained unchanged. CONCLUSION: Cigarette smoking can cause changes in physiologic variables of fetal-placental circulation, but it does not change fetal cardiac function, in the dose of nicotine and its components used in this study. The decrease in systolic/diastolic ratio in the uterine arteries is probably related to a dose-dependent nicotine pattern.