Results 101 to 110 of about 494,717 (236)
Arthritis Care &Research, EarlyView.Objective This study aimed to characterize the pharmacokinetics, pharmacodynamics, safety, and exploratory efficacy of subcutaneous belimumab in pediatric patients with active systemic lupus erythematosus (SLE) receiving standard therapy. Methods This single‐arm, multicenter, open‐label trial (GSK study 200908; ClinicalTrials.gov identifier ...
Hermine I. Brunner +14 more
wiley +1 more source
Formal Specification Based Automatic Test Generation for Embedded Network Systems
Journal of Applied Mathematics, 2014 Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language ...
Eun Hye Choi +7 more
doaj +1 more source
Formal design specification of a Processor Interface Unit [PDF]
This report describes work to formally specify the requirements and design of a processor interface unit (PIU), a single-chip subsystem providing memory-interface bus-interface, and additional support services for a commercial microprocessor within a ...
Cohen, Gerald C. +2 more
core +1 more source
Arthritis Care &Research, EarlyView.Objective We evaluated the role of 25‐hydroxyvitamin D (25[OH]D), prednisone, and other risk factors for bone mineral density (BMD) loss and osteoporosis in systemic lupus erythematosus (SLE). Methods We calculated the association between 25(OH)D levels and other potential risk factors and BMD measures (spine T scores) and osteoporosis (defined as a T ...
Nima Madanchi +4 more
wiley +1 more source
On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
International Journal of Advanced Robotic Systems, 2005 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.
Alan FT Winfield +4 more
doaj +1 more source
Z Formal Specification Language
, 2021 Formal methods provide a much-needed solid software engineering foundation for the art of programming computers. Formal specifications can be used to provide an unambiguous and consistent supplement to natural language descriptions and can be rigorously validated and verified leading to the early detection of specification errors. Z is a model oriented
openaire +1 more source
Arthritis Care &Research, EarlyView.Objective The goal was to assess the diagnostic performance of three novel autoantibodies (NA) for Sjögren disease (SjD) by comparing NA prevalence in patients with SjD, other autoimmune rheumatic diseases (ARDs), nonspecific chronic sialadenitis (CS), and controls.
Chadwick R. Johr +5 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective We investigated whether a diagnosis of rheumatoid arthritis (RA) affects the quality of inpatient acute myocardial infarction (AMI) care and long‐term mortality post‐AMI. Methods We analyzed data from 784,091 adults, 6,047 with a diagnosis of RA, from England and Wales hospitalized with AMI between 2005 and 2019 from the Myocardial Ischaemia ...
Megan Butler +8 more
wiley +1 more source
Formal specification of human-computer interfaces [PDF]
A high-level formal specification of a human computer interface is described. Previous work is reviewed and the ASLAN specification language is described.
Auernheimer, Brent
core +1 more source
Arthritis Care &Research, Accepted Article.Objective We developed a novel EHR sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk +16 more
wiley +1 more source