...f quaternary sequences with low correlation" , ''Lecture Notes in Computer Science'' , '''388''' , Springer (1989) pp. 193–201</TD></TR></table>
6 KB (942 words) - 02:58, 18 May 2022
...e topos has recently been of considerable interest in theoretical computer science, since it contains "natural" models for the polymorphic [[Lambda-calculus|$
...l Foundations of Programming Language Semantics'' , ''Lect. notes in comp. science'' , '''298''' , Springer (1988) pp. 23–42 {{MR|0948482}} {{ZBL|0651.18004
10 KB (1,557 words) - 09:21, 1 May 2021
In queueing models of a wide variety of systems from computer, communication, manufacturing, and other areas of applications, birth and d
...recursive solution techniques. As queueing models in applications such as computer-communication and manufacturing systems became more complex the available m
20 KB (3,169 words) - 11:35, 3 April 2016
...zenberg (ed.) A. Salomaa (ed.) , ''Current Trends in Theoretical Computer Science, Essays and Tutorials'' , World Sci. (1993) pp. 586–594</td></tr><tr><t
7 KB (1,052 words) - 16:57, 1 July 2020
...ation]] numerical approximation methods are often used, using a high speed computer for the computation. The grid method (finite-difference method) is the most
...G.F. Pinder, "Numerical solution of partial differential equations in science and engineering" , Wiley (1982)</TD></TR>
18 KB (2,500 words) - 06:21, 12 October 2023
See also [[Computer, abstract|Computer, abstract]].
...ndom access machine (RAM) the memory consists of an infinite collection of computer words, each with an unbounded word-length, thus capable of storing arbitrar
18 KB (2,656 words) - 04:11, 6 June 2020
...city of the algorithm makes this method convenient for implementation on a computer. In linear programming a whole series of other finite methods have been dev
...ossibilities of computational algorithms and on the characteristics of the computer employed, such as the amount of memory, the speed, etc. To solve problems o
12 KB (1,882 words) - 22:25, 1 September 2016
...vide a very powerful tool in many applications, particularly communication science and coding theory.
...ithms and Error–Correcting Codes--AAECC-10'' , ''Lecture Notes in Computer Science'' , '''673''' , Springer (1993) pp. 257–268</TD></TR><TR><TD valign="top"
12 KB (1,769 words) - 08:31, 26 March 2023
...arrying out the corresponding computation and corresponding demands on the computer memory (see [[Minimization of the labour of calculation|Minimization of the
...portant not only because these problems often arise in diverse branches of science and technology, but because they frequently are a means for solving more ge
13 KB (1,891 words) - 13:06, 13 January 2024
...Distinguished Lecture to the Carnegie Mellon University School of Computer Science, Gregory Chaitin began his remarks as follows:<ref>Chaitin (2000), p. 12.</
...ttle bit of truth, that actually all of this that’s happening now with the computer taking over the world, the digitalization of our society, of information in
15 KB (2,329 words) - 14:32, 19 March 2023
...nite model theory and its applications, ser. Texts in Theoretical Computer Science. An EATCS Series (2007), Springer-Verlag, Zbl 1133.03001 ISBN 978-3-540-004
* Immerman, Neil; Descriptive Complexity, ser. Graduate Texts in Computer Science (1999), pp. 113–119, Springer-Verlag, Zbl 0918.68031 ISBN 0-387-98600-6
19 KB (2,927 words) - 12:14, 5 November 2016
...in practice one often prefers the simplicity of using general methods on a computer, rather than these possibilities.
....K. Banerjee, R. Butterfield, "Boundary element methods in engineering science" , McGraw-Hill (1981)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="t
9 KB (1,360 words) - 13:02, 13 January 2024
...in the 19th century. Evolving within the framework of capitalist economic science, the econometric direction uses its theoretical foundations, which restrict
...and control. Compared to the econometric trend in the capitalist economic science, the scientific direction followed in the USSR and the socialist countries
14 KB (2,040 words) - 19:36, 5 June 2020
Encyclopedia of Statistical Science. Heidelberg: Springer Science
Major advances are also being made in developing computer intensive methods
22 KB (3,172 words) - 20:20, 12 March 2016
...nite functions" J. van Leeuwen (ed.) , ''Handbook of Theoretical Computer Science'' , '''A''' (1990) pp. 758–804; Chap.14</td></tr><tr><td valign="top">[
9 KB (1,354 words) - 17:44, 1 July 2020
Vapnik–Chervonenkis classes have turned out to be useful in computer science (learning theory [[#References|[a1]]]), [[Probability theory|probability th
11 KB (1,646 words) - 12:43, 19 February 2021
...It is easy to multiply very large integers, whereas even the most powerful computer with the best known algorithm is incapable (within the lifetime of the univ
..., which points at two weak links: the existence of a password table in the computer and the threat of wire taps while the user enters his password.
35 KB (5,528 words) - 19:33, 19 January 2024
.../td> <td valign="top"> S.N. Burris, "Logic for mathematics and computer science" , Prentice-Hall (1998)</td></tr></table>
9 KB (1,433 words) - 17:00, 1 July 2020
...urs arising dynamically (i.e. at run-time) when executing a program upon a computer. A main application is to allow compilers to generate more efficient code b
...D.M. Gabbay (ed.) T.S.E. Maibaum (ed.) , ''Handbook of Logic in Computer Science'' , '''4''' , Oxford Univ. Press (1995) pp. 527–636</TD></TR><TR><TD va
18 KB (2,572 words) - 07:07, 26 March 2023
''Science'' in particular, consider the significance test as a criterion of scientifi
'' Science is inevitably about magnitudes.'' (Cohen, 1990, page 1309)
25 KB (3,645 words) - 10:19, 10 March 2024