Formal Verification of Business Constraints in Workflow-Based Applications by Florin Stoica, Laura Florentina Stoica

Subjects: “…workflow…”
Get full text

Control-Flow-Based Methods to Support the Development of Sound Workflows by Thomas M. Prinz, Wolfram Amme

Subjects: “…workflow…”
Get full text

On the Decidability of Soundness of Workflow Nets with an Unbounded Resource by V. A. Bashkin, I. A. Lomazova

Subjects: Get full text

Controllable Deadlocks in Parallel Resource-Constrained Workflows by V. A. Bashkin, N. Yu. Panfilova

Subjects: “…workflow…”
Get full text

Using the Simcyp R Package for PBPK Simulation Workflows With the Simcyp Simulator by Anthonia M. Onasanwo, Naresh Mittapelly, Laura Shireman, Barry Vinden, Kevin McNally, James Craig, Frederic Y. Bois

“…We detail the implementation of two automated workflows for model development and verification. The first demonstrates the verification of a drug–drug interaction model for Atazanavir, an antiretroviral drug indicated for the treatment of HIV/AIDS. …”
Get full text

Integrating large language models in biostatistical workflows for clinical and translational research by Steven C. Grambow, Manisha Desai, Kevin P. Weinfurt, Christopher J. Lindsell, Michael J. Pencina, Lacey Rende, Gina-Maria Pomann

Get full text

Feasibility exploration analysis of AR virtual verification method of civil aircraft maintenance program by SUN Hongli, WANG Hongchao, ZHANG Yajie, QIAO Wanxin, ZHAO Xincan

“…This paper gives the workflow of maintenance program AR virtual verification based on the technical requirements of aircraft maintenance manual verification，and explores the feasibility of this method from the perspective of building consistency with real configuration aircraft and maintenance operation consistency. …”
Get full text

Improving Machine Learning Workflows Using the “Normative‐Descriptive‐Prescriptive” Decision Framework by Naveen Gudigantala, Manaranjan Pradhan, Naga Vemprala

“…While prior research primarily focused on technical aspects, important issues related to improving decision‐making across ML workflows have been overlooked. This paper introduces a “normative‐descriptive‐prescriptive” decision framework to address this gap. …”
Get full text

Implementing Customized Electronic Quality Checklists to Reduce Errors and Improve Workflow in Radiotherapy by Zaheeda Mulla, Victor J. Joseph John, Rania Hashem, Hatim Z. Almarzouki, Abdullah Almohamad, Mohammad Attar, Hane Muamenah, Hanadi F. Habibullah, Hussam Hijazi

“…With the implementation of QCL, potential misses were identified, and a reduction in level three and four errors was observed.CONCLUSIONAutomated QCLs significantly improved RT workflow efficiency and safety and reduced errors in our practices.…”
Get full text

Empowering Paperless Workflows: Networked UDC-Based EDMS for Enhanced Efficiency and Data Security by Salar Jamal Rashid

Get full text

LM-Merger: a workflow for merging logical models with an application to gene regulatory network models by Luna Xingyu Li, Boris Aguilar, John Gennari, Guangrong Qin

“…The workflow consists of five main steps: (a) model identification, (b) model standardization and annotation, (c) model verification, (d) model merging, and (e) model evaluation. …”
Get full text

Enhancing Maritime Communication Security with Blockchain Technology by Georgi Dimitrov, Ivaylo Mitishev

“…For practical implementation, a blockchain-based document workflow management system can be developed to manage critical maritime documents.…”
Get full text

A descriptive report on the impact of pharmacy workflows in the operational success of hospital at home implementation at a county academic hospital system by Jason N. Levy, Joshua Wollen, Phuoc Anne Nguyen, Catina Brimmer, Rohan Dwivedi, Shane Tolleson

“…Objective(s): To describe the development of HaH-related pharmacy workflows and evaluate the operational success of the program in an underinsured patient population. …”
Get full text

Printing outsourced orthognathic surgical splints in-house: a dimensional verification process for point-of-care printing by Talal Beidas, Luther Light, Caroline Carrico, Shayne Kondor, Prasanth Ravi, Yotom A. Rabinowitz

“…Conclusion This study presents a verification process for providers to verify the geometric stability and reproducibility of their IH-printed orthognathic splints (RMS 0.20 mm). …”
Get full text

Fighting Fungal Threats: Verification of an antifungal susceptibility assay to improve antifungal stewardship in the management of Candida infections by Miss Ashleigh Hale, Miss Disha Lawrence, Mr Adam Pattinson

“…Eliminating the need to send samples to external laboratories streamlines laboratory workflow and removes logistical challenges associated with sample transportation. …”
Get full text

Caliper verification and gap measurements of kinematic alignment total knee arthroplasty utilizing an imageless, accelerometer-based navigation system by James H. Sikes, Drew P. Melancon, Isaac J. Spears, Evan H. Powers, Spencer J. Montgomery

“…Materials and methods Seven cadaveric lower extremities underwent primary TKA utilizing a kinematic alignment workflow with the imageless navigation system. Accuracy of the technique was confirmed through caliper verification of bone cuts. …”
Get full text

Towards a modular, multi-ecosystem monitoring, reporting and verification (MRV) framework for soil organic carbon stock change assessment by Niels H. Batjes, Eric Ceschia, Gerard B.M. Heuvelink, Julien Demenois, Guerric le Maire, Rémi Cardinael, Cristina Arias-Navarro, Fenny van Egmond

“…Finally, we present a conceptual workflow that shows how a prototype for an operational, modular multi-ecosystem MRV tool could be systematically built.…”
Get full text

Blockchain solutions for generative AI challenges in journalism by Malin Picha Edwardsson, Walid Al-Saqaf, Walid Al-Saqaf

“…Our analysis identified nine blockchain-based solutions for content verification, with three platforms–Attestiv, OriginStamp, and Fact Protocol–showing particular promise for journalistic workflows. …”
Get full text

MALDI-TOF MS experience with the identification of complex microorganisms using two devices in a National Reference Laboratory by Maria Florencia Rocca, Diego Danze, Gastón D´Angiolo, Paula Etcheverry, Claudia Martínez, Mónica Prieto

Get full text

Building a Robust Scenario Library for Safety Assurance of Automated Driving Systems: A Review by Antonio A. Bruto da Costa, Patrick Irvine, Tudor Dodoiu, Siddartha Khastgir, Paul Jennings

“…The research addresses the need for scenario creation for the verification and validation (V&V) of ADSs across different environments. …”
Get full text