Search results for "languages"

Geography of Emotions Across the Black Mediterranean: Oral Memories and Dissonant Heritages of Slavery and the Colonial Past

2019

AbstractThis contribution is dedicated to analysing oral memories about the Black Mediterranean through interviews with people from or culturally linked to the Horn of Africa. The aim is to consider how the interviewees make use of archives to voice their feelings about the past and present in Africa and Europe. I introduce the concept of a “geography of emotions” as a set of different perceptions of Europe and its past. The mobilization of these memories in new interpretative perspectives is part of a dissonant heritage which is actively working inside the European borders in order to produce new cultural identities, to reiterate forms of belonging to black diasporic communities, and to in…

MLOG: a strongly typed confluent functional language with logical variables

1994

Poirriez, V., MLOG: a strongly typed confluent functional language with logical variables, Theoretical Computer Science 122 (1994) 201-223. A new programming language called MLOG is introduced. MLOG is a conservative extension of ML with logical variables. To validate our concepts, a compiler named CAML Light FLU0 was implemented. Numerous examples are presented to illustrate the possibilities of MLOG. The pattern matching of ML is kept for X-calculus bindings and an unification primitive is introduced for the logical variables bindings. A suspension mechanism allows cohabitation of pattern-matching and logical variables, Although the evaluation strategy for the application is fixed, the or…

The iconic interface for the PIctorial C language

2003

Iconic environments intend to provide expressive tools to implement, to debug and to execute programs. Moreover its pictorial constructs guide the user to design algorithms in an interactive fashion. Visual interfaces are especially required whenever programs run on an heterogeneous and reconfigurable multiprocessor system oriented to image analysis. Pictorial tools help the user to control the scope of variables, and the distribution of the tasks into the processors. In this paper, the general design, the visual-syntax, and the implementation of the first prototype of an iconic user interface for the PIctorial C Language (PICL) are described. >

Linguistic, geographic and genetic isolation: a collaborative study of Italian populations

2014

Summary - The animal and plant biodiversity of the Italian territory is known to be one of the richest in the Mediterranean basin and Europe as a whole, but does the genetic diversity of extant human populations show a comparable pattern? According to a number of studies, the genetic structure of Italian populations retains the signatures of complex peopling processes which took place from the Paleolithic to modern era. Although the observed patterns highlight a remarkable degree of genetic heterogeneity, they do not, however, take into account an important source of variation. In fact, Italy is home to numerous ethnolinguistic minorities which have yet to be studied systematically. Due to …

Jason Arthur, Violet America: Regional Cosmopolitanism in U.S. Fiction since the Great Depresssion (Iowa City: University of Iowa Press, 2013, $39.95…

2016

Exact results for accepting probabilities of quantum automata

2001

One of the properties of Kondacs-Watrous model of quantum finite automata (QFA) is that the probability of the correct answer for a QFA cannot be amplified arbitrarily. In this paper, we determine the maximum probabilities achieved by QFAs for several languages. In particular, we show that any language that is not recognized by an RFA (reversible finite automaton) can be recognized by a QFA with probability at most 0.7726...

Word assembly through minimal forbidden words

2006

AbstractWe give a linear-time algorithm to reconstruct a finite word w over a finite alphabet A of constant size starting from a finite set of factors of w verifying a suitable hypothesis. We use combinatorics techniques based on the minimal forbidden words, which have been introduced in previous papers. This improves a previous algorithm which worked under the assumption of stronger hypothesis.

Transmediating argumentation : Students composing across written essays and digital videos in higher education

2016

This comparative study examined how university students built an argument in written essays and multimodal digital videos, and how their argumentation transmediated across these two mediums. Data analysis involved 1) analysis of content in both written essays and digital videos; 2) the development of transmediation visualizations to elucidate how ideas were transformed from essays into videos; and 3) multimodal analysis to understand the communicative affordances and constrains for argumentation with each medium. The findings revealed that the most common type of content in both essays and videos was supportive argumentation; however, the videos did not include any counter-argumentation. St…

Local Normal Forms for First-Order Logic with Applications to Games and Automata

1999

Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…

Mathematical logic and quantum finite state automata

2009

AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.