Results 241 to 250 of about 717,652 (279)

How LLMs can advance safety case intake-points to consider and insights from a proof of concept. [PDF]

Ther Adv Drug Saf
Roemming HJ, Hauben M, Wannhoff W, Schaffer C, Tihaa I, Heitmann M, Mengling V.   +6 more
europepmc   +1 more source

Exploring brain glucose metabolism in multiple sclerosis: A deuterium metabolic imaging study. [PDF]

J Cereb Blood Flow Metab
Khan AS, Trosborg KK, Vaeggemose M, Gaemelke T, Hansen ESS, Christensen NV, Miller JJ, Schulte RF, Tørring CW, Dalgas U, Hvid LG, Laustsen C.   +11 more
europepmc   +1 more source

Machine learning prediction of 1-year mortality in older patients with heart failure: a nationwide, multicenter, prospective cohort study. [PDF]

Lancet Reg Health West Pac
Yamada K, Kagiyama N, Morisawa T, Saitoh M, Iwata K, Kato M, Sakurada K, Kono Y, Iida Y, Taya M, Funami Y, Kamiya K, Takahashi T.   +12 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Could we use the comfort score instead of the numeric rating pain score? A proof of concept pilot study

American Journal of Emergency Medicine, 2023
Asking patients about pain in the Emergency Department (ED) when deriving a pain score may aggravate perception of pain due to the nocebo-effect. A strategy for diminishing this nocebo-effect is cognitive reframing. Cognitive reframing of the frequently used pain score (PS) in the ED could theoretically be obtained by using the comfort score (CS).
T I B, van Dorp, M, Kwant, H, Lameijer
exaly   +3 more sources

IPSG: Invariant Proof Score Generator

2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 2022
Duong Dinh Tran, Kazuhiro Ogata
exaly   +2 more sources

Proof-of-concept study of a multi-gene risk score in adolescent bipolar disorder

Journal of Affective Disorders, 2020
Few studies have examined multiple genetic variants concurrently for the purpose of classifying bipolar disorder (BD); the literature among youth is particularly sparse. We selected 35 genetic variants, previously implicated in BD or associated characteristics, from which to identify the most robustly predictive group of genes.215 Caucasian adolescents
Mikaela K Dimick, Jaime Cazes, Clement C Zai   +2 more
exaly   +3 more sources

Advances of Proof Scores in CafeOBJ : Invited Paper

2021 International Symposium on Theoretical Aspects of Software Engineering (TASE), 2021
Critical flaws continue to exist at the level of domain, requirement, and/or design specification, and specification verification (i.e. to check whether a specification has desirable properties) is still one of the most important challenges in software/system engineering.
openaire   +1 more source

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

ACM Transactions on Software Engineering and Methodology, 2018
CafeOBJ is a language for writing formal specifications for a wide variety of software and hardware systems and for verifying their properties. CafeOBJ makes it possible to verify properties by using either proof scores, which consists of reducing goal-related terms in user-defined modules, or by using theorem proving. While the former is more flexible,
Adrián Riesco 0001, Kazuhiro Ogata 0001
openaire   +1 more source

Strategy-proofness of scoring allocation correspondences for indivisible goods

Social Choice and Welfare, 2017
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nhan-Tam Nguyen, Dorothea Baumeister, Jörg Rothe   +2 more
openaire   +3 more sources