Hasil untuk "Romanic languages"

J. C. Valenzuela-Tripodoro, M. A. Mateos-Camacho, M. Cera et al.

Domination in graphs is a widely studied field, where many different definitions have been introduced in the last years to respond to different network requirements. This paper presents a new dominating parameter based on the well-known strong Roman domination model. Given a positive integer $p$, we call a $p$-strong Roman domination function ($p$-StRDF) in a graph $G$ to a function $f:V(G)\rightarrow \{0,1,2, \ldots , \left\lceil \frac{Δ+p}{p} \right\rceil \}$ having the property that if $f(v)=0$, then there is a vertex $u\in N(v)$ such that $f(u) \ge 1+ \left\lceil \frac{ |B_0\cap N(u)|}{p} \right\rceil $, where $B_0$ is the set of vertices with label $0$. The $p$-strong Roman domination number $γ_{StR}^p(G)$ is the minimum weight (sum of labels) of a $p$-StRDF on $G$. We study the NP-completeness of the \emph{$p$-StRD}-problem, we also provide general and tight upper and lower bounds depending on several classical invariants of the graph and, finally, we determine the exact values for some families of graphs.

Médéric Boquien, Laure Ciesla, Roman Amestoy et al.

The Roman Space Telescope will be instrumental for characterizing the physical properties of galaxies and understanding their evolution across time. However, a complete view of galaxy star formation activity will only be possible with the addition of far-infrared observations that a telescope such as PRobe far-Infrared Mission for Astrophysics (PRIMA) will be able to provide. Indeed, PRIMA's far-infrared camera will be highly sensitive to dust emission, whereas Roman will probe the stellar emission in rest-frame optical and ultraviolet of distant galaxies. Our aim here is to evaluate the advantage of combining large PRIMA and Roman extragalactic surveys to retrieve the physical properties of galaxies and compare them with what we would obtain using either dataset separately. To do so, we use the Code Investigating Galaxy Emission photometric modeling code to generate a far-ultraviolet to a far-infrared synthetic set of dusty star-forming galaxies at redshifts from 1.5 to 2.5, simulating the observations from the main extragalactic surveys of PRIMA and Roman. We find that the PRIMA + Roman observations can reliably retrieve the star formation rate, stellar masses, and dust luminosity.

Nicola D'Antuono, Angelapia Massaro, Fernando Giacinti et al.

In this work, we put forth the observation that some V2 languages are sensitive to the category of the XP moved in first position, only in cases of embedded V2, but not in main clause V2. This shows: a) that embedded V2 can be different from main clause V2 and b) that different types of XPs do not undergo the same restrictions when moving to the left periphery. We propose an analysis of these differences in terms of relativized minimality.

Lee Barney, Adolfo Neto

In December 2023, security agencies from five countries in North America, Europe, and the south Pacific produced a document encouraging senior executives in all software producing organizations to take responsibility for and oversight of the security of the software their organizations produce. In February 2024, the White House released a cybersecurity outline, highlighting the December document. In this work we review the safe languages listed in these documents, and compare the safety of those languages with Erlang and Elixir, two BEAM languages. These security agencies' declaration of some languages as safe is necessary but insufficient to make wise decisions regarding what language to use when creating code. We propose an additional way of looking at languages and the ease with which unsafe code can be written and used. We call this new perspective \em{unsafe impedance}. We then go on to use unsafe impedance to examine nine languages that are considered to be safe. Finally, we suggest that business processes include what we refer to as an Unsafe Acceptance Process. This Unsafe Acceptance Process can be used as part of the memory safe roadmaps suggested by these agencies. Unsafe Acceptance Processes can aid organizations in their production of safe by design software.

Mary Hall, Cosmin Oancea, Anne C. Elster et al.

Scheduling languages express to a compiler a sequence of optimizations to apply. Compilers that support a scheduling language interface allow exploration of compiler optimizations, i.e., exploratory compilers. While scheduling languages have become a common feature of tools for expert users, the proliferation of these languages without unifying common features may be confusing to users. Moreover, we recognize a need to organize the compiler developer community around common exploratory compiler infrastructure, and future advances to address, for example, data layout and data movement. To support a broader set of users may require raising the level of abstraction. This paper provides a taxonomy of scheduling languages, first discussing their origins in iterative compilation and autotuning, noting the common features and how they are used in existing frameworks, and then calling for changes to increase their utility and portability.

Robyn E. Sanderson, Ryan Hickox, Christopher M. Hirata et al.

The Nancy Grace Roman Space Telescope (Roman), NASA's next flagship observatory, has significant mission time to be spent on surveys for general astrophysics in addition to its three core community surveys. We considered what types of observations outside the core surveys would most benefit from early definition, given 700 hours of mission time in the first two years of Roman's operation. We recommend that a survey of the Galactic plane be defined early, based on the broad range of stakeholders for such a survey, the added scientific value of a first pass to obtain a baseline for proper motions complementary to Gaia's, and the significant potential synergies with ground-based surveys, notably the Legacy Survey of Space and Time (LSST) on Rubin. We also found strong motivation to follow a community definition process for ultra-deep observations with Roman.

Florian Frank, Stefan Milius, Henning Urbat

Positive data languages are languages over an infinite alphabet closed under possibly non-injective renamings of data values. Informally, they model properties of data words expressible by assertions about equality, but not inequality, of data values occurring in the word. We investigate the class of positive data languages recognizable by nondeterministic orbit-finite nominal automata, an abstract form of register automata introduced by Bojańczyk, Klin, and Lasota. As our main contribution we provide a number of equivalent characterizations of that class in terms of positive register automata, monadic second-order logic with positive equality tests, and finitely presentable nondeterministic automata in the categories of nominal renaming sets and of presheaves over finite sets.

Adrian Lehmann, Ben Caldwell, Bhakti Shah et al.

Graphical languages are a convenient shorthand to represent computation, with rewrite rules relating one graph to another. In contrast, proof assistants rely heavily on inductive datatypes, particularly when giving semantics to embedded languages. This creates obstacles to formally reasoning about graphical languages, since imposing an inductive structure obfuscates the diagrammatic nature of graphical languages, along with their corresponding equational theories. To address this gap, we present VyZX, a verified library for reasoning about inductively defined graphical languages. These inductive constructs arise naturally from category-theoretic definitions. We developed VyZX to Verify the ZX-calculus, a graphical langauge for reasoning about quantum computation. The ZX-calculus comes with a collection of diagrammatic rewrite rules that preserve the graph's semantic interpretation. We show how inductive graphs in VyZX are used to prove the soundness of the ZX-calculus rewrite rules and apply them in practice using standard proof assistant techniques. We also provide an IDE-integrated visualizer for proof engineers to directly reason about diagrams in graphical form.

Alexandra Schurz, Marion Coumel, Julia Hüttner

European learners of English are increasingly using this language recreationally, which is referred to as Extramural English (henceforth EE). The level of EE use in a given country might be reflected in English Language Teaching (ELT) practices. Yet, no research so far has examined cross-nationally what potential for language learning teachers perceive in their learners’ EE engagement and how this relates to ELT practices. To address this gap, the present study draws on interview data from lower secondary English teachers from Austria, France, and Sweden (n = 20). They were enquired about (1) their students’ EE engagement and its effects on learning, (2) their accuracy and fluency teaching methods, and (3) the perceived link between EE and ELT. Swedish teachers seemed to have a more positive and fine-grained conceptualization of the impact of EE on learning than Austrian and French participants, especially in terms of grammar acquisition. The implicit learning environment that Swedish students encounter extramurally might extend to the classroom, where the use of explicit grammar rules occurs less dominantly than in the Austrian and French samples. The countries converged in the type of fluency-based instruction they reported. Gaps in language areas not (fully) developed through EE seem to be more intentionally addressed in ELT in Sweden.

Megan C. Gross, Ada C. López González, Maria G. Girardin et al.

