Zobrazeno 1 - 10
of 8 898
pro vyhledávání: '"A. Gassner"'
Autor:
Samani, Zahra Najafabadi, Gassner, Matthias, Fahringer, Thomas, Poveda, Juan Aznar, Pedratscher, Stefan
With the growth of real-time applications and IoT devices, computation is moving from cloud-based services to the low latency edge, creating a computing continuum. This continuum includes diverse cloud, edge, and endpoint devices, posing challenges f
Externí odkaz:
http://arxiv.org/abs/2411.16697
Autor:
Gaßner, Christine
This paper focuses on the set HAC of 1-1 Ackermann axioms of choice in second-order predicate logic with Henkin interpretation (HPL). To answer a question posed by Michael Rathjen, we restrict the proof that the basic Fraenkel model of second order i
Externí odkaz:
http://arxiv.org/abs/2410.23276
Free-stream preservation is an essential property for numerical solvers on curvilinear grids. Key to this property is that the metric terms of the curvilinear mapping satisfy discrete metric identities, i.e., have zero divergence. Divergence-free met
Externí odkaz:
http://arxiv.org/abs/2410.14502
Autor:
Gaßner, Christine
G\"unter Asser (1981) introduced second-order permutation models. In this way, the Fraenkel-Mostowski-Specker method for defining models of ZFA was transferred to a new application area. To investigate the strength of second-order principles of choic
Externí odkaz:
http://arxiv.org/abs/2409.14211
Autor:
Gaßner, Christine
We deal with the strength of classical second-order versions of the Axiom of Choice (AC) in second-order predicate logic (PLII) with Henkin interpretation (HPL). We use the known relationships between the so-called Zermelo-Asser axioms and the so-cal
Externí odkaz:
http://arxiv.org/abs/2409.12868
Autor:
Gaßner, Christine
This article is concerned with the Axiom of Choice (AC) and the well-ordering theorem (WO) in second-order predicate logic with Henkin interpretation (HPL). We consider a principle of choice introduced by Wilhelm Ackermann (1935) and discussed also b
Externí odkaz:
http://arxiv.org/abs/2409.11126
In this paper, we present a framework for generic decoding of convolutional codes, which allows us to do cryptanalysis of code-based systems that use convolutional codes. We then apply this framework to information set decoding, study success probabi
Externí odkaz:
http://arxiv.org/abs/2408.07621
Autor:
Doehring, Daniel, Christmann, Lars, Schlottke-Lakemper, Michael, Gassner, Gregor J., Torrilhon, Manuel
In this paper, we extend the Paired-Explicit Runge-Kutta schemes by Vermeire et. al. to fourth-order of consistency. Based on the order conditions for partitioned Runge-Kutta methods we motivate a specific form of the Butcher arrays which leads to a
Externí odkaz:
http://arxiv.org/abs/2408.05470
Autor:
John, Dominik, Chen, Junan, Gaßner, Christoph, Savatović, Sara, Petzold, Lisa Marie, Wirtensohn, Sami, Riedel, Mirko, Hammel, Jörg U., Moosmann, Julian, Beckmann, Felix, Wieczorek, Matthias, Herzen, Julia
Recent advancements in propagation-based phase-contrast imaging, such as hierarchical imaging, have enabled the visualization of internal structures in large biological specimens and material samples. However, wavefront marker-based techniques, which
Externí odkaz:
http://arxiv.org/abs/2408.00482
Today's scientific simulations, for example in the high-performance exascale sector, produce huge amounts of data. Due to limited I/O bandwidth and available storage space, there is the necessity to reduce scientific data of high performance computin
Externí odkaz:
http://arxiv.org/abs/2407.17316