Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

3-SAT on CUDA: Towards a massively parallel SAT solver.

Q. Meyer, F. Schönfeld, M. Stamminger, und R. Wanka. HPCS, Seite 306-313. IEEE, (2010)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Dominic Marcello

Marc Gauger University of Stuttgart

Marc Schneider University of Stuttgart

Marc Bresser University of Stuttgart

Dipl.-Ing. Marc Riedlinger

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)

An adaptive self-managing platform for cabin management systemsM. Riedlinger, O. Marquardt, R. Ahmadi, und R. Reichel. CEAS Aeronautical Journal, 7 (3): 483--498 (2016)DIANA - Technologien für eine Energie-autarke, intelligente Kabine: Selbstadaptive Kabinenelektronik Plattform : Schlussbericht :M. Riedlinger, und R. Reichel. (2015)An adaptive middleware approach for fault-tolerant avionic systemsO. Marquardt, M. Riedlinger, R. Ahmadi, und R. Reichel. 2015 IEEE Aerospace Conference, Institute of Electrical and Electronics Engineers (IEEE), (März 2015)

Weitere Publikationen von Autoren mit dem selben Namen

On Floating-Point Normal Vectors.Q. Meyer, J. Süßmuth, G. Sußner, M. Stamminger, und G. Greiner. Comput. Graph. Forum, 29 (4): 1405-1409 (2010)Interactive Visualization of Complex Plant Ecosystems.O. Deussen, C. Colditz, M. Stamminger, und G. Drettakis. IEEE Visualization, Seite 219-226. (2002)Automatic reconstruction of personalized avatars from 3D face scans.M. Zollhöfer, M. Martinek, G. Greiner, M. Stamminger, und J. Süßmuth. Journal of Visualization and Computer Animation, 22 (2-3): 195-202 (2011)Interactive Point-based Modeling of Complex Objects from Images.P. Poulin, M. Stamminger, F. Duranleau, M. Frasson, und G. Drettakis. Graphics Interface, Seite 11-20. (2003)Reliable Adaptive Modelling of Vascular Structures with Non-Circular Cross-Sections.J. Kretschmer, T. Beck, C. Tietjen, B. Preim, und M. Stamminger. Comput. Graph. Forum, 31 (3): 1055-1064 (2012)FaceVR: Real-Time Gaze-Aware Facial Reenactment in Virtual Reality.J. Thies, M. Zollhöfer, M. Stamminger, C. Theobalt, und M. Nießner. ACM Trans. Graph., 37 (2): 25:1-25:15 (2018)Real-time expression transfer for facial reenactment.J. Thies, M. Zollhöfer, M. Nießner, L. Valgaerts, M. Stamminger, und C. Theobalt. ACM Trans. Graph., 34 (6): 183:1-183:14 (2015)Phase-based gesture motion parametrization and transitions for conversational agents with MPML3D.K. Brügmann, H. Dohrn, H. Prendinger, M. Stamminger, und M. Ishizuka. INTETAIN, Seite 10. ICST/ACM, (2008)Enhanced Automatic Creation of Multi-Purpose Object Hierarchies.J. Haber, M. Stamminger, und H. Seidel. Pacific Conference on Computer Graphics and Applications, Seite 52-61. IEEE Computer Society, (2000)3-SAT on CUDA: Towards a massively parallel SAT solver.Q. Meyer, F. Schönfeld, M. Stamminger, und R. Wanka. HPCS, Seite 306-313. IEEE, (2010)