Results 171 to 180 of about 138,161 (315)

Merging Process Algebra and Action-based Computation Tree Logic [PDF]

, 2012
Zhaohui Zhu, Yan Zhang, Jinjin Zhang
openalex   +1 more source

T. rex cognition was T. rex‐like—A critical outlook on diverging views of the neurocognitive evolution in dinosaurs

The Anatomical Record, EarlyView.
Abstract A recent debate has emerged between Caspar et al. (2024) and Herculano‐Houzel (2023) on inferring extinct dinosaur cognition by estimating brain neuron counts. While thought‐provoking, the discussion largely overlooks the function of cognition, as well as partly neglects the difficulties involved in estimating neuron numbers, which according ...
Thomas Rejsenhus Jensen, Ivo Jacobs, Kristina Kverková, Lona Lalić, Alexandra Polonyiová, Patrik Stehlík, Stephan A. Reber, Mathias Osvath   +7 more
wiley   +1 more source

Softlock Detection for Super Metroid with Computation Tree Logic [PDF]

, 2021
Ross Mawhorter, Adam M. Smith
openalex   +1 more source

Automated Feature Extraction and Classification of Submerged Cultural Heritage Assets in the Puck Lagoon via Multisensor Remote Sensing

Archaeological Prospection, EarlyView.
ABSTRACT This study presents a strong framework for the detection and classification of Submerged Cultural Heritage Assets (SCHA) in shallow marine environments using the integration of multibeam echosounder and airborne LiDAR bathymetry with object‐based image analysis and fuzzy logic–based classification.
Łukasz Janowski, Andrzej Pydyn, Mateusz Popek, Anna M. Kotarba‐Morley, Paweł Tysiąc   +4 more
wiley   +1 more source

Verifying Computation Tree Logic of Knowledge via Knowledge-Oriented Petri Nets and Ordered Binary Decision Diagrams

, 2021
Leifeng He, Guanjun Liu
openalex   +2 more sources

Production and Formulation of Alcanivorax borkumensis SK2 Cell Powders for Marine Oil Spill Bioremediation

Biotechnology and Applied Biochemistry, EarlyView.
Abstract Oil spills pose severe threats to marine ecosystems and coastal communities. Alcanivorax borkumensis SK2, a marine bacterium with superior hydrocarbon‐degrading capabilities, emerges as a promising agent for bioremediation. This study identified an economical growth substrate for A.
Élisabeth Perreault, Denis Groleau, Patrick Vermette   +2 more
wiley   +1 more source

Parental choice of private tuition: Valuing attention, judging quality and navigating access in England's underregulated supplementary education market

British Educational Research Journal, EarlyView.
Abstract Private supplementary education is burgeoning worldwide, and over 25% of English children have received private tutoring. The neoliberalisation of education and parents' responsibilisation for children's attainment have driven market growth, but not all can afford to participate.
Sarah L. Holloway, Sam Whewall, Helena Pimlott‐Wilson   +2 more
wiley   +1 more source

Interpretable molecular decision-making with DNA-based scalable and memory-efficient tree computation. [PDF]

Nat Commun
Liu J, Tang Q, Han Y, Song J, Wang F, Guo P, Fan C, Tan W, Han D.   +8 more
europepmc   +1 more source

How does dialogic teaching facilitate students' creative thinking? Evidence from a sequential analysis of teacher–student dialogue in primary language classrooms

British Educational Research Journal, EarlyView.
Abstract Dialogic teaching has been shown to be beneficial for students' learning and achievement. However, few studies have investigated how dialogic teaching may foster students' creative thinking in the classroom. This study examined the sequential patterns of classroom dialogue associated with students' creative thinking.
Yang Tao, Deliang Wang, Gaowei Chen
wiley   +1 more source

Performance Evaluation of Software in Large Data Environments Utilizing Time-Managed Computation Tree Logic

Yuan Sun, Md Gapar Md Johar, Jacquline Tham   +2 more
openalex   +1 more source