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
Engineering and theoretical underpinnings of retrenchment (2-3) 301-329 Breutel, S., see C. Ouyang (2-3) 162-198 Carbonaro, M., see M. Cutumisu (1) 32-58 Cutumisu, M., C. ... (1) 32-58 , M., C. Onuczko, M. McNaughton, T. Roy, J. Schaeffer, A. Schumacher, J. Siegel, D. Szafron, K. Waugh, M. Carbonaro, H. Duff and S. ... Gillis, ScriptEase: A generative/adaptive programming paradigm for game scripting , M. and D. Ren, An update calculus for expressing type-safe program updates (2-3) 199-222 Fapojuwo, A., see M. ...doi:10.1016/s0167-6423(07)00117-7 fatcat:u42arfqhqndgnj3kakby7hp7zm
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups. ... Volume 25 of AMS Colloquium Publications. American Mathematical Society, 1967. Third edition. 32] F.S. de Boer, J.N. Kok, C. Palamidessi, and J.J.M.M. Rutten. ...doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse
I, volume 9234 of Lecture Notes in Computer Science, pages 18-37. ... , volume 9160 of Lecture Notes in Computer Science, pages 174-188. ...doi:10.14232/actacyb.23.1.2017.23 fatcat:tpgf7t2sgfdsriwvebwyce3lr4
The papers in this volume are arranged under four main headings and 32 sub-headings (the latter are indicated in parentheses in the following partial table of contents). ... Part 2: Computer software (Invited papers; Program perform- ance; Program system design; Programming languages and systems; Program optimization; Aspects of programming; Inter- active systems; Data handling ...
Paper indexed in DBLP. 32 . 32 Samar Wazir, Tanvir Ahmad and M. M. ... Proceedings of the 5th "International Conference on Frontiers in Intelligent Computing: Theory and Application" published by Springer, Volume: 515, pages: 323-332. 29. ...doi:10.1093/comjnl/bxx067 fatcat:r2i6aqfrlbdktbidzhtnjt2uju
Computational Linguistics Volume 32, Number 1 Mary Harper joined the faculty of Purdue University in 1989, where she holds the rank of Professor in the School of Electrical and Computer Engineering. ... She recently finished a term of slightly more than three years as the Program Director for the Human Language and Communication Program at the National Science Foundation with the goal of advancing research ...
Winskel, editors, Proceedings of the 25th International Colloquium on Automata, Languages, and Programming (ICALP 1998), volume 1443 of Lecture Notes in Computer Science, pages 235-246. ... Steffen, editor, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 1998), volume 1384 of Lecture Notes in Computer Science, pages ...doi:10.1145/966221.966235 fatcat:2aectsl4ejbkjmsv6erfez5ika
Department of Materials Science and Engineering, SavehBranch, Islamic Azad University, Saveh, Iran ... & Ali Nazari email@example.com geopolymers by gene expression programming. Neural Comput Appl 23:1677-1685. https://doi.org/10.1007/s00521-012-1127-7 3. ...doi:10.1007/s00521-020-05155-4 fatcat:kcjdwtc6nnhhtjrlv6h3mp7b24
The Journal of Industrial Engineering
Publications,” JEEE Transactions, Volume EM-11, Number 1, 1964. (35) Pracer, W., “A Structural Method of Computing Project Cost Curves,” Management Science, Volume 9, p. 394, 1963. (36) RosEnBiooM, R. ... for Science/Engineering, March-April, 1964. (8) Docrusoz, Hat, “Development Programming,” Operations Re- search, Volume 9, Number 5, 1961. (9) Dootey, Arcu R., “Interpretations of PERT,” Harvard Business ...
Communications in Computer and Information Science
The national Program Committee comprised 32 members, with representatives of the most active Italian research groups on digital libraries. ... The conference draws from a broad and multidisciplinary array of research areas including computer science, information science, librarianship, archival science and practice, museum studies and practice ... digital cultural heritage collections -New models and applications for digital exhibitions -Current and relevant projects in the field of digital libraries ...doi:10.1007/978-3-319-73165-0_14 fatcat:vsoqvqtla5cbxnkkkmpa7zt5hi
The Journal of Industrial Engineering
., ““Computer Graphics,” Datamation, Volume 12, No. 5, 1966. TurNAGE, R. E., “The Perception of Flicker in Cathode Ray Tube Displays,” Information Display, Volume 3, No. 3, 1966. Van Cort, H. ... ., “Computer-Assisted Writing,” Datamation, Volume 12, No. 6, 1966. MarsHatt, A. ...
While such "loosely coupled" computations can involve large amounts of computation and communication, the concerns of the programmer tend to be different than in traditional high performance computing, ... A common pattern in scientific computing involves the execution of many tasks that are coupled only in the sense that the output of one may be passed as input to one or more others-for example, as a file ... Acknowledgements This work was carried out on computing facilities at the Computation Institute at the University of Chicago, and at the Teragrid UC/ANL site. ...doi:10.1109/services.2007.63 dblp:conf/IEEEscc/ZhaoHCFLNRSW07 fatcat:gc2zm2wqpzfsjlapvegrt2nfle
(Foreword by Gordon Bell) 229 Index to Volume 5, Annals of the History of The Discovery of Linear Programming, by Robert Computing 83 Dorfman (Foreword by George B. ... 'Annals of the History of Computing, Volume 7, Number 1, January 1985 l 95 ...doi:10.1109/mahc.1985.10000 fatcat:n2drhcmbdvh35ff33gm477lalm
The series includes monographs as well as innovative textbooks in all areas of theoretical computer science. The volumes are hard-cover and ordinarily produced by typesetting. ... EATCS Monographs on Theoretical Computer Science This is a series of monographs published by Springer-Verlag, Berlin, and launched during ICALP 1984; since then 15 volumes have been published. ... 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
« Previous Showing results 1 — 15 out of 340,756 results