Objects like rewrite rules and strategies are of very general use and interest in computer science. They are especially useful when modeling inference based systems like logical frameworks, theorem provers, constraint solvers, expert systems, transition systems. In order to formalize the concept of rule application, we have designed a calculus of explicit rule application called the rewritingor...

We present ALMA observations on and around the radio-quiet quasar UM287 at $z=2.28$. Together with a companion quasar, is believed to play major role in powering surrounding enormous Ly$\alpha$ nebula (ELAN), dubbed Slug ELAN, that has an end-to-end size of 450 physical kpc. In addition quasars, we detect new dusty star-forming galaxy (DSFG), Slug-DSFG, 2 mm continuum single emission line consi...

The MAMMOTH-1 nebula at $z=2.317$ is an enormous Ly$\alpha$ (ELAN) extending to a $\sim$440 kpc scale the center of extreme galaxy overdensity BOSS 1441. In this paper, we present observations $\rm CO(3-2)$ and 250 GHz dust-continuum emission from using IRAM NOrthern Extended Millimeter Array. Our show that in ELAN has not extended widespread into circum- inter-galactic media. We also find rema...

Résumé. Cet article aborde le problème de l’extraction de données orales multi-annotées : nous proposons une solution intermédiaire, entre d’une part les systèmes de requêtages très évolués mais qui nécessitent des données structurées, d’autre part les données (multi-)annotées des utilisateurs qui sont hétérogènes. Notre proposition s’appuie sur 2 fonctions principales : une fonction booléenne ...

The ρ-calculus is a new calculus that integrates in a uniform and simple setting first-order rewriting, λ-calculus and non-deterministic computations. The main design concept of the ρ-calculus is to make all the basic ingredients of rewriting explicit objects, in particular the notions of rule application and multisets of results. This paper describes the calculus from its syntax to its basic p...

Implementing a compiler for a language with nondeterministic features is known to be a difficult task. This paper presents two new functions setChoicePoint and fail that extend the C language to efficiently handle choice point management. Originally, these two functions were designed to compile the ELAN strategy language. However, they can be used by programmers for general programming in C. We...

Language comprehension can be subdivided into three processing steps: initial structure building, semantic integration, and late syntactic integration. The two syntactic processing phases are correlated with two distinct components in the event-related brain potential, namely an early left anterior negativity (ELAN) and a late centroparietal positivity (P600). Moreover, ERP findings from health...