On Languages Accepted by P/T Systems Composed of joins

Recently, some studies linked the computational power of abstract computing systems based on multiset rewriting to models of Petri nets and the computation power of these nets to their topology. In turn, the computational power of these abstract computing devices can be understood by just looking at their topology, that is, information flow. Here we continue this line of research introducing J languages and proving that they can be accepted by place/transition systems whose underlying net is composed only of joins. Moreover, we investigate how J languages relate to other families of formal languages. In particular, we show that every J language can be accepted by a log n space-bounded non-deterministic Turing machine with a one-way read-only input. We also show that every J language has a semilinear Parikh map and that J languages and context-free languages (CFLs) are incomparable

Geographic Variation in Sexual Attraction of Spodoptera frugiperda Corn- and Rice-Strain Males to Pheromone Lures

The corn- and rice-strains of Spodoptera frugiperda exhibit several genetic and behavioral differences and appear to be undergoing ecological speciation in sympatry. Previous studies reported conflicting results when investigating male attraction to pheromone lures in different regions, but this could have been due to inter-strain and/or geographic differences. Therefore, we investigated whether corn- and rice-strain males differed in their response to different synthetic pheromone blends in different regions in North America, the Caribbean and South America. All trapped males were strain typed by two strain-specific mitochondrial DNA markers. In the first experiment, we found a nearly similar response of corn and rice-strain males to two different 4-component blends, resembling the corn- and rice-strain female blend we previously described from females in Florida. This response showed some geographic variation in fields in Canada, North Carolina, Florida, Puerto Rico, and South America (Peru, Argentina). In dose-response experiments with the critical secondary sex pheromone component (Z)-7-dodecenyl acetate (Z7-12:OAc), we found some strain-specific differences in male attraction. While the response to Z7-12:OAc varied geographically in the corn-strain, rice-strain males showed almost no variation. We also found that the minor compound (Z)-11-hexadecenyl acetate (Z11-16:OAc) did not increase attraction of both strains in Florida and of corn-strain males in Peru. In a fourth experiment, where we added the stereo-isomer of the critical sex pheromone component, (E)-7-dodecenyl acetate, to the major pheromone component (Z)-9-tetradecenyl acetate (Z9-14:OAc), we found that this compound was attractive to males in North Carolina, but not to males in Peru. Overall, our results suggest that both strains show rather geographic than strain-specific differences in their response to pheromone lures, and that regional sexual communication differences might cause geographic differentiation between populations.Fil: Unbehend, Melanie. Instituto Max Planck Institut Fur Chemische Okologie; AlemaniaFil: Hänniger, Sabine. Instituto Max Planck Institut Fur Chemische Okologie; AlemaniaFil: Vasquez, Gissella M.. University Of North Carolina; Estados UnidosFil: Juárez, María Laura. Gobierno de Tucumán. Ministerio de Desarrollo Productivo. Estación Experimental Agroindustrial Obispo Colombres; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Tucumán; ArgentinaFil: Reisig, Dominic. University Of North Carolina; Estados UnidosFil: Mcneil, Jeremy N.. University of Western Ontario. Department of Biology; CanadáFil: Meagher, Robert L.. United States Department Of Agriculture; Estados UnidosFil: Jenkins, David A.. United States Department of Agriculture; ArgentinaFil: Heckel, David G.. Instituto Max Planck Institut Fur Chemische Okologie; AlemaniaFil: Groot, Astrid T.. University Of Amsterdam; Países Bajos. Instituto Max Planck Institut Fur Chemische Okologie; Alemani

Justness: A Completeness Criterion for Capturing Liveness Properties (Extended Abstract)

This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.Comment: An extended abstract of this paper appears in Proc. FoSSaCS'1

Symmetry structure in discrete models of biochemical systems : natural subsystems and the weak control hierarchy in a new model of computation driven by interactions

