Results 61 to 70 of about 147,861 (260)

Semantic Consistency and Correctness Verification of Digital Traffic Rules

Engineering
The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human drivers.
Lei Wan, Changjun Wang, Daxin Luo, Hang Liu, Sha Ma, Weichao Hu   +5 more
doaj   +1 more source

Portmanteau constructions, phrase structure and linearization

Frontiers in Psychology, 2015
In bilingual code-switching which involves language-pairs with contrasting head-complement orders (i.e. head-initial vs head-final), a head may be lexicalized from both languages with its complement sandwiched in the middle.
Brian Hok-Shing Chan
doaj   +1 more source

The Faithfulness Gap: Certifying Semantic Equivalence Between Natural-Language and Formal Mathematical Statements

Autoformalization, translating natural-language mathematics into formal proof assistants, is bottlenecked not by translation fluency but by \emph{faithfulness}: a formal statement can typecheck and be provable, yet still encode a different theorem than the source intended.
Mohammad, Noor Islam S., Sheikh, Tamim
openaire   +2 more sources

Formal Verification of Digital Circuits Using Simulator with Mathematical Foundation

Applied Mechanics and Materials, 2019
To ease hardware design process, circuits are normally designed in description languages such as Verilog and VHDL. The correctness of circuits is normally checked by exhaustive simulation in simulators such as Icarus and VCS.
Wilayat Khan, Basim Azam, Noman Shahid, Abdul Moeed Khan, Ahtisham Shaheen   +4 more
semanticscholar   +1 more source

Differential Item Functioning on the Patient Health Questionnaire 8 by Disease Subtype, Language, Sex, and Age Among People With Systemic Sclerosis: A Scleroderma Patient‐Centered Intervention Network Cohort Study

Arthritis Care &Research, EarlyView.
Objective Somatic items used in depression assessments can potentially overlap with symptoms related to physical illness, including systemic sclerosis (SSc). No studies have looked at whether somatic depression items may be influenced by diffuse versus limited SSc disease subtypes, which are associated with varying degrees of symptom presentation.
Sophie Hu, Marie‐Eve Carrier, Marie‐Claude Geoffroy, Meira Golberg, Linda Kwakkenbos, Susan J. Bartlett, Catherine Fortuné, Amy Gietzen, Karen Gottesman, Geneviève Guillot, Laura K. Hummers, Amanda Lawrie‐Jones, Vanessa L. Malcarne, Michelle Richard, Maureen Sauvé, Luc Mouthon, Andrea Benedetti, Brett D. Thombs, on behalf of the SPIN Investigators, Claire E. Adams, Marie Hudson, Maureen D. Mayes, James Stempel, Robyn K. Wojeck, Christian Agard, Laurent Alric, Marc André, Floryan Beaslay, Elana J. Bernstein, Sabine Berthier, Lyne Bissonnette, Sophie Blaise, Eva Bories, Alessandra Bruns, Carlotta Cacciatore, Patricia Carreira, Marion Casadevall, Benjamin Chaigne, Lorinda Chung, Benjamin Crichi, Thylbert Deltombe, Christopher P. Denton, Tannvir Desroche, Robyn Domsic, James V. Dunne, Bertrand Dunogue, Regina Fare, Dominique Farge‐Bancel, Paul R. Fortin, Tracy Frech, Loraine Gauzère, Anne Gerber, Jessica K. Gordon, Brigitte Granel‐Rey, Aurélien Guffroy, Geneviève Gyger, Eric Hachulla, Daphna Harel, Monique Hinchcliff, Sabrina Hoa, Michael Hugues, Alena Ikic, Sindhu R. Johnson, Nader Khalidi, Kimberly S. Lakin, Marc Lambert, Maggie Larche, David Launay, Yvonne C. Lee, Paul Legendre, Catarina Leite, Hélène Maillard, Nancy Maltez, Joanne Manning, Isabelle Marie, Maria Martin Lopez, Thierry Martin, Ariel Masetto, Arsène Mekinian, Sheila Melchor Díaz, Morgane Mourguet, Christelle Nguyen, Karen Nielsen, Mandana Nikpour, Louis Olagne, Vincent Poindron, Janet Pope, Susanna Proudman, Grégory Pugnet, Loïc Raffray, François Rannou, Alexis Régent, Frederic Renou, Sébastien Rivière, David Robinson, Esther Rodríguez Almazar, Tatiana Sofia Rodríguez‐Reyna, Sophie Roux, Perrine Smets, Vincent Sobanski, Robert F. Spiera, Virginia Steen, Evelyn Sutton, Carter Thorne, Damien Vagner, John Varga, Pearce Wilcox, Vanessa Cook, Cassidy Dal Santo, Monica D'Onofrio, Elsa‐Lynn Nassar   +110 more
wiley   +1 more source

