DOCSLIB.ORG

Compendex Source List -- Monographs, Series, Proceedings -- 2011

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Compendex Source List -- Monographs, Series, Proceedings -- 2011 COMPENDEX SOURCE LIST -- MONOGRAPHS, SERIES, PROCEEDINGS -- 2011 Date of file is: 8 April 2011 TITLE SOURCE TYPE ISBN13 ISSN E ISSN PUBLISHER COUNTRY 10th ACIS Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2009, In conjunction with IWEA 2009 and WEACR 2009 Proceeding 9780769536422 IEEE Computer Society USA 10th AIAA/ASME Joint Thermophysics and Heat Transfer Conference Proceeding 9781600867453 American Institute of Aeronautics and Astronautics Inc. (AIAA) USA 10th Annual Applied Ergonomics Conference: Celebrating the Past - Shaping the Future Proceeding Institute of Industrial Engineers USA 10th Canadian Workshop on Information Theory, CWIT 2007 Proceeding 9781424407699 IEEE Computer Society USA 10th Electronics Packaging Technology Conference, EPTC 2008 Proceeding 9781424421183 IEEE Computer Society USA 10th IEEE International Conference on Bioinformatics and Bioengineering 2010, BIBE 2010 Proceeding 9780769540832 IEEE Computer Society USA 10th IEEE International Multitopic Conference 2006, INMIC Proceeding 9781424407941 IEEE Computer Society USA 10th IFIP/IEEE International Symposium on Integrated Network Management 2007, IM '07 Proceeding 9781424407996 IEEE Computer Society USA 10th International Conference on Information Sciences, Signal Processing and their Applications, ISSPA 2010 Proceeding 9781424471676 IEEE Computer Society USA 10th International Conference on Numerical Simulation of Optoelectronic Devices, NUSOD 2010 Proceeding 9781424470174 IEEE Computer Society USA 10th International Symposium on Integrated Circuits, Devices and Systems, ISIC-2004: Integrated Systems on Silicon - Proceedings Proceeding 9789810517878 Nanyang Technological University SGP 10th International Workshop on Aeroelasticity of Rotorcraft Systems: Abstracts and Presentation Proceeding Georgia Institute of Technology USA 10th International Workshop on Signal Processing for Space Communications, SPSC 2008 Proceeding 9781424425730 IEEE Computer Society USA 10th Symposium on Neural Network Applications in Electrical Engineering, NEUREL-2010 - Proceedings Proceeding 9781424488209 IEEE Computer Society USA 10th WSEAS International Conference on Wavelet Analysis and Multirate Systems, WAMUS '10, 9th WSEAS International Conference on Non-Linear Analysis, Non-Linear Systems and Chaos, NOLASC '10 Proceeding 9789604741892 World Scientific and Engineering Academy and Society USA 11th ADIPEC: Abu Dhabi International Petroleum Exhibition and Conference - Conference Proceedings Proceeding Society of Petroleum Engineers (SPE) USA 11th Advanced Coating Fundamentals Symposium Proceedings: The Latest Advances in Coating Research and Development Proceeding 9781595102034 TAPPI Press USA 11th Applied Ergonomics Conference and Expo 2008 Proceeding Institute of Industrial Engineers USA 11th Conference on Mesoscale Processes and the 32nd Conference on Radar Meteorology Proceeding American Meteorological Society USA 11th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2004 Proceeding 9780780387157 IEEE Computer Society USA 11th IEEE International Symposium on Computational Intelligence and Informatics, CINTI 2010 - Proceedings Proceeding 9781424492800 IEEE Computer Society USA 11th IEEE Workshop on Control and Modeling for Power Electronics, COMPEL 2008 Proceeding 9781424425518 IEEE Computer Society USA 11th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS XI Proceeding 9781581138047 Association for Computing Machinery (ACM) USA 11th International Conference on Computer Modelling and Simulation, UKSim 2009 Proceeding 9780769535937 IEEE Computer Society USA 11th International Conference on Control, Automation, Robotics and Vision, ICARCV 2010 Proceeding 9781424478132 IEEE Computer Society USA 11th International Conference on Optimization of Electrical and Electronic Equipment, OPTIM 2008 Proceeding 9781424415441 IEEE Computer Society USA 11th International Middleware Conference - Industrial Track, Middleware'10 Proceeding 9781450304566 Association for Computing Machinery (ACM) USA 11th International Scientific and Practical Conference of Students, Postgraduates and Young Scientists; "Modem Techniques and Technologies", MTT 2005 - Proceedings Proceeding 9780780388772 IEEE Computer Society USA 11th International Workshop on Image Analysis for Multimedia Interactive Services, WIAMIS 10 Proceeding 9781424478484 IEEE Computer Society USA COMPENDEX SOURCE LIST -- MONOGRAPHS, SERIES, PROCEEDINGS -- 2011 11th Specialist Meeting on Microwave Radiometry and Remote Sensing of the Environment, MicroRad 2010 - Proceedings Proceeding 9781424481217 IEEE Computer Society USA 11th-Annual SPE TPO Conference - World's Leading Automotive Olefins Forum Proceeding Society of Plastics Engineers USA 12th Abu Dhabi International Petroleum Exhibition and Conference, ADIPEC 2006: Meeting the Increasing Oil and Gas Demand Through Innovation Proceeding Society of Petroleum Engineers USA 12th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference, MAO Proceeding 9781563479472 American Institute of Aeronautics and Astronautics Inc. (AIAA) USA 12th Biennial IEEE Conference on Electromagnetic Field Computation, CEFC 2006 Proceeding IEEE Computer Society USA 12th Conference on Cloud Physics, and 12th Conference on Atmospheric Radiation Proceeding American Meteorological Society USA 12th Conference on Mesoscale Processes Proceeding American Meteorological Society USA 12th Euromicro Conference on Digital System Design: Architectures, Methods and Tools, DSD 2009 Proceeding 9780769537825 IEEE Computer Society USA 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Conference Post-Proceedings Proceeding 9780769528212 IEEE Computer Society USA 12th IEEE International Conference on Advanced Thermal Processing of Semiconductors, RTP 2004 Proceeding 9780780384774 IEEE Computer Society USA 12th IEEE International Conference on Communication Systems 2010, ICCS 2010 Proceeding 9781424470068 IEEE Computer Society USA 12th IEEE International Conference on e-Health Networking, Application and Services, Healthcom 2010 Proceeding 9781424463749 IEEE Computer Society USA 12th IEEE Workshop on Signal Propagation on Interconnects, SPI Proceeding 9781424423187 IEEE Computer Society USA 12th International Conference on Intelligent Engineering Systems - Proceedings, INES 2008 Proceeding 9781424420834 IEEE Computer Society USA 12th International Conference on Multiphase Production Technology '05 Proceeding 9781855980648 BHR Group Limited USA 12th International Symposium on Aerodynamics and Ventilation of Vehicle Tunnels Proceeding 9781855980761 BHR Group Limited GBR 12th International Symposium on District Heating and Cooling Proceeding 9789949230150 Tallinn University of Technology USA 12th WSEAS International Conference on Automatic Control, Modelling and Simulation, ACMOS '10 Proceeding 9789549260014 Europment Press USA 12th WSEAS International Conference on Mathematical Methods, Computational Techniques and Intelligent Systems, MAMECTIS '10 Proceeding 9789604741885 World Scientific and Engineering Academy and Society USA 13th Conference on Information Fusion, Fusion 2010 Proceeding 9780982443811 IEEE Computer Society USA 13th Conference on Interactions of the Sea and Atmosphere Proceeding American Meteorological Society USA 13th IEEE Asia-Pacific Computer Systems Architecture Conference, ACSAC 2008 Proceeding 9781424426836 IEEE Computer Society USA 13th IEEE International Conference on Advanced Thermal Processing of Semiconductors, RTP 2005 Proceeding 9780780392236 IEEE Computer Society USA 13th IEEE Workshop on Local and Metropolitan Area Networks (LANMAN 2004) Proceeding 9780780385511 Institute of Electrical and Electronics Engineers Inc. USA 13th International Conference on Multiphase Production Technology Proceeding BHR Group Limited USA 13th International Symposium on Aerodynamics and Ventilation of Vehicle Tunnels Proceeding 9781855981089 BHR Group Limited USA 13th Joint Conference on the Applications of Air Pollution Meteorology with the Air and Waste Management Association Proceeding American Meteorological Society USA 14th AIAA/CEAS Aeroacoustics Conference (29th AIAA Aeroacoustics Conference) Proceeding 9781563479397 American Institute of Aeronautics and Astronautics Inc. (AIAA) USA 14th Annual Wireless and Optical Communications Conference, WOCC 2005 Proceeding IEEE Computer Society USA 14th IAPRI World Conference on Packaging - Abstracts Catalogue Proceeding Unavailable USA 14th IEEE International Conference on Advanced Thermal Processing of Semiconductors, RTP 2006 Proceeding 9781424406487 IEEE Computer Society USA 14th IEEE International Conference on Program Comprehension 2006, ICPC 2006 Proceeding IEEE Computer Society USA COMPENDEX SOURCE LIST -- MONOGRAPHS, SERIES, PROCEEDINGS -- 2011 14th IEEE Workshop on Local and Metropolitan Area Networks, LANMAN 2005 Proceeding IEEE Computer Society USA 14th International Conference and Exhibition on Liquefied Natural Gas Proceeding Gas Technology Institute USA 14th International Conference on Environmental Degradation of Materials in Nuclear Power Systems Water Reactors 2009 Proceeding 9781617388538 American Nuclear Society USA 14th International Conference on Multiphase Production Technology Proceeding 9781855981119 BHR Group Limited USA 14th International Workshop on THERMal INvestigation of ICs and Systems, THERMINIC 2008 Proceeding
Load more

