„GUI-Software“

Suchergebnisse

1.656 Treffer

• Sichere IT ohne Schwachstellen und Hintertüren
  Weber, Arnd ; Heiser, Gernot ; Kuhlmann, Dirk ; Schallbruch, Martin ; Chattopadhyay, Anupam ; Guilley, Sylvain ; Kasper, Michael ; Krauß, Christoph ; Krüger, Philipp S. ; Reith, Steffen ; Seifert, Jean-Pierre 2020 SSOAR, GESIS – Leibniz-Institut für Sozialwissenschaften e.V.
• An operational guide to monitorability with applications to regular properties
  Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian ; Anna Ingólfsdóttir ; Lehtinen, Karoliina
• A formal verification framework for static analysis – As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY
  Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo
• The Conflicted Usage of RLUTs for Security-Critical Applications on FPGA
  Roy, Debapriya Basu ; Bhasin, Shivam ; Danger, Jean-Luc ; Guilley, Sylvain ; He, Wei ; Mukhopadhyay, Debdeep ; Najm, Zakaria ; Ngo, Xuan Thuy
• PARTONS: PARtonic Tomography Of Nucleon Software – A computing framework for the phenomenology of Generalized Parton Distributions
  Berthou, B. ; Binosi, Daniele ; Chouika, N. ; Colaneri, L. ; Guidal, M. ; Mezrag, C. ; Moutarde, H. ; Rodríguez-Quintero, J. ; Sabatié, F. ; Sznajder, P. ; Wagner, J.
• Development guidelines for individual digital study assistants in higher education
  König, Claudia M. ; Karrenbauer, Christin ; Breitner, Michael H.
• Guidelines for conducting and reporting case study research in software engineering
  Runeson, Per ; Höst, Martin
• Characterisation of accessibility guidelines for digital technologies
  Etxabe-Antia, Amaia ; Beitia-Amondarain, Amaia ; González de Heredia-López de Sabando, Arantxa ; Justel-Lozano, Daniel
• An environment for sustainable research software in Germany and beyond – Current state, open challenges, and call for action
  Anzt, Hartwig ; Bach, Felix ; Druskat, Stephan ; Löffler, Frank ; Loewe, Axel ; Renard, Bernhard Y. ; Seemann, Gunnar ; Struck, Alexander ; Achhammer, Elke ; Aggarwal, Piush ; Appel, Franziska ; Bader, Michael ; Brusch, Lutz ; Busse, Christian ; Chourdakis, Gerasimos ; Dabrowski, Piotr Wojciech ; Ebert, Peter ; Flemisch, Bernd ; Friedl, Sven ; Fritzsch, Bernadette ; Funk, Maximilian D. ; Gast, Volker ; Goth, Florian ; Grad, Jean-Noël ; Hermann, Sibylle ; Hohmann, Florian ; Janosch, Stephan ; Kutra, Domini 2020 F1000 Research Ltd
• Der Auftragsverarbeitungsvertrag (AV-Vertrag): Relevanz und praktische Bedeutung für die Diabetologie
  Frielitz, Fabian Simon ; Schlüter, Sandra ; Heinemann, Lutz ; Freckmann, Guido ; von Sengbusch, Simone
• The deal.II Library, Version 8.4
  Bangerth, Wolfgang ; Davydov, Denis ; Heister, Timo ; Heltai, Luca ; Kanschat, Guido ; Kronbichler, Martin ; Maier, Matthias ; Turcksin, Bruno ; Wells, David
• The assessment of left ventricular volume and function in gated small animal 18F-FDG PET/CT imaging: a comparative study of three commercially available software tools
  Zacherl, Mathias J. ; Simenhandra, Agus ; Lindner, Magdalena ; Bartenstein, Peter ; Todica, Andrei Stefan ; Boening, Guido ; Fischer, Maximilian
• A tool for validating MRI-guided strategies: a digital breathing CT/MRI phantom of the abdominal site
  Paganelli, Chiara ; Summers, Paul ; Gianoli, Chiara ; Bellomi, Massimo ; Baroni, Guido ; Riboldi, Marco
• 3D-XGuide: open-source X-ray navigation guidance system
  Vernikouskaya, Ina ; Bertsche, Dagmar ; Rottbauer, Wolfgang ; Rasche, Volker 2020 Universität Ulm
• Software-guided microfluidic reaction calorimeter based on thermoelectric modules
  Frede, Aljoscha ; Burke, Inga ; Kockmann, Norbert 2021 Universitätsbibliothek Dortmund
• Recommendation of technological profiles to collaborate in software projects using document embeddings
  Chamoso, Pablo ; Hernández, Guillermo ; González Briones, Alfonso ; García-Peñalvo, Francisco José
• Das Aufspüren von Kundenabwanderungstendenzen – ein Anwendungsbeispiel der Content-Analyse für Weblogs
  Beinke, Kai-Stefan ; Grunwald, Guido 2008 Univ., Fachbereich Wirtschaftswiss.
• The first reactive synthesis competition (SYNTCOMP 2014)
  Jacobs, Swen ; Bloem, Roderick ; Brenguier, Romain ; Ehlers, Rüdiger ; Hell, Timotheus ; Könighofer, Robert ; Pérez, Guillermo A. ; Raskin, Jean-François ; Ryzhyk, Leonid ; Sankur, Ocan ; Seidl, Martina ; Tentrup, Leander ; Walker, Adam
• ACE-Net: A-line coordinates encoding network for vascular structure segmentation in ultrasound images
  Farola Barata, Beatriz ; Liao, Guiqiu ; Borghesan, Gianni ; McCutcheon, Keir ; Bennett, Johan ; Rosa, Benoit ; de Mathelin, Michel ; Nageotte, Florent ; Gora, Michalina J. ; Vander Sloten, Jos ; Vander Poorten, Emmanuel ; Dall’Alba, Diego
• ChemInform Abstract: The Protein Data Bank (PDB), Its Related Services and Software Tools as Key Components for in silico Guided Drug Discovery
  Kirchmair, Johannes ; Markt, Patrick ; Distinto, Simona ; Schuster, Daniela ; Spitzer, Gudrun M. ; Liedl, Klaus R. ; Langer, Thierry ; Wolber, Gerhard