Published in: LIPIcs, Volume 258, 39th International Symposium on Computational Geometry (SoCG 2023)
Richard Berger, Vincent Ha, David Kratz, Michael Lin, Jeremy Moyer, and Christopher J. Tralie. Godzilla Onions: A Skit and Applet to Explain Euclidean Half-Plane Fractional Cascading (Media Exposition). In 39th International Symposium on Computational Geometry (SoCG 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 258, pp. 62:1-62:3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{berger_et_al:LIPIcs.SoCG.2023.62, author = {Berger, Richard and Ha, Vincent and Kratz, David and Lin, Michael and Moyer, Jeremy and Tralie, Christopher J.}, title = {{Godzilla Onions: A Skit and Applet to Explain Euclidean Half-Plane Fractional Cascading}}, booktitle = {39th International Symposium on Computational Geometry (SoCG 2023)}, pages = {62:1--62:3}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-273-0}, ISSN = {1868-8969}, year = {2023}, volume = {258}, editor = {Chambers, Erin W. and Gudmundsson, Joachim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SoCG.2023.62}, URN = {urn:nbn:de:0030-drops-179129}, doi = {10.4230/LIPIcs.SoCG.2023.62}, annote = {Keywords: convex hulls, onions, fractional cascading, visualization, d3} }
Published in: OASIcs, Volume 80, 2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020)
Eder Ollora Zaballa, David Franco, Marina Aguado, and Michael Stübert Berger. Next-Generation SDN and Fog Computing: A New Paradigm for SDN-Based Edge Computing. In 2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020). Open Access Series in Informatics (OASIcs), Volume 80, pp. 9:1-9:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{ollorazaballa_et_al:OASIcs.Fog-IoT.2020.9, author = {Ollora Zaballa, Eder and Franco, David and Aguado, Marina and Berger, Michael St\"{u}bert}, title = {{Next-Generation SDN and Fog Computing: A New Paradigm for SDN-Based Edge Computing}}, booktitle = {2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020)}, pages = {9:1--9:8}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-144-3}, ISSN = {2190-6807}, year = {2020}, volume = {80}, editor = {Cervin, Anton and Yang, Yang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Fog-IoT.2020.9}, URN = {urn:nbn:de:0030-drops-120033}, doi = {10.4230/OASIcs.Fog-IoT.2020.9}, annote = {Keywords: SDN, P4, P4Runtime, control planes, Fog, Edge} }
Published in: OASIcs, Volume 80, 2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020)
Zifan Zhou, Eder Ollora Zaballa, Michael Stübert Berger, and Ying Yan. Detection of Fog Network Data Telemetry Using Data Plane Programming. In 2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020). Open Access Series in Informatics (OASIcs), Volume 80, pp. 12:1-12:11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{zhou_et_al:OASIcs.Fog-IoT.2020.12, author = {Zhou, Zifan and Ollora Zaballa, Eder and Berger, Michael St\"{u}bert and Yan, Ying}, title = {{Detection of Fog Network Data Telemetry Using Data Plane Programming}}, booktitle = {2nd Workshop on Fog Computing and the IoT (Fog-IoT 2020)}, pages = {12:1--12:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-144-3}, ISSN = {2190-6807}, year = {2020}, volume = {80}, editor = {Cervin, Anton and Yang, Yang}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.Fog-IoT.2020.12}, URN = {urn:nbn:de:0030-drops-120062}, doi = {10.4230/OASIcs.Fog-IoT.2020.12}, annote = {Keywords: SDN, P4, P4Runtime, control planes, Fog, Edge} }
Published in: LIPIcs, Volume 144, 27th Annual European Symposium on Algorithms (ESA 2019)
Cornelius Brand. Patching Colors with Tensors. In 27th Annual European Symposium on Algorithms (ESA 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 144, pp. 25:1-25:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@InProceedings{brand:LIPIcs.ESA.2019.25, author = {Brand, Cornelius}, title = {{Patching Colors with Tensors}}, booktitle = {27th Annual European Symposium on Algorithms (ESA 2019)}, pages = {25:1--25:16}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-124-5}, ISSN = {1868-8969}, year = {2019}, volume = {144}, editor = {Bender, Michael A. and Svensson, Ola and Herman, Grzegorz}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ESA.2019.25}, URN = {urn:nbn:de:0030-drops-111467}, doi = {10.4230/LIPIcs.ESA.2019.25}, annote = {Keywords: Color-Coding, Extensor-Coding, internal out-branching, colorful problems, algebraic algorithms, multilinear detection, deterministic algorithms, exterior algebra} }
Published in: Dagstuhl Seminar Proceedings, Volume 7462, Assisted Living Systems - Models, Architectures and Engineering Approaches (2008)
Michael Berger, Dagmar Beyer, and Stephan Prueckner. Integrated Human Behavior Modeling. In Assisted Living Systems - Models, Architectures and Engineering Approaches. Dagstuhl Seminar Proceedings, Volume 7462, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{berger_et_al:DagSemProc.07462.13, author = {Berger, Michael and Beyer, Dagmar and Prueckner, Stephan}, title = {{Integrated Human Behavior Modeling}}, booktitle = {Assisted Living Systems - Models, Architectures and Engineering Approaches}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7462}, editor = {Arthur I. Karshmer and J\"{u}rgen Nehmer and Hartmut Raffler and Gerhard Tr\"{o}ster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07462.13}, URN = {urn:nbn:de:0030-drops-14574}, doi = {10.4230/DagSemProc.07462.13}, annote = {Keywords: Human Behavior Modeling} }
Published in: Dagstuhl Seminar Proceedings, Volume 4351, Spatial Representation: Discrete vs. Continuous Computational Models (2005)
Ulrich Berger. Continuous Semantics for Termination Proofs. In Spatial Representation: Discrete vs. Continuous Computational Models. Dagstuhl Seminar Proceedings, Volume 4351, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2005)
@InProceedings{berger:DagSemProc.04351.11, author = {Berger, Ulrich}, title = {{Continuous Semantics for Termination Proofs}}, booktitle = {Spatial Representation: Discrete vs. Continuous Computational Models}, pages = {1--19}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2005}, volume = {4351}, editor = {Ralph Kopperman and Michael B. Smyth and Dieter Spreen and Julian Webster}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.04351.11}, URN = {urn:nbn:de:0030-drops-1300}, doi = {10.4230/DagSemProc.04351.11}, annote = {Keywords: Higher-order term rewriting , termination , domain theory} }
Feedback for Dagstuhl Publishing