The nuclear contacts and short range correlations in nuclei

Atomic nuclei are complex strongly interacting systems and their exact theoretical description is a long-standing challenge. An approximate description of nuclei can be achieved by separating its short and long range structure. This separation of scales stands at the heart of the nuclear shell model and effective field theories that describe the long-range structure of the nucleus using a mean- field approximation. We present here an effective description of the complementary short-range structure using contact terms and stylized two-body asymptotic wave functions. The possibility to extract the nuclear contacts from experimental data is presented. Regions in the two-body momentum distribution dominated by high-momentum, close-proximity, nucleon pairs are identified and compared to experimental data. The amount of short-range correlated (SRC) nucleon pairs is determined and compared to measurements. Non-combinatorial isospin symmetry for SRC pairs is identified. The obtained one-body momentum distributions indicate dominance of SRC pairs above the nuclear Fermi-momentum.Comment: Accepted for publication in Physics Letters. 6 pages, 2 figure

Multi-view informed attention-based model for Irony and Satire detection in Spanish variants

[EN] Making machines understand language and reasoning on it has been one of the most challenging problems addressed by Artificial Intelligent researchers. This challenge increases when figurative language is used for communicating complex meanings, intentions, emotions and attitudes in creative and funny ways. In fact, sentiment analysis approaches struggle when facing irony, satire and other figurative languages, particularly those where the explanation of a prediction might arguably be as necessary as the prediction itself. This paper describes a new model MvAttLSTM based on deep learning for irony and satire detection in tweets written in distinct Spanish variants. The proposed model is based on an attentive-LSTM informed with three additional views learned from distinct perspectives. We investigate two strategies to pass these views into MvAttLSTM. We perform an extensive evaluation on three corpora, one for irony detection and two for satire detection. Moreover, in order to study the robustness of our proposed model, we investigate its performance on humor recognition. Experiments confirm that the proposed views help our model to improve its performance. Moreover, they show that affective information benefits our model to detect irony and satire. In particular, a first analysis of the results highlights the discriminating power of emotional features obtained from SenticNet and SEL lexicon. Overall, our system achieves the state-of-the-art performance in irony and satire detection in Spanish variants and competitive results in humor recognition.The work of the first two authors was in the framework of the research project MISMIS-FAKEnHATE on MISinformation and MIScommunication in social media: FAKE news and HATE speech (PGC2018-096212-B-C31) , funded by Spanish Ministry of Science and Innovation, and DeepPattern (PROMETEO/2019/121) , funded by the Generalitat Valenciana, Spain.Ortega-Bueno, R.; Rosso, P.; Medina-Pagola, JE. (2022). Multi-view informed attention-based model for Irony and Satire detection in Spanish variants. Knowledge-Based Systems. 235:1-24. https://doi.org/10.1016/j.knosys.2021.10759712423

SAURON Observations of Disks in Early-Type Galaxies

We briefly describe the SAURON project, aimed at determining the intrinsic shape and internal dynamics of spheroids. We focus here on the ability of SAURON to identify gaseous and stellar disks and to measure their morphology and kinematics. We illustrate some of our results with complete maps of NGC3377, NGC3623, and NGC4365.Comment: 4 pages, 4 figures (newpasp.sty). To appear in ASP Conf. Series "Galaxy Disks and Disk Galaxies", eds. J.G. Funes S.J. & E.M. Corsini. Version with full resolution images available at http://www.strw.leidenuniv.nl/~bureau/pub_list.htm

Approaching the Coverability Problem Continuously

The coverability problem for Petri nets plays a central role in the verification of concurrent shared-memory programs. However, its high EXPSPACE-complete complexity poses a challenge when encountered in real-world instances. In this paper, we develop a new approach to this problem which is primarily based on applying forward coverability in continuous Petri nets as a pruning criterion inside a backward coverability framework. A cornerstone of our approach is the efficient encoding of a recently developed polynomial-time algorithm for reachability in continuous Petri nets into SMT. We demonstrate the effectiveness of our approach on standard benchmarks from the literature, which shows that our approach decides significantly more instances than any existing tool and is in addition often much faster, in particular on large instances.Comment: 18 pages, 4 figure

