Results 91 to 100 of about 852,128 (332)
Source Code Annotations as Formal Languages [PDF]
Annals of computer science and information systems, 2015 Milan Nosáľ +2 more
doaj +1 more source
Arthritis Care &Research, EarlyView.Objective Asymptomatic hyperuricemia is a precursor of gout and is also associated with cardiovascular disease and chronic kidney disease. The aim of this study was to understand perceptions about asymptomatic hyperuricemia and views about urate‐lowering therapy in people with asymptomatic hyperuricemia. Methods Participants in a multinational study of
Nicola Dalbeth +19 more
wiley +1 more source
Formal Properties of XML Grammars and Languages
, 2000 XML documents are described by a document type definition (DTD). An XML-grammar is a formal grammar that captures the syntactic features of a DTD. We investigate properties of this family of grammars.
Berstel, Jean, Boasson, Luc
core +1 more source
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 +14 more
wiley +1 more source
The Notion of Truth in Natural and Formal Languages [PDF]
For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts.
Olcott, Pete
core
Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans [PDF]
, 2014 Phillip James, Markus Roggenbach
openalex +2 more sources
Toward Formal Models and Languages for Verifiable Multi-Robot Systems
Frontiers in Robotics and AI, 2018 Incorrect operation of a multi-robot system (MRS) may not only lead to unsatisfactory results, but it can also cause economic losses and jeopardize safety.
Rocco De Nicola +2 more
doaj +1 more source
INDUCTIVE INFERENCE OF FORMAL LANGUAGES [PDF]
Bulletin of informatics and cybernetics, 1995 The inductive inference, a general (conjectured) rule may be derived from (eventually incomplete) data. A mathematical model of inductive inference (based on the identification in the limit paradigm) has been proposed by \textit{E. M. Gold} [Inf. Control 10, 447-474 (1967; Zbl 0259.68032)].
openaire +2 more sources
Serum Soluble Mediator Signatures of Lupus Nephritis: Histologic Features and Response to Treatment
Arthritis Care &Research, EarlyView.Objective Lupus nephritis (LN) management remains challenging, and novel noninvasive biomarkers are needed. This study quantified serum soluble mediators in the Accelerating Medicines Partnership (AMP) LN cohort to identify biomarkers of histologic features and treatment response.
Andrea Fava +48 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This systematic review aimed to assess the diagnostic accuracy of algorithms used to identify rheumatoid arthritis and juvenile idiopathic arthritis in electronic health records. Methods We searched Medline, Embase, and Cochrane Central Register for Controlled Trials databases and included studies that validated case definitions against a ...
Constanza Saka‐Herrán +10 more
wiley +1 more source