A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Preface
2005
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
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
2003
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
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 application/pdf.
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
2000
Markup Languages: Theory and Practice
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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]
1985
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2018
Journal of Theoretical and Applied Electronic Commerce Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
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
2002
Bulletin of Materials Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
1996
Journal of symbolic computation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2018
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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