Filters








69,461 Hits in 4.5 sec

Author Index Volume 127 (1994)

1994 Theoretical Computer Science  
Resta, Oracle computations in parallel numerical linear algebra Coquide, J.-L., M. Dauchet, R. Gilleron and S.  ...  Sharma, Program size restrictions in computational learning Jantzen. M. and H. Petersen, Cancellation in context-free languages: enrichment by reduction Jeschke, C-D., see J.  ... 
doi:10.1016/0304-3975(94)90050-7 fatcat:zyznrn7m4nhgfofcltok6asss4

Author index volume 264 (2001)

2001 Theoretical Computer Science  
Ablayev (1) 127}137 Kobayashi, S. and Y. Sakakibara, Multiple splicing systems and the universal computability (1) 3} 23 Manca, V., Logical string rewriting (1) 25} 51 Mitjana, M., see L.  ...  Ablayev (1) 127}137 Niggl, K.-H., see U. Berger  ... 
doi:10.1016/s0304-3975(01)00285-7 fatcat:kd6ieit4lrcldnjcjmsl6awxhy

Author index volume 137 (1995)

1995 Theoretical Computer Science  
Arikawa Elsevier Science B.V. 279-282 (2) 279-282 (1) 85-108 Shinohara.  ...  ., Complexity of computing Vapnik-Chervonenkis dimension and some generalized dimensions (1) 129-144 Takahashi, A., S. Ueno and Y.  ... 
doi:10.1016/0304-3975(95)90161-2 fatcat:klpx64kobbclvbm4v4uhmaf4t4

Index

2000 Theoretical Computer Science  
Caron (1}2) 75} 90 Author index volume 233 / Theoretical Computer Science 233 (2000) 327}328  ...  Langston, On computing graph minor obstruction sets (1}2) 107}127 Del Lungo, A., F.D. Ristoro and J.-G.  ... 
doi:10.1016/s0304-3975(99)00310-2 fatcat:72yhha7xrrg5rpujiuha7r5guq

Acacia+, a Tool for LTL Synthesis [chapter]

Aaron Bohy, Véronique Bruyère, Emmanuel Filiot, Naiyong Jin, Jean-François Raskin
2012 Lecture Notes in Computer Science  
In Automated Technology for Verification and Analysis, ATVA, volume 6252 of LNCS, pages 112-127. Springer, 2010. Characteristics:  ...  In Computer Aided Verification, CAV, volume 5643 of LNCS, pages 263-277. Springer, 2009. 2. E. Filiot, N. Jin, and J.-F. Raskin. Compositional algorithms for LTL synthesis.  ... 
doi:10.1007/978-3-642-31424-7_45 fatcat:d6uykhxxrncdng7zrvrknwkl3e

Page 127 of American Society of Civil Engineers. Collected Journals Vol. 1, Issue CC3 [page]

1997 American Society of Civil Engineers. Collected Journals  
THEORETICAL COMPUTATION OF FLEXURAL STIFFNESS In this section theoretical evaluation of flexural stiffness us- ing our approximate CLT has been explained with an example.  ...  bottom flange laminates exists (variation in strain readings was about 5-10%). ¢ Approximate theoretical expressions proposed in this pa- per can be used to compute the flexural and shear rigid- ities  ... 

Author index volume 48 (1986)

1986 Theoretical Computer Science  
., The complexity of the word problem for Abelian/-groups (Note) (1) 127-132 Yu, S., see A. Salomaa (2, 3)283-296 0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V.  ... 
doi:10.1016/0304-3975(86)90105-2 fatcat:tqnvjfxh5ndzpfv7synfyvehlm

Author index volume 88 (1991)

1991 Theoretical Computer Science  
Vazirani, Planar graph coloring is not self-reducible, Elsevier Science Publishers B.V. Shankar, P. and B.S.  ...  -138 (2) 365-384 (2) 325-349 (2) 191-229 Author Index Volume 88 (1991)  ... 
doi:10.1016/0304-3975(91)90384-e fatcat:rv5vfp5crrfzzlwulp7uyorjcq