Retractions in Rheumatology: Trends, Causes, and Implications for Research Integrity

Arthritis Care &Research, EarlyView.
Objective We aimed to describe the trends and main reasons for study retraction in rheumatology literature. Methods We reviewed the Retraction Watch database to identify retracted articles in rheumatology. We recorded the main study characteristics, authors’ countries, reasons for retraction, time from publication to retraction, and trends over time ...
Anna Maria Vettori, Michele Iudici
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

Pain and Patient‐Reported Physical Function Did Not Differ Among Body Composition Profiles in Patients With Hip Osteoarthritis

Arthritis Care &Research, EarlyView.
Objective To explore whether higher body fat and lower lean mass are associated with greater pain and worse patient‐reported physical function in individuals with hip osteoarthritis (OA). A secondary aim was to examine whether pain and patient‐reported physical function differ according to four body composition profiles: high body fat, low lean mass ...
Alexandra Ryan, Boliang Wang, Fiona Dobson, Ben Kirk, Travis Haber, Kim L. Bennell, Shirley P. Yu, Kim Allison, Ricardo J. S. Costa, Gabrielle Knox, Michelle Hall   +10 more
wiley   +1 more source

Obesity Subtypes and Longitudinal Trajectories of Function Over Seven Years of Follow‐Up: Data From the Multicenter Osteoarthritis Study

Arthritis Care &Research, EarlyView.
Objective Obesity, defined by body mass index (BMI) ≥30 kg/m2, is a risk factor for functional limitations in people with knee osteoarthritis (OA). However, function varies among such individuals. Our objective was to evaluate the implications of obesity subtypes on longitudinal patterns of physical functioning in people with or at risk for knee OA ...
Kristine Godziuk, Sarah Tilley, Michael LaValley, Michael C. Nevitt, Cora E. Lewis, James C. Torner, Tuhina Neogi, for the Multicenter Osteoarthritis Study Group   +7 more
wiley   +1 more source

Clinical, Histologic, and Serological Predictors of Renal Function Loss in Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Kidney survival is the ultimate goal in lupus nephritis (LN) management, but long‐term predictors remain inadequately studied, requiring long‐term follow‐up. This study aimed to identify baseline and early longitudinal predictors of kidney survival in the Accelerating Medicines Partnership LN longitudinal cohort.
Shangzhu Zhang, Laurence Magder, Daniel Goldman, Judith A. James, Joel M. Guthridge, Carla Guthridge, Peter Izmirly, Jill P. Buyon, H. Michael Belmont, Richard A. Furie, Noa Schwartz, Chaim Putterman, Jennifer L. Barnas, Jennifer H. Anolik, Sarah French, Maria Dall'Era, Avi Z. Rosenberg, Jeffrey Hodgin, Dawit S. Demeke, the Accelerating Medicines Partnership Rheumatoid Arthritis and Systemic Lupus Erythematosus (RA/SLE) Network, Michelle Petri, Andrea Fava   +21 more
wiley   +1 more source