Non-simplifying Graph Rewriting Termination

So far, a very large amount of work in Natural Language Processing (NLP) rely on trees as the core mathematical structure to represent linguistic informations (e.g. in Chomsky's work). However, some linguistic phenomena do not cope properly with trees. In a former paper, we showed the benefit of encoding linguistic structures by graphs and of using graph rewriting rules to compute on those structures. Justified by some linguistic considerations, graph rewriting is characterized by two features: first, there is no node creation along computations and second, there are non-local edge modifications. Under these hypotheses, we show that uniform termination is undecidable and that non-uniform termination is decidable. We describe two termination techniques based on weights and we give complexity bound on the derivation length for these rewriting system.Comment: In Proceedings TERMGRAPH 2013, arXiv:1302.599

Generalization of the Nualart-Peccati criterion

The celebrated Nualart-Peccati criterion [Ann. Probab. 33 (2005) 177-193] ensures the convergence in distribution toward a standard Gaussian random variable $N$ of a given sequence $\{X_n\}_{n\ge1}$ of multiple Wiener-It\^{o} integrals of fixed order, if $\mathbb {E}[X_n^2]\to1$ and $\mathbb {E}[X_n^4]\to \mathbb {E}[N^4]=3$. Since its appearance in 2005, the natural question of ascertaining which other moments can replace the fourth moment in the above criterion has remained entirely open. Based on the technique recently introduced in [J. Funct. Anal. 266 (2014) 2341-2359], we settle this problem and establish that the convergence of any even moment, greater than four, to the corresponding moment of the standard Gaussian distribution, guarantees the central convergence. As a by-product, we provide many new moment inequalities for multiple Wiener-It\^{o} integrals. For instance, if $X$ is a normalized multiple Wiener-It\^{o} integral of order greater than one, $$\forall k\ge2,\qquad \mathbb {E}\bigl[X^{2k}\bigr]>\mathbb {E} \bigl[N^{2k}\bigr]=(2k-1)!!.$$Comment: Published at http://dx.doi.org/10.1214/14-AOP992 in the Annals of Probability (http://www.imstat.org/aop/) by the Institute of Mathematical Statistics (http://www.imstat.org

Physical Simulation of Inarticulate Robots

In this note we study the structure and the behavior of inarticulate robots. We introduce a robot that moves by successive revolvings. The robot's structure is analyzed, simulated and discussed in detail

The Review - Fall 2001

IN THIS ISSUE 1 - Message From The Dean 2 - A Special Welcome for Alumni Babies 2 - A Very Special Offer for Our Alumni 3 - Farewell to Joann Ludwig 4 - The Admissions-Alumni Partnership 5 - JAVA is Brewing at Jefferson! 6 - What A Year! 8 - Alumni Update 10 - Alumni News Form 11 - Visiting Scholar 2001: A Nurse Alumna Sets the Agenda 12 - Michael Hartman Elected New CHP Alumni President 13 - Commencement 200

Local topological algebraicity with algebraic coefficients of analytic sets or functions

We prove that any complex or real analytic set or function germ is topologically equivalent to a germ defined by polynomial equations whose coefficients are algebraic numbers.Comment: 16 pages. To appear in Algebra & Number Theor

On uniqueness for a rough transport-diffusion equation

In this Note, we study a transport-diffusion equation with rough coefficients and we prove that solutions are unique in a low-regularity class

The physical mechanisms that initiate and drive solar eruptions

Solar eruptions are due to a sudden destabilization of force-free coronal magnetic fields. But the detailed mechanisms which can bring the corona towards an eruptive stage, then trigger and drive the eruption, and finally make it explosive, are not fully understood. A large variety of storage-and-release models have been developed and opposed to each other since 40 years. For example, photospheric flux emergence vs. flux cancellation, localized coronal reconnection vs. large-scale ideal instabilities and loss of equilibria, tether-cutting vs. breakout reconnection, and so on. The competition between all these approaches has led to a tremendous drive in developing and testing all these concepts, by coupling state-of-the-art models and observations. Thanks to these developments, it now becomes possible to compare all these models with one another, and to revisit their interpretation in light of their common and their different behaviors. This approach leads me to argue that no more than two distinct physical mechanisms can actually initiate and drive prominence eruptions: the magnetic breakout and the torus instability. In this view, all other processes (including flux emergence, flux cancellation, flare reconnection and long-range couplings) should be considered as various ways that lead to, or that strengthen, one of the aforementioned driving mechanisms.Comment: 13 pages, 0 figure, to appear in proceedings of the IAUS300 meetin