Results 101 to 110 of about 1,005,955 (287)

An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation [PDF]

, 2007
Spi2Java is a tool that enables semi-automatic generation of cryptographic protocol implementations, starting from verified formal models. This paper shows how the last version of spi2Java has been enhanced in order to enable interoperability of the ...
Pironti, Alfredo, Sisto, Riccardo, Riccardo Sisto, Alfredo Pironti   +3 more
core   +1 more source

Software for "Threshold Pivoting for dense LU Factorization"

, 2022
Modified versions of the SLATE library with implementations of threshold pivoting in the LU factorization. The file threshold-1-layer.tar.gz contains code for avoiding inter-process data movement.
Lindquist, Neil, Luszczek, Piotr, Gates, Mark, Dongarra, Jack   +3 more
core   +1 more source

RNA Sequencing Resolves Cryptic Pathogenic Variants in Mitochondrial Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Mitochondrial diseases are the most common inherited metabolic disorders, characterized by pronounced clinical and genetic heterogeneity that complicates molecular diagnosis. Although DNA‐based sequencing approaches have become standard in genetic testing, up to half of patients remain without a definitive diagnosis.
Zhimei Liu, Xin Duan, Fatemeh Peymani, Jia Wang, Chengjia Bao, Chaolong Xu, Ying Zou, Zixuan Zhang, Yunxi Zhang, Tongyue Li, Martin Pavlov, Junling Wang, Minhan Song, Tianyu Song, Xiaodi Han, Mingxi Sun, Danmin Shen, Ruoyu Duan, Huafang Jiang, Manting Xu, Holger Prokisch, Fang Fang   +21 more
wiley   +1 more source

Peer influence breaks ergodicity in an opinion dynamics model with external information

Journal of Physics: Complexity
We present a stochastic imitation-based model of opinion dynamics in which agents balance social conformity with responsiveness to an external signal. The model captures how populations evolve between two binary opinion states, driven by peer influence ...
Federica De Domenico, Fabio Caccioli, Giacomo Livan   +2 more
doaj   +1 more source

HRaccoon: A High-performance Configurable SCA Resilient Raccoon Hardware Accelerator

Transactions on Cryptographic Hardware and Embedded Systems
The lattice-based Raccoon scheme is one of the candidates in Round 1 of the National Institute of Standards and Technology (NIST) post-quantum cryptography (PQC) additional digital signatures standardization process.
Ziying Ni, Ayesha Khalid, Zhaoyu Zhang, Yijun Cui, Máire O’Neill   +4 more
doaj   +1 more source

Predictive Ability of Plasma p‐tau217 for β‐Amyloid Status: A Prospective Multicenter Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Plasma tau phosphorylated at threonine 217 (p‐tau217) measured with fully automated platforms has shown high accuracy for Alzheimer's disease (AD) diagnosis, but real‐world multicenter data remain limited. We aimed to validate the diagnostic performance of p‐tau217 for identifying AD pathology in a real‐world multicenter cohort ...
Miquel Massons, Nuria Guillen, Jordi Sarto, Neus Falgàs, Sergi Borrego‐Écija, Diana Esteller‐Gauxax, Magda Castellví, Adrià Tort‐Merino, Agnès Pérez‐Millan, Anna Antonell, Josep M. Augè Fradera, Gerard Piñol, Iolanda Riba, Anna Carnes‐Vendrell, Marta Cullell, Maria Teresa Osuna, Lorena Bajo, Teresa Romero, Eva Bonjoch, Joan Bello, Susana Fernández, Marta Balagué, Isabel Gómez‐Ruiz, Anuncia Boltes, Claustre Pont, Raquel Cuevas, Sara Carrillo, Laura Iglesias, Teresa Maria Casadevall Codina, Lorena Grau Guinea, Fernando Jose Espada, Raquel Sánchez‐Valle, Mircea Balasa, Albert Lladó   +33 more
wiley   +1 more source

Several Masked Implementations of the Boyar-Peralta AES S-Box [PDF]

, 2018
Threshold implementation is a masking technique that provides provable security for implementations of cryptographic algorithms against power analysis attacks. In recent publications, several different threshold implementations of AES have been designed.
Ashrujit Ghoshal, Thomas De Cnudde
core   +1 more source

Weighted RED (WTRED) strategy for TCP congestion control [PDF]

, 2011
This work presents the Weighted Random Early Detection (WTRED) strategy for congestion handling in TCP networks. The strategy dynamically adjusts RED's maximum threshold, minimum threshold and weight parameters to increase network performance.
Murray, D., Michael Dixon, Hamadneh, N., Peter Cole, Dixon, M., Cole, P., Nabhan Hamadneh, David Murray   +7 more
core   +1 more source

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

Acute Kidney Injury After Mechanical Thrombectomy for Stroke in Patients With Pre‐Existing Renal Impairment

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Acute kidney injury (AKI) is a common but often underrecognized complication in ischemic stroke patients undergoing mechanical thrombectomy, particularly among those with pre‐existing renal impairment. This study evaluated the incidence, risk factors, and clinical impact of AKI in this high‐risk population.
Michał Borończyk, Marcel Pilarek, Emilia Jaworska, Natalia Kardas, Oliwia Barnaś, Julia Woźniak, Iga Machała, Julia Węgrzynek‐Gallina, Joanna Siuda, Anna Hawrot‐Kawecka, Anetta Lasek‐Bal   +10 more
wiley   +1 more source