Results 11 to 20 of about 1,997,974 (296)
Formal Choreographic Languages [PDF]
, 2022 We introduce formal choreography languages as a meta-model to study message-passing systems. This allows us to compare and generalise standard constructions and properties from the literature. In particular, we consider notions such as global view, local view, and projections from the former to the latter.
Barbanera, F, Lanese, I, Tuosto, E
openaire +6 more sources
Valuing All Languages in Europe [PDF]
, 2007 The VALEUR project (2004-2007) took as its focus the 'additional' languages of Europe. These are defined as all languages in use in contexts where they are not 'national', 'official', or 'dominant' languages.
McPake, Joanna +7 more
core +4 more sources
Basic Psychological Need Satisfaction and Students’ Well-being: The Mediating Role of Subjective Vitality [PDF]
Iranian Rehabilitation Journal, 2023 Objectives: The self-determination theory (SDT) posits that basic psychological needs (BPNs) are indispensable and vital nutrients for well-being. The present research was done to apply SDT to understand students’ well-being, which proposes that the ...
Mohammad Saleem +2 more
doaj
Functional Automata - Formal Languages for Computer Science Students [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 An introductory formal languages course exposes advanced undergraduate and early graduate students to automata theory, grammars, constructive proofs, computability, and decidability.
Marco T. Morazán, Rosario Antunez
doaj +1 more source
Internationalisation and modern languages in Scottish Further and Higher Education [PDF]
, 2009 This scoping study investigated the impact of internationalisation strategies on modern language provision in Scottish further and higher education and was commissioned by the Subject Centre for Languages, Linguistics and Area Studies. It follows on from
Doughty, H. +3 more
core +3 more sources
Big Picture on Privacy Enhancing Technologies in e-Health: A Holistic Personal Privacy Workflow
Information, 2020 The collection and processing of personal data offers great opportunities for technological advances, but the accumulation of vast amounts of personal data also increases the risk of misuse for malicious intentions, especially in health care.
Stefan Becher +3 more
doaj +1 more source
Finite Automata with Generalized Acceptance Criteria [PDF]
Discrete Mathematics & Theoretical Computer Science, 2001 We examine the power of nondeterministic finite automata with acceptance of an input word defined by a leaf language, i.e., a condition on the sequence of leaves in the automaton's computation tree.
Timo Peichl, Heribert Vollmer
doaj +1 more source
New decidable upper bound of the second level in the Straubing-Therien concatenation hierarchy of star-free languages [PDF]
Discrete Mathematics & Theoretical Computer Science, 2010 special issue dedicated to the second edition of the conference AutoMathA: from Mathematics to ...
Jorge Almeida, Ondrej Klima
doaj +1 more source
Formalization of the DE2 Language [PDF]
, 2005 We formalized the DE2 hierarchical, occurrence-oriented finite state machine (FSM) language, and have developed a proof theory allowing the mechanical verification of FSM descriptions. Using the ACL2 functional logic, we have defined a predicate for detecting the well-formedness of DE2 expressions.
Warren A. Hunt Jr., Erik Reeber
openaire +2 more sources
On the expressiveness of spider diagrams and commutative star-free regular languages [PDF]
, 2013 Spider diagrams provide a visual logic to express relations between sets and their elements, extending the expressiveness of Venn diagrams. Sound and complete inference systems for spider diagrams have been developed and it is known that they are ...
Taylor, John +3 more
core +1 more source