Semi-algebraic methods for symbolic analysis of complex reaction networks

The identification of chemical mechanism that can exhibit oscillatory phenomena in reaction networks are currently of intense interest. In particular, the parametric question of the existence of Hopf bifurcations has gained increasing popularity due to its relation to the oscillatory behavior around the fixed points. However, the detection of oscillations in high-dimensional systems and systems with constraints by the available symbolic methods has proven to be difficult. The development of new efficient methods are therefore required to tackle the complexity caused by the high-dimensionality and non-linearity of these systems. In this thesis, we mainly present efficient algorithmic methods to detect Hopf bifurcation fixed points in (bio)-chemical reaction networks with symbolic rate constants, thereby yielding information about their oscillatory behavior of the networks. The methods use the representations of the systems on convex coordinates that arise from stoichiometric network analysis. One of the methods called HoCoQ reduces the problem of determining the existence of Hopf bifurcation fixed points to a first-order formula over the ordered field of the reals that can then be solved using computational-logic packages. The second method called HoCaT uses ideas from tropical geometry to formulate a more efficient method that is incomplete in theory but worked very well for the attempted high-dimensional models involving more than 20 chemical species. The instability of reaction networks may lead to the oscillatory behaviour. Therefore, we investigate some criterions for their stability using convex coordinates and quantifier elimination techniques. We also study Muldowney's extension of the classical Bendixson-Dulac criterion for excluding periodic orbits to higher dimensions for polynomial vector fields and we discuss the use of simple conservation constraints and the use of parametric constraints for describing simple convex polytopes on which periodic orbits can be excluded by Muldowney's criteria. All developed algorithms have been integrated into a common software framework called PoCaB (platform to explore bio- chemical reaction networks by algebraic methods) allowing for automated computation workflows from the problem descriptions. PoCaB also contains a database for the algebraic entities computed from the models of chemical reaction networks.

On Graph-Based Cryptography and Symbolic Computations

We have been investigating the cryptographical properties of in nite families of simple graphs of large girth with the special colouring of vertices during the last 10 years. Such families can be used for the development of cryptographical algorithms (on symmetric or public key modes) and turbocodes in error correction theory. Only few families of simple graphs of large unbounded girth and arbitrarily large degree are known. The paper is devoted to the more general theory of directed graphs of large girth and their cryptographical applications. It contains new explicit algebraic constructions of in finite families of such graphs. We show that they can be used for the implementation of secure and very fast symmetric encryption algorithms. The symbolic computations technique allow us to create a public key mode for the encryption scheme based on algebraic graphs.

Symbolic Solving of Partial Differential Equation Systems and Compatibility Conditions

An algorithm is produced for the symbolic solving of systems of partial differential equations by means of multivariate Laplace–Carson transform. A system of K equations with M as the greatest order of partial derivatives and right-hand parts of a special type is considered. Initial conditions are input. As a result of a Laplace–Carson transform of the system according to initial condition we obtain an algebraic system of equations. A method to obtain compatibility conditions is discussed.

Weitzenböck Derivations and Classical Invariant Theory II: The Symbolic Method

2000 Mathematics Subject Classification: 13N15, 13A50, 13F20.

Monocular vision and increased distance reducing the effects of visual manipulation on body sway

The goal of this study was to examine the coupling between visual information and body sway with binocular and monocular vision at two distances from the front wall of a moving room. Ten participants stood as still as possible inside of a moving room facing the front wall in conditions that combined room movement with monocular/binocular vision and distance from the front wall (75 and 150cm). Visual information effect on body sway decreased with monocular vision and with increased distance from the front wall. In addition, the combination of monocular vision with the farther distance resulted in the smallest body sway response to the driving stimulus provided by the moving room. These results suggest that binocularvision near the front wall provides visual information of a better quality than the monocular vision far from the front wall. We discuss the results with respect to two modes of visual detection of body sway: ocular and extraocular. (C) 2009 Elsevier Ireland Ltd. All rights reserved.

Control of vector-borne disease by genetic manipulation of insect populations: technological requirements and research priorities

