78,182 Hits in 7.7 sec


Alessandro Aldini, Franck van Breugel
2007 Electronical Notes in Theoretical Computer Science  
Based on QAPL 2004, a special issue of the journal Theoretical Computer Science was published as volume 346(1).  ...  The proceedings appeared as volume 59 (3) The QAPL 2007 programme committee members were This volume contains the proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (  ... 
doi:10.1016/j.entcs.2007.08.012 fatcat:ivhut7c3prgmxpfbocr4zv6j24


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

CRS 2017 - Call for Papers

Farid Ablayev
2016 Bulletin of the European Association for Theoretical Computer Science  
the conference topics, in electronic form (pdf format) via EasyChair.  ...  algorithms and data structures combinatorial optimization constraint solving computational complexity cryptography combinatorics in computer science formal languages and automata algorithms for concurrent  ... 
dblp:journals/eatcs/Ablayev16 fatcat:lon2peuja5e67c4cdlstp4w74q

Secure Implementation of Channel Abstractions (Abstract)

Martín Abadi, Cédric Fournet, Georges Gonthier
1998 Electronical Notes in Theoretical Computer Science  
Technical Report 414, University o f C a m bridge Computer Laboratory, January 1997. Extended version of both 2] and 3]. A revised version c 1998 Published by Elsevier Science B. V.  ...  We obtain a correctness theorem for our translation this theorem implies that one can reason about programs in the high-level language without mentioning the subtle cryptographic protocols used in their  ...  In Antoni Mazurkiewicz and J ozef Winkowski, editors, Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science, pages 59{73.  ... 
doi:10.1016/s1571-0661(05)82514-9 fatcat:i4vayxs5jfho7ld5vrvx4y4ocy

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

TLP volume 9 issue 5 Cover and Back matter

2009 Theory and Practice of Logic Programming  
Longo, CNRS and Ecole Normale Supérieure, Paris, France Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural  ...  side of mathematics and mathematical logic to computer science.  ... 
doi:10.1017/s1471068409990184 fatcat:y2robk7pkraznfgpdmkbqhagsu

Bibliography on Realizability

Lars Birkedal
1999 Electronical Notes in Theoretical Computer Science  
In  ...  In Structure in Complexity Theory, v olume 223 of Springer Lecture Notes in Computer Science, pages 77{103. Springer-Verlag, 1986. 41] A. Carboni.  ...  In J.F. Groote and M. Bezem, editors, Typed L ambda Calculi and Applications, v olume 664 of Lecture Notes in Computer Science, pages 179{194. Springer-Verlag, 1993. 121] J.M.E. Hyland, E.P.  ... 
doi:10.1016/s1571-0661(04)00103-3 fatcat:jpr3su4qxfgwremm5yjfgwbgai

Page 8 of Diagnostics & Clinical Testing Vol. 1, Issue 3 [page]

1963 Diagnostics & Clinical Testing  
Eight noted authorities dis- cuss past, present, and future developments in electronics List Price $7.95 MEMBER'S PRICE $5.95 below.  ...  Ideal for the young people in your family—as well as adults. A practical demonstra- tion of the basic principles of computer circuitry, with 64-page theoretical and instruction booklet.  ... 

Page 6560 of Mathematical Reviews Vol. , Issue 2000i [page]

2000 Mathematical Reviews  
(electronic), Electron. Notes Theor. Comput. Sci., 20, Elsevier, Amsterdam, 1999.  ...  (English summary) Computer science logic (Aarhus, 1997), 389-405, Lecture Notes in Comput. Sci., 1414, Springer, Berlin, 1998.  ... 

A comparative study using state-of-the-art electronic structure theories on solid hydrogen phases under high pressures

Ke Liao, Xin-Zheng Li, Ali Alavi, Andreas Grüneis
2019 npj Computational Materials  
constituent electrons and nuclei, respectively.  ...  Identifying the atomic structure and properties of solid hydrogen under high pressures is a long-standing problem of high-pressure physics with far-reaching significance in planetary and materials science  ...  The computational results presented have been achieved in part using the Vienna  ... 
doi:10.1038/s41524-019-0243-7 fatcat:rsq67bi3c5fm3nzdyeir7cx6su

Page 1559 of Mathematical Reviews Vol. 57, Issue 5 [page]

1979 Mathematical Reviews  
New technical methods of computed networks: The electronic computer ES-1022; the electronic computer ES-1035. {The articles will not be reviewed individually.} Current problems in mathematics.  ...  II (pp. 59-393). *Group theoretical methods in physics. 57 #11993 Fourth International Colloquium, held in Nijmegen, June 1975. Edited by A. Janner, T. Janssen and M. Boon.  ... 

Connection between Mott physics and crystal structure in a series of transition metal binary compounds

Nicola Lanatà, Tsung-Han Lee, Yong-Xin Yao, Vladan Stevanović, Vladimir Dobrosavljević
2019 npj Computational Materials  
these systems. npj Computational Materials (2019) 5:30 ; https://doi.  ...  Remarkably, we find that the main qualitative features of this complex behavior in the Mott phase of these systems can be traced back to the fact that the strong d-electron correlations influence substantially  ...  partnership with the Shanghai Institute of Ceramics of the Chinese Academy of Sciences npj Computational Materials (2019) 30 npj Computational Materials (2019) 30 Published in partnership with the  ... 
doi:10.1038/s41524-019-0169-0 fatcat:ockyixk2h5a3bme477dycyj5sy

Ground-State and Thermodynamical Properties of Uranium Mononitride from Anharmonic First-Principles Theory

Per Söderlind, Alexander Landa, Aurélien Perron, Babak Sadigh, Tae Wook Heo
2019 Applied Sciences  
Thermodynamical properties are computed within the quasi-harmonic approximation in the Debye–Grüneisen model while anharmonicity is captured in the self-consistent ab initio lattice dynamics (SCAILD) scheme  ...  The electronic structure for UN at zero temperature is obtained from DFT that utilizes the generalized gradient approximation (GGA) for the electron exchange and correlation functional and includes spin-orbit  ...  The reported atomic volume, bulk modulus and its pressure derivative in Table 1 are obtained from a Vinet fit [59] to the calculated DFT pressures.  ... 
doi:10.3390/app9183914 fatcat:h6dqgdm4xfgiddx6uqbjoefbfy

MDY volume 23 issue 3 Cover and Front matter

2019 Macroeconomic Dynamics  
Annual subscription rates for Volume 23, 2019: Institutional rate is (print and electronic) $1480.00 in the USA, Canada, and Mexico, £894.00 + VAT elsewhere.  ...  Macroeconomic Dynamics is indexed in EconLit; The Journal of Economic Literature (e-JEL and JEL on CD); ISI: Current Contents/Social & Behavioral Sciences; Social Sciences Citation Index; Research Alert  ... 
doi:10.1017/s1365100519000129 fatcat:s7ju5zmft5envmxkh7n2o4vzje

MRS volume 43 issue 5 Cover and Front matter

2018 MRS bulletin  
Volume 43 Number 5 ISSN: 0883-7694 CODEN: MRSBEA 318 Materials News  Hydrophobic and hydrophilic surfaces hold tight through chemical silane bonds Hortense Le Ferrand  E-skin sensor self-heals and can  ...  be recycled Boris Dyatkin  Atomic thin layers of Sn exhibit superconductivity Tianyu Liu  Stretchable organic electronics on skin monitors health Rahim Munir  Field-effect transistor is powered by  ...  Advanced characterization methods and techniques Computational materials science when coupled with experimentation Fundamental materials science Interfacial science as relates to material process understanding  ... 
doi:10.1557/mrs.2018.118 fatcat:etyyuakb2bg3noju4jy7kftbpu
« Previous Showing results 1 — 15 out of 78,182 results