Search dblp for Publications

export results for "toc:db/journals/ascom/ascom25.bht:"

 download as .bib file

@article{DBLP:journals/ascom/AbrahamyanMPMG18,
  author       = {Hayk V. Abrahamyan and
                  Areg M. Mickaelian and
                  Gurgen M. Paronyan and
                  Gor A. Mikayelyan and
                  Marietta V. Gyulzadyan},
  title        = {Radio variable sources at 1400 MHz and their optical variability},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {176--182},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.012},
  doi          = {10.1016/J.ASCOM.2018.09.012},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/AbrahamyanMPMG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/ArayaODPVVS18,
  author       = {Mauricio Araya and
                  Maximiliano Osorio and
                  Mat{\'{\i}}as D{\'{\i}}az and
                  Carlos Ponce and
                  Mart{\'{\i}}n Villanueva and
                  Camilo Valenzuela and
                  Mauricio Solar},
  title        = {{JOVIAL:} Notebook-based astronomical data analysis in the cloud},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {110--117},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.001},
  doi          = {10.1016/J.ASCOM.2018.09.001},
  timestamp    = {Thu, 06 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/ArayaODPVVS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Baluev18a,
  author       = {Roman V. Baluev},
  title        = {PlanetPack3: {A} radial-velocity and transit analysis tool for exoplanets},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {221--229},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.005},
  doi          = {10.1016/J.ASCOM.2018.10.005},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Baluev18a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/CabralSRGGV18,
  author       = {Juan B. Cabral and
                  Bruno S{\'{a}}nchez and
                  Felipe Ramos and
                  Sebasti{\'{a}}n Gurovich and
                  Pablo M. Granitto and
                  Jacob VanderPlas},
  title        = {From {FATS} to feets: Further improvements to an astronomical feature
                  extraction tool based on machine learning},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {213--220},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.005},
  doi          = {10.1016/J.ASCOM.2018.09.005},
  timestamp    = {Sat, 25 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/CabralSRGGV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Creasey18,
  author       = {Peter E. Creasey},
  title        = {Tree-less 3d friends-of-friends using spatial hashing},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {159--167},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.010},
  doi          = {10.1016/J.ASCOM.2018.09.010},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Creasey18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/CzechMI18,
  author       = {Daniel Czech and
                  Amit Mishra and
                  Michael R. Inggs},
  title        = {A {CNN} and LSTM-based approach to classifying transient radio frequency
                  interference},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {52--57},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.07.002},
  doi          = {10.1016/J.ASCOM.2018.07.002},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/CzechMI18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/DorotovicCRMR18,
  author       = {Ivan Dorotovic and
                  A. Coelho and
                  J. Ryb{\'{a}}k and
                  Andr{\'{e}} Mora and
                  Rita A. Ribeiro},
  title        = {Gradient Path Labelling method and tracking method for calculation
                  of solar differential rotation using coronal bright points},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {168--175},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.008},
  doi          = {10.1016/J.ASCOM.2018.09.008},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/DorotovicCRMR18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/FariasNS18,
  author       = {Humberto Farias and
                  Camilo N{\'{u}}{\~{n}}ez and
                  Mauricio Solar},
  title        = {TensorFit a tool to analyse spectral cubes in a tensor mode},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {195--202},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.007},
  doi          = {10.1016/J.ASCOM.2018.10.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/FariasNS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/GonzalezMH18,
  author       = {Roberto E. Gonz{\'{a}}lez and
                  R. P. Mu{\~{n}}oz and
                  C. A. Hern{\'{a}}ndez},
  title        = {Galaxy detection and identification using deep learning and data augmentation},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {103--109},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.004},
  doi          = {10.1016/J.ASCOM.2018.09.004},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/GonzalezMH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/GschwendRONMCLP18,
  author       = {Julia Gschwend and
                  A. Carnero Rossel and
                  Ricardo Ogando and
                  Angelo Fausti Neto and
                  Marcio A. G. Maia and
                  Luiz Nicolaci da Costa and
                  Marcos Lima and
                  Paulo S. S. Pellegrini and
                  Riccardo Campisano and
                  C. Singulani and
                  C. Adean and
                  Christophe O. Benoist and
                  Michel Aguena and
                  Matias Carrasco Kind and
                  Tamara M. Davis and
                  J. DeVicente and
                  William G. Hartley and
                  Ben Hoyle and
                  Antonella Palmese and
                  Iftach H. Sadeh and
                  Timothy M. C. Abbott and
                  Filipe B. Abdalla and
                  Sahar Allam and
                  James Annis and
                  Jacobo Asorey and
                  David D. Brooks and
                  Josh Calcino and
                  Daniela Carollo and
                  Francisco J. Castander and
                  Chris D'Andrea and
                  Shantanu Desai and
                  August E. Evrard and
                  Pablo Fosalba and
                  Joshua A. Frieman and
                  Juan Garc{\'{\i}}a{-}Bellido and
                  Karl Glazebrook and
                  David W. Gerdes and
                  Robert A. Gruendl and
                  Gaston R. Guti{\'{e}}rrez and
                  Samuel R. Hinton and
                  Devon L. Hollowood and
                  Klaus Honscheid and
                  Janie K. Hoormann and
                  David J. James and
                  Kyler W. Kuehn and
                  Nikolay Kuropatkin and
                  Ofer Lahav and
                  Geraint F. Lewis and
                  Christopher E. Lidman and
                  Huan Lin and
                  Edward MacAulay and
                  Jennifer L. Marshall and
                  Peter Melchior and
                  Ramon Miquel and
                  Anais M{\"{o}}ller and
                  Andreas Alejandro Plazas and
                  Eusebio S{\'{a}}nchez and
                  Basillio X. Santiago and
                  Victor E. Scarpine and
                  Rafe H. Schindler and
                  Ignacio Sevilla{-}Noarbe and
                  Mathew C. Smith and
                  Natalia E. Sommer and
                  Eric Suchyta and
                  Mollye E. C. Swanson and
                  Gregory G. Tarl{\'{e}} and
                  Brad E. Tucker and
                  Douglas L. Tucker and
                  Syed Ashraf Uddin and
                  Alistair R. Walker},
  title        = {{DES} science portal: Computing photometric redshifts},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {58--80},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.008},
  doi          = {10.1016/J.ASCOM.2018.08.008},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/GschwendRONMCLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/HanWFCLMLXHLY18,
  author       = {Jun Han and
                  C. Wang and
                  Dongwei Fan and
                  Chenzhou Cui and
                  Shanshan Li and
                  Linying Mi and
                  Zhixuan Li and
                  Yunfei Xu and
                  Boliang He and
                  Changhua Li and
                  Sisi Yang},
  title        = {Amateur public observatory {I:} The observatory and hardware integration
                  system},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {89--93},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.002},
  doi          = {10.1016/J.ASCOM.2018.09.002},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/HanWFCLMLXHLY18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Hurley-WalkerH18,
  author       = {Natasha Hurley{-}Walker and
                  Paul J. Hancock},
  title        = {De-distorting ionospheric effects in the image plane},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {94--102},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.006},
  doi          = {10.1016/J.ASCOM.2018.08.006},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Hurley-WalkerH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/JeffreyHF18,
  author       = {Niall Jeffrey and
                  Alan Heavens and
                  P. D. Fortio},
  title        = {Fast sampling from Wiener posteriors for image data with dataflow
                  engines},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {230--237},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.001},
  doi          = {10.1016/J.ASCOM.2018.10.001},
  timestamp    = {Sat, 08 Jun 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/JeffreyHF18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/JiaYHHTNUT18,
  author       = {Dongbao Jia and
                  Kenta Yanagisawa and
                  Masaya Hasegawa and
                  Shigeki Hirobayashi and
                  Hideyuki Tagoshi and
                  Tatsuya Narikawa and
                  Nami Uchikata and
                  Hirotaka Takahashi},
  title        = {Time-frequency-based non-harmonic analysis to reduce line-noise impact
                  for {LIGO} observation system},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {238--246},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.003},
  doi          = {10.1016/J.ASCOM.2018.10.003},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/JiaYHHTNUT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/KuminskiS18,
  author       = {Evan Kuminski and
                  Lior Shamir},
  title        = {A hybrid approach to machine learning annotation of large galaxy image
                  databases},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {257--269},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.008},
  doi          = {10.1016/J.ASCOM.2018.10.008},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/KuminskiS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/LorenzisO18,
  author       = {Alessandro De Lorenzis and
                  Vincenzo Orofino},
  title        = {Comparison of astronomical software programs for archaeoastronomical
                  applications},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {118--132},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.006},
  doi          = {10.1016/J.ASCOM.2018.09.006},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/LorenzisO18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/MallamaH18,
  author       = {Anthony Mallama and
                  James L. Hilton},
  title        = {Computing apparent planetary magnitudes for \emph{The Astronomical
                  Almanac}},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {10--24},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.002},
  doi          = {10.1016/J.ASCOM.2018.08.002},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/MallamaH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/MelchiorG18,
  author       = {Peter Melchior and
                  Andy D. Goulding},
  title        = {Filling the gaps: Gaussian mixture models from noisy, truncated or
                  incomplete samples},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {183--194},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.013},
  doi          = {10.1016/J.ASCOM.2018.09.013},
  timestamp    = {Mon, 07 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/MelchiorG18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/MikhailovS18,
  author       = {Klim Mikhailov and
                  Alessio Sclocco},
  title        = {The Apertif Monitor for Bursts Encountered in Real-time {(AMBER)}
                  auto-tuning optimization with genetic algorithms},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {139--148},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.007},
  doi          = {10.1016/J.ASCOM.2018.09.007},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/MikhailovS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/MolenaarMGS18,
  author       = {Gijs J. Molenaar and
                  S. Makhathini and
                  Julien N. Girard and
                  Oleg M. Smirnov},
  title        = {Kliko - The scientific compute container format},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {1--9},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.003},
  doi          = {10.1016/J.ASCOM.2018.08.003},
  timestamp    = {Mon, 07 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/MolenaarMGS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/NikolicSK18,
  author       = {Bojan Nikolic and
                  Des Small and
                  Mark Kettenis},
  title        = {Minimal re-computation for exploratory data analysis in astronomy},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {133--138},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.003},
  doi          = {10.1016/J.ASCOM.2018.09.003},
  timestamp    = {Wed, 24 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ascom/NikolicSK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Ohsugi18,
  author       = {Y. Ohsugi},
  title        = {Bondi-Hoyle-Lyttleton accretion flow revisited: Numerical simulation
                  of unstable flow},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {44--51},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.005},
  doi          = {10.1016/J.ASCOM.2018.08.005},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Ohsugi18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/RefregierGAH18,
  author       = {Alexandre Refregier and
                  Lukas Gamper and
                  Adam Amara and
                  Lavinia Heisenberg},
  title        = {PyCosmo: An integrated cosmological Boltzmann solver},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {38--43},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.001},
  doi          = {10.1016/J.ASCOM.2018.08.001},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/RefregierGAH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Rohin18,
  author       = {Y. Rohin},
  title        = {correlcalc: {A} 'generic' recipe for calculation of two-point correlation
                  function},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {149--158},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.09.011},
  doi          = {10.1016/J.ASCOM.2018.09.011},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Rohin18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/SolarBLP18,
  author       = {Mauricio Solar and
                  Amelia Bayo and
                  Nuria P. F. Lorente and
                  Karim Pichara},
  title        = {Astronomical data analysis software and systems},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {203--204},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.009},
  doi          = {10.1016/J.ASCOM.2018.10.009},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/SolarBLP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/SridharHH18,
  author       = {S. S. Sridhar and
                  G. Heald and
                  Jan M. van der H{\"{u}}lst},
  title        = {cuFFS: {A} GPU-accelerated code for Fast Faraday rotation measure
                  Synthesis},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {205--212},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.002},
  doi          = {10.1016/J.ASCOM.2018.10.002},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/SridharHH18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/StoyanovskayaGS18,
  author       = {Olga P. Stoyanovskaya and
                  Tatiana A. Glushko and
                  Nikolay V. Snytnikov and
                  Valery N. Snytnikov},
  title        = {Two-fluid dusty gas in smoothed particle hydrodynamics: Fast and implicit
                  algorithm for stiff linear drag},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {25--37},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.004},
  doi          = {10.1016/J.ASCOM.2018.08.004},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/StoyanovskayaGS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Szalai-GindlLKC18,
  author       = {J{\'{a}}nos M. Szalai{-}Gindl and
                  T. J. Loredo and
                  B. C. Kelly and
                  Istv{\'{a}}n Csabai and
                  Tamas Budavari and
                  L{\'{a}}szl{\'{o}} Dobos},
  title        = {GPU-accelerated hierarchical Bayesian estimation of luminosity functions
                  using flux-limited observations with photometric noise},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {247--256},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.10.004},
  doi          = {10.1016/J.ASCOM.2018.10.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Szalai-GindlLKC18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ascom/Vogt18,
  author       = {Fr{\'{e}}d{\'{e}}ric P. A. Vogt},
  title        = {fcmaker: Automating the creation of ESO-compliant finding charts for
                  Observing Blocks on \emph{p2}},
  journal      = {Astron. Comput.},
  volume       = {25},
  pages        = {81--88},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.ascom.2018.08.007},
  doi          = {10.1016/J.ASCOM.2018.08.007},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ascom/Vogt18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics