DOCSLIB.ORG

List of Titles Covered in All Database

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
List of Titles Covered in All Database All Database Coverage2021 S.N. TITLE URL 1 291 https://www.jstor.org/journal/291 2 14th Century English Mystics Newsletter https://www.jstor.org/journal/14centengmystnew 3 19th-Century Music https://www.jstor.org/journal/19thcenturymusic https://search.ebscohost.com/login.aspx? 4 2.5G-5G direct=true&db=bth&site=ehost-live&scope=site&jid=JDI8 5 3C ON-LINE https://dl.acm.org/loi/sig3c https://search.ebscohost.com/login.aspx? 6 401K Advisor direct=true&db=bth&site=ehost-live&scope=site&jid=8RA https://search.ebscohost.com/login.aspx? 7 4OR direct=true&db=eoh&site=ehost-live&scope=site&jid=0VK 8 4S Review https://www.jstor.org/journal/4sreview https://search.ebscohost.com/login.aspx? 9 A to B direct=true&db=bth&site=ehost-live&scope=site&jid=6DSP 10 A.A.V. Newsletter https://www.jstor.org/journal/aavnewsletter 11 A.I.H.P. Notes https://www.jstor.org/journal/aihpnotes 12 a/b: Auto/Biography Studies https://muse.jhu.edu/journal/483 13 AA Files https://www.jstor.org/journal/aafiles 14 AAA: Arbeiten aus Anglistik und Amerikanistik https://www.jstor.org/journal/aaaarbeanglamer 15 AATSEEL Journal https://www.jstor.org/journal/aatseeljournal 16 AAUP Bulletin https://www.jstor.org/journal/aaupbulletin 17 AAV Today https://www.jstor.org/journal/aavtoday 18 Ab Imperio https://muse.jhu.edu/journal/573 https://search.ebscohost.com/login.aspx? 19 ABA Banking Journal direct=true&db=bth&site=ehost-live&scope=site&jid=ABA 20 ABA Journal https://www.jstor.org/journal/abaj ABA Journal of Affordable Housing & Community Development 21 https://www.jstor.org/journal/abajafhocodela Law 22 ABA Journal of Labor & Employment Law https://www.jstor.org/journal/abajlabemplaw 23 Ábaco https://www.jstor.org/journal/abaco https://search.ebscohost.com/login.aspx? 24 Abacus direct=true&db=bth&site=ehost-live&scope=site&jid=AUB 25 Aboriginal History https://www.jstor.org/journal/aborhist 26 Abortion Surveillance https://www.jstor.org/journal/aborsurv 27 Abortion Surveillance Report https://www.jstor.org/journal/aborsurvrepo 28 Abstract of Sanitary Reports https://www.jstor.org/journal/abstsanirepo 29 Abstracta Botanica https://www.jstor.org/journal/abstbota Abstracts of the Papers Communicated to the Royal Society of 30 https://www.jstor.org/journal/abstpapecommroya London 1 All Database Coverage2021 S.N. TITLE URL Abstracts of the Papers Printed in the Philosophical 31 https://www.jstor.org/journal/abstpapeprinphil Transactions of the Royal Society of London 32 ACA Newsletter https://www.jstor.org/journal/acanewsletter 33 Academe https://www.jstor.org/journal/academe https://search.ebscohost.com/login.aspx? 34 Academia Economic Papers direct=true&db=eoh&site=ehost-live&scope=site&jid=1XP4 35 Academia Revista Latinoamericana de Administración https://www.emerald.com/insight/publication/issn/1012-8255 https://search.ebscohost.com/login.aspx? 36 Academy of Business Journal direct=true&db=bth&site=ehost-live&scope=site&jid=BGRV https://search.ebscohost.com/login.aspx? 37 Academy of Business Research Journal direct=true&db=bth&site=ehost-live&scope=site&jid=BGRT https://search.ebscohost.com/login.aspx? 38 Academy of Management Discoveries direct=true&db=bth&site=ehost-live&scope=site&jid=H01X https://search.ebscohost.com/login.aspx? 39 Academy of Management Journal direct=true&db=bth&site=ehost-live&scope=site&jid=AMJ 40 Academy of Management Learning & Education https://www.jstor.org/journal/acadmanaleareduc 41 Academy of Management Perspectives https://www.jstor.org/journal/acadmanapers https://search.ebscohost.com/login.aspx? 42 Academy of Management Review direct=true&db=bth&site=ehost-live&scope=site&jid=AMX 43 Acadiensis https://www.jstor.org/journal/acadiensis Acadiensis: Journal of the History of the Atlantic Region / Revue 44 https://muse.jhu.edu/journal/683 dhistoire de la region atlantique https://search.ebscohost.com/login.aspx? 45 Accountability in Research: Policies & Quality Assurance direct=true&db=bth&site=ehost-live&scope=site&jid=7V6 Accounting & Auditing Perspective Magazine / Muhasebe ve https://search.ebscohost.com/login.aspx? 46 Denetime Bakis direct=true&db=bth&site=ehost-live&scope=site&jid=B7UJ https://search.ebscohost.com/login.aspx? 47 Accounting & Finance direct=true&db=bth&site=ehost-live&scope=site&jid=AFI https://search.ebscohost.com/login.aspx? 48 Accounting & Finance / Oblik i Finansi direct=true&db=bth&site=ehost-live&scope=site&jid=FXJX Accounting & Management Information Systems / Contabilitate https://search.ebscohost.com/login.aspx? 49 si Informatica de Gestiune direct=true&db=bth&site=ehost-live&scope=site&jid=AXUB https://search.ebscohost.com/login.aspx? 50 Accounting & the Public Interest direct=true&db=bth&site=ehost-live&scope=site&jid=FYC https://search.ebscohost.com/login.aspx? 51 Accounting Education direct=true&db=bth&site=ehost-live&scope=site&jid=5CB https://search.ebscohost.com/login.aspx? 52 Accounting Historians Journal direct=true&db=bth&site=ehost-live&scope=site&jid=BKX https://search.ebscohost.com/login.aspx? 53 Accounting Historians Notebook direct=true&db=bth&site=ehost-live&scope=site&jid=2X3E https://search.ebscohost.com/login.aspx? 54 Accounting Horizons direct=true&db=bth&site=ehost-live&scope=site&jid=AHZ https://search.ebscohost.com/login.aspx? 55 Accounting in Europe direct=true&db=bth&site=ehost-live&scope=site&jid=TDO https://search.ebscohost.com/login.aspx? 56 Accounting Perspectives direct=true&db=bth&site=ehost-live&scope=site&jid=30RQ 57 Accounting Research Journal https://www.emerald.com/insight/publication/issn/1030-9616 https://search.ebscohost.com/login.aspx? 58 Accounting Review direct=true&db=bth&site=ehost-live&scope=site&jid=ARW https://search.ebscohost.com/login.aspx? 59 Accounting, Accountability & Performance direct=true&db=bth&site=ehost-live&scope=site&jid=50GP 60 Accounting, Auditing & Accountability Journal https://www.emerald.com/insight/publication/issn/0951-3574 2 All Database Coverage2021 S.N. TITLE URL 61 Accounts of Chemical Research http://pubs.acs.org/journal/achre4 62 Accounts of Materials Research (New in 2021)1 http://pubs.acs.org/journal/amrcda https://www.concrete.org/publications/acimaterialsjournal. 63 ACI Materials Journal aspx https://www.concrete.org/publications/acistructuraljournal. 64 ACI Structural Journal aspx 65 ACM Communications in Computer Algebra https://dl.acm.org/loi/sigsam-cca https://search.ebscohost.com/login.aspx? 66 ACM Computing Surveys direct=true&db=bth&site=ehost-live&scope=site&jid=UTE 67 ACM Computing Surveys https://dl.acm.org/loi/csur 68 ACM Inroads https://dl.acm.org/loi/inroads 69 ACM Journal of Computer Documentation https://dl.acm.org/loi/jcd 70 ACM Journal of Experimental Algorithmics https://dl.acm.org/loi/jea 71 ACM Journal on Emerging Technologies in Computing Systems https://dl.acm.org/loi/jetc 72 ACM Letters on Programming Languages and Systems https://dl.acm.org/loi/loplas 73 ACM Lisp Bulletin https://dl.acm.org/loi/sigplan-lisp 74 ACM SIGACCESS Accessibility and Computing https://dl.acm.org/loi/sigaccess 75 ACM SIGACT News https://dl.acm.org/loi/sigact 76 ACM SIGAda Ada Letters https://dl.acm.org/loi/sigada 77 ACM SIGAPL APL Quote Quad https://dl.acm.org/loi/sigapl 78 ACM SIGAPP Applied Computing Review https://dl.acm.org/loi/sigapp 79 ACM SIGARCH Computer Architecture News https://dl.acm.org/loi/sigarch 80 ACM SIGART Bulletin https://dl.acm.org/loi/sigai 81 ACM SIGBED Review https://dl.acm.org/loi/sigbed 82 ACM SIGBioinformatics Record https://dl.acm.org/loi/sigbio 83 ACM SIGCAPH Computers and the Physically Handicapped https://dl.acm.org/loi/sigaccess-sigcaph 84 ACM SIGCAS Computers and Society https://dl.acm.org/loi/sigcas 85 ACM SIGCHI Bulletin https://dl.acm.org/loi/sigchi 86 ACM SIGCHI Bulletin - a supplement to interactions https://dl.acm.org/loi/sigchi-suppl 87 ACM SIGCOMM Computer Communication Review https://dl.acm.org/loi/sigcomm-ccr 88 ACM SIGCPR Computer Personnel https://dl.acm.org/loi/sigcpr 89 ACM SIGCSE Bulletin https://dl.acm.org/loi/sigcse 90 ACM SIGCSIM Installation Management Review https://dl.acm.org/loi/sigcsim 3 All Database Coverage2021 S.N. TITLE URL 91 ACM SIGCUE Outlook https://dl.acm.org/loi/sigcue 92 ACM SIGDOC Asterisk Journal of Computer Documentation https://dl.acm.org/loi/sigdoc 93 ACM SIGecom Exchanges https://dl.acm.org/loi/sigecom 94 ACM SIGEVOlution https://dl.acm.org/loi/sigevo 95 ACM SIGGRAPH Computer Graphics https://dl.acm.org/loi/siggraph 96 ACM SIGGROUP Bulletin https://dl.acm.org/loi/siggroup 97 ACM SIGHIT Record https://dl.acm.org/loi/sighit 98 ACM SIGHPC Connect https://dl.acm.org/loi/sighpc 99 ACM SIGICE Bulletin https://dl.acm.org/loi/sigice 100 ACM SIGIR Forum https://dl.acm.org/loi/sigir 101 ACM SIGITE Research in IT https://dl.acm.org/loi/sigite-riit 102 ACM SIGLOG News https://dl.acm.org/loi/siglog 103 ACM SIGMAP Bulletin https://dl.acm.org/loi/sigmap 104 ACM SIGMETRICS Performance Evaluation Review https://dl.acm.org/loi/sigmetrics ACM SIGMIS Database: the DATABASE for Advances in 105 https://dl.acm.org/loi/sigmis Information Systems ACM SIGMOBILE Mobile Computing and Communications 106 https://dl.acm.org/loi/sigmobile Review 107 ACM SIGMOD Record https://dl.acm.org/loi/sigmod 108 ACM SIGMultimedia Records https://dl.acm.org/loi/sigmm 109 ACM SIGOIS Bulletin https://dl.acm.org/loi/sigois 110 ACM SIGOPS Operating Systems Review https://dl.acm.org/loi/sigops 111 ACM SIGPC Notes https://dl.acm.org/loi/sigpc 112 ACM SIGPLAN Fortran Forum https://dl.acm.org/loi/sigplan-fortran 113 ACM SIGPLAN Lisp Pointers https://dl.acm.org/loi/sigplan-lisppointers 114 ACM SIGPLAN Notices https://dl.acm.org/loi/sigplan 115 ACM SIGPLAN OOPS Messenger https://dl.acm.org/loi/sigplan-oops 116 ACM SIGSAC Review https://dl.acm.org/loi/sigsac 117 ACM SIGSAM Bulletin https://dl.acm.org/loi/sigsam 118 ACM SIGSIM Simulation Digest https://dl.acm.org/loi/sigsim 119 ACM SIGSMALL/PC Notes https://dl.acm.org/loi/sigsmall-pc 120 ACM SIGSOC Bulletin https://dl.acm.org/loi/sigsoc 4 All Database Coverage2021 S.N.
Load more

