When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. GE C30-7 - Wikipedia

    en.wikipedia.org/wiki/GE_C30-7

    A variant of the C30-7, 50 GE C30-7As were purchased by Conrail in mid-1984. Externally similar to the GE C30-7 model, six tall hood doors per side (in place of eight) showed it had a 12-cylinder (rather than 16-cylinder) prime mover. Both engines produced 3,000 horsepower (2,200 kW) but the C30-7A's smaller engine used less fuel.

  3. Counterexample-guided abstraction refinement - Wikipedia

    en.wikipedia.org/wiki/Counterexample-guided...

    [1] [2] It is also applied in modal logic tableau calculi algorithms to optimise their efficiency. [3] In computer-aided verification and analysis of programs, models of computation often consist of states. Models for even small programs, however, may have an enormous number of states. This is identified as the state explosion problem. [4]

  4. Lecture Notes in Physics - Wikipedia

    en.wikipedia.org/wiki/Lecture_Notes_in_Physics

    Lecture Notes in Physics (LNP) is a book series published by Springer Science+Business Media in the field of physics, including articles related to both research and teaching. It was established in 1969.

  5. Lecture Notes in Computer Science - Wikipedia

    en.wikipedia.org/wiki/Lecture_Notes_in_Computer...

    Lecture Notes in Computer Science is a series of computer science books published by Springer Science+Business Media since 1973. Overview

  6. List of optometric abbreviations - Wikipedia

    en.wikipedia.org/wiki/List_of_optometric...

    Description (notes) AC: Anterior chamber: fluid-filled space between the iris and the endothelium: AC 4/4: Grade 4 anterior chamber angle: open angle between cornea and iris AC 3/4: Grade 3 anterior chamber angle: AC 2/4: Grade 2 anterior chamber angle: AC 1/4: Grade 1 anterior chamber angle: AC 0/4: Grade 0 anterior chamber angle: closed angle ...

  7. Lenstra–Lenstra–Lovász lattice basis reduction algorithm

    en.wikipedia.org/wiki/Lenstra–Lenstra–Lovász...

    An early successful application of the LLL algorithm was its use by Andrew Odlyzko and Herman te Riele in disproving Mertens conjecture. [5]The LLL algorithm has found numerous other applications in MIMO detection algorithms [6] and cryptanalysis of public-key encryption schemes: knapsack cryptosystems, RSA with particular settings, NTRUEncrypt, and so forth.

  8. Lecture Notes in Mathematics - Wikipedia

    en.wikipedia.org/wiki/Lecture_Notes_in_Mathematics

    Lecture Notes in Mathematics is a book series in the field of mathematics, including articles related to both research and teaching. It was established in 1964 and was edited by A. Dold, Heidelberg and B. Eckmann, Zürich. Its publisher is Springer Science+Business Media (formerly Springer-Verlag).

  9. Jean-Jacques Moreau - Wikipedia

    en.wikipedia.org/wiki/Jean-Jacques_Moreau

    Jean Jacques Moreau (31 July 1923 – 9 January 2014) [1] ... Analysis and Modeling", Springer Verlag, Lecture Notes in Physics 551, 2000, pp. 1–60.