Reset
Showing 20 of 626 academic articles

An automated qualitative analysis of real-time systems using Timed Petri net and SPIN

Tanuja Shailesh, Ashalatha Nayak, Devi Prasad • Cogent Engineering (2024)

Verification of real-time system properties using formal models can improve system design and quality. The Timed Petri net is a formal model for modelling and designing real-time systems with time constraints. Furthermore, model checking is...

DOAJ Open Access (DOAJ) DOI: 10.1080/23311916.2024.2375100

MacroSwarm: A Field-based Compositional Framework for Swarm Programming

Gianluca Aguzzi, Roberto Casadei, Mirko Viroli • Logical Methods in Computer Science (2025)

Swarm behaviour engineering is an area of research that seeks to investigate methods and techniques for coordinating computation and action within groups of simple agents to achieve complex global goals like pattern formation, collective mo...

DOAJ Open Access (DOAJ) DOI: 10.46298/lmcs-21(3:13)2025

A Novel Construction Method of Bayesian Neural Networks Based on Multi-type Engineering Knowledge

Wenbin Ye, YanZhou Duan, Jun Yuan, Jixu Wang et al. • International Journal of Computational Intelligence Systems (2026)

Abstract In the field of engineering, the utilization of surrogate models to replace computationally intensive simulation software has become a widely adopted approach. However, when addressing complex engineering problems, the costs of sim...

DOAJ Open Access (DOAJ) DOI: 10.1007/s44196-026-01214-1

Alterations in Hip and Knee Joint Contact Force Waveforms and Orientation Induced by Gait Modifications: A Case Study

Laura Rathmair, Willi Koller, Clara Egner, Kevin Kitir et al. • Current Issues in Sport Science (2026)

Introduction & Purpose Idiopathic torsional deformities of lower limb bones can affect a patient’s gait pattern and joint health, while their cause remains unidentified (Koller et al., 2026). Abnormal joint loadings and the progression of ...

DOAJ Open Access (DOAJ) DOI: 10.36950/2026.5ciss011

Temperature- and vacancy-concentration-dependence of heat transport in Li3ClO from multi-method numerical simulations

Paolo Pegolo, Stefano Baroni, Federico Grasselli • npj Computational Materials (2022)

Abstract Despite governing heat management in any realistic device, the microscopic mechanisms of heat transport in all-solid-state electrolytes are poorly known: existing calculations, all based on simplistic semi-empirical models, are unr...

DOAJ Open Access (DOAJ) DOI: 10.1038/s41524-021-00693-4

BP Neural Network–Based Kalman Filtering Method Under Multiple Cyberattacks

Zijing Li, Keting Huang, Gang Wang, Zhuowei Liang et al. • IET Signal Processing (2026)

This paper proposes a Kalman-gain-driven neural Kalman filtering (KF) defense framework, termed KFDBP, for secure state estimation in cyber–physical systems (CPSs) under denial-of-service (DoS), spoofing, and replay attacks. Unlike end-to-e...

DOAJ Open Access (DOAJ) DOI: 10.1049/sil2/3335149

Toward optimal implementation of cancer prevention and control programs in public health: a study protocol on mis-implementation

Margaret Padek, Peg Allen, Paul C. Erwin, Melissa Franco et al. • Implementation Science (2018)

Abstract Background Much of the cancer burden in the USA is preventable, through application of existing knowledge. State-level funders and public health practitioners are in ideal positions to affect programs and policies related to cancer...

DOAJ Open Access (DOAJ) DOI: 10.1186/s13012-018-0742-9

A Web-Based Tool for Quantification of Potential Gains in Life Expectancy by Preventing Cause-Specific Mortality

Aruna Chandran, Churong Xu, Jonathan Gross, Kathryn M. Leifheit et al. • Frontiers in Public Health (2021)

Introduction: Local health departments are currently limited in their ability to use life expectancy (LE) as a benchmark for improving community health. In collaboration with the Baltimore City Health Department, our aim was to develop a we...

DOAJ Open Access (DOAJ) DOI: 10.3389/fpubh.2021.663825

Subsecond optically controlled domain switching in freestanding ferroelectric BaTiO3 membrane

Subhajit Pal, Lan-Tien Hsu, Haoying Sun, Sheng-Han Teng et al. • Nature Communications (2025)

Abstract The quest to develop energy-efficient and fast optoelectronic control of memory devices is essential. In this respect, ferroelectric materials are gaining tremendous importance in information and communication technology. Here, we ...

DOAJ Open Access (DOAJ) DOI: 10.1038/s41467-025-58592-x

Advanced Combination Localization Algorithm Based on Trilateration for Dynamic Cluster Network

Xiantao Zeng, Baoguo Yu, Lifang Liu, Xiaogang Qi et al. • IEEE Access (2019)

Dynamic cluster network localization requires taking the following factors into consideration: 1) the localization time of network nodes; 2) the communication load among all cluster nodes, and; 3) the presence of the abnormal distance measu...

DOAJ Open Access (DOAJ) DOI: 10.1109/ACCESS.2019.2921364

The Harris Extended Bilal Distribution with Applications in Hydrology and Quality Control

Radhakumari Maya, Muhammed Rasheed Irshad, Muhammed Ahammed, Christophe Chesneau • AppliedMath (2023)

In this research work, a new three-parameter lifetime distribution is introduced and studied. It is called the Harris extended Bilal distribution due to its construction from a mixture of the famous Bilal and Harris distributions, resulting...

DOAJ Open Access (DOAJ) DOI: 10.3390/appliedmath3010013

DESAIN KONTROL PENGOBATAN PADA MODEL SIRD UNTUK PENYEBARAN VIRUS COVID-19 MENGGUNAKAN BACKSTEPPING

Khozin Mu'tamar, Janson Naiborhu, Roberd Saragih • Barekeng (2021)

In this article, we present a control design on a SIRD model with treatment in infected individuals. The SIRD model with treatment is obtained from literature study and the parameter model is obtained  from covid-19 daily case in the Riau p...

DOAJ Open Access (DOAJ) DOI: 10.30598/barekengvol15iss4pp697-708

Exploring Surgeons' Perceptions of the Role of Simulation in Surgical Education: A Needs Assessment

Marcia Clark, Jonathan White, Sharla King, Mike Carbonaro • Canadian Medical Education Journal (2011)

Introduction: The last two decades have seen the adoption of simulation-based surgical education in various disciplines. The current study’s goal was to perform a needs assessment using the results to inform future curricular planning and n...

DOAJ Open Access (DOAJ)