© 2015 The Authors. Published by the Royal Society under the terms of the Creative Commons Attribution License http://creativecommons.org/licenses/by/4.0/, which permits unrestricted use, provided the original author and source are credited.Interaction Computing (IC) is inspired by the observation that cell metabolic/regulatory systems construct order dynamically, through constrained interactions between their components and based on a wide range of possible inputs and environmental conditions. The goals of this work are (1) to identify and understand mathematically the natural subsystems and hierarchical relations in natural systems enabling this, and (2) to use the resulting insights to define a new model of computation based on interactions that is useful for both biology and computation. The dynamical characteristics of the cellular pathways studied in Systems Biology relate, mathematically, to the computational characteristics of automata derived from them, and their internal symmetry structures to computational power. Finite discrete automata models of biological systems such as the lac operon, Krebs cycle, and p53-mdm2 genetic regulation constructed from Systems Biology models have canonically associated algebraic structures { transformation semigroups. These contain permutation groups (local substructures exhibiting symmetry) that correspond to "pools of reversibility". These natural subsystems are related to one another in a hierarchical manner by the notion of "weak control ". We present natural subsystems arising from several biological examples and their weak control hierarchies in detail. Finite simple non-abelian groups (SNAGs) are found in biological examples and can be harnessed to realize nitary universal computation. This allows ensembles of cells to achieve any desired finitary computational transformation, depending on external inputs, via suitably constrained interactions. Based on this, interaction machines that grow and change their structure recursively are introduced and applied, providing a natural model of computation driven by interactions.Peer reviewe

Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration

jFuzzyLogic: a Java Library to Design Fuzzy Logic Controllers According to the Standard for Fuzzy Control Programming

Fuzzy Logic Controllers are a specific model of Fuzzy Rule Based Systems suitable for engineering applications for which classic control strategies do not achieve good results or for when it is too difficult to obtain a mathematical model. Recently, the International Electrotechnical Commission has published a standard for fuzzy control programming in part 7 of the IEC 61131 norm in order to offer a well defined common understanding of the basic means with which to integrate fuzzy control applications in control systems. In this paper, we introduce an open source Java library called jFuzzyLogic which offers a fully functional and complete implementation of a fuzzy inference system according to this standard, providing a programming interface and Eclipse plugin to easily write and test code for fuzzy control applications. A case study is given to illustrate the use of jFuzzyLogic.McGill Uninversity, Genome QuebecSpanish Government TIN2011-28488Andalusian Government P10-TIC-685

Modelling and Analysing Genetic Networks: From Boolean Networks to Petri Nets

Abstract. In order to understand complex genetic regulatory networks researchers require automated formal modelling techniques that provide appropriate analysis tools. In this paper we propose a new qualitative model for genetic regulatory networks based on Petri nets and detail a process for automatically constructing these models using logic mini-mization. We take as our starting point the Boolean network approach in which regulatory entities are viewed abstractly as binary switches. The idea is to extract terms representing a Boolean network using logic minimization and to then directly translate these terms into appropri-ate Petri net control structures. The resulting compact Petri net model addresses a number of shortcomings associated with Boolean networks and is particularly suited to analysis using the wide range of Petri net tools. We demonstrate our approach by presenting a detailed case study in which the genetic regulatory network underlying the nutritional stress response in Escherichia coli is modelled and analysed.

Service orchestration with priority constraints

Business process management is an operational management approach that focuses on improving business processes. Business processes, i.e., collections of important activities in an organization, are represented in the form of a workflow, an orchestrated and repeatable pattern of activities amenable to automated analysis and control. Priority is an important concept in modeling workflows. We need priority to model cancelable and compensable tasks within transactional business processes. We use the Reo coordination language to model and formally analyze workflows. In this paper, we propose a constraint-based approach to formalize priority in Reo. We introduce special channels to propagate and block priority flows, define their semantics as constraints, and model priority propagation as a constraint satisfaction problem

Examples of risk tools for pests in Peanut (Arachis hypogaea) developed for five countries using Microsoft Excel

