25 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of GenevaCH17 papers
- Max Planck Institute for the Physics of Complex SystemsDE5 papers
- Universität HamburgDE5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Constructor UniversityDE4 papers
- Lund UniversitySE4 papers
- Atilim UniversityTR3 papers
- Chiang Mai UniversityTH3 papers
- Chulalongkorn UniversityTH3 papers
- École Polytechnique Fédérale de LausanneCH3 papers
- European Organization for Nuclear ResearchCH3 papers
- Gwangju National University of EducationKR3 papers
6 papers · 1 filter
Split-explicit external mode solver in finite volume sea ice ocean model FESOM2
Tridib Banerjee, Patrick Scholz, Sergey Danilov +2
A novel split-explicit (SE) external mode solver for the Finite volumE Sea ice-Ocean Model (FESOM2) is presented. It is compared with the semi-implicit (SI) solver currently used i…
Forms of Understanding for XAI-Explanations
Hendrik Buschmeier, Heike M. Buhl, Friederike Kern +17
Explainability has become an important topic in computer science and artificial intelligence, leading to a subfield called Explainable Artificial Intelligence (XAI). The goal of pr…
Hierarchical certification of nonclassical network correlations
Ming-Xing Luo, Xue Yang, Alejandro Pozas-Kerstjens
With the increased availability of quantum technological devices, it becomes more important to have tools to guarantee their correct nonclassical behavior. This is especially impor…
Potentiality realism: A realistic and indeterministic physics based on propensities
Flavio Del Santo, Nicolas Gisin
We propose an interpretation of physics named potentiality realism. This view, which can be applied to classical as well as to quantum physics, regards potentialities (i.e. intrins…
Entire maps with rational preperiodic points and multipliers
Xavier Buff, Igors Gorbovickis, Valentin Huguin
Given a number field that is not contained in , we prove the existence of a dense set of entire maps $f \colon \mathbb{C} \rightarrow \m…
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov +2
The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement…