Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Study of the retinoic acid regulated genes in the rodent hypothalamus controlling growth and appetite and the potential for the epigenetic control

Dissertação de mestrado em Bioquímica (área de especialização em Biomedicina)

Late Clinical Outcomes of the Fontan Operation in Patients with Tricuspid Atresia

OBJECTIVE: Evaluation of the long-term clinical results of the Fontan operation in patients with tricuspid atresia. METHODS: A retrospective analysis was made at the Instituto de Cardiologia do Rio Grande do Sul (Institute of Cardiology of Rio Grande do Sul), from August 1980 through January 2000, of 25 patients with a long-term follow-up, out of a series of 36 patients who underwent the Fontan operation or one of its variants due to tricuspid atresia. Their mean age at surgery was 5.4±3.1 years, and their mean weight was 15.8±6.1 kg, the majority of them (63.9%) being males. Four patients underwent the classical Fontan operation, 12 the Kreutzer variant, 6 the Björk variant, 9 total cavopulmonary shunt with a fenestrated tube, and 5 total cavopulmonary shunt with a nonfenestrated tube. RESULTS: The patients were followed-up on an outpatient basis, with a mean long-term survival time of 5.5±4.2 years (50 days to 17.8 years) and a late mortality rate of 8%. Arterial saturation increased from 77.2±18.8% in the preoperative period to 91±6.7% upon the last outpatient visit (p>0.05). At the final check, most (67%) patients were asymptomatic and 87% could tolerate exercise. Ten (40%) patients experienced some kind of complication during the long-term follow-up, such as cardiac arrhythmia, cyanosis, protein-losing enteropathy, neurological events, right heart failure, intolerance to exercise and reoperation. CONCLUSION: The results indicate that, once the immediate postoperative period is over, during which the adaptations to the new circulatory physiology occur, the evolution of patients with tricuspid atresia who underwent the Fontan operation is satisfactory, in spite of a low, yet significant, morbidity.

Synthetic biology approaches to shape bacteriophages towards Pseudomonas aeruginosa biofilm control

Dissertation for Ph.D. degree in Biomedical Engineering.

Insights into bacterial colony morphology evolution and diversification during infection development in cystic fibrosis

Tese de Doutoramento em Engenharia Biomédica.

Dos ciclos e sistemas aos interstícios de Creixomil: entre o seu conhecimento e transformação potencial

Dissertação de mestrado integrado em Arquitectura (área de especialização em Território)

Модифицированный метод t0

სტატიაში განხილულია ცნობილი მეთოდის t0-ის მოდიფიცირებული ვარიანტი. ნაჩვენებია, რომ თუ გვაქვს ერთი სრული ჰოდოგრაფი, ხოლო მისი შემხვედრი ჰოდოგრაფი არასრულია, მაგრამ მისი საშუალებით შესაძლებელია მოჩვენებითი სიჩქარის გამოთვლა, მაშინ გვეძლევა საშუალება საკმაო სიზუსტით დავადგინოთ გარდამტეხი ზედაპირის ჩაწოლის სიღრმე და განვსაზღვროთ მისი პარამეტრები.

p.Q192R SNP of PON1 seems not to be Associated with Carotid Atherosclerosis Risk Factors in an Asymptomatic and Normolipidemic Brazilian Population Sample

Background:Evidences suggest that paraoxonase 1 (PON1) confers important antioxidant and anti-inflammatory properties when associated with high-density lipoprotein (HDL).Objective:To investigate the relationships between p.Q192R SNP ofPON1, biochemical parameters and carotid atherosclerosis in an asymptomatic, normolipidemic Brazilian population sample.Methods:We studied 584 volunteers (females n = 326, males n = 258; 19-75 years of age). Total genomic DNA was extracted and SNP was detected in the TaqMan® SNP OpenArray® genotyping platform (Applied Biosystems, Foster City, CA). Plasma lipoproteins and apolipoproteins were determined and PON1 activity was measured using paraoxon as a substrate. High-resolution β-mode ultrasonography was used to measure cIMT and the presence of carotid atherosclerotic plaques in a subgroup of individuals (n = 317).Results:The presence of p.192Q was associated with a significant increase in PON1 activity (RR = 12.30 (11.38); RQ = 46.96 (22.35); QQ = 85.35 (24.83) μmol/min; p < 0.0001), HDL-C (RR= 45 (37); RQ = 62 (39); QQ = 69 (29) mg/dL; p < 0.001) and apo A-I (RR = 140.76 ± 36.39; RQ = 147.62 ± 36.92; QQ = 147.49 ± 36.65 mg/dL; p = 0.019). Stepwise regression analysis revealed that heterozygous and p.192Q carriers influenced by 58% PON1 activity towards paraoxon. The univariate linear regression analysis demonstrated that p.Q192R SNP was not associated with mean cIMT; as a result, in the multiple regression analysis, no variables were selected with 5% significance. In logistic regression analysis, the studied parameters were not associated with the presence of carotid plaques.Conclusion:In low-risk individuals, the presence of the p.192Q variant ofPON1 is associated with a beneficial plasma lipid profile but not with carotid atherosclerosis.