Suppressing pest populations below economically-damaging levels is an important element of sustainable peanut (Arachis hypogaea L.) production. Peanut farmers and their advisors often approach pest management with similar goals regardless of where they are located. Anticipating pest outbreaks using field history and monitoring pest populations are fundamental to protecting yield and financial investment. Microsoft Excel was used to develop individual risk indices for pests, a composite assessment of risk, and costs of risk mitigation practices for peanut in Argentina, Ghana, India, Malawi, and North Carolina (NC) in the United States (US). Depending on pests and resources available to manage pests, risk tools vary considerably, especially in the context of other crops that are grown in sequence with peanut, cultivars, and chemical inputs. In Argentina, India, and the US where more tools (e.g., mechanization and pesticides) are available, risk indices for a wide array of economically important pests were developed with the assumption that reducing risk to those pests likely will impact peanut yield in a positive manner. In Ghana and Malawi where fewer management tools are available, risks to yield and aflatoxin contamination are presented without risk indices for individual pests. The Microsoft Excel platform can be updated as new and additional information on effectiveness of management practices becomes apparent. Tools can be developed using this platform that are appropriate for their geography, environment, cropping systems, and pest complexes and management inputs that are available. In this article we present examples for the risk tool for each country.Fil: Jordan, David L.. University of Georgia; Estados Unidos. North Carolina State University; Estados UnidosFil: Buol, Greg S.. North Carolina State University; Estados UnidosFil: Brandenburg, Rick L.. North Carolina State University; Estados UnidosFil: Reisig, Dominic. North Carolina State University; Estados UnidosFil: Nboyine, Jerry. Council for Scientific and Industrial Research Savanna Agricultural Research Institute; GhanaFil: Abudulai, Mumuni. Council for Scientific and Industrial Research Savanna Agricultural Research Institute; GhanaFil: Oteng Frimpong, Richard. Council for Scientific and Industrial Research Savanna Agricultural Research Institute; GhanaFil: Mochiah, Moses Brandford. Council for Scientific and Industrial Research Crops Research Institute; GhanaFil: Asibuo, James Y.. Council for Scientific and Industrial Research Crops Research Institute; GhanaFil: Arthur, Stephen. Council for Scientific and Industrial Research Crops Research Institute; GhanaFil: Akromah, Richard. Kwame Nkrumah University Of Science And Technology; GhanaFil: Mhango, Wezi. Lilongwe University Of Agriculture And Natural Resources; MalauiFil: Chintu, Justus. Chitedze Agricultural Research Service, Lilongwe; MalauiFil: Morichetti, Sergio. Aceitera General Deheza; ArgentinaFil: Paredes, Juan Andres. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Instituto de Patología Vegetal; Argentina. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Unidad de Fitopatología y Modelización Agrícola - Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Córdoba. Unidad de Fitopatología y Modelización Agrícola; ArgentinaFil: Monguillot, Joaquín Humberto. Instituto Nacional de Tecnología Agropecuaria. Centro de Investigaciones Agropecuarias. Instituto de Patología Vegetal; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; ArgentinaFil: Singh Jadon, Kuldeep. Central Arid Zone Research Institute, Jodhpur; IndiaFil: Shew, Barbara B.. North Carolina State University; Estados UnidosFil: Jasrotia, Poonam. Indian Institute Of Wheat And Barley Research, Karnal; IndiaFil: Thirumalaisamy, P. P.. India Council of Agricultural Research, National Bureau of Plant Genetic Resources; IndiaFil: Harish, G.. Directorate Of Groundnut Research, Junagadh; IndiaFil: Holajjer, Prasanna. National Bureau Of Plant Genetic Resources, New Delhi; IndiaFil: Maheshala, Nataraja. Directorate Of Groundnut Research, Junagadh; IndiaFil: MacDonald, Greg. University of Florida; Estados UnidosFil: Hoisington, David. University of Georgia; Estados UnidosFil: Rhoads, James. University of Georgia; Estados Unido

Is the Public willing to help the Nigerian Police during the Boko Haram crisis? A look at moderating factors.

This paper sought the opinion of 200 Nigerians on their willingness to cooperate with the Police during the Boko Haram crisis. Public perceptions of Police effectiveness during the crisis, residence location, gender and religious affiliation were used as moderators. Data was analysed using an explanatory factor analysis and structural equation modelling. Results indicated a strong association between perceived effectiveness and willingness to report to the Police with respondents who question the effectiveness of the Police being less likely to be willing to report criminal activity about Boko Haram. Further to this, the impact of religion on willingness to report was at least partially mediated by perceived effectiveness of the Police with the results showing that Christian respondents perceived the Police as less effective. Females and those living in the North were significantly less willing to report criminal activity to the Police The findings are then discussed in relation to the BH crises and directions for future research are given