Filters








45,677 Hits in 4.8 sec

Preface

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 second edition was held in Barcelona, Spain in 2004, as a satellite event of ETAPS. The proceedings appeared as volume 112 of ENTCS.  ... 
doi:10.1016/j.entcs.2007.08.012 fatcat:ivhut7c3prgmxpfbocr4zv6j24

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

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.  ...  Only $32 Institutional Print with Electronic Access $533 Electronic Only $449 Single Issue $116 mitpressjournals.org/di Quarterly Volume 34 forthcoming winter/spring/summer/autumn 112  ...  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

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.  ...  Only $35 Institutional Print with Electronic Access $581 Electronic Only $489 Single Issue $116 mitpressjournals.org/di Quarterly Volume 35 forthcoming winter/spring/summer/autumn 112  ...  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

Alappat Redux: Support for Functional Language in Software Patent Claims

Andrew Chin
2013 Social Science Research Network  
The Federal Circuit has suggested in some recent cases that any algorithm can serve as adequate structural support for a means-plus-function element in a software patent claim under § 112(f).  ...  In this Article, I argue that this overreliance on the algorithm concept originated in a revisionist gloss on the Federal Circuit's 1994 Alappat decision.  ...  See generally THEODORE ARABATZIs, REPRESENTING ELECTRONS: A BIOGRAPHI-CAL APPROACH TO THEORETICAL ENTITIES (2006) (providing a history of theoretical representations of the electron as an unobservable  ... 
doi:10.2139/ssrn.2272016 fatcat:h77bqlqafvg5jmh6l5ljb5ys7q

A Study of Factors Influencing e-Government Service Acceptance Intention: A Multiple Perspective Approach [chapter]

Chih-Hui Hsiao, Hui-Chih Wang, Her-Sen Doong
2012 Lecture Notes in Computer Science  
Japan is the leading country in Asia, and its development in e-Government (electronic government) service was reported to be in the top nine worldwide by Brown University in 2006.  ...  Based on a sample of 112 Japanese citizens, this study has uncovered fruitful findings that will benefit practitioners in implementing e-Government services across Japan and future studies in this area  ...  In particular, governmental agencies in Switzerland, Canada, Australia, and the Netherlands have reported that there was still a high volume of contacts via traditional service channels such as telephone  ... 
doi:10.1007/978-3-642-32701-8_8 fatcat:xvkvnn4sovcsznztb3db6jbt6e

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

Structural Properties of of Group IV B Element Rutherfordium by First Principles Theory [article]

Jyoti Gyanchandani, S.K.Sikka
2011 arXiv   pre-print
The structural and electronic properties of Rutherfordium, the newest group IV B element, have been evaluated by first principles density functional theory in scalar relativistic formalism with and without  ...  spin-orbit coupling and compared with the known experimental and theoretical properties of its homologue Hf.  ...  The 6d, 7s and 7p electrons were included as conduction states while the 5f, 6s and 6p electrons were treated as semi-core states. The computations have been done for hcp, bcc, fcc and ω structures.  ... 
arXiv:1106.3146v1 fatcat:3tmrbl2pr5c4pf6gws76r5mlpu

Book Reviews

1993 MRS bulletin  
$112 Foreign (air freight) $165 Journal of Materials Research (ISSN: 0884-2914) Volume 9 One year subscription (12 issues) U.S.A.  ...  The topic is handled, as the sleeve notes state, "in plain, nontechnical terms," the understanding of which, as the author himself says in the preface, "requires only some background in high school or  ... 
doi:10.1557/s0883769400038410 fatcat:z37we6rfejepvkhaefddbmf6ga

Effect of Biofield Treatment on the Physical and Thermal Characteristics of Aluminium Powders

Mahendra Kumar Trivedi
2015 Industrial Engineering & Management  
X-ray diffraction of the powder samples indicated both increase and decrease in crystallite size, unit cell volume, change in nuclear charge per unit volume of atom and atomic weight of samples exposed  ...  As thick film pastes used in the manufacture of silicon solar cells, and as reducing agent and sources of heat, used in alumina thermic and exothermic applications.  ...  Cheng Dong of NLSC, Institute of Physics, and Chinese academy of Sciences for permitting us to use PowderX software for analyzing XRD results.  ... 
doi:10.4172/2169-0316.1000151 fatcat:kxmskytpjzb55ixjq4bqcuepva

