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.

The full infinite dimensional moment problem on semi-algebraic sets of generalized functions

We consider a generic basic semi-algebraic subset S of the space of generalized functions, that is a set given by (not necessarily countably many) polynomial constraints. We derive necessary and sufficient conditions for an infinite sequence of generalized functions to be realizable on S, namely to be the moment sequence of a finite measure concentrated on S. Our approach combines the classical results about the moment problem on nuclear spaces with the techniques recently developed to treat the moment problem on basic semi-algebraic sets of Rd. In this way, we determine realizability conditions that can be more easily verified than the well-known Haviland type conditions. Our result completely characterizes the support of the realizing measure in terms of its moments. As concrete examples of semi-algebraic sets of generalized functions, we consider the set of all Radon measures and the set of all the measures having bounded Radon–Nikodym density w.r.t. the Lebesgue measure.

Learning Bayesian networks in Semi-deterministic systems

In current constraint-based (Pearl-style) systems for discovering Bayesian networks, inputs with deterministic relations are prohibited. This restricts the applicability of these systems. In this paper, we formalize a sufficient condition under which Bayesian networks can be recovered even with deterministic relations. The sufficient condition leads to an improvement to Pearl’s IC algorithm; other constraint-based algorithms can be similarly improved. The new algorithm, assuming the sufficient condition proposed, is able to recover Bayesian networks with deterministic relations, and moreover suffers no loss of performance when applied to nondeterministic Bayesian networks.

Eimeria species in young and adult sheep raised under intensive and/or semi-intensive systems of a herd from Umuarama city, Parana State, Brazil

The present study aimed to identify Eimeria species in young and adult sheep raised under intensive and / or semi-intensive systems of a herd from Umuarama city, Parana State, Brazil using the traditional diagnostic methods and to correlate the infection level/types of infection in the different age/system in this herd. Fecal samples were collected from the rectum of 210 sheep and were subjected to laboratory analysis to differentiate the species. Furthermore, animals were observed to determine the occurrences of the clinical or subclinical forms of eimeriosis. Out of the 210 collected fecal samples, 147 (70%) were positive for Eimeria oocysts, and 101 (47.86%) belonged to young animals that were raised under intensive and / or semi-intensive farming systems. Oocysts from 9 species of Eimeria parasites were identified in the sheep at the following prevalence rates: E. crandallis, 50.0%; E. parva, 21.6%; E. faurei, 8.1%; E. ahsata, 8.1%; E. intricata, 5.4%; E. granulosa, 2.7%; E. ovinoidalis, 2.0%; E. ovina, 1.3%; and E. bakuensis, 0.6%. There were no differences regarding the more frequent Eimeria species among the different ages of animals or between the different farming management systems. Based on these data, E. crandallis was the most prevalent, followed by E. parva and E. faurei species, regardless of the age. Higher parasitism was diagnosed in the young animals that were raised in a confinement regime, and the disease found in the herd was classified as subclinical. Further studies should be conducted in this herd, to verify if the eimeriosis subclinical can cause damage especially in young animals with a high level of infection.

Real solutions number of the switching angles in the selective harmonic eliminated PWM

With the purpose of solving the real solutions number of the nonlinear transcendental equations in the selective harmonic eliminated PWM (SHEPWM) technology, the nonlinear transcendental equations were transformed to a set of polynomial equations with a set of inequality constraints using the multiple-angle formulas, an analytic method based on semi-algebraic systems machine proving algorithm was proposed to classify the real solution number of the switching angles. The complete classifications of the real solution number and the analytic boundary point of the single phase and three phases SHEPWM inverter with switch points of N=3 and the single phase SHEPWM inverter with switch points of N=4 are obtained. The results indicate that the relationship between the modulation ratio and the real solution number can be demonstrated theoretically by this method, which has great implications for the solution procedure of switching angles and the improvement of harmonic elimination effects of the inverter.

Development and mechanical characterization of bioadhesive semi-solid, polymeric systems containing tetracycline for the treatment of periodontal diseases

Purpose. This study examined the mechanical characteristics and release of tetracycline from bioadhesive, semi-solid systems which were designed for the treatment of periodontal diseases.

Exact traveling- wave solution for model geophysical systems

Exact traveling-wave solutions of time-dependent nonlinear inhomogeneous PDEs, describing several model systems in geophysical fluid dynamics, are found. The reduced nonlinear ODEs are treated as systems of linear algebraic equations in the derivatives. A variety of solutions are found, depending on the rank of the algebraic systems. The geophysical systems include acoustic gravity waves, inertial waves, and Rossby waves. The solutions describe waves which are, in general, either periodic or monoclinic. The present approach is compared with the earlier one due to Grundland (1974) for finding exact solutions of inhomogeneous systems of nonlinear PDEs.

Plan exportador en los sistemas semi-estabulado de ganado de carne bovino en productores de la vereda el guayabo - Pto. Salgar, Cundinamarca.

Este proyecto busca analizar y brindar las herramientas necesarias para poder exportar carne de calidad bajo un plan detallado de diagnostico en la zona a impactar en armonía con el medio ambiente. Básicamente, se trata de entender que la finca se debe manejar como una empresa agro-ganadera. El reto que tiene el gremio de los Agro-ganaderos está en crear, desarrollar y aplicar verdaderos proyectos de vida que sean productivos en las empresas ganaderas. Debemos empezar a utilizar los beneficios de los nuevos conceptos, tecnologías e investigaciones, para afrontar los retos que se imponen con los Tratados de Libre Comercio con otros países. La empresa Plus Agrícola S.A.S., quiere que estos conceptos, conocimientos, tecnologías e investigaciones lleguen a los pequeños y medianos productores de muchas zonas del país que como consecuencia de numerosos obstáculos e intereses de federaciones, no han podido acceder a capacitaciones que les permitan convertirse en verdaderos empresarios ganaderos. Plus Agrícola S.A.S., quiere proporcionar elementos de cambio que permitan dar un giro de 360 grados a estos productores pues estamos convencidos que el futuro de la ganadería en Colombia está en sistemas semi-estabulados y estabulados con confort, tanto en producción de carne y leche que permitan cambiar esa idea que de generación en generación hemos aplicado, como es sacar nuestros bovinos a pastorear en pasturas degradadas y pobres en alimento.

Regularization of time-varying descriptor systems by the asvd

We study linear variable coefficient control problems in descriptor form. Based on a behaviour approach and the general theory for linear differential algebraic systems we give the theoretical analysis and describe numerically stable methods to determine the structural properties of the system.

Semantic service discovery in the service ecosystem

Electronic services are a leitmotif in ‘hot’ topics like Software as a Service, Service Oriented Architecture (SOA), Service oriented Computing, Cloud Computing, application markets and smart devices. We propose to consider these in what has been termed the Service Ecosystem (SES). The SES encompasses all levels of electronic services and their interaction, with human consumption and initiation on its periphery in much the same way the ‘Web’ describes a plethora of technologies that eventuate to connect information and expose it to humans. Presently, the SES is heterogeneous, fragmented and confined to semi-closed systems. A key issue hampering the emergence of an integrated SES is Service Discovery (SD). A SES will be dynamic with areas of structured and unstructured information within which service providers and ‘lay’ human consumers interact; until now the two are disjointed, e.g., SOA-enabled organisations, industries and domains are choreographed by domain experts or ‘hard-wired’ to smart device application markets and web applications. In a SES, services are accessible, comparable and exchangeable to human consumers closing the gap to the providers. This requires a new SD with which humans can discover services transparently and effectively without special knowledge or training. We propose two modes of discovery, directed search following an agenda and explorative search, which speculatively expands knowledge of an area of interest by means of categories. Inspired by conceptual space theory from cognitive science, we propose to implement the modes of discovery using concepts to map a lay consumer’s service need to terminologically sophisticated descriptions of services. To this end, we reframe SD as an information retrieval task on the information attached to services, such as, descriptions, reviews, documentation and web sites - the Service Information Shadow. The Semantic Space model transforms the shadow's unstructured semantic information into a geometric, concept-like representation. We introduce an improved and extended Semantic Space including categorization calling it the Semantic Service Discovery model. We evaluate our model with a highly relevant, service related corpus simulating a Service Information Shadow including manually constructed complex service agendas, as well as manual groupings of services. We compare our model against state-of-the-art information retrieval systems and clustering algorithms. By means of an extensive series of empirical evaluations, we establish optimal parameter settings for the semantic space model. The evaluations demonstrate the model’s effectiveness for SD in terms of retrieval precision over state-of-the-art information retrieval models (directed search) and the meaningful, automatic categorization of service related information, which shows potential to form the basis of a useful, cognitively motivated map of the SES for exploratory search.

Riemann shock tube: 1D normal shocks in air, simulations and experiments

This paper presents numerical simulation of the evolution of one-dimensional normal shocks, their propagation, reflection and interaction in air using a single diaphragm Riemann shock tube and validate them using experimental results. Mathematical model is derived for one-dimensional compressible flow of viscous and conducting medium. Dimensionless form of the mathematical model is used to construct space-time finite element processes based on minimization of the space-time residual functional. The space-time local approximation functions for space-time p-version hierarchical finite elements are considered in higher order GRAPHICS] spaces that permit desired order of global differentiability of local approximations in space and time. The resulting algebraic systems from this approach yield unconditionally positive-definite coefficient matrices, hence ensure unique numerical solution. The evolution is computed for a space-time strip corresponding to a time increment Delta t and then time march to obtain the evolution up to any desired value of time. Numerical studies are designed using recently invented hand-driven shock tube (Reddy tube) parameters, high/low side density and pressure values, high- and low-pressure side shock tube lengths, so that numerically computed results can be compared with actual experimental measurements.

Results on proximal and generalized weak proximal contractions including the case of iteration-dependent range sets

This paper presents some further results on proximal and asymptotic proximal contractions and on a class of generalized weak proximal contractions in metric spaces. The generalizations are stated for non-self-mappings of the forms for and , or , subject to and , such that converges uniformly to T, and the distances are iteration-dependent, where , , and are non-empty subsets of X, for , where is a metric space, provided that the set-theoretic limit of the sequences of closed sets and exist as and that the countable infinite unions of the closed sets are closed. The convergence of the sequences in the domain and the image sets of the non-self-mapping, as well as the existence and uniqueness of the best proximity points, are also investigated if the metric space is complete. Two application examples are also given, being concerned, respectively, with the solutions through pseudo-inverses of both compatible and incompatible linear algebraic systems and with the parametrical