E-LIB Suche - Ergebnisse für: Holzer, Markus

1

On Regular Expression Proof Complexity of Salomaa's Axiom S..:

, In: Taming the Infinities of Concurrency; Lecture Notes in Computer Science,

Beier, Simon ; Holzer, Markus - p. 72-100 , 2024

Link: https://doi.org/10.1007/..

2

Energy-Efficient Implementation of the Lattice Boltzmann Me..:

Vysocky, Ondrej ; Holzer, Markus ; Staffelbach, Gabriel..
Energies. 17 (2024) 2 - p. 502 , 2024

Link: https://doi.org/10.3390/..

3

Advanced Automatic Code Generation for Multiple Relaxation-..:

Hennig, Frederik ; Holzer, Markus ; Rüde, Ulrich
SIAM Journal on Scientific Computing. 45 (2023) 4 - p. C233-C254 , 2023

Link: https://doi.org/10.1137/..

4

Analytical performance estimation during code generation on..:

Ernst, Dominik ; Holzer, Markus ; Hager, Georg..
Journal of Parallel and Distributed Computing. 173 (2023) - p. 152-167 , 2023

Link: https://doi.org/10.1016/..

5

A pipeline to further enhance quality, integrity and reusab..:

Breger, Anna ; Selby, Ian ; Roberts, Michael...
Scientific Data. 10 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

6

The Pumping Lemma for Regular Languages is Hard:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Gruber, Hermann ; Holzer, Markus ; Rauch, Christian - p. 128-140 , 2023

Link: https://doi.org/10.1007/..

7

On the accepting state complexity of operations on permutat..:

Rauch, Christian ; Holzer, Markus ; Bordihn, H...
RAIRO - Theoretical Informatics and Applications. 57 (2023) - p. 9 , 2023

Link: https://doi.org/10.1051/..

8

Computational Complexity of Reversible Reaction Systems:

, In: Reversible Computation; Lecture Notes in Computer Science,

Holzer, Markus ; Rauch, Christian - p. 40-54 , 2023

Link: https://doi.org/10.1007/..

9

Navigating the development challenges in creating complex d..:

Dittmer, Sören ; Roberts, Michael ; Gilbey, Julian...
Nature Machine Intelligence. 5 (2023) 7 - p. 681-686 , 2023

Link: https://doi.org/10.1038/..

10

On Jaffe's Pumping Lemma, Revisited:

, In: Descriptional Complexity of Formal Systems; Lecture Notes in Computer Science,

Holzer, Markus ; Rauch, Christian - p. 65-78 , 2023

Link: https://doi.org/10.1007/..

11

Scalable Flow Simulations with the Lattice Boltzmann Method:

, In: Proceedings of the 20th ACM International Conference on Computing Frontiers,

Holzer, Markus ; Staffelbach, Gabriel ; Rocchi, Ilan... - p. 297-303 , 2023

Link: https://dl.acm.org/doi/1..

12

The impact of imputation quality on machine learning classi..:

Shadbahr, Tolou ; Roberts, Michael ; Stanczuk, Jan...
Communications Medicine. 3 (2023) 1 - p. , 2023

Link: https://doi.org/10.1038/..

13

Comparison of free-surface and conservative Allen–Cahn phas..:

Schwarzmeier, Christoph ; Holzer, Markus ; Mitchell, Travis...
Journal of Computational Physics. 473 (2023) - p. 111753 , 2023

Link: https://doi.org/10.1016/..

14

Generalized Synchronization and Intersection Non-Emptiness ..:

Wolf, Petra , 2022

Link: https://nbn-resolving.de..

15

On 25 Years of CIAA Through the Lens of Data Science:

, In: Implementation and Application of Automata; Lecture Notes in Computer Science,

Gruber, Hermann ; Holzer, Markus ; Rauch, Christian - p. 3-18 , 2022

Link: https://doi.org/10.1007/..