Filters








35,528 Hits in 5.4 sec

Preface

Luca Aceto, Prakash Panangaden
2002 Electronical Notes in Theoretical Computer Science  
This volume contains the  ...  This volume will be published as volume 52 in the series Electronic Notes in Theoretical Computer Science (ENTCS).  ...  This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. The volumes in the ENTCS series can be accessed at the URL http://www.elsevier.nl/locate/entcs  ... 
doi:10.1016/s1571-0661(05)80573-0 fatcat:ifcuuk2da5dtth6l4xrv3nvnu4

Preface

John Derrick, Eerke Boiten
2005 Electronical Notes in Theoretical Computer Science  
Preface This volume contains the Proceedings of the REFINE 2005 workshop.  ...  The Workshop was held in Guildford, England in April 2005, co-located with ZB'05, the 4th International Conference of B and Z Users (cf. http://www.zb2005.org/).  ...  The proceedings were published as volume 70 issue 3 in the series Electronic Notes in Theoretical Computer Science (ENTCS).  ... 
doi:10.1016/j.entcs.2005.04.021 fatcat:27omnj3bozdb7eks23vq4xnkiy

Page 5892 of Mathematical Reviews Vol. , Issue 99i [page]

1999 Mathematical Reviews  
Proceedings of the workshop held in Birmingham, September | 1-— 13, 1997. Edited by Abbas Edalat, Achim Jung, Klaus Keimel and Marta Kwiatkowska. Electronic Notes in Theoretical Computer Science, 13.  ...  (electronic) ); Alexander Kaganovsky, Computing with exact real numbers in a radix-r system (27 pp. (electronic)); Klaus Keimel, Bi-continuous valuations (5 pp.  ... 

Syntax-directed description of incremental compilers [chapter]

Hans Jürgen Schneider
1975 Lecture Notes in Computer Science  
Parisi-Presicce: Basic results for two types of high- level replacement systems, Electronic Notes in Theoretical Computer Science 51 (2002)  ...  Notes Comput. Science 3256, Springer, Berlin, 2004 [20] H. Ehrig/A. Habel: Graph grammars with application conditions, in: G. Rozen- berg/A.  ... 
doi:10.1007/3-540-07141-5_222 fatcat:dugwiqdvnfbi7b55wxxs4nsefu

Selected papers of the Refinement Workshop Turku (2008)

Eerke Boiten, John Derrick, Gerhard Schellhorn
2011 Science of Computer Programming  
The workshop proceedings have appeared in Electronic Notes in Theoretical Computer Science, vol. 214.  ...  This 13th workshop continued a 20 year tradition in refinement workshops run under the auspices of the British Computer Society (BCS) FACS special interest group.  ... 
doi:10.1016/j.scico.2011.03.003 fatcat:44toazaj4jc25gahv3epiacsom

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 164 of Aerospace Engineering Vol. 15, Issue 12 [page]

1956 Aerospace Engineering  
Electronic An- alog Computer, A g Computer Components and Computer ¢ The Checking of Com- puter Result Repetitive Analog Computers and the Digital Intergrating Differential An alyzer.  ...  and 20 years of teaching The two volumes represent the subject material taught in the basic graduate course on transient analy Volume 1 presents an extensive and critical review of classical and operational  ... 

Characterization of a large-volume multi-element CdZnTe detector

Thomas H. Prettyman, Michael C. Browne, Kiril D. Ianakiev, Calvin E. Moss, Stephen E. Soldner, Ralph B. James, Richard C. Schirato
2000 Hard X-Ray, Gamma-Ray, and Neutron Detector Physics II  
In this paper, we present results of experiments to characterize a large-volume (4 cm 3 ), multi-element CdZnTe detector for high-efficiency, gamma-ray spectroscopy.  ...  An eight-channel data acquisition system with list mode output is used to record gamma-ray events for each detector in the array.  ...  Also note that nearly 50% of all coincident configurations shown in the cross-talk matrix fall in the fullenergy peak. . Cross-talk matrix for 137 Cs.  ... 
doi:10.1117/12.407567 fatcat:lz4ym6tmj5aulafafltgpq4u3m

Quantum Nanochemistry: 5-Volume Set. By Mihai V. Putz

Petr Čársky
2016 International Journal of Molecular Sciences  
The author identifies himself as a theoretical physicist, and characterizes his book as a compilation of his lecture notes which he has used within his classes.  ...  The author's favorite topics can be easily recognized in all five volumes.  ...  Hartree-Fock and density functional theory are described in detail, but advanced computational methods are noted only by a few sentences. Volume II: Quantum Atoms and Periodicity.  ... 
doi:10.3390/ijms17081358 pmid:27548159 pmcid:PMC5000753 fatcat:ob5sf6acxndgpmo7dkksaqvokq

Accelerated chemical aging of crystalline nuclear waste forms: A density functional theory study of 109Cdx109Ag1-xS

B. Dorado, B.P. Uberuaga, N.A. Marks, C.R. Stanek
2015 Nuclear Instruments and Methods in Physics Reseach B  
been selected in order to simulate the decay of important "short-lived" fission products 137 Cs or 90 Sr (which decay via β-to 137 Ba and 90 Zr respectively with ≈ 30-year half-lives).  ...  By comparison, 109 Cd decays by electron capture with a half-life of 109 days to 109 Ag.  ...  We note that the elastic constants reported in Table 1 are in good agreement with previous experimental and theoretical studies [30, 31] .  ... 
doi:10.1016/j.nimb.2014.12.033 fatcat:u7twjlcqwbgnzcw4qvik6ysleu

Magnetic Susceptibility of Insulators from First Principles

Francesco Mauri, Steven G. Louie
1996 Physical Review Letters  
The approach is applied to compute χ in diamond and in solid neon using density functional theory in the local density approximation, obtaining good agreement with experimental data.  ...  We present an ab initio approach for the computation of the magnetic susceptibility χ of insulators.  ...  Finally, we note that the DFT Hamiltonian depends in a self-consistent way upon the electronic charge density.  ... 
doi:10.1103/physrevlett.76.4246 pmid:10061238 fatcat:otxyygddu5f4voih5kxfjazntu

Electronic Structure of Liquid Mercury Using Compton Scattering Technique

B. L. Ahuja, M. Sharma, S. Mathur
2004 Zeitschrift fur Naturforschung A-A Journal of Physical Sciences  
(2) , 137 Cs source (3), HPGe detector crystal (4), detector collimation (5) , sample (6), port for evacuation (7) , additional window for 90 • scattering (8), volume seen by detector (9), beam stop  ...  Hence incorporation of 6p electrons in theoretical calculations will decrease the magnitude of the total theoretical profiles in this region which will lead to a good agreement between theory and experiment  ... 
doi:10.1515/zna-2004-0903 fatcat:pk6ctio54zcbhkhkkl6f345fcu

Measurement of the Spectral Shape of the β -Decay of Xe137 to the Ground State of Cs137 in EXO-200 and Comparison with Theory

S. Al Kharusi, G. Anton, I. Badhrees, P. S. Barbeau, D. Beck, V. Belov, T. Bhatta, M. Breidenbach, T. Brunner, G. F. Cao, W. R. Cen, C. Chambers (+97 others)
2020 Physical Review Letters  
We report on a comparison between the theoretically predicted and experimentally measured spectra of the first-forbidden nonunique β-decay transition ^{137}Xe(7/2^{-})→^{137}Cs(7/2^{+}).  ...  In addition to providing a rare and accurate measurement of the first-forbidden nonunique β-decay shape, this work constitutes a novel test of the calculated electron spectral shapes in the context of  ...  In order to test the accuracy of the theory framework used to compute the electron spectra related to the reactor antineutrino problem, one needs (1) a measured electron spectral shape of a forbidden β-decay  ... 
doi:10.1103/physrevlett.124.232502 pmid:32603173 fatcat:wcnwaot6kjaazo66ozglf7cfqm

Measurement of the Spectral Shape of the beta-decay of 137Xe to the Ground State of 137Cs in EXO-200 and Comparison with Theory [article]

S. Al Kharusi, G. Anton, I. Badhrees, P.S. Barbeau, D. Beck, V. Belov, T. Bhatta, M. Breidenbach, T. Brunner, G.F. Cao, W.R. Cen, C. Chambers (+96 others)
2020 arXiv   pre-print
In addition to providing a rare and accurate measurement of the first-forbidden non-unique β-decay shape, this work constitutes a novel test of the calculated electron spectral shapes in the context of  ...  We report on a comparison between the theoretically predicted and experimentally measured spectra of the first-forbidden non-unique β-decay transition ^137Xe(7/2^-)→ ^137Cs(7/2^+).  ...  EXO-200 is supported by DOE and NSF in the United States, NSERC in Canada, IBS  ... 
arXiv:2002.00108v2 fatcat:dqdg4gss5rdfhjsioktkyxvzqu

Quantitative Aspects of Programming Languages and Systems over the past 2^4 years and beyond

Alessandro Aldini
2020 Electronic Proceedings in Theoretical Computer Science  
Along the last two decades a variety of theoretical achievements and automated techniques have contributed to make quantitative modeling and verification mainstream in the research community.  ...  Quantitative aspects of computation are related to the use of both physical and mathematical quantities, including time, performance metrics, probability, and measures for reliability and security.  ...  Electronic Notes in Theoretical Computer Science 253(3), pp. 3-23, doi:10.1016/j.entcs.2009.10.002.  ... 
doi:10.4204/eptcs.312.1 fatcat:4fjvygbppjbq3k5ury2kvue3nq
« Previous Showing results 1 — 15 out of 35,528 results