monitoring-based approach to object-oriented real-time computing

Monitoring, object-orientation, real-time, execution-time, scheduling

Composition and construction of embedded software families

Feature modeling, embebbed software, software product lines, tool support

middleware for cooperating mobile embedded systems

Mobile embedded systems, wireless communication, real-time systems, real-time scheduling, communication protocols, cooperation, reliability and fault-tolerance, middleware

Reusability evaluation of component-based embedded automative software systems

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

Plataforma Computing@home

En este proyecto se han visto dos sistemas de computación distribuida diferentes entre ellos: Condor y BOINC. Se exploran las posibilidades para poder conseguir que ambos sistemas logren trabajar conjuntamente, escogiendo la parte más efectiva de cada uno de los sistemas con el fin de complementarse.

Computing Markov-Perfect Optimal Policies in Business-Cycle Models

Time-inconsistency is an essential feature of many policy problems (Kydland and Prescott, 1977). This paper presents and compares three methods for computing Markov-perfect optimal policies in stochastic nonlinear business cycle models. The methods considered include value function iteration, generalized Euler-equations, and parameterized shadow prices. In the context of a business cycle model in which a scal authority chooses government spending and income taxation optimally, while lacking the ability to commit, we show that the solutions obtained using value function iteration and generalized Euler equations are somewhat more accurate than that obtained using parameterized shadow prices. Among these three methods, we show that value function iteration can be applied easily, even to environments that include a risk-sensitive scal authority and/or inequality constraints on government spending. We show that the risk-sensitive scal authority lowers government spending and income-taxation, reducing the disincentive households face to accumulate wealth.

Molecular detection and identification of zygomycetes species from paraffin-embedded tissues in a murine model of disseminated zygomycosis: a collaborative European Society of Clinical Microbiology and Infectious Diseases (ESCMID) Fungal Infection Study Group (EFISG) evaluation.

The present study was performed to assess the interlaboratory reproducibility of the molecular detection and identification of species of Zygomycetes from formalin-fixed paraffin-embedded kidney and brain tissues obtained from experimentally infected mice. Animals were infected with one of five species (Rhizopus oryzae, Rhizopus microsporus, Lichtheimia corymbifera, Rhizomucor pusillus, and Mucor circinelloides). Samples with 1, 10, or 30 slide cuts of the tissues were prepared from each paraffin block, the sample identities were blinded for analysis, and the samples were mailed to each of seven laboratories for the assessment of sensitivity. A protocol describing the extraction method and the PCR amplification procedure was provided. The internal transcribed spacer 1 (ITS1) region was amplified by PCR with the fungal universal primers ITS1 and ITS2 and sequenced. As negative results were obtained for 93% of the tissue specimens infected by M. circinelloides, the data for this species were excluded from the analysis. Positive PCR results were obtained for 93% (52/56), 89% (50/56), and 27% (15/56) of the samples with 30, 10, and 1 slide cuts, respectively. There were minor differences, depending on the organ tissue, fungal species, and laboratory. Correct species identification was possible for 100% (30 cuts), 98% (10 cuts), and 93% (1 cut) of the cases. With the protocol used in the present study, the interlaboratory reproducibility of ITS sequencing for the identification of major Zygomycetes species from formalin-fixed paraffin-embedded tissues can reach 100%, when enough material is available.

Monitorització d'alt nivell per a el computing de l'experiment ATLAS (LHC)

Aquest projecte descriu la fusió de les necessitats diaries de monitorització del experiment ATLAS des del punt de vista del cloud. La idea principal es desenvolupar un conjunt de col·lectors que recullin informació de la distribució i processat de les dades i dels test de wlcg (Service Availability Monitoring), emmagatzemant-la en BBDD específiques per tal de mostrar els resultats en una sola pàgina HLM (High Level Monitoring). Un cop aconseguit, l’aplicació ha de permetre investigar més enllà via interacció amb el front-end, el qual estarà alimentat per les estadístiques emmagatzemades a la BBDD.

Computing hypergraph width measures exactly

Hypergraph width measures are a class of hypergraph invariants important in studying the complexity of constraint satisfaction problems (CSPs). We present a general exact exponential algorithm for a large variety of these measures. A connection between these and tree decompositions is established. This enables us to almost seamlessly adapt the combinatorial and algorithmic results known for tree decompositions of graphs to the case of hypergraphs and obtain fast exact algorithms. As a consequence, we provide algorithms which, given a hypergraph H on n vertices and m hyperedges, compute the generalized hypertree-width of H in time O*(2n) and compute the fractional hypertree-width of H in time O(1.734601n.m).1

Hydrophobic labeling of (Na+,K+)-ATPase: further evidence that the beta subunit is embedded in the membrane bilayer.

O-Hexanoyl-3,5-diiodo-N-(4-azido-2-nitro-phenyl)tyramine has been used after photochemical conversion into the reactive nitrene to label (Na+,K+)-ATPase from Bufo marinus toad kidney. Immunochemical evidence indicates that the reagent labels both subunits of the enzyme in partially purified form as well as in microsomal membranes. These results support the view that the glycoprotein subunit, like the catalytic subunit, possesses hydrophobic domains by which it is integrated into the plasma membrane.