Supermassive black holes from OASIS and SAURON integral-field kinematics

Supermassive black holes are a key element in our understanding of how galaxies form. Most of the progress in this very active field of research is based on just ~30 determinations of black hole mass, accumulated over the past decade. We illustrate how integral-field spectroscopy, and in particular our OASIS modeling effort, can help improve the current situation.Comment: 4 pages, 2 figures, LaTeX. To appear in the proceedings of IAU Symposium 245 "Formation and Evolution of Galaxy Bulges", M. Bureau, E. Athanassoula, and B. Barbuy, ed

Fast and Slow Rotators: The build-up of the Red Sequence

Using the unique dataset obtained within the course of the SAURON project, a radically new view of the structure, dynamics and stellar populations of early-type galaxies has emerged. We show that galaxies come in two broad flavours (slow and fast rotators), depending on whether or not they exhibit clear large-scale rotation, as indicated via a robust measure of the specific angular momentum of baryons. This property is also linked with other physical characteristics of early-type galaxies, such as: the presence of dynamically decoupled cores, orbital structure and anisotropy, stellar populations and dark matter content. I here report on the observed link between this baryonic angular momentum and a mass sequence, and how this uniquely relates to the building of the red sequence via dissipative/dissipationless mergers and secular evolution.Comment: 4 pages, 1 figure. To appear in the Proceedings of IAU Symposium 245 "Formation and Evolution of Galaxy Bulges", Eds M. Bureau, E. Athanassoula, and B. Barbu

DIRA system architecture : from acoustics to linguistics

This article describes the architecture and the operation of the DIRA (Integrated Dialogue and Automatic Recognition) continuous speech recognition system in its present stage of development . The DIRA system is a supervised multi-expert system . The supervisor dynamically arranges the tasks of its expert modules, which are each attached to one of the subdomains of the speech recognition problem, i .e. the acoustic/phonetic, the lexical-, the syntactic/semantic-, the prosodie- and ftnally the pragmatic domain . A blackboard serves as message interchange medium between these expert modules, as well as long-terra memory for the speech recognition process as a whole . The supervisor is an opportunistic planner : it reasons on the data present ai the blackboard and « calculâtes » the best strategy (a scheme for the activation the expert modules) to resolve the carrent problem . The operation of the individual expert modules is also addressed in this article : the APD's (Acoustic-Phonetic Decoders) with their knowledge bases represented as rules controlling the transitions in ATN's (Augmented Transition Networks), the linguistic analyzers using the same A TN concept and the principle of functional lexical grammars, the comprehensive analyzer founded on the principle of lexical priming and ftnally the rulebased prosodie analyzer . The operation of the speech recognition system is commented, while providing examples and test results .Cet article décrit l'architecture et le fonctionnement du système de reconnaissance de la parole DIRA (DIRA : Dialogue Intégré et Reconnaissance Automatique) dans son état actuel. Ce système est un système multi-experts supervisé . Le superviseur organise les tâches de ses experts qui sont attachés aux diverses sources de connaissances : acousticophonétiques, lexicales, syntaxico-sémantiques, prosodiques et pragmatiques . Le tableau noir sert de boîte à lettre pour la communication de messages entre les divers modules ainsi que de mémoire à long terme où toutes les hypothèses en cours de construction sont consignées . Le superviseur est un planificateur opportuniste : il raisonne sur les données présentes dans le tableau noir et « calcule » la stratégie la meilleure pour activer les experts. Les experts sont également décrits dans cet article : les DAP (décodages acoustico-phonétiques) avec leurs bases de connaissance représentées sous forme de règles qui contrôlent les transitions d'un ATN (Augmented Transition Network), les analyseurs linguistiques utilisant aussi le concept d'ATN compilé et la notion de grammaire lexicale fonctionnelle, la compréhension fondée essentiellement sur le phénomène d'amorçage sémantique et enfin l'analyseur prosodique à base de règles . La mise en ouvre de ce système est commentée à travers des exemples et les résultats de reconnaissance sont discutés