Filters








1,391,802 Hits in 3.8 sec

Theoretical computer science cheat sheet

Steve Seiden
1996 ACM SIGACT News  
Computer Science Cheat Sheet Trigonometry Matrices More Trig.  ...  Gaussian) distribution: p(x) = 1 p 2 e (x ) 2 29 536,870,912 109 30 1,073,741,824 113 31 2,147,483,648 127 32 4,294,967,296 131 Pascal's Triangle 1 1 1 1 2 1 1 3 3 1 1 4 6 4 1 1 Theoretical  ... 
doi:10.1145/242581.242585 fatcat:ihqg7jftbze7fcxqugxngovag4

A conference on theoretical computer science

1976 Theoretical Computer Science  
Theoretical Computer Science 3 (1977) 119-l 20.  ...  ntario, Canada (following IFIP 77 in Toronto) Papers are invited for a broad y-based conference on theoretical computer science.  ... 
doi:10.1016/0304-3975(76)90069-4 fatcat:eiatilpmvbfyxju76hdigg2mce

Theoretical branches in teaching computer science

Hashim Habiballa, Tibor Kmeť
2004 International Journal of Mathematical Education in Science and Technology  
Application concept Theoretical computer science covers the key areas of knowledge important for the correct understanding of computer science as a whole.  ...  Kmetˇ specialized for applied computer science as well as teacher courses with specialization for computer science (Mgr., MEd equiv.).  ... 
doi:10.1080/00207390412331271267 fatcat:vn55genfbfebngtwbqyl5465xu

New challenges for theoretical computer science [chapter]

Maurice Nivat
1997 Lecture Notes in Computer Science  
Recent developments of both practice and theory and the emergence of new needs of actual computation or software engineering allow us to indicate a umber of areas in which research is likely to be extremely  ...  Vont-ils disparaitre submergts par les gros bataillons de matlatmaticiens armts de toute leur science, dts que ceux-ci vont s'attaquer aux probl~mes qui leur sont chers?  ...  sur des probl~mes tr6s difficiles et importants, les informaticiens tronveront enfin effectivement route la place qui leur revient darts le ddveloppemeut de la Science.  ... 
doi:10.1007/bfb0030584 fatcat:pijt5blhzrcfrj734phxbpyx3u

The theoretic center of computer science

Michael Kuhn, Roger Wattenhofer
2007 ACM SIGACT News  
We present a map of the computer science conferences, speculating about the center of computer science. In addition we present some trends and developments.  ...  In this article we examine computer science in general, and theory and distributed computing in particular.  ...  Not surprisingly, Noga Alon, second in the list of computer science, is attributed the honor of the central player in theory (see Table 2 ).  ... 
doi:10.1145/1345189.1345202 fatcat:5fnoqv73a5blbbo2coiaqro7ue

Mathematical logic and theoretical computer science

Gian-Carlo Rota
1988 Advances in Mathematics  
SMITH, Mathematical Logic and Theoretical Computer Science, Dekker, 1987, 383 pp.  ...  Nowadays, if one wants to find out what is going on in logic, one is well advised to pick up some survey in a theoretical computer science series. What do we find in this one?  ... 
doi:10.1016/0001-8708(88)90023-0 fatcat:v2hkxtrn6fexzg23jfxnrqupci

Game Theory Meets Theoretical Computer Science

Samson Abramsky, Marios Mavronicolas
2005 Theoretical Computer Science  
Computer Science.  ...  These subareas at the intersection of Game Theory and Theoretical Computer Science were used to define topics of particular interest for the special issue, and those were advertised in the Call for Papers  ... 
doi:10.1016/j.tcs.2005.05.004 fatcat:g75bqy7ipzewlnpw55wtgwyr5m

Theoretical computer science and discrete mathematics

Ken-ichi KAWARABAYASHI, Kunihiko SADAKANE, Takeaki UNO
2012 Progress in Informatics  
Theoretical Computer Science is one of the most vibrant and active areas of scientific study today.  ...  Recent informatics such as large scale data analysis needs efficient computation. The developments in theoretical computer science give much advance in this task.  ...  All the topics mentioned above are very relevant to Discrete Mathematics and Theoretical Computer Science. We would like to thank all the authors who submitted papers for consideration.  ... 
doi:10.2201/niipi.2012.9.1 fatcat:rniys2s4xjhdnovqqndhqka5ei

