Results 251 to 260 of about 566,370 (267)
Some of the next articles are maybe not open access.
Verifying Specifications with Proof Scores in CafeOBJ
21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), 2006Verifying specifications is still one of the most important undeveloped research topics in software engineering. It is important because quite a few critical bugs are caused at the level of domains, requirements, and/or designs. It is also important for the cases where no program codes are generated and specifications are analyzed and verified only for
openaire +1 more source
Strategy Proof Scoring Rule Lotteries for Multiple Winners
Journal of Public Economic Theory, 2013AbstractWe develop a lottery procedure for selecting multiple winners that is strategy proof. The rule assigns points to each candidate based on any standard scoring rule method, and then uses one draw to select a single winning set of candidates in proportion to their collective score.
JAC C. HECKELMAN, FREDERICK H. CHEN
openaire +1 more source
The 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
openaire +2 more sources
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
openaire +2 more sources
Journal of Graph Theory, 2001
AbstractAo and Hanson, and Guiduli, Gyárfás, Thomassé and Weidl independently, proved the following result: For any tournament score sequence S = (s1, s2, … ,sn) with s1≤s2 ≤ … ≤ sn, there exists a tournament T on vertex set {1,2, …, n} such that the score of each vertex i is si and the sub‐tournaments of T on both the even and the odd indexed vertices
Richard A. Brualdi, Jian Shen
openaire +2 more sources
AbstractAo and Hanson, and Guiduli, Gyárfás, Thomassé and Weidl independently, proved the following result: For any tournament score sequence S = (s1, s2, … ,sn) with s1≤s2 ≤ … ≤ sn, there exists a tournament T on vertex set {1,2, …, n} such that the score of each vertex i is si and the sub‐tournaments of T on both the even and the odd indexed vertices
Richard A. Brualdi, Jian Shen
openaire +2 more sources
Proof-of-concept study of a multi-gene risk score in adolescent bipolar disorder
Journal of Affective Disorders, 2020Few 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 +8 more
openaire +2 more sources
Five Portraits: proof for full score, page 2
2018Score for violin and piano; Commissioned by the McKim Fund in The Library of ...
openaire +2 more sources
Psychometrika, 2018
In multidimensional item response models, paradoxical scoring effects can arise, wherein correct answers are penalized and incorrect answers are rewarded. For the most prominent class of IRT models, the class of linearly compensatory models, a general derivation of paradoxical scoring effects based on the geometry of item discrimination vectors is ...
Jordan, Pascal, Spiess, Martin
openaire +2 more sources
In multidimensional item response models, paradoxical scoring effects can arise, wherein correct answers are penalized and incorrect answers are rewarded. For the most prominent class of IRT models, the class of linearly compensatory models, a general derivation of paradoxical scoring effects based on the geometry of item discrimination vectors is ...
Jordan, Pascal, Spiess, Martin
openaire +2 more sources
Prediction of pink esthetic score using deep learning: A proof of concept
Journal of DentistryThis study aimed to develop a deep learning (DL) model for the predictive esthetic evaluation of single-implant treatments in the esthetic zone.A total of 226 samples, each comprising three intraoral photographs and 12 clinical features, were collected for proof of concept.
Ziang Wu +8 more
openaire +2 more sources
A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler
2018An interpreter for an imperative programming language called Minila has been formally specified in CafeOBJ, an executable specification language, and so have a virtually machine (VM) and a compiler. The compiler transforms a Minila program into an instruction sequence processed by the VM.
Dorian Daudier +2 more
openaire +1 more source