Results 111 to 120 of about 1,590,113 (289)
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2008 It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult.
Clare Dixon +4 more
doaj
Anorectal Dysfunction in Systemic Sclerosis: Clinical Phenotypes and Functional Patterns
Arthritis Care &Research, EarlyView.Objective The aim of this study was to characterize specific physiologic defects in anorectal dysfunction in systemic sclerosis (SSc) using anorectal manometry (ARM), evaluate associations with gastrointestinal (GI) and extraintestinal clinical phenotypes, and explore potential serologic markers for risk stratification.
Timothy Kaniecki +6 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective To evaluate utility of an artificial intelligence (AI) health coach for systemic sclerosis (SSc) self‐management and identify patterns associated with participant engagement. Methods We conducted a mixed methods study in which an AI health coach, powered by a large language model (LLM), was used to support self‐management for SSc.
Nirali Shah +4 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Elevated C‐reactive protein (CRP) levels in systemic sclerosis (SSc) have been linked with severe disease and worse survival, but the role of platelet levels remains unclear. This study examined whether elevated platelet levels, CRP levels, or both are associated with disease severity, progression, and survival in SSc.
Brian S. Lee +4 more
wiley +1 more source
Work-Based Access Control Model for Cooperative Healthcare Environments: Formal Specification and Verification. [PDF]
J Healthc Inform Res, 2017 Abomhara M +3 more
europepmc +1 more source
Arthritis Care &Research, EarlyView.Objective Youth who experience a sport‐related knee injury have elevated odds of becoming overweight or developing obesity in 3 to 10 years, compounding their risk for posttraumatic osteoarthritis (PTOA). To inform prevention strategies, this study compared patterns of adiposity change between youth with a sport‐related knee injury and uninjured youth ...
Justin M. Losciale +6 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Systemic lupus erythematosus (SLE) significantly impacts employment capacity. This study aimed to investigate the impact of burden of disease activity, damage, and treatment on employment outcomes and transitions in patients with SLE. Methods Using data from a single center, we analyzed employment transitions, adjusted mean disease activity ...
Javier Mencia‐Ledo +4 more
wiley +1 more source
The role of formal specification in rule-based real-time AI (extended abstract) [PDF]
This paper describes the role of formal specification in the development of AI systems: it is seen as an important step in the development of reliable real-time AI systems.
Craig, Iain D.
core
Mapping SDL Specification Fundamentals to Core SDL Ontology
Journal of Communications Software and Systems, 2010 This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications ...
Marina Bagić Babac, Marijan Kunštić
doaj
Clinical Characteristics and Concordance of Anti‐MDA5 Antibodies: A Multicenter Australian Study
Arthritis Care &Research, EarlyView.Objective In Australia, anti‐MDA5 antibodies are exclusively tested by a line immunoblot assay (LIA). The clinical concordance of an LIA‐positive anti‐MDA5 result is unclear. We aimed to describe the clinical features and determine the clinical concordance of patients with anti‐MDA5 antibodies. Methods Electronic records of a multisite cohort (patients
Syed B. Ali +11 more
wiley +1 more source