Results 71 to 80 of about 98,931 (301)

A novel trace-based sampling method for conformance checking [PDF]

PeerJ Computer Science
It is crucial for organizations to ensure that their business processes are executed accurately and comply with internal policies and requirements. Process mining is a discipline of data science that exploits business process execution data to analyze ...
Heidy M. Marin-Castro, Miguel Morales-Sandoval, José Luis González-Compean, Julio Hernandez   +3 more
doaj   +2 more sources

Building a Framework for Sexual and Reproductive Health Care in the Rheumatology Context: Content and Approaches

Arthritis Care &Research, EarlyView.
People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
wiley   +1 more source

Separable GPL: Decidable Model Checking with More Non-Determinism [PDF]

, 2018
Generalized Probabilistic Logic (GPL) is a temporal logic, based on the modal mu-calculus, for specifying properties of branching probabilistic systems.
Ramakrishnan, C. R., Gorlin, Andrey
core   +1 more source

Building a Cross-Border European Information Network: Hyperlink Connections Among Fact-Checking Organizations

Media and Communication
This article examines the hyperlinking practices of European fact-checking organizations as one of many indicators of efforts to establish a transnational community and identify organizations perceived as “opinion leaders” in combating disinformation ...
Regina Cazzamatta
doaj   +1 more source

Internal audit practices and trends in Romania and worldwide

Audit Financiar, 2016
For a long time, internal audit has been seen mainly as an activity of providing assistance to external auditors, especially by checking up accounting procedures as part of the internal control evaluation process.
Ionela-Corina CHERSAN
doaj   +1 more source

Checks and Balances on the Regulatory Powers of the International Seabed Authority

, 2022
The UNCLOS Part XI regime grants extensive administrative powers to the International Seabed Authority to manage seabed operations. The purpose of this paper is to explore the legal framework for the exercise of these powers and the processes through which alleged unlawful action can be challenged by operators.
openaire   +2 more sources

Triangular Index Ratio as an Alternative Method to the Alpha Angle for Defining the Presence of Cam Morphology: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective Cam morphology, which is a significant risk factor for hip osteoarthritis, is commonly quantified by the alpha angle (AA). This study aims to explore the potential of the triangular index ratio (TIR) to quantify cam morphology on anteroposterior radiographs by assessing the association between TIR‐defined cam morphology and the development of
Jinchi Tang, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Myrthe A. van den Berg, Jos Runhaar, Sita Bierma‐Zeinstra, Rintje Agricola   +7 more
wiley   +1 more source

Pain and Patient‐Reported Physical Function Did Not Differ Among Body Composition Profiles in Patients With Hip Osteoarthritis

Arthritis Care &Research, EarlyView.
Objective To explore whether higher body fat and lower lean mass are associated with greater pain and worse patient‐reported physical function in individuals with hip osteoarthritis (OA). A secondary aim was to examine whether pain and patient‐reported physical function differ according to four body composition profiles: high body fat, low lean mass ...
Alexandra Ryan, Boliang Wang, Fiona Dobson, Ben Kirk, Travis Haber, Kim L. Bennell, Shirley P. Yu, Kim Allison, Ricardo J. S. Costa, Gabrielle Knox, Michelle Hall   +10 more
wiley   +1 more source

Local Module Checking for CTL Specifications

, 2007
Model checking is a well known technique for the verification of finite state models using temporal logic specification. While model checking is suitable for transformational systems (also called closed systems), it is unsuitable for open systems (also ...
Basu, Samik, Samik Basu, Roop, Partha S, Sinha, Roopak, Roopak Sinha, Partha S Roop   +5 more
core   +2 more sources

PERAN SISTEM PENGENDALIAN INTERNAL DALAM MENEKAN ANGKA KREDIT MACET (Studi Kasus pada PT. FIFGROUP Kantor Cabang Jember)

Profita, 2018
This study aims to explain and describe the role of internal control system of PT. FIFGROUP Branch Office in Jember for pressing the number of bad loans. This research is a descriptive research with qualitative approach.
Ningrum Suryadinata, Akhmad Toha, Aryo Prakoso   +2 more
doaj   +1 more source