DOCSLIB.ORG

Subscriber Renewal Guide

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Subscriber Renewal Guide Advancing Computing as a Science & Profession Subscriber Renewal Guide www.acm.org Dear Subscriber: Your subscription(s) will expire shortly. We urge you to renew quickly to assure continuous service. Please contact us if you have any questions. Adding Service(s): Just list the service(s) you wish to add on the front of your invoice. Be sure to include the appropriate rate(s). Indicate your new Total Amount. ACM offers Expedited Air Service—a partial air service for residents outside of North America. Publications will be delivered within 7 to 14 days. For complete publication information: www.acm.org/publications For non-member subscription information: www.acm.org/publications/alacarte How to Contact ACM Hours: 8:30a.m. to 4:30p.m. Mail: ACM Member Services Dept. (US Eastern Time) General Post Office Phone: 1-800-342-6626 (US & Canada) P.O. Box 30777 +1-212-626-0500 (Global) New York, NY 10087-0777 USA Fax: +1-212-944-1318 Email: [email protected] www.acm.org 07ACM124356 Applications and Research Based Publications Individual Pricing * Institutional Pricing † Magazines and Journals: Issues Per Print Online Print+Online Print Online Print+Online Air Year Collective Intelligence 12 Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** Offer Code Communications of the ACM 12 Price $319 $255 $383 $1,266 $1,014 $1,521 $76 Offer Code 101 201 301 101L 201L 301L Computing Reviews 12 Price $340 $272 n/a $1,036 n/a n/a $50 Offer Code 104 204 104L Computing Surveys 4 Price $305 $244 $366 $887 $711 $1,070 $43 Offer Code 103 203 303 103L 203L 303L Digital Government: Research & Practice 4 Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** (DGOV) Offer Code Digital Threats: Research & Practice 4 Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** (DTRAP) Offer Code ACM Inroads 4 Price $185 $148 $222 $380 $310 $458 $76 Offer Code 178 278 378 178L 278L 378L Interactions 6 Price $305 $244 $366 $887 $711 $1,070 $46 Offer Code 123 223 323 123L 223L 323L International Journal on Very Large 6 Price $353 $282 $424 $1,092 $874 $1,309 $41 Databases Offer Code 148 248 348 148L 248L 348L Journal on Computing & Cultural Heritage 4 Price $260 $208 $312 $697 $563 $837 $30 Offer Code 173 273 373 173L 273L 373L Journal of Data & Information Quality 4 Price $260 $208 $312 $697 $563 $837 $34 Offer Code 171 271 371 171L 271L 371L Journal of Experimental Algorithmics 12 Price n/a $234 n/a n/a $662 n/a n/a (online only) Offer Code 129 129L Journal on Emerging Technologies in 4 Price $265 $212 $318 $719 $579 $865 $30 Computing Systems Offer Code 154 254 354 154L 254L 354L Journal of the ACM 6 Price $365 $292 $438 $1,141 $917 $1,371 $76 Offer Code 102 202 302 102L 202L 302L XRDS: Crossroads 4 Price $250 n/a n/a $593 n/a n/a $21 Offer Code XRoads XRoadsL Transactions on: Accessible Computing (TACCESS) 4 Price $260 $208 $312 $697 $563 $837 $32 Offer Code 174 274 374 174L 274L 374L Algorithms (TALG) 4 Price $350 $280 $420 $1,075 $865 $1,295 $30 Offer Code 151 251 351 151L 251L 351L Applied Perception (TAP) 4 Price $270 $216 $324 $739 $591 $887 $30 Offer Code 145 245 345 145L 245L 345L Architecture and Code Optimization 4 Price (TACO) Offer Code ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** Asian and Low-Resource Language 4 Price $601 $481 $721 $601 $481 $721 $34 Information Processing (TALLIP) Offer Code 120 220 320 120L 220L 320L Autonomous and Adaptive Systems (TAAS) 4 Price $260 $208 $312 $697 $563 $837 $30 Offer Code 158 258 358 158L 258L 358L Computation Theory (TOCT) 4 Price $260 $208 $312 $697 $563 $837 $43 Offer Code 176 276 376 176L 276L 376L Computational Logic (TOCL) 4 Price $298 $238 $358 $859 $690 $1,036 $34 Offer Code 135 235 335 135L 235L 335L Computer-Human Interaction (TOCHI) 4 Price $275 $220 $330 $759 $612 $917 $34 Offer Code 119 219 319 119L 219L 319L Computer Systems (TOCS) 4 Price $315 $252 $378 $928 $747 $1,119 $34 Offer Code 114 214 314 114L 214L 314L Computing Education (TOCE) 4 Price n/a $200 n/a n/a $845 n/a n/a Offer Code 239 239L Computing for Healthcare (HEALTH) 4 Price n/a $320 n/a n/a $738 n/a n/a Offer Code 264 264L Cyber-Physical Systems (TCPS) 4 Price $260 $208 $312 $768 $614 $922 $26 Offer Code 184 284 384 184L 284L 384L Data Science (TDS) (ACM/IMS) 4 Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** Offer Code Database Systems (TODS) 4 Price $314 $251 $377 $928 $739 $1,114 $34 Offer Code 109 209 309 109L 209L 309L Design Automation of Electronic Systems 4 Price $335 $268 $402 $1,014 $816 $1,217 $34 (TODAES) Offer Code 128 228 328 128L 228L 328L Economics and Computation (TEAC) 4 Price $295 $236 $354 $748 $693 $1,040 $30 Offer Code 192 292 392 192L 292L 392L Embedded Computing Systems (TECS) 4 Price $280 $224 $336 $781 $626 $944 $30 Offer Code 142 242 342 142L 242L 342L Individual Pricing * Institutional Pricing † Transactions on: Issues Per Print Online Print+Online Print Online Print+Online Air Year Evolutionary Learning and Optimization 4 Price n/a $320 n/a n/a $738 n/a n/a (TELO) Offer Code 266 266L Graphics (TOG) 4 Price $315 $252 $378 $928 $747 $1,119 $34 Offer Code 112 212 312 112L 212L 312L Human-Robot Interaction (THRI) 4 Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** Offer Code Information and System Security (TISSEC) 4 Price $300 $240 $360 $865 $697 $1,042 $309 Offer Code 134 234 334 134L 234L 334L Information Systems (TOIS) 4 Price $315 $252 $378 $928 $747 $1,119 $34 Offer Code 113 213 313 113L 213L 313L Intelligent Systems and Technology (TIST) 4 Price $309 $247 $371 $907 $725 $1,092 $93 Offer Code 179 279 379 179L 279L 379L Interactive Intelligent Systems (TiiS) 4 Price $255 $204 $306 $675 $541 $816 $98 Offer Code 191 291 391 191L 291L 391L Internet of Things (TIOT) 4 Price n/a $320 n/a n/a $738 n/a n/a Offer Code 262 262L Internet Technology (TOIT) 4 Price $290 $232 $348 $823 $663 $992 $30 Offer Code 140 240 340 140L 240L 340L Knowledge Discovery from Data (TKDD) 4 Price $260 $208 $312 $697 $563 $837 $30 Offer Code 170 270 370 170L 270L 370L Management Information Systems (TMIS) 4 Price $250 $200 $276 $654 $529 $788 $29 Offer Code 190 290 390 190L 290L 390L Mathematical Software (TOMS) 4 Price $314 $251 $377 $928 $739 $1,114 $34 Offer Code 108 208 308 108L 208L 308L Modeling and Computer Simulation 4 Price $305 $244 $366 $887 $711 $1,070 $34 (TOMACS) Offer Code 116 216 316 116L 216L 316L Modeling and Performance Evaluation of 4 Price $758 $606 $910 $758 $606 $910 $30 Computing Systems (TOMPECS) Offer Code 106 206 306 106L 206L 306L Multimedia Computing, Communications, 4 Price $265 $212 $318 $719 $579 $865 $30 & Applications (TOMM) Offer Code 156 256 356 156L 256L 356L Networking (TON) (IEEE/ACM) 6 Price n/a $916 n/a n/a $3,448 n/a n/a Offer Code 218 218L Parallel Computing (TOPC) 4 Price $290 $232 $348 $842 $743 $1,116 $34 Offer Code 193 293 393 193L 293L 393L Privacy and Security (TOPS) 4 Price $300 $240 $360 $865 $697 $1,042 $30 Offer Code 193 293 393 193L 293L 393L Programming Languages and Systems 6 Price $370 $296 $444 $1,160 $928 $1,393 $43 (TOPLAS) Offer Code 110 210 310 110L 210L 310L Quantum Computing (TQC) 4 Price n/a $320 n/a n/a $738 n/a n/a Offer Code 265 265L Reconfigurable Technology and Systems 4 Price $260 $208 $312 $697 $563 $837 $32 (TRETS) Offer Code 172 272 372 172L 272L 372L Sensor Networks (TOSN) 4 Price $265 $212 $318 $719 $579 $865 $30 Offer Code 155 255 355 155L 255L 355L Social Computing (TSC) 4 Price $768 $614 $922 $768 $614 $922 $28 Offer Code 163 263 363 163L 263L 363L Software Engineering and Methodology 4 Price $295 $236 $354 $845 $675 $1,014 $34 (TOSEM) Offer Code 115 215 315 115L 215L 315L Spatial Algorithms and Systems (TSAS) 4 Price $768 $614 $922 $768 $614 $922 $30 Offer Code 117 217 317 117L 217L 317L Storage (TOS) 4 Price $265 $212 $318 $719 $579 $865 $30 Offer Code 157 257 357 157L 257L 357L Web (TWEB) 4 Price $260 $208 $312 $697 $563 $837 $30 Offer Code 159 259 359 159L 259L 359L Proceedings of the ACM (PACM) on: Computer Graphics and Interactive Price n/a $575 n/a n/a $725 n/a n/a Techniques Offer Code 268 268 Human-Computer Interaction Price n/a $575 n/a n/a $725 n/a n/a Offer Code 287 287 Interactive, Mobile, Wearable and Price n/a $425 n/a n/a $575 n/a n/a Ubiquitous Technologies Offer Code 269 269 Measurement and Analysis of Computing Price n/a $425 n/a n/a $575 n/a n/a Systems Offer Code 286 286 Programming Languages Price ** GOLD OPEN ACCESS ** ** GOLD OPEN ACCESS ** Offer Code * Non-member individual pricing applies to individuals using subscriptions † Non-member institutional pricing applies to institutions (academic libraries, to ACM journals and magazines for personal use (institutions are ineligible for government, & corporations).
Load more

Recommended publications
  • Annotated Table of Contents Links Join SIGAI
    AI MATTERS, VOLUME 4, ISSUE 4 4(4) 2018 AI Matters Annotated Table of Contents AI Ethics Education Welcome to AI Matters 4(4) AI Policy Matters Amy McGovern, co-editor & Iolanda Larry Medsker Leite, co-editor Full article: http://doi.acm.org/10.1145/3299758.3299765 Full article: http://doi.acm.org/10.1145/3299758.3299759 Welcome and summary TAI Policy Matters Call for Proposals: Artificial Intelli- Epochs of an AI Cosmology gence Activities Fund Cameron Hughes & Tracey Hughes Sven Koenig, Sanmay Das, Rosemary Full article: http://doi.acm.org/10.1145/3299758.3299868 Paradis, Michael Rovatsos & Nicholas AI Cosmology Mattei Full article: http://doi.acm.org/10.1145/3299758.3299760 Artificial Intelligence and Jobs of the Artificial Intelligence Activities Fund Future: Adaptability Is Key for Hu- man Evolution AI Profiles: An Interview with Iolanda Sudarshan Sreeram Leite Full article: http://doi.acm.org/10.1145/3299758.3300060 Marion Neumann AI and Jobs of the Future Full article: http://doi.acm.org/10.1145/3299758.3299761 Interview with Iolanda Leite Links Events SIGAI website: http://sigai.acm.org/ Michael Rovatsos Newsletter: http://sigai.acm.org/aimatters/ Blog: http://sigai.acm.org/ai-matters/ Full article: http://doi.acm.org/10.1145/3299758.3299762 Twitter: http://twitter.com/acm sigai/ Upcoming AI events Edition DOI: 10.1145/3284751 Conference Reports Join SIGAI Michael Rovatsos Full article: http://doi.acm.org/10.1145/3299758.3299763 Students $11, others $25 For details, see http://sigai.acm.org/ Conference Reports Benefits: regular, student Also consider joining ACM. AI Education Matters: A Modular Ap- proach to AI Ethics Education Our mailing list is open to all.
    [Show full text]
  • [Front Matter]
    Future Technologies Conference (FTC) 2017 29-30 November 2017| Vancouver, Canada About the Conference IEEE Technically Sponsored Future Technologies Conference (FTC) 2017 is a second research conference in the series. This conference is a part of SAI conferences being held since 2013. The conference series has featured keynote talks, special sessions, poster presentation, tutorials, workshops, and contributed papers each year. The goal of the conference is to be a world's pre-eminent forum for reporting technological breakthroughs in the areas of Computing, Electronics, AI, Robotics, Security and Communications. FTC 2017 is held at Pan Pacific Hotel Vancouver. The Pan Pacific luxury Vancouver hotel in British Columbia, Canada is situated on the downtown waterfront of this vibrant metropolis, with some of the city’s top business venues and tourist attractions including Flyover Canada and Gastown, the Vancouver Convention Centre, Cruise Ship Terminal as well as popular shopping and entertainment districts just minutes away. Pan Pacific Hotel Vancouver has great meeting rooms with new designs. We chose it for the conference because it’s got plenty of space, serves great food and is 100% accessible. Venue Name: Pan Pacific Hotel Vancouver Address: Suite 300-999 Canada Place, Vancouver, British Columbia V6C 3B5, Canada Tel: +1 604-662-8111 3 | P a g e Future Technologies Conference (FTC) 2017 29-30 November 2017| Vancouver, Canada Preface FTC 2017 is a recognized event and provides a valuable platform for individuals to present their research findings, display their work in progress and discuss conceptual advances in areas of computer science and engineering, Electrical Engineering and IT related disciplines.
    [Show full text]
  • ACM Student Membership
    student membership application and order form INSTRUCTIONS Name Please print clearly Member Number Carefully complete this application and Mailing Address return with payment by mail or fax to ACM. You must be a full-time student City/State/Province Postal Code/Zip to qualify for student rates. Country q Please do not release my postal address to third parties Area Code & Daytime Phone CONTACT ACM Email Address q Yes, please send me ACM Announcements via email q No, please do not send me ACM Announcements via email phone: 1-800-342-6626 (US & Canada) +1-212-626-0500 (Global) MEMBERSHIP OPTIONS AND ADD-ONS Check the appropriate box(es) hours: 8:30AM - 4:30PM (US EST) fax: +1-212-944-1318 q ACM Student Membership: $19 USD email: [email protected] q ACM Student Membership PLUS ACM Digital Library: $42 USD mail: ACM, Member Services q ACM Student Membership PLUS Print CACM Magazine: $42 USD General Post Offi ce q ACM Student Membership with ACM Digital Library PLUS Print CACM Magazine: $62 USD P.O. Box 30777 MEMBERSHIP ADD-ONS: New York, NY 10087-0777 q ACM Books Subscription: $10 USD USA q Additional Print Publications and/or Special Interest Groups For immediate processing, FAX this application to +1-212-944-1318. PUBLICATIONS Check the appropriate box and calculate amount due on reverse. PLEASE CHECK ONE WHAT’S NEW Issues per year Code Member Rate Air Rate * • ACM Inroads 4 178 $41 q $69 q ACM Learning Webinars keep you at the • Communications of the ACM 12 101 $50 q $69 q q q cutting edge of the latest technical and • Computing Reviews 12 104 $80 $46 • Computing Surveys 4 103 $61 q $39 q technological developments.
    [Show full text]
  • Polynomial Transformations of Tschirnhaus, Bring and Jerrard
    ACM SIGSAM Bulletin, Vol 37, No. 3, September 2003 Polynomial Transformations of Tschirnhaus, Bring and Jerrard Victor S. Adamchik Department of Computer Science, Carnegie Mellon University, Pittsburgh, PA, USA [email protected] David J. Jeffrey Department of Applied Mathematics, The University of Western Ontario, London, Ontario, Canada [email protected] Abstract Tschirnhaus gave transformations for the elimination of some of the intermediate terms in a polynomial. His transformations were developed further by Bring and Jerrard, and here we describe all these transformations in modern notation. We also discuss their possible utility for polynomial solving, particularly with respect to the Mathematica poster on the solution of the quintic. 1 Introduction A recent issue of the BULLETIN contained a translation of the 1683 paper by Tschirnhaus [10], in which he proposed a method for solving a polynomial equation Pn(x) of degree n by transforming it into a polynomial Qn(y) which has a simpler form (meaning that it has fewer terms). Specifically, he extended the idea (which he attributed to Decartes) in which a polynomial of degree n is reduced or depressed (lovely word!) by removing its term in degree n ¡ 1. Tschirnhaus’s transformation is a polynomial substitution y = Tk(x), in which the degree of the transformation k < n can be selected. Tschirnhaus demonstrated the utility of his transformation by apparently solving the cubic equation in a way different from Cardano. Although Tschirnhaus’s work is described in modern books [9], later works by Bring [2, 3] and Jerrard [7, 6] have been largely forgotten. Here, we present the transformations in modern notation and make some comments on their utility.
    [Show full text]
  • Annual Report
    ANNUAL REPORT 2019FISCAL YEAR ACM, the Association for Computing Machinery, is an international scientific and educational organization dedicated to advancing the arts, sciences, and applications of information technology. Letter from the President It’s been quite an eventful year and challenges posed by evolving technology. for ACM. While this annual Education has always been at the foundation of exercise allows us a moment ACM, as reflected in two recent curriculum efforts. First, “ACM’s mission to celebrate some of the many the ACM Task Force on Data Science issued “Comput- hinges on successes and achievements ing Competencies for Undergraduate Data Science Cur- creating a the Association has realized ricula.” The guidelines lay out the computing-specific over the past year, it is also an competencies that should be included when other community that opportunity to focus on new academic departments offer programs in data science encompasses and innovative ways to ensure at the undergraduate level. Second, building on the all who work in ACM remains a vibrant global success of our recent guidelines for 4-year cybersecu- the computing resource for the computing community. rity curricula, the ACM Committee for Computing Edu- ACM’s mission hinges on creating a community cation in Community Colleges created a related cur- and technology that encompasses all who work in the computing and riculum targeted at two-year programs, “Cybersecurity arena” technology arena. This year, ACM established a new Di- Curricular Guidance for Associate-Degree Programs.” versity and Inclusion Council to identify ways to create The following pages offer a sampling of the many environments that are welcoming to new perspectives ACM events and accomplishments that occurred over and will attract an even broader membership from the past fiscal year, none of which would have been around the world.
    [Show full text]
  • ACM the Ultimate Online Resource for Computing Professionals
    Association for Computing Machinery (ACM) The ACM is the world’s leading publisher of scientific and technical information and conference organizer in the field of Computing ©2016 Association for Computing Machinery ACM • The world’s leading professional member organization in Computing • Comprised of over 118,000 Academics, Practitioners, and Students from over 100 countries around the world • The world’s leading conference organizer in Computing with over 275 events annually, contributing over 500 volumes of content to the ACM DL each year • Active in Public Policy and Educational Curriculum Development • Organizers and Sponsors of pre-eminent computing professional awards & academic honors, such as the “Nobel Prize” in Computing….the A.M. Turing Award, funded by Google & Intel Corporations (http://www.vimeo.com) • Publishers of the computing world’s most respected publication program and most used publication platform dedicated to the field of Computing ©2016 Association for Computing Machinery ACM Publications Program • ACM has one of the oldest and most established publication programs in the field, consisting of a wide variety of publication types. • ACM’s publications are highly ranked by the Thomson Reuters Journal Citation Reports and are generally considered the premier publications by the leaders of the computer science community. • Some of the most highly respected titles are the Journal of the ACM, Communications of the ACM, ACM Computing Surveys, ACM Transactions on Graphics, and the SIGGRAPH Conference Proceedings. • Today, the program consists of 61 high impact peer reviewed journals and technology including a collection of hosted full-text publications from select publishers. • Access to 3,000+ ACM conference proceedings volumes, 500+ Volumes of the ACM International Conference Proceedings Series, 30,000+ articles from ACMs Special Interest Group technical newsletters, and over 6,500 (video and audio) multimedia files.
    [Show full text]
  • Department of Computer Science and Engineering
    Department of Computer Science and Engineering Journals SJR Title ISSN SJR Quartile Country Molecular Systems Biology ISSN 17444292 8.87 Q1 United Kingdom IEEE Transactions on Pattern Analysis and Machine Intelligence ISSN 01628828 7.653 Q1 United States MIS Quarterly: Management Information Systems ISSN 02767783 6.984 Q1 United States Wiley Interdisciplinary Reviews: Computational Molecular Science ISSN 17590884, 17590876 6.715 Q1 United States Foundations and Trends in Machine Learning ISSN 19358237 6.194 Q1 United States IEEE Transactions on Fuzzy Systems ISSN 10636706 5.8 Q1 United States International Journal of Computer Vision ISSN 09205691 5.633 Q1 Netherlands Journal of Supply Chain Management ISSN 15232409 5.343 Q1 United Kingdom Journal of Operations Management ISSN 02726963 5.052 Q1 Netherlands IEEE Transactions on Smart Grid ISSN 19493053 4.784 Q1 United States Bioinformatics ISSN 13674811, 13674803 4.643 Q1 United Kingdom Information Systems Research ISSN 15265536, 10477047 4.397 Q1 United States IEEE Transactions on Evolutionary Computation ISSN 1089778X 4.308 Q1 United States IEEE Transactions on Automatic Control ISSN 00189286 4.238 Q1 United States International Journal of Robotics Research ISSN 02783649 4.184 Q1 United States Briefings in Bioinformatics ISSN 14774054, 14675463 4.086 Q1 United Kingdom SIAM Journal on Optimization ISSN 10526234, 10957189 3.943 Q1 United States IEEE Transactions on Systems, Man and Cybernetics Part B: Cybernetics ISSN 10834419 3.921 Q1 United States Internet and Higher Education ISSN 10967516
    [Show full text]
  • Membership Application and Order Form
    membership application and order form INSTRUCTIONS Name Please print clearly Member Number Carefully complete this application and Mailing Address return with payment by mail or fax to ACM. You must be an ACM member to City/State/Province Postal Code/Zip add the Digtal Library or ACM Books. Country q Please do not release my postal address to third parties Area Code & Daytime Phone CONTACT ACM Email Address q Yes, please send me ACM Announcements via email q No, please do not send me ACM Announcements via email phone: 1-800-342-6626 (US & Canada) +1-212-626-0500 (Global) MEMBERSHIP TYPES AND ADD-ONS Check the appropriate box(es) hours: 8:30AM - 4:30PM (US EST) q ACM Professional Membership: $99 USD fax: +1-212-944-1318 q ACM Professional Membership plus ACM Digital Library: $198 USD email: [email protected] MEMBERSHIP ADD-ONS: mail: ACM, Member Services q ACM Digital Library: $99 USD General Post Offi ce P.O. Box 30777 q ACM Books Subscription: $29 USD New York, NY 10087-0777 q Additional print publications and/or Special Interest Groups USA PUBLICATIONS Check the appropriate box and calculate amount due on reverse. PLEASE CHECK ONE For immediate processing, FAX this application to +1-212-944-1318. Issues per year Code Member Rate Air Rate * • ACM Inroads 4 178 $64 q $69 q WHAT’S NEW • Communications of the ACM 12 101 $75 q $69 q • Computing Reviews 12 104 $89 q $46 q ACM Learning Webinars keep you at the • Computing Surveys 4 103 $66 q $39 q cutting edge of the latest technical and • interactions (included in SIGCHI membership) 6 123 $84 q $42 q • Int’l Journal on Very Large Databases 6 148 $113 q $37 q technological developments.
    [Show full text]
  • SIGLOG: Special Interest Group on Logic and Computation a Proposal
    SIGLOG: Special Interest Group on Logic and Computation A Proposal Natarajan Shankar Computer Science Laboratory SRI International Menlo Park, CA Mar 21, 2014 SIGLOG: Executive Summary Logic is, and will continue to be, a central topic in computing. ACM has a core constituency with an interest in Logic and Computation (L&C), witnessed by 1 The many Turing Awards for work centrally in L&C 2 The ACM journal Transactions on Computational Logic 3 Several long-running conferences like LICS, CADE, CAV, ICLP, RTA, CSL, TACAS, and MFPS, and super-conferences like FLoC and ETAPS SIGLOG explores the connections between logic and computing covering theory, semantics, analysis, and synthesis. SIGLOG delivers value to its membership through the coordination of conferences, journals, newsletters, awards, and educational programs. SIGLOG enjoys significant synergies with several existing SIGs. Natarajan Shankar SIGLOG 2/9 Logic and Computation: Early Foundations Logicians like Alonzo Church, Kurt G¨odel, Alan Turing, John von Neumann, and Stephen Kleene have played a pioneering role in laying the foundation of computing. In the last 65 years, logic has become the calculus of computing underpinning the foundations of many diverse sub-fields. Natarajan Shankar SIGLOG 3/9 Logic and Computation: Turing Awardees Turing awardees for logic-related work include John McCarthy, Edsger Dijkstra, Dana Scott Michael Rabin, Tony Hoare Steve Cook, Robin Milner Amir Pnueli, Ed Clarke Allen Emerson Joseph Sifakis Leslie Lamport Natarajan Shankar SIGLOG 4/9 Interaction between SIGLOG and other SIGs Logic interacts in a significant way with AI (SIGAI), theory of computation (SIGACT), databases (SIGMOD) and knowledge bases (SIGKDD), programming languages (SIGPLAN), software engineering (SIGSOFT), computational biology (SIGBio), symbolic computing (SIGSAM), semantic web (SIGWEB), and hardware design (SIGDA and SIGARCH).
    [Show full text]
  • © in This Web Service Cambridge University Press
    Cambridge University Press 978-1-107-03903-2 - Modern Computer Algebra: Third Edition Joachim Von Zur Gathen and Jürgen Gerhard Index More information Index A page number is underlined (for example: 667) when it represents the definition or the main source of information about the index entry. For several key words that appear frequently only ranges of pages or the most important occurrences are indexed. AAECC ......................................... 21 analytic number theory . 508, 523, 532, 533, 652 Abbott,John .............................. 465, 734 AnalyticalEngine ............................... 312 Abel,NielsHenrik .............................. 373 Andrews, George Eyre . 644, 697, 729, 735 Abeliangroup ................................... 704 QueenAnne .................................... 219 Abramov, Serge˘ı Aleksandrovich (Abramov annihilating polynomial ......................... 341 SergeiAleksandroviq) 7, 641, 671, 675, annihilator, Ann( ) .............................. 343 734, 735 annusconfusionis· ................................ 83 Abramson, Michael . 738 Antoniou,Andreas ........................ 353, 735 Achilles ......................................... 162 Antoniszoon, Adrian (Metius) .................... 82 ACM . see Association for Computing Machinery Aoki,Kazumaro .......................... 542, 751 active attack . 580 Apéry, Roger . 671, 684, 697, 761 Adam,Charles .................................. 729 number ....................................... 684 Adams,DouglasNoël ..................... 729, 796 Apollonius of
    [Show full text]
  • Group Formation in Large Social Networks: Membership, Growth, and Evolution
    Group Formation in Large Social Networks: Membership, Growth, and Evolution Lars Backstrom Dan Huttenlocher Jon Kleinberg Dept. of Computer Science Dept. of Computer Science Dept. of Computer Science Cornell University, Ithaca NY and Johnson Graduate School Cornell University, Ithaca NY of Management [email protected] Cornell University, Ithaca NY [email protected] [email protected] Xiangyang Lan Dept. of Computer Science Cornell University, Ithaca NY [email protected] connected to one another. We use decision-tree techniques to iden- tify the most significant structural determinants of these properties. ABSTRACT We also develop a novel methodology for measuring movement of individuals between communities, and show how such movements The processes by which communities come together, attract new are closely aligned with changes in the topics of interest within the members, and develop over time is a central research issue in the communities. social sciences — political movements, professional organizations, and religious denominations all provide fundamental examples of Categories and Subject Descriptors: H.2.8 Database Manage- such communities. In the digital domain, on-line groups are be- ment: Database Applications – Data Mining coming increasingly prominent due to the growth of community General Terms: Measurement, Theory and social networking sites such as MySpace and LiveJournal. How- Keywords: social networks, on-line communities, diffusion of in- ever, the challenge of collecting and analyzing large-scale time- novations
    [Show full text]
  • Central Library: IIT GUWAHATI
    Central Library, IIT GUWAHATI BACK VOLUME LIST DEPARTMENTWISE (as on 20/04/2012) COMPUTER SCIENCE & ENGINEERING S.N. Jl. Title Vol.(Year) 1. ACM Jl.: Computer Documentation 20(1996)-26(2002) 2. ACM Jl.: Computing Surveys 30(1998)-35(2003) 3. ACM Jl.: Jl. of ACM 8(1961)-34(1987); 43(1996);45(1998)-50 (2003) 4. ACM Magazine: Communications of 39(1996)-46#3-12(2003) ACM 5. ACM Magazine: Intelligence 10(1999)-11(2000) 6. ACM Magazine: netWorker 2(1998)-6(2002) 7. ACM Magazine: Standard View 6(1998) 8. ACM Newsletters: SIGACT News 27(1996);29(1998)-31(2000) 9. ACM Newsletters: SIGAda Ada 16(1996);18(1998)-21(2001) Letters 10. ACM Newsletters: SIGAPL APL 28(1998)-31(2000) Quote Quad 11. ACM Newsletters: SIGAPP Applied 4(1996);6(1998)-8(2000) Computing Review 12. ACM Newsletters: SIGARCH 24(1996);26(1998)-28(2000) Computer Architecture News 13. ACM Newsletters: SIGART Bulletin 7(1996);9(1998) 14. ACM Newsletters: SIGBIO 18(1998)-20(2000) Newsletters 15. ACM Newsletters: SIGCAS 26(1996);28(1998)-30(2000) Computers & Society 16. ACM Newsletters: SIGCHI Bulletin 28(1996);30(1998)-32(2000) 17. ACM Newsletters: SIGCOMM 26(1996);28(1998)-30(2000) Computer Communication Review 1 Central Library, IIT GUWAHATI BACK VOLUME LIST DEPARTMENTWISE (as on 20/04/2012) COMPUTER SCIENCE & ENGINEERING S.N. Jl. Title Vol.(Year) 18. ACM Newsletters: SIGCPR 17(1996);19(1998)-20(1999) Computer Personnel 19. ACM Newsletters: SIGCSE Bulletin 28(1996);30(1998)-32(2000) 20. ACM Newsletters: SIGCUE Outlook 26(1998)-27(2001) 21.
    [Show full text]