Search Results - parallel progress (computer progress) verification.~

ParaDyn Implementation in the US Navy's DYSMAS Simulation System: FY08 Progress Report

Contributors: Corey, I

File Description: Medium: ED; Size: PDF-file: 9 pages; size: 1.1 Mbytes

Access URL: http://www.osti.gov/scitech/servlets/purl/945830

Non-Invasive Brain-Computer Interfaces: Converging Frontiers in Neural Signal Decoding and Flexible Bioelectronics Integration.

Authors: Wang, Sheng Song, Xiaobin Song, Xiaopan et al.

Source: Nano-Micro Letters; 1/12/2026, Vol. 18 Issue 1, p1-49, 49p

Subject Terms: BRAIN-computer interfaces, BIOELECTRONICS, MATHEMATICAL optimization, CLOSED loop systems, MULTISENSOR data fusion, DEEP learning, MEDICAL rehabilitation, ELECTROPHYSIOLOGY

Evaluation of a Multiple Instruction/Multiple Data (MIMD) parallel computer for CFD applications. Final report, April 1991-November 1992

Contributors: Schraml, S

File Description: Medium: X; Size: Pages: (30 p)

Access URL: http://www.osti.gov/scitech/biblio/6942625

Global evolution of ferroptosis research: a comprehensive bibliometric analysis of publication trends, geographic patterns, pharmacological innovation, and translational progress from inception through 2025.

Authors: Taha MME Abdelwahab SI

Source: Naunyn-Schmiedeberg's archives of pharmacology [Naunyn Schmiedebergs Arch Pharmacol] 2026 Jan 22. Date of Electronic Publication: 2026 Jan 22.

Publication Type: Journal Article

Journal Info: Publisher: Springer Verlag Country of Publication: Germany NLM ID: 0326264 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1432-1912 (Electronic) Linking ISSN: 00281298 NLM ISO Abbreviation: Naunyn Schmiedebergs Arch Pharmacol Subsets: MEDLINE

Brain-Computer Interface Systems - Recent Progress and Future Prospects

Authors: Reza Fazel-Rezai

Resource Type: eBook.

Subjects: Electroencephalography--Models, Brain-computer interfaces

Categories: COMPUTERS / Human-Computer Interaction (HCI)

Study on Transient Characteristics of New-Type Series-Parallel Emergency Drainage Pump During Unexpected Shutdown Process.

Authors: Tian, Ding Zhang, Kun Ju, Yuanzhe et al.

Source: Water (20734441); Dec2025, Vol. 17 Issue 23, p3406, 23p

Subject Terms: FLOOD control, WATER pumps, ENTROPY, TRANSIENT analysis, FLUID flow, TURBULENT flow, COMPUTER simulation

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker

Authors: Igor Konnov Marijana Lazić Ilina Stoilkovska et al.

Source: Logical Methods in Computer Science, Vol 19, Issue 1 (2023)

Subject Terms: computer science - distributed, parallel, and cluster computing, computer science - logic in computer science, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://lmcs.episciences.org/6947/pdf; https://doaj.org/toc/1860-5974

Access URL: https://doaj.org/article/108d81d8efd84c74b43f1fa7438e852f

Advancements in the in vitro culture of human pluripotent stem cells: progress, challenges, and future directions: comprehensive review.

Authors: Chaudhary, Niraj Villa-Diaz, Luis G.

Source: Frontiers in Toxicology; 2025, p1-25, 25p

Research Progress of Microfluidics in Radiopharmaceutical Quality Control.

Authors: Dong, Zhenhao He, Qinggang Mao, Dilong et al.

Source: iRADIOLOGY; Dec2025, Vol. 3 Issue 6, p401-420, 20p

Shared Symptoms, Circuits, and Potential Solutions — Progress of Precision Lesioning for Obsessive-Compulsive Disorder as Rationale for Applications to Addiction.

Authors: Yang, Andrew Z. Tang, Victor M. MacKillop, James et al.

Source: Current Addiction Reports; 11/24/2025, Vol. 12 Issue 1, p1-19, 19p

