Search Results - parallel (progress OR process) (computer (progress OR process)) verification.

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

A Comprehensive Survey on the Progress, Process, and Challenges of Lung Cancer Detection and Classification.

Authors: Mridha, M. F. Prodeep, Akibur Rahman Hoque, A. S. M. Morshedul et al.

Source: Journal of Healthcare Engineering; 12/16/2022, p1-43, 43p

Subject Terms: LUNG cancer, TUMOR classification, COMPUTER-aided diagnosis, MAGNETIC resonance imaging, FEATURE extraction, COMPUTED tomography

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.

Senior-Year Clinical Trainees' Perceptions of a Clinical Entrustment Scale in an Academic Veterinary Medical Center.

Authors: Freedman, Debra Burton, Erin Rendahl, Aaron et al.

Source: Journal of Veterinary Medical Education. Feb2026, Vol. 53 Issue 1, p106-114. 9p.

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

Experimental verification and validation of the SICN-oriented process mining algorithm and system

Authors: Kyoung-Sook Kim Dinh-Lam Pham Young-In Park et al.

Source: Journal of King Saud University: Computer and Information Sciences, Vol 34, Iss 10, Pp 9793-9813 (2022)

Subject Terms: Business process management, Structured information control nets (SICN), Process mining algorithm, Process rediscovery, Experimental verification and validation, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S131915782100358X; https://doaj.org/toc/1319-1578

Access URL: https://doaj.org/article/b61b3e839834487d826aace21526c15f

Continuous Process Verification 4.0 application in upstream: adaptiveness implementation managed by AI in the hypoxic bioprocess of the Pichia pastoris cell factory.

Authors: Gasset, Arnau Van Wijngaarden, Joeri Mirabent, Ferran et al.

Source: Frontiers in Bioengineering & Biotechnology; 2024, p1-18, 18p

Process mining approach to formal business process modelling and verification: a case study.

Authors: Ito, Sohei Vymětal, Dominik Šperka, Roman

Source: Journal of Modelling in Management; 2021, Vol. 16 Issue 2, p602-622, 21p

Subject Terms: BUSINESS enterprises, PROCESS mining, TRADING companies, FORMAL languages

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

Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes

Authors: Libero Nigro Franco Cicirelli

Source: Algorithms, Vol 18, Iss 4, p 226 (2025)

Subject Terms: concurrent/parallel processes, mutual exclusion, atomic/non-atomic registers, Dekker’s algorithms for mutual exclusion, formal modeling, timed automata, Industrial engineering. Management engineering, T55.4-60.8, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://www.mdpi.com/1999-4893/18/4/226; https://doaj.org/toc/1999-4893

Access URL: https://doaj.org/article/25370cdaaaa34e8ba3dd7f7d531fade5

Host‐Driven Genetic Diversity of Leptospira in the Americas: A Continental Perspective.

Authors: Suárez-Galaz, Alejandro Sánchez-Montes, Sokani Torres-Castro, Marco et al.

Source: Transboundary & Emerging Diseases. 1/16/2026, Vol. 2026, p1-19. 19p.

AI-Enabled Precision Nutrition in the ICU: A Narrative Review and Implementation Roadmap.

Authors: Briassoulis, George Briassouli, Efrossini

Source: Nutrients. Jan2026, Vol. 18 Issue 1, p110. 22p.

Supervised 16-Week Multicomponent Exercise Training Programme for 18–55-Year-Old People Living with and Beyond Cancer—CONSORT 2025-Based Study Protocol of the Pilot Onco-Move Randomized Controlled Trial.

Authors: Wieczorek-Przybyło, Marzena Lachowicz, Milena Tomczyk, Maja et al.

Source: Nutrients. Jan2026, Vol. 18 Issue 1, p100. 17p.

Development of numerical codes for the evaluation of combustion processes. Detailed numerical simulations of laminar flames

Authors: Cònsul Serracanta, Ricard

Contributors: University/Department: Universitat Politècnica de Catalunya. Departament de Màquines i Motors Tèrmics

Thesis Advisors: Pérez Segarra, Carlos David, Oliva, Asensio

Source: TDX (Tesis Doctorals en Xarxa)

Subject Terms: combustio, computational fluid dynamics (CFD), flames laminars, 3328. Processos tecnològics

File Description: application/pdf

Access URL: http://www.tdx.cat/TDX-0317105-154418
http://hdl.handle.net/10803/6679
https://dx.doi.org/10.5821/dissertation-2117-93990

Analysis of Production Process Parameters Using Computer Simulation at the Planning Stage.

Authors: Pawlak, Szymon Małysa, Tomasz Fornalczyk, Agnieszka

Source: Applied Sciences (2076-3417); Dec2024, Vol. 14 Issue 23, p10863, 17p

Subject Terms: SIMULATION software, PRODUCTION planning, MANUFACTURING processes, PRODUCTION management (Manufacturing), COMPUTER simulation

Process Mining Workshops

Authors: Andrea Delgado Tijs Slaats

Resource Type: eBook.

Subjects: Electronic data processing--Congresses, Data mining--Congresses

Categories: COMPUTERS / Data Science / Data Analytics, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Business & Productivity Software / Business Intelligence, MATHEMATICS / Probability & Statistics / General, MEDICAL / Informatics

Artificial intelligence and machine learning-assisted digital applications for biopharmaceutical manufacturing.

Authors: Panjwani S Wei H Mason J

Source: Biotechnology progress [Biotechnol Prog] 2025 Nov 10, pp. e70089. Date of Electronic Publication: 2025 Nov 10.

Publication Type: Journal Article; Review

Journal Info: Publisher: Wiley-Blackwell Country of Publication: United States NLM ID: 8506292 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 1520-6033 (Electronic) Linking ISSN: 15206033 NLM ISO Abbreviation: Biotechnol Prog Subsets: MEDLINE

HHLPar: Automated Theorem Prover for Parallel Hybrid Communicating Sequential Processes

Authors: Jin, Xiangyu Zhan, Bohua Wang, Shuling et al.

Index Terms: Computer Science - Logic in Computer Science, text

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

Host–Microbe Interactions: Prospects of Machine Learning and Deep Learning Technologies in Animal Viral Disease Management.

Authors: Lu, Yiting Li, Xiaowen Abd El-Aty, A. M. et al.

Source: Veterinary Sciences. Dec2025, Vol. 12 Issue 12, p1129. 25p.

Standardized Hibiscus–Inulin Shot Lowers Lipid–Glucose Indices in Adults with Overweight and Obesity: 8-Week Randomized Trial.

Authors: Mendivil, Edgar J. Rivera-Iñiguez, Ingrid Arellano-Gómez, Laura P. et al.

Source: Nutrients. Nov2025, Vol. 17 Issue 22, p3556. 18p.