Storing Data in the Trial of Complex Technical Products

The article considers the ways of organization of databases for the storage of the results obtained during testing. A new variant of the organization of the data to ensure the ability to write to the database different sets of parameters in the form of chronological series. The required set of parameters depends on the modification of the tested technical installation.

mRNA metabolism: nonsense mediated mRNA decay as a tool for gene therapy and the role of human DIS3L2 in transcript degradation

Tese de mestrado em Biologia Humana e Ambiente, apresentada à Universidade de Lisboa, através da Faculdade de Ciências, 2015

Befristete Arbeitsverträge : Ein praxisorientierter Leitfaden

This master thesis explains fixed-term contracts in practice. To illustrate this point, examples are provided for better understanding. It will be discussed at both the fixed-term with an objective reason and without objective reason. The second variant is also called moderate Expiration Calendar. Not only the benefits and advantages for the employer are enumerated, but also the special challenges and problems that may arise. Particularly with regard to the prohibition of previous employment.This thesis presents the interests fo employers and companies. The central research question is: What are the possibilities of limitation and there is the prohibition of previous employment unconstitutional? A special attention is given to the contractual formulation examples of limited contracts. It deals exclusively with applicable German and European law. A comparison with previous case-law does not take place in this master thesis.

Cytochemical study of Rhodnius neglectus and Rhodnius prolixus salivary gland cells (Hemiptera, Triatominae)

Triatomines are hematophagous bugs of medical interest in South and Central America, where they may act as invertebrate hosts of the hemoflagellate protozoa Trypanosoma cruzi (the causative of Chagas’ disease) and Trypanosoma rangeli (Tejera, 1920). Triatomines of Rhodnius genus have salivary gland formed by two close and independent units: the principal and the accessory. This gland secretes saliva that abounds in substances that facilitate and permit feeding. Despite this importance, there are few reports on its cytochemistry. In purpose of amplifying this understanding, in this work it was investigated the nuclear structures (chromatin and nucleolar corpuscles) of salivary gland cells of Rhodnius neglectus (Lent, 1954) and Rhodnius prolixus (Stål, 1859). The salivary glands were removed from adult insects, fixed and submitted to different cytochemical methods: lacto-acetic orcein, silver ion impregnation, Feulgen reaction, Toluidine Blue, Variant method of critical electrolyte concentration and C-banding. The results evidenced predominance of binucleated cells, with bulky and polyploid nucleus, decondensed chromatin and a large nucleolar area. In addition, cytoplasmic metachromasy and a clear association between nucleolar and heterochromatic corpuscles were observed. Such characteristics were associated with intense synthesis activity to produce saliva. Besides, the heterochromatic corpuscles observed with C Banding permitted the differentiation of sexes and species.

Image registration techniques with multiresolution analysis in satellite oceanography

En aquest article es fa una descripció dels procediments realitzats per enregistrar dues imatges geomètricament, de forma automàtica, si es pren la primera com a imatge de referència. Es comparen els resultats obtinguts mitjançant tres mètodes. El primer mètode és el d’enregistrament clàssic en domini espacial maximitzant la correlació creuada (MCC)[1]. El segon mètode es basa en aplicar l’enregistrament MCC conjuntament amb un anàlisi multiescala a partir de transformades wavelet [2]. El tercer mètode és una variant de l’anterior que es situa a mig camí dels dos. Per cada un dels mètodes s’obté una estimació dels coeficients de la transformació que relaciona les dues imatges. A continuació es transforma per cada cas la segona imatge i es georeferencia respecte la primera. I per acabar es proposen unes mesures quantitatives que permeten discutir i comparar els resultats obtinguts amb cada mètode.

Periodic solutions for nonautonomous second order differential inclusions systems with p- Laplacian

Using the nonsmooth variant of minimax point theorems, some existence results are obtained for periodic solutions of nonautonomous second-order differential inclusions systems with p-Laplacian.

Dance movement patterns recognition

"Es tracta d'un projecte dividit en dues parts independents però complementàries, realitzades per autors diferents. Aquest document conté originàriament altre material i/o programari només consultable a la Biblioteca de Ciència i Tecnologia"