Konferenzbeitrag (12617)

98181.
Konferenzbeitrag
Bereg, S.; Fleszar, K.; Kindermann, P.; Pupyrev, S.; Spoerhase, J.; Wolff, A.: Colored Non-crossing Euclidean Steiner Forest. In: Algorithms and Computation, S. 429 - 441 (Hg. Elbassioni, K.; Makino, K.). 26th International Symposium on Algorithms and Computation, Nagoya, Japan, 09. Dezember 2015 - 11. Dezember 2015. Springer, Berlin (2015)
98182.
Konferenzbeitrag
Berlind, C.; Urner, R.: Active Nearest Neighbors in Changing Environments. In: Proceedings of the 32nd International Conference on Machine Learning, S. 1870 - 1879 (Hg. Bach, F.; Blei, D.). 32nd International Conference on Machine Learning (ICML 2015), Lille, 06. Juli 2015 - 11. Juli 2015. JMLR.org (2015)
98183.
Konferenzbeitrag
Bernert, M.; Reimold, F.; Dux, R.; Eich, T.; Glöggler, S.; Kallenbach, A.; Lipschultz, B.; Wischmeier, M.; EUROfusion MST1 Team; ASDEX Upgrade Team, Max Planck Institute for Plasma Physics, Max Planck Society: High radiation scenarios with radiation inside the confined region at ASDEX Upgrade. In: 42nd EPS Conference on Plasma Physics, P1.135 (Hg. Bingham, R.; Suttrop, W.; Atzeni, S.; Foest, R.; McClements, K. et al.). 42nd EPS Conference on Plasma Physics, Lisbon, 22. Juni 2015 - 26. Juni 2015. European Physical Society, Geneva (2015)
98184.
Konferenzbeitrag
Bernhardt, D.; Becker, A.; Grieser, M.; Hahn, M.; Krantz, C.; Lestinsky, M.; Novotny, O.; Repnow, R.; Spruck, K.; Savin, D. W. et al.; Wolf, A.; Mueller, A.; Schippers, S.: Simultaneous measurement of photorecombination and electron-impact ionization of Fe14+ ions. XXIX INTERNATIONAL CONFERENCE ON PHOTONIC, ELECTRONIC, AND ATOMIC COLLISIONS (ICPEAC2015), PTS 1-12. Journal of Physics: Conference Series 635, 052002, (2015)
98185.
Konferenzbeitrag
Bertrand, P.; Lenzen, C.: The 1-2-3-Toolkit for Building Your Own Balls-into-Bins Algorithm. In: Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments, S. 44 - 54 (Hg. Brandes, U.; Eppstein, D.). Seventeenth Workshop on Algorithm Engineering and Experiments, San Diego, CA, USA, 05. Januar 2015. SIAM, Philadelphia, PA (2015)
98186.
Konferenzbeitrag
Beurskens, M. N. A.; Dunne, M. G.; Frassinetti, L.; Bernert, M.; Cavedon, M.; Fischer, R.; Järvinen, A.; Kallenbach, A.; Laggner, F. M.; McDermott, R. et al.; Tardini, G.; Viezzer, E.; Wolfrum, E.; ASDEX Upgrade Team, Max Planck Institute for Plasma Physics, Max Planck Society; EUROfusion MST1 Team: The role of carbon on the H mode confinement in ASDEX Upgrade with a metal wal. In: 42nd EPS Conference on Plasma Physics, P1.102 (Hg. Bingham, R.; Suttrop, W.; Atzeni, S.; Foest, R.; McClements, K. et al.). 42nd EPS Conference on Plasma Physics, Lisbon, 22. Juni 2015 - 26. Juni 2015. European Physical Society, Geneva (2015)
98187.
Konferenzbeitrag
Bhatotia, P.; Fonseca, P.; Acar, U.; Brandenburg, B.; Rodrigues, R.: iThreads: A Threading Library for Parallel Incremental Computation. In: ASPLOS XX, S. 645 - 659. Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, Instanbul, Turkey, 14. März 2015 - 18. März 2015. ACM, New York, NY (2015)
98188.
Konferenzbeitrag
Bhattacharya, A.; Issac, D.; Jaiswal, R.; Kumar, A.: Sampling in Space Restricted Settings. In: Computing and Combinatorics, S. 483 - 494 (Hg. Dachuan, X.; Du, D.; Du, D.). 21st International Conference on Computing and Combinatorics, Beijing, China, 04. August 2015 - 06. August 2015. Springer, Berlin (2015)
98189.
Konferenzbeitrag
Bhattacharya, S.; Henzinger, M.; Nanongkai, D.; Tsourakakis, C. E.: Space- and Time-Efficient Algorithm for Maintaining Dense Subgraphs on One-Pass Dynamic Streams. In: STOC '15, S. 173 - 182 (Hg. Servedio, R. A.; Rubinfeld, R.). Forty-Seventh Annual ACM Symposium on Theory of Computing, Portland, OR, USA, 14. Juni 2015 - 17. Juni 2015. ACM (2015)
98190.
Konferenzbeitrag
Bhattacharya, S.; Hoefer, M.; Huang, C.-C.; Kavitha, T.; Wagner, L.: Maintaining Near-popular Matchings. In: Automata, Languages, and Programming, S. 504 - 515 (Hg. Halldórsson, M. M.; Iwama, K.; Kobayashi, N.; Speckmann, B.). 42nd International Colloquium on Automata, Languages, and Programming, Kyoto, Japan, 06. Juli 2015 - 10. Juli 2015. Springer, Berlin (2015)
98191.
Konferenzbeitrag
Bishnu, A.; Desai, S.; Ghosh, A.; Goswami, M.; Paul, S.: Uniformity of Point Samples in Metric Spaces Using Gap Ratio. In: Theory and Applications of Models of Computation, S. 347 - 358 (Hg. Jain, R.; Jain, S.; Stephan, F.). 12th Annual Conference on Theory and Applications of Models of Computation, Singapore, 18. Mai 2015 - 20. Mai 2015. Springer, Berlin (2015)
98192.
Konferenzbeitrag
Blanchette, J. C.; Haslbeck, M.; Matichuk, D.; Nipkow, T.: Mining the Archive of Formal Proofs. In: Intelligent Computer Mathematics, S. 3 - 17 (Hg. Kerber, M.; Carette, J.; Kaliszyk, C.; Rabe, F.; Sorge, V.). International Conference on Intelligent Computer Mathematics, Washington, DC, USA, 13. Juli 2015 - 17. Juli 2015. Springer, Berlin (2015)
98193.
Konferenzbeitrag
Blanchette, J. C.; Popescu, A.; Traytel, D.: Witnessing (Co)datatypes. In: Programming Languages and Systems, S. 359 - 382 (Hg. Vitek, J.). 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
98194.
Konferenzbeitrag
Blanchette, J. C.; Popescu, A.; Traytel, D.: Foundational Extensible Corecursion: A Proof Assistant Perspective. In: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, S. 192 - 204. 20th ACM SIGPLAN International Conference on Functional Programming, Vancouver, BC, Canada, 01. September 2015 - 03. September 2015. ACM, New York, NY (2015)
98195.
Konferenzbeitrag
Blätke, M. A.; Rohr, C.: A coloured Petri net approach for spatial Biomodel Engineering based on the modular model composition framework Biomodelkit. In: Proceedings of the 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Bd. 1373, S. 37 - 54. 6th International Workshop on Biological Processes & Petri Nets co-located with 36th International Conference on Application and Theory of Petri Nets and Concurreny (PETRI NETS 2015), Brussels, Belgium, 21. Juni 2015 - 26. Juni 2015. (2015)
98196.
Konferenzbeitrag
Bock, C.; Bortolussi, L.; Krüger, T.; Mikeev, L.; Wolf, V.: Model-based Whole-genome Analysis of DNA Methylation Fidelity. In: Hybrid Systems Biology, S. 141 - 155 (Hg. Abate, A.; Šafránek , D.). 4th International Workshop on Hybrid Systems Biology, Madrid, Spain, 04. September 2015 - 05. September 2015. Springer, Berlin (2015)
98197.
Konferenzbeitrag
Bogomolov, A. V.; Classen, I. G. J.; Donne, A. J. H.; Meyer, H.; Dunne, M.; Schneider, P. A.; Wolfrum, E.; Vanovac, B.; Fischer, R.; Frassinetti, L. et al.; Luhmann Jr., N. C.; ASDEX Upgrade Team, Max Planck Institute for Plasma Physics, Max Planck Society; EUROfusion MST1 Team: The effect of nitrogen seeding on ELM filaments. In: 42nd EPS Conference on Plasma Physics, P2.112 (Hg. Bingham, R.; Suttrop, W.; Atzeni, S.; Foest, R.; McClements, K. et al.). 42nd EPS Conference on Plasma Physics, Lisbon, 22. Juni 2015 - 26. Juni 2015. European Physical Society, Geneva (2015)
98198.
Konferenzbeitrag
Boissonnat, J.-D.; Dyer, R.; Ghosh, A.: A Probabilistic Approach to Reducing Algebraic Complexity of Delaunay Triangulations. In: Algorithms -- ESA 2015, S. 595 - 606 (Hg. Bansal, N.; Finocchi, I.). 23rd Annual European Symposium on Algorithms, Patras, Greece, 14. September 2015 - 16. September 2015. Springer, Berlin (2015)
98199.
Konferenzbeitrag
Bomme, C.; Anielski, D.; Savelyev, E.; Boll, R.; Erk, B.; Bari, S.; Viefhaus, J.; Stener, M.; Decleva, P.; Rolles, D.: Diffraction effects in the Recoil-Frame Photoelectron Angular Distributions of Halomethanes. XXIX INTERNATIONAL CONFERENCE ON PHOTONIC, ELECTRONIC, AND ATOMIC COLLISIONS (ICPEAC2015), PTS 1-12. Journal of Physics: Conference Series 635, 112020, (2015)
98200.
Konferenzbeitrag
Borovik Jr., A.; Schury, D.; Ebinger, B.; Spruck, K.; Becker, A.; Gharaibeh, M. F.; Rausch, J.; Schippers, S.; Mueller, A.: Electron-impact ionization of tungsten ions. XXIX INTERNATIONAL CONFERENCE ON PHOTONIC, ELECTRONIC, AND ATOMIC COLLISIONS (ICPEAC2015), PTS 1-12. Journal of Physics: Conference Series 635, 052040, (2015)
Zur Redakteursansicht