 | The topic of this article may not meet Wikipedia's general notability guideline .(January 2023) |
ICCE I and ICCE II were digital computers built at the Imperial College Department of Mathematics in the post-war period.
| The topic of this article may not meet Wikipedia's general notability guideline .(January 2023) |
ICCE I and ICCE II were digital computers built at the Imperial College Department of Mathematics in the post-war period.
The first Imperial College Computing Engine, ICCE I, [1] [2] was constructed by Sidney Michaelson, Tony Brooker and Keith Tocher in the Department of Mathematics at Imperial College London in the late 1940s and early 1950s. It was a relay based machine which gave relatively slow but highly reliable service. Its current whereabouts are unknown. [3]
ICCE II [4] was constructed by Sidney Michaelson, Keith Tocher and Manny Lehman in the early 1950s. This valve based machine was never completed. ICCE II was taken by Keith Tocher to British Steel. Its current whereabouts are unknown.[ citation needed ]
ICCE I and II influenced the design of SABRAC, the computer constructed in Israel by The Israeli MoD Scientific Department. [5]
In 1956/7, the project was forcibly terminated. [6] Staff dispersed. In 1951 Tony Brooker had left to join the Computing Machine Laboratory at the University of Manchester. Keith Tocher took ICCE II and went to work at British Steel, Sidney Michaelson went to the University of Edinburgh and founded the Computer Unit which subsequently became the Department of Computer Science, now the school of informatics. Manny Lehman ultimately joined the Israeli MoD Scientific Department which subsequently became Rafael.
Presburger arithmetic is the first-order theory of the natural numbers with addition, named in honor of Mojżesz Presburger, who introduced it in 1929. The signature of Presburger arithmetic contains only the addition operation and equality, omitting the multiplication operation entirely. The theory is computably axiomatizable; the axioms include a schema of induction.
In computing, especially digital signal processing, the multiply–accumulate (MAC) or multiply-add (MAD) operation is a common step that computes the product of two numbers and adds that product to an accumulator. The hardware unit that performs the operation is known as a multiplier–accumulator ; the operation itself is also often called a MAC or a MAD operation. The MAC operation modifies an accumulator a:
The DEUCE was one of the earliest British commercially available computers, built by English Electric from 1955. It was the production version of the Pilot ACE, itself a cut-down version of Alan Turing's ACE.
The APE(X)C, or All Purpose Electronic (X) Computer series was designed by Andrew Donald Booth at Birkbeck College, London in the early 1950s. His work on the APE(X)C series was sponsored by the British Rayon Research Association. Although the naming conventions are slightly unclear, it seems the first model belonged to the BRRA. According to Booth, the X stood for X-company.
Affine arithmetic (AA) is a model for self-validated numerical analysis. In AA, the quantities of interest are represented as affine combinations of certain primitive variables, which stand for sources of uncertainty in the data or approximations made during the computation.
The history of computer science began long before the modern discipline of computer science, usually appearing in forms like mathematics or physics. Developments in previous centuries alluded to the discipline that we now know as computer science. This progression, from mechanical inventions and mathematical theories towards modern computer concepts and machines, led to the development of a major academic field, massive technological advancement across the Western world, and the basis of a massive worldwide trade and culture.
A division algorithm is an algorithm which, given two integers N and D, computes their quotient and/or remainder, the result of Euclidean division. Some are applied by hand, while others are employed by digital circuit designs and software.
John K. S. McKay was a British-Canadian mathematician and academic who worked at Concordia University, known for his discovery of monstrous moonshine, his joint construction of some sporadic simple groups, for the McKay conjecture in representation theory, and for the McKay correspondence relating certain finite groups to Lie groups.
Andrew Donald Booth was a British electrical engineer, physicist and computer scientist, who was an early developer of the magnetic drum memory for computers. He is known for Booth's multiplication algorithm. In his later career in Canada he became president of Lakehead University.
Professor Stanley J. Gill was a British computer scientist credited, along with Maurice Wilkes and David Wheeler, with the invention of the first computer subroutine.
Differential equations, in particular Euler equations, rose in prominence during World War II in calculating the accurate trajectory of ballistics, both rocket-propelled and gun or cannon type projectiles. Originally, mathematicians used the simpler calculus of earlier centuries to determine velocity, thrust, elevation, curve, distance, and other parameters.
A mechanical computer is a computer built from mechanical components such as levers and gears rather than electronic components. The most common examples are adding machines and mechanical counters, which use the turning of gears to increment output displays. More complex examples could carry out multiplication and division—Friden used a moving head which paused at each column—and even differential analysis. One model, the Ascota 170 accounting machine sold in the 1960s calculated square roots.
Meir "Manny" Lehman, FREng was a professor in the School of Computing Science at Middlesex University. From 1972 to 2002 he was a Professor and Head of the Computing Department at Imperial College London. His research contributions include the early realisation of the software evolution phenomenon and the eponymous Lehman's laws of software evolution.
Ralph Anthony Brooker, was a British computer scientist known for developing the Mark 1 Autocode.
Eldon Robert Hansen is an American mathematician and author who has published in global optimization theory and interval arithmetic.
Keith Douglas "Toch" Tocher was a computer scientist known for contributions to computer simulation.
Nicholas Robert Jennings is a British computer scientist and the current Vice-Chancellor and President of Loughborough University. He was previously the Vice-Provost for Research and Enterprise at Imperial College London, the UK's first Regius Professor of Computer Science, and the inaugural Chief Scientific Adviser to the UK Government on National Security. His research covers the areas of AI, autonomous systems, agent-based computing and cybersecurity.
Christopher Umans is a professor of Computer Science in the Computing and Mathematical Sciences Department at the California Institute of Technology. He is known for work on algorithms, computational complexity, algebraic complexity, and hardness of approximation.
Sidney Michaelson FRSE FIMA FSA FBCS was Scotland's first professor of Computer Science. He was joint founder of the Institute of Mathematics and its Applications. As an author he is remembered for his analysis of the Bible.
The Department of Computing (DoC) is the computer science department at Imperial College London. The department has around 50 academic staff and 1000 students, with around 600 studying undergraduate courses, 200 PhD students, and 200 MSc students. The department is predominantly based in the Huxley Building, 180 Queen's Gate, which it shares with the Maths department, however also has space in the William Penney Laboratory and in the Aeronautics and Chemical Engineering Extension. The department ranks 7th in the Times Higher Education 2020 subject world rankings.