Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Numerical modeling and assessment of the thermal environment in an industrial premise of automotive components

Dissertação de mestrado em Engenharia Industrial

Zebrafish embryos as in vivo model for toxicity evaluation: screening of nanoparticle formulations DODAB:MO and DODAC:MO

Dissertação de mestrado em Molecular Genetics

A nutrient balance model for typical Irish farming systems

The twin objectives of the work described were to construct nutrient balance models (NBM) for a range of Irish animal production systems and to evaluate their potential as a means of estimating the nutrient composition of farm wastes. The NBM has three components. The first is the intake of nutrients in the animal's diet. The second is retention or the nutrients the animal retains for the production of milk, meat or eggs. The third is the balance or the difference between the nutrient intake and retention. Data on the intake levels and their nutrient value for dairy cows, beef cattle, pigs and poultry systems were assembled. Literature searches and interviews with National experts were the primary sources of information. NBMs were then constructed for each production system. Summary tables of the nutrient values for the common diet constituents used in Irish animal production systems, the nutrient composition of the animal products and the NBMs (nutrient intake, retention and excretion) for a range of production systems were assembled. These represent the first comprehensive data set of this type for Irish animal production systems. There was generally good agreement between the derived NBMs values and those published in the literature. The NBMs were validated on a number of farms. Data on animal numbers, fertiliser use, concentrates inputs and production output were recorded on seven farms. Using the data a nutrient input/output balance was constructed for each farm. This was compared with the NBM estimate of the farm nutrient balance. The results showed good agreement between the measured balance and the NBM estimate particularly for the pig and poultry farms. However, the validation emphasised the inherent risks associated with NBMs. The average values used for feed intake and production parameters in the NEMs may result in the under or over estimate of actual nutrient balances on individual farms where these variables are substantially different. On the grassland farms there was a poor correlation between the input/output estimate and the NBM. This possibly results from the omission of the soil's contribution to the nutrient balance. However, the results indicate that the NBMs developed are a potentially useful tool for estimating nutrient balances. They also will serve to highlight the significant fraction of the nutrient inputs into farming systems that are retained on the farm. The potential of the NBM as a means of estimating the nutrient composition of farm wastes was evaluated on two farms. Feed intake and composition, animal production, slurry production was monitored during the indoor winter feeding period. Slurry samples were taken for analysis. The appropriates NBMs were used to estimate the nutrient balance for each farm. The nutrient content of the slurry produced was calculated. There was a good agreement between the NBM estimate and the measured values. This preliminary evaluation suggests that the NBM has a potential to provide the farmer with a simple means of estimating the nutrient value of his slurry.

Identificació de components inclusius en alguns centres escolars d'educació infantil i primària de la comarca d'Osona

The present essay –which is a pilot study conceived to continue the research in depth in the future- is based in a comparative analysis of educational practice between five different primary and pre-school teaching centres in Osona and the educational practice in inclusive educational centres. The essay introduces the objectives of the research and the theoretical and conceptual framework in which it is based (chapter 1) in relation with the main themes and expressions which are the purpose of the study: comprensivity, inclusive school and inclusive practice. The theoretical framework is linked to the principal regulations applied in our context. The study describes the instruments and procedure analysis describes the instruments and procedure analysis which have been designed and used for a qualitative methodological approach, together with the data obtained from the analysis of five teaching centres (chapter 2). The results from the research show that the practice done in the analised schools are not totally comparable to the ones in the inclusive environment. Notwithsanding, there are some similar points, although not totally coincident, like the fact that either the analysed schools or the ones with an inclusive approach show availability and interest in improving integration of all the pupils in the school, also the teachers work together in some aspects like, evaluation of pupils with special needs, objectives and contents and activities fort he specific kind of pupils with special needs parents and the majority of the analyzed schools, like those fallowing inclusive educational approaches, try the pupils with special needs to develop their acquisition within the ordinary class with adapted material. I think, these verifications, some of them close to inclusive educational practice, could constitute a starting point to analyse our model, in order to offer a common curriculum that could respect the different styles and rhythms of acquisition of all the pupils, so that promoting a more flexible and open schooling. In conclusion, the results of this analysis, although dues to its limits, they can not be generalized, they can help to find the necessary changes to bet for a qualitative education in a school for everyone.

Model-based diagnosis system: application to constructed wetlands

Report for the scientific sojourn carried out at the Model-based Systems and Qualitative Reasoning Group (Technical University of Munich), from September until December 2005. Constructed wetlands (CWs), or modified natural wetlands, are used all over the world as wastewater treatment systems for small communities because they can provide high treatment efficiency with low energy consumption and low construction, operation and maintenance costs. Their treatment process is very complex because it includes physical, chemical and biological mechanisms like microorganism oxidation, microorganism reduction, filtration, sedimentation and chemical precipitation. Besides, these processes can be influenced by different factors. In order to guarantee the performance of CWs, an operation and maintenance program must be defined for each Wastewater Treatment Plant (WWTP). The main objective of this project is to provide a computer support to the definition of the most appropriate operation and maintenance protocols to guarantee the correct performance of CWs. To reach them, the definition of models which represent the knowledge about CW has been proposed: components involved in the sanitation process, relation among these units and processes to remove pollutants. Horizontal Subsurface Flow CWs are chosen as a case study and the filtration process is selected as first modelling-process application. However, the goal is to represent the process knowledge in such a way that it can be reused for other types of WWTP.

