Bericht (691)

115781.
Bericht
Althaus, E.; Beber, B.; Damm, W.; Disch, S.; Hagemann, W.; Rakow, A.; Scholl, C.; Waldmann, U.; Wirtz, B.: Verification of Linear Hybrid Systems with Large Discrete State Spaces: Exploring the Design Space for Optimization (AVACS Technical Report, 103). SFB/TR 14 AVACS (2016), 93 S.
115782.
Bericht
Chen, J.-J.; Nelissen, G.; Huang, W.-H.; Yang, M.; Brandenburg, B.; Bletsas, K.; Liu, C.; Richard, P.; Ridouard, F.; Audsley, N. et al.; Rajkumar, R.; de Niz, D.: Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems (Technical Reports in Computer Science, 854). Technische Universität Dortmund, Dortmund (2016), 60 S.
115783.
Bericht
D'Isa, F. A.; Carralero, D.; Lunt, T.; ASDEX Upgrade Team, Max Planck Institute for Plasma Physics, Max Planck Society: Evolution of the SOL plasma background at density shoulder formation. Max-Planck-Institut für Plasmaphysik, Garching (2016), 75 S.
115784.
Bericht
Fruth, B. I.; Hickey, J. R.; André, C.; Furuichi, T.; Hart, J.; Hart, T.; Kühl, H. S.; Maisels, F.; Nackoney, J.; Reinartz, G. et al.; Sop, T.; Thompson, J.; Williamson, E. A.: Pan paniscus. (2016)
115785.
Bericht
McLoughlin, P. D.; Stewart, K. M.; Superbie, C.; Perry, T.; Tomchuk, P.; Greuel, R.; Singh, K.; Truchon-Savard, A.; Henkelman, J.; Johnstone, a. J. F.: Population dynamics and critical habitat of woodland caribou in the Saskatchewan Boreal Shield. (2016), 162 S.
115786.
Bericht
Saitoh, H.; Horn-Stanja, J.; Stenson, E.; Hergenhahn, U.; Pedersen, T. S.; Stoneking, M. R.: A note on levitation techniques toward construction of a superconducting levitated dipole experiment. Max-Planck-Institut für Plasmaphysik, Garching (2016), 15 S.
115787.
Bericht
Sridhar, S.; Bailly, G.; Heydrich, E.; Oulasvirta, A.; Theobalt, C.: FullHand: Markerless Skeleton-based Tracking for Free-Hand Interaction. Max-Planck-Institut für Informatik, Saarbrücken (2016), 11 S.
115788.
Bericht
Schmidt, R. A.; Waldmann, U.: Modal Tableau Systems with Blocking and Congruence Closure. University of Manchester, Manchester (2015), 22 S.
115789.
Bericht
Deutsches Klimakonsortium: Perspektiven für die Klimaforschung 2015 bis 2025: Positionspapier. DKK, Berlin (2015), 41 S.
115790.
Bericht
Alghabban, A.; Petraglia, M.D.; Alsharekh, A.; Breeze, P.; Groucutt, H. S.; Guagnin, M.; Stimpson, C.; White, T.; Almari, A.; Alkhalifa, K.: Preliminary archaeological investigations at the Al Magar site: report prepared for the Saudi Commission for Tourism and National Heritage May, 2015. Saudi Commission for Tourism and National Heritage, Riad (2015), 48 S.
115791.
Bericht
Barz, M.; Bulling, A.; Daiber, F.: Computational Modelling and Prediction of Gaze Estimation Error for Head-mounted Eye Trackers. DFKI, Saarbrücken (2015), 10 S.
115792.
Bericht
Ciba, S.; Brinkmann, F.; Lindau, A.: WhisPER v1.9.0. user documentation. Technische Universität Berlin, Berlin (2015)
115793.
Bericht
Damm, W.; Horbach, M.; Sofronie-Stokkermans, V.: Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata (AVACS Technical Report, 111). SFB/TR 14 AVACS (2015), 52 S.
115794.
Bericht
Holtfrerich, C.-L.; Feld, L. P.; Heun, W.; Illing, G.; Kirchgässner, G.; Kocka, J.; Schularick, M.; Streeck, W.; Wagschal, U.; Walter, S. et al.; von Weizsäcker, C. C.: Staatsschulden: Ursachen, Wirkungen und Grenzen. Berlin (2015), 90 S.
115795.
Bericht
Hörnle, T.: Menschenrechtliche Verpflichtungen aus der Istanbul-Konvention: Ein Gutachten zur Reform des § 177 StGB ; erstellt für das Deutsche Institut für Menschenrechte. Deutsches Institut für Menschenrechte, Berlin (2015), 27 S.
115796.
Bericht
Kardaun, O.; Schaafsma, W.: Exactly optimal q-values for Student problems. Max-Planck-Institut für Plasmaphysik, Garching (2015), 33 S.
115797.
Bericht
Lander, C.; Gehring, S.; Krüger, A.; Boring, S.; Bulling, A.: GazeProjector: Location-independent Gaze Interaction on and Across Multiple Displays. DFKI, Saarbrücken (2015), 10 S.
115798.
Bericht
Lindau, A.: Spatial audio quality inventory (SAQI): Test manual. v1.2. Technische Universität Berlin, Berlin (2015)
115799.
Bericht
Meyer-Spasche, R.; Nossum, R. T.: Oscar Buneman (1913-1993), Persecutions and Patronages: a Case Study of Political Impact on Research. Max-Planck-Institut für Plasmaphysik, Garching (2015), 29 S.
115800.
Bericht
Benner, P.; Mena, H.; Schneider, R.: Drugs, Herbicides, and Numerical Simulation (Snapshots of modern mathematics from Oberwolfach, 10). (2014), 9 S.
Zur Redakteursansicht