Results 21 to 30 of about 535,024 (133)
George W. Snook Interview for the Veterans\u27 Voices Project [PDF]
, 2016 George W. Snook was drafted into United States Army Air Corps on October 12, 1942. He served with the 445th Bombardment Group and the 703rd Bombardment Squadron in England.
Snook, George W. +2 more
core +2 more sources
Verification of UML models by translation to UML-B [PDF]
, 2011 UML-B is a 'UML like' notation based on the Event-B formalism which allows models to be progressively detailed through refinements that are proven to be consistent and to satisfy safety invariants using the Rodin platform and its automatic proof tools ...
Snook, Colin +2 more
core +2 more sources
Solid particles focusing, orienting, and de‐focusing in planar Poiseuille flow
AIChE Journal, Volume 72, Issue 10, October 2026.Abstract Three‐dimensional, time‐dependent lattice‐Boltzmann simulations of neutrally buoyant particles in planar Poiseuille flow have been performed. The particles are spherical or cylindrical (the latter with a length over diameter ratios in the range 1/3 to 2) and have volume fraction ranging from virtually zero (one particle) to 0.15. The channel's
J. J. Derksen
wiley +1 more source
Same Genes, Different Wings: Wing Shape Divergence Among Castes in a Social Wasp
Ecology and Evolution, Volume 16, Issue 10, October 2026.We use a social wasp (Vespula maculifrons) as a model to address a general question: how does a single genome produce multiple, functionally distinct wing designs across castes? Our research ultimately identifies genetic effects influencing wing shape within and between castes, and provides insight into the evolution of flight and caste differences in ...
Kayla A. Murray +5 more
wiley +1 more source
Comprehensibility of UML-based Formal Model – A Series of Controlled Experiments
, 2007 This paper summarises two controlled experiments conducted on a model that integrates the use of semi-formal notation, the Unified Modelling Language (UML) and a formal notation, B.
Razali, R +2 more
core +1 more source
Health Expectations, Volume 29, Issue 5, October 2026.ABSTRACT Background Asylum seekers and refugees (ASRs) face significant challenges when accessing emergency and pre‐hospital care following injury. Language barriers, unfamiliarity with service pathways and limited trust in authorities hinder access to emergency services.
Ashrafunnesa Khanom +10 more
wiley +1 more source
Modelling Control Process and Control Mode with Synchronising Orthogonal State Machines
, 2011 In this short paper we describe early work on a case study concerning a power window control unit. We use UML-B state machines to simultaneously model both the cyclic processing schedule and the mode of control behaviour.
Snook, Colin
core +1 more source
Hailstorm Events Over a Maritime Tropical Region: Environmental Influences on Microphysics
Journal of Geophysical Research: Atmospheres, Volume 131, Issue 17, 16 September 2026.Abstract Building on a previous study showing that NetCAPE0C—formulated as CAPE calculated up to the 0° ${}^{\circ}$C isotherm, after subtracting CIN and correcting for water loading—is effective in predicting hail occurrence in maritime tropical (mT) environments, we examined the microphysics to understand why, particularly for ordinary pulse storms ...
Fitria Puspita Sari +1 more
wiley +1 more source