Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

A logic-based agent that plans for extended reachability goals

Planning to reach a goal is an essential capability for rational agents. In general, a goal specifies a condition to be achieved at the end of the plan execution. In this article, we introduce nondeterministic planning for extended reachability goals (i.e., goals that also specify a condition to be preserved during the plan execution). We show that, when this kind of goal is considered, the temporal logic CTL turns out to be inadequate to formalize plan synthesis and plan validation algorithms. This is mainly due to the fact that the CTL`s semantics cannot discern among the various actions that produce state transitions. To overcome this limitation, we propose a new temporal logic called alpha-CTL. Then, based on this new logic, we implement a planner capable of synthesizing reliable plans for extended reachability goals, as a side effect of model checking.

A fast and robust statistical test based on likelihood ratio with Bartlett correction to identify Granger causality between gene sets

We propose a likelihood ratio test ( LRT) with Bartlett correction in order to identify Granger causality between sets of time series gene expression data. The performance of the proposed test is compared to a previously published bootstrapbased approach. LRT is shown to be significantly faster and statistically powerful even within non- Normal distributions. An R package named gGranger containing an implementation for both Granger causality identification tests is also provided.

Reliable and fast sensor for in vitro evaluation of solar protection factor based on the photobleaching kinetics of a nanocrystalline TiO(2)/dye UV-dosimeter

A reliable and fast sensor for in vitro evaluation of solar protection factors (SPFs) of cosmetic products, based on the photobleaching kinetics of a nanocrystalline TiO(2)/dye UV-dosimeter, has been devised. The accuracy, robustness and suitability of the new device was demonstrated by the excellent matching of the predicted and the in vivo results up to SPF 70, for four standard samples analyzed in blind. These results strongly suggest that our device can be useful for routine SPF evaluation in laboratories devoted to the development or production of cosmetic formulations, since the conventional in vitro methods tend to exhibit unacceptably high errors above SPF similar to 30 and the conventional in vivo methods tend to be expensive and exceedingly time consuming. (C) 2011 Elsevier B.V. All rights reserved.

Urea amperometric biosensors based on a multifunctional bipolymeric layer: Comparing enzyme immobilization methods

This paper outlines the results obtained with biosensors designed for urea amperometric detection. The incorporation of urease into a bipolymeric substrate consisting of poly(pyrrole) and poly(5-amino-1-naphthol) was performed through four different approaches: direct adsorption, entrapment in cellulose acetate layer. cross-linking with glutaraldehyde, and also covalent attachment to the polymeric matrix. Poly(pyrrole) acts as amperometric transducer in these biosensors, while poly(5-amino-1-naphthol) drastically reduces the interference signal of agents such as ascorbic and uric acids. The biosensors containing urease covalently attached to the substrate provided interesting results in terms of sensitivity towards urea (0.50 mu A cm(-2) mmol(-1) L), lifetime (20 days) and short response times, due to the enzyme immobilization method used. All biosensors analyzed showed also a wide linear concentration range (up to 100 mmol L(-1)) and low detection limits (0.22-0.58 mmol L(-1)). (C) 2009 Elsevier B.V. All rights reserved.

A selective conductive polymer-based sensor for volatile halogenated organic compounds (VHOC)

A novel poly(p-xylylene), PPX, derivative bearing alkoxyphenyl side groups was electrochemically synthesized in 87% yield. The polymer, poly(4`-hexyloxy-2,5-biphenyleneethylene) (PHBPE), presented a fraction (92%) soluble in common organic solvents. It showed to be thermally resistant up to 185 degrees C. UV-vis analysis revealed an E-gap of 3.5 eV Gas sensors made from thin films of 10-camphorsulfonic acid-doped PHBPE deposited on interdigitated electrodes exhibited significant changes in electrical conductance upon exposure to five VHOCs: 1,2-dichloroethane, bromochloromethane, trichloromethane, dichloromethane and tetrachloromethane. The conductance decreased after exposure to tetrachloromethane and increased after exposure to all the other VHOCs. Three-dimensional plots of relative response versus time of half response versus time of half recovery showed good discrimination between the five VHOCs tested. (c) 2008 Elsevier B.V. All rights reserved.

Computer-Assisted Approach to Structural Elucidation of Lignans

This paper reports an expert system (SISTEMAT) developed for structural determination of diverse chemical classes of natural products, including lignans, based mainly on 13C NMR and 1H NMR data of these compounds. The system is composed of five programs that analyze specific data of a lignan and shows a skeleton probability for the compound. At the end of analyses, the results are grouped, the global probability is computed, and the most probable skeleton is exhibited to the user. SISTEMAT was able to properly predict the skeletons of 80% of the 30 lignans tested, demonstrating its advantage during the structural elucidation course in a short period of time.

Determination of carbaryl in tomato ""in natura"" using an amperometric biosensor based on the inhibition of acetylcholinesterase activity

This work reports the utilization of two methodologies for carbaryl determination in tomatoes. The measurements were carried out using an amperometric biosensor technique based on the inhibition of acetylcholinesterase activity due to carbaryl adsorption and a HPLC procedure. The electrochemical experiments were performed in 0.1 mol L-1 phosphate buffer solutions at pH 7.4 with an incubation time of 8 min. The analytical curve obtained in pure solutions showed excellent linearity in the 5.0 x 10(-5) to 75 x 10(-5) mol L-1 range, with the limit of detection at 0.4 x 10(-3) gL(-1). The application of such a methodology in tomato samples involved solely liquidising the samples, which were spiked with 6.0 x 10(-6) and 5.0 x 10(-5) mol L-1 carbaryl. Recovery in such samples presented values of 99.0 and 92.4%, respectively. In order to obtain a comparison, HPLC experiments were also conducted under similar conditions. However, the tomato samples have to be manipulated by an extraction procedure (MSPD), which yielded much lower recovery values (78.3 and 84.8%, respectively). On the other hand, the detection limit obtained was much lower than that for the biosensor, i.e., 3.2 x 10(-6) g L-1. Finally, the biosensor methodology was employed to analyze carbaryl directly inside the tomato, without any previous manipulation. In this case, the biosensor was immersed in the tomato pulp, which had previously been spiked with the pesticide for 8 min, removed and inserted in the electrochemical cell. A recovery of 83.4% was obtained, showing very low interference of the matrix constituents. (C) 2007 Elsevier B.V. All rights reserved.