No Reproducibility, No Progress: Rethinking CT Benchmarking.

Authors: Polevoy, Dmitry Kazimirov, Danil Gilmanov, Marat et al.

Source: Journal of Imaging; Oct2025, Vol. 11 Issue 10, p344, 36p

A Parallel Tempering Approach for Efficient Exploration of the Verification Tradespace in Engineered Systems

Authors: Xu, Peng Salado, Alejandro Deng, Xinwei

Index Terms: Computer Science - Software Engineering, Electrical Engineering and Systems Science - Systems and Control, text

URL: http://arxiv.org/abs/2109.11704

TDNN achitecture with efficient channel attention and improved residual blocks for accurate speaker recognition.

Authors: Li W Yao S Wan B et al.

Source: Scientific reports [Sci Rep] 2025 Jul 02; Vol. 15 (1), pp. 23484. Date of Electronic Publication: 2025 Jul 02.

Publication Type: Journal Article

Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE

MeSH Terms: Neural Networks, Computer*, Humans ; Deep Learning ; Algorithms

Bio-inspired Displays: Toward Intelligent Systems With Active Perception and Adaptive Interfaces.

Authors: Yang W Peng Y Zou Z et al.

Source: Advanced materials (Deerfield Beach, Fla.) [Adv Mater] 2026 Jan 28, pp. e21854. Date of Electronic Publication: 2026 Jan 28.

Publication Type: Journal Article; Review

Journal Info: Publisher: Wiley-VCH Country of Publication: Germany NLM ID: 9885358 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1521-4095 (Electronic) Linking ISSN: 09359648 NLM ISO Abbreviation: Adv Mater Subsets: MEDLINE

Cancer cell identification based on Oncology image classification using parallel transfer learning algorithms.

Authors: Umarani, S. Babu, M. Rajesh Selvi, C. P. Thamil et al.

Source: Frontiers in Health Informatics; 2024, Vol. 13 Issue 3, p10930-10948, 19p

Subject Terms: MACHINE learning, ARTIFICIAL intelligence, DEEP learning, CONVOLUTIONAL neural networks, IMAGE recognition (Computer vision)

Challenges of high-fidelity virtual reactor for exascale computing and research progress of China Virtual Reactor.

Authors: Lu, Xu Li, Yang Chen, Dandan et al.

Source: Nuclear Engineering & Design. Nov2023, Vol. 413, pN.PAG-N.PAG. 1p.

Subject Terms: *HIGH performance computing, *COMPUTER architecture, *SCIENTIFIC method, *SIMULATION software, *SYSTEMS software

Advancing Goat Genomics Verification and Applying GBTS Liquid Chip for Precision Breeding.

Authors: Aziz, Umar Rehman, Abdul Xu, Xiaolong et al.

Source: Journal of Veterinary Physiology & Pathology. 2025, Vol. 4 Issue 3, p20-30. 11p.

Automatic Perception of Typical Abnormal Situations in Cage-Reared Ducks Using Computer Vision.

Authors: Zhao, Shida Bai, Zongchun Huo, Lianfei et al.

Source: Animals (2076-2615); Aug2024, Vol. 14 Issue 15, p2192, 25p

Subject Terms: ANIMAL welfare, POSTURE disorders, OPTICAL interference, COMPUTER vision, ANIMAL health

From Ground to Space: Construction and Application of a Three‐Dimensional Digital Collaborative Design Platform for Space Station Engineering.

Authors: Zhang, Hongyi Wang, Wei Wen, Yuejie

Source: Systems Engineering. Dec2025, p1. 16p. 5 Illustrations.

Subject Terms: *AEROSPACE engineering, *DIGITAL twin, *DIGITAL transformation, *COMPUTER integrated manufacturing systems, *THREE-dimensional modeling

Research progress of animal behavior recognition algorithms based on deep learning.

Authors: Zeng, Xianzhou Gong, Mingxiong Yin, Yuanchang et al.

Source: Digital Medicine; Mar2025, Vol. 11 Issue 1, p1-9, 9p