47,083 Hits in 5.6 sec


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

Safety Verification of Model Helicopter Controller Using Hybrid Input/Output Automata [chapter]

Sayan Mitra, Yong Wang, Nancy Lynch, Eric Feron
2003 Lecture Notes in Computer Science  
Electronic Notes in Theoretical Computer Science, 125(2):45-65, 2005. 5. Sayan Mitra and L. M. Patnaik Specification language design for hybrid systems.  ...  Electronic Notes in Theoretical Computer Science, 174(8):71-93, June 2007. 4. Sayan Mitra and Myla Archer. PVS strategies for proving abstraction properties of au- tomata.  ... 
doi:10.1007/3-540-36580-x_26 fatcat:ptyxahsjffhdbk6omd5ntkkw3i

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

7,7\-Bis[(aza-18-crown-6)carbonyl]thioindigo: Synthesis, Experimental, Theoretical Characterization and Biological Activities

Metin Koparir
2013 Medicine Science  
The title compound has been tested in vitro for biological effects.  ...  The title compound was found to exhibit significant antimicrobial and antioxidant activity Medicine Science 2013;2(1):386-402 7,7'-Bis[(aza-18-crown-6)carbonyl]thioindigo Original Investigation  ...  We note that the experimental results are for the solid phase and the theoretical calculations are for the gas phase.  ... 
doi:10.5455/medscience.2012.01.8039 fatcat:llaxql4osrcspjcumobogijjdm

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

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 8153 of Mathematical Reviews Vol. , Issue 2004j [page]

2004 Mathematical Reviews  
Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science held in Antibes-Juan les Pins, March 14-16, 2002. Edited by Helmut Alt and Afonso Ferreira.  ...  Lecture Notes in Computer Science, 2285. Springer-Verlag, Berlin, 2002. xiv+660 pp. $96.00. ISBN 3-540-43283-3 {The 18th Symposium has been reviewed [; MR 2002k:68011].}  ... 

Page 1829 of Journal of Chemical Physics Vol. 35, Issue 5 [page]

1961 Journal of Chemical Physics  
In a recent note, Lefebvre-Brion et al.5 have reported some 3S. Huzinaga, Progr. Theoret. Phys. (Kyoto) 18, 139 19, 125 (1957); 20, 15 (1958). 4P. Phillipson and R. S. Mulliken, J. Chem.  ...  Improvements up to’ several electron volts in total molecular energy were noted.  ... 

TLP volume 11 issue 4 Cover and Back matter

2011 Theory and Practice of Logic Programming  
Contents continued from back cover) 575 Estimating the overlap between dependent computations for automatic parallelization paul bone, zoltan somogyi and peter schachte 593 (Co-)Inductive semantics for  ...  structured alternative to prolog with simple compositional semantics antónio porto 629 Transition systems for model generators-A unifying approach yuliya lierler and miroslaw truszczynski 647 Actual causation in  ...  items of theoretical and practical interest. journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer  ... 
doi:10.1017/s1471068411000366 fatcat:5qihhr24rvar3c3uxwsue2m3ce

Errata: Note on Stress Rupture in Glass

Eugene F. Poncelet
1959 Journal of Applied Physics  
This volume is another in the McGraw-Hill series of texts on electrical engineering.  ...  Thomson, Transport Properties in Gases, (North- western University Press, Evanston, Illinois, 1957), pp. 151-173. Errata: Note on Stress Rupture in Glass (J. Appl.  ... 
doi:10.1063/1.1734964 fatcat:a37fr2a7gbfpxprjcwysh4xix4

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

Ab-initio study of the electronic structure and magnetic properties of Ce2Fe17

Alena Vishina, Olle Eriksson, Olga Yu. Vekilova, Anders Bergman, Heike C. Herper
2021 Journal of Alloys and Compounds  
The existing theoretical investigations overestimate the experimental total magnetic moment of Ce_2Fe_17 by 20-40 of first-principle electronic structure calculations, we show that the total magnetic moment  ...  Atomistic spin dynamics simulations are shown to capture the change in the magnetic state of Ce_2Fe_17 with temperature, and closely replicate the reported helical structure that appears in some of the  ...  In Ref. [61] the authors combined the experimental and theoretical studies of Ce 2 Fe 17 .  ... 
doi:10.1016/j.jallcom.2021.161521 fatcat:j6sywmijwbhibg4dpeljqnv3iq

Page 3731 of Mathematical Reviews Vol. , Issue 81I [page]

1981 Mathematical Reviews  
Lecture Notes in Computer Science, 87. Springer-Verlag, Berlin-New York, 1980. vii + 385 pp. $22.00.  ...  They describe both theoretical status and practical investigations of implementations and their applications, especially in computing science.”  ... 

The Role of Crystalline Orientation in the Formation of Surface Patterns on Solids Irradiated with Femtosecond Laser Double Pulses

George D. Tsibidis, Luc Museur, Andrei Kanaev
2020 Applied Sciences  
A theoretical investigation of the underlying ultrafast processes upon irradiation of rutile TiO2 of (001) and (100) surface orientation with femtosecond (fs) double pulsed lasers was performed in ablation  ...  The significant role of the crystalline anisotropy is illustrated through the presentation of representative experimental results correlated with the theoretical predictions.  ...  To this end, we present a detailed theoretical approach that describes the ultrafast dynamics in rutile TiO 2 [22, 26, 30, [56] [57] [58] , to account firstly, for excitation and electron-phonon relaxation  ... 
doi:10.3390/app10248811 fatcat:s77ilf7xsbdkhaowub2fq2pymq

Page 1809 of Linguistics and Language Behavior Abstracts: LLBA Vol. 29, Issue 4 [page]

1995 Linguistics and Language Behavior Abstracts: LLBA  
Electronic proce- dures, computer applications, including computerization of the excerp- tion system, & the establishment of an electronic corpus, are examined.  ...  Various methods proposed in the literature are valuable in es- tablishing collocational sets, but their theoretical basis is less clear.  ... 
« Previous Showing results 1 — 15 out of 47,083 results