Results 41 to 50 of about 28,508 (159)
On the Relation of Interaction Semantics to Continuations and Defunctionalization [PDF]
, 2014 In game semantics and related approaches to programming language semantics, programs are modelled by interaction dialogues. Such models have recently been used in the design of new compilation methods, e.g.
Schöpp, Ulrich
core +2 more sources
3D‐Printed Shark‐Inspired Soft–Hard Hybrid Underwater Robot With Buoyancy Control and Onboard Vision
Advanced Intelligent Systems, EarlyView.A fully self‐contained shark‐inspired underwater robot is developed using 3D‐printed soft–hard hybrid structures, servo‐driven propulsion, and pump‐based buoyancy control. The platform achieves three‐dimensional locomotion and onboard vision‐based target tracking, offering a reproducible and accessible framework for biomimetic underwater robot research.
Shotaro Saito +3 more
wiley +1 more source
Monoid automata for displacement context-free languages
, 2014 In 2007 Kambites presented an algebraic interpretation of Chomsky-Schutzenberger theorem for context-free languages. We give an interpretation of the corresponding theorem for the class of displacement context-free languages which are equivalent to well ...
A. Sorokin +9 more
core +1 more source
Canonical Proof nets for Classical Logic [PDF]
, 2012 Proof nets provide abstract counterparts to sequent proofs modulo rule permutations; the idea being that if two proofs have the same underlying proof-net, they are in essence the same proof.
McKinley, Richard
core +2 more sources
Australian Journal of Social Issues, EarlyView.ABSTRACT Robust measurement of disadvantage is essential to identifying and addressing inequities in children's development. We tested how a multidimensional framework of child disadvantage performed relative to a traditional socioeconomic position (SEP) approach to predict developmental outcomes.
Wei Hong +7 more
wiley +1 more source
Geometry of language and linguistic circuitry [PDF]
, 2003 We illustrate the potential for geometry of language and linguistic circuitry under the rendering of the syntactic structures of Lambek categorial grammar as proof nets.
Morrill, Glyn
core +1 more source
Animal Models and Experimental Medicine, EarlyView.This narrative review discusses animal models of exosome‐based myocardial infarction treatments. Emerging techniques aim to improve exosome stability, targeting, and bioavailability for MI treatment as drug delivery vehicles and regenerative mediators that promote myocardial regeneration. Abstract Exosomes have emerged as promising therapeutic carriers,
Chayanisa Phutiyothin +2 more
wiley +1 more source
Descriptive, comparative, and functional anatomy of the facial musculature in cattle (Bos taurus)
The Anatomical Record, EarlyView.Abstract Facial expressions can provide insight into animal emotions and pain, but no standardized system for assessing the entire facial display in cattle (Bos taurus Linnaeus) exists. The Facial Action Coding System (FACS), originally developed for humans, identifies distinct facial movements based on mimetic muscles.
Maja Söderlind +6 more
wiley +1 more source
The Anatomical Record, EarlyView.Abstract Arhinolemur scalabrinii† Ameghino, 1898 was originally described as a strepsirrhine primate (Mammalia) but has been recognized as an anostomid fish since 2012. It remains the only extinct anostomid species known from complete cranial material.
Karen M. Panzeri +8 more
wiley +1 more source
British Educational Research Journal, EarlyView.Abstract This paper analyses differences in academic achievement associated with attendance at publicly funded private schools and public schools across 11 European countries. Using eight waves of PISA data (2000–2022), we apply OLS, IPW and IPWRA estimators to account for observed heterogeneity and mitigate selection bias.
Priya Maurya +2 more
wiley +1 more source