Code-switching is a complex bilingual behavior that can be affected by a variety of factors related to characteristics of the speaker, the interlocutor, and the broader sociolinguistic context. A better understanding of these factors is important for interpreting children’s use of code-switching in different elicitation contexts across research studies and in applied settings, such as language sample analysis for clinical assessment. In the current study, we used a conversation sample protocol with a code-switching adult interlocutor to examine the use of English, Spanish, intra-sentential and inter-sentential code-switching, and alignment with the interlocutor by Spanish/English bilingual children with a wide range of language abilities. In a single-language comparison condition, the same examiner engaged the child in conversation using only English or only Spanish. Key findings include that children exhibited limited use of code-switching in the English condition and similar frequency of code-switching in the Spanish, compared to the code-switching, conditions. Children exhibited a tendency to align with the examiner in their use of English vs. Spanish and their use of intra-sentential code-switching during the code-switching context, although they generally code-switched less than the examiner. There was also considerable variability across children. Predictors of this variability included children’s age and language proficiency. However, language proficiency was not associated with the frequency of children’s intra-sentential code-switching in a code-switching context. Parent-report measures of code-switching experience exhibited limited associations with the children’s observed code-switching behavior; inter-sentential switches into English showed the most direct associations. Based on the findings from this exploratory study, we highlight the importance of including a code-switching context when analyzing language samples from bilingual children, considering both the target child and the interlocutor’s behavior, and continuing to refine indirect report measures of code-switching experience.

Bert Le Bruyn, Martín Fuchs, Martijn van der Klis et al.

This paper surveys the strategies that the Contrastive, Typological, and Translation Mining parallel corpus traditions rely on to deal with the issue of target language representativeness of translations. On the basis of a comparison of the corpus architectures and research designs of the three traditions, we argue that they have each developed their own representativeness strategies: (i) monolingual control corpora (Contrastive tradition), (ii) limits on the scope of research questions (Typological tradition), and (iii) parallel control corpora (Translation Mining tradition). We introduce normalized pointwise mutual information (NPMI) as a bi-directional measure of cross-linguistic association, allowing for an easy comparison of the outcomes of different traditions and the impact of the monolingual and parallel control corpus representativeness strategies. We further argue that corpus size has a major impact on the reliability of the monolingual control corpus strategy and that a sequential parallel control corpus strategy is preferable for smaller corpora.

Shona Whyte, Ciara R. Wigham, Nathalie Younès

Teacher beliefs affect choices of methods, representations of learning, and classroom practice, and are important in understanding primary EFL teaching in France, where language teaching has been a compulsory subject entrusted to generalist class teachers for 20 years. This quantitative study explores questionnaire data from 254 primary teachers, associating teacher beliefs and classroom practice. With respect to views of language teaching and learning, the study reveals a three-way division of teachers between grammar-oriented teaching (PPP), communicative-language teaching (CLT), and ‘sceptical’ teachers. The PPP (n = 72) group employed the smallest range of teaching activities and rarely taught older pupils. The CLT group (n = 60) tended to have higher English proficiency and more in-service training and offered the widest range of oral activities. The sceptical group (n = 85) took no strong theoretical position, had lower English proficiency, and focused on listening and speaking skills. We found no correlation between teacher age and language learning beliefs or teaching practices. However, teachers who offered a wider range of activities in any of the five competences tended to have more in-service training and higher English proficiency. Further correlations were found between oral language teaching and technology integration, and written language teaching and teaching experience. The paper concludes with links to previous teacher cognition research and suggestions for teacher education.

Eva Núñez-Méndez

The natural tendency for language variation, intensified by Spanish’s territorial growth, has driven sibilant changes and mergers across the Spanish-speaking world. This article aims to present an overview of the most significant processes undergone by sibilant /s/ in various Spanish-speaking areas: devoicing, weakening, aspiration, elision, and voicing. Geographically based phonetic variations, sociolinguistic factors, and Spanish language contact situations are considered in this study. The sibilant merger and its chronological development in modern Spanish, along with geographic expansion, have resulted in multiple contemporary dialectal variations. This historical lack of stability in these sounds has marked modern regional variations. Tracing and framing the sibilants’ geo-linguistic features has received much attention from scholars, resulting in sibilants being one of the most studied variables in Spanish phonetics. In this article, we provide a concise approach that offers the reader an updated sociolinguistic view of the modern cross-dialectal realizations of /s/. It is essential to study sibilant development to describe Spanish dialects, the differences between Transatlantic and Castilian varieties, and the speech features found in Spanish speaking communities in the Americas. Examining sibilance from different approaches with a representative variety of Spanish dialects as examples advances the importance of sociolinguistic phenomena to index language changes.

