Results 261 to 267 of about 566,370 (267)

Comparative judgement, proof summaries and proof comprehension

Educational Studies in Mathematics, 2020
Ben Davies, Lara Alcock, Ian Jones
exaly  

The R.E.N.A.L. nephrometry scoring from CT reports with ChatGPT: example with proofs

Japanese Journal of Radiology
Ayşenur Topçu Varlık, Esat Kaba, Gülen Burakgazi   +2 more
openaire   +2 more sources

Generating Test Cases for Invariant Properties from Proof Scores in the OTS/CafeOBJ Method

IEICE Transactions on Information and Systems, 2009
exaly  

Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores

PeerJ Computer Science
Duong Dinh Tran, Kazuhiro Ogata
exaly  

Proof of burden: Scores of contaminants course through people's veins

Science News, 2003
openaire   +1 more source

Validation of UML Class Diagram and OCL pre-and post-conditions using OTS/CafeOBJ proof scores

2020
exaly  

Reply to "The R.E.N.A.L. nephrometry scoring from CT reports with ChatGPT: example with proofs"

Japanese Journal of Radiology
Ayaka Harigai, Yoshitaka Toyama, Kei Takase   +2 more
openaire   +2 more sources