Studies in search of a suitable experimental insect model for xenodiagnosis of hosts with Chagas' disease: 3 - On the interaction of vector species and parasite strain in the reaction of bugs to infection by Trypanosoma cruzi

The reaction of nine vector species of Chagas' disease to infection by seven different Trypanosoma cruzi strains; Berenice, Y, FL, CL, S. Felipe, Colombiana and Gávea, are examined and compared. On the basis of the insects' ability to establish and maintain the infection, vector species could be divided into two distinct groups which differ in their reaction to an acute infection by T. cruzi. While the proportion of positive bugs was found to be low in Triatoma infestans and Triatoma dimidiata it was high, ranging from 96.9% to 100% in the group of wild (Rhodnius neglectus, Triatoma rubrovaria)and essentially sylvatic vectors in process of adaptation to human dwellings, maintained under control following successful insecticidal elimination of Triatoma infestans (Panstrongylus megistus, Triatoma sordida and Triatoma pseudomaculata). An intermediate position is held by Triatoma brasiliensis and Rhodnius prolixus. This latter has been found to interchange between domestic and sylvatic environments. The most important finding is the strikingly good reaction between each species of the sylvatic bugs and practically all T. cruzi strains herein studied, thus indicating that the factors responsible for the excellent reaction of P.megistus to infection by Y strain, as previously reported also come into operation in the reaction of the same vector species to acute infections by five of the remaining T.cruzi strains. Comparison or data reported by other investigators with those herein described form the basis of the discussion of Dipetalogaster maximus as regards its superiority as a xenodiagnostic agent.

Hybrid fuzzy Monte Carlo and logic programming model for distribution network reconfiguration in the presence of outages

This paper presents a methodology for distribution networks reconfiguration in outage presence in order to choose the reconfiguration that presents the lower power losses. The methodology is based on statistical failure and repair data of the distribution power system components and uses fuzzy-probabilistic modelling for system component outage parameters. Fuzzy membership functions of system component outage parameters are obtained by statistical records. A hybrid method of fuzzy set and Monte Carlo simulation based on the fuzzy-probabilistic models allows catching both randomness and fuzziness of component outage parameters. Once obtained the system states by Monte Carlo simulation, a logical programming algorithm is applied to get all possible reconfigurations for every system state. In order to evaluate the line flows and bus voltages and to identify if there is any overloading, and/or voltage violation a distribution power flow has been applied to select the feasible reconfiguration with lower power losses. To illustrate the application of the proposed methodology to a practical case, the paper includes a case study that considers a real distribution network.

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.

Verificação da segurança à ação sísmica da estrutura de um colégio em Ponta Delgada utilizando o Eurocódigo 8 - parte 3

Dissertação para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização em Estruturas

Machine ethics via logic programming

Machine ethics is an interdisciplinary field of inquiry that emerges from the need of imbuing autonomous agents with the capacity of moral decision-making. While some approaches provide implementations in Logic Programming (LP) systems, they have not exploited LP-based reasoning features that appear essential for moral reasoning. This PhD thesis aims at investigating further the appropriateness of LP, notably a combination of LP-based reasoning features, including techniques available in LP systems, to machine ethics. Moral facets, as studied in moral philosophy and psychology, that are amenable to computational modeling are identified, and mapped to appropriate LP concepts for representing and reasoning about them. The main contributions of the thesis are twofold. First, novel approaches are proposed for employing tabling in contextual abduction and updating – individually and combined – plus a LP approach of counterfactual reasoning; the latter being implemented on top of the aforementioned combined abduction and updating technique with tabling. They are all important to model various issues of the aforementioned moral facets. Second, a variety of LP-based reasoning features are applied to model the identified moral facets, through moral examples taken off-the-shelf from the morality literature. These applications include: (1) Modeling moral permissibility according to the Doctrines of Double Effect (DDE) and Triple Effect (DTE), demonstrating deontological and utilitarian judgments via integrity constraints (in abduction) and preferences over abductive scenarios; (2) Modeling moral reasoning under uncertainty of actions, via abduction and probabilistic LP; (3) Modeling moral updating (that allows other – possibly overriding – moral rules to be adopted by an agent, on top of those it currently follows) via the integration of tabling in contextual abduction and updating; and (4) Modeling moral permissibility and its justification via counterfactuals, where counterfactuals are used for formulating DDE.

Definició d'un procés de gestió de projectes que compleixi amb el model d'avaluació i millora de processos CMM a Nivell 3

Aquest TFC vol fer una presentació del model CMM, presentar un sistema de gestió que cobreixi els seus requeriments a nivell 3, fer una proposta de desplegament i avaluar els costos i els beneficis de l'adopció del nou sistema de gestió per a una empresa dedicada al desenvolupament i el manteniment de programari. El resultat del treball és la memòria en si i els seus annexos.

Anàlisi i comparativa de frameworks dins de les 3 capes (Vista-Model-Dades) d'una arquitecturatípica JEE