The possibility of controlling vector-borne disease through the development and release of transgenic insect vectors has recently gained popular support and is being actively pursued by a number of research laboratories around the world. Several technical problems must be solved before such a strategy could be implemented: genes encoding refractory traits (traits that render the insect unable to transmit the pathogen) must be identified, a transformation system for important vector species has to be developed, and a strategy to spread the refractory trait into natural vector populations must be designed. Recent advances in this field of research make it seem likely that this technology will be available in the near future. In this paper we review recent progress in this area as well as argue that care should be taken in selecting the most appropriate disease system with which to first attempt this form of intervention. Much attention is currently being given to the application of this technology to the control of malaria, transmitted by Anopheles gambiae in Africa. While malaria is undoubtedly the most important vector-borne disease in the world and its control should remain an important goal, we maintain that the complex epidemiology of malaria together with the intense transmission rates in Africa may make it unsuitable for the first application of this technology. Diseases such as African trypanosomiasis, transmitted by the tsetse fly, or unstable malaria in India may provide more appropriate initial targets to evaluate the potential of this form of intervention.

Algebraic Bethe ansatz method for the exact calculation of energy spectra and form factors: applications to models of Bose-Einstein condensates and metallic nanograins

In this review we demonstrate how the algebraic Bethe ansatz is used for the calculation of the-energy spectra and form factors (operator matrix elements in the basis of Hamiltonian eigenstates) in exactly solvable quantum systems. As examples we apply the theory to several models of current interest in the study of Bose-Einstein condensates, which have been successfully created using ultracold dilute atomic gases. The first model we introduce describes Josephson tunnelling between two coupled Bose-Einstein condensates. It can be used not only for the study of tunnelling between condensates of atomic gases, but for solid state Josephson junctions and coupled Cooper pair boxes. The theory is also applicable to models of atomic-molecular Bose-Einstein condensates, with two examples given and analysed. Additionally, these same two models are relevant to studies in quantum optics; Finally, we discuss the model of Bardeen, Cooper and Schrieffer in this framework, which is appropriate for systems of ultracold fermionic atomic gases, as well as being applicable for the description of superconducting correlations in metallic grains with nanoscale dimensions.; In applying all the above models to. physical situations, the need for an exact analysis of small-scale systems is established due to large quantum fluctuations which render mean-field approaches inaccurate.

Immediate and lasting improvements in weight distribution seen in baropodometry following a high-velocity, low-amplitude thrust manipulation of the sacroiliac joint

The biomechanics of the sacroiliac joint makes the pelvic segment responsible for proper weight distribution between lower extremities; however, it is known to be susceptible to altered mobility. The objective of this study was to analyze baropodometric responses following thrust manipulation on subjects with sacroiliac joint restrictions. Twenty asymptomatic subjects were submitted to computerized baropodometric analysis before, after, and seven days following sacroiliac manipulation. The variables peak pressure and contact area were obtained at each of these periods as the average of absolute values of the difference between the right and left foot based on three trials. Data revealed significant reduction only in peak pressure immediately after manipulation and at follow-up when compared to pre-manipulative values (p < 0.05). Strong correlation was found between the dominant foot and the foot with greater contact area (r - 0.978), as well as between the side of joint restriction and the foot with greater contact area (r = 0.884). Weak correlation was observed between the dominant foot and the foot with greater peak pressure (r = 0.501), as well as between the side of joint restriction and the foot with greater peak pressure (r = 0.694). The results suggest that sacroiliac joint manipulation can influence peak pressure distribution between feet, but contact area does not seem to be related to the biomechanical aspects addressed in this study. (C) 2011 Elsevier Ltd. All rights reserved.

Influence of third-generation oral contraceptives on the complexity analysis and symbolic dynamics of heart rate variability

