Results 251 to 260 of about 154,141 (333)

A Secure Multipath Transmission Scheme Based on One-Way Hash Functions in Wireless Sensor Networks

, 2012
Yun-Jeong Lee, Dong Joo Kim, Jun-Ho Park, Dong-Ook Seong, Jaesoo Yoo   +4 more
openalex   +2 more sources

Scaling Invariant Generation Using State Space Embeddings and GPU Streaming

Concurrency and Computation: Practice and Experience, Volume 37, Issue 25-26, 30 November 2025.
ABSTRACT The formal verification of railway control systems can ensure the safety of complex scheme plans through techniques such as induction‐based model checking. While inductive verification performs well in complex settings, it often produces false positives due to its consideration of transitions from unreachable safe states to unsafe states ...
Ben Lloyd‐Roberts, Filippos Pantekis, Phillip James, Liam O'Reilly, Michael Edwards   +4 more
wiley   +1 more source

The chaotic hash function based on spatial expansion construction with controllable parameters

, 2012
Liao Dong, Xiaomin Wang, Jiashu Zhang, Wenfang Zhang   +3 more
openalex   +1 more source

Associations of Graded Chronic Non‐Cancer Pain Severity With Well‐Being and Modifiable Lifestyle Behaviour: Findings From a Danish Population‐Based Cross‐Sectional Survey

European Journal of Pain, Volume 29, Issue 10, November 2025.
ABSTRACT Background The Graded Chronic Pain Scale‐Revised (GCPS‐R) framework enables a standardised measure of disease severity and was incorporated into the national disease surveillance in Denmark in 2023. Novel dose–response associations between GCPS‐R‐systemised disease severity, general health, well‐being, and modifiable lifestyle behaviour were ...
Sophie Sell Hellmann, Henrik Bjarke Vaegter, Gitte Handberg, Pernille Lykke Petersen, Geana Paula Kurita, Per Sjøgren, Lau Caspar Thygesen, Ola Ekholm   +7 more
wiley   +1 more source

A secured accreditation and equivalency certification using Merkle mountain range and transformer based deep learning model for the education ecosystem. [PDF]

Sci Rep
Krishnan S, Rajendran S, Zakariah M.
europepmc   +1 more source

A robust and effective smart-card-based remote user authentication mechanism using hash function. [PDF]

ScientificWorldJournal, 2014
Das AK, Odelu V, Goswami A.
europepmc   +1 more source

pTx‐Pulseq in hybrid sequences: Accessible and advanced hybrid open‐source MRI sequences on Philips scanners

Magnetic Resonance in Medicine, Volume 94, Issue 5, Page 1946-1962, November 2025.
Abstract Purpose To enhance the accessibility of advanced pulse sequences, or parts thereof, through the open‐source Pulseq framework. This work extends the Pulseq framework to Philips MRI systems and incorporates dynamic parallel‐transmit (pTx) capabilities within the constraints of the existing Pulseq format.
Thomas H. M. Roos, Edwin Versteeg, Mark Gosselink, Hans Hoogduin, Kyung Min Nam, Nicolas Boulant, Vincent Gras, Franck Mauconduit, Dennis W. J. Klomp, Jeroen C. W. Siero, Jannie P. Wijnen   +10 more
wiley   +1 more source

Blockchain-based trusted traceability and sustainability certification of leather products. [PDF]

PLoS One
Islayem R, Hasan HR, Musamih A, Salah K, Jayaraman R.   +4 more
europepmc   +1 more source

Programmable Hash Functions in the Multilinear Setting

, 2013
Eduarda S. V. Freire, Dennis Hofheinz, Kenneth G. Paterson, Christoph Striecks   +3 more
openalex   +1 more source

Science that speaks: The public face of physiology

Experimental Physiology, EarlyView.
Danny W. Walmsley, Daniella Hurt, Abdulrahman A. Dahesh, Kate Williams, Damian M. Bailey   +4 more
wiley   +1 more source