Uni-Logo
Sie sind hier: Startseite Forschung Publikationen IIF der letzten zwei Jahre
Artikelaktionen

Publikationen IIF der letzten zwei Jahre

Zur Gesamtpublikationsliste.

 


Jahre: 2019 | 2018

    2019

    Icon: top nach oben zur Jahresübersicht
    • Christoph Scholl, Jie-Hong Roland Jiang, Ralf Wimmer, Aile Ge-Ernst
      A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving
      2019 33th AAAI Conference on Artificial Intelligence (AAAI-19)
    • Margret Keuper,, S. Tang,, B. Andres,, Thomas Brox,, B. Schiele
      Motion segmentation and multiple object tracking by correlation co-clustering
      2019 IEEE T Pattern Anal
    • Peter Ochs,, J. Fadili,, Thomas Brox
      Non-smooth non-convex Bregman minimization: unification and new algorithms
      2019 J Optimiz Theory App
    • Pascal Raiola, Benjamin Thiemann, Jan Burchard, Ahmed Atteya, Natalia Kapstova, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
      On Secure Data Flow in Reconfigurable Scan Networks
      2019 To appear in Conf. on Design, Automation and Test in Europe
    • Thorsten Falk,, Dominic Mai,, Robert Bensch,, Özgün Çiçek,, Ahmed Abdulkadir,, Yassine Marrakchi,, Anton Böhm,, J. Deubner,, Z. Jäckel,, K. Seiwald,, A. Dovzhenko,, O. Tietz,, C. Dal Bosco,, S. Walsh,, D. Saltukoglu,, T. Tay,, M. Prinz,, K. Palme,, M. Simons,, I. Diester,, Thomas Brox,, Olaf Ronneberger
      U-Net – Deep Learning for Cell Counting, Detection, and Morphometry
      2019 Nat Methods

       
      Datei herunterladen

    2018

    Icon: top nach oben zur Jahresübersicht
    • Bast H, Brosi P, Storandt S
      Efficient Generation of Geographically Accurate Transit Maps
      2018 SIGSPATIAL
    • Bast H, Brosi P
      Sparse Map-Matching in Public Transit Networks with Turn Restrictions
      2018 SIGSPATIAL
    • Matthias Althoff, Stanley Bak, Xin Chen, Chuchu Fan, Marcelo Forets, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Rajarshi Ray, Christian Schilling, Stefan Schupp
      ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics
      2018
    • Bast H, Schnelle N
      Efficient and Convenient SPARQL+Text Search: A Quick Survey
      2018 Reasoning Web International Summer School 2018 Springer, Cham, Seiten: 26 - 34
    • Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
      Detecting and Resolving Security Violations in Reconfigurable Scan Networks
      2018 IEEE International Symposium on On-Line Testing and Robust System Design
    • Ahmed Atteya, Michael Kochte, Matthias Sauer, Pascal Raiola, Bernd Becker, Hans-Joachim Wunderlich
      Online Prevention of Security Violations in Reconfigurable Scan Networks
      2018 IEEE European Test Symposium
    • Johanna Sepulveda, Damian Aboul-Hassan, Georg Sigl, Bernd Becker, Matthias Sauer
      Towards the Formal Verification of Security Properties of a Network-on-Chip Router
      2018 IEEE European Test Symposium
    • Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
      Efficient Generation of Parametric Test Conditions for AMS Chips with an Interval Constraint Solver
      2018 IEEE VLSI Test Symposium (VTS'18)
    • Linus Feiten, Karsten Scheibler, Bernd Becker, Matthias Sauer
      Using different LUT paths to increase area efficiency of RO-PUFs on Altera FPGAs
      2018 TRUDEVICE Workshop, Dresden
    • Felix Neubauer, Jan Burchard, Pascal Raiola, Jochen Rivoir, Bernd Becker, Matthias Sauer
      High-Coverage AMS Test Space Optimization by Efficient Parametric Test Condition Generation
      2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Uwe Wagschal, Thomas Metz, Thomas Waldvogel, Bernd Becker, Linus Feiten, Samuel Weishaupt
      Online real-time-response measurement in real life settings: the Debat-O-Meter
      2018 Cologne 20th General Online Research Conference (GOR)
    • Pawel Gawrychowski, Fabian Kuhn, Jakub Lopuszanski, Konstantinos Panagiotou, Pascal Su
      Labeling Schemes for Nearest Common Ancestors through Minor-Universal Trees
      2018 29th ACM-SIAM Symposium on Discrete Algorithms (SODA) , Seiten: 2604 - 2619
    • Bast H, Azar Y, Herman G
      26st European Symposium on Algorithms - LIPIcs
      , Band: 112, 2018
    • Christian Zimmermann,, T. Welschehold,, C. Dornhege,, W. Burgard,, Thomas Brox
      3D Human Pose Estimation in RGBD Images for Robotic Task Learning
      2018
       
      PDF-Datei herunterladen
    • Bast H, Buchhold B, Haussmann E
      A Quality Evaluation of Combined Search on a Knowledge Base and Text
      2018 Springer, Seiten: 19 - 26

       
      PDF-Datei herunterladen
    • Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk Topcu, Joost-Pieter Kaoten, Becker B
      Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext
      2018 GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
    • Ralf Wimmer, Karina Wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits Using Dependency Quantified Boolean Formulas
      In: Advanced Logic Synthesis
      2018, Springer International Publishing, André Inácio Reis, Rolf Drechsler, Seiten: 151 - 168, André Inácio Reis, Rolf Drechsler, ISBN: 978-3-319-67294-6
    • Ralf Wimmer, Karina wimmer, Christoph Scholl, Bernd Becker
      Analysis of Incomplete Circuits using Dependency Quantified Boolean Formulas
      In: Advanced Logic Synthesis
      2018, Springer, André Ignacio Reis and Rolf Drechsler, Seiten: 151 - 168, André Ignacio Reis and Rolf Drechsler, ISBN: 978-3-319-67294-6
    • Manuel Ruder, Alexey, Dosovitskiy, Thomas Brox
      Artistic style transfer for videos and spherical images
      2018 Int J Comput Vision
    • J. Peter,, L. Schumacher,, V.Landerer,, Ahmed Abdulkadir,, C.Kaller,, J. Lahr,, S. Kloeppel
      Biological Factors Contributing to the Response to Cognitive Training in Mild Cognitive Impairment
      2018 J Alzheimers Dis, Band: 61, Nummer: 1, Seiten: 333 - 345
    • Jonas Uhrig,, E. Rehder,, B. Fröhlich,, U. Franke,, Thomas Brox
      Box2Pix: Single-Shot Instance Segmentation by Assigning Pixels to Object Boxes
      2018
    • J. De Fauw,, J. Ledsam,, B. Romera-Paredes,, S. Nikolov,, N. Tomasev,, S. Blackwell,, H. Askham,, X. Glorot,, B. O’Donoghue,, D. Visentin,, G. van den Driessche,, B. Lakshminarayanan,, C. Meyer,, F. Mackinder,, S. Bouton,, K. Ayoub,, R. Chopra,, D. King,, A. Karthikesalingam,, C. Hughes,, R. Raine,, J. Hughes,, D. Sim,, C. Egan,, A. Tufail,, H. Montgomery,, D. Hassabis,, G. Rees,, T. Back,, P. Khaw,, M. Suleyman,, J. Cornebise,, P. Keane,, Olaf Ronneberger
      Clinically applicable deep learning for diagnosis and referral in retinal disease
      2018 Nat Med, Band: 24, Nummer: 9, Seiten: 1342 - 1350

       
      Datei herunterladen
    • Daniel Kuhner, Johannes Aldinger, Felix Burget, Moritz Göbelbecker, Wolfram Burgard, Bernhard Nebel
      Closed-Loop Robot Task Planning Based on Referring Expressions
      2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, Madrid 2018 Proc. of IEEE/RSJ International Conference on Intelligent Robots and Systems
    • Tobias Seufert, Christoph Scholl
      Combining PDR and Reverse PDR for Hardware Model Checking
      2018 Conference on Design, Automation and Test in Europe (DATE)
    • Jan Wülfing, Sreedhar Saseendran Kumar, Joschka Boedecker, Martin Riedmiller, Ulrich Egert
      Controlling Biological Neural Networks with Deep Reinforcement Learning
      2018 European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning
       
      PDF-Datei herunterladen
    • L. Minkova,, S. Gregory,, R. Scahill,, Ahmed Abdulkadir,, C. Kaller,, J. Peter,, J. Long,, J. Stout,, R. Reilmann,, R. Roos, A. Durr, B. Leavit, S. Tabrizi, S. Kloeppel
      Cross-sectional and longitudinal voxel-based grey matter asymmetries in Huntingtons disease
      2018 Neuroimage, Band: 17, Seiten: 312 - 324
    • Gabriel Leivas Oliveira,, W. Burgard,, Thomas Brox
      DPDB-Net: Exploiting Dense Connections for Convolutional Encoders
      2018 IEEE
       
      Datei herunterladen
    • A. Middleton,, C. Dal Bosco,, P. Chlap,, Robert Bensch,, H. Harz,, F. Ren,, S. Bergmann,, S. Wend,, W. Weber,, K. Hayashi,, M. Zurbriggen,, R. Uhl,, Olaf Ronneberger,, K. Palme,, C. Fleck,, A. Dovzhenko
      Data-Driven Modeling of Intracellular Auxin Fluxes Indicates a Dominant Role of the ER in Controlling Nuclear Auxin Uptake
      2018 Cell Rep, Band: 22, Nummer: 11, Seiten: 3044 - 3057
    • Christoph Scholl, Ralf Wimmer
      Dependency Quantified Boolean Formulas: An Overview of Solution Methods and Applications
      2018 13th International Conference on Theory and Applications of Satisfiability Testing (SAT), Springer-Verlag, Nummer: 10929, Seiten: 3 - 16
    • Pascal Raiola, Michael A. Kochte, Ahmed Atteya, Laura Rodríguez Gómez, Hans-Joachim Wunderlich, Bernd Becker, Matthias Sauer
      Design of Reconfigurable Scan Networks for Secure Data Transmission
      2018 GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”
    • Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Jara Uitto
      Deterministic Distributed Edge-Coloring with Fewer Colors
      2018 ACM Symposium on Theory of Computing (STOC) 2018.
    • Fabian Kuhn, Yannic Maus, Simon Weidner
      Deterministic Distributed Ruling Sets of Line Graphs
      2018 Int. Coll. on Structural Information and Communication Complexity (SIROCCO)
    • Mohamad Ahmadi, Fabian Kuhn, Rotem Oshman
      Distributed Approximate Maximum Matching in the CONGEST Model
      2018 32th Int. Symp. on Distributed Computing (DISC), New Orleans, USA
    • Tobias Paxian, Sven Reimer, Bernd Becker
      Dynamic Polynomial Watchdog Encoding for Solving Weighted MaxSAT
      2018 International Conference on Theory and Applications of Satisfiability Testing, Springer, Band: 10929, Seiten: 37 - 53
    • Maria Hügle, Simon Heller, Manuel Watter, Manuel Blum, Farrokh Manzouri, Matthias Dümpelmann, Andreas Schulze-Bonhage, Peter Woias, Joschka Boedecker
      Early Seizure Detection with an Energy-Efficient Convolutional Neural Network on an Implantable Microcontroller
      2018 International Joint Conference on Neural Networks
    • Kaiser, A.
      Estudios de género y producción del género por las neurociencias.
      2018 In C. Mora, A. Kottow, M. Ceballos, V. Osses (Eds.), Investigación, Políticas y Programas de Género., Seiten: 37 - 50
    • Bryant, K., Grossi, G., Kaiser, A. (accepted)
      Feminist Interventions on the Sex/Gender Question in Broca’s Area.
      2018 The Scholar & Feminist Online; published by the Barnard Center for research on women.
    • Mohsen Ghaffari, Fabian Kuhn, Yannic Maus, Juho Hirvonen
      Improved Distributed Delta-Coloring
      2018 ACM Symposium on Principles of Distributed Computing (PODC)
    • Yuliya Butkova, Ralf Wimmer, Holger Hermanns
      Markov Automata on Discount!
      2018 19. International GI/ITG Conference on Measurement, Modelling and Evaluation of Computing Systems (MMB), Reinhard German et al., Band: 10740
    • Fine, C., Jordan-Young, B., Kaiser, A., & Rippon, G. (accepted, translated from “Plasticity, plasticity, plasticity … (2013)).
      Plasticidad, plasticidad, plasticidad… y la rigidez del problema del sexo.
      2018 The Scholar & Feminist Online; published by the Barnard Center for research on women
    • S. Klöppel,, M. Kotschi,, J. Peter,, K. Egger,, L. Hausner,, L. Frölich,, A. Förster,, B.Heimbach,, C. Normann,, W. Vach,, H. Urbach,, Ahmed Abdulkadir
      Separating Symptomatic Alzheimers Disease from Depression based on Structural MRI
      2018 J Alzheimers Dis, Band: 63, Nummer: 1
    • , Artemij Amiranashvili,, A. Dosovitskiy,, V. Koltun,, Thomas Brox
      TD or not TD: Analyzing the Role of Temporal Differencing in Deep Reinforcement Learning
      2018
    • Maxim Tatarchenko, J. Park, V., Koltun, Q. Zhou
      Tangent Convolutions for Dense Prediction in 3D
      2018 IEEE
    • Lindauer M, Rijn J, Kotthoff L
      The Algorithm Selection Competition Series 2015-17
      2018 arXiv, Band: 1805.01214
    • Nikolaus Mayer,, Eddy Ilg,, Philipp Fischer,, C. Hazirbas,, D. Cremers,, Alexey, Dosovitskiy,, Thomas Brox
      What Makes Good Synthetic Training Data for Learning Disparity and Optical Flow Estimation?
      2018 Int J Comput Vision
    • Kaiser A.
      Wie sich Geschlechtlichkeit in den Neurowissenschaften manifestiert und wie Geschlecht in das Gehirn kommt. Kritische Überlegungen.
      2018 In M. Koreuber, & B. Assmann (Eds.), Das Geschlecht in der Biologie. Aufforderung zu einem Perspektivwechsel. (Series Schriften zur interdisziplinären Frauen- und Geschlechterforschung), Band: 12, Seiten: 133 - 150
    Credits: SILK Icons by http://www.famfamfam.com/lab/icons/silk/
    Benutzerspezifische Werkzeuge