Results 121 to 130 of about 1,997,974 (296)

Errata to "Formations of Monoids, Congruences, and Formal Languages" [PDF]

Scientific Annals of Computer Science, 2016
[1] A. Ballester-Bolinches, E. Cosme-Llópez, R. Esteban Romero, and J.J.M.M. Rutten. Formations of monoids, congruences, and formal languages. Scientific Annals of Computer Science, 25(2):171–209, 2015. doi:10.7561/SACS.2015.2.171.
A. Ballester-Bolinches, E. Cosme-Llópez, R. Esteban-Romero, J.J.M.M. Rutten   +3 more
doaj  

Formal languages and TQFTs with defects

Journal of Geometry and Physics
A construction that assigns a Boolean 1D TQFT with defects to a finite state automaton was recently developed by Gustafson, Im, Kaldawy, Khovanov, and Lihn. We show that the construction is functorial with respect to the category of finite state automata with transducers as morphisms.
Luisa Boateng, Matilde Marcolli
openaire   +3 more sources

Clinical Significance of Therapeutic Drug Level Monitoring for Mycophenolate in Patients With Extrarenal Systemic Lupus Erythematosus—A Systematic Review and Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective Clinical response to mycophenolic acid (MPA) is highly heterogeneous; thus, therapeutic drug level monitoring (TDM) may help improve treatment efficacy. This systematic review and meta‐analysis examined therapeutic ranges for MPA levels associated with better outcomes and safety in patients with systemic lupus erythematosus (SLE ...
Zahraa Qamhieh, Dalia Sriwi, Callie Saric, Tripti Singh, Christie M. Bartels, Shivani Garg   +5 more
wiley   +1 more source

On languages of automaton counter machines

Моделирование и анализ информационных систем, 2010
Some properties of formal languages (ACML) of automaton counter machines are investigated. We show that a class of these languages is closed with respect to the following operations: union, intersection by regular sets, concatenation, infinite iteration (
E. V. Kuzmin, D. Ju. Chalyy
doaj  

Integrating Patient‐Reported Quality Measures in Systemic Lupus Erythematosus: Development of the American College of Rheumatology Implementation Guide

Arthritis Care &Research, EarlyView.
Objective To support high‐quality, patient‐centered care for systemic lupus erythematosus (SLE), the American College of Rheumatology (ACR) developed evidence‐based measures incorporating clinical and patient‐reported outcome measures (PROMs). Using the Consolidated Framework for Implementation Research (CFIR), we conducted semistructured interviews ...
Catherine Nasrallah, Cherish Wilson, Christine Hariz, Christie M. Bartels, Shanthini Kasturi, Wambui Machua, Amy Bennett, Kate Chiseri, Allison Plitman, Starla Hairston Blanks, April Jorge, Patti Katz, Jinoos Yazdany, Shivani Garg   +13 more
wiley   +1 more source

The Formal Specification Language mCRL2

, 2007
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and
J.F. Groote (Jan Friso), A.H.J. Mathijssen (Aad), Y.S. Usenko (Yaroslav), M.A. Reniers (Michel), M.J. van Weerdenburg (Muck)   +4 more
openaire   +6 more sources

AFLA 22: the Proceedings of the 22nd meeting of the Austronesian Formal Linguistics Association [PDF]

, 2016
The Austronesian Formal Linguistics Association (AFLA) is an organization that promotes the study of Austronesian languages from a formal perspective. The 22nd annual meeting of the Austronesian Formal Linguistics Association (AFLA 22) was held at McGill
Austronesian Formal Linguistics Association
core  

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

Building a Framework for Sexual and Reproductive Health Care in the Rheumatology Context: Content and Approaches

Arthritis Care &Research, EarlyView.
People with systemic autoimmune and rheumatic diseases (SARDs) are at higher risk than the general population of experiencing adverse pregnancy and perinatal outcomes such as preeclampsia, intrauterine growth restriction, and maternal and/or fetal death.
Mehret Birru Talabi, Sonya Borrero
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