Filters








88,829 Hits in 4.3 sec

Master index volumes 131–140

1995 Theoretical Computer Science  
Lutz, Computational depth and reducibility (Fundamental Study) 132 (l-2) (1994) 37-70 Jiirgensen, H., K. Salomaa and S.  ...  De Berg 140 (2) (1995) 301-317 Haegemans, A., see J.  ... 
doi:10.1016/0304-3975(95)90075-6 fatcat:dziab64mwne4bbzkayoezzm4gy

Author index volume 140 (1995)

1995 Theoretical Computer Science  
(2) 201-204 (2) 333-339 (2) 291-300 (2) 205-230 (2) 301-317 (1) 73-94 (2) 301-317 (2) 301-317 (2) 291-300 (2) (1) l-3 (2) 319-331 (2) 301-317 Elsevier Science B.V.  ... 
doi:10.1016/0304-3975(95)90073-x fatcat:fyin2tfxjvcspoa4bmlapphh5y

Author index volume 105 (1992)

1992 Theoretical Computer Science  
(1) 141-166 (1) (1) 85-128 (2) 217-273 (1) 129-140 (1) 27-56 (1) 1-3 (1) 5 (1) 141-166 (1) 85-128 (2) 167-215 (2) 217-273 (1) 7-25 (1) 57-84 (1) 27-56 (2) 167-215 (1) I-3 (2) 275-299 Elsevier Science  ... 
doi:10.1016/0304-3975(92)90304-x fatcat:hnfizdfm5zbhbba3mkvsi6c6ye

Author index volume 46 (1986)

1986 Theoretical Computer Science  
Howell (2, 3) 106-140 Stuckey, P.J., see J. Jattar (2, 3) 141-158 Takahashi, M., see H. Yamasaki (1) 91-99 0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland)  ...  Martini, Computability in higher types, PoJ and the completeness Dinh, D., T. Le Cong and H.  ... 
doi:10.1016/0304-3975(86)90039-3 fatcat:aturjbxhkbav5bvv4w7a3sunti

Author index volume 278 (2002)

2002 Theoretical Computer Science  
Fiech (1-2) 111-140 S . underhauf, P., see R.C. Flagg (1-2) 141-158 Teodosiu, D., see P. Gastin (1-2) 195-221  ...  Schmidt, Polymorphic lambda calculus and subtyping (1-2) 111-140 Fitting, M., Fixpoint semantics for logic programming a survey (1-2) 25-51 Flagg, R.C. and P.  ... 
doi:10.1016/s0304-3975(02)00149-4 fatcat:aatd2uip3nfazmcqnx5bzq6obq

Author index volume 99 (1992)

1992 Theoretical Computer Science  
Thcoretiwl Computer Science 99 (lYY2) 347 Elsevier 347 Author Index Volume 99 (1992) (The issue number IS given in front of the page numbers) Bal&ar. J.L. and U. SchDning.  ...  265-27X Elscvier Science Publishers B.V.  ...  (1) I-63 (2) 31 S-316 (1) 65m 78 (1) 105~119 i-7) 335 344 (2) 243 -264 (2) 301~313 (2) 301 313 (I) 79~104 (2) 327-334 (I) 141~155 (2) 23 I -241 (I) 121~140 ( (2) '43~~764 (2) 2') I-299 (2) 301~313 (2)  ... 
doi:10.1016/0304-3975(92)90360-r fatcat:acgki3ftjradzmr7e5xnyothdu

Author index volume 155 (1996)

