We show that ECTL+, the classical extension of CTL with fairness properties, is expressively equivalent to BTL2, a natural fragment of the monadic logic of order. BTL2 is the branching-time logic with arbitrary quantification over paths, and where path formulae are restricted to quantifier depth 2 first-order formulae in the monadic logic of order. This result, linking ECTL+ to a natural fragme...

The following Standard ML code can be used for solving constraint systems. The code assumes that phase 1 described earlier has been performed during constraint generation. The imperative aspects of Standard ML have been used a lot and we believe that this must be done for the complexity analysis to hold. For readability we have used standard list notation for the dependency lists although our c...

In this paper, the stabilization of a lipase from Bacillus thermocatenulatus (BTL2) by a new strategy is described. First, the lipase is selectively adsorbed on hydrophobic supports. Second, the carboxylic residues of the enzyme are modified with ethylenediamine, generating a new enzyme having 4-fold more amino groups than the native enzyme. The chemical amination did not present a significant ...

We hypothesize that aggregation of thermoalkalophilic lipases could be a thermostability mechanism. The conserved tryptophans (W211, W234) in the lid are of particular interest owing to their previous involvements in aggregation and thermostability mechanisms in many other proteins. The thermoalkalophilic lipase from Bacillus thermocatenulatus (BTL2) and its mutants (W211A, W234A) were expresse...

The thermoalkalophilic lipase from Bacillus thermocatenulatus BTL2 exhibits a low phospholipase activity (lecithin/tributyrin ratio 0.03). A single round of random mutagenesis of the BTL2 gene followed by screening of 6000 transformants on egg-yolk plates identified three variants with 10-12-fold increased phospholipase activities, corresponding to lecithin/tributyrin ratios of 0.16-0.36. All v...

Immobilization on Glyoxyl-agarose support (Gx) is one of the best strategies to stabilize enzymes. However, the strategy is difficult to apply at neutral pH when most enzymes are stable and, even when possible, produces labile derivatives. This work contributes to overcoming this hurdle through a strategy that combines solid-phase amination, presence of key additives, and derivative basificatio...

The emergence of electronic health records has highlighted the need for semantic standards for representation of observations in laboratory medicine. Two such standards are LOINC, with a focus on detailed encoding of lab tests, and SNOMED CT, which is more general, including the representation of qualitative and ordinal test results. In this paper we will discuss how lab observation entries can...

In this study, rational design for Bacillus thermocatenulatus lipase (BTL2) was carried out to lower the activation barrier for hydrolysis of short-chain substrates. In this design, we used computational models for the enzyme-substrate (ES) complexes of tributyrin (C4) and tricaprylin (C8), which were generated through docking and molecular dynamics (MD) simulations. These ES complexes were emp...