Results 171 to 180 of about 1,803,872 (361)

The paper puzzle as an active learning tool in the teaching of anatomy: A qualitative study of perceptions in students and near‐peer teachers

Anatomical Sciences Education, EarlyView.
Abstract Active learning strategies enhance medical education by fostering self‐directed learning, communication, and problem‐solving skills. The paper puzzle, a game‐based learning approach, provides an engaging way to reinforce anatomical knowledge and promote collaboration.
Ricardo Tello‐Mendoza, Luis Adrian Alvarez‐Lozada, Santos Guzman‐Lopez, Alejandro Quiroga‐Garza, Yolanda Salinas‐Alvarez, Rodrigo Enrique Elizondo‐Omana, David A. Morton   +6 more
wiley   +1 more source

Polynomials, fragments of temporal logic and the variety DA over traces

, 2007
Manfred Kufleitner
openalex   +1 more source

Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic

, 2021
Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider   +3 more
openalex   +2 more sources

Compositional entailment checking for a fragment of separation logic

Formal methods in system design, 2014
C. Enea, Ondřej Lengál, M. Sighireanu, Tomáš Vojnar   +3 more
semanticscholar   +1 more source

Usage of the term provenance in LIS literature: An Annual Review of Information Science and Technology (ARIST) paper

Journal of the Association for Information Science and Technology, EarlyView.
Abstract Provenance is the story of how something has come to be. In this paper, we provide a systematic literature review to categorize the various notions of provenance in Information Sciences. The goal of this review is to paint a broader picture of the multiple uses of provenance at play and to enhance our understanding of the importance of ...
Rhiannon Bettivia, Yi‐Yun Cheng, Michael R. Gryk   +2 more
wiley   +1 more source

First-order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications

, 2022
Alessandro Artale, Andrea Mazzullo, Ana Ozaki   +2 more
openalex   +2 more sources

Small‐scale fishing community's information needs and access in Bangladesh: An information ecosystem perspective

Journal of the Association for Information Science and Technology, EarlyView.
Abstract Disadvantaged communities often face compounded infrastructural, social, and economic barriers to accessing and utilizing information. This study investigates the information ecosystem of small‐scale fishing communities in climate‐vulnerable regions of Bangladesh, examining their information needs, access practices, and systemic constraints ...
Md Khalid Hossain, Misita Anwar, Gillian Oliver, Viviane Frings‐Hessami, Tanjila Kanij, Rafiul Alam, Gourab Saha, Umme Humayra   +7 more
wiley   +1 more source

Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

, 2008
Dietrich Kuske
openalex   +2 more sources

Generalized Bundled Fragments for First-Order Modal Logic

, 2022
Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang   +3 more
openalex   +2 more sources

Altered Primary Somatosensory Neuron Development in a Pten Heterozygous Model for Autism Spectrum Disorder

Autism Research, EarlyView.
ABSTRACT Autism spectrum disorder (ASD) is a complex neurodevelopmental disorder characterized by deficits in social interactions, repetitive behaviors, and hyper‐ or hyposensitivity to sensory stimuli. The cellular mechanisms underlying the emergence of abnormal sensory sensitivity in ASD are not fully understood.
Alejandra Fernandez, Nick Sarn, Charis Eng, Kevin M. Wright   +3 more
wiley   +1 more source