Filters








55,181 Hits in 4.4 sec

Author index volume 142 (1995)

1995 Theoretical Computer Science  
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  
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  
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  
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

Nasser-Eddine Rikli
2015 Journal of King Saud University: Computer and Information Sciences  
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  
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  
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  
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  
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  
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  
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  
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  
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

Suvrajeet Sen, Julia L. Higle
2010 Annals of Operations Research  
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  
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