Results 131 to 140 of about 45,230 (224)

An Introduction to Formal Languages and Automata [PDF]

The Computer Journal, 1992
openaire   +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

A novel model for cultural-based classification of liberal arts using deep reinforcement learning. [PDF]

Sci Rep
Zhao T.
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

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

Biomimetics (Basel)
Özbaltan M, Özbaltan N, Bıçakcı Yeşilkaya HS, Demir M, Şeker C, Yıldırım M.   +5 more
europepmc   +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

Jakub Bijak (ed.): Towards Bayesian Model-Based Demography: Agency, Complexity and Uncertainty in Migration Studies. [PDF]

Eur J Popul, 2022
Fent T.
europepmc   +1 more source

A model-based approach to automation of formal verification of ROS 2-based systems. [PDF]

Front Robot AI
Dust L, Gu R, Mubeen S, Ekström M, Seceleanu C.   +4 more
europepmc   +1 more source

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design. [PDF]

PeerJ Comput Sci
Zhou W, Zhao Y, Zhang Y, Mu L, Wang Y, Yin M.   +5 more
europepmc   +1 more source

ChatBCI, a P300 speller BCI with context-driven word prediction leveraging large language models, from concept to evaluation. [PDF]

Sci Rep
Hong J, Wang W, Najafizadeh L.
europepmc   +1 more source