966 research outputs found

    Two-Sided Derivatives for Regular Expressions and for Hairpin Expressions

    Full text link
    The aim of this paper is to design the polynomial construction of a finite recognizer for hairpin completions of regular languages. This is achieved by considering completions as new expression operators and by applying derivation techniques to the associated extended expressions called hairpin expressions. More precisely, we extend partial derivation of regular expressions to two-sided partial derivation of hairpin expressions and we show how to deduce a recognizer for a hairpin expression from its two-sided derived term automaton, providing an alternative proof of the fact that hairpin completions of regular languages are linear context-free.Comment: 28 page

    Invariance: a Theoretical Approach for Coding Sets of Words Modulo Literal (Anti)Morphisms

    Full text link
    Let AA be a finite or countable alphabet and let θ\theta be literal (anti)morphism onto AA^* (by definition, such a correspondence is determinated by a permutation of the alphabet). This paper deals with sets which are invariant under θ\theta (θ\theta-invariant for short).We establish an extension of the famous defect theorem. Moreover, we prove that for the so-called thin θ\theta-invariant codes, maximality and completeness are two equivalent notions. We prove that a similar property holds in the framework of some special families of θ\theta-invariant codes such as prefix (bifix) codes, codes with a finite deciphering delay, uniformly synchronized codes and circular codes. For a special class of involutive antimorphisms, we prove that any regular θ\theta-invariant code may be embedded into a complete one.Comment: To appear in Acts of WORDS 201

    Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections

    Full text link
    In this paper, we present some results regarding the size complexity of Accepting Networks of Evolutionary Processors with Filtered Connections (ANEPFCs). We show that there are universal ANEPFCs of size 10, by devising a method for simulating 2-Tag Systems. This result significantly improves the known upper bound for the size of universal ANEPFCs which is 18. We also propose a new, computationally and descriptionally efficient simulation of nondeterministic Turing machines by ANEPFCs. More precisely, we describe (informally, due to space limitations) how ANEPFCs with 16 nodes can simulate in O(f(n)) time any nondeterministic Turing machine of time complexity f(n). Thus the known upper bound for the number of nodes in a network simulating an arbitrary Turing machine is decreased from 26 to 16

    Detecting One-variable Patterns

    Full text link
    Given a pattern p=s1x1s2x2sr1xr1srp = s_1x_1s_2x_2\cdots s_{r-1}x_{r-1}s_r such that x1,x2,,xr1{x,x}x_1,x_2,\ldots,x_{r-1}\in\{x,\overset{{}_{\leftarrow}}{x}\}, where xx is a variable and x\overset{{}_{\leftarrow}}{x} its reversal, and s1,s2,,srs_1,s_2,\ldots,s_r are strings that contain no variables, we describe an algorithm that constructs in O(rn)O(rn) time a compact representation of all PP instances of pp in an input string of length nn over a polynomially bounded integer alphabet, so that one can report those instances in O(P)O(P) time.Comment: 16 pages (+13 pages of Appendix), 4 figures, accepted to SPIRE 201

    Simulating accepting networks of evolutionary processors with filtered connections by accepting evolutionary P systems

    Get PDF
    In this work, we propose a variant of P system based on the rewriting of string-objects by means of evolutionary rules. The membrane structure of such a P system seems to be a very natural tool for simulating the filters in accepting networks of evolutionary processors with filtered connections. We discuss an informal construction supporting this simulation. A detailed proof is to be considered in an extended version of this work

    Probing the N = 32 shell closure below the magic proton number Z = 20: Mass measurements of the exotic isotopes 52,53K

    Get PDF
    The recently confirmed neutron-shell closure at N = 32 has been investigated for the first time below the magic proton number Z = 20 with mass measurements of the exotic isotopes 52,53K, the latter being the shortest-lived nuclide investigated at the online mass spectrometer ISOLTRAP. The resulting two-neutron separation energies reveal a 3 MeV shell gap at N = 32, slightly lower than for 52Ca, highlighting the doubly-magic nature of this nuclide. Skyrme-Hartree-Fock-Boguliubov and ab initio Gorkov-Green function calculations are challenged by the new measurements but reproduce qualitatively the observed shell effect.Comment: 5 pages, 5 figure

    Dynamic multilateral markets

    Get PDF
    We study dynamic multilateral markets, in which players' payoffs result from intra-coalitional bargaining. The latter is modeled as the ultimatum game with exogenous (time-invariant) recognition probabilities and unanimity acceptance rule. Players in agreeing coalitions leave the market and are replaced by their replicas, which keeps the pool of market participants constant over time. In this infinite game, we establish payoff uniqueness of stationary equilibria and the emergence of endogenous cooperation structures when traders experience some degree of (heterogeneous) bargaining frictions. When we focus on market games with different player types, we derive, under mild conditions, an explicit formula for each type's equilibrium payoff as the market frictions vanish

    Precision Mass Measurements of 129-131Cd and Their Impact on Stellar Nucleosynthesis via the Rapid Neutron Capture Process

    Full text link
    Masses adjacent to the classical waiting-point nuclide 130Cd have been measured by using the Penning- trap spectrometer ISOLTRAP at ISOLDE/CERN. We find a significant deviation of over 400 keV from earlier values evaluated by using nuclear beta-decay data. The new measurements show the reduction of the N = 82 shell gap below the doubly magic 132Sn. The nucleosynthesis associated with the ejected wind from type-II supernovae as well as from compact object binary mergers is studied, by using state-of-the-art hydrodynamic simulations. We find a consistent and direct impact of the newly measured masses on the calculated abundances in the A = 128 - 132 region and a reduction of the uncertainties from the precision mass input data

    Safeguarding children in dentistry: 1. Child protection training, experience and practice of dental professionals with an interest in paediatric dentistry

    Get PDF
    * Few dental professionals with child protection training have experience of making referrals. * There is a wide gap in practice between recognising signs of child abuse and neglect and responding effectively. * This may indicate missed opportunities to save children from continuing abuse. * There is a need for improved child protection information, support and training for dental professionals. Abstract Following several highly publicised inquiries into the deaths of children from abuse and neglect, there has been much recent interest in the role and responsibility of all health professionals to protect children at risk of maltreatment. The findings of a postal questionnaire, sent in March 2005 to 789 dentists and dental care professionals with an interest in paediatric dentistry working in varied settings in the UK, are presented in a two-part report and discussed in the context of current multi-agency good practice in safeguarding and promoting the welfare of children. This first part explores reported child protection training, experience and practice. There was a significant gap between recognising signs of abuse and responding effectively: 67% of respondents had suspected abuse or neglect of a child patient at some time in their career but only 29% had ever made a child protection referral. The dental profession is alerted to the need to ensure necessary appropriate action to safeguard children is always taken when child abuse or neglect are suspected

    Horizontal subduction and truncation of the Cocos Plate beneath central Mexico

    Get PDF
    Based on analysis of data from a trans-Mexico temporary broadband seismic network centered on Mexico City, we report that the subducting Cocos Plate beneath central Mexico is horizontal, and tectonically underplates the base of the crust for a distance of 250 km from the trench. It is decoupled from the crust by a very thin low viscosity zone. The plate plunges into the mantle near Mexico City but is truncated at a depth of 500 km, probably due to an E-W propagating tear in the Cocos slab. Unlike the shallow slab subduction in Peru and Chile, there is active volcanism along the Trans Mexican Volcanic Belt (TMVB) that lies much further inland than regions to either side where subduction dip is not horizontal. Geodynamical modeling indicates that a thin weak layer such as imaged by the seismic experiment can explain the flat subduction geometry
    corecore