Encyclopédie Entomologique, Catalogue Illustré des Lucanides du Globe . Texte. 223 pp. Illus. Encyclopédie Entomologique, Catalogue Illustré des Lucanides du Globe . Atlas. 112 plates. R. Didier and E. Séguy. Lechevalier, Paris, 1953. Both volumes, F. 8000

Ashley B. Gurney
1954 Science  
Atlas. 112 plates. R. Didier and E. Séguy. Lechevalier, Paris, 1953. Both volumes, F. 8000.  ...  Books on theoretical nuclear physics are not yet numerous, so it is a pleasure to note the appearance of a new one by an eminent and qualified author.  ... 
doi:10.1126/science.120.3112.301-b fatcat:3izapv3ns5d2ppnrzkwobuo44e

Encyclopédie Entomologique, Catalogue Illustré des Lucanides du Globe . Texte. 223 pp. Illus. Encyclopédie Entomologique, Catalogue Illustré des Lucanides du Globe . Atlas. 112 plates. R. Didier and E. Séguy. Lechevalier, Paris, 1953. Both volumes, F. 8000

Ashley B. Gurney
1954 Science  
Atlas. 112 plates. R. Didier and E. Séguy. Lechevalier, Paris, 1953. Both volumes, F. 8000.  ...  Books on theoretical nuclear physics are not yet numerous, so it is a pleasure to note the appearance of a new one by an eminent and qualified author.  ... 
doi:10.1126/science.120.3112.301.b fatcat:efsjnf7wxzdhtdd4x53kezbcmu

Encyclopedie Entomologique, Catalogue Illustre des Lucanides du Globe. Texte. 223 pp. Illus. Encyclopedie Entomologique, Catalogue Illustre des Lucanides du Globe. Atlas. 112 plates. R. Didier and E. Seguy. Lechevalier, Paris, 1953. Both volumes, F. 8000

A. B. GURNEY
1954 Science  
Atlas. 112 plates. R. Didier and E. Séguy. Lechevalier, Paris, 1953. Both volumes, F. 8000.  ...  Books on theoretical nuclear physics are not yet numerous, so it is a pleasure to note the appearance of a new one by an eminent and qualified author.  ... 
doi:10.1126/science.120.3112.301-a fatcat:vvsldhhbkjbrzomhfapnclhvbu

Wavelet Analysis of Electrical Signals from Brain: The Electroencephalogram [chapter]

Rohtash Dhiman, Priyanka, J. S. Saini
2013 Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering  
Jain International Journal of Electrical , Electronics and Computer Engineering (IJEECE) , Volume.3,Edition: 1, pp. 37-47, February 2014 Survey Related to Power Quality Issues in Indian Electricity  ...  Reduction in Wireless SensorNetworks using Swarm Technique June 2014 Yes 40 Ravi Current Trends in Technology and Science,Volume: 3, Issue: 4(June-July 2014), ISSN: 2279-0535.  ... 
doi:10.1007/978-3-642-37949-9_24 fatcat:7kraxha2m5c57anjmsz3qef4gm

Young's modulus of [111] germanium nanowires

M. Maksud, J. Yoo, C. T. Harris, N. K. R. Palapati, A. Subramanian
2015 APL Materials  
It is important to note that the surface oxide has previously been shown to have beneficial effects in one-dimensional silicon anodes by preferentially directing the dimensional volume expansion during  ...  In previous studies, YM values of 106 ± 19 GPa 9 and 112 ± 43 GPa 10 were reported for NWs synthesized in the [110] and [112] directions, respectively.  ... 
doi:10.1063/1.4935060 fatcat:3f5sz7g7mje4thl4bqnvfkcyxm
« Previous Showing results 1 — 15 out of 45,677 results