From Self-Esteem to Symptoms: A Potential Role for Difficulties Accessing Internal States and Body-Checking Behavior in Disordered Eating Patterns [PDF]
Drawing on the Seeking Proxies for Internal States (SPIS) model and the concept of Difficulties in Accessing Internal States (DAIS), the present study examined the statistical associations among self-esteem, DAIS, body-checking, and disordered eating ...
Diana Arbich, Daniela Kaplan, Reuven Dar
doaj +2 more sources
Checking sequences for distributed test architectures [PDF]
Controllability and observability problems may manifest themselves during the application of a checking sequence in a test architecture where there are multiple remote testers.
Hierons, RM, Ural, H
core +6 more sources
Check Your Chems International. Information, Drug Checking and Sexual Advice.
{"references": ["Advisory Council on the Misuse of Drugs. (2010). Consideration of the Cathinones. In Advisory Council on the Misuse of Drugs. https://www.gov.uk/government/publications/acmd-report-on-the-consideration-of-the-cathinones", "Ann Fordham. (2022, December 22). \"Drug-free world\" no more!
Garo, Jordi +2 more
openaire +1 more source
Checking The Hydraulic Efficiency and Improving Safety of the Internal Water Supply
Water management systems in industrial facilities, industrial zones, hospitals and other internal water systems relatively frequently fail to meet the intended purpose for which they were built when an extraordinary event occurs.
Sarka Krocova, Karla Barcova
doaj +1 more source
Checking sequence construction using adaptive and preset distinguishing sequences [PDF]
Methods for testing from finite state machine-based specifications often require the existence of a preset distinguishing sequence for constructing checking sequences.
Husnu Yenigun +11 more
core +1 more source
Symmetry Reduced Model Checking for B [PDF]
Symmetry reduction is a technique that can help alleviate the problem of state space explosion in model checking. The idea is to verify only a subset of states from each class (orbit) of symmetric states.
Edd Turner +7 more
core +2 more sources
From Movement to Institution: The "Global Fact" Summit as a Field-Configuring Event
The last decade has seen the rise of a self-described worldwide "movement" of fact-checking groups which specialize in debunking false political claims and other forms of misinformation. This very heterogeneous movement now spans nearly 300 fact-checking
Lucas Graves, Laurens Lauer
doaj +1 more source
On-Line Instruction-checking in Pipelined Microprocessors [PDF]
Microprocessors performances have increased by more than five orders of magnitude in the last three decades. As technology scales down, these components become inherently unreliable posing major design and test challenges.
Di Natale, Giorgio +7 more
core +1 more source
Symbolic Model Checking of Dual Transition Petri Nets
This paper describes the formal verification of the recently introduced Dual Transition Petri Net (DTPN) models [12], using model checking techniques.
Varea, Mauricio +4 more
core +2 more sources
Satisfaction and needs of pharmacists in prescription-checking training: a cross-sectional survey
Objective Prescription checking is becoming increasingly prevalent in medical institutions. However, the prescription-checking ability of pharmacists requires improvement.
Wei Cheng +6 more
doaj +1 more source