LTA volume 26 issue 2 Cover and Back matter

1993 Language Teaching  
In addition, the journal will attempt to narrow the distance between such fields as sociolinguistics, psycholinguistics, computational linguistics (including the information sciences, artificial intelligence  ...  111 Language description and use 121 N e w books 123 Bibliographies 127 List of abstractors 127 Subject and author indexes 128  ... 
doi:10.1017/s0261444800007114 fatcat:wl7ffp5spzenfpvk75hb7u7c6e

Page 2 of Communications of the Association for Computing Machinery Vol. 2, Issue 12 [page]

1959 Communications of the Association for Computing Machinery  
As will be observed from the list of references, these six volumes contain valuable information and important theoretical conclusions from the Czechoslovak computing industry.  ...  Veircu, Proceedings of the Association for Computing Machinery, May, 1952, pp. 127-133. 6. M. Napier, SZI V, 1957, pp. 93-102. 7. B. Mirtres ano M. Koneény¥, SZI VI, 1958, pp. 115-152. 8. Z.  ... 

Guest editors' foreword

Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, Zoltán Ésik
2005 Theoretical Computer Science  
The first contribution to this volume is a piece by Jos Baeten of a historical nature.  ...  As such, it serves as a scientific preface to the technical contributions in the volume.  ...  This gives yet another indication of the power of randomized techniques in Computer Science.  ... 
doi:10.1016/j.tcs.2005.01.013 fatcat:e2szysleb5dwtf2saggasd5faq

Page 291 of Applied Physics. A and B Vol. B49, Issue 3 [page]

1989 Applied Physics. A and B  
(Springer Series in Solid-State Sciences, Volume 80). Hardcover DM 49,—.  ...  “Truly, computer simulation is a third branch of physics, intermediate between the traditional branches — experimental and theoretical physics — and complementing them!”  ... 

Page 270 of Applied Physics. A and B Vol. A51, Issue 3 [page]

1990 Applied Physics. A and B  
(Springer Series in Solid-State Sciences, Volume 80).  ...  “Truly, computer simulation is a third branch of physics, intermediate between the traditional branches — experimental and theoretical physics — and complementing them!”  ... 

MSC volume 5 issue 2 Cover and Back matter

1995 Mathematical Structures in Computer Science  
There are many exercises, most with solutions. £25.00 net HB 0 521 46482 X 328 pp. 1994 £35.00 net HB 0 52145023 3 378 pp. 1994 £14.95 net PB 0 521 45650 9 Cambridge Computer Science Texts 29 Cambridge  ...  The three volumes are written in sequence, with the first being essentially selfcontained.  ...  Cambridge Tracts in Theoretical Computer Science 38 Foundations of Parallel Computing D. B.  ... 
doi:10.1017/s0960129500000670 fatcat:sahey5kpcfgcff7a2wktkjfiva

Electronic Band Structure and Photoemission States of Bi_{1.96}Mg_{0.04}Se_3

W. Tokarz, R. Zalecki, M. Kowalik, A. Kołodziejczyk, A. Kozłowski, J.I. Miotkowski
2014 Acta Physica Polonica. A  
We present theoretical band structure calculations and ultraviolet electron photoemission spectroscopy of a topological insulator Bi1.96Mg0.04Se3.  ...  In consequence, 4% decrease of volume and 3% decrease of ratio c/a was obtained. This modied structure was multiplied three times in a and b direction in order to place proper amount of Mg.  ...  Acknowledgments This work was supported by the Polish Ministry of Science and Higher Education and its grants for scientic research.  ... 
doi:10.12693/aphyspola.126.a-127 fatcat:mr5nzt5wtva6tkntqsjp6j2mme
« Previous Showing results 1 — 15 out of 69,461 results