Results 41 to 50 of about 864,679 (285)
Syntax without Abstract Objects [PDF]
, 2011 In line with the nominalistic denial of the existence of abstract objects, a basic theory of syntax for formal languages is developed and shown to satisfy certain fundamental ...
Kozian, Ralf
core +1 more source
Formalizing Homogeneous Language Embeddings [PDF]
Electronic Notes in Theoretical Computer Science, 2010 The cost of implementing syntactically distinct Domain Specific Languages (DSLs) can be reduced by homogeneously embedding them in a host language in cooperation with its compiler. Current homogeneous embedding approaches either restrict the embedding of multiple DSLs in order to provide safety guarantees, or allow multiple DSLs to be embedded but ...
Tony Clark 0001, Laurence Tratt
openaire +6 more sources
Varieties of Cost Functions. [PDF]
, 2016 Regular cost functions were introduced as a quantitative generalisation of regular languages, retaining many of their equivalent characterisations and decidability properties.
Daviaud, L., Kuperberg, D., Pin, J-E.
core +5 more sources
Graph Grammars, Insertion Lie Algebras, and Quantum Field Theory [PDF]
, 2015 Graph grammars extend the theory of formal languages in order to model distributed parallelism in theoretical computer science. We show here that to certain classes of context-free and context-sensitive graph grammars one can associate a Lie algebra ...
Marcolli, Matilde, Port, Alexander
core +3 more sources
Language ideologies, policies and practices within the multilingual Kenyan context
Journal of Linguistics, Literary and Communication Studies, 2023 Kenya is linguistically diverse with approximately 66 native and 8 non-native languages; out of which 33 are developing, 15 are vigorous, 2 are in trouble and 4 dying.
David Barasa
doaj +1 more source
Model‐based validation of diagnostic software with application in automotive systems
IET Cyber-systems and Robotics, 2021 Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj +1 more source
Towards Nominal Formal Languages [PDF]
, 2011 We introduce formal languages over infinite alphabets where words may contain binders. We define the notions of nominal language, nominal monoid, and nominal regular expressions.
Kurz, Alexander +2 more
core +2 more sources
Molecular Oncology, EarlyView.Pre‐analytical handling critically determines liquid biopsy performance. This study defines practical best‐practice conditions for cell‐free DNA (cfDNA) and extracellular vesicle–derived DNA (evDNA), showing how processing time, storage conditions, tube type, and plasma input volume affect DNA integrity and mutation detection.
Jonas Dohmen +11 more
wiley +1 more source
Linguistic Models at the Crossroads of Agents, Learning and Formal Languages
Advances in Distributed Computing and Artificial Intelligence Journal, 2014 This paper aims at reviewing the most relevant linguistic applications developed in the intersection between three different fields: machine learning, formal language theory and agent technologies.
Leonor BECERRA-BONACHE +1 more
doaj +1 more source
Flexible RNA design under structure and sequence constraints using formal languages [PDF]
, 2013 The problem of RNA secondary structure design (also called inverse folding) is the following: given a target secondary structure, one aims to create a sequence that folds into, or is compatible with, a given structure.
Denise, Alain +5 more
core +5 more sources