Zobrazeno 1 - 10
of 7 640
pro vyhledávání: '"Droste, A."'
Autor:
Droste, Manfred, Vogler, Heiko
We consider weighted automata over words and over trees where the weight algebras are strong bimonoids, i.e., semirings which may lack distributivity. It is well known that, for each such weighted automaton, its run semantics and its initial algebra
Externí odkaz:
http://arxiv.org/abs/2409.08727
Autor:
Alt, Tobias, Ibisch, Andrea, Meiser, Clemens, Wilhelm, Anna, Zimmer, Raphael, Berghoff, Christian, Droste, Christoph, Karschau, Jens, Laus, Friederike, Plaga, Rainer, Plesch, Carola, Sennewald, Britta, Thaeren, Thomas, Unverricht, Kristina, Waurick, Steffen
Generative AI models are capable of performing a wide range of tasks that traditionally require creativity and human understanding. They learn patterns from existing data during training and can subsequently generate new content such as texts, images
Externí odkaz:
http://arxiv.org/abs/2406.04734
We consider the images of the initial algebra semantics of weighted tree automata over strong bimonoids (hence also over semirings). These images are subsets of the carrier set of the underlying strong bimonoid. We consider locally finite, weakly loc
Externí odkaz:
http://arxiv.org/abs/2405.20753
Fagin's seminal result characterizing $\mathsf{NP}$ in terms of existential second-order logic started the fruitful field of descriptive complexity theory. In recent years, there has been much interest in the investigation of quantitative (weighted)
Externí odkaz:
http://arxiv.org/abs/2404.17784
Modern software systems are becoming increasingly complex and opaque. The integration of explanations within software has shown the potential to address this opacity and can make the system more understandable to end-users. As a result, explainabilit
Externí odkaz:
http://arxiv.org/abs/2404.16644
Autor:
Gondal, Muhammad Waleed, Gast, Jochen, Ruiz, Inigo Alonso, Droste, Richard, Macri, Tommaso, Kumar, Suren, Staudigl, Luitpold
Large vision-language representation learning models like CLIP have demonstrated impressive performance for zero-shot transfer to downstream tasks while largely benefiting from inter-modal (image-text) alignment via contrastive objectives. This downs
Externí odkaz:
http://arxiv.org/abs/2311.09191
Publikováno v:
Revista Thema, Vol 23, Iss 3, Pp 803-813 (2024)
Este estudo foi desenvolvido para testar a viabilidade do bioensaio aborto polínico (AP) em botões florais de Tradescantia pallida var. purpurea na avaliação de genotoxicidade da água superficial. Uma nova metodologia foi desenvolvida visando o
Externí odkaz:
https://doaj.org/article/cd748ff292d34af4a44ef40a9127f85c
Publikováno v:
Geoscientific Model Development, Vol 17, Pp 7263-7284 (2024)
Monitoring, reporting, and verification frameworks for greenhouse gas emissions are being developed by countries across the world to keep track of progress towards national emission reduction targets. Data assimilation plays an important role in moni
Externí odkaz:
https://doaj.org/article/d80e0c0f3a354c60ba5332a508dcd9fd
Publikováno v:
Atmospheric Chemistry and Physics, Vol 24, Pp 10773-10791 (2024)
Under the Paris Agreement, countries report their anthropogenic greenhouse gas emissions in national inventories, which are used to track progress towards mitigation goals, but they must be independently verified. Atmospheric observations of CO2, int
Externí odkaz:
https://doaj.org/article/8d7dc2a0484941798ecdd74636e04ef4
Publikováno v:
Nature Communications, Vol 15, Iss 1, Pp 1-14 (2024)
Abstract Fossil fuel subsidies continue to be a considerable barrier to meeting the targets of the Paris Agreement. It is thus crucial to understand the political economy of fossil fuel subsidies and their reform. To understand these mechanisms in th
Externí odkaz:
https://doaj.org/article/b6f6908658404e4f91eae4cd12c4ac52