Results 41 to 50 of about 28,249 (225)
Slot Games for Detecting Timing Leaks of Programs
, 2013 In this paper we describe a method for verifying secure information flow of programs, where apart from direct and indirect flows a secret information can be leaked through covert timing channels. That is, no two computations of a program that differ only
Dimovski, Aleksandar S.
core +2 more sources
Scaffolding in Narrative Learning: Appraisal Analysis in Teachers' Talk [PDF]
, 2020 Engagement is one of appraisal dimensions introduced by Martin and White (2005) that is used to analyze the stances which a teacher takes, both in relation to the students and the visual-verbal components in texts and the way of the teacher align or dis ...
Cahyono, S. P. (Setyo) +1 more
core
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
Autism Research, EarlyView.ABSTRACT Autistic individuals exhibit altered perceptual and visuomotor behaviors, potentially due to reduced cortical specialization. The current study focuses on handedness, a robust marker of cerebral specialization, which is less right‐biased in autism.
Emily Fewster +2 more
wiley +1 more source
On the connections between PCTL and Dynamic Programming
, 2009 Probabilistic Computation Tree Logic (PCTL) is a well-known modal logic which has become a standard for expressing temporal properties of finite-state Markov chains in the context of automated model checking.
Chatterjee, Debasish +3 more
core +1 more source
Multilevel analysis of ethnic clustering across local schools: Exploring group dynamics
British Educational Research Journal, EarlyView.Abstract This study examines ethnic clustering patterns across English secondary schools from 2010 to 2018 using National Pupil Database data and multilevel modelling. Despite concerns about increased segregation following educational reforms, findings reveal a general decline in ethnic concentration across all groups during this period.
Yiyang Gao
wiley +1 more source
Biological Reviews, EarlyView.ABSTRACT Oropharyngeal food processing exhibits a remarkable diversity among vertebrates, reflecting the evolution of specialised ‘processing centres’ associated with the mandibular, hyoid, and branchial arches. Although studies have detailed various food‐processing strategies and mechanisms across vertebrates, a coherent and comprehensive terminology ...
Daniel Schwarz +6 more
wiley +1 more source
Fast Cut-Elimination using Proof Terms: An Empirical Study
, 2018 Urban and Bierman introduced a calculus of proof terms for the sequent calculus LK with a strongly normalizing reduction relation. We extend this calculus to simply-typed higher-order logic with inferences for induction and equality, albeit without ...
Ebner, Gabriel
core +2 more sources
Grooved Surface of the Obturator Internus Muscle With Two Distinct Adjacent Parts
Clinical Anatomy, EarlyView.ABSTRACT The specific anatomical features of the obturator internus, particularly those of its medial surface, remain insufficiently characterized. This study investigated the morphology of the obturator internus muscle by focusing on the shape of its medial surface and potential age‐related changes.
Satoru Muro +4 more
wiley +1 more source
Coordination in Tree Adjoining Grammars: Formalization and Implementation
, 1996 In this paper we show that an account for coordination can be constructed using the derivation structures in a lexicalized Tree Adjoining Grammar (LTAG).
Joshi, Aravind, Sarkar, Anoop
core +1 more source