1k citations
- Goddard Space Flight CenterUS21 papers
- Centre National de la Recherche ScientifiqueFR18 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR18 papers
- Astrophysique, Instrumentation et ModélisationFR17 papers
- Max Planck Institute for Radio AstronomyDE17 papers
- Universities Space Research AssociationUS17 papers
- National Institute for AstrophysicsIT16 papers
- University of Maryland, College ParkUS16 papers
- University of PaduaIT16 papers
- University of Rome Tor VergataIT16 papers
- CEA Paris-SaclayFR15 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE15 papers
114 papers
Generative Artificial Intelligence for Literature Reviews
Gerit Wagner, Julian Prester, Reza Mousavi +2
Generative artificial intelligence (GenAI), based on large-language models (LLMs), such as ChatGPT, has taken organizations, academia, and the public by storm. In particular, impre…
Determinacy with Priorities up to Clocks
Luigi Liquori, Michael Mendler, Claude Stolze
In Milner's seminal book on communication and concurrency introducing CCS, a process algebra inherently non-deterministic, chapter 11 was completely devoted to introduce the notion…
Winning and losing with Artificial Intelligence: What public discourse about ChatGPT tells us about how societies make sense of technological change
Adrian Rauchfleisch, Joshua Philip Suarez, Nikka Marie Sales +1
Public product launches in Artificial Intelligence can serve as focusing events for collective attention, surfacing how societies react to technological change. Social media provid…
PSM: Policy Synchronised Deterministic Memory
Michael Mendler, Marc Pouzet
Concurrency and determinacy do not go well with each other when resources must be shared. Haskell provides parallel programming abstractions such as IVar and LVar in the Par monad…
Going deep and going wide: Counting logic and homomorphism indistinguishability over graphs of bounded treedepth and treewidth
Isolde Adler, Eva Fluck, Tim Seppelt +1
We study the expressive power of first-order logic with counting quantifiers, especially the -variable and quantifier-rank- fragment, using homomorphism indistinguishability.…
High-frequency intraday trading for battery storages
David Schaurecker, David Wozabal, Nils Löhndorf +1
Maximizing revenue for grid-scale battery energy storage systems in continuous intraday electricity markets requires strategies that are able to seize trading opportunities as soon…