Results 41 to 50 of about 3,989,764 (156)
Learning from safeguarding adult reviews on self-neglect: addressing the challenge of change [PDF]
Purpose – One purpose is to update the core data set of self-neglect safeguarding adult reviews and accompanying thematic analysis. A second purpose is to address the challenge of change, exploring the necessary components beyond an action plan to ensure
Department of Health+4 more
core +1 more source
Distant metastasis is one of the main reasons for the failure of nasopharyngeal carcinoma (NPC) treatment, and descending type of nasopharyngeal carcinoma (type D NPC) is more prone to distant metastasis. Few people have explored the relationship between
Qin Yang+9 more
doaj +1 more source
Structural Analysis: Shape Information via Points-To Computation [PDF]
This paper introduces a new hybrid memory analysis, Structural Analysis, which combines an expressive shape analysis style abstract domain with efficient and simple points-to style transfer functions. Using data from empirical studies on the runtime heap
Marron, Mark
core +1 more source
Provably correct Java implementations of Spi Calculus security protocols specifications [PDF]
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi Calculus and a translation function are formally defined, in order to ...
Abadi+16 more
core +1 more source
Feasibility of predicting firearm type in firearm suicide deaths for better policy evaluation
Background Imprecise firearm-type data limits capacity to evaluate firearm-type-specific policies; a striking proportion of firearm suicides in the National Vital Statistics System (NVSS) do not include information on firearm-type.
Emma L. Gause+2 more
doaj +1 more source
Implementing collection of sets with trie: a stepping stone for performances ? [PDF]
Main operations of the Set Collection Abstract Data Type are insertion, research and deletion. A well known option to implement these operations is to use hashtable.
Bachelard, Simon+2 more
core +1 more source
Update Consistency for Wait-free Concurrent Objects [PDF]
In large scale systems such as the Internet, replicating data is an essential feature in order to provide availability and fault-tolerance. Attiya and Welch proved that using strong consistency criteria such as atomicity is costly as each operation may ...
Jard, Claude+2 more
core +3 more sources
Using Deep Learning for Flexible and Scalable Earthquake Forecasting
Seismology is witnessing explosive growth in the diversity and scale of earthquake catalogs. A key motivation for this community effort is that more data should translate into better earthquake forecasts. Such improvements are yet to be seen.
Kelian Dascher‐Cousineau+3 more
doaj +1 more source
Implementing a One Address CPU in Logisim [PDF]
Most computer users have an incorrect, but useful, cognitive metaphor for computers in which the user says (or types or clicks) something and a mystical, almost intelligent or magical, behavior happens.
Kann, Charles W
core +1 more source
Many studies had established the chronic kidney disease (CKD) prediction models, but most of them were conducted on the general population and not on patients with type 2 diabetes, especially in Asian populations.
Cheng-Chieh Lin+6 more
doaj +1 more source