Formal languages and automata - Open Access .click

Results 181 to 190 of about 2,538 (309)

Contrasting roles of school and public libraries in lower primary pupils' reading

British Educational Research Journal, EarlyView.
Abstract Libraries represent an important institutional component of children's reading socialisation, yet their role is often treated as uniform despite substantial differences between school and public libraries. This study examines how visits to school and public libraries relate to pupils' reading attitudes, practices and self‐assessed reading ...
Kateřina Balcarová, Jiří Balcar
wiley +1 more source

How (not) to Talk to a Plant: An Application of Automata Theory to Plant Communication. [PDF]

Acta Biotheor
Baravalle L.
europepmc +1 more source

Validation of the ABL + DT model: An ecosystemic framework for integrating arts and digital technologies in primary education

British Educational Research Journal, EarlyView.
Abstract Primary education teachers face increasing challenges in engaging diverse learners and fostering creativity, digital competence and other transversal skills, often lacking clear, practical guidance for integrating these skills into their classrooms.
Nella Escala, Montse Guitert, Teresa Romeu +2 more
wiley +1 more source

Towards Nominal Formal Languages

, 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. Moreover, we extend history-dependent automata (HD-automata) by adding stack,
Kurz, Alexander, Suzuki, Tomoyuki, Tuosto, Emilio +2 more
core

Moderators' perceptions of consistency in Key Stage 2 writing moderation across local authorities

British Educational Research Journal, EarlyView.
Abstract This article explores moderators’ perceptions of the consistency of Key Stage 2 (KS2) writing moderation across Local Authorities (LAs) in England, a process central to securing the reliability and fairness of teacher assessment in a high‐stakes accountability system.
Rebecca Clarkson
wiley +1 more source

Task Scheduling of Multiple Humanoid Robot Manipulators by Using Symbolic Control. [PDF]

Biomimetics (Basel)
Özbaltan M +5 more
europepmc +1 more source

Designing the MyoFusion Media: A Serum‐Free Medium Optimized for Bovine Satellite Cell Differentiation

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Cultivated meat production requires efficient differentiation of muscle progenitor cells into myotubes without relying on animal‐derived serum, which poses ethical and scalability challenges. This study aimed to develop a chemically defined, serum‐free medium optimized for bovine satellite cell differentiation.
Aysenaz Tavsanli +3 more
wiley +1 more source

Extract, model, refine: improved modelling of program verification tools through data enrichment. [PDF]

Softw Syst Model
Lathouwers S, Liu Y, Zaytsev V.
europepmc +1 more source

First-Order Theory of Rewriting for Linear Variable-Separated Rewrite Systems: Automation, Formalization, Certification. [PDF]

J Autom Reason, 2023
Middeldorp A, Lochmann A, Mitterwallner F. +2 more
europepmc +1 more source

Groups, languages and automata

group theory, formal languages, finite state automata, decision problems, word problem, automatic groups, hyperbolic ...
Holt DF, Rees S, Rover CE
core

4. education
automata