Analitzarem, mitjançant proves de codi que realitzen la mateixa tasca, dels diferentsFramework escollits, la seva eficiència (velocitat i memòria entre d'altres).

Altered expression of beta-galactosidase-1-like protein 3 (Glb1l3) in the retinal pigment epithelium (RPE)-specific 65-kDa protein knockout mouse model of Leber's congenital amaurosis

Purpose: In this study, we investigated the expression of the gene encoding beta-galactosidase (Glb)-1-like protein 3 (Glb1l3), a member of the glycosyl hydrolase 35 family, during retinal degeneration in the retinal pigment epithelium (RPE)-specific 65-kDa protein knockout (Rpe65(-/-)) mouse model of Leber congenital amaurosis (LCA). Additionally, we assessed the expression of the other members of this protein family, including beta-galactosidase-1 (Glb1), beta-galactosidase-1-like (Glb1l), and beta-galactosidase-1-like protein 2 (Glb1l2).Methods: The structural features of Glb1l3 were assessed using bioinformatic tools. mRNA expression of Glb-related genes was investigated by oligonucleotide microarray, real-time PCR, and reverse transcription (RT) -PCR. The localized expression of Glb1l3 was assessed by combined in situ hybridization and immunohistochemistry.Results: Glb1l3 was the only Glb-related member strongly downregulated in Rpe65(-/-) retinas before the onset and during progression of the disease. Glb1l3 mRNA was only expressed in the retinal layers and the RPE/choroid. The other Glb-related genes were ubiquitously expressed in different ocular tissues, including the cornea and lens. In the healthy retina, expression of Glb1l3 was strongly induced during postnatal retinal development; age-related increased expression persisted during adulthood and aging.Conclusions: These data highlight early-onset downregulation of Glb1l3 in Rpe65-related disease. They further indicate that impaired expression of Glb1l3 is mostly due to the absence of the chromophore 11-cis retinal, suggesting that Rpe65 deficiency may have many metabolic consequences in the underlying neuroretina.

A genealogical conceptual model using ontologies

Roughly fifteen years ago, the Church of Jesus Christ of Latter-day Saints published a new proposed standard file format. They call it GEDCOM. It was designed to allow different genealogy programs to exchange data.Five years later, in may 2000, appeared the GENTECH Data Modeling Project, with the support of the Federation of Genealogical Societies (FGS) and other American genealogical societies. They attempted to define a genealogical logic data model to facilitate data exchange between different genealogical programs. Although genealogists deal with an enormous variety of data sources, one of the central concepts of this data model was that all genealogical data could be broken down into a series of short, formal genealogical statements. It was something more versatile than only export/import data records on a predefined fields. This project was finally absorbed in 2004 by the National Genealogical Society (NGS).Despite being a genealogical reference in many applications, these models have serious drawbacks to adapt to different cultural and social environments. At the present time we have no formal proposal for a recognized standard to represent the family domain.Here we propose an alternative conceptual model, largely inherited from aforementioned models. The design is intended to overcome their limitations. However, its major innovation lies in applying the ontological paradigm when modeling statements and entities.

MRI visualized neo-intimal dissection and co-localization of novel apoptotic markers apolipoprotein C-1, ceramide and caspase-3 in a Watanabe hyperlipidemic rabbit model

PURPOSE: Apoptotic arterial wall vascular smooth muscle cell death is known to contribute to plaque vulnerability and rupture. Novel apoptotic markers like apolipoprotein C-I have been implicated in apoptotic human vascular smooth muscle cell death via recruiting a neutral sphingomyelinase (N-SMase)-ceramide pathway. In vivo relevance of these observations in an animal model of plaque rupture has not been shown. METHODS AND RESULTS: Using Watanabe rabbits, we investigated three different groups (group 1, three normal Watanabe rabbits; group 2, six Watanabe rabbits fed with high cholesterol diet for 3 months; group 3, five Watanabe rabbits with similar diet but additional endothelial denudation). We followed progression of atherosclerosis to pharmacologically induced plaque rupture non-invasively using novel 3D magnetic resonance Fast-Field-Echo angiography (TR=7.2, TE=3.6 ms, matrix=512 x 512) and Fast-Spin-Echo vessel wall imaging methods (TR=3 heart beats, TE=10.5 ms, matrix=304 x 304) on 1.5 T MRI. MRI provided excellent image quality with good MRI versus histology vessel wall thickness correlation (r=0.8). In six animals of group 2/3 MRI detected neo-intimal dissection in the abdominal aorta which was accompanied by immuno-histochemical demonstration of concomitant aforementioned novel apoptotic markers, previously implicated in the apoptotic smooth muscle cell death in vitro. CONCLUSIONS: Our studies suggest a potential role for the signal transduction pathway involving apolipoprotein C-I for in vivo apoptosis and atherosclerotic plaque rupture visualized by MRI.

The αVβ3/αVβ5 integrin inhibitor cilengitide augments tumor response to melphalan isolated limb perfusion in a sarcoma model.

Isolated limb perfusion (ILP) with melphalan and tumor necrosis factor (TNF)-α is used to treat bulky, locally advanced melanoma and sarcoma. However, TNF toxicity suggests a need for better-tolerated drugs. Cilengitide (EMD 121974), a novel cyclic inhibitor of alpha-V integrins, has both anti-angiogenic and direct anti-tumor effects and is a possible alternative to TNF in ILP. In this study, rats bearing a hind limb soft tissue sarcoma underwent ILP using different combinations of melphalan, TNF and cilengitide in the perfusate. Further groups had intra-peritoneal (i.p.) injections of cilengitide or saline 2 hr before and 3 hr after ILP. A 77% response rate (RR) was seen in animals treated i.p. with cilengitide and perfused with melphalan plus cilengitide. The RR was 85% in animals treated i.p. with cilengitide and ILP using melphalan plus both TNF and cilengitide. Both RRs were significantly greater than those seen with melphalan or cilengitide alone. Histopathology showed that high RRs were accompanied by disruption of tumor vascular endothelium and tumor necrosis. Compared with ILP using melphalan alone, the addition of cilengitide resulted in a three to sevenfold increase in melphalan concentration in tumor but not in muscle in the perfused limb. Supportive in vitro studies indicate that cilengitide both inhibits tumor cell attachment and increases endothelial permeability. Since cilengitide has low toxicity, these data suggest the agent is a good alternative to TNF in the ILP setting.

Reinventar la metròpoli: Barcelona i el model de la Greater London Authority

La dècada de 1980 va significar un punt i a part per als governs metropolitans. Després de viure una època daurada durant els 60 i 70, la reestructuració del sistema politicoeconòmic va comportar que les estructures de govern metropolità fossin qüestionades i fins i tot suprimides. Quan tot semblava indicar que restarien només com a record, la lògica de competència entre grans ciutats i la necessitat de reinventar-se en base a un desenvolupament sostenible va suposar un inesperat renaixement de la política metropolitana. Si fins aleshores la seva necessitat s'havia justificat bàsicament des d'un punt de vista funcional, seguint pautes tecnòcrates i burocratitzades, la nova metropolítica se centra en la competitivitat i en la sostenibilitat, alhora que posa èmfasi en assajar mètodes de governança. Londres, ciutat que presenta certs paral·lelismes històrics amb Barcelona, ha estat una ciutat pionera i de la seva experiència es pot aprendre per la capital catalana

Examination of Curing Criteria for Cold In-Place Recycling (Phase 3: Calibration of Moisture Loss Indices and Development of Stiffness Gain Model), TR-609, 2011

In the previous study, moisture loss indices were developed based on the field measurements from one CIR-foam and one CIR-emulsion construction sites. To calibrate these moisture loss indices, additional CIR construction sites were monitored using embedded moisture and temperature sensors. In addition, to determine the optimum timing of an HMA overlay on the CIR layer, the potential of using the stiffness of CIR layer measured by geo-gauge instead of the moisture measurement by a nuclear gauge was explored. Based on the monitoring the moisture and stiffness from seven CIR project sites, the following conclusions are derived: 1. In some cases, the in-situ stiffness remained constant and, in other cases, despite some rainfalls, stiffness of the CIR layers steadily increased during the curing time. 2. The stiffness measured by geo-gauge was affected by a significant amount of rainfall. 3. The moisture indices developed for CIR sites can be used for predicting moisture level in a typical CIR project. The initial moisture content and temperature were the most significant factors in predicting the future moisture content in the CIR layer. 4. The stiffness of a CIR layer is an extremely useful tool for contractors to use for timing their HMA overlay. To determine the optimal timing of an HMA overlay, it is recommended that the moisture loss index should be used in conjunction with the stiffness of the CIR layer.

Hind limb ischemia in rabbit model: T2-prepared versus time-of-flight MR angiography at 3 T.

PURPOSE: To prospectively compare various parameters of vessels imaged at 3 T by using time-of-flight (TOF) and T2-prepared magnetic resonance (MR) angiography in a rabbit model of hind limb ischemia. MATERIALS AND METHODS: Experiments were approved by the institutional animal care and use committee. Endovascular occlusion of the left superficial femoral artery was induced in 14 New Zealand white rabbits. After 2 weeks, MR angiography and conventional (x-ray) angiography were performed. Vessel sharpness was evaluated visually in the ischemic and nonischemic limbs, and the presence of small collateral vessels was evaluated in the ischemic limbs. Vessel sharpness was also quantified by evaluating the magnitude of signal intensity change at the vessel borders. RESULTS: The sharpness of vessels in the nonischemic limbs was similar between the TOF and the T2-prepared images. In the ischemic limbs, however, T2-prepared imaging, as compared with TOF imaging, generated higher vessel sharpness in arteries with diminished blood flow (mean vessel sharpness: 44% vs 30% for popliteal arteries, 45% vs 28% for saphenous arteries; P < .001 for both comparisons) and enabled better detection of small collateral vessels (93% vs 36% of vessels, P < .001). CONCLUSION: T2-prepared imaging can facilitate high-spatial-resolution MR angiography of small vessels with low blood flow and thus has potential as a tool for noninvasive evaluation of arteriogenic therapies, without use of contrast material. Supplemental material: http://radiology.rsnajnls.org/cgi/content/full/2452062067/DC1.