Recommended publications
  • Daniel D. Garcia
    DANIEL D. GARCIA [email protected] http://www.cs.berkeley.edu/~ddgarcia/ 777 Soda Hall #1776 UC Berkeley Berkeley, CA 94720-1776 (510) 517-4041 ______________________________________________________ EDUCATION MASSACHUSETTS INSTITUTE OF TECHNOLOGY Cambridge, MA B.S. in Computer Science, 1990 B.S. in Electrical Engineering, 1990 UNIVERSITY OF CALIFORNIA, BERKELEY Berkeley, CA M.S. in Computer Science, 1995 Ph.D. in Computer Science, 2000. Area: computer graphics and scientific visualization. Brian Barsky, advisor. TEACHING AWARDS • Outstanding Graduate Student Instructor in Computer Science (1992) • Electrical Engineering and Computer Science Outstanding Graduate Student Instructor (1997) • Computer Science Division Diane S. McEntyre Award for Excellence in Teaching (2002) • Computer Science Division IT Faculty Award for Excellence in Undergraduate Teaching (2005) • UC Berkeley “Everyday Hero” Award (2005) • Highest “teaching effectiveness” rating for any EECS lower division instructor, ever (6.7, since tied) (2006) • CS10: The Beauty and Joy of Computing chosen as 1 of 5 national pilots for AP CS: Principles course (2010) • CS10: The Beauty and Joy of Computing chosen as a University of California Online Course Pilot (2011) • Association of Computing Machinery (ACM) Distinguished Educator (2012) • Top 5 Professors to Take Classes with at UC Berkeley, The Black Sheep Online (2013) • CS10 becomes first introductory computing class at UC Berkeley with > 50% women (2013,2014) • Ten Most Popular MOOCs Starting in September 2015 and January 2016, Class Central (2015, 2016) • LPFI's Lux Award for being “Tech Diversity Champion” (2015) • NCWIT’s Undergraduate Research Mentoring (URM) Award (2016) • NCWIT’s Extension Services Transformation Award, Honorable Mention (2016) • CS10 becomes first introductory computing class at UC Berkeley with > 60% women (2017) • SAP Visionary Member Award (2017) • Google CS4HS Ambassador (2017) • CS10 becomes first introductory computing class at UC Berkeley with > 65% women (2018) Updated through 2018-07-01 1 / 28 Daniel D.
    [Show full text]
  • Global Photographies
    Sissy Helff, Stefanie Michels (eds.) Global Photographies Image | Volume 76 Sissy Helff, Stefanie Michels (eds.) Global Photographies Memory – History – Archives An electronic version of this book is freely available, thanks to the support of libraries working with Knowledge Unlatched. KU is a collaborative initiative designed to make high quality books Open Access for the public good. The Open Access ISBN for this book is 978-3-8394-3006-4. More information about the initiative and links to the Open Access version can be found at www.knowledgeunlatched.org. This work is licensed under the Creative Commons Attribution-NonCommer- cial-NoDerivs 4.0 (BY-NC-ND) which means that the text may be used for non- commercial purposes, provided credit is given to the author. For details go to http://creativecommons.org/licenses/by-nc-nd/4.0/. To create an adaptation, translation, or derivative of the original work and for commercial use, further permission is required and can be obtained by contac- ting [email protected] © 2018 transcript Verlag, Bielefeld Bibliographic information published by the Deutsche Nationalbibliothek The Deutsche Nationalbibliothek lists this publication in the Deutsche Na- tionalbibliografie; detailed bibliographic data are available in the Internet at http://dnb.d-nb.de Cover concept: Kordula Röckenhaus, Bielefeld Cover illustration: Sally Waterman, PastPresent No. 6, 2005, courtesy of the artist Proofread and typeset by Yagmur Karakis Printed by docupoint GmbH, Magdeburg Print-ISBN 978-3-8376-3006-0 PDF-ISBN
    [Show full text]
  • The Abcs of Petri Net Reachability Relaxations
    The ABCs of Petri net reachability relaxations Michael Blondin, Universite´ de Sherbrooke, Canada Petri nets form a widespread model of concurrency well suited for the verification of systems with infinitely many configurations. Deciding configuration reachability in Petri nets, which plays a central role in their formal analysis, suffers from a nonelementary time complexity lower bound. We survey relaxations that alleviate this tremendous complexity, both for classical Petri nets and for extensions with affine transformations, branching rules and colored tokens. 1. INTRODUCTION Petri nets are a widespread formalism to model and analyze concurrent systems with possibly infinite configuration spaces over nonnegative counters, i.e. Nk. They offer a great tradeoff between graphical modeling and amenability to algorithmic analysis. In particular, they find applications ranging from program verification (e.g. [German and Sistla 1992; Kaiser et al. 2014; Atig et al. 2011; Delzanno et al. 2002]) to the for- mal analysis of chemical, biological and business processes (e.g. [Esparza et al. 2017; Heiner et al. 2008; van der Aalst 1998]). One of the central questions in Petri net the- ory consists in determining whether a given target configuration, typically an error of a system, is reachable from an initial configuration. This reachability problem, which we will shortly define formally, has been extensively studied over several decades. For a long time, the computational complexity of the problem lay between EXPSPACE- hardness [Lipton 1976] and decidability [Mayr 1981; Kosaraju 1982; Lambert 1992; Leroux 2012]. However, it was recently narrowed down between TOWER-hardness [Cz- erwinski´ et al. 2019], i.e. a tower of exponentials, and Ackermaniann time [Leroux and Schmitz 2019].
    [Show full text]
  • Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks
    Adversarial Symbolic Execution for Detecting Concurrency-Related Cache Timing Leaks Shengjian Guo Meng Wu Chao Wang Virginia Tech Virginia Tech University of Southern California Blacksburg, VA, USA Blacksburg, VA, USA Los Angeles, CA, USA ABSTRACT The timing characteristics of cache, a high-speed storage between Program P Adversarial the fast CPU and the slow memory, may reveal sensitive information (Thread T1) Thread Schedule of a program, thus allowing an adversary to conduct side-channel attacks. Existing methods for detecting timing leaks either ignore Concurrent Pro- Symbolic Cache-timing ′′ SMT Solving cache all together or focus only on passive leaks generated by the gram P Execution Leakage program itself, without considering leaks that are made possible by concurrently running some other threads. In this work, we show Program P′ Adversarial Cache that timing-leak-freedom is not a compositional property: a program (Thread T2) Cache Modeling Configuration that is not leaky when running alone may become leaky when inter- leaved with other threads. Thus, we develop a new method, named Figure 1: Flow of our cache timing leak detector SymSC. adversarial symbolic execution, to detect such leaks. It systematically explores both the feasible program paths and their interleavings while modeling the cache, and leverages an SMT solver to decide if are caused by differences in the number and type of instructions there are timing leaks. We have implemented our method in LLVM executed along different paths: unless the differences are indepen- and evaluated it on a set of real-world ciphers with 14,455 lines of dent of the sensitive data, they may be exploited by an adversary.
    [Show full text]
  • 1 Employment 2 Education 3 Grants
    STEPHEN F. SIEGEL Curriculum Vitæ Department of Computer and Information Sciences email: [email protected] 101 Smith Hall web: http://vsl.cis.udel.edu/siegel.html University of Delaware tel: (302) 831{0083, fax: (302) 831{8458 Newark, DE 19716 skype: sfsiegel 1 Employment Associate Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2012 to present Assistant Professor, Department of Computer and Information Sciences and Department of Math- ematical Sciences, University of Delaware, September 2006 to August 2012 Senior Research Scientist, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 2001 to August 2006 Senior Software Engineer, Laboratory for Advanced Software Engineering Research, Department of Computer Science, University of Massachusetts Amherst, August 1998 to July 2001 Visiting Assistant Professor, Department of Mathematics, University of Massachusetts Amherst, September 1996 to August 1998 Visiting Assistant Professor, Department of Mathematics, Northwestern University, September 1993 to June 1996 2 Education Ph.D., Mathematics, University of Chicago, August 1993 (Advisor: Prof. Jonathan L. Alperin) M.Sc., Mathematics, Oxford University, June 1989 B.A., Mathematics, University of Chicago, June 1988 3 Grants Awarded • Principal Investigator, Subcontract 4000159498, Oak Ridge National Laboratory, Extend and Improve the CIVL Software Verification Platform. January 31, 2018 { September 30, 2020. Award amount: $245,963 (sole PI). Subcontract under Department of Energy award RAPIDS: A SciDAC Institute for Computer Science and Data. • Principal Investigator, Department of Energy Award DE-SC0012566, Program Verification for Extreme- Scale Applications, September 1, 2014 { August 31, 2018. Award amount: $510,000. (Sole PI) • Principal Investigator, National Science Foundation Award NSF CCF-1319571, SHF: Small: Con- tracts for Message-Passing Parallel Programs, September 1, 2013 { August 31, 2018.
    [Show full text]
  • ACM Education Board and Education Council FY2017-2018 Executive
    ACM Education Board and Education Council FY2017-2018 Executive Summary This report summarizes the activities of the ACM Education Board and the Education Council1 in FY 2017-18 and outlines priorities for the coming year. Major accomplishments for this past year include the following: Curricular Volumes: Joint Taskforce on Cybersecurity Education CC2020 Completed: Computer Engineering Curricular Guidelines 2016 (CE2016) Enterprise Information Technology Body of Knowledge (EITBOK) Information Technology 2017 (IT2017) Masters of Science in Information Systems 2016 (MSIS2016) International Efforts: Educational efforts in China Educational efforts in Europe/Informatics for All Taskforces and Other Projects: Retention taskforce Learning at Scale Informatics for All Committee International Education Taskforce Global Awareness Taskforce Data Science Taskforce Education Policy Committee NDC Study Activities and Engagements with ACM SIGs and Other Groups: CCECC Code.org CSTA 1 The ACM Education Council was re-named in fall 2018 to the ACM Education Advisory Committee. For historical accuracy, the EAC will be called the Education Council for this report. 1 SIGCAS SIGCHI SIGCSE SIGHPC SIGGRAPH SIGITE Other Items: Education Board Rotation Education Council Rotation Future Initiatives Global Awareness Taskforce International Education Framework Highlights This is a very short list of the many accomplishments of the year. For full view of the work to date, please see Section One: Summary of FY 2017-2018 Activities. Diversity Taskforce: The Taskforce expects to complete its work by early 2019. Their goals of Exploring the data challenges Identifying factors contributing to the leaky pipeline Recommending potential interventions to improve retention Learning at Scale: The Fifth Annual ACM Conference on Learning @ Scale (L@S) was held in London, UK on June 26-28, 2018.
    [Show full text]
  • Candidate for Chair Jeffrey K. Hollingsworth University Of
    Candidate for Chair Jeffrey K. Hollingsworth University of Maryland, College Park, MD, USA BIOGRAPHY Academic Background: Ph.D., University of Wisconsin, 1994, Computer Sciences. Professional Experience: Professor, University of Maryland, College Park, MD, 2006 – Present; Associate /Assistant Professor, University of Maryland, College Park, MD, 1994 – 2006; Visiting Scientist, IBM, TJ Watson Research Center, 2000 – 2001. Professional Interest: Parallel Computing; Performance Measurement Tools; Auto-tuning; Binary Instrumentation; Computer Security. ACM Activities: Vice Chair, SIGHPC, 2011 – Present; Member, ACM Committee on Future of SIGs, 2014 – 2015; General Chair, SC Conference, 2012; Steering Committee Member (and Chair '13), SC Conference, 2009 – 2014. Membership and Offices in Related Organizations: Editor in Chief, PARCO, 2009 – Present; Program Chair, IPDPS, 2016; Board Member, Computing Research Association (CRA), 2008 – 2010. Awards Received: IPDPS, Best Paper - Software, 2011; SC, Best Paper - Student lead Author, 2005; IPDPS, Best Paper - Software, 2000. STATEMENT There is a critical need for a strong SIGHPC. Until SIGHPC was founded five years ago, the members of the HPC community lacked a home within ACM. While the SC conference provides a nexus for HPC activity in the fall, we needed a full-time community. Now that the initial transition of the SC conference from SIGARCH to SIGHPC is nearly complete, the time is right to start considering what other meetings and activities SIGHPC should undertake. We need to carefully identify meetings to sponsor or co-sponsor. Also, SIGHPC needs to continue and expand its role as a voice for the HPC community. This includes mentoring young professionals, actively identifying and nominating members for society wide awards, and speaking for the HPC community within both the scientific community and society at large.
    [Show full text]
  • Harrys Game Free
    FREE HARRYS GAME PDF Gerald Seymour | 320 pages | 20 Jun 2013 | Hodder & Stoughton General Division | 9781444760019 | English | London, United Kingdom Harry's Game by Gerald Seymour Sign In. Edit Harry's Game —. Harry Brown 3 episodes, Benjamin Whitrow Davidson 3 episodes, Nicholas Day Bannen 3 Harrys Game, Geoffrey Chater George Frost 3 episodes, Sean Caffrey Howard Rennie 3 episodes, Derek Thompson Billy Downes 3 episodes, Maggie Shevlin Downes 3 episodes, Gil Brailey Josephine Laverty 3 episodes, Charles Lawson Seamus Duffryn 3 Harrys Game, Tony Rohr Brigade Commander 3 episodes, Sam Harrys Game Billy's Driver 3 episodes, Elizabeth Begley Duncan 3 episodes, Rita Howard Minister of Harrys Game 2 episodes, Ray Armstrong Colonel 2 episodes, Stephen Mallatratt Adjutant 2 episodes, Christopher Whitehouse Frankie 2 episodes, Linda Robson Theresa Harrys Game 2 episodes, Rio Fanning Scrapyard Owner 2 episodes, Ian Bleasdale Waiter 2 episodes, Jonathan Young Commander 1 episode, Geoffrey Russell Home Secretary 1 episode, Andy Abrahams Arthur Fairclough 1 episode, Edmund Kente Private secretary 1 episode, Robert Morris The Right Hon. Henry Danby M. Intelligence Officer 1 episode, Stephen Tomlin Lieutenant 1 episode, Brigid O'Hara Danby 1 episode, John Wild Lieutenant 1 episode, Teresa Lee Lance Cpl. Llewellyn 1 episode, Michael Bruce Private Jones 1 episode, Gary Waldhorn Commissioner of Harrys Game 1 episode, Geoffrey Leesley Commissioner 1 episode, Carole Nimmons Rennie 1 episode, Noel Johnson Sir Jocelyn Fairbairn 1 episode, Robert Boyd Adjutant 1 episode, Paul Harrys Game Royal Marine 1 episode, Malcolm Raeburn Arms Instructor 1 episode, Carol Reeve Laverty 1 episode, John Keyworth Chief Harrys Game 1 episode, James Greene Senior officer 1 episode, Gareth Milne Sales Rep.
    [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]
  • 2017 ALCF Operational Assessment Report
    ANL/ALCF-20/04 2017 Operational Assessment Report ARGONNE LEADERSHIP COMPUTING FACILITY On the cover: This visualization shows a small portion of a cosmology simulation tracing structure formation in the universe. The gold-colored clumps are high-density regions of dark matter that host galaxies in the real universe. This BorgCube simulation was carried out on Argonne National Laboratory’s Theta supercomputer as part of the Theta Early Science Program. Image: Joseph A. Insley, Silvio Rizzi, and the HACC team, Argonne National Laboratory Contents Executive Summary ................................................................................................ ES-1 Section 1. User Support Results .............................................................................. 1-1 ALCF Response ........................................................................................................................... 1-1 Survey Approach ................................................................................................................ 1-2 1.1 User Support Metrics .......................................................................................................... 1-3 1.2 Problem Resolution Metrics ............................................................................................... 1-4 1.3 User Support and Outreach ................................................................................................. 1-5 1.3.1 Tier 1 Support ........................................................................................................
    [Show full text]
  • Stephanie Weirich –
    Stephanie Weirich School of Engineering and Science, University of Pennsylvania Levine 510, 3330 Walnut St, Philadelphia, PA 19104 215-573-2821 • [email protected] July 13, 2021 Positions University of Pennsylvania Philadelphia, Pennsylvania ENIAC President’s Distinguished Professor September 2019-present Galois, Inc Portland, Oregon Visiting Scientist June 2018-August 2019 University of Pennsylvania Philadelphia, Pennsylvania Professor July 2015-August 2019 University of Pennsylvania Philadelphia, Pennsylvania Associate Professor July 2008-June 2015 University of Cambridge Cambridge, UK Visitor August 2009-July 2010 Microsoft Research Cambridge, UK Visiting Researcher September-November 2009 University of Pennsylvania Philadelphia, Pennsylvania Assistant Professor July 2002-July 2008 Cornell University Ithaca, New York Instructor, Research Assistant and Teaching AssistantAugust 1996-July 2002 Lucent Technologies Murray Hill, New Jersey Intern June-July 1999 Education Cornell University Ithaca, NY Ph.D., Computer Science 2002 Cornell University Ithaca, NY M.S., Computer Science 2000 Rice University Houston, TX B.A., Computer Science, magnum cum laude 1996 Honors ○␣ SIGPLAN Robin Milner Young Researcher award, 2016 ○␣ Most Influential ICFP 2006 Paper, awarded in 2016 ○␣ Microsoft Outstanding Collaborator, 2016 ○␣ Penn Engineering Fellow, University of Pennsylvania, 2014 ○␣ Institute for Defense Analyses Computer Science Study Panel, 2007 ○␣ National Science Foundation CAREER Award, 2003 ○␣ Intel Graduate Student Fellowship, 2000–2001
    [Show full text]
  • Human Resources Beginning
    Human Resources Beginning PDF generated using the open source mwlib toolkit. See http://code.pediapress.com/ for more information. PDF generated at: Mon, 30 Jul 2012 00:30:50 UTC Contents Articles Human resources 1 Human resource management 2 Management 7 Leadership 14 Organizational culture 32 Employer branding 51 Recruitment 53 Training and development 59 Performance appraisal 61 Remuneration 69 Collective agreement 70 Trade union 70 Labour law 88 Payroll 97 Employee benefit 99 Business 103 Mergers and acquisitions 108 Talent management 121 Succession planning 124 Industrial relations 127 Labor relations 131 Multiculturalism 131 Inclusion (value and practice) 148 Organization 149 References Article Sources and Contributors 154 Image Sources, Licenses and Contributors 159 Article Licenses License 160 Human resources 1 Human resources Human resources is the set of individuals who make up the workforce of an organization, business sector or an economy. "Human capital" is sometimes used synonymously with human resources, although human capital typically refers to a more narrow view; i.e., the knowledge the individuals embody and can contribute to an organization. Likewise, other terms sometimes used include "manpower", "talent", "labor" or simply "people". The professional discipline and business function that oversees an organization's human resources is called human resource management (HRM, or simply HR). Overview The term in practice In the corporate vision, employees are viewed as assets to the enterprise, whose value is enhanced by development.[1] Hence, companies will engage in a barrage of human resource management practices to capitalize on those assets. In governing human resources, three major trends are typically considered: 1.
    [Show full text]