Density-Profile Processes Describing Biological Signaling Networks: Almost Sure Convergence to Deterministic Trajectories

We introduce jump processes in R(k), called density-profile processes, to model biological signaling networks. Our modeling setup describes the macroscopic evolution of a finite-size spin-flip model with k types of spins with arbitrary number of internal states interacting through a non-reversible stochastic dynamics. We are mostly interested on the multi-dimensional empirical-magnetization vector in the thermodynamic limit, and prove that, within arbitrary finite time-intervals, its path converges almost surely to a deterministic trajectory determined by a first-order (non-linear) differential equation with explicit bounds on the distance between the stochastic and deterministic trajectories. As parameters of the spin-flip dynamics change, the associated dynamical system may go through bifurcations, associated to phase transitions in the statistical mechanical setting. We present a simple example of spin-flip stochastic model, associated to a synthetic biology model known as repressilator, which leads to a dynamical system with Hopf and pitchfork bifurcations. Depending on the parameter values, the magnetization random path can either converge to a unique stable fixed point, converge to one of a pair of stable fixed points, or asymptotically evolve close to a deterministic orbit in Rk. We also discuss a simple signaling pathway related to cancer research, called p53 module.

INSECT CHYMOTRYPSINS: CHLOROMETHYL KETONE INACTIVATION AND SUBSTRATE SPECIFICITY RELATIVE TO POSSIBLE COEVOLUTIONAL ADAPTATION OF INSECTS AND PLANTS

