Results 241 to 250 of about 1,892,548 (284)
Some of the next articles are maybe not open access.
2015
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation.
openaire +1 more source
Some parts of the software verification process require human annotation, but as much as possible of the rest should be automatic. An excellent candidate for full automation is change analysis, also known as the frame problem: how to determine which program properties remain unchanged under a given operation.
openaire +1 more source
Classification and function of small open reading frames
Nature Reviews Molecular Cell Biology, 2017Pedro Patraquim
exaly
Reference frames, superselection rules, and quantum information
Reviews of Modern Physics, 2007Terry Rudolph, Robert W Spekkens
exaly