Results 211 to 220 of about 100,374 (308)

A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus [PDF]

, 2017
Thomas Hildebrandt, Christian Johansen, Håkon Endresen Normann   +2 more
openalex   +1 more source

Pharmacogenomics in the UK National Health Service: Progress towards implementation

British Journal of Clinical Pharmacology, EarlyView.
Over the past decade there has been considerable and growing enthusiasm about the promise of using genomics to inform healthcare. In particular, using genetic data to inform prescribing practice has emerged as a compelling policy priority for health systems around the world, not least in the NHS.
John H. McDermott, Maria Tsakiroglou, William G. Newman, Munir Pirmohamed   +3 more
wiley   +1 more source

Intuitive BIM-aided robotic navigation and assets localization with semantic user interfaces. [PDF]

Front Robot AI
Braga RG, Tahir MO, Karimi S, Dah-Achinanon U, Iordanova I, St-Onge D.   +5 more
europepmc   +1 more source

Reasoning in Abella about Structural Operational Semantics Specifications

, 2008
Andrew Gacek, Dale Miller, Gopalan Nadathur   +2 more
openalex   +2 more sources

‘Let's talk about the weather’: The activist curriculum and global climate change education

British Educational Research Journal, EarlyView.
Abstract Activist movements have garnered significant global attention on a range of sustainability issues, often involving collectives of citizens coming together. Invoked is the idea of citizens informed to act, emerging not from a common‐sense understanding of everyday life, but rather from a deep political understanding of the world—one that is ...
Richard Pountney
wiley   +1 more source

Application of domain-specific modeling in kinetography and bipedal humanoid robot control. [PDF]

PeerJ Comput Sci
Djukić V, Oros D, Penčić M, Lu Z.
europepmc   +1 more source

Structural Operational Semantics with First-Order Logic

, 2009
Muck van Weerdenburg, Michel Reniers
openalex   +1 more source

Rigour in interpretive qualitative research in education: Ideas to think with

British Educational Research Journal, EarlyView.
Abstract There has been a proliferation of qualitative approaches to researching education. While this has resulted in the construction of a rich tapestry of knowledge about education, it has also resulted in disparate research ideas, processes and practices, and created tensions relating to what constitutes rigorous qualitative research in education ...
Anthony J. Maher
wiley   +1 more source

GBsim: A Robust GCN-BERT Approach for Cross-Architecture Binary Code Similarity Analysis. [PDF]

Entropy (Basel)
Du J, Wei Q, Wang Y, Bai X.
europepmc   +1 more source

Understanding the challenge of developing pedagogical reasoning in initial teacher education: Theorising as practice‐focused research

British Educational Research Journal, EarlyView.
Abstract In this paper, we theorise our practice as teacher educators to understand a practice issue: the challenge our students had in developing pedagogical reasoning. The article discusses the findings of the theorising process to explore how pedagogical reasoning is developed and why it is challenging.
David Morrison‐Love, Fiona Patrick
wiley   +1 more source