914 resultados para Reactive Probabilistic Automata
Resumo:
High fat diets and accompanying hepatic steatosis are highly prevalent conditions. Previous work has shown that steatosis is accompanied by enhanced generation of reactive oxygen species (ROS), which may mediate further liver damage. Here we investigated mechanisms leading to enhanced ROS generation following high fat diets (HFD). We found that mitochondria from HFD livers present no differences in maximal respiratory rates and coupling, but generate more ROS specifically when fatty acids are used as substrates. Indeed, many acyl-CoA dehydrogenase isoforms were found to be more highly expressed in HFD livers, although only the very long chain acyl-CoA dehydrogenase (VLCAD) was more functionally active. Studies conducted with permeabilized mitochondria and different chain length acyl-CoA derivatives suggest that VLCAD is also a source of ROS production in mitochondria of HFD animals. This production is stimulated by the lack of NAD+. Overall, our studies uncover VLCAD as a novel, diet-sensitive, source of mitochondrial ROS.
Resumo:
Poly(ethylene tereftalate) (PET) is a polymer highly susceptible to the hydrolytic reactions that occur during applications and mainly in thermomechanical processing. These reactions lead to the decrease of molecular weight of the polymer, limiting the recycling number of the material. The reactive extrusion of the PET in presence of chain extenders is an alternative to recover mechanical and rheological properties that were depreciated by the polymer degradation. In this study, PET wastes from nonwoven fabrics production were extruded in presence of the secondary stabilizer Irgafos 126 (IRG) on variable concentrations. The results showed that Irgafos 126 increased molecular weight, decreased crystallinity and changed processing behavior of the PET, similarly to the effects produced by the well-known chain extender pyromellitic dianhydride (PMDA), showing that the secondary stabilizer Irgafos 126 can also act as a chain extender for the PET.
Resumo:
Semi-qualitative probabilistic networks (SQPNs) merge two important graphical model formalisms: Bayesian networks and qualitative probabilistic networks. They provade a very Complexity of inferences in polytree-shaped semi-qualitative probabilistic networks and qualitative probabilistic networks. They provide a very general modeling framework by allowing the combination of numeric and qualitative assessments over a discrete domain, and can be compactly encoded by exploiting the same factorization of joint probability distributions that are behind the bayesian networks. This paper explores the computational complexity of semi-qualitative probabilistic networks, and takes the polytree-shaped networks as its main target. We show that the inference problem is coNP-Complete for binary polytrees with multiple observed nodes. We also show that interferences can be performed in time linear in the number of nodes if there is a single observed node. Because our proof is construtive, we obtain an efficient linear time algorithm for SQPNs under such assumptions. To the best of our knowledge, this is the first exact polynominal-time algorithm for SQPn. Together these results provide a clear picture of the inferential complexity in polytree-shaped SQPNs.
Resumo:
Due to the growing interest in social networks, link prediction has received significant attention. Link prediction is mostly based on graph-based features, with some recent approaches focusing on domain semantics. We propose algorithms for link prediction that use a probabilistic ontology to enhance the analysis of the domain and the unavoidable uncertainty in the task (the ontology is specified in the probabilistic description logic crALC). The scalability of the approach is investigated, through a combination of semantic assumptions and graph-based features. We evaluate empirically our proposal, and compare it with standard solutions in the literature.
Resumo:
Reactive Sputter Magnetron (RSM) is a widely used technique to thin films growing of compounds both, in research laboratories and in industrial processes. The nature of the deposited compound will depend then on the nature of the magnetron target and the nature of the ions generated in the plasma. One important aspect of the problem is the knowledge of the evolution of the film during the process of growing itself. In this work, we present the design, construction of a chamber to be installed in the Huber goniometer in the XRD2 line of LNLS in Campinas, which allows in situ growing kinetic studies of thin films.
Resumo:
A regional envelope curve (REC) of flood flows summarises the current bound on our experience of extreme floods in a region. RECs are available for most regions of the world. Recent scientific papers introduced a probabilistic interpretation of these curves and formulated an empirical estimator of the recurrence interval T associated with a REC, which, in principle, enables us to use RECs for design purposes in ungauged basins. The main aim of this work is twofold. First, it extends the REC concept to extreme rainstorm events by introducing the Depth-Duration Envelope Curves (DDEC), which are defined as the regional upper bound on all the record rainfall depths at present for various rainfall duration. Second, it adapts the probabilistic interpretation proposed for RECs to DDECs and it assesses the suitability of these curves for estimating the T-year rainfall event associated with a given duration and large T values. Probabilistic DDECs are complementary to regional frequency analysis of rainstorms and their utilization in combination with a suitable rainfall-runoff model can provide useful indications on the magnitude of extreme floods for gauged and ungauged basins. The study focuses on two different national datasets, the peak over threshold (POT) series of rainfall depths with duration 30 min., 1, 3, 9 and 24 hrs. obtained for 700 Austrian raingauges and the Annual Maximum Series (AMS) of rainfall depths with duration spanning from 5 min. to 24 hrs. collected at 220 raingauges located in northern-central Italy. The estimation of the recurrence interval of DDEC requires the quantification of the equivalent number of independent data which, in turn, is a function of the cross-correlation among sequences. While the quantification and modelling of intersite dependence is a straightforward task for AMS series, it may be cumbersome for POT series. This paper proposes a possible approach to address this problem.
Resumo:
The inherent stochastic character of most of the physical quantities involved in engineering models has led to an always increasing interest for probabilistic analysis. Many approaches to stochastic analysis have been proposed. However, it is widely acknowledged that the only universal method available to solve accurately any kind of stochastic mechanics problem is Monte Carlo Simulation. One of the key parts in the implementation of this technique is the accurate and efficient generation of samples of the random processes and fields involved in the problem at hand. In the present thesis an original method for the simulation of homogeneous, multi-dimensional, multi-variate, non-Gaussian random fields is proposed. The algorithm has proved to be very accurate in matching both the target spectrum and the marginal probability. The computational efficiency and robustness are very good too, even when dealing with strongly non-Gaussian distributions. What is more, the resulting samples posses all the relevant, welldefined and desired properties of “translation fields”, including crossing rates and distributions of extremes. The topic of the second part of the thesis lies in the field of non-destructive parametric structural identification. Its objective is to evaluate the mechanical characteristics of constituent bars in existing truss structures, using static loads and strain measurements. In the cases of missing data and of damages that interest only a small portion of the bar, Genetic Algorithm have proved to be an effective tool to solve the problem.
Resumo:
In calcareous soils, which are a large share of agricultural soils worldwide, iron availability is limited. Consequently, the whole plant physiology is affected, because of the key role of iron in redox metabolism, resulting in reduced crop yield and quality. Peach cultivation is economically important in northern Italy, and is easily subjected to iron chlorosis. The management of iron nutrition in peach includes grafting on bicarbonate-tolerant rootstocks; other forms of management may be expensive and environmentally impacting. Four genotypes, used as rootstocks for peach and characterized by different degrees of tolerance to chlorosis, were tested in vitro on optimal and bicarbonate-enriched medium. Their redox status and antioxidant responses were assayed; the production and possible roles of nitric oxide (NO) and related compounds were also studied. The most sensitive genotypes show a stronger reduction of the antioxidant enzymatic activities and an increased oxidative stress. A high production of NO was found to be associated to resistant genotypes, whereas sensitive genotypes reacted to stress by downregulating nitrosoglutathione reductase activity. Therefore, NO is proposed to improve the internal iron availability, or to stimulate iron intake.
Resumo:
Traditional logic gates are rapidly reaching the limits of miniaturization. Overheating of these components is no longer negligible. A new physical approach to the machine was proposed by Prof. C S. Lent “Molecular Quantum cellular automata”. Indeed the quantum-dot cellular automata (QCA) approach offers an attractive alternative to diode or transistor devices. Th units encode binary information by two polarizations without corrent flow. The units for QCA theory are called QCA cells and can be realized in several way. Molecules can act as QCA cells at room temperature. In collaboration with STMicroelectronic, the group of Electrochemistry of Prof. Paolucci and the Nananotecnology laboratory from Lecce, we synthesized and studied with many techniques surface-active chiral bis-ferrocenes, conveniently designed in order to act as prototypical units for molecular computing devices. The chemistry of ferrocene has been studied thoroughly and found the opportunity to promote substitution reaction of a ferrocenyl alcohols with various nucleophiles without the aid of Lewis acid as catalysts. The only interaction between water and the two reagents is involve in the formation of a carbocation specie which is the true reactive species. We have generalized this concept to other benzyl alcohols which generating stabilized carbocations. Carbocation describe in Mayr’s scale were fondametal for our research. Finally, we used these alcohols to alkylate in enantioselective way aldehydes via organocatalysis.
Resumo:
A one-dimensional multi-component reactive fluid transport algorithm, 1DREACT (Steefel, 1993) was used to investigate different fluid-rock interaction systems. A major short coming of mass transport calculations which include mineral reactions is that solid solutions occurring in many minerals are not treated adequately. Since many thermodynamic models of solid solutions are highly non-linear, this can seriously impact on the stability and efficiency of the solution algorithms used. Phase petrology community saw itself faced with a similar predicament 10 years ago. To improve performance and reliability, phase equilibrium calculations have been using pseudo compounds. The same approach is used here in the first, using the complex plagioclase solid solution as an example. Thermodynamic properties of a varying number of intermediate plagioclase phases were calculated using ideal molecular, Al-avoidance, and non-ideal mixing models. These different mixing models can easily be incorporated into the simulations without modification of the transport code. Simulation results show that as few as nine intermediate compositions are sufficient to characterize the diffusional profile between albite and anorthite. Hence this approach is very efficient, and can be used with little effort. A subsequent chapter reports the results of reactive fluid transport modeling designed to constrain the hydrothermal alteration of Paleoproterozoic sediments of the Southern Lake Superior region. Field observations reveal that quartz-pyrophyllite (or kaolinite) bearing assemblages have been transformed into muscovite-pyrophyllite-diaspore bearing assemblages due to action of fluids migrating along permeable flow channels. Fluid-rock interaction modeling with an initial qtz-prl assemblage and a K-rich fluid simulates the formation of observed mineralogical transformation. The bulk composition of the system evolves from an SiO2-rich one to an Al2O3+K2O-rich one. Simulations show that the fluid flow was up-temperature (e.g. recharge) and that fluid was K-rich. Pseudo compound approach to include solid solutions in reactive transport models was tested in modeling hydrothermal alteration of Icelandic basalts. Solid solutions of chlorites, amphiboles and plagioclase were included as the secondary mineral phases. Saline and fresh water compositions of geothermal fluids were used to investigate the effect of salinity on alteration. Fluid-rock interaction simulations produce the observed mineral transformations. They show that roughly the same alteration minerals are formed due to reactions with both types of fluid which is in agreement with the field observations. A final application is directed towards the remediation of nitrate rich groundwaters. Removal of excess nitrate from groundwater by pyrite oxidation was modeled using the reactive fluid transport algorithm. Model results show that, when a pyrite-bearing, permeable zone is placed in the flow path, nitrate concentration in infiltrating water can be significantly lowered, in agreement with proposals from the literature. This is due to nitrogen reduction. Several simulations investigate the efficiency of systems with different mineral reactive surface areas, reactive barrier zone widths, and flow rates to identify the optimum setup.
Resumo:
The objective of the work is the evaluation of the potential capabilities of navigation satellite signals to retrieve basic atmospheric parameters. A capillary study have been performed on the assumptions more or less explicitly contained in the common processing steps of navigation signals. A probabilistic procedure has been designed for measuring vertical discretised profiles of pressure, temperature and water vapour and their associated errors. Numerical experiments on a synthetic dataset have been performed with the main objective of quantifying the information that could be gained from such approach, using entropy and relative entropy as testing parameters. A simulator of phase delay and bending of a GNSS signal travelling across the atmosphere has been developed to this aim.
Resumo:
Donor-derived CD8+ cytotoxic T lymphocytes (CTLs) eliminating host leukemic cells mediate curative graft-versus-leukemia (GVL) reactions after allogeneic hematopoietic stem cell transplantation (HSCT). The leukemia-reactive CTLs recognize hematopoiesis-restricted or broadly expressed minor histocompatibility and leukemia-associated peptide antigens that are presented by human leukocyte antigen (HLA) class I molecules on recipient cells. The development of allogeneic CTL therapy in acute myeloid leukemia (AML) is hampered by the poor efficiency of current techniques for generating leukemia-reactive CTLs from unprimed healthy donors in vitro. In this work, a novel allogeneic mini-mixed lymphocyte/leukemia culture (mini-MLLC) approach was established by stimulating CD8+ T cells isolated from peripheral blood of healthy donors at comparably low numbers (i.e. 10e4/well) with HLA class I-matched primary AML blasts in 96-well microtiter plates. Before culture, CD8+ T cells were immunomagnetically separated into CD62L(high)+ and CD62L(low)+/neg subsets enriched for naive/central memory and effector memory cells, respectively. The application of 96-well microtiter plates aimed at creating multiple different responder-stimulator cell compositions in order to provide for the growth of leukemia-reactive CTLs optimized culture conditions by chance. The culture medium was supplemented with interleukin (IL)-7, IL-12, and IL-15. On day 14, IL-12 was replaced by IL-2. In eight different related and unrelated donor/AML pairs with complete HLA class I match, numerous CTL populations were isolated that specifically lysed myeloid leukemias in association with various HLA-A, -B, or -C alleles. These CTLs recognized neither lymphoblastoid B cell lines of donor and patient origin nor primary B cell leukemias expressing the corresponding HLA restriction element. CTLs expressed T cell receptors of single V-beta chain families, indicating their clonality. The vast majority of CTL clones were obtained from mini-MLLCs initiated with CD8+ CD62L(high)+ cells. Using antigen-specific stimulation, multiple CTL populations were amplified to 10e8-10e10 cells within six to eight weeks. The capability of mini-MLLC derived AML-reactive CTL clones to inhibit the engraftment of human primary AML blasts was investigated in the immunodeficient nonobese diabetic/severe combined immune deficient IL-2 receptor common γ-chain deficient (NOD/SCID IL2Rγnull) mouse model. The leukemic engraftment in NOD/SCID IL2Rγnull was specifically prevented if inoculated AML blasts had been pre-incubated in vitro with AML-reactive CTLs, but not with anti-melanoma control CTLs. These results demonstrate that myeloid leukemia-specific CTL clones capable of preventing AML engraftment in mice can be rapidly isolated from CD8+ CD62L(high)+ T cells of healthy donors in vitro. The efficient generation and expansion of these CTLs by the newly established mini-MLLC approach opens the door for several potential applications. First, CTLs can be used within T cell-driven antigen identification strategies to extend the panel of molecularly defined AML antigens that are recognizable by T cells of healthy donors. Second, because these CTLs can be isolated from the stem cell donor by mini-MLLC prior to transplantation, they could be infused into AML patients as a part of the stem cell allograft, or early after transplantation when the leukemia burden is low. The capability of these T cells to expand and function in vivo might require the simultaneous administration of AML-reactive CD4+ T cells generated by a similar in vitro strategy or, less complex, the co-transfer of CD8-depleted donor lymphocytes. To prepare clinical testing, the mini-MLLC approach should now be translated into a protocol that is compatible with good manufacturing practice guidelines.
Resumo:
The global mid-ocean ridge system creates oceanic crust and lithosphere that covers more than two-thirds of the Earth. Basalts are volumetrically the most important rock type sampled at mid-ocean ridges. For this reason, our present understanding of upper mantle dynamics and the chemical evolution of the earth is strongly influenced by the study of mid-ocean ridge basalts (MORB). However, MORB are aggregates of polybarically generated small melt increments that can undergo a variety of physical and chemical processes during their ascent and consequently affect their derivative geochemical composition. Therefore, MORB do not represent “direct” windows to the underlying upper mantle. Abyssal peridotites, upper mantle rocks recovered from the ocean floor, are the residual complement to MORB melting and provide essential information on melt extraction from the upper mantle. In this study, abyssal peridotites are examined to address these overarching questions posed by previous studies of MORB: How are basaltic melts formed in the mantle, how are they extracted from the mantle and what physical and chemical processes control mantle melting? The number of studies on abyssal peridotites is small compared to those on basalts, in part because seafloor exposures of abyssal peridotites are relatively rare. For this reason, abyssal peridotite characteristics need to be considered in the context of subaerially exposed peridotites associated with ophiolites, orogenic peridotite bodies and basalt-hosted xenoliths. However, orogenic peridotite bodies are mainly associated with passive continental margins, most ophiolites are formed in supra-subduction zone settings, and peridotite xenoliths are often contaminated by their host magma. Therefore, studies of abyssal peridotites are essential to understanding the primary characteristics of the oceanic upper mantle free from the influence of continental rifting, subduction and tectonic emplacement processes. Nevertheless, numerous processes such as melt stagnation and cooling-induced, inter-mineral exchange can affect residual abyssal peridotite compositions after the cessation of melting. The aim of this study is to address these post-melting modifications of abyssal peridotites from a petrological-geochemical perspective. The samples in this study were dredged along the axis of the ultraslow-spreading Gakkel Ridge in the Arctic Ocean within the “Sparsely Magmatic Zone”, a 100 km ridge section where only mantle rocks are exposed. During two expeditions (ARK XVII-2 in 2001 and ARK XX-2 in 2004), exceptionally fresh peridotites were recovered. The boulders and cobbles collected cover a range of mantle rock compositions, with most characterized as plagioclase-free spinel peridotites or plagioclase- spinel peridotites. This thesis investigates melt stagnation and cooling processes in the upper mantle and is divided into two parts. The first part focuses on processes in the stability field of spinel peridotites (>10 kb) such as melt refertilization and cooling related trace element exchange, while the second part investigates processes in the stability field of plagioclase peridotites (< 10 kb) such as reactive melt migration and melt stagnation. The dissertation chapters are organized to follow the theoretical ascent of a mantle parcel upwelling beneath the location where the samples were collected.
Resumo:
The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.