Detection of Hepatitis B Virus Antigens in Paraffin-embedded Liver Specimens from the Amazon Region, Brazil

Hepatic viscerotomy of paraffin-preserved old specimens, collected in the period from 1934 to 1967, were analyzed by immunohistochemical assays to detect hepatitis B, hepatitis D, dengue and yellow fever virus antigens. The material belongs to the Yellow Fever Collection, Department of Pathology, Instituto Oswaldo Cruz, Rio de Janeiro, Brazil and the cases were diagnosed at that time according to clinical aspects and histopathological findings reporting viral hepatitis, yellow fever, focal necrosis and hepatic atrophy. From the 79 specimens, 69 were collected at the Labrea Region and the other 10 in different other localities in the Amazon Region. The five micra thick histological slices were analyzed for the presence of hepatitis B surface antigen (HBsAg) and hepatitis B core antigen (HBcAg) by immunoperoxidase technique. An immunofluorescence assay was applied to the detection of hepatitis D, yellow fever and dengue virus antigens. Nine (11.4%) histological samples were HBsAg reactive and 5 (6.3%) were HBcAg reactive. The oldest reactive sample was from 1934. Viral antigens related to the other pathologies were not detected in this study. Our results confirm that the methodology described may be used to elucidate the aetiology of hepatitis diseases even after a long time of conservation of the specimens.

Detection of Leishmania braziliensis in human paraffin-embedded tissues from Tucumán, Argentina by polymerase chain reaction

American cutaneous leishmaniasis (ACL) is an endemic disease in Northern Argentina. We applied the polymerase chain reaction (PCR) followed by a hybridization labelled probe to 21 paraffin embedded human skin biopsies, already analyzed histologically, from leishmaniasis endemic areas in the province of Tucumán, Argentina. We used primers previously designed to detect a Leishmania-specific 120-base-pair fragment of kinetoplast DNA minicircle, other two primer pairs that amplify kDNA minicircles belonging to the L. braziliensis and L. mexicana complexes respectively, and specific oligonucleotide primers to detect L. (V.) braziliensis which amplify the sequence of the ribosomal protein L-14 of this species. The PCR-hybridization showed a sensitivity of 90.5% when compared to the histopathology test which was 61.9%. Five of the total samples analyzed were positive for the L. braziliensis complex whilst none was positive for the L. mexicana complex. The specific primers for L. (V.) braziliensis detected the parasite in four samples. These results are consistent with those reported for close endemic areas and demonstrate that the causative agent of human leishmaniasis in the analyzed cases was L. (V.) braziliensis. PCR should be used as a diagnostic tool for tegumentary leishmaniasis, especially in the mucosal form, and as a valuable technique for the identification of the Leishmania species that causes the disease in certain areas.

Molecular risk assessment of BIG 1-98 participants by expression profiling using RNA from archival tissue.

Background: The purpose of the work reported here is to test reliable molecular profiles using routinely processed formalin-fixed paraffin-embedded (FFPE) tissues from participants of the clinical trial BIG 1-98 with a median follow-up of 60 months. Methods: RNA from fresh frozen (FF) and FFPE tumor samples of 82 patients were used for quality control, and independent FFPE tissues of 342 postmenopausal participants of BIG 1-98 with ER-positive cancer were analyzed by measuring prospectively selected genes and computing scores representing the functions of the estrogen receptor (eight genes, ER_8), the progesterone receptor (five genes, PGR_5), Her2 (two genes, HER2_2), and proliferation (ten genes, PRO_10) by quantitative reverse transcription PCR (qRT-PCR) on TaqMan Low Density Arrays. Molecular scores were computed for each category and ER_8, PGR_5, HER2_2, and PRO_10 scores were combined into a RISK_25 score. Results: Pearson correlation coefficients between FF- and FFPE-derived scores were at least 0.94 and high concordance was observed between molecular scores and immunohistochemical data. The HER2_2, PGR_ 5, PRO_10 and RISK_25 scores were significant predictors of disease free-survival (DFS) in univariate Cox proportional hazard regression. PRO_10 and RISK_25 scores predicted DFS in patients with histological grade II breast cancer and in lymph node positive disease. The PRO_10 and PGR_ 5 scores were independent predictors of DFS in multivariate Cox regression models incorporating clinical risk indicators; PRO_10 outperformed Ki-67 labeling index in multivariate Cox proportional hazard analyses. Conclusions: Scores representing the endocrine responsiveness and proliferation status of breast cancers were developed from gene expression analyses based on RNA derived from FFPE tissues. The validation of the molecular scores with tumor samples of participants of the BIG 1-98 trial demonstrates that such scores can serve as independent prognostic factors to estimate disease free survival (DFS) in postmenopausal patients with estrogen receptor positive breast cancer.

Actualització tecnológica : una evolució cap al Green Computing

El projecte que es presenta a continuació és una planificació de migració de servidors físics a un entorn virtualitzat, allà on sigui possible. A més s'ha plantejat una renovació tecnològica de tot el parc de servidors per estalviar diners en el manteniment i en el consum d'energia.La solució de virtualització es buscarà que sigui programari lliure.