5,327 research outputs found
Hydrogen evolution and consumption in AOT–isooctane reverse micelles by Desulfovibrio gigas hydrogenase
The enzyme hydrogenase isolated from the sulphate reducing anaerobic bacterium Desulfovibrio gigas was encapsulated in reverse micelles of AOT–water–isooctane. The enzyme ability to consume molecular hydrogen was studied as a function of the micelle size
(given by Wo = [H2O]/[organic solvent]). A peak of catalytic activity was obtained for Wo = 18, a micelle size theoretically fitting
the heterodimeric hydrogenase molecule. At this Wo value, the recorded catalytic activity was slightly higher than in a buffer system(Kcat = 169.43 s−1 against the buffer value of 151 s−1). The optimal buffer used to encapsulate the enzyme was found to be imidazole 50 mM, pH 9.0. The molecular hydrogen production activity was also tested in this reverse micelle medium
The Vampire and the FOOL
This paper presents new features recently implemented in the theorem prover
Vampire, namely support for first-order logic with a first class boolean sort
(FOOL) and polymorphic arrays. In addition to having a first class boolean
sort, FOOL also contains if-then-else and let-in expressions. We argue that
presented extensions facilitate reasoning-based program analysis, both by
increasing the expressivity of first-order reasoners and by gains in
efficiency
Determinação da atividade de invertase em extratos enzimáticos.
bitstream/CNPAT-2010/10231/1/Dc-108.pd
Nambu monopoles interacting with lattice defects in two-dimensional artificial square spin ice
The interactions between an excitation (similar to a pair of Nambu monopoles)
and a lattice defect are studied in an artificial two-dimensional square spin
ice. This is done by considering a square array of islands containing only one
island different from all others. This difference is incorporated in the
magnetic moment (spin) of the "imperfect" island and several cases are studied,
including the special situation in which this distinct spin is zero (vacancy).
We have shown that the two extreme points of a malformed island behave like two
opposite magnetic charges. Then, the effective interaction between a pair of
Nambu monopoles with the deformed island is a problem involving four magnetic
charges (two pairs of opposite poles) and a string. We also sketch the
configuration of the field lines of these four charges to confirm this picture.
The influence of the string on this interaction decays rapidly with the string
distance from the defect.Comment: 7 pages, 13 figure
Approaching the Coverability Problem Continuously
The coverability problem for Petri nets plays a central role in the
verification of concurrent shared-memory programs. However, its high
EXPSPACE-complete complexity poses a challenge when encountered in real-world
instances. In this paper, we develop a new approach to this problem which is
primarily based on applying forward coverability in continuous Petri nets as a
pruning criterion inside a backward coverability framework. A cornerstone of
our approach is the efficient encoding of a recently developed polynomial-time
algorithm for reachability in continuous Petri nets into SMT. We demonstrate
the effectiveness of our approach on standard benchmarks from the literature,
which shows that our approach decides significantly more instances than any
existing tool and is in addition often much faster, in particular on large
instances.Comment: 18 pages, 4 figure
Structural stability of adenylate kinase from the sulfate-reducing bacteria Desulfovibrio gigas
Biophysical Chemistry 110 (2004) 83–92A novel adenylate kinase (AK) has recently been purified from Desulfovibrio gigas and characterized as a Co2+/Zn2+-containing enzyme: this is an unusual characteristic for AKs from Gram-negative bacteria, in which these enzymes are normally devoid of metals. Here, we studied the conformational stability of holo- and apo-AK as a function of temperature by differential scanning calorimetry (DSC), circular dichroism (CD), and intrinsic fluorescence spectroscopy. The thermal unfolding of AK is a cooperative two-state process, and is sufficiently reversible in the 9–11 pH range, that can be correctly interpreted in terms of a simple two-state thermodynamic model. The spectral parameters as monitored by ellipticity changes in the CD spectra of the enzyme as well as the decrease in tryptophan intensity emission upon heating were seen to be good complements to the highly sensitive but integral DSC-method.supported in part by the Fundação para a Ciência e a Tecnologia, Portugal, fellowships
BD/13775/97 to OYG, BPD/3518/00 to SAB,
SFRH/BD/1067/2000 to DGP, and NATO Scientific
Programme Fellowships for Spain, call 2002 to
GGZ
Splitting Proofs for Interpolation
We study interpolant extraction from local first-order refutations. We
present a new theoretical perspective on interpolation based on clearly
separating the condition on logical strength of the formula from the
requirement on the com- mon signature. This allows us to highlight the space of
all interpolants that can be extracted from a refutation as a space of simple
choices on how to split the refuta- tion into two parts. We use this new
insight to develop an algorithm for extracting interpolants which are linear in
the size of the input refutation and can be further optimized using metrics
such as number of non-logical symbols or quantifiers. We implemented the new
algorithm in first-order theorem prover VAMPIRE and evaluated it on a large
number of examples coming from the first-order proving community. Our
experiments give practical evidence that our work improves the state-of-the-art
in first-order interpolation.Comment: 26th Conference on Automated Deduction, 201
- …