|
Rigorous Component-Based System Design / (Invited Paper) /Ananda Basu, Saddek Bensalem, Marius Bozga and Joseph Sifakis --
|
2012
|
1
|
|
Rigorous Design of Lazy Replication System Using Event-B / / Raghuraj Suryavanshi and Divakar Yadav --
|
2012
|
1
|
|
Rigorous dimension estimates for Cantor sets arising in Zaremba theory / / Oliver Jenkinson and Mark Pollicott --http://www.ams.org/conm/744/https://doi.org/10.1090/conm/744/14980
|
2020
|
1
|
|
Rigorous distillation calculations / / Joe R. Haas --
|
1992
|
1
|
|
Rigorous performance analysis of state-of-the-art TSP heuristic solvers / / Paul McMenemy, Nadarajen Veerapen, Jason Adair, and Gabriela Ochoa --8.
|
2019
|
1
|
|
Rigorous Polynomial Approximation Using Taylor Models in Coq / / Nicolas Brisebarre, Mioara Joldeş, Érik Martin-Dorel, Micaela Mayero and Jean-Michel Muller, et al. --
|
2012
|
1
|
|
A Rigorous Reasoning about Model Transformations Using the B Method / / Akram Idani, Yves Ledru, Adil Anwar --
|
2013
|
1
|
|
A Rigorous Runtime Analysis for Quasi-Random Restarts and Decreasing Stepsize / / Marc Schoenauer, Fabien Teytaud, Olivier Teytaud --
|
2012
|
1
|
|
Rigour and relevance: the role of practice-based evidence in the psychological therapies / / Michael Barkham, John Mellor-Clark --
|
2000
|
1
|