Results 191 to 200 of about 48,609 (342)

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

‘The best year’/‘I struggled with everything’: Widening participation experiences of pandemic online learning

British Educational Research Journal, EarlyView.
Abstract Improving retention and graduate outcomes for students from a widening participation (WP) background is key to achieving more equitable outcomes. However, evidence suggests WP students experienced different challenges than their peers during the COVID‐19 pandemic.
Wilhelmiina Toivo, Emily Nordmann, Jacqui Hutchison, Alison Browitt, Jill R. D. MacKay   +4 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

A note on the languages recognized by commutative asynchronous automata (Algebraic Systems, Formal Languages and Computations)

, 2000
Balázs Imreh, Masami Itō, Antal Pukler
openalex   +1 more source

Formal Validation for Natural Language Programming using Hierarchical Finite State Automata

, 2021
Yue Zhan, Michael S. Hsiao
openalex   +1 more source

A Guide to Bayesian Optimization in Bioprocess Engineering

Biotechnology and Bioengineering, EarlyView.
ABSTRACT Bayesian optimization has become widely popular across various experimental sciences due to its favorable attributes: it can handle noisy data, perform well with relatively small data sets, and provide adaptive suggestions for sequential experimentation.
Maximilian Siska, Emma Pajak, Katrin Rosenthal, Antonio del Rio Chanona, Eric von Lieres, Laura M. Helleckes   +5 more
wiley   +1 more source

Wireless Routing Using Automata Theory and Formal Language

Hassan KH Mohamed
openalex   +3 more sources

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

The As and Bs of titi monkey linguistics: why emotional communication is not the enemy

Biological Reviews, EarlyView.
ABSTRACT The alarm call sequences of titi monkeys (genera Plecturocebus, Callicebus and Cheracebus) have sparked important debates over whether they exhibit parallels with human language. Some researchers consider these sequences to involve both semantics and syntax, while others argue that the sequences convey semantic information without syntax.
Mélissa Berthet, Geoffrey Mesbahi, Maël Leroux   +2 more
wiley   +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