Results 101 to 110 of about 1,643,554 (351)

Formal Specification of a Truck Geo-Location Big-Data Application [PDF]

, 2017
Ayman Naseem, Nadeem Akhtar, Malik Saad
openalex   +1 more source

Sarilumab in Polyarticular‐Course Juvenile Idiopathic Arthritis: Dose‐Finding and One‐Year Analysis of a Phase 2b, Open‐Label, Multicenter Study

Arthritis Care &Research, Accepted Article.
Objective This study assessed sarilumab in treating patients with polyarticular‐course juvenile idiopathic arthritis (pcJIA). Methods This phase 2b, open‐label study (NCT02776735) consisted of three sequential parts (each with a core‐treatment and extension‐phase). During part 1, three doses were assessed in two weight groups (Group A/B: ≥30–60 kg/≥10–<
Fabrizio De Benedetti, Inmaculada C. Penadés, Irina Nikishina, Ivan Foeldvari, Alberto J. Spindler, Anna Kozlova, Nadina Rubio‐Pérez, Pierre Quartier, Zbigniew Żuber, Raul Barria, Daniel Clemente, Gabriel V. Cornejo, Katherine Marzan, Nancy Liu, Christine Xu, Stephen DiMartino, Angeliki Giannelou, Fei Cao‐Ghoul, Bolanle Akinlade, Lydie Baret‐Cormel   +19 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, Jin Sa, Mari-Carmen Fernández-Gago, Clare Dixon, Michael Fisher   +4 more
doaj   +1 more source

The temporal trends and short‐ and long‐term mortality of people with acute myocardial infarction and rheumatoid arthritis: a nationwide cohort study

Arthritis Care &Research, Accepted Article.
Aims 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 analysed data from 784,091 adults, 6,047 with a diagnosis of RA, from England and Wales hospitalised with AMI between 2005 and 2019 from the MINAP registry, linked ...
Megan Butler, Nicholas Weight, Muhammad Rashid, Rodrigo Bagur, Purvi Parwani, Samantha Hider, Edward Roddy, Robert Butler, Mamas A Mamas   +8 more
wiley   +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

Evaluation of a novel EHR sidecar application to display RA clinical outcomes during clinic visits: results of a stepped‐wedge cluster randomized pragmatic trial

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, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques [PDF]

, 2014
A.P. van der Meer, R. Kherrazi, M. Hamilton   +2 more
openalex   +1 more source

Association Between Symptomatic Knee Osteoarthritis and Target Glycemic Control in Individuals with Type 2 Diabetes

Arthritis Care &Research, Accepted Article.
Objective Knee osteoarthritis (OA) commonly affects individuals with Type 2 diabetes (T2DM) and is associated with increased risk of diabetes‐related complications. To better understand potential mechanisms, we examined the association between symptomatic knee OA and glycemic control in individuals with T2DM.
Lauren K. King, Alanna Weisman, Baiju R. Shah, Robert Goldberg, Amish Parikh, Ian Stanaitis, Vivian Hung, Rosane Nisenbaum, Abdalmohsen Almodahka, Lorraine Lipscombe, Gillian A. Hawker   +10 more
wiley   +1 more source

Enhancing Corrosion Resistance and Mechanical Strength of 3D‐Printed Iron Polylactic Acid for Marine Applications via Laser Surface Texturing

Advanced Engineering Materials, EarlyView.
Laser surface texturing significantly improves the corrosion resistance and mechanical strength of 3D‐printed iron polylactic acid (Ir‐PLA) for marine applications. Optimal laser parameters reduce corrosion by 80% and enhance tensile strength by 25% and ductility by 15%.
Mohammad Rezayat, Mojtaba Karamimoghadam, Mohammadreza Lalegani Dezaki, Ali Zolfagharian, Giuseppe Casalino, Antonio Mateo, Mahdi Bodaghi   +6 more
wiley   +1 more source

Geometric Optimization and Mechanical Performance Enhancement of Auxetic Structures for High‐Impact Applications Through Fused Deposition Modeling

Advanced Engineering Materials, EarlyView.
This study explores the mechanical performance of three auxetic structures, identifying a re‐entrant‐star hybrid as the most effective for impact absorption. Finite element simulations and experiments demonstrate significant gains in energy absorption and flexural strength after geometric optimization. This study investigates the mechanical performance
Malik Hassan, Manjusri Misra, Alexander Bardelcik, Stefano Gregori, Amar K. Mohanty   +4 more
wiley   +1 more source