Georgios Neokleous, Anna Krulatz, Y. Xu

After decades of persistent dominance of monolingual approaches in language teaching, we are now witnessing a shift to pluralist pedagogical practices that recognize learners’ mother tongues (MTs) as a valuable resource. This paper examines data from 44 questionnaire respondents and 4 interviewees to investigate teacher perspectives on using learners’ MTs in the classroom and the extent to which teacher education shaped their beliefs. The results suggest that while most of the participants stressed the importance of maximizing target language (TL) use, some of them also recognized the value of employing MTs for specific purposes, such as anchoring new learning, providing grammar explanations and task instructions, decreasing student and teacher anxiety, sustaining motivation, and supporting learner identity. Most participants agreed that their teacher education program exerted some influence on their beliefs and practices, but their personal experiences as learners and teachers were also named as influential sources. The most notable change in views related to an increased use of the TL, which contradicts recent findings relative to the value of using learners’ existing resources. The paper concludes by stressing the need to examine the curricula and objectives of teacher education programs in the light of the current research on multilingualism in education.

Mathieu De Coster, Dimitar Shterionov, Mieke Van Herreweghe et al.

Automatic translation from signed to spoken languages is an interdisciplinary research domain, lying on the intersection of computer vision, machine translation and linguistics. Nevertheless, research in this domain is performed mostly by computer scientists in isolation. As the domain is becoming increasingly popular - the majority of scientific papers on the topic of sign language translation have been published in the past three years - we provide an overview of the state of the art as well as some required background in the different related disciplines. We give a high-level introduction to sign language linguistics and machine translation to illustrate the requirements of automatic sign language translation. We present a systematic literature review to illustrate the state of the art in the domain and then, harking back to the requirements, lay out several challenges for future research. We find that significant advances have been made on the shoulders of spoken language machine translation research. However, current approaches are often not linguistically motivated or are not adapted to the different input modality of sign languages. We explore challenges related to the representation of sign language data, the collection of datasets, the need for interdisciplinary research and requirements for moving beyond research, towards applications. Based on our findings, we advocate for interdisciplinary research and to base future research on linguistic analysis of sign languages. Furthermore, the inclusion of deaf and hearing end users of sign language translation applications in use case identification, data collection and evaluation is of the utmost importance in the creation of useful sign language translation models. We recommend iterative, human-in-the-loop, design and development of sign language translation models.

Jonathan Morton

The main texts under consideration in this article are two French-language Alexander romances written in the second half of the twelfth century, discussed in relation to the Latin historical, romance, and naturalist traditions that form the backbone of the medieval tradition of Alexander the Great in medieval Europe, and in particular in relation to the literary tradition that starts with Pseudo-Callisthenes’s Greek Romance of Alexander. The aim is to show how Alexander was used not simply as an icon of secular or military power but also as an important figure for understanding the relationship between the imagination, technological invention, and discovery of new knowledge, which necessarily entails questions of prestige and power. Alexander’s ingenuity, which manifests both as verbal trickery and in the invention of new machines, is shown to be fundamental for a certain model of knowledge-acquisition that sees natural truths as hidden and in need of tools to be extracted. This ingenuity is shown, also, to be closely connected to the inventions of writers of romance, and the article suggests the specific importance of the Alexander material in the history of medieval romance literature.

L. Cardelli

Tikhon Pshenitsyn

The hyperedge replacement grammar (HRG) formalism is a natural and well-known generalization of context-free grammars. HRGs inherit a number of properties of context-free grammars, e.g. the pumping lemma. This lemma turns out to be a strong restriction in the hypergraph case: it implies that languages of unbounded connectivity cannot be generated by HRGs. We introduce a formalism that turns out to be more powerful than HRGs while having the same algorithmic complexity (NP-complete). Namely, we introduce hypergraph Lambek grammars; they are based on the hypergraph Lambek calculus, which may be considered as a logic of hypergraph languages. We explain the underlying principles of hypergraph Lambek grammars, establish their basic properties, and show some languages of unbounded connectivity that can be generated by them (e.g. the language of all graphs, the language of all bipartite graphs, the language of all regular graphs).

S. Chiba

B. Pierce, David N. Turner