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 142 (1995)
1995
Theoretical Computer Science
Preserved Fulltext
Author Index Volume 142 (1995) ( The issue number is given in front of the page numbers) Aasa, A., Precedences in specifications and implementations of programming languages (1) 3 26 Alpuente, M., M. ...
Levi, Incremental constraint satisfaction for equational logic programming (1) 27-57 Asperti, A. and C. Laneve, Paths, computations and labels in the 2-calculus (2) 277-297 Baader, F. and K.U. ...
doi:10.1016/0304-3975(95)80020-4
fatcat:ywmnivma4zevjl5rz6jzf2g644
Page 173 of Journal of Research and Practice in Information Technology Vol. 17, Issue 4
[page]
1985
Journal of Research and Practice in Information Technology
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
NAISH, L. (1983b): Automating Control for Logic Programs, Techni- cal Report 83/6 (Revised September 1984), Department of Computer Science, University of Melbourne; also J. of Logic Programming (to appear ...
Logic Programming Workshop, Portugal.
Biographical Note.
Rodney Topor is a lecturer in computer science at the University of Melbourne. ...
Author index of volume 31 (1998)
1998
Science of Computer Programming
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.
Science of
Computer
Programming ...
(1) 3p 45 (1) 47-73 (1) (2-3) 2055229 (2-3) 291-311 (223) 175-177 (2-3) 231-261 (1) (2-3) 291~31: (2-3) 263-289 ( ( The issue number is given in front of the page numbers) Andreoli, J.-M., F. ...
doi:10.1016/s0167-6423(98)00010-0
fatcat:ftydlqi24va5rkoxsunvpoqrga
Page 177 of American Society of Civil Engineers. Collected Journals Vol. 17, Issue 4
[page]
2003
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.
The
computer program ANSYS is used and simulates the construction process of a roller compacted concrete (RCC) dam. Thermally induced
stresses are computed for the 60 m high RCC Tannur Dam in Jordan. ...
Crichton et al. (1999) presented a thermal- structural analysis using the ANSYS computer program to assess the effect of heat of hydration in RCC structural stresses. ...
Message from the Editor
2015
Journal of King Saud University: Computer and Information Sciences
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 topics to be included in this issue will cover a wide spectrum in Computer and Information Sciences, including ...
During the three quarters of this year, we received 177 submissions, of which 11 were accepted, 46 are under review, and 112 were rejected. ...
The last two papers present two different tools for estimating human age automatically: one through analysis of facial images using Artificial Neural Networks and Gene Expression Programing, and the other ...
doi:10.1016/j.jksuci.2015.10.003
fatcat:pzzzxav565dsvmarldth2odpnu
Master index volumes 171–180
1997
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.
Martini 176 (l-2) (1997) 159-173 Massol, A., Minimality of the system of seven equations for the category of finite sets (, M.W. and D.A. Schmidt, Foreword 177 (1) (1997) 1 Mitas, J. and K. ...
Ngo 171 (l-2) (1997) 147-177 Hammer, P.L., see 0. ...
doi:10.1016/s0304-3975(97)83812-1
fatcat:wdajupkozzd67lsmvimbl4yuny
Author index of Volume 21
2002
Computational geometry
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.
Rappoport, Computing Voronoi skeletons of a 3-D polyhedron by space subdivision (3) 87 -120
M.S., S. Nakano and T. ...
Nishizeki, Rectangular drawings of plane graphs without designated corners (3) 121 -138 0925-7721/2002 Published by Elsevier Science B.V. PII: S 0925-7721(01 )00 0 67 -0 ...
doi:10.1016/s0925-7721(01)00067-0
fatcat:4tpr7at3hfbtlidlqtpxtwwani
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 2019; you can also visit the original URL.
The file type is application/pdf.
Kortelainen, On the system of word equations x 2 ) in a free monoid 225 (1}2) (1999) 149}161
Master index volumes 221}230 / Theoretical Computer Science 230 (2000) 293}298 ...
., The &&smallest'' ring of polynomial invariants of a permutation group which has no "nite SAGBI bases w.r.t. any admissible order (Note) 225 (1}2) (1999) 177}184 Gollmann, D., Dual bases and bit-serial ...
doi:10.1016/s0304-3975(99)00307-2
fatcat:a2ji3kajxbdndk65pjhu5xswvq
Page 5 of Science Trends Vol. 25, Issue 16
[page]
1971
Science Trends
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
REACTION KINETICS PROGRAM: Describes a FORTRAN-IV computer program, SIXBIT, written as a general reaction-handling tool said to be useful for ionospheric research and perhaps for some laboratory investigations ...
This volume comprises
the proceedings of the May, 1970, Power Instrumentation Symposium held in
Kansas City, Mo. 106 pages. ...
Author index volume 268 (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.
Zeugmann, Foreword (2) 175}177 Zeugmann, T., see R. Wiehagen (2) 175}177 ...
Sattar, Polynomial-time learnability of logic programs with local variables from entailment (2) 179}198 Leonardi, S. and A. Marchetti-Spaccamela, Preface (1) 1 Marchetti-Spaccamela, A., see S. ...
doi:10.1016/s0304-3975(01)00334-6
fatcat:ny7ygfffozcbjgrb6cwj4pyhk4
Page 489 of Management Science Vol. 4, Issue 4
[page]
1958
Management Science
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
The use of large scale com-
puter for manufacturing control, 177.
CHARNES, A. AND Cooper, W. W. ...
The greenhouses of science for management, 365.
GREENHUT, MELVIN L. Discussion: mathe- matics, realism and management sciences, 314.
Heimer, O.ar. ...
Page 143 of Computational Linguistics Vol. 29, Issue 1
[page]
2003
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In Automata, Languages and Programming, 2nd Colloquium, volume 14 of Lecture Notes in Computer Science, pages 255-269, Saarbriicken. Springer-Verlag, Berlin.
Lyon, Gordon. 1974. ...
In Proceedings of the 15th International Conference on Computational Linguistics, volume 2, pages 426-432, Nantes, August.
Shieber, Stuart M., Yves Schabes, and Fernando C. N. Pereira. 1995. ...
Page 596 of Computational Linguistics Vol. 20, Issue 4
[page]
1994
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In Proceedings, International Conference on Computational Linguistics, Volume 1, 34-39. ...
“Cyc: Toward programs with common sense.” Communications of the ACM 33(8):30-49.
McCord, M. C. (1990). “Slot grammar: A system for simpler construction of practical natural language grammars.” ...
Preface
2010
Annals of Operations Research
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.
One of the more widely cited applications of stochastic programming is in the area of portfolio optimization. Several papers in this volume are devoted to this topic. ...
This volume is a selection of papers representing the range presented at the conference. ...
Gouda and Szantai, deal with numerical methods for computing probabilities of the Dirichlet distribution; and Deák presents computations dealing with approximations of large-scale stochastic programs using ...
doi:10.1007/s10479-010-0725-y
fatcat:vddquct46bfqheqtf23cdickb4
Page 542 of Computational Linguistics Vol. 28, Issue 4
[page]
2002
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
A program for aligning sentences in parallel corpora. In Proceedings of the 29th Annual Meeting of the Association for Computational Linguistics, pages 177-184, Berkeley, June. ...
Computational Linguistics Volume 28, Number 4
summary alignment task described in section 3.1. ...
« Previous
Showing results 1 — 15 out of 55,181 results