Results 91 to 100 of about 1,590,113 (289)

High Health Care Utilization Preceding Diagnosis With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective Although early diagnosis improves long‐term outcomes, patients with juvenile idiopathic arthritis (JIA) often experience prolonged, circuitous paths to diagnosis. To inform diagnostic improvement, we sought to characterize health care utilization in the year preceding diagnosis. Methods We identified 10,021 patients with an incident diagnosis
Anna Costello, Rui Xiao, Xuemei Zhang, Jahan Jazayeri, Irit R. Rasooly, Pamela F. Weiss   +5 more
wiley   +1 more source

Trajectories of Physical Function in Canadian Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We describe trajectories of physical function in children newly diagnosed with juvenile idiopathic arthritis (JIA) and identify trajectories with persisting functional impairments and associated baseline characteristics. Methods We included patients enrolled in the Canadian Alliance of Pediatric Rheumatology Investigators (CAPRI) Registry ...
Clare Cunningham, Meghan McPherson, Lillian Lim, Roberta A. Berard, Matthew Berkowitz, Jean‐Philippe Proulx‐Gauthier, Brian M. Feldman, Nicole Johnson, Dax G. Rumsey, Heinrike Schmeling, Lori B. Tucker, Thomas Loughin, Kristin M. Houghton, Jaime Guzman, for the Canadian Alliance of Pediatric Rheumatology Investigators (CAPRI) Registry Investigators, David A. Cabral, Gaëlle Chédeville, Ciarán M. Duffy, Kerstin Gerhold, Jaime Guzman, Linda Hiraki, Adam M. Huber, Heinrike Schmeling, Natalie J. Shiff, Lori B. Tucker, Julie Barsalou, Daniah Basodan, Michelle Batthish, Roberta A. Berard, Nicholas Blanchette, Gilles Boire, Roxana Bolaria, Alessandra Bruns, David A. Cabral, Sarah Campillo, Tania Cellucci, Mercedes Chan, Gaëlle Chédeville, Amieleena Chhabra, Julie Couture, Paul Dancey, Jean‐Jacques De Bruycker, Erkan Demirkaya, Muhammed Dhalla, Ciarán M. Duffy, Talal El Tal, Tommy Gerschman, Jaime Guzman, Liane Heale, Julie Herrington, Kristin M. Houghton, Adan M. Huber, Andrea Human, Nicole Johnson, Roman Jurencak, Bianca Lang, Claire LeBlanc, Lillian Lim, Lily S. H. Lim, Nadia Luca, Jeanine McColl, Tara McGrath, Tamara McMillan, Megan McPherson, Paivi Miettunen, Kimberly Morishita, Honyan Ng, Jonathan Park, Jean‐Philippe Proulx‐Gauthier, Johannes Roth, Evelyn Rozenblyum, Dax G. Rumsey, Heinrike Schmeling, Rosie Scuccimarri, Gordon Soon, Rebeka Stevenson, Elizabeth Stringer, Herman Tam, Lori B. Tucker, Marinka Twilt, Ruud H. J. Verstegen, Karen Watanabe Duffy   +81 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

IEEE Access, 2017
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik   +2 more
doaj   +1 more source

Assessing the Sensitivity and the Clinical Impact of the 2023 American College of Rheumatology/EULAR Classification Criteria in Obstetric Antiphospholid Syndrome: Findings From a Multicenter Italian Cohort With a Long‐Term Follow‐Up

Arthritis Care &Research, EarlyView.
Objective The aim of this study was to evaluate the sensitivity of the 2023 American College of Rheumatology (ACR)/EULAR classification criteria for antiphospholipid syndrome (APS) in a real‐world cohort of women diagnosed with primary obstetric APS (oAPS) and to assess their ability to identify patients at risk of future pregnancy complications ...
Francesca Ruffilli, Cecilia Nalli, Francesca Crisafulli, Carlo Garaffoni, Marcello Govoni, Giulia Voltarel, Alba C. Pozzi, Beatrice Maranini, Ettore Silvagni, Alessandra Bortoluzzi, Angela Tincani   +10 more
wiley   +1 more source

From ODP Viewpoint Consistency to Integrated Formal Methods [PDF]

, 2013
Questions asked by research into ODP Viewpoint Consistency led to fundamental questions in refinement and contributed greatly to insights and interest in Integrated Formal Methods; research in those areas is still ongoing, while the answers provided ...
Derrick, John, Boiten, Eerke Albert
core   +1 more source

A Module-Based Method for Identifying Safety-Related Faults in Large-Scale Systems Using FTA

IEEE Access
Faults within the formal specification of a safety-critical system can lead to severe consequences for human life and property. While analyzing the safety of small-scale systems, analysts can focus on the processes as the primary target of analysis ...
Wen Jiang, Shaoying Liu
doaj   +1 more source

Formal specification and security verification of post-quantum OpenPGP in CafeOBJ [PDF]

PeerJ Computer Science
With the rapid advancement of quantum computing, classical cryptographic protocols face an increasing risk of being broken. The Post-Quantum OpenPGP (PQ OpenPGP) protocol is an extension of the OpenPGP standard that incorporates hybrid cryptography by ...
Trong Binh Hoang, Duong Dinh Tran, Canh Minh Do, Kazuhiro Ogata   +3 more
doaj   +2 more sources

Cumulative Social Disadvantage and Disease Activity in Juvenile Idiopathic Arthritis: A Childhood Arthritis and Rheumatology Research Alliance Registry Study

Arthritis Care &Research, EarlyView.
Objective Social determinants of health (SDOH) contribute to juvenile idiopathic arthritis (JIA) disparities, but most studies have assessed SDOH independently rather than cumulatively across individual, family, and neighborhood levels. Using a socioecological framework, we investigated the relationship among cumulative social disadvantage ...
William Daniel Soulsby, John Boscardin, Andrea Knight, Daniel B. Horton, Karine Toupin‐April, Emily von Scheven, on behalf of the Childhood Arthritis and Rheumatology Research Alliance (CARRA) Registry Investigators and for the CARRA Health Equity Work Group, R. Aamir, K. Abulaban, A. Adams, C. Aguiar Lapsia, H. Ahmed, S. Akoghlanian, A. AlBijadi, E. Allenspach, M. Alpizar, G. Amarilyo, M. Amoruso, S. Angeles‐Han, S. Ardoin, S. Armendariz, N. Aviran Dagan, I. Balboni, S. Balevic, S. Ballinger, S. Baluta, L. Barillas‐Arias, L. Barillas‐Arias, M. Basiaga, K. Baszis, M. Becker, A. Begezda, E. Beil, H. Bell‐Brunson, H. Benham, S. Benseler, L. Bermudez‐Santiago, W. Bernal, T. Bigley, C. Bingham, B. Binstadt, C. Black, B. Blackmon, M. Blakley, J. Bohnsack, A. Boneparth, H. Bradfield, J. Bridges, E. Brooks, M. Brothers, D. Brown, H. Brunner, L. Buckley, Mary Buckley, Meredith Buckley, H. Bukulmez, D. Bullock, A. Cancino, S. Canna, L. Cannon, S. Canny, V. Cartwright, E. Chalom, Johanna Chang, Joyce Chang, M. Chang, A. Chang‐Hoftman, A. Chen, P. Chiraseveenuprapund, K. Ciaglia, M. Cidon, D. Co, E. Cohen, R. Connor, K. Cook, A. Cooper, J. Cooper, K. Corbin, C. Correll, R. Cron, M. Curry, A. Dagci, A. Dalrymple, E. Datyner, T. Davis, D. De Ranieri, J. Dean, C. DeCoste, F. Dedeoglu, M. DeGuzman, N. Delnay, E. L. DeSantis, R. Devine, M. Dhalla, A. Dhanrajani, D. Dissanayake, B. Dizon, J. Drew, K. Driest, Q. Du, E. Duncan, K. Dunnock, D. Durkee, J. Dvergsten, A. Eberhard, K. Ede, B. Edelheit, C. Edens, M. Elder, Y. Elzaki, C. Failing, D. Fair, L. Favier, B. Feldman, J. Fennell, I. Ferguson, P. Ferguson, C. Figueroa, E. Flanagan, L. Fogel, E. Fox, M. Fox, L. Franklin, R. Fuhlbrigge, J. Fuller, T. Futch‐West, S. Gagne, M. Geiszler, D. Gerstbacher, M. Gilbert, A.C. Gironella, D. Glaser, I. Goh, S. Gorry, N. Goswami, B. Gottlieb, T. Graham, S. Grevich, T. Griffin, A. Grim, A. Grom, M. Guevara, L. Guzman, T. Hahn, O. Halyabar, E. Hammelev, T. Hammond, S. Haro, J. Harris, O. Harry, J. Hausmann, A. Hay, K. Hays, K. Hayward, L. Henderson, M. Henrickson, A. Hersh, L. Hiraki, M. Hiskey, P. Hobday, C. Hoffart, M. J. Holland, M. Hollander, S. Hong, D. Horton, J. Hsu, A. Huber, J. Huggins, J. Hui‐Yuen, M. Ibarra, A. Imlay, L. Imundo, C. Inman, A. Jackson, K. James, G. Janow, Y. Jiang, L. Johnson, N. Johnson, J. Jones, D. Kafisheh, K. Kaidar, S. Kasinathan, R. Kaur, E. Kessler, B. Kienzle, S. Kim, Y. Kimura, D. Kingsbury, M. Kitcharoensakkul, J. Klauss, K. Klein, M. Klein‐Gitelman, A. Knight, L. Kovalick, D. Krajewski, C. Kremer, T. LaFlam, B. Lang, S. Lapidus, B. Lapin, A. Lasky, E. Lawson, R. Laxer, A. Lee, Patricia Lee, Pui Lee, T. Lee, E. Leisinger, L. Lentini, M. Lerman, Y. Levinsky, D. Levy, S. Li, S. Lieberman, L. Lim, E. Limenis, C. Lin, N. Ling, G. Lionetti, R. Livny, M. Lo, A. Long, M. Lopez‐Peña, D. Lovell, S. Lvovich, A. Lytch, M. Ma, A. Machado, J. MacMahon, J. Madison, M. Mannion, C. Manos, L. Mansfield, B. Marston, K. Marzan, T. Mason, S. Matossian, L. McAllister, K. McBrearty, D. McCurdy, K. McDaniels, J. McDonald, L. McIntosh, E. Meidan, E. Mellins, Z. Mian, P. Miettunen, M. Miller, D. Milojevic, R. Mitacek, R. Modica, S. Mohan, K. Moore, T. Moore, L. Moorthy, J. Moreno, E. Morgan, A. Moyer, B. Murante, A. Murphy, E. Muscal, O. Mwizerwa, A. Najafi, K. Nanda, L. Nassi, S. Nativ, M. Natter, J. Neely, L. Newhall, A. Nuyen, P. Nigrovic, J. Nocton, B. Nolan, A. Nowakowski, K. Nowicki, R. Oakes, E. Oberle, S. Ogbonnaya‐Whittesley, E. Ogbu, M. Oliver, R. Olveda, K. Onel, A. Orandi, J. Padam, N. Pan, J. Pandya, S. Panupattanapong, A. Pappo Toledano, J. Patel, P. Patel, A. Patrick, S. Patrizi, S. Paul, J. Perfetto, M. Perron, M. Peskin, C. Pinotti, L. Ponder, R. Pooni, S. Prahalad, M. Quinlan‐Waters, J. Rafko, H. Rahimi, S. Ramsey, R. Randell, L. Ray, Ann Reed, Annelle Reed, H. Reid, D. Reiff, I. Reyhan, B. Richard, M. Riebschleger, E. Rife, M. Riskalla, A. Robinson, L. Robinson, L. Rodgers, M. Rodriquez, D. Rogers, T. Ronis, A. Rosado, M. Rosenkranz, N. Rosenwasser, H. Rothermel, D. Rothman, E. Rothschild, K. Rouster ‐ Stevens, T. Rubinstein, N. Ruth, S. Sabbagh, R. Sadun, L. Santiago, V. Saper, A. Sarkissian, L. Scalzi, J. Schahn, K. Schikler, A. Schlefman, B. Schlichting, H. Schmeling, E. Schmitt, G. Schulert, C. Schutt, C. Seper, B. Shaham, R. Sheets, A. Shehab, S. Shenoi, M. Sherman, J. Shirley, M. Shishov, N. Singer, V. Sivaraman, E. Sloan, C. Smith, J. Smith, E. Smitherman, J. Soep, M. B. Son, C. Spencer, L. Spiegel, J. Spitznagle, H. Srinivasalu, H. Stapp, A. Stephens, Y. Sterba Rakovchik, S. Stern, B. Stevens, R. Stevenson, C. Stingl, M. Stoll, E. Stringer, S. Sule, J. Sullivan, R. Sundel, M. Sutter, C. Swaffar, N. Swayne, T. Symington, G. Syverson, A.M. Szymanski, S. Taber, R. Tal, A. Tambralli, A. Taneja, T. Tanner, S. Tarvin, A. Taxter, M. Tesher, T. Thakurdeen, A. Theisen, G. Thieroff, B. Thomas, L. Thomas, N. Thomas, L. Timmerman, T. Ting, C. Todd, D. Toib, K. Torok, H. Tory, M. Toth, E. Treemarcki, S. Tse, T. Tse, C. Tsin, J. Twachtman‐Bassett, M. Twilt, T. Valcarcel, R. Valdovinos, A. Vallee, H. Van Mater, S. Vandenbergen, C. Varghese, N. Vasquez, P. Vega‐Fernandez, J. Verbsky, R. Verstegen, E. von Scheven, S. Vora, L. Wagner‐Weiner, D. Wahezi, S. Wakefield, B. Walker, S. Wallgren, H. Walters, M. Waterfield, J. Weiss, P. Weiss, E. Wershba, V. Westheuser, K. Widrick, C. Williams, S. Wong, S. Wooldridge, L. Woolnough, T. Wright, E. Wu, A. Yalcindag, R. Yeung, K. Yomogida, A. Zeft, Y. J. Zhang, Y. D. Zhao, Z. Zheng, A. Zhu, C. Zic   +448 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, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki   +7 more
doaj   +1 more source