790 research outputs found

    Proceedings of The Rust-Edu Workshop

    Get PDF
    The 2022 Rust-Edu Workshop was an experiment. We wanted to gather together as many thought leaders we could attract in the area of Rust education, with an emphasis on academic-facing ideas. We hoped that productive discussions and future collaborations would result. Given the quick preparation and the difficulties of an international remote event, I am very happy to report a grand success. We had more than 27 participants from timezones around the globe. We had eight talks, four refereed papers and statements from 15 participants. Everyone seemed to have a good time, and I can say that I learned a ton. These proceedings are loosely organized: they represent a mere compilation of the excellent submitted work. I hope you’ll find this material as pleasant and useful as I have. Bart Massey 30 August 202

    1972 February, Memphis State University bulletin

    Get PDF
    Vol. 61, No. 1 of the Memphis State University bulletin containing the undergraduate catalog for 1972-73, 1972 February.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1122/thumbnail.jp

    Ideologies of computer scientists and technologists (Correctness beyond reason)

    Get PDF
    Ideologies of computer scientists and technologist

    Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022

    Get PDF
    The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification. FMCAD provides a leading forum to researchers in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing

    MuLE : A Multi-Paradigm Language for Education

    Get PDF

    1982 June, Memphis State University bulletin

    Get PDF
    Vol. 71, No. 1 of the Memphis State University bulletin containing the undergraduate catalog for 1982-83, 1982 June.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1155/thumbnail.jp

    1984 June, Memphis State University bulletin

    Get PDF
    Vol. 73, No. 1 of the Memphis State University bulletin containing the undergraduate catalog for 1984-85, 1984 June.https://digitalcommons.memphis.edu/speccoll-ua-pub-bulletins/1159/thumbnail.jp

    Air Traffic Management Abbreviation Compendium

    Get PDF
    As in all fields of work, an unmanageable number of abbreviations are used today in aviation for terms, definitions, commands, standards and technical descriptions. This applies in general to the areas of aeronautical communication, navigation and surveillance, cockpit and air traffic control working positions, passenger and cargo transport, and all other areas of flight planning, organization and guidance. In addition, many abbreviations are used more than once or have different meanings in different languages. In order to obtain an overview of the most common abbreviations used in air traffic management, organizations like EUROCONTROL, FAA, DWD and DLR have published lists of abbreviations in the past, which have also been enclosed in this document. In addition, abbreviations from some larger international projects related to aviation have been included to provide users with a directory as complete as possible. This means that the second edition of the Air Traffic Management Abbreviation Compendium includes now around 16,500 abbreviations and acronyms from the field of aviation

    Schwerpunkt Offene Objekte

    Get PDF
    Die ›Zeitschrift für Medien- und Kulturforschung‹ arbeitet an einer Standortbestimmung der Medien- und Kulturwissenschaft; in thematischer, methodischer und struktureller Hinsicht sowie nicht zuletzt in wissenschaftsgeschichtlicher Perspektive. In ihren letzten beiden Ausgaben hat sie verstärkt und konzentriert programmatische Aspekte der Medienphilosophie und der Kulturtechnikforschung ausgearbeitet und vorgestellt. Damit hat sie ihre Aufmerksamkeit auf spezifische – und möglicherweise innovative – Felder und Ansätze innerhalb des weiteren Geschehens der Medien- und Kulturwissenschaft gelenkt und eine Paradigmendiskussion aufgenommen. ..
    • …
    corecore