Results 111 to 120 of about 8,430 (314)

Role-based abstract modeling of blockchain auction contracts and verification of temporal security and fairness

Tongxin xuebao
To enhance the efficiency of time security verification and fairness verification of auction contracts, an abstract modeling and verification method for role-based auction contracts was proposed.
WANG Changjing, OUYANG Junyuan, ZHANG Qufa, ZUO Zhengkang, CHENG Zhuo, LU Jiaxing   +5 more
doaj  

Hip Morphology–Based Osteoarthritis Risk Prediction Models: Development and External Validation Using Individual Participant Data From the World COACH Consortium

Arthritis Care &Research, EarlyView.
Objective This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the Worldwide Collaboration ...
Myrthe A. van den Berg, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Jinchi Tang, Harbeer Ahedi, Nigel K. Arden, Sita M. A. Bierma‐Zeinstra, Cindy G. Boer, Flavia M. Cicuttini, Timothy F. Cootes, David T. Felson, Willem Paul Gielis, Joshua Heerey, Graeme Jones, Stefan Kluzek, Nancy E. Lane, Claudia Lindner, Joyce B. J. van Meurs, Andrea Mosler, Amanda E. Nelson, Michael C. Nevitt, Edwin H. Oei, Jos Runhaar, Harrie Weinans, Jesse H. Krijthe, Rintje Agricola   +26 more
wiley   +1 more source

Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]

Sensors (Basel), 2022
Zbrzezny AM, Zbrzezny A.
europepmc   +1 more source

Exploring Patients’ Profiles Associated With the Resolution of Acute Calcium Pyrophosphate Arthritis Treated With Colchicine and Prednisone: Post Hoc Analysis of a Randomized Controlled Trial

Arthritis Care &Research, EarlyView.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Automated Runtime Verification of Security for E-Commerce Smart Contracts

Journal of Theoretical and Applied Electronic Commerce Research
As a novel decentralized computing paradigm, blockchain is expected to disrupt the existing e-commerce architecture and process. Secure smart contracts are the crucial foundation for e-commerce based on blockchain.
Yang Liu, Shengjie Zhang, Yan Ma
doaj   +1 more source

Dynamic Data Structures for Timed Automata Acceptance. [PDF]

Algorithmica, 2022
Grez A, Mazowiecki F, Pilipczuk M, Puppis G, Riveros C.   +4 more
europepmc   +1 more source

Effectiveness and Safety of Baricitinib for Juvenile Idiopathic Arthritis–Associated Uveitis or Chronic Anterior Antinuclear Antibody–Positive Uveitis

Arthritis Care &Research, EarlyView.
Objective To evaluate the efficacy and safety of baricitinib in pediatric patients with active juvenile idiopathic arthritis–associated uveitis (JIA‐U) or chronic anterior antinuclear antibody–positive uveitis, who had an inadequate response to methotrexate (MTX) or biologic disease‐modifying antirheumatic drugs (bDMARDs).
Athimalaipet V. Ramanan, Catherine M. Guly, Gabriele Simonini, Stuart Y. Keller, Priyanka Sen, Thorsten Holzkaemper, Joana Araújo, Pierre Quartier   +7 more
wiley   +1 more source

Cellular Automaton Study of Time‐Dynamicsof Avalanche Breakdown in IMPATT Diodes [PDF]

, 1998
G. Zandler, R. Oberhuber, D. Liebig, P. Vogl, Marco Saraniti, Paolo Lugli   +5 more
openalex   +1 more source

Cognitive Behavioral Therapy for Youth with Childhood‐Onset Lupus: A Randomized Clinical Trial

Arthritis Care &Research, Accepted Article.
Objective Our objective was to determine the feasibility and acceptability of the Treatment and Education Approach for Childhood‐onset Lupus (TEACH), a six‐session cognitive behavioral intervention addressing depressive, fatigue, and pain symptoms, delivered remotely to individual youth with lupus by a trained interventionist.
Natoshia R. Cunningham, Thea Senger‐Carpenter, Jocelyn Zuckerman, Michelle Adler, Mallet R. Reid, Ashley Danguecan, Luana Flores Pereira, Sarah I. Mossad, Samantha L. Ely, Khalid Abulaban, Elizabeth A. Kessler, Natalie Rosenwasser, Tamar B. Rubinstein, Ekemini A. Ogbu, Emily A. Smitherman, Alaina Miller, Taylor Abounader, Elizabeth Ross, Livie Timmerman, Dhriti Sharma, Jennifer N. Stinson, Stacy Allen, Kabita Nanda, Tala El Tal, Deborah M. Levy, Linda T. Hiraki, Hermine I. Brunner, Mathew Reeves, Steven J. Pierce, Andrea Knight   +29 more
wiley   +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