4,678 research outputs found
Pushing the envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
In the last decade we have witnessed an impressive progress in the
expressiveness and efficiency of Satisfiability Modulo Theories (SMT) solving
techniques. This has brought previously-intractable problems at the reach of
state-of-the-art SMT solvers, in particular in the domain of SW and HW
verification. Many SMT-encodable problems of interest, however, require also
the capability of finding models that are optimal wrt. some cost functions. In
previous work, namely "Optimization Modulo Theory with Linear Rational Cost
Functions -- OMT(LAR U T )", we have leveraged SMT solving to handle the
minimization of cost functions on linear arithmetic over the rationals, by
means of a combination of SMT and LP minimization techniques. In this paper we
push the envelope of our OMT approach along three directions: first, we extend
it to work also with linear arithmetic on the mixed integer/rational domain, by
means of a combination of SMT, LP and ILP minimization techniques; second, we
develop a multi-objective version of OMT, so that to handle many cost functions
simultaneously; third, we develop an incremental version of OMT, so that to
exploit the incrementality of some OMT-encodable problems. An empirical
evaluation performed on OMT-encoded verification problems demonstrates the
usefulness and efficiency of these extensions.Comment: A slightly-shorter version of this paper is published at TACAS 2015
conferenc
Leaf apoplastic proteome composition in UV-B treated Arabidopsis thaliana mutants impaired in extracellular glutathione degradation
In plants, environmental perturbations often result in oxidative reactions in the apoplastic space, which are counteracted for by enzymatic and non-enzymatic antioxidative systems, including ascorbate and glutathione. The occurrence of the latter and its exact role in the extracellular space are not well documented, however. In Arabidopsis thaliana, the gamma-glutamyl transferase isoform GGT1 bound to the cell wall takes part in the so-called gamma-glutamyl cycle for extracellular glutathione degradation and recovery, and may be implicated in redox sensing and balance.
In this work, oxidative conditions were imposed with UV-B radiation and studied in redox altered ggt1 mutants. Elevated UV-B has detrimental effects on plant metabolism, plasma membranes representing a major target for ROS generated by this harmful radiation. The response of ggt1 knockout Arabidopsis leaves to UV-B radiation was assessed by
investigating changes in apoplastic protein composition.
We then compared the expression changes resulting from the mutation and from the UV-B treatment. Rearrangements occurring in apoplastic protein composition suggest the involvement of hydrogen peroxide, which may ultimately act as a signal. Other important changes related to hormonal effects, cell wall remodeling, and redox activities are also reported. We argue that oxidative stress conditions imposed by UV-B and by disruption of the gamma-glutamyl cycle result in similar stress-induced responses, to some degree at least. Data shown here are associated with the article from Trentin et al. [1]; protein data have been deposited to the PRIDE database [2] with identifier PXD001807
Recommended from our members
Superpower Rivalry and the Third Way(s) in the Mediterranean: Syria and the two Germanys from 1963 to 1972: between Cold-War and Modernization
A discussion of modernization in Syria, the Federal Republic of Germany, and the German Democratic Republic
Recommended from our members
Superpower Rivalry and the Third Way(s) in the Mediterranean: Syria and the two Germanys from 1963 to 1972: between Cold-War and Modernization
A discussion of modernization in Syria, the Federal Republic of Germany, and the German Democratic Republic
E-learning come sistema complesso
abstract not availabl
Manejo de irrigação para pastagens.
bitstream/item/102257/1/Folder-Manejo-Irrigacao.pdf1 folder
Le tecnologie della comunicazione via rete
Abstract not availabl
Intercultural E-mail Classroom Connections: un progetto internazionale per la comunicazione fra classi di studenti
Abstract not availabl
Il progetto POLARIS : la telematica nella formazione in servizio dei docenti
abstract not availabl
- …