A Multisectorial model of prices: the SAM approach

Social Accounting Matrices (SAM) are normally used to analyse the income generation process. They are also useful, however, for analysing the cost transmission and price formation mechanisms. For price contributions, Roland-Holst and Sancho (1995) used the SAM structure to analyse the price and cost linkages through a representation of the interdependence between activities, households and factors. This paper is a further analysis of the cost transmission mechanisms, in which I add the capital account to the endogenous components of the Roland-Holst and Sancho approach. By doing this I reflect the responses of prices to the exogenous shocks in savings and investment. I also present an additive decomposition of the global price effects into categories of interdependence that isolates the impact on price levels of shocks in the capital account. I use a 1994 Social Accounting Matrix to make an empirical application of the Catalan economy. Keywords: social accounting matrix, cost linkages, price transmission, capital account. JEL Classification: C63, C69, D59.

Testing for Proportional Hazards with Unrestricted Univariate Unobserved Heterogeneity

We develop tests of the proportional hazards assumption, with respect to a continuous covariate, in the presence of unobserved heterogeneity with unknown distribution at the individual observation level. The proposed tests are specially powerful against ordered alternatives useful for modeling non-proportional hazards situations. By contrast to the case when the heterogeneity distribution is known up to …nite dimensional parameters, the null hypothesis for the current problem is similar to a test for absence of covariate dependence. However, the two testing problems di¤er in the nature of relevant alternative hypotheses. We develop tests for both the problems against ordered alternatives. Small sample performance and an application to real data highlight the usefulness of the framework and methodology.

IInflation and Globalisation: A Dynamic Factor Model with Stochastic Volatility

National inflation rates reflect domestic and international (regional and global) influences. The relative importance of these components remains a controversial empirical issue. We extend the literature on inflation co-movement by utilising a dynamic factor model with stochastic volatility to account for shifts in the variance of inflation and endogenously determined regional groupings. We find that most of inflation variability is explained by the country specific disturbance term. Nevertheless, the contribution of the global component in explaining industrialised countries’ inflation rates has increased over time.

Disseny i proposta d' implementació d'un model formatiu per a la iniciació professional i el mentoratge del professorat de secundària

En estudis anteriors al que ara us proposem i en diferents articles realitzats pels components d’aquest grup de recerca s’ha constatat que el professorat que ha d’atendre grups d’alumnes amb adaptacions curriculars, programes d’iniciació professional, alumnes amb difícil inclusió acadèmica i escolar que aquests docents haurien de rebre una formació psicopedagògica per adequar-se al trets característics dels alumnes i per aplicar una metodologia que desperti en els alumnes la il•lusió per seguir formant-se i les estratègies organitzatives i de planificació per fer un ensenyament de qualitat. El professorat ha d’adquirir una sèrie de competències que li permetin donar resposta a les necessitats dels alumnes. Estudis previs constaten que hi ha una gran necessitat pel que fa a les competències personals i participatives per sobre de les tècniques. Tot i que també és molt important apostar per les metodològiques. Aquesta formació l'haurà de rebre al llarg de la seva acció docent i està lliga amb el concepte Lifelong learning que es proposa arreu de la Unió Europea con un dret i una obligació per aconseguir la constant adequació a les demandes socials i a les necessitats personals, així com assolir la progressió professional i l’accés a noves etapes educatives:No hi ha dubte que una professió com la docent que requereix un domini competencial tan exigent desvetlla la curiositat per iniciar recerques i la necessitat d’esmerçar esforços per facilitar que tingui èxit la inserció dels nous professors i professores en l’entorn socioeducatiu durant el període llindar. Cal saber què passa, què ocupa i què preocupa a Europa en relació al professorat i a la seva formació, sobretot que cal desenvolupar en el període previ i com es facilita la transició des d’aquesta formació inicial per assolir una ràpida i eficaç inserció a la professió docent.   

Co-movements in Real Effective Exchange Rates: Evidence from the Dynamic Hierarchical Factor Model

We analyze and quantify co-movements in real effective exchange rates while considering the regional location of countries. More specifically, using the dynamic hierarchical factor model (Moench et al. (2011)), we decompose exchange rate movements into several latent components; worldwide and two regional factors as well as country-specific elements. Then, we provide evidence that the worldwide common factor is closely related to monetary policies in large advanced countries while regional common factors tend to be captured by those in the rest of the countries in a region. However, a substantial proportion of the variation in the real exchange rates is reported to be country-specific; even in Europe country-specific movements exceed worldwide and regional common factors.

