Results 1 to 10 of about 355,367 (223)
SAGE Open Medical Case Reports, 2020 We would like to thank our peer reviewers who take the time to submit thoughtful contributions to Acta Medica Alanya. We know how much time and effort goes into writing a good peer review, and we deeply value the input of reviewers who volunteer their ...
Addicta: The Turkish Journal on Addictions
doaj +20 more sources
Automatically detecting open academic review praise and criticism [PDF]
, 2020 This is an accepted manuscript of an article published by Emerald in Online Information Review on 15 June 2020. The accepted version of the publication may differ from the final published version, accessible at https://doi.org/10.1108/OIR-11-2019-0347.
Allen, Liz +4 more
core +1 more source
5-list-coloring planar graphs with distant precolored vertices [PDF]
, 2016 We answer positively the question of Albertson asking whether every planar graph can be $5$-list-colored even if it contains precolored vertices, as long as they are sufficiently far apart from each other.
Albertson +19 more
core +4 more sources
Proviola: A Tool for Proof Re-animation [PDF]
, 2010 To improve on existing models of interaction with a proof assistant (PA), in particular for storage and replay of proofs, we in- troduce three related concepts, those of: a proof movie, consisting of frames which record both user input and the ...
Autexier, S. +4 more
core +7 more sources