Results 71 to 80 of about 32,688 (228)

Model Checking TLA+ Specifications [PDF]

, 1999
TLA+ is a specification language for concurrent and reactive systems that combines the temporal logic TLA with full first-order logic and ZF set theory. TLC is a new model checker for debugging a TLA+ specification by checking invariance properties of a finite-state model of the specification.
Yuan Yu, Panagiotis Manolios, Leslie Lamport   +2 more
openaire   +2 more sources

Experimental peptides, GLP‐1s and polypharmacy: Future directions for image‐ and performance‐enhancing drug harm reduction

Addiction, EarlyView.
Luke A. Turnock, Lambros Lazuras
wiley   +1 more source

Understanding the Reproductive Life Planning Experiences of People With Disabilities in Ontario, Canada: A Qualitative Exploration

Perspectives on Sexual and Reproductive Health, EarlyView.
ABSTRACT Introduction Reproductive life planning can be a valuable component of reproductive health promotion. However, little is known about attitudes, desires, and intentions regarding pregnancy among people with disabilities. This exploratory qualitative study aimed to understand the reproductive life planning experiences of women and gender‐diverse
Momina Khan, Hilary K. Brown, Yona Lunsky, Lesley A. Tarasoff   +3 more
wiley   +1 more source

Rapid detection of in vitro antituberculous drug resistance among smear-positive respiratory samples using microcolony detection-based direct drug susceptibility testing method

International Journal of Mycobacteriology, 2017
Background: With the rise in multidrug-resistant tuberculosis, there is a search for newer techniques that will rapidly detect drug-resistant Mycobacterium tuberculosis.
Irim Iftikhar, Seema Irfan, Joveria Farooqi, Zahida Azizullah, Rumina Hasan   +4 more
doaj   +1 more source

Evaluating the Dust Storm Probability in Isidis‐Elysium Planitia, a Tentative Landing Area of China's First Mars Mission (Tianwen‐1)

Earth and Space Science, 2020
China's first Mars exploration mission (Tianwen‐1), launched on July 23, 2020 with the goal of “orbiting, landing, and roving,” and its tentative landing areas (TLAs) are Chryse Planitia (TLA 1) and Isidis‐Elysium Planitia (TLA 2).
Peiwen Yao, Chenfan Li, Biao Wang, Bo Li, Jiang Zhang, Zongcheng Ling, Shengbo Chen   +6 more
doaj   +1 more source

Identification of a novel high‐prevalence red blood cell antigen on junctional adhesion molecule‐A defines a new blood group system

Vox Sanguinis, EarlyView.
Abstract Background and Objectives Availability of new technologies has accelerated the pace of blood group discovery, with nine of 48 known systems being discovered in the past 5 years alone, and yet uncharacterized antigens remain. This study involved investigations of samples from a female patient presenting with a moderate strength pan‐reactive ...
Tosti J. Mankelow, Louise A. Tilley, Vanja Karamatic Crew, Benjamin Jones, Marina Izak, Liora Muncher, Vered Yahalom, Nicole M. Thornton   +7 more
wiley   +1 more source

Not Necessarily Farm‐Wives: The Working Women of Rural Aotearoa/New Zealand

New Zealand Geographer, Volume 82, Issue 3, December 2026.
ABSTRACT There's a perception farm‐resident women are farmers or farmwives (e.g., cooks, record‐keepers, errand‐runners). Yet most farm‐resident women record a non‐farm occupation in their census returns. This article investigates this anomaly. It looks at the changing status of farm and other rural women, the diversity of non‐farming careers they ...
Ann Pomeroy
wiley   +1 more source

Koeficijent izgrađenosti tla industrijskih lokacija u gradu

Prostor, 1993
Način određivanja koeficijenta izgrađenosti tla industrijskih lokacija u gradu uvjetovan je prostornim i ekonomskim mogućnostima te stupnjem razvoja društva.
Srečko Pegan
doaj  

Early outdoor play predicts trajectories of child mental health in a population‐based cohort

Journal of Child Psychology and Psychiatry, Volume 67, Issue 11, Page 1820-1830, November 2026.
Background Outdoor play may offer developmental opportunities that support good mental health. Cross‐sectional data indicate that more outdoor play is associated with better mental health, particularly internalising problems (e.g. anxiety and depression), but longitudinal research is lacking.
Helen F. Dodd, Kirsty Cordwell, Kathryn Hesketh, Avril Johnstone, Alejandro de la Torre‐Luque, Paul McCrorie   +5 more
wiley   +1 more source

Martian Dust Storm Spatial‐Temporal Analysis of Tentative Landing Areas for China's Tianwen‐3 Mars Mission

Earth and Space Science
China's first Mars sampling return mission (Tianwen‐3) is designed to launch and retrieve samples around 2030. Three tentative landing areas (TLAs) (Amazonis, Chryse and Utopia Planitiae, i.e., TLA‐A, TLA‐C and TLA‐U) are selected based on elevation
Yuan Tian, Bo Li, Zhaojin Rong, Shaojie Qu, Shengbo Chen   +4 more
doaj   +1 more source