340,756 Hits in 5.3 sec

Author index of Volume 67

2007 Science of Computer Programming  
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


2001 Electronical Notes in Theoretical Computer Science  
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

Publication List of Zoltán Ésik

2017 Acta Cybernetica  
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

Page 1013 of Mathematical Reviews Vol. 52, Issue 3 [page]

1976 Mathematical Reviews  
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  ... 

JFP volume 19 issue 3-4 Cover and Front matter

2009 Journal of functional programming  
Jones, Department of Computer Science, Portland State University, P.O.  ...  IP address:, on 26 Jul 2018 at 18:14:32, subject to the Cambridge Core terms of use, available at  ... 
doi:10.1017/s0956796809007370 fatcat:l2lomsmgmzdc3lmgr5ovvy2jwi

An Efficient Framework for Mining Association Rules in the Distributed Databases

Lalit Mohan Goyal, M M Sufyan Beg, Tanvir Ahmad
2017 Computer journal  
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

Page 142 of Computational Linguistics Vol. 32, Issue 1 [page]

2006 Computational Linguistics  
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  ... 

Compiler verification

Maulik A. Dave
2003 Software engineering notes  
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

Retraction Note to: Predicting the total specific pore volume of geopolymers produced from waste ashes by gene expression programming

Ali Nazari
2020 Neural computing & applications (Print)  
Department of Materials Science and Engineering, SavehBranch, Islamic Azad University, Saveh, Iran  ...  & Ali Nazari geopolymers by gene expression programming. Neural Comput Appl 23:1677-1685. 3.  ... 
doi:10.1007/s00521-020-05155-4 fatcat:kcjdwtc6nnhhtjrlv6h3mp7b24

Page 188 of The Journal of Industrial Engineering Vol. 17, Issue 4 [page]

1966 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  ... 

A Graphic Matching Process for Searching and Retrieving Information in Digital Libraries of Manuscripts [chapter]

Nicola Barbuti, Tommaso Caldarola, Stefano Ferilli
2017 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

Page 353 of The Journal of Industrial Engineering Vol. 19, Issue 7 [page]

1968 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.  ... 

Swift: Fast, Reliable, Loosely Coupled Parallel Computation

Yong Zhao, Mihael Hategan, Ben Clifford, Ian Foster, Gregor von Laszewski, Veronika Nefedova, Ioan Raicu, Tiberiu Stef-Praun, Michael Wilde
2007 2007 IEEE Congress on Services (Services 2007)  
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

Index to Volume 6

1985 IEEE Annals of the History of Computing  
(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

European association for theoretical computer science

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