European association for theoretical computer science

1993 Theoretical Computer Science  
EATCS, -Publication of the EATCS Monographs on Theoretical Computer Science, -Patronage of the journal Theoretical Computer Science.  ...  Computer Science, -About 70% (equals about US$800.00) discount per annual subscription to Theoretical Computer Science  ...  Theoretical Computer Science The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers, Amsterdam, currently in 16 volumes (32 issues) a year.  ... 
doi:10.1016/0304-3975(93)90204-7 fatcat:3k4lluho2bfb7epu6skav5fthy

Fiftieth volume of theoretical computer science

Maurice Nivat
1988 Theoretical Computer Science  
Computer Science.  ...  Computer Science *This is the text of the speech delivered by the Editor-in-Chief of Theoretical Computer Science, Maurice Nivat, on July 16, 1987 at the 14th ICALP Conference held in Karlsruhe  ... 
doi:10.1016/0304-3975(88)90001-1 fatcat:dfiayaxnnzarnmepb4zv6vvj2a

New Challenges for Theoretical Computer Science [chapter]

Jozef Gruska
2000 Lecture Notes in Computer Science  
The aim of the panel is to point out and analyse new challenges theoretical computer science has to deal with in order to develop properly as fundamental science and in order to respond well to needs coming  ...  Theoretical computer science therefore needs more often and more carefully to look out of its theoretical vacuum to see whether it is concentrating correctly and enough on its main global aims, to see  ...  Big new challenges of theoretical computer science and enormous potentials it has require that.  ... 
doi:10.1007/3-540-44929-9_42 fatcat:2rdaxh7ylfautbppu447eqs76i

European Association for Theoretical Computer Science

1993 Theoretical Computer Science  
Theoretical Computer Science The journal Theoretical Computer Science, founded in 1975, is published by Elsevier Science Publishers, Amsterdam, currently in 16 volumes (32 issues) a year.  ...  Computer Science, -About 70% (equals about US$800.00) discount per annual subscription to Theoretical Computer Science.  ...  ., Department of Mathematics and Computer Science Pleinlaan 2 B-1050 Brussels, Belgium Email: dmjans@tinfl.vub.ac.be The dues can be paid (in order of preference) by cheques in DM or US$, cheques in other  ... 
doi:10.1016/0304-3975(93)90177-u fatcat:q7n4giyfhzazvchnss3pr3yzsy

Formal language theory and theoretical computer science [chapter]

Ronald V. Book
1975 Lecture Notes in Computer Science  
However, in the last few years the main interest in theoretical computer science has been directed elsewhere.  ...  However, as part of theoretical computer science, formal language theory must speak to problems concerning the nature of computation.  ...  It is my thesis here that as an area of interest within theoretical computer science formal language theory should be closely tied to the study of computability theory and computational complexity.  ... 
doi:10.1007/3-540-07407-4_1 fatcat:64fovopjqzgftlykgg3b3sixhy

6th GI conference on theoretical computer science

1982 Theoretical Computer Science  
The sixth GI Coqlference on Theoretical Computer Science will take place from January S-7, 1983 at the University Dortrnund.  ...  Typical, but not exclusive topics of interest include: -Analysis of Algorithms -Application of Mathematicai Logic to Computer Science -Formal Languages -Theory of Programming -Math.  ...  The presented papers will be publislhed in the proceedings of the conference (Lecture Notes in Computer Science). Conference Languages are English, German and French.  ... 
doi:10.1016/0304-3975(82)90093-7 fatcat:ssz7wrt7ifbjlgnvr3yobydmg4

Abstract homotopical methods for theoretical computer science [article]

Philippe Gaucher
2007 arXiv   pre-print
The purpose of this paper is to collect the homotopical methods used in the development of the theory of flows initialized by author's paper "A model category for the homotopy theory of concurrency". It is presented generalizations of the classical Whitehead theorem inverting weak homotopy equivalences between CW-complexes using weak factorization systems. It is also presented methods of calculation of homotopy limits and homotopy colimits using Quillen adjunctions and Reedy categories.
arXiv:0707.1449v1 fatcat:qep5kvxig5dghilbicto4ygmcu
« Previous Showing results 1 — 15 out of 1,391,802 results