Filters








114,912 Hits in 5.0 sec

Preface

Narciso Martí-Oliet
2005 Electronical Notes in Theoretical Computer Science  
The Electronic Notes in Theoretical Computer Science 117 (2005) 1-4 1571-0661 © 2004 Elsevier B.V. www.elsevier.com/locate/entcs doi:10.1016/j.entcs.2004.07.003 Open access under CC BY-NC-ND license.  ...  Narciso Martí-Oliet Madrid, February 23, 2004 Program Committee David Basin ETH Zurich Manuel Clavel Universidad Complutense de Madrid Preface/ Electronic Notes in Theoretical Computer Science  ... 
doi:10.1016/j.entcs.2004.07.003 fatcat:y3jsehht4nhb5bx6pzqftbtula

Preface

Vladimiro Sassone
2003 Electronical Notes in Theoretical Computer Science  
The workshop was held in Eindhoven, The Netherlands, on 28-29 June, 2003 under the auspices of EATCS, the European Association of Theoretical Computer Science, as a satellite event of the 30th International  ...  FGC: Foundations of Global Computing This volume contains the proceedings of the international workshop FGC: Foundations of Global Computing.  ...  Volume • Number (Utrecht) John C.  ... 
doi:10.1016/s1571-0661(05)80082-9 fatcat:ymr3ozmwgraz3nklizanuzkypa

Preface

Gabor Karsai, Gabriele Taentzer
2006 Electronical Notes in Theoretical Computer Science  
Preface Graphs are very high-level, abstract models which have been used in various fields of computer science. On one hand, they are well-suited to formally describe complex structures.  ...  This volume contains the proceedings of the International Workshop on Graph and Model Transformation (GraMoT) 2005, held in Tallinn, Estonia, on September 28, 2005, where it was a workshop of the 2005  ...  Preface/ Electronic Notes in Theoretical Computer Science 152 (2006) 1-2  ... 
doi:10.1016/j.entcs.2006.01.010 fatcat:477p3im23rcezk2v2txrrtk6wu

Bibliography

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.  ...  In nitary domain logic for nitary transition systems. In M. Abadi and T. Ito, editors, Proceedings of TACS'97, Sendai, Japan, volume 1281 of Lecture Notes in Computer Science.  ... 
doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse

Navigable Topic Maps for overlaying multiple acquired semantic classifications

Helka Folch, Saadi Lahlou, Benoît Habert
2000 Markup Languages: Theory and Practice  
It was published as a CD in Volumes 22-26 and as a DVD in Volumes 27-37. Electronic access to the content of the annual discs of Volumes 34-37 is now available.  ...  $392 Electronic Only $339 Single Issue $95 Pricing Notes • Subscriptions are entered for the volume year only  ...  Today, we publish more than 30 titles in the arts and humanities, economics, international affairs, history, political science, and science and technology.  ... 
doi:10.1162/109966200750363625 fatcat:7iqhwv3uzvbdnlodt5d2s36tgy

NARROWER: a new algorithm for unification and its application to Logic Programming [chapter]

Pierre Rety, Claude Kirchner, Hélène Kirchner, Pierre Lescanne
1985 Lecture Notes in Computer Science  
Amsterdam, 1997. http://www.springer.co.uk/ewic/workshops/ASFSDF97/ Pont-à-Mousson (France), Electronic Notes in Theoretical Computer Science, vol.15, pp.0, C. Kirchner, H.  ...  Lecture Notes in Computer Science, vol.1548, pp.373-388, Springer Verlag, 1999. 35.  ... 
doi:10.1007/3-540-15976-2_7 fatcat:xaxsw22i4jh2dgzl7nascq4eei

基于Agent的网构软件模型研究

2005 Science in China Series F-Information Sciences (in Chinese)  
Electronic Notes in Theoretical Computer Science, 2003, 85(1): 44 Chen T L, Han T T, Lu J. A model logic for pi-calculus and model checking algorithm.  ...  Electronic Notes in Theoretical Computer Science, 2005, 123: 19~33[DOI] 45 Han T T, Chen T L, Lu J. Structure analysis for dynamic architecture based on spatial logic.  ... 
doi:10.1360/112005-279 fatcat:kjdebudvgvhcpgtorqxgtrocw4

Contents for Volume CXXIII

