Bericht (686)

112001.
Bericht
Nold, B.; Holzhauer, E.; MĂĽller, H. W.; Kammerloher, L.; ASDEX Upgrade Team: Electronic issues of Langmuir probe measurements on the midplane manipulator of ASDEX Upgrade. Max-Planck-Institut fĂĽr Plasmaphysik, Garching (DE) (2012), 25 S.
112002.
Bericht
Nooij, S.; Wentink, M.; de Graaf, M.; Mayrhofer, M.: Evaluation of a new way of G-cueing in Desdemona. Toegepast Natuurwetenschappelijk Onderzoek (TNO) Human Factors, Soesterberg, The Netherlands (2012)
112003.
Bericht
Smaili, H.; Field, J.; Nooij, S.; Ledegang, W.; Wentink, W.; Groen, E.; Zaichik, L.: Evaluation report of the analysis of simulator trials. Simulation of Upset Recovery in Aviation (SUPRA), EU Grant 23354 (2012)
112004.
Bericht
Wentink, M.; Nooij, S.; Zaichik, L.; Smaili, H.: Motion cueing for upset recovery simulation. Simulation of Upset Recovery in Aviation (SUPRA), EU Grant 23354 (2012)
112005.
Bericht
Berner, A.; Burghard, O.; Wand, M.; Mitra, N.; Klein, R.; Seidel, H.-P.: A Morphable Part Model for Shape Manipulation. Max-Planck-Institut fĂĽr Informatik, SaarbrĂĽcken (2011), 33 S.
112006.
Bericht
Damm, W.; Ihlemann, C.; Sofronie-Stokkermans, V.: PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata (AVACS Technical Report, 70). SFB/TR 14 AVACS (2011), 31 S.
112007.
Bericht
Damm, W.; Disch, S.; Hagemann, W.; Scholl, C.; Waldmann, U.; Wirtz, B.: Integrating Incremental Flow Pipes into a Symbolic Model Checker for Hybrid Systems (AVACS Technical Report, 76). SFB/TR 14 AVACS, SaarbrĂĽcken (2011)
112008.
Bericht
Gemulla, R.; Haas, P. J.; Nijkamp, E.; Sismanis, Y.: Large-scale Matrix Factorization with Distributed Stochastic Gradient Descent (IBM Research Report, RJ10481). IBM Research Division, San Jose, CA (2011)
112009.
Bericht
Granados, M.; Tompkin, J.; Kim, K.; Grau, O.; Kautz, J.; Theobalt, C.: How Not to Be Seen -- Inpainting Dynamic Objects in Crowded Scenes. MPI fĂĽr Informatik, SaarbrĂĽcken (2011), 35 S.
112010.
Bericht
Kim, K. I.; Kwon, Y.; Kim, J. H.; Theobalt, C.: Efficient Learning-based Image Enhancement: Application to Compression Artifact Removal and Super-resolution. Max-Planck-Institut fĂĽr Informatik, SaarbrĂĽcken (2011)
112011.
Bericht
Langovoy, M.; Wittich, O.: Multiple testing, uncertainty and realistic pictures (EURANDOM Preprint Series, 2011-004). (2011), 21 S.
112012.
Bericht
Lu, T.; Merz, S.; Weidenbach, C.: Towards Verification of the Pastry Protocol using TLA+. Max-Planck-Institut fĂĽr Informatik, SaarbrĂĽcken (2011), 51 S.
112013.
Bericht
Wentink, M.; Nooij, S.; Zaichik, L.; Smaili, H.: Optimized Motion Driving Algorithms in Matlab/Simulink (Simulation of Upset Recovery in Aviation (SUPRA), EU Grant 233543, SUPRA Report 5.2). (2011)
112014.
Bericht
Langovoy, M.; Wittich, O.: Computationally efficient algorithms for statistical image processing: Implementation in R (Eurandom Preprint Series, 2010-053). EURANDOM, Eindhoven, The Netherlands (2010), 24 S.
112015.
Bericht
Langovoy, M.; Wittich, O.: Robust nonparametric detection of objects in noisy images (Eurandom Preprint Series, 2010-049). EURANDOM, Eindhoven, The Netherlands (2010), 21 S.
112016.
Bericht
Althaus, E.; Altmeyer, S.; Naujoks, R.: A New Combinatorial Approach to Parametric Path Analysis (AVACS Technical Report, 58). SFB/TR 14 AVACS (2010), 33 S.
112017.
Bericht
Das Sarma, A.; Theobald, M.; Widom, J.: LIVE: A Lineage-Supported Versioned DBMS. Standford University, Standford (2010), 13 S.
112018.
Bericht
Huang, C.-C.; Kavitha, T.: Maximum Cardinality Popular Matchings in Strict Two-sided Preference Lists. Max-Planck-Institut fĂĽr Informatik, SaarbrĂĽcken (2010), 17 S.
112019.
Bericht
Valgaerts, L.; Bruhn, A.; Mainberger, M.; Weickert, J.: Dense versus Sparse Approaches for Estimating the Fundamental Matrix. FR 6.1 – Mathematik, Universität des Saarlandes, Saarbrücken (2010)
112020.
Bericht
Langovoy, M.; Wittich, O.: Detection of objects in noisy images and site percolation on square lattices (EURANDOM Reports, 2009-035). (2009), 14 S.
Zur Redakteursansicht