Results 221 to 230 of about 4,235,689 (341)

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Editorial: Formal methods and testing [PDF]

, 2002
Robert M. Hierons
openalex   +1 more source

Data‐driven forecasting of ship motions in waves using machine learning and dynamic mode decomposition

International Journal of Adaptive Control and Signal Processing, EarlyView.
Summary Data‐driven forecasting of ship motions in waves is investigated through feedforward and recurrent neural networks as well as dynamic mode decomposition. The goal is to predict future ship motion variables based on past data collected on the field, using equation‐free approaches.
Matteo Diez, Mauro Gaggero, Andrea Serani   +2 more
wiley   +1 more source

A qualitative study on the experiences of caregivers on menstrual management of adolescent girls with developmental disabilities in selected special schools of Karveer Taluka, Maharashtra. [PDF]

BMC Womens Health
Bhosale MM, Prabhakaran A, Rao AP.
europepmc   +1 more source

Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods

, 2000
Michael Meyer zu Hörste, Srinivasan Parthasarathy, Eckehard Schnieder   +2 more
openalex   +1 more source

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source

Knowledge-to-practice gap in oral microbiome counseling: a mixed-methods study among dental practitioners in Saudi Arabia. [PDF]

BMC Med Educ
Parveen S, Alhazmi YA, Ibrahim WI, Preethanath RS, Khan SS, Vempalli S, Alam MN, Ara SA, Osman HA, Homeida HE, Elamin NMH.   +10 more
europepmc   +1 more source

Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol [PDF]

, 2003
Mariëlle Stoelinga
openalex   +1 more source

Adipose Mesenchymal Stem Cell‐Derived Exosomes in Conjunction with Roflumilast Ameliorate Chronic Kidney Disease Through the Modulation of Fibrosis and Inflammation

Advanced Biology, EarlyView.
The novelty of this study showed that the injection of exosomes produced from ADMSCs in combination with Roflumilast poses a more favorable therapeutic outcome for CKD induced by Adriamycin, compared to therapy with exosomes or Roflumilast alone. Roflumilast and exosomes treatment lowered the expression of the apoptotic, fibrotic, and inflammatory ...
Mohamed Ali, Mohamed H. Sherif, Nashwa Barakat, Bassant Yahia, Ahmed A. Shokeir, Basel Sitohy   +5 more
wiley   +1 more source

Five-year comparative outcomes of the track technique versus conventional artificial chordae sizing in anterior mitral leaflet repair. [PDF]

Front Cardiovasc Med
Nasso G, Vignaroli W, Bonifazi R, Valenti G, Fiore F, Hila D, Loizzo T, Franchino R, Valenzano A, Errico G, Vitobello V, Balducci G, Schinco G, Agrò F, Siro Brigiani M, Girasoli C, Lembo G, Greco E, Contegiacomo G, Santarpino G, Speziale G.   +20 more
europepmc   +1 more source