A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Author Index Volume 127 (1994)
1994
Theoretical Computer Science
Preserved Fulltext
Resta, Oracle computations in parallel numerical linear algebra Coquide, J.-L., M. Dauchet, R. Gilleron and S. ...
Sharma, Program size restrictions in computational learning Jantzen. M. and H. Petersen, Cancellation in context-free languages: enrichment by reduction Jeschke, C-D., see J. ...
doi:10.1016/0304-3975(94)90050-7
fatcat:zyznrn7m4nhgfofcltok6asss4
Author index volume 264 (2001)
2001
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ablayev (1) 127}137 Kobayashi, S. and Y. Sakakibara, Multiple splicing systems and the universal computability (1) 3} 23 Manca, V., Logical string rewriting (1) 25} 51 Mitjana, M., see L. ...
Ablayev (1) 127}137 Niggl, K.-H., see U. Berger ...
doi:10.1016/s0304-3975(01)00285-7
fatcat:kd6ieit4lrcldnjcjmsl6awxhy
Author index volume 137 (1995)
1995
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Arikawa Elsevier Science B.V. 279-282
(2) 279-282
(1) 85-108
Shinohara. ...
., Complexity
of computing
Vapnik-Chervonenkis
dimension and some
generalized dimensions
(1) 129-144
Takahashi,
A., S. Ueno and Y. ...
doi:10.1016/0304-3975(95)90161-2
fatcat:klpx64kobbclvbm4v4uhmaf4t4
Index
2000
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Caron (1}2) 75} 90
Author index volume 233 / Theoretical Computer Science 233 (2000) 327}328 ...
Langston, On computing graph minor obstruction sets (1}2) 107}127 Del Lungo, A., F.D. Ristoro and J.-G. ...
doi:10.1016/s0304-3975(99)00310-2
fatcat:72yhha7xrrg5rpujiuha7r5guq
Acacia+, a Tool for LTL Synthesis
[chapter]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In Automated Technology for Verification and Analysis, ATVA,
volume 6252 of LNCS, pages 112-127. Springer, 2010.
Characteristics: ...
In Computer Aided Verification, CAV, volume 5643 of LNCS,
pages 263-277. Springer, 2009.
2. E. Filiot, N. Jin, and J.-F. Raskin. Compositional algorithms for LTL
synthesis. ...
doi:10.1007/978-3-642-31424-7_45
fatcat:d6uykhxxrncdng7zrvrknwkl3e
Page 127 of American Society of Civil Engineers. Collected Journals Vol. 1, Issue CC3
[page]
1997
American Society of Civil Engineers. Collected Journals
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
THEORETICAL COMPUTATION OF FLEXURAL STIFFNESS
In this section theoretical evaluation of flexural stiffness us- ing our approximate CLT has been explained with an example. ...
bottom flange laminates exists (variation in strain readings was about 5-10%).
¢ Approximate theoretical expressions proposed in this pa- per can be used to compute the flexural and shear rigid- ities ...
Author index volume 48 (1986)
1986
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
., The complexity of the word problem for Abelian/-groups (Note) (1) 127-132 Yu, S., see A. Salomaa (2, 3)283-296 0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V. ...
doi:10.1016/0304-3975(86)90105-2
fatcat:tqnvjfxh5ndzpfv7synfyvehlm
Author index volume 88 (1991)
1991
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Vazirani, Planar graph coloring is not self-reducible, Elsevier Science Publishers B.V. Shankar, P. and B.S. ...
-138
(2) 365-384
(2) 325-349
(2) 191-229
Author Index Volume 88 (1991) ...
doi:10.1016/0304-3975(91)90384-e
fatcat:rv5vfp5crrfzzlwulp7uyorjcq
LTA volume 26 issue 2 Cover and Back matter
1993
Language Teaching
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
In addition, the journal will attempt to narrow the distance between such fields as sociolinguistics, psycholinguistics, computational linguistics (including the information sciences, artificial intelligence ...
111
Language description and use
121
N e w books
123
Bibliographies
127
List of abstractors
127
Subject and author indexes
128 ...
doi:10.1017/s0261444800007114
fatcat:wl7ffp5spzenfpvk75hb7u7c6e
Page 2 of Communications of the Association for Computing Machinery Vol. 2, Issue 12
[page]
1959
Communications of the Association for Computing Machinery
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
As will be observed from the list of references, these six volumes contain valuable information and important theoretical conclusions from the Czechoslovak computing industry. ...
Veircu, Proceedings of the Association for Computing
Machinery, May, 1952, pp. 127-133.
6. M. Napier, SZI V, 1957, pp. 93-102.
7. B. Mirtres ano M. Koneény¥, SZI VI, 1958, pp. 115-152.
8. Z. ...
Guest editors' foreword
2005
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The first contribution to this volume is a piece by Jos Baeten of a historical nature. ...
As such, it serves as a scientific preface to the technical contributions in the volume. ...
This gives yet another indication of the power of randomized techniques in Computer Science. ...
doi:10.1016/j.tcs.2005.01.013
fatcat:e2szysleb5dwtf2saggasd5faq
Page 291 of Applied Physics. A and B Vol. B49, Issue 3
[page]
1989
Applied Physics. A and B
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Springer Series in Solid-State Sciences, Volume 80). Hardcover DM 49,—. ...
“Truly, computer simulation is a third branch of physics, intermediate between the traditional branches — experimental and theoretical physics — and complementing them!” ...
Page 270 of Applied Physics. A and B Vol. A51, Issue 3
[page]
1990
Applied Physics. A and B
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
(Springer Series in Solid-State Sciences, Volume 80). ...
“Truly, computer simulation is a third branch of physics, intermediate between the traditional branches — experimental and theoretical physics — and complementing them!” ...
MSC volume 5 issue 2 Cover and Back matter
1995
Mathematical Structures in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
There are many exercises, most with solutions. £25.00 net HB 0 521 46482 X 328 pp. 1994 £35.00 net HB 0 52145023 3 378 pp. 1994 £14.95 net PB 0 521 45650 9 Cambridge Computer Science Texts 29 Cambridge ...
The three volumes are written in sequence, with the first being essentially selfcontained. ...
Cambridge Tracts in Theoretical Computer Science 38
Foundations of Parallel Computing
D. B. ...
doi:10.1017/s0960129500000670
fatcat:sahey5kpcfgcff7a2wktkjfiva
Electronic Band Structure and Photoemission States of Bi_{1.96}Mg_{0.04}Se_3
2014
Acta Physica Polonica. A
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We present theoretical band structure calculations and ultraviolet electron photoemission spectroscopy of a topological insulator Bi1.96Mg0.04Se3. ...
In consequence, 4% decrease of volume and 3% decrease of ratio c/a was obtained. This modied structure was multiplied three times in a and b direction in order to place proper amount of Mg. ...
Acknowledgments This work was supported by the Polish Ministry of Science and Higher Education and its grants for scientic research. ...
doi:10.12693/aphyspola.126.a-127
fatcat:mr5nzt5wtva6tkntqsjp6j2mme
« Previous
Showing results 1 — 15 out of 69,461 results