Results 251 to 260 of about 53,424 (299)
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,
Eugenio G. Omodeo +3 more
openaire +4 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,
Eugenio G. Omodeo +3 more
openaire +4 more sources
Refereeing Mortus Est, Vivat Refereeing
Cortex, 2002Sergio, Della Sala, Jordan, Grafman
openaire +2 more sources
2006 2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing, 2006
openaire +2 more sources
openaire +2 more sources
Exploring referee abuse through the lens of the collegiate rugby coach
Sport Management Review, 2020Jacob K Tingle, Mark Smith, Brent D Oja
exaly