2008 Quarterly Journal of Economics  
It was published as a CD in Volumes 22-26 and as a DVD in Volumes 27-37. Electronic access to the content of the annual discs of Volumes 34-40 is now available.  ...  $392 Electronic Only $339 Single Issue $95 Pricing Notes • Subscriptions are entered for the volume year only  ...  Ordering Information Prices in this catalog are effective with the first issues of the 2018 volumes. Prices are subject to change without notice.  ... 
doi:10.1162/qjec.2008.123.4.v fatcat:md7x3lgrmfe3rp3orxmjiybekq

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) .  ...  JTAER is indexed in Scopus under two categories: (i) Business, Management and Accounting: General Business, Management and Accounting, and (ii) Computer Science: Computer Science Applications, and is ranked  ...  journal among 513 journals (69 th percentile) in the category Computer Science Applications.  ... 
doi:10.4067/s0718-18762018000300101 fatcat:y6cgi5tqwnd5vh2ogxvtn72th4

Page 23 of Computational Linguistics Vol. 28, Issue 1 [page]

2002 Computational Linguistics  
Computational Linguistics Volume 28, Number 1 that demonstrates that his algorithm can be applied to very large text collections (500 megabytes of text from the Wall Street Journal).  ...  It is also worth noting that the only computational approaches to word sense disambiguation able to claim some minimal degree of efficiency are linguistically blind ones (like those reported in this book  ... 

Volume variation of Gruneisen parameters offcc transition metals

C. V. Pandya, P. R. Vyas, T. C. Pandya, V. B. Gohel
2002 Bulletin of Materials Science  
The results are reasonably good for six metals except for Rh, Ag, Au and Ni when compared with available experimental and other theoretical values.  ...  The volume variation of the Gruneisen parameters of ten fcc transition metals, up to 40% compression, has been studied on the basis of a model approach proposed by Antonov et al.  ...  These are given in Antonov et al (1990a) . For each metal, Φ(R) was computed at different volumes and using (4) γ were computed for different volumes.  ... 
doi:10.1007/bf02704597 fatcat:fvzu5jqdxzawdj4i2fxarednki

CPC volume 1 issue 2 Cover and Back matter

1992 Combinatorics, probability & computing  
LMS Lecture Note Series Lecture notes and refereed conference proceedings of the highest quality (each volume c. £20 paperback, about 10 volumes per year).  ...  Mathematical Structures in Computer Science (MSCS) is a new journal of excellence in theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical  ... 
doi:10.1017/s0963548300000110 fatcat:dhfkwtyvbzgn5jqytlgfeqejsq

AC Complement Problems: Satisfiability and Negation Elimination

MARIBEL FERNÁNDEZ
1996 Journal of symbolic computation  
Notes in Computer Science 127(5), Else- vier  ...  Proceedings of the 1st International Workshop on Security and Rewriting Techniques, SecReT'06, Electronic Notes in Theoretical Computer Science 171(4), 2007. Elsevier. 10. Guest editors: M.  ... 
doi:10.1006/jsco.1996.0041 fatcat:kq5bsgmhrjdahmhahl2prb6zpi

KER volume 6 issue 1 Cover and Back matter

1991 Knowledge engineering review (Print)  
Coverage The Computer Journal is one of the world's most eminent periodicals in the field of information technology and computer applications.  ...  Its coverage is unmatched by any other computing periodical. It includes advanced programming, computer science theory, databases, hardware and logic design and business applications.  ...  Mathematical Structures in Computer Science (MSCS) is a new journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logicto  ... 
doi:10.1017/s0269888900005543 fatcat:fwu7dikil5ag3hu4cn4vvqbtzi

Critical role of electronic correlations in determining crystal structure of transition metal compounds [article]

Nicola Lanatà, Tsung-Han Lee, Yong-Xin Yao, Vladan Stevanović and Vladimir Dobrosavljević
2018 arXiv   pre-print
the charge transfer mechanism, which, in turn, controls the electrostatic interactions.  ...  the crystal structure, opens a new avenue for extending structure prediction methodologies to strongly correlated materials, and paves the way for predicting and studying metastability and polymorphism in  ...  Department of energy, Office of Science, Basic Energy Sciences, as a part of the Computational Materials Science Program.  ... 
arXiv:1710.08586v2 fatcat:kk6uadyafreepnwnn6sfxzvpgq
« Previous Showing results 1 — 15 out of 114,912 results