153 citations
- University of IcelandIS26 papers
- National United UniversityTW10 papers
- University of SulaimaniIQ8 papers
- Gran Sasso Science InstituteIT7 papers
- National Institute of Materials PhysicsRO6 papers
- Tallinn University of TechnologyEE6 papers
- AGH University of KrakowPL5 papers
- Gdańsk University of TechnologyPL5 papers
- Komar University of Science and TechnologyIQ5 papers
- University of MaltaMT5 papers
- Wrocław University of Science and TechnologyPL5 papers
- Centre National de la Recherche ScientifiqueFR4 papers
9 papers · 1 filter
Kinematic signatures of impulsive supernova feedback in dwarf galaxies
Jan D. Burger, Jesús Zavala, Laura V. Sales +3
Impulsive supernova feedback and non-standard dark matter models, such as self-interacting dark matter (SIDM), are the two main contenders for the role of the dominant core formati…
Complexity through Translations for Modal Logic with Recursion
Luca Aceto, Antonis Achilleos, Elli Anastasiadi +2
This paper studies the complexity of classical modal logics and of their extension with fixed-point operators, using translations to transfer results across logics. In particular,…
Encodability and Separation for a Reflective Higher-Order Calculus
Stian Lybech
The -calculus (Reflective Higher-Order Calculus) of Meredith and Radestock is a -calculus-like language with some unusual features, notably, structured names, runtime generat…
A Generic Type System for Higher-Order -calculi
Alex Rønning Bendixen, Bjarke Bredow Bojesen, Hans Hüttel +1
The Higher-Order -calculus framework (HO) is a generalisation of many first- and higher-order extensions of the -calculus. It was proposed by Parrow et al. who showed that…
Finding positively invariant sets and proving exponential stability of limit cycles using Sum-of-Squares decompositions
Elias August, Mauricio Barahona
The dynamics of many systems from physics, economics, chemistry, and biology can be modelled through polynomial functions. In this paper, we provide a computational means to find p…
What Makes a Strong Monad?
Dylan McDermott, Tarmo Uustalu
Strong monads are important for several applications, in particular, in the denotational semantics of effectful languages, where strength is needed to sequence computations that ha…