Search results: Sage Journals

Restricted accessResearch articleFirst published May 13, 2020

A statistical anytime algorithm for the Halting Problem

Cristian S. Calude, Monica Dumitrescu

Computability

Restricted accessResearch articleFirst published June 7, 2018

Cristian S. Calude, Monica Dumitrescu

Computability

Restricted accessResearch articleFirst published October, 1999

Richard H. Lathrop

Journal of Computational Biology

Restricted accessResearch articleFirst published April, 2020

Rodrick Wallace

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Restricted accessResearch articleFirst published May, 2011

Esha D Nerurkar, Stergios I Roumeliotis

The International Journal of Robotics Research

Restricted accessResearch articleFirst published July, 2022

Rodrick Wallace

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Open accessResearch articleFirst published June, 2020

Alexander Nadel

Journal on Satisfiability,Boolean Modelling and Computation

Restricted accessResearch articleFirst published October, 2010

Boris Melnikov

Fundamenta Informaticae

Restricted accessResearch articleFirst published 1998

How-Ming Shieh, Ming-Der May

Transportation Research Record: Journal of the Transportation Research Board

Restricted accessResearch articleFirst published July, 2010

Geoffrey Hollinger, Sanjiv Singh, Athanasios Kehagias

The International Journal of Robotics Research