Results 261 to 270 of about 255,127 (277)
Some of the next articles are maybe not open access.
2006
The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key issues for its effective use are illustrated, in particular by a case-study referring to bisimulations,
OMODEO E. G +3 more
openaire +5 more sources
The Referee system (aka AetnaNova), accessible on the Web, ingests bodies of text which it either certifies as constituting a valid sequence of definitions and theorems, or rejects as defective. The functionality of this proof verifier and the key issues for its effective use are illustrated, in particular by a case-study referring to bisimulations,
OMODEO E. G +3 more
openaire +5 more sources
IEEE Transactions on Professional Communication, 1977
Thank you for giving me the opportunity to review the author's paper on sealed bidding using chance-constrained programming. I also had a knowledgeable colleague. Mr. R. V. Clapp, look at the paper so that what I give you will be the consensus of our reviews. You may tell the authors anything which I tell you. This actual referee's report is published
openaire +3 more sources
Thank you for giving me the opportunity to review the author's paper on sealed bidding using chance-constrained programming. I also had a knowledgeable colleague. Mr. R. V. Clapp, look at the paper so that what I give you will be the consensus of our reviews. You may tell the authors anything which I tell you. This actual referee's report is published
openaire +3 more sources
Refereeing Mortus Est, Vivat Refereeing
Cortex, 2002Sergio Della Sala, Jordan Grafman
openaire +3 more sources