1996 Theoretical Computer Science  
Morshed, Time lower bounds do not exist for CRCW (1) 111-140 PRAMS Iwamoto, C., see K. Iwama Kagan, V., A. Nerode and VS. Subrahmanian, Computing minimal models by , F. and R.  ...  Author Index Volume 155 (1996) (( The issue number is given in front of the page numbers) Antimirov, V., Partial derivatives of regular expressions and finite automation constructions (2) 291-319 Barcucci  ... 
doi:10.1016/0304-3975(96)90121-8 fatcat:zbkqz4debvc7pbd2qru5gtezqm

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.  ...  Laneve, Paths, computations and labels in the 2-calculus (2) 277-297 Baader, F. and K.U. Schulz, Combination techniques and decision problems for disunification (2) 229-255 Dershowitz, N. and C.  ... 
doi:10.1016/0304-3975(95)80020-4 fatcat:ywmnivma4zevjl5rz6jzf2g644

Author index volume 267 (2001)

2001 Theoretical Computer Science  
., Parsing natural language idioms with bidirectional "nite-state machines (1}2) 131}140 Sa( ntean, N., see C. Ca( mpeanu (1}2) 3} 16 Wood, D., see J. Albert (1}2) 35} 47 Yu, S., see C.  ... 
doi:10.1016/s0304-3975(01)00322-x fatcat:2ssvc6iuovem7cfoms6u5hiha4

Editorial

Claude Kirchner
1995 Theoretical Computer Science  
Paths, computations and labels in the 2-calculus by Andrea Asperti and Cosimo Laneve, provides an enlighting characterization of Levy's redex families, which greatly contributes to the understanding of  ...  an invited paper at the conference and proposes an original approach for studying reducibility and realizability in simply typed as weil as secondorder 2-calculus. 0304-3975/95/$09.50 © 1995--Elsevier Science  ...  This volume shows the liveness of RTA's research area and I hope that the rewriting community in the large will enjoy reading this issue.  ... 
doi:10.1016/0304-3975(94)00273-8 fatcat:c2faf2i5e5ac7fp2ewaqlgf2am

Simulation of concentrated slop combustion in cyclone furnace using Computational Fluid Dynamics (CFD)

Manita Phasomprayoch, Kiatfa Tangchaichit, Tanakorn Wongwuttanasatian
2018 IOP Conference Series: Earth and Environment  
fluid dynamics (CFD) in four different air settings; 100%, 120%, 140% and 160% theoretical air.  ...  combustion behavior of concentrated slop in a cyclone furnace, primarily aiming to determine the appropriate amount of air supplied for concentrated slop combustion under the adiabatic process using computational  ...  ., Ltd. for research sponsorship and concentrated slop, and thank the Center for Alternative Energy Research and Development, Khon Kaen University for laboratory and high performance computer assistance  ... 
doi:10.1088/1755-1315/113/1/012195 fatcat:53fubrnm7ngf7pojnnag4p2l3a

Editorial: Journal of Theoretical and Applied Electronic Commerce Research - CiteScore Metric from Scopus

Narciso Cerpa, Mirjana Pejić-Bach
2018 Journal of Theoretical and Applied Electronic Commerce Research  
Introduction to CiteScore Metric from Scopus This is the third issue of the thirteenth volume of the Journal of Theoretical and Applied Electronic Commerce Research (JTAER) .  ...  Science: Computer Science Applications 2017 117 58 24 April 2018 2.02 N.A.  ...  Science Applications.  ... 
doi:10.4067/s0718-18762018000300101 fatcat:y6cgi5tqwnd5vh2ogxvtn72th4

Page 1324 of Journal of the Atmospheric Sciences Vol. 59, Issue 8 [page]

2002 Journal of the Atmospheric Sciences  
JOURNAL OF THE ATMOSPHERIC SCIENCES VOLUME 59 Tina 97080709 UTC WN-1DHPlot 500 hPa (a) 98083100 UTC 500 hPa we + ae wn > o Latitude (°N) a an ne as we we meme wed -500 iil ; ian — te -500 -400 -300 -200  ...  -100 0 100 200 300 400 500 140 150 X (k . _— Longitude (°E) Fic. 7.  ... 

RBT--a tool for building refined Buneman trees

S. Besenbacher, T. Mailund, L. Westh-Nielsen, C. N. S. Pedersen
2004 Bioinformatics  
In Proceedings of the 28th Interna- tional Colloquium on Automata, Languages, and Programming (ICALP 2001), volume 2076 of Lecture Notes in Computer Science, pages 140-151, Springer Verlag, July 2001  ...  In Proceedings of the 12th International Symposium on Algorithms and Computation (ISAAC 2001), volume 2223 of Lecture Notes in Computer Science, pages 416-428, Springer Verlag, December 2001. − Computing  ... 
doi:10.1093/bioinformatics/bti195 pmid:15585529 fatcat:fgldcnlqzrgg3dog7zriul7wtu

Bioterrorism. Mathematical modeling applications in homeland security

Ming Jiang
2005 BioMedical Engineering OnLine  
It presents an analysis of detailed challenges for discrete mathematics and theoretical computer science and relevant tools.  ...  This book is engendered from a workshop in 2002 sponsored by the Center for Discrete Mathematics & Theoretical Computer Science (DIMACS) at Rutgers University and the National Science Foundation (NSF).  ... 
doi:10.1186/1475-925x-4-69 fatcat:ly4wpm4g3na7hohvltrkngeqom
« Previous Showing results 1 — 15 out of 88,829 results