Recommended publications
  • Tarjan Transcript Final with Timestamps
    A.M. Turing Award Oral History Interview with Robert (Bob) Endre Tarjan by Roy Levin San Mateo, California July 12, 2017 Levin: My name is Roy Levin. Today is July 12th, 2017, and I’m in San Mateo, California at the home of Robert Tarjan, where I’ll be interviewing him for the ACM Turing Award Winners project. Good afternoon, Bob, and thanks for spending the time to talk to me today. Tarjan: You’re welcome. Levin: I’d like to start by talking about your early technical interests and where they came from. When do you first recall being interested in what we might call technical things? Tarjan: Well, the first thing I would say in that direction is my mom took me to the public library in Pomona, where I grew up, which opened up a huge world to me. I started reading science fiction books and stories. Originally, I wanted to be the first person on Mars, that was what I was thinking, and I got interested in astronomy, started reading a lot of science stuff. I got to junior high school and I had an amazing math teacher. His name was Mr. Wall. I had him two years, in the eighth and ninth grade. He was teaching the New Math to us before there was such a thing as “New Math.” He taught us Peano’s axioms and things like that. It was a wonderful thing for a kid like me who was really excited about science and mathematics and so on. The other thing that happened was I discovered Scientific American in the public library and started reading Martin Gardner’s columns on mathematical games and was completely fascinated.
    [Show full text]
  • Qualitative and Quantitative Security Analyses for Zigbee Wireless Sensor Networks
    Downloaded from orbit.dtu.dk on: Sep 27, 2018 Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks Yuksel, Ender; Nielson, Hanne Riis; Nielson, Flemming Publication date: 2011 Document Version Publisher's PDF, also known as Version of record Link back to DTU Orbit Citation (APA): Yuksel, E., Nielson, H. R., & Nielson, F. (2011). Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks. Kgs. Lyngby, Denmark: Technical University of Denmark (DTU). (IMM-PHD-2011; No. 247). General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal If you believe that this document breaches copyright please contact us providing details, and we will remove access to the work immediately and investigate your claim. Qualitative and Quantitative Security Analyses for ZigBee Wireless Sensor Networks Ender Y¨uksel Kongens Lyngby 2011 IMM-PHD-2011-247 Technical University of Denmark Informatics and Mathematical Modelling Building 321, DK-2800 Kongens Lyngby, Denmark Phone +45 45253351, Fax +45 45882673 [email protected] www.imm.dtu.dk IMM-PHD: ISSN 0909-3192 Summary Wireless sensor networking is a challenging and emerging technology that will soon become an inevitable part of our modern society.
    [Show full text]
  • Machine Learning for Condensed Matter Physics
    Review Article Machine Learning for Condensed Matter Physics Edwin A. Bedolla-Montiel1, Luis Carlos Padierna1 and Ram´on Casta~neda-Priego1 1 Divisi´onde Ciencias e Ingenier´ıas,Universidad de Guanajuato, Loma del Bosque 103, 37150 Le´on,Mexico E-mail: [email protected] Abstract. Condensed Matter Physics (CMP) seeks to understand the microscopic interactions of matter at the quantum and atomistic levels, and describes how these interactions result in both mesoscopic and macroscopic properties. CMP overlaps with many other important branches of science, such as Chemistry, Materials Science, Statistical Physics, and High-Performance Computing. With the advancements in modern Machine Learning (ML) technology, a keen interest in applying these algorithms to further CMP research has created a compelling new area of research at the intersection of both fields. In this review, we aim to explore the main areas within CMP, which have successfully applied ML techniques to further research, such as the description and use of ML schemes for potential energy surfaces, the characterization of topological phases of matter in lattice systems, the prediction of phase transitions in off-lattice and atomistic simulations, the interpretation of ML theories with physics- inspired frameworks and the enhancement of simulation methods with ML algorithms. We also discuss in detial the main challenges and drawbacks of using ML methods on CMP problems, as well as some perspectives for future developments. Keywords: machine learning, condensed matter physics Submitted
    [Show full text]
  • Researchers Publish Review Article on the Physics of Interacting Particles 29 December 2020
    Researchers publish review article on the physics of interacting particles 29 December 2020 wide range of branches of physics—from biophysics to quantum mechanics. The article is a so-called review article and was written by physicists Michael te Vrugt and Prof. Raphael Wittkowski from the Institute of Theoretical Physics and the Center for Soft Nanoscience at the University of Münster, together with Prof. Hartmut Löwen from the Institute for Theoretical Physics II at the University of Düsseldorf. The aim of such review articles is to provide an introduction to a certain subject area and to summarize and evaluate the current state of research in this area for the benefit of other researchers. "In our case we deal with a theory used in very many areas—the so- called dynamical density functional theory (DDFT)," explains last author Raphael Wittkowski. "Since we deal with all aspects of the subject, the article turned out to be very long and wide-ranging." DDFT is a method for describing systems consisting of a large number of interacting particles such as are found in liquids, for example. Understanding these systems is important in numerous fields of research such as chemistry, solid state physics or biophysics. This in turn leads to a large variety of applications for DDFT, for example in materials science and biology. "DDFT and related methods have been developed and applied by a number of researchers in a variety of contexts," says lead author Michael te Vrugt. "We investigated which approaches there are and how Time axis showing the number of publications relating to they are connected—and for this purpose we dynamical density functional theory.
    [Show full text]
  • SCIENCE CITATION INDEX EXPANDED - JOURNAL LIST Total Journals: 8631
    SCIENCE CITATION INDEX EXPANDED - JOURNAL LIST Total journals: 8631 1. 4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH 2. AAPG BULLETIN 3. AAPS JOURNAL 4. AAPS PHARMSCITECH 5. AATCC REVIEW 6. ABDOMINAL IMAGING 7. ABHANDLUNGEN AUS DEM MATHEMATISCHEN SEMINAR DER UNIVERSITAT HAMBURG 8. ABSTRACT AND APPLIED ANALYSIS 9. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY 10. ACADEMIC EMERGENCY MEDICINE 11. ACADEMIC MEDICINE 12. ACADEMIC PEDIATRICS 13. ACADEMIC RADIOLOGY 14. ACCOUNTABILITY IN RESEARCH-POLICIES AND QUALITY ASSURANCE 15. ACCOUNTS OF CHEMICAL RESEARCH 16. ACCREDITATION AND QUALITY ASSURANCE 17. ACI MATERIALS JOURNAL 18. ACI STRUCTURAL JOURNAL 19. ACM COMPUTING SURVEYS 20. ACM JOURNAL ON EMERGING TECHNOLOGIES IN COMPUTING SYSTEMS 21. ACM SIGCOMM COMPUTER COMMUNICATION REVIEW 22. ACM SIGPLAN NOTICES 23. ACM TRANSACTIONS ON ALGORITHMS 24. ACM TRANSACTIONS ON APPLIED PERCEPTION 25. ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION 26. ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS 27. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 28. ACM TRANSACTIONS ON COMPUTER SYSTEMS 29. ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION 30. ACM TRANSACTIONS ON DATABASE SYSTEMS 31. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS 32. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS 33. ACM TRANSACTIONS ON GRAPHICS 34. ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY 35. ACM TRANSACTIONS ON INFORMATION SYSTEMS 36. ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY 37. ACM TRANSACTIONS ON INTERNET TECHNOLOGY 38. ACM TRANSACTIONS ON KNOWLEDGE DISCOVERY FROM DATA 39. ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE 40. ACM TRANSACTIONS ON MODELING AND COMPUTER SIMULATION 41. ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS 42. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 43. ACM TRANSACTIONS ON RECONFIGURABLE TECHNOLOGY AND SYSTEMS 44.
    [Show full text]
  • Impact Factor Journals in Physics
    Impact Factor Journals in Physics Indexed in ISI Web of Science (JCR SCI, 2019) ______________________________________________________________________________________________________________________ Compiled By: Arslan Sheikh In Charge Reference & Research Section Junaid Zaidi Library COMSATS University Islamabad Park Road, Islamabad-Pakistan. Cell: 92+321-9423071 [email protected] 2019 Impact Rank Journal Title Factor 1 REVIEWS OF MODERN PHYSICS 45.037 2 NATURE MATERIALS 38.663 3 Living Reviews in Relativity 35.429 4 Nature Photonics 31.241 5 ADVANCED MATERIALS 27.398 6 MATERIALS SCIENCE & ENGINEERING R-REPORTS 26.625 7 PHYSICS REPORTS-REVIEW SECTION OF PHYSICS LETTERS 25.798 8 Advanced Energy Materials 25.245 9 Nature Physics 19.256 10 Applied Physics Reviews 17.054 11 REPORTS ON PROGRESS IN PHYSICS 17.032 12 ADVANCED FUNCTIONAL MATERIALS 16.836 13 Nano Energy 16.602 14 ADVANCES IN PHYSICS 16.375 15 Annual Review of Fluid Mechanics 16.306 16 Annual Review of Condensed Matter Physics 14.833 17 PROGRESS IN PARTICLE AND NUCLEAR PHYSICS 13.421 18 Physical Review X 12.577 19 Nano-Micro Letters 12.264 20 Small 11.459 21 NANO LETTERS 11.238 22 Laser & Photonics Reviews 10.655 23 Materials Today Physics 10.443 24 SURFACE SCIENCE REPORTS 9.688 25 CURRENT OPINION IN SOLID STATE & MATERIALS SCIENCE 9.571 26 npj 2D Materials and Applications 9.324 27 PROGRESS IN NUCLEAR MAGNETIC RESONANCE SPECTROSCOPY 8.892 28 Annual Review of Nuclear and Particle Science 8.778 29 PHYSICAL REVIEW LETTERS 8.385 1 | P a g e Junaid Zaidi Library, COMSATS
    [Show full text]
  • Finding Rising Stars in Co-Author Networks Via Weighted Mutual Influence
    Finding Rising Stars in Co-Author Networks via Weighted Mutual Influence Ali Daud a,b Naif Radi Aljohani a Rabeeh Ayaz Abbasi a,c a Faculty of Computing and a Faculty of Computing and c Department of Computer Science, Information Technology, King Information Technology, King Quaid-i-Azam University, Islamabad, Abdulaziz University, Jeddah, Saudi Abdulaziz University, Jeddah, Saudi Pakistan Arabia Arabia [email protected] [email protected] [email protected] b b d Zahid Rafique Tehmina Amjad Hussain Dawood b Department of Computer Science b Department of Computer Science d Faculty of Computing and and Software Engineering, and Software Engineering, Information Technology, University International Islamic University, International Islamic University, of Jeddah, Jeddah, Saudi Arabia Islamabad, Pakistan Islamabad, Pakistan [email protected] [email protected] [email protected] a Khaled H. Alyoubi a Faculty of Computing and Information Technology, King Abdulaziz University, Jeddah, Saudi Arabia [email protected] ABSTRACT KEYWORDS Finding rising stars is a challenging and interesting task which is Bibliographic databases; Citations; Author Order; Rising Stars; Mutual being investigated recently in co-author networks. Rising stars are Influence; Co-Author Networks authors who have a low research profile in the start of their career but may become experts in the future. This paper introduces a new method Weighted Mutual Influence Rank (WMIRank) for finding 1. INTRODUCTION rising stars. WMIRank exploits influence of co-authors’ citations, The rapid evolution of scientific research has created large order of appearance and publication venues. Comprehensive volumes of publications every year, and is expected to continue in experiments are performed to analyze the performance of near future [21].
    [Show full text]
  • Moshe Y. Vardi
    MOSHE Y. VARDI Address Office Home Department of Computer Science 4515 Merrie Lane Rice University Bellaire, TX 77401 P.O.Box 1892 Houston, TX 77251-1892 Tel: (713) 348-5977 Tel: (713) 665-5900 Fax: (713) 348-5930 Fax: (713) 665-5900 E-mail: [email protected] URL: http://www.cs.rice.edu/∼vardi Research Interests Applications of logic to computer science: • database systems • complexity theory • multi-agent systems • specification and verification of hardware and software Education Sept. 1974 B.Sc. in Physics and Computer Science (Summa cum Laude), Bar-Ilan University, Ramat Gan, Israel May 1980 M.Sc. in Computer Science, The Feinberg Graduate School, The Weizmann Insti- tute of Science, Rehovoth, Israel Thesis: Axiomatization of Functional and Join Dependencies in the Relational Model. Advisors: Prof. C. Beeri (Hebrew University) Prof. P. Rabinowitz Sept 1981 Ph.D. in Computer Science, Hebrew University, Jerusalem, Israel Thesis: The Implication Problem for Data Dependencies in the Relational Model. Advisor: Prof. C. Beeri Professional Experience Nov. 1972 – June 1973 Teaching Assistant, Dept. of Mathematics, Bar-Ilan University. Course: Introduction to computing. 1 Nov. 1978 – June 1979 Programmer, The Weizmann Institute of Science. Assignments: implementing a discrete-event simulation package and writing input-output routines for a database management system. Feb. 1979 – Oct. 1980 Research Assistant, Inst. of Math. and Computer Science, The Hebrew University of Jerusalem. Research subject: Theory of data dependencies. Nov. 1980 – Aug. 1981 Instructor, Inst. of Math. and Computer Science, The Hebrew University of Jerusalem. Course: Advanced topics in database theory. Sep. 1981 – Aug. 1983 Postdoctoral Scholar, Dept. of Computer Science, Stanford Univer- sity.
    [Show full text]
  • Michael Oser Rabin Automata, Logic and Randomness in Computation
    Michael Oser Rabin Automata, Logic and Randomness in Computation Luca Aceto ICE-TCS, School of Computer Science, Reykjavik University Pearls of Computation, 6 November 2015 \One plus one equals zero. We have to get used to this fact of life." (Rabin in a course session dated 30/10/1997) Thanks to Pino Persiano for sharing some anecdotes with me. Luca Aceto The Work of Michael O. Rabin 1 / 16 Michael Rabin's accolades Selected awards and honours Turing Award (1976) Harvey Prize (1980) Israel Prize for Computer Science (1995) Paris Kanellakis Award (2003) Emet Prize for Computer Science (2004) Tel Aviv University Dan David Prize Michael O. Rabin (2010) Dijkstra Prize (2015) \1970 in computer science is not classical; it's sort of ancient. Classical is 1990." (Rabin in a course session dated 17/11/1998) Luca Aceto The Work of Michael O. Rabin 2 / 16 Michael Rabin's work: through the prize citations ACM Turing Award 1976 (joint with Dana Scott) For their joint paper \Finite Automata and Their Decision Problems," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept. ACM Paris Kanellakis Award 2003 (joint with Gary Miller, Robert Solovay, and Volker Strassen) For \their contributions to realizing the practical uses of cryptography and for demonstrating the power of algorithms that make random choices", through work which \led to two probabilistic primality tests, known as the Solovay-Strassen test and the Miller-Rabin test". ACM/EATCS Dijkstra Prize 2015 (joint with Michael Ben-Or) For papers that started the field of fault-tolerant randomized distributed algorithms.
    [Show full text]
  • Style and Notation Guide
    Physical Review Style and Notation Guide Instructions for correct notation and style in preparation of REVTEX compuscripts and conventional manuscripts Published by The American Physical Society First Edition July 1983 Revised February 1993 Compiled and edited by Minor Revision June 2005 Anne Waldron, Peggy Judd, and Valerie Miller Minor Revision June 2011 Copyright 1993, by The American Physical Society Permission is granted to quote from this journal with the customary acknowledgment of the source. To reprint a figure, table or other excerpt requires, in addition, the consent of one of the original authors and notification of APS. No copying fee is required when copies of articles are made for educational or research purposes by individuals or libraries (including those at government and industrial institutions). Republication or reproduction for sale of articles or abstracts in this journal is permitted only under license from APS; in addition, APS may require that permission also be obtained from one of the authors. Address inquiries to the APS Administrative Editor (Editorial Office, 1 Research Rd., Box 1000, Ridge, NY 11961). Physical Review Style and Notation Guide Anne Waldron, Peggy Judd, and Valerie Miller (Received: ) Contents I. INTRODUCTION 2 II. STYLE INSTRUCTIONS FOR PARTS OF A MANUSCRIPT 2 A. Title ..................................................... 2 B. Author(s) name(s) . 2 C. Author(s) affiliation(s) . 2 D. Receipt date . 2 E. Abstract . 2 F. Physics and Astronomy Classification Scheme (PACS) indexing codes . 2 G. Main body of the paper|sequential organization . 2 1. Types of headings and section-head numbers . 3 2. Reference, figure, and table numbering . 3 3.
    [Show full text]
  • Top Peer Reviewed Journals – Physics
    Top Peer Reviewed Journals – Physics Presented to Iowa State University Presented by Thomson Reuters Physics The subject discipline for Physics is made of 11 narrow subject categories from the Web of Science. The 11 categories that make up Physics are: 1. Acoustics 7. Physics, Fluids & Plasmas 2. Imaging Science & Photographic Technology 8. Physics, Mathematical 3. Optics 9. Physics, Multidisciplinary 4. Physics, Applied 10. Physics, Nuclear 5. Physics, Atomic, Molecular & Chemical 11. Physics, Particles & Fields 6. Physics, Condensed Matter The chart below provides an ordered view of the top peer reviewed journals within the 1st quartile for Physics based on Impact Factors (IF), three year averages and their quartile ranking. Journal 2009 IF 2010 IF 2011 IF Average IF REVIEWS OF MODERN PHYSICS 33.14 51.69 43.93 42.92 Nature Photonics 22.86 26.5 29.27 26.21 ADVANCES IN PHYSICS 19.63 21.21 37 25.95 PHYSICS REPORTS-REVIEW SECTION OF 17.75 19.43 20.39 19.19 PHYSICS LETTERS Nature Physics 15.49 18.43 18.96 17.63 Living Reviews in Relativity 10.6 12.62 17.46 13.56 REPORTS ON PROGRESS IN PHYSICS 11.44 13.85 14.72 13.34 Annual Review of Condensed Matter Physics 12.38 12.38 PROGRESS IN SURFACE SCIENCE 7.91 10.36 8.63 8.97 ANNUAL REVIEW OF NUCLEAR AND 11.96 7.88 6.45 8.76 PARTICLE SCIENCE Laser & Photonics Reviews 5.81 9.31 7.38 7.50 PHYSICAL REVIEW LETTERS 7.32 7.62 7.37 7.44 LASER PHYSICS LETTERS 5.5 6.01 9.97 7.16 CRITICAL REVIEWS IN SOLID STATE AND 5.16 6.14 9.46 6.92 MATERIALS SCIENCES JOURNAL OF HIGH ENERGY PHYSICS 6.01 6.04 5.83 5.96 PHYSICS
    [Show full text]
  • Datalog Unchained
    Datalog Unchained Victor Vianu UC San Diego & Inria [email protected] ABSTRACT robust class of fixpoint queries, previously defined by extensions of This is the companion paper of a talk in the Gems of PODS se- first-order logic with a fixpoint operator. ries, that reviews the development, starting at PODS 1988, of a The two PODS 1988 articles initiated a line of research [3, 6, 8, family of Datalog-like languages with procedural, forward chain- 14, 15, 104, 116] that extended the forward chaining approach to an ing semantics, providing an alternative to the classical declarative, entire family of Datalog-like languages, providing an alternative model-theoretic semantics. These languages also provide a unified paradigm for database queries, with natural counterparts to classical formalism that can express important classes of queries including query languages including the fixpoint and while queries, and all the fixpoint, while, and all computable queries. They can also incor- way to computable queries. The forward chaining approach turned porate in a natural fashion updates and nondeterminism. Datalog out to also be suitable for studying nondeterministic languages, variants with forward chaining semantics have been adopted in a yielding an appealing unifying formalism. The present paper tells variety of settings, including active databases, production systems, the story of this development. distributed data exchange, and data-driven reactive systems. After a brief review of classical query languages, we turn to Datalog and its extensions. We begin with an informal overview of ACM Reference Format: Datalog and Datalog: with stratified and well-founded semantics. Victor Vianu. 2021. Datalog Unchained.
    [Show full text]