Synonyme wurden verwendet für: Informatik
Suche ohne Synonyme: keywords:("Informatik")

1–20 von 254 Ergebnissen
|

    Are We Ready for Autonomous Drone Racing? The UZH-FPV Drone Racing Dataset

    Freier Zugriff
    Delmerico, Jeffrey / Cieslewski, Titus / Rebecq, Henri et al. | BASE | 2019
    Schlagwörter: Department of Informatics , 000 Computer science

    An online model checking approach to soft-tissue detection for rupture

    Freier Zugriff
    Antoni, Sven-Thomas / Lehmann, Sascha / Schupp, Sibylle et al. | BASE | 2019
    Schlagwörter: 004: Informatik

    Toward Pervasive Robots (Invited Talk)

    Freier Zugriff
    Rus, Daniela | BASE | 2016
    Schlagwörter: Data processing Computer science

    Every Deterministic Nonclairvoyant Scheduler has a Suboptimal Load Threshold

    Freier Zugriff
    Edmonds, Jeff | BASE | 2010
    Schlagwörter: Data processing Computer science

    Flexible BFT: Separating BFT Protocol Design from the Fault Model (Keynote Lecture)

    Freier Zugriff
    Malkhi, Dahlia | BASE | 2020
    Schlagwörter: Data processing Computer science

    Fragility and Robustness in Mean-Payoff Adversarial Stackelberg Games

    Freier Zugriff
    Balachander, Mrudula / Guha, Shibashis | BASE | 2021
    Schlagwörter: Data processing Computer science

    Computational Complexity of Motion Planning of a Robot through Simple Gadgets

    Freier Zugriff
    Demaine, Erik D. / Grosof, Isaac / Lynch, Jayson et al. | BASE | 2018
    Schlagwörter: Data processing Computer science

    Controlling a Population

    Freier Zugriff
    Bertrand, Nathalie / Dewaskar, Miheer / Genest, Blaise et al. | BASE | 2017
    Schlagwörter: Data processing Computer science

    Differential and Impossible Differential Related-Key Attacks on Hierocrypt-L1

    Taga, Bungo / Moriai, Shiho / Aoki, Kazumaro | Tema Archiv | 2014
    Schlagwörter: Informatik

    TuringMobile: A Turing Machine of Oblivious Mobile Robots with Limited Visibility and Its Applications

    Freier Zugriff
    Di Luna, Giuseppe A. / Flocchini, Paola / Santoro, Nicola et al. | BASE | 2018
    Schlagwörter: Data processing Computer science

    Coordinated Particle Relocation with Global Signals and Local Friction (Media Exposition)

    Freier Zugriff
    Baez, Victor M. / Becker, Aaron T. / Schmidt, Arne | BASE | 2020
    Schlagwörter: Data processing Computer science

    Agile Requirement Engineering for a Cloud System for Automated and Networked Vehicles

    Freier Zugriff
    Mokhtarian, Armin / Kampmann, Alexandru / Alrifaee, Bassam et al. | BASE | 2020
    Schlagwörter: Data processing Computer science

    Reconstruction of Weakly Simple Polygons from their Edges

    Freier Zugriff
    Akitaya, Hugo A. | BASE | 2016
    Schlagwörter: Data processing Computer science

    Circuit Transformations for Quantum Architectures

    Freier Zugriff
    Childs, Andrew M. / Schoute, Eddie / Unsal, Cem M. | BASE | 2019
    Schlagwörter: Data processing Computer science

    Shape Recognition by a Finite Automaton Robot

    Freier Zugriff
    Gmyr, Robert / Hinnenthal, Kristian / Kostitsyna, Irina et al. | BASE | 2018
    Schlagwörter: Data processing Computer science

    Better Bounds for Online Line Chasing

    Freier Zugriff
    Bienkowski, Marcin / Byrka, Jaroslaw / Chrobak, Marek et al. | BASE | 2019
    Schlagwörter: Data processing Computer science

    Modeling and Analyzing Using ASMs: The Landing Gear System Case Study

    Arcaini, P. / Gargantini, A. / Riccobene, E. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System

    Su, W. / Abrial, J.-R. | British Library Conference Proceedings | 2014
    Schlagwörter: Formal methods (Computer science) , B method (Computer science)

    Fast Spherical Drawing of Triangulations: An Experimental Study of Graph Drawing Tools

    Freier Zugriff
    Aleardi, Luca Castelli / Denis, Gaspard | BASE | 2018
    Schlagwörter: Data processing Computer science

    The Power of One Secret Agent

    Freier Zugriff
    Tamir, Tami | BASE | 2018
    Schlagwörter: Data processing Computer science