Objective To evaluate the influence of oral contraceptives (OCs) containing 20 mu mu g ethinylestradiol (EE) and 150 mu mu g gestodene (GEST) on the autonomic modulation of heart rate (HR) in women. Methods One-hundred and fifty-five women aged 24 +/-+/- 2 years were divided into four groups according to their physical activity and the use or not of an OC: active-OC, active-non-OC (NOC), sedentary-OC, and sedentary-NOC. The heart rate was registered in real time based on the electrocardiogram signal for 15 minutes, in the supine-position. The heart rate variability (HRV) was analysed using Shannon`s entropy (SE), conditional entropy (complexity index [CInd] and normalised CInd [NCI]), and symbolic analysis (0V%, 1V%, 2LV%, and 2ULV%). For statistical analysis the Kruskal-Wallis test with Dunn post hoc and the Wilcoxon test (p < 0.05 was considered significant) were applied. Results Treatment with this COC caused no significant changes in SE, CInd, NCI, or symbolic analysis in either active or sedentary groups. Active groups presented higher values for SE and 2ULV%, and lower values for 0V% when compared to sedentary groups (p < 0.05). Conclusion HRV patterns differed depending on life style; the non-linear method applied was highly reliable for identifying these changes. The use of OCs containing 20 mu mu g EE and 150 mu mu g GEST does not influence HR autonomic modulation.

Manipulation of colonic bacteria and volatile fatty acid production by dietary high amylose maize (amylomaize) starch granules

Aims : To study the effects of amylomaize starch and modified (carboxymethylated and acetylated) amylomaize starches on the composition of colonic bacteria and the production of volatile fatty acids, in mice. Methods and Results : Balb/c mice were fed with experimental diets containing various amount of amylomaize and modified amylomaize starches. Colonic bacterial populations and short-chain fatty acids were monitored. Results showed that the increases in indigenous bifidobacteria were detected in mice fed all starches tested; however, the highest numbers were observed in the group fed with 40% unmodified amylomaize starch. The starch type influenced the populations of indigenous Lactobacillus , Bacteroides and coliforms. High Lactobacillus numbers were achieved in the colon of mice fed with high concentration of amylomaize starch. Acetylated amylomaize starch significantly reduced the population of coliforms. In addition, orally dosed amylomaize utilizing bifidobacteria reached their highest levels when fed together with amylomaize or carboxymethylated amylomaize starch and in both cases butyrate levels were markedly increased. Conclusions: These results indicate that different amylomaize starches could generate desirable variation in gut microflora and that particular starches may be used to selectively modify gut function. Significance and Impact of Study: Amylomaize starch appeared to enhance the desirable composition of colonic bacteria in mice, and suggested it possessed the potential prebiotic properties.MTherefore, resistant starch and its chemical derivatives may exert beneficial impacts to the human colon.

Chaos and crises in a model for cooperative hunting: A symbolic dynamics approach

In this work we investigate the population dynamics of cooperative hunting extending the McCann and Yodzis model for a three-species food chain system with a predator, a prey, and a resource species. The new model considers that a given fraction sigma of predators cooperates in prey's hunting, while the rest of the population 1-sigma hunts without cooperation. We use the theory of symbolic dynamics to study the topological entropy and the parameter space ordering of the kneading sequences associated with one-dimensional maps that reproduce significant aspects of the dynamics of the species under several degrees of cooperative hunting. Our model also allows us to investigate the so-called deterministic extinction via chaotic crisis and transient chaos in the framework of cooperative hunting. The symbolic sequences allow us to identify a critical boundary in the parameter spaces (K, C-0) and (K, sigma) which separates two scenarios: (i) all-species coexistence and (ii) predator's extinction via chaotic crisis. We show that the crisis value of the carrying capacity K-c decreases at increasing sigma, indicating that predator's populations with high degree of cooperative hunting are more sensitive to the chaotic crises. We also show that the control method of Dhamala and Lai [Phys. Rev. E 59, 1646 (1999)] can sustain the chaotic behavior after the crisis for systems with cooperative hunting. We finally analyze and quantify the inner structure of the target regions obtained with this control method for wider parameter values beyond the crisis, showing a power law dependence of the extinction transients on such critical parameters.

The immediate effects of atlanto-occipital joint manipulation and suboccipital muscle inhibition technique on active mouth opening and pressure pain sensitivity over latent myofascial trigger points in the masticatory muscles

DESIGN: A randomized controlled trial.OB JECTIVE: To investigate the immediate effects on pressure pain thresholds over latent trigger points (TrPs) in the masseter and temporalis muscles and active mouth opening following atlanto-occipital joint thrust manipulation or a soft tissue manual intervention targeted to the suboccipital muscles. BACKGROUND : Previous studies have described hypoalgesic effects of neck manipulative interventions over TrPs in the cervical musculature. There is a lack of studies analyzing these mechanisms over TrPs of muscles innervated by the trigeminal nerve. METHODS: One hundred twenty-two volunteers, 31 men and 91 women, between the ages of 18 and 30 years, with latent TrPs in the masseter muscle, were randomly divided into 3 groups: a manipulative group who received an atlanto-occipital joint thrust, a soft tissue group who received an inhibition technique over the suboccipital muscles, and a control group who did not receive an intervention. Pressure pain thresholds over latent TrPs in the masseter and temporalis muscles, and active mouth opening were assessed pretreatment and 2 minutes posttreatment by a blinded assessor. Mixed-model analyses of variance (ANOVA) were used to examine the effects of interventions on each outcome, with group as the between-subjects variable and time as the within-subjects variable. The primary analysis was the group-by-time interaction. RESULTS: The 2-by-3 mixed-model ANOVA revealed a significant group-by-time interaction for changes in pressure pain thresholds over masseter (P<.01) and temporalis (P =.003) muscle latent TrPs and also for active mouth opening (P<.001) in favor of the manipulative and soft tissue groups. Between-group effect sizes were small. CONCLUSIONS: The application of an atlanto-occipital thrust manipulation or soft tissue technique targeted to the suboccipital muscles led to an immediate increase in pressure pain thresholds over latent TrPs in the masseter and temporalis muscles and an increase in maximum active mouth opening. Nevertheless, the effects of both interventions were small and future studies are required to elucidate the clinical relevance of these changes. LEVEL OF EVIDENCE : Therapy, level 1b. J Orthop Sports Phys Ther 2010;40(5):310-317. doi:10.2519/jospt.2010.3257. KEYWORDSDS: cervical manipulation, muscle trigger points, neck, TMJ, upper cervical.

Symbolic dynamics and renormalization of non-autonomous k periodic dynamical systems

The purpose of this paper was to introduce the symbolic formalism based on kneading theory, which allows us to study the renormalization of non-autonomous periodic dynamical systems.

Algebraic structure for the crossing of balanced and stair nested designs

Stair nesting allows us to work with fewer observations than the most usual form of nesting, the balanced nesting. In the case of stair nesting the amount of information for the different factors is more evenly distributed. This new design leads to greater economy, because we can work with fewer observations. In this work we present the algebraic structure of the cross of balanced nested and stair nested designs, using binary operations on commutative Jordan algebras. This new cross requires fewer observations than the usual cross balanced nested designs and it is easy to carry out inference.

Symbolic dynamics and big bang bifurcation in Weibull-Gompertz-Fréchet's growth models

In this paper, motivated by the interest and relevance of the study of tumor growth models, a central point of our investigation is the study of the chaotic dynamics and the bifurcation structure of Weibull-Gompertz-Fréchet's functions: a class of continuousdefined one-dimensional maps. Using symbolic dynamics techniques and iteration theory, we established that depending on the properties of this class of functions in a neighborhood of a bifurcation point PBB, in a two-dimensional parameter space, there exists an order regarding how the infinite number of periodic orbits are born: the Sharkovsky ordering. Consequently, the corresponding symbolic sequences follow the usual unimodal kneading sequences in the topological ordered tree. We verified that under some sufficient conditions, Weibull-Gompertz-Fréchet's functions have a particular bifurcation structure: a big bang bifurcation point PBB. This fractal bifurcations structure is of the so-called "box-within-a-box" type, associated to a boxe ω1, where an infinite number of bifurcation curves issues from. This analysis is done making use of fold and flip bifurcation curves and symbolic dynamics techniques. The present paper is an original contribution in the framework of the big bang bifurcation analysis for continuous maps.