Jeanetta Snook of Trout River.
Jeanetta Snook, the woman who nearly perished in the Trout River Gulch in ...
Payne, Charlie (1957 - )
core +1 more source
Primed and cued: long-term acoustic telemetry links interannual and seasonal variations in freshwater flows to the spawning migrations of Common Snook in the Florida Everglades. [PDF]
Mov Ecol, 2022 Massie JA +9 more
europepmc +1 more source
Tools for system validation with B abstract machines
, 2005 In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an animation and model checking tool for the B method.
Snook, Colin +2 more
core
Obesity hormones and itaconate mediating inflammation in human colon cancer cells - Another lead to early-onset colon cancer? [PDF]
Heliyon, 2023 Scheurlen KM +9 more
europepmc +1 more source
Development of a System Controlling Cars on a Bridge using Machine Inclusion
This dataset is associated with the following paper: Thai Son Hoang, Dana Dghaym, Colin Snook, and Michael Butler. A Composition Mechanism for Refinement-Based Methods.
Hoang, Thai Son +3 more
core +1 more source
Benefits and harms of breast cancer screening revisited: a large, retrospective cross-sectional study quantifying treatment intensity in women with screen-detected versus non-screen-detected cancer in Australia and New Zealand. [PDF]
BMJ Oncol, 2023 Dempsey K +5 more
europepmc +1 more source
Anti-inflammatory mechanisms in cancer research: Characterization of a distinct M2-like macrophage model derived from the THP-1 cell line. [PDF]
Cancer Med, 2023 Scheurlen KM +11 more
europepmc +1 more source
, 2010 The Rodin platform for Event-B formal modelling is based on a bespoke model repository. While this approach has some advantages it also means that the platform does not benefit from the host of emerging technologies and supporting packages that are ...
Snook, Colin +2 more
core +1 more source
Avoiding artifacts in the determination of per- and polyfluoroalkyl substance sorbent-water distribution. [PDF]
ACS ES T Water, 2023 Snook J, Becanova J, Vojta S, Lohmann R.
europepmc +1 more source
Dataset for: Domain-Specific Scenarios for Refinement-based Methods
Scenarios and related models for the HL3 case study described in: Snook, C., Hoang, T. S., Dghaym, D., Salehi Fathabadi, A., & Butler, M. (2020). Domain-Specific Scenarios for Refinement-based Methods. Journal of Systems Architecture.
Salehi Fathabadi, Asieh +4 more
core +1 more source