Tootfinder

Canonical Decision Diagrams Modulo Theories
Massimo Michelutti, Gabriele Masina, Giuseppe Spallitta, Roberto Sebastiani
https://arxiv.org/abs/2404.16455 ht…

Canonical Decision Diagrams Modulo Theories
Decision diagrams (DDs) are powerful tools to represent effectively propositional formulas, which are largely used in many domains, in particular in formal verification and in knowledge compilation. Some forms of DDs (e.g., OBDDs, SDDs) are canonical, that is, (under given conditions on the atom list) they univocally represent equivalence classes of formulas. Given the limited expressiveness of propositional logic, a few attempts to leverage DDs to SMT level have been presented in the literatur…

Eine innovative Methode zur Herstellung von Biokompositen: Forscher haben hitzeresistente #Bakteriensporen in Thermoplastische #Polyurethane eingebettet, um die Zersetzung von Kunststoffen zu fördern. Diese sporengefüllten Materialien verbessern nicht nur die mechanischen Eigenschaften,…

Biocomposite thermoplastic polyurethanes containing evolved bacterial spores as living fillers to facilitate polymer disintegration - Nature Communications
Plastic pollution severely threatens the resilience of nature. Here, the authors utilize the spore-forming, polymer-degrading bacteria, Bacillus subtilis, as a living filler to develop biocomposite thermoplastic polyurethane with improved mechanical properties and biodegradation.

RF Chain-Free mmWave Transmission: Modeling and Experimental Verification
M. Yaser Ya\u{g}an, Ibrahim H\"okelek, Ali E. Pusane, Ali G\"or\c{c}in
https://arxiv.org/abs/2405.01931

RF Chain-Free mmWave Transmission: Modeling and Experimental Verification
The utilization of millimeter wave frequency bands is expected to become prevalent in the following communication systems. However, generating and transmitting communication signals over these frequencies is not as straightforward as in sub-6 GHz frequencies due to complex transceiver structures. As an alternative to conventional transmitter architectures, this paper investigates the implementation of time-modulated arrays to effectively modulate and transmit high-quality communication signals …

Canonicalizing zeta generators: genus zero and genus one
Daniele Dorigoni, Mehregan Doroudiani, Joshua Drewitt, Martijn Hidding, Axel Kleinschmidt, Oliver Schlotterer, Leila Schneps, Bram Verbeek
https://arxiv.org/abs/2406.05099

Canonicalizing zeta generators: genus zero and genus one
Zeta generators are derivations associated with odd Riemann zeta values that act freely on the Lie algebra of the fundamental group of Riemann surfaces with marked points. The genus-zero incarnation of zeta generators are Ihara derivations of certain Lie polynomials in two generators that can be obtained from the Drinfeld associator. We characterize a canonical choice of these polynomials, together with their non-Lie counterparts at even degrees $w\geq 2$, through the action of the dual space o…

Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
https://arxiv.org/abs/2405.00921

Verification of Population Protocols with Unordered Data
Population protocols are a well-studied model of distributed computation in which a group of anonymous finite-state agents communicates via pairwise interactions. Together they decide whether their initial configuration, that is, the initial distribution of agents in the states, satisfies a property. As an extension in order to express properties of multisets over an infinite data domain, Blondin and Ladouceur (ICALP'23) introduced population protocols with unordered data (PPUD). In PPUD, each …

Adapting AREPO-RT for Exascale Computing: GPU Acceleration and Efficient Communication
Oliver Zier, Rahul Kannan, Aaron Smith, Mark Vogelsberger, Erkin Verbeek
https://arxiv.org/abs/2404.17630

Adapting AREPO-RT for Exascale Computing: GPU Acceleration and Efficient Communication
Radiative transfer (RT) is a crucial ingredient for self-consistent modelling of numerous astrophysical phenomena across cosmic history. However, on-the-fly integration into radiation-hydrodynamics (RHD) simulations is computationally demanding, particularly due to the stringent time-stepping conditions and increased dimensionality inherent in multi-frequency collisionless Boltzmann physics. The emergence of exascale supercomputers, equipped with extensive CPU cores and GPU accelerators, offers…

This https://arxiv.org/abs/2111.14612 has been replaced.
link: https://scholar.google.com/scholar?q=a

Foundations of a Theory of Gravity with a Constraint and its Canonical Quantization
The gravitational equations were derived in general relativity (GR) using the assumption of their covariance relative to arbitrary transformations of coordinates. It has been repeatedly expressed an opinion over the past century that such equality of all coordinate systems may not correspond to reality. Nevertheless, no actual verification of the necessity of this assumption has been made to date. The paper proposes a theory of gravity with a constraint, the degenerate variants of which are gen…