Results 141 to 150 of about 699 (280)

Design of safety critical systems by refinement

An increasingly large number of safety-critical embedded systems rely on software to prevent and mitigate hazards occurring due to design errors and unexpected interactions of the system with its users and the environment.
Alekseyev A, Mokhov A, Sokolov D, Iliasov A   +3 more
core  

Cooperative learning strategies to raise attainment in mathematics with pupils aged 11–16 years: A systematic literature review

British Educational Research Journal, EarlyView.
Abstract Cooperative learning is a widely adopted teaching method to improve academic achievement. This review synthesises existing research on the use of cooperative learning within a school setting for pupils aged 11–16 years. Such a review has not been undertaken to date and will present an evidence base for educators considering implementation ...
Patricia Hampson, Zhe. Li, Allen Thurston   +2 more
wiley   +1 more source

Opportunities for learning amidst concerns of misuse: Secondary teachers' uses and perceptions of artificial intelligence

British Educational Research Journal, EarlyView.
Abstract Artificial intelligence (AI) has a growing influence on planning, teaching and assessment practices in education. In New Zealand, the Ministry of Education (2024) has acknowledged AI's expanding role in schools; nevertheless, limited data exist on teachers' practices and perspectives regarding its implementation.
Mohammed Tashmeer, Maree J. Davies, Jason M. Stephens   +2 more
wiley   +1 more source

GlyLES: Grammar-based Parsing of Glycans from IUPAC-condensed to SMILES. [PDF]

J Cheminform, 2023
Joeres R, Bojar D, Kalinina OV.
europepmc   +1 more source

A Perspective on Sustainable Computational Chemistry Software Development and Integration. [PDF]

J Chem Theory Comput, 2023
Di Felice R, Mayes ML, Richard RM, Williams-Young DB, Chan GK, de Jong WA, Govind N, Head-Gordon M, Hermes MR, Kowalski K, Li X, Lischka H, Mueller KT, Mutlu E, Niklasson AMN, Pederson MR, Peng B, Shepard R, Valeev EF, van Schilfgaarde M, Vlaisavljevich B, Windus TL, Xantheas SS, Zhang X, Zimmerman PM.   +24 more
europepmc   +1 more source

Flight of the dragons: a global review of migration in Odonata

Biological Reviews, EarlyView.
ABSTRACT Insects are the most abundant and ecologically important animal migrants. Yet, we know relatively little about the patterns and processes underlying insect migration. Dragonflies (Anisoptera) and damselflies (Zygoptera) comprise the ancient insect order Odonata, whose ancestors were the first organisms to fly on Earth.
Johanna S.U. Hedlund, Myles Menz, Jason W. Chapman, Alexander Hayward   +3 more
wiley   +1 more source

A Python-based programming language for high-performance computational genomics. [PDF]

Nat Biotechnol, 2021
Shajii A, Numanagić I, Leighton AT, Greenyer H, Amarasinghe S, Berger B.   +5 more
europepmc   +1 more source

The evidence base for ranger patrol effectiveness in conservation and how to improve it

Biological Reviews, EarlyView.
ABSTRACT Ranger patrols are a cornerstone of wildlife protection efforts around the world and occur across all ecological governance systems. Evidence that patrols reduce threats to wildlife and enable their recovery has not been systematically examined previously.
Trina Rytwinski, Robert S. A. Pickles, Matthew J. Muir, Steven J. Cooke, Joseph R. Bennett, Lisa A. Kelly, Adrienne Smith, Cynthia Cadet, Dwi N. Adhiasto, Inés Arroyo Quiroz, Mark D. Booton, Daphne P. Carlson, Drew T. Cronin, Anthony Dancer, Meredith L. Gore, Jennifer R. B. Miller, Stephen F. Pires, Amy Pokempner, James Slade, Andrew M. Lemieux   +19 more
wiley   +1 more source

Multi-Hardware Benchmarking of Open-Source Large Language Models with Retrieval-Augmented Generation for Mitsubishi FX-Series PLC Instruction List Code Generation. [PDF]

Sensors (Basel)
Yeh MF, Luo CC, Lu CL.
europepmc   +1 more source

Trade‐offs in avian parental care: a review of theory and meta‐analysis of brood size manipulations

Biological Reviews, EarlyView.
ABSTRACT The selective forces shaping parental care have been studied for over 50 years. While theoretical and experimental work has yielded qualitative progress, the large body of empirical work testing predictions about parental investment based on life‐history trade‐offs has yet to be synthesized.
Rebekah A. McKinnon, Malgorzata Lagisz, Sheeraja Sridharan, David F. Westneat, Kimberley J. Mathot   +4 more
wiley   +1 more source