enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. Arun Sharma (computer scientist) - Wikipedia

    en.wikipedia.org/wiki/Arun_Sharma_(computer...

    Arun Sharma is an Indian Australian computer science professor. He is a distinguished emeritus professor at the Queensland University of Technology (QUT) where he was the Deputy Vice-Chancellor for Research and Commercialisation from 2004 to 2019. [1] [2] He is the Council Chair of the QIMR Berghofer Medical Research Institute. [3]

  3. Solomonoff's theory of inductive inference - Wikipedia

    en.wikipedia.org/wiki/Solomonoff's_theory_of...

    Solomonoff's theory of inductive inference is a mathematical theory of induction introduced by Ray Solomonoff, based on probability theory and theoretical computer science. [ 1][ 2][ 3] In essence, Solomonoff's induction derives the posterior probability of any computable theory, given a sequence of observed data.

  4. Arun Shridhar Vaidya - Wikipedia

    en.wikipedia.org/wiki/Arun_Shridhar_Vaidya

    General Arunkumar Shridhar Vaidya[ 1] PVSM, MVC & Bar, AVSM, ADC (27 July 1926 – 10 August 1986) was an Indian Army general. He served as the 12th Chief of the Army Staff from 1983 to 1986. Following his retirement, he was assassinated by Harjinder Singh Jinda and Sukhdev Singh Sukha in August 1986, for his role in Operation Blue Star in 1984.

  5. Arun Shourie - Wikipedia

    en.wikipedia.org/wiki/Arun_Shourie

    Arun Shourie (born 2 November 1941 [1]) is an Indian economist, journalist, author and politician. [2] He has worked as an economist with the World Bank , a consultant to the Planning Commission of India , editor of the Indian Express and The Times of India and a Minister of Communications and Information Technology in the Vajpayee Ministry ...

  6. Handbook of Automated Reasoning - Wikipedia

    en.wikipedia.org/.../Handbook_of_Automated_Reasoning

    The Handbook of Automated Reasoning ( ISBN 0444508139, 2128 pages) is a collection of survey articles on the field of automated reasoning. Published in June 2001 by MIT Press, it is edited by John Alan Robinson and Andrei Voronkov. Volume 1 describes methods for classical logic, first-order logic with equality and other theories, and induction.

  7. Book Review: 'Secret Life of the Universe' is a primer on ...

    www.aol.com/news/book-review-secret-life...

    In “The Secret Life of the Universe: An Astrobiologist's Search for the Origins and Frontiers of Life,” readers won't walk away with a clear-cut answer to that question. Cabrol writes that we ...

  8. Arun Kumar Sharma - Wikipedia

    en.wikipedia.org/wiki/Arun_Kumar_Sharma

    Arun Kumar Sharma (1924 – 2017), popularly known as AKS, was an Indian cytogeneticist, cell biologist, cytochemist and a former Sir Rashbehary Ghose Professor and Head of the Department of Botany at the University of Kolkata, College of Science and Technology. [2] Considered by many as the father of Indian cytology, [3] [4] he headed the ...

  9. Arun Sarma - Wikipedia

    en.wikipedia.org/wiki/Arun_Sarma

    Nandinee Sharma Kalita, Ochintya Sharma. Arun Sarma (3 November 1931 – 27 March 2017) was a writer of Assam. Arun Sarma was one of Assam's contemporary playwrights and is particularly known for his unconventional plays with some elements of drama. Besides drama, he also authored over six novels detailing the Assamese way of life. [ 1]