Calomys callosus: an alternative model to study fibrosis in Schistosomiasis mansoni: the pathology of the acute phase

Twenty Calomys callosus, Rengger, 1830 (Rodentia-Cricetidae) were studied in the early stage of the acute schistosomal mansoni infection (42nd day). The same number of Swiss Webster mice were used as a comparative standard. Liver and intestinal sections, fixed in formalin-Millonig and embedded in paraffin, were stained with hematoxilin and eosin, PAS-Alcian Blue, pH = 1.0 and 2.5, Lennert's Giemsa, Picrosirius plus polarization microscopy, Periodic acid methanamine silver, Gomori's silver reticulin and resorcin-fuchsin. Immunohistological study (indirect immunofluorescence and peroxidase labeled extravidin-biotin methods) was done with antibodies specific to pro-collagen III, fibronectin, elastin, condroitin-sulfate, tenascin, alpha smooth muscle actin, vimentin and desmin. The hepatic granulomas were small, reaching only 27 of the volume of the hepatic Swiss Webster granuloma. They were composed mainly by large immature macrophages, often filled by schistosomal pigment, characterizing an exsudative-macrophage granuloma type. The granulomas were situated in the parenchyma and in the portal space. They were often intravascular, poor of extracellular matrix components, except fibronectin and presented, sometimes alpha smooth muscle actin and vimentin positive cells. The C. callosus intestinal granulomas were similar to Swiss Webster, showing predominance of macrophages. Therefore, the C. callosus acquire very well the Schistosoma mansoni infection, without developing strong hepatic acute granulomatous reaction, suggesting lack of histopathological signs of hypersensitivity.

Age effects, unobserved characteristics and hedonic price indexes: The Spanish car market in the 1990s

This paper computes and compares alternative quality-adjusted price indexes for new cars in Spain in the period 1990-2000. The proposed hedonic approach simultaneously controls for time-invariant unobserved product e¤ects and time-variant unobserved quality changes, that are assumed to be captured by model age effects. The results show that the non-adjusted price index largely overstates the increase in the cost of living induced by changes in car prices and that previous evidence for this market have not measured the real extent of that bias, probably due to the omission of controls for unobservables. It is also shown that omitting age effects can also lead to misleading conclusions. The estimated price indexes give also some insights on what could have been the determinants of price evolution in the Spanish car market.

Age effects, unobserved characteristics and hedonic price indexes: The Spanish car market in the 1990's

This paper computes and compares alternative quality-adjusted price indexes for new cars in Spain in the period 1990-2000. The proposed hedonic approach simultaneously controls for time-invariant unobserved product effects and time-variant unobserved quality changes, that are assumed to be captured by model age effects. The results show that the non-adjusted price index largely overstates the increase in the cost of living induced by changes in car prices and that previous evidence for this market have not measured the real extent of that bias, probably due to the omission of controls for unobservables. It is also shown that omitting age effects can also lead to misleading conclusions. The estimated price indexes give also some insights on what could have been the determinants of price evolution in the Spanish car market. JEL classi…fication numbers: C43, E31, L11, L13, Keywords: Hedonic price indexes, Spanish car market, car prices, CPI, Cost of living

Hard-wired heterogeneity in blood stem cells revealed using a dynamic regulatory network model.

MOTIVATION: Combinatorial interactions of transcription factors with cis-regulatory elements control the dynamic progression through successive cellular states and thus underpin all metazoan development. The construction of network models of cis-regulatory elements, therefore, has the potential to generate fundamental insights into cellular fate and differentiation. Haematopoiesis has long served as a model system to study mammalian differentiation, yet modelling based on experimentally informed cis-regulatory interactions has so far been restricted to pairs of interacting factors. Here, we have generated a Boolean network model based on detailed cis-regulatory functional data connecting 11 haematopoietic stem/progenitor cell (HSPC) regulator genes. RESULTS: Despite its apparent simplicity, the model exhibits surprisingly complex behaviour that we charted using strongly connected components and shortest-path analysis in its Boolean state space. This analysis of our model predicts that HSPCs display heterogeneous expression patterns and possess many intermediate states that can act as 'stepping stones' for the HSPC to achieve a final differentiated state. Importantly, an external perturbation or 'trigger' is required to exit the stem cell state, with distinct triggers characterizing maturation into the various different lineages. By focusing on intermediate states occurring during erythrocyte differentiation, from our model we predicted a novel negative regulation of Fli1 by Gata1, which we confirmed experimentally thus validating our model. In conclusion, we demonstrate that an advanced mammalian regulatory network model based on experimentally validated cis-regulatory interactions has allowed us to make novel, experimentally testable hypotheses about transcriptional mechanisms that control differentiation of mammalian stem cells. SUPPLEMENTARY INFORMATION: Supplementary data are available at Bioinformatics online.