Insect digestive chymotrypsins are present in a large variety of insect orders but their substrate specificity still remains unclear. Ewer insect chymotrypsins from 3 different insect orders (Dictyoptera, Coleoptera and two Lepidoptera) were isolated using affinity chromatography. Enzymes presented molecular masses in the range of 20 to 31 kDa and pH optima in the range of 7.5 to 10.0. Kinetic characterization. using different, colorimetric and fluorescent substrates indicated that insect chymotrypsins differ from, bovine chymotrypsin in their primary specificity toward small substrates (like N-benzoyl-L-Tyr p-nitroanilide) rather than on their preference for large substrates (exemplified by Succynil-Ala-Ala-Pro-Phe P-nitroanilide). Chloromethyl ketones (TPCK, N-alpha-tosyl-L-Phe chloromethyl ketone and Z-GGF-CK, N-carbobenzoxy-Gly-Gly-phe-CK) inactivated all chymotrypsins legated. Inactivation rates follow apparent first-order kinetics with variable second order rates (TPCK, 42 to 130 M(-1)s(-1); Z-GGF-CK, 150 to 450 M(-1)s(-1) that may be remarkably low for S. frugiperda chymotrypsin (TPCK, 6 M(-1)s(-1); Z-GGF-CK, 6.1 M(-1) s(-1)). Homology modelling and sequence alignment showed that. in lepidopteran chymotrypsins, differences in the amino acid residues in the neighborhood of the catalytic His 57 may affect its pKa, value. This is Proposed as the cause of the decrease in His 57 reactivity toward chloromethyl ketones. Such amino acid replacement in the active site is proposed. to be an adaptation to the presence of dietary ketones. (C) 2009 Wiley Periodicals, Inc.

Surfactant degradation by a catechol-driven Fenton reaction

The addition of 0.5 mM catechol is shown to accelerate the degradation and mineralization of the anionic surfactant DOWFaX (TM) 2A1 (sodium dodecyldiphenyloxide disulfonate) under conventional Fenton reaction conditions (Fe(II) plus H(2)O(2) at pH 3). The catalytic effect causes a 3-fold increase in the initial rate (up to ca. 20 min) of conversion of the surfactant to oxidation products (apparent first-order rate constants of 0.021 and 0.061 min(-1) in the absence and presence of catechol, respectively). Although this catalytic rate increase persists for a certain amount of time after complete disappearance of catechol itself (ca. 8 min), the reaction rate begins to decline slowly after the initial 20 min towards that observed in the absence of added catechol. Total organic carbon (TOC) measurements of net mineralization and cyclic voltammetric and high performance liquid chromatographic (HPLC) measurements of the initial rate of reaction of catechol and the surfactant provide insight into the role of catechol in promoting the degradation of the surfactant and of degradation products as the eventual inhibitors of the Fenton reaction. (C) 2010 Elsevier B.V. All rights reserved.

Inactivation kinetics of polyphenol oxidase and peroxidase in green coconut water by microwave processing

The inactivation kinetics of enzymes polyphenol oxidase (PPO) and peroxidase (POD) was studied for the batch (discontinuous) microwave treatment of green coconut water. Inactivation of commercial PPO and POD added to sterile coconut water was also investigated. The complete time-temperature profiles of the experimental runs were used for determination of the kinetic parameters D-value and z-value: PPO (D(92.20 degrees C) = 52 s and z = 17.6 degrees C); POD (D(92.92 degrees C) = 16 s and z = 11.5 degrees C); PPO/sterile coconut water: (D(84.45 degrees C) = 43 s and z = 39.5 degrees C) and POD/sterile coconut water: (D(86.54 degrees C) = 20 s and z = 19.3 degrees C). All data were well fitted by a first order kinetic model. The enzymes naturally present in coconut water showed a higher resistance when compared to those added to the sterilized medium or other simulated solutions reported in the literature. The thermal inactivation of PPO and POD during microwave processing of green coconut water was significantly faster in comparison with conventional processes reported in the literature. (C) 2008 Elsevier Ltd. All rights reserved.

Thermoanalytical Characterization and Dissolution Profiles Studies of Metronidazole Tablets

In the present study dissolution tests and thermoanalytical (TA) techniques were applied to metronidazole tablets from five laboratories (R, G, SA, SB, SC) available on the Brazilian market. The TA profiles indicated that in some formulations interactions between components led to eutectic products with lower melting points than metronidazole. The formulations SB and SC showed dissolution profiles that did not agree with published standards, confirming the TA results. All dissolution data were mathematically compared with kinetic models of release, demonstrating the main release mechanism was first order in all the tablets. The formulations were statistically compared by ANOVA and post-hoc tests (Tukey and Newman-Keuls), reveling significant differences in dissolution efficiency (DE).

Pt film electrodes prepared by the Pechini method for electrochemical decolourisation of Reactive Orange 16

Electrochemical decolourisation of Reactive Orange 16 was carried out in an electrochemical flow-cell, using as working electrodes a Pt thin film deposited on a Ti substrate (Pt/Ti) prepared by the Pechini method and a pure platinum (Pt) foil. Using the Pt/Ti electrodes better results for dye decolourisation were obtained under milder conditions than those used for pure Pt. For the Pt electrode, colour removal of 93 % (lambda = 493 nm) was obtained after 60 min, at 2.2 V vs. RHE, using 0.017 mol L(-1) NaCl + 0.5 mol L(-1) H(2)SO(4) solution. For the Pt/Ti electrode there was better colour removal, 98%, than for the Pt electrode. Moreover, we used 0.017 mol L(-1) NaCl solution and the applied potential was 1.8 V. Under this condition after 15 min of electrolysis, more than 80% of colour was removed. The rate reaction constant, assuming a first order reaction, was 0.024 min(-1) and 0.069 min(-1), for Pt and Pt/Ti electrodes, respectively.

Electrocombustion of humic acid and removal of algae from aqueous solutions

This paper reports experiments involving the electrochemical combustion of humic acid (HA) and removal of algae from pond water. An electrochemical flow reactor with a boron-doped diamond film anode was used and constant current experiments were conducted in batch recirculation mode. The mass transfer characteristics of the electrochemical device were determined by voltammetric experiments in the potential region of water stability, followed by a controlled current experiment in the potential region of oxygen evolution. The average mass transfer coefficient was 5.2 x 10(-5) m s(-1). The pond water was then processed to remove HA and algae in the conditions in which the reaction combustion occurred under mass transfer control. To this end, the mass transfer coefficient was used to estimate the initial limiting current density applied in the electrolytic experiments. As expected, all the parameters analyzed here-solution absorbance at 270 nm, total phenol concentration and total organic carbon concentration-decayed according to first-order kinetics. Since the diamond film anode successfully incinerated organic matter, the electrochemical system proved to be predictable and programmable.

Heterogeneous photocatalytic degradation of acid dyes in aqueous TiO2 suspensions: Kinetics and toxicity

This work assesses the photocatalytic (TiO2/UV) degradation of a simulated acid dye bath (Yellow 3, Red 51, Blue 74, and auxiliary chemicals). Color and phytotoxicity removal were monitored by spectrophotometry and lettuce (Lactuca sativa) seeds as the test organism, respectively. Mineralization was determined by DOC analyses. Photocatalytic, photolytic, and adsorption experiments were performed, showing that adsorption was negligible. After 240 minutes of irradiation, it was achieved 96% and 78% of color removal with photocatalysis and photolysis, respectively. 37% of mineralization occurred with photocatalysis only. The dye bath was rendered completely non-toxic after 60 minutes of photocatalytic treatment; the same result was only achieved with photolysis after 90 minutes. A kinetic model composed of two first-order in series reactions was used. The first photocatalytic decolorization rate constant was k(1) = 0.062 min(-1) and the second k(2) = 0.0043 min(-1), approximately two times greater than the photolytic ones.

Photocatalytic Decolorization of Commercial Acid Dyes using Solar Irradiation

This work investigates the solar heterogeneous photocatalytic degradation of three commercial acid dyes: Blue 9 (C.I. 42090), Red 51 (C.I. 45430), and Yellow 23 (C.I. 19140). TiO(2) P25 from Degussa was used as the photocatalyst. The dyes were completely degraded within 120 min of treatment in the following increasing order of removal rate: Blue 9 < Yellow 23 < Red 51. The photocatalytic color removal process was well described by a two-first-order in-series reaction, followed by another first-order reaction. Photolytic experiments showed that this process is quite inefficient and highly selective towards Red 51 only. The dyes` solution was completely decolorized and organic matter removals up to 99% were achieved with photocatalysis. The lack of selectivity and the possibility of using solar light to excite the photocatalyst are promising results regarding the feasibility of this technology.

Heterogeneous photocatalytic degradation of reactive dyes in aqueous TiO(2) suspensions: Decolorization kinetics

This work assesses the photocatalytic (TiO(2)/UV) degradation of a simulated reactive dye bath (Black 5, Red 239, Yellow 17, and auxiliary chemicals). Color removal was monitored by spectrophotometry. Mineralization was determined by DOC analyses. Photocatalytic, photolytic, and adsorption experiments were performed, showing that adsorption was negligible. After 30 min of irradiation, it was achieved 97% and 40% of color removal with photocatalysis and photolysis, respectively. No mineralization occurred within 30 min. A kinetic model composed of two, first-order in-series reactions was used. The first photocatalytic decolorization rate constant was k(1) = 2.6 min(-1) and the second k(2) = 0.011 min(-1). The fast decolorization of Reactive Black 5 dye is an indication that the number of azo and vinylsulfone groups in the dye molecule maybe a determining factor for the increased photolytic and photocatalytic color removal and degradation rates. (C) 2008 Elsevier B.V. All rights reserved.

Design/Evaluation of A Methodology For Performance Optimization Of Indexable Carbide Inserts

In this project, two broad facets in the design of a methodology for performance optimization of indexable carbide inserts were examined. They were physical destructive testing and software simulation.For the physical testing, statistical research techniques were used for the design of the methodology. A five step method which began with Problem definition, through System identification, Statistical model formation, Data collection and Statistical analyses and results was indepthly elaborated upon. Set-up and execution of an experiment with a compression machine together with roadblocks and possible solution to curb road blocks to quality data collection were examined. 2k factorial design was illustrated and recommended for process improvement. Instances of first-order and second-order response surface analyses were encountered. In the case of curvature, test for curvature significance with center point analysis was recommended. Process optimization with method of steepest ascent and central composite design or process robustness studies of response surface analyses were also recommended.For the simulation test, AdvantEdge program was identified as the most used software for tool development. Challenges to the efficient application of this software were identified and possible solutions proposed. In conclusion, software simulation and physical testing were recommended to meet the objective of the project.

Fred: An approach to generating real, correct, reusable programs from proofs

In this paper we describe our system for automatically extracting "correct" programs from proofs using a development of the Curry-Howard process. Although program extraction has been developed by many authors, our system has a number of novel features designed to make it very easy to use and as close as possible to ordinary mathematical terminology and practice. These features include 1. the use of Henkin's technique to reduce higher-order logic to many-sorted (first-order) logic; 2. the free use of new rules for induction subject to certain conditions; 3. the extensive use of previously programmed (total, recursive) functions; 4. the use of templates to make the reasoning much closer to normal mathematical proofs and 5. a conceptual distinction between the computational type theory (for representing programs)and the logical type theory (for reasoning about programs). As an example of our system we give a constructive proof of the well known theorem that every graph of even parity, which is non-trivial in the sense that it does not consist of isolated vertices, has a cycle. Given such a graph as input, the extracted program produces a cycle as promised.

On Arbitrary Selection Strategies for Basic Superposition

For first-order Horn clauses without equality, resolution is complete with an arbitrary selection of a single literal in each clause [dN 96]. Here we extend this result to the case of clauses with equality for superposition-based inference systems. Our result is a generalization of the result given in [BG 01]. We answer their question about the completeness of a superposition-based system for general clauses with an arbitrary selection strategy, provided there exists a refutation without applications of the factoring inference rule.

Monodic temporal resolution

Until recently, First-Order Temporal Logic (FOTL) has been only partially understood. While it is well known that the full logic has no finite axiomatisation, a more detailed analysis of fragments of the logic was not previously available. However, a breakthrough by Hodkinson et al., identifying a finitely axiomatisable fragment, termed the monodic fragment, has led to improved understanding of FOTL. Yet, in order to utilise these theoretical advances, it is important to have appropriate proof techniques for this monodic fragment.In this paper, we modify and extend the clausal temporal resolution technique, originally developed for propositional temporal logics, to enable its use in such monodic fragments. We develop a specific normal form for monodic formulae in FOTL, and provide a complete resolution calculus for formulae in this form. Not only is this clausal resolution technique useful as a practical proof technique for certain monodic classes, but the use of this approach provides us with increased understanding of the monodic fragment. In particular, we here show how several features of monodic FOTL can be established as corollaries of the completeness result for the clausal temporal resolution method. These include definitions of new decidable monodic classes, simplification of existing monodic classes by reductions, and completeness of clausal temporal resolution in the case of monodic logics with expanding domains, a case with much significance in both theory and practice.

Monodic Temporal Resolution

First-order temporal logic is a coincise and powerful notation, with many potential applications in both Computer Science and Artificial Intelligence. While the full logic is highly complex, recent work on monodic first-order temporal logics have identified important enumerable and even decidable fragments. In this paper we present the first resolution-based calculus for monodic first-order temporal logic. Although the main focus of the paper is on establishing completeness result, we also consider implementation issues and define a basic loop-search algorithm that may be used to guide the temporal resolution system.