As of Oct 2019
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Open Computer Science
A2IC 2018 ARTIFICIAL INTELLIGENCE INTERNATIONAL CONFERENCE ISSN 2678-2782 premc.org/a2ic OPEN ACCESS AT DE GRUYTER SELECTED JOURNALS 2018 ·VOLUME 8 2018 ·VOLUME 8 e-ISSN 2299–1093 OPEN COMPUTER SCIENCE e-ISSN 2391-5439 OPEN ENGINEERING is a fully peer-reviewed, open is a fully peer-reviewed, open OPEN access, electronic journal OPEN access, electronic journal COMPUTER that publishes original results ENGINEERING that publishes research in the following computer results of wide interest in SCIENCE science research areas: emerging interdisciplinary algorithms and complexity and traditional engineering theory, artificial intelligence, fields, including: electrical and bioinformatics, networking computer engineering, civil and security systems, pro- and environmental engineer- gramming languages, system ing, mechanical and aerospace and software engineering, engineering, material science theoretical foundations of and engineering. computer science. There are NO submission or www.degruyter.com/journals/eng www.degruyter.com/journals/ publication FEES. Editor-in-Chief: Editor-in-Chief: Egon L. van den Broek, Utrecht In cooperation with A2IC 2018: William F. Ritter University, The Netherlands University of Delaware, USA UPCOMING TOPICAL ISSUE: SPECIAL ISSUE on Modern Manufacturing Artificial Intelligence Technologies ISSN: 2299-1093 in Computer Science ISSN: 2391-5439 www.opencomputerscience.com www.degruyter.com/view/j/eng Guest Editors: Guest Editor: Alvaro Rubio-Largo, Jay F. Tu, Rahul Trivedi Editorial contact: Universidade NOVA de Lisboa, Spain Editorial contact: [email protected] [email protected] 2018 ·VOLUME 16 2018 ·VOLUME 9 e-ISSN 2391-5455 OPEN MATHEMATICS e-ISSN 2081-4836 PALADYN. JOURNAL OF BEHAVIORAL ROBOTICS is a fully peer-reviewed, open access, electronic journal that PALADYN is a fully peer-reviewed, open OPEN JOURNAL OF BEHAVIORAL ROBOTICS access, electronic journal that publishes significant, original publishes original research MATHEMATICS and relevant works in all areas on topics broadly related to of mathematics. -
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]. -
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. -
Introductory Guide for Authors This Guide Is for Early-Career Researchers Who Are Beginning to Write Papers for Publication
Introductory guide for authors This guide is for early-career researchers who are beginning to write papers for publication. publishingsupport.iopscience.org publishingsupport.iopscience.org This guide is for early-career researchers who are beginning to write papers for publication. Academic publishing is rapidly changing, with new technologies and publication models giving authors much more choice over where and how to publish their work. Whether you are writing up the results of a PhD chapter or submitting your first paper, knowing how to prepare your work for publication is essential. This guide will provide an overview of academic publishing and advice on how to make the most of the process for sharing your research. For more information and to download a digital version of this guide go to publishingsupport.iopscience.org. c o n t e n t s Page Choosing where to submit your paper 4 Writing and formatting 6 Peer-review process 8 Revising and responding to referee reports 10 Acceptance and publication 12 Promoting your published work 13 Copyright and ethical integrity 14 Frequently asked questions 15 Publishing glossary 16 IOP publications 18 Introductory guide for authors 3 publishingsupport.iopscience.org Choosing where to submit your paper It can be tempting to begin writing a paper before giving much thought to where it might be published. However, choosing a journal to target before you begin to prepare your paper will enable you to tailor your writing to the journal’s audience and format your paper according to its specific guidelines, which you may find on the journal’s website. -
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. -
The Changing Shape of the Computing World
Outside the Box — The Changing Shape of the Computing World Steve Cunningham Computer Science California State University Stanislaus Turlock, CA 95382 [email protected] http://www.cs.csustan.edu/~rsc Something happened to computing while many of us were busy practicing or teaching our craft, and computing is not quite the same thing we learned. We can ignore this change and others will take our place and teach about it, but they will not have the context and the skill to understand the technology behind it and to carry it forward to the success it should have. And if others carry that torch, computer science will be stunted because we didn't recognize and respond to the opportunity. What happened? Simply this—that Xerox and Apple and, yes, Microsoft opened up the box labeled “CAUTION: Computer Inside” and let the user into the computing picture. Users responded hesitantly but increasingly eagerly and now expect the computer to work for them instead of their working for the computer. Every application now in wide use, and any system that supports a general market, has evolved to meet that expectation. Any computing education that does not pay attention to the user’s role in computing is missing the most vibrant and exciting part of computing today. As it says at the top of this page, you are reading an editorial, not an academic paper. As an editorial, this note represents my personal passion and commitment to the user communication part of computing that the “official” computing establishment has long discounted, and I appreciate John Impagliazzo’s offer of this forum to make my case that computer science is missing the boat in not understanding the need to reshape computer science education to fill this void. -
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). -
IET Journals Catalogue 2018 2 Iet Journals 2018
IET OPEN www.theiet.org/journals IET Journals Catalogue 2018 2 IET JOURNALS 2018 Welcome to IET Journals 2018 ith its expanding coverage of engineering, science and technology content, IET Publishing continues to provide academics Wand practising engineers with a wealth of high-quality resources for their research and information. IET Letters and Research Journals comprehensively cover disciplines including Communications, Signal & Image Processing, Electronics & Computer Science, Life Science, Power & Control and Transport. As part of our continuing commitment to support the international engineering community, we’ve enhanced our Author Support Programme. In 2016 we launched the Information for Authors hub, which gathers together all the information and advice authors need to publish their research with us, while our partnerships with Editage and Kudos provide further support and guidance to help authors publish and promote their work. New Journal Launches IET Nanodielectrics – a fully Gold IET Smart Grid – a Gold Open Access journal, CIRED - Open Access Open Access journal, launching in launching in 2018, aims to disseminate Proceedings Journal – for 2018, which aims to attract original cutting-edge research results spanning the first time, conference research papers and surveys relating over multiple disciplines including Power proceedings from CIRED to the effects of nanoscale structure Electronics, Power and Energy, Control, have been published in and interfacial characteristics on the Communications, and Computing Sciences, to a new fully Open Access electrical polarisation of advanced pave the way for implementing more efficient, journal as part of the IET dielectric materials. reliable and secure power systems. Open programme. What else is new? Ever increasing quality – significant increase in Impact Factors A growing collection of resources IET Journals showcase the best in research across engineering disciplines. -
Detecting Anomalous Citation Groups in Journal Networks Sadamori Kojaku1, Giacomo Livan2,3 & Naoki Masuda4,5,6*
www.nature.com/scientificreports OPEN Detecting anomalous citation groups in journal networks Sadamori Kojaku1, Giacomo Livan2,3 & Naoki Masuda4,5,6* The ever-increasing competitiveness in the academic publishing market incentivizes journal editors to pursue higher impact factors. This translates into journals becoming more selective, and, ultimately, into higher publication standards. However, the fxation on higher impact factors leads some journals to artifcially boost impact factors through the coordinated efort of a “citation cartel” of journals. “Citation cartel” behavior has become increasingly common in recent years, with several instances being reported. Here, we propose an algorithm—named CIDRE—to detect anomalous groups of journals that exchange citations at excessively high rates when compared against a null model that accounts for scientifc communities and journal size. CIDRE detects more than half of the journals suspended from Journal Citation Reports due to anomalous citation behavior in the year of suspension or in advance. Furthermore, CIDRE detects many new anomalous groups, where the impact factors of the member journals are lifted substantially higher by the citations from other member journals. We describe a number of such examples in detail and discuss the implications of our fndings with regard to the current academic climate. Te volume of published research is growing at exponential rates 1, creating a pressing need to devise fast and fair methods to evaluate research outputs. Measuring academic impact is a controversial and challenging task2. Yet, the evaluation of research has increasingly been operationalized in terms of the citations received by research papers and citation-based bibliometric indicators, such as the h-index and the journal impact factor (JIF), which are widely used to evaluate individual researchers, academic institutions, and the research output of entire nations3–6. -
Jacob O. Wobbrock, Ph.D. Curriculum Vitae Professor, the Information School [email protected] by Courtesy, Paul G
20-Sept-2021 1 of 29 Jacob O. Wobbrock, Ph.D. Curriculum Vitae Professor, The Information School [email protected] By Courtesy, Paul G. Allen School of Computer Science & Engineering Homepage Director, ACE Lab Google Scholar Founding Co-Director, CREATE Center University of Washington Box 352840 Seattle, WA, USA 98195-2840 BIOGRAPHY______________________________________________________________________________________________ Jacob O. Wobbrock is a Professor of human-computer interaction (HCI) in The Information School, and, by courtesy, in the Paul G. Allen School of Computer Science & Engineering at the University of Washington, which U.S. News ranked the 8th best global university for 2021. Prof. Wobbrock’s work seeks to scientifically understand people’s experiences of computers and information, and to improve those experiences by inventing new interactive technologies, especially for people with disabilities. His specific research topics include input & interaction techniques, human performance measurement & modeling, HCI research & design methods, mobile computing, and accessible computing. Prof. Wobbrock has co-authored ~200 publications and 19 patents, receiving 25 paper awards, including 7 best papers and 8 honorable mentions from ACM CHI, the flagship conference in HCI. For his work in accessible computing, he received the 2017 SIGCHI Social Impact Award and the 2019 SIGACCESS ASSETS Paper Impact Award. He was named the #1 Most Influential Scholar in HCI by the citation-ranking system AMiner in 2018 and 2021, and was runner-up in 2020. He was also inducted into the prestigious CHI Academy in 2019. His work has been covered in The New York Times, The Washington Post, The Huffington Post, USA Today, and other outlets. He is the recipient of an NSF CAREER award and 7 other National Science Foundation grants. -
Meredith Ringel Morris [email protected], [email protected] Google Scholar Page
Meredith Ringel Morris [email protected], [email protected] http://merrie.info, Google Scholar page OVERVIEW I am an internationally-recognized expert in Human Computer Interaction (HCI), focusing on the design, development, and evaluation of collaborative, social, and accessible technologies, including working at the boundary of HCI and AI to develop responsible AI-based technologies that enhance the capabilities of all people. I am seeking opportunities to do world-changing research and/or lead a high-impact team at the intersection of HCI and AI, drawing on my unique expertise in collaborative and accessible computing to invent the next generation of inclusive technologies. Areas of expertise: gesture interfaces, collaborative technologies, social media, social search, Q&A systems, information retrieval, crowdsourcing, accessible and assistive technologies, digital inclusion, universal design, human-centered AI, responsible AI EDUCATION 2006 Ph.D. in Computer Science, Stanford University 2003 M.S. in Computer Science, Stanford University 2001 Sc.B. in Computer Science, Brown University (Magna Cum Laude) PROFESSIONAL EXPERIENCE 2021 - present Google Research Director and Principal Scientist, People + AI Research 2006 - 2021 Microsoft Research Sr. Principal Researcher and Research Manager • Founder and Research Manager of the Ability group (2018 – 2020) • Redmond Lab Leadership Team member (2020 - 2021) • Research Area Manager for Interaction, Accessibility, and Mixed Reality (2020 – 2021) 2001 – 2006 Stanford University Department -
Gold Route Open Access Journals in Engineering and Technology: Analysis of Research Impact and Implications for Scholarly Communication
Gold Route Open Access Journals in Engineering and Technology: Analysis of Research Impact and Implications for Scholarly Communication Ifeanyi J. Ezema, Ph.D Research Fellow Department of Information Science University of South Africa Nnamdi Azikiwe Library University of Nigeria Nsukka [email protected] Abstract This study examines the research impact of gold open access (OA) journals in engineering and technology. A total of 37 gold route journals that request article processing charges (APC) and 66 other OA journals without APC (i.e., platinum OA) in the field were found in the Directory of Open Access Journals and used for the study. The publishers, APC charges, and the year each journal was added to DOAJ were identified and included in this study. An informetric approach was used to extract research impact indicators (citations, paper productivity, cite/paper, cite/journal, and h-index) of journals. Findings revealed that the publishers of the APC journals were dominated by commercial publishing companies, producing over 60% of the journals. Article processing charges ranged from $7.60 to $3,471.50, with an average of $727.00. Gold route open access (APC) journals performed better than open access non-APC OA journals, since they produced 51.2% of the papers, 71.8% of the total citations, and 65.1% of the total h- index. There was a weak positive correlation between the APC amount of the gold route journals and their research impact. Introduction The past one and a half decades has witnessed a revolution in scholarly communication with the emergence of open access publishing.