Konferenzbeitrag (12617)
98181.
Konferenzbeitrag
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
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
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
635, 052002, (2015)
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 98185.
Konferenzbeitrag
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
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
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
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
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
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
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
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
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
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
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)
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. 98196.
Konferenzbeitrag
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
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
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
635, 112020, (2015)
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 98200.
Konferenzbeitrag
635, 052040, (2015)
Electron-impact ionization of tungsten ions. XXIX INTERNATIONAL CONFERENCE ON PHOTONIC, ELECTRONIC, AND ATOMIC COLLISIONS (ICPEAC2015), PTS 1-12. Journal of Physics: Conference Series