Browse by Subject 005 Computerprogrammierung, Programme, Daten

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

 
Showing results 1 to 20 of 42
  » 
PreviewIssue DateTitleAuthor(s)Editor(s)
Feb-2020Active Acoustic Contact Sensing for Soft Pneumatic ActuatorsZöller, Gabriel; Wall, Vincent; Brock, Oliver-
rohloff_judith.pdf.jpg16-Oct-2015Analysis and implementation of hierarchical mutually recursive first class modulesRohloff, Judith-
streibelt_etal_2018.pdf.jpg31-Oct-2018BGP Communities: Even more Worms in the Routing CanStreibelt, Florian; Lichtblau, Franziska; Beverly, Robert; Feldmann, Anja; Pelsser, Cristel; Smaragdakis, Georgios; Bush, Randy-
2019Black Mice Dataset v1Hohlbaum, Katharina; Andresen, Niek; Wöllhaf, Manuel; Lewejohann, Lars; Hellwich, Olaf; Thöne-Reineke, Christa; Belik, Vitaly-
energies-12-00832.pdf.jpg2-Mar-2019Blockchain Technology and Electricity Wholesale Markets: Expert Insights on Potentials and Challenges for OTC Trading in EuropeDick, Carol Inoue; Praktiknjo, Aaron-
electronics-09-00422.pdf.jpg2-Mar-2020Brain-Switches for Asynchronous Brain−Computer Interfaces: A Systematic ReviewHan, Chang-Hee; Müller, Klaus-Robert; Hwang, Han-Jeong-
liedtke_carolin_2014.pdf.jpg5-Feb-2014CIE Test Cases — Bewertung der Genauigkeit von softwarebasierter LichtberechnungLiedtke, Carolin-
hoeger_christoph.pdf.jpg2019Compiling ModelicaHöger, Christoph-
oschmann_franziska.pdf.jpg2018Computational modeling of glutamate-induced calcium signal generation and propagation in astrocytesOschmann, Franziska-
3-Dec-2018Congestion pricing in a world of self-driving vehicles: An analysis of different strategies in alternative future scenariosSimoni, Michele D.; Kockelman, Kara M.; Gurumurthy, Krishna M.; Bischoff, Joschka-
31-Jan-2020Electronic supplemental materialSimons, Franz-
hoeger_mareike.pdf.jpg2019Fault tolerance in parallel data processing systemsHöger, Mareike Ruth-
Film265_Report_v1.1.pdf.jpg30-Jun-2016Film265: Report on Achieved Quality ImprovementsÁlvarez-Mesa, Mauricio; Sanz-Rodríguez, Sergio-
30-Jun-2016Film265: Report on Achieved Quality Improvements: Public Version. Research DataÁlvarez-Mesa, Mauricio; Sanz-Rodríguez, Sergio-
berg_nils.pdf.jpg2019Formal verification of low-level code in a model-based refinement processBerg, Nils Erik-
Sep-2019Formal Verification of Low-Level Code in a Model-Based Refinement Process (Technical Report: Isabelle/HOL formalization)Berg, Nils; Bartels, Björn; Danziger, Armin; Grochau Azzi, Guilherme; Bentert, Matthias-
bischoff_soeffker_maciejewski_2016.pdf.jpgAug-2016A framework for agent based simulation of demand responsive transport systemsBischoff, Joschka; Soeffker, Ninja; Maciejewski, Michał-
clemens_konstantin.pdf.jpg2020Geocoding user queriesClemens, Konstantin-
victor_zickau_2018.pdf.jpg2018Geofences on the Blockchain: Enabling Decentralized Location-based ServicesVictor, Friedhelm; Zickau, Sebastian-
wilmes_benjamin.pdf.jpg27-Mar-2015Hybrides Testverfahren für Simulink/TargetLink-ModelleWilmes, Benjamin-