Zobrazeno 1 - 10
of 3 114
pro vyhledávání: '"P. Heizmann"'
Autor:
Erhard, Julian, Bentele, Manuel, Heizmann, Matthias, Klumpp, Dominik, Saan, Simmo, Schüssele, Frank, Schwarz, Michael, Seidl, Helmut, Tilscher, Sarah, Vojdani, Vesal
Static analyzers are typically complex tools and thus prone to contain bugs themselves. To increase the trust in the verdict of such tools, witnesses encode key reasoning steps underlying the verdict in an exchangeable format, enabling independent va
Externí odkaz:
http://arxiv.org/abs/2411.16612
Autor:
Schiering, Nadine, Eichstaedt, Sascha, Heizmann, Michael, Koch, Wolfgang, Schneider, Linda-Sophie, Scheele, Stephan, Sommer, Klaus-Dieter
Mathematical models of measuring systems and processes play an essential role in metrology and practical measurements. They form the basis for understanding and evaluating measurements, their results and their trustworthiness. Classic analytical para
Externí odkaz:
http://arxiv.org/abs/2408.06117
Autor:
Sommer, Klaus-Dieter, Harris, Peter, Eichstädt, Sascha, Füssl, Roland, Dorst, Tanja, Schütze, Andreas, Heizmann, Michael, Schiering, Nadine, Maier, Andreas, Luo, Yuhui, Tachtatzis, Christos, Andonovic, Ivan, Gourlay, Gordon
Mathematical modelling is at the core of metrology as it transforms raw measured data into useful measurement results. A model captures the relationship between the measurand and all relevant quantities on which the measurand depends, and is used to
Externí odkaz:
http://arxiv.org/abs/2312.13744
Vicsek fractal graphs are an important class of infinite graphs with self similar properties, polynomial growth and treelike features, on which several dynamical processes such as random walks or Abelian sandpiles can be rigorously analyzed and one c
Externí odkaz:
http://arxiv.org/abs/2312.13647
We address the verification problem for concurrent program that dynamically create (fork) new threads or destroy (join) existing threads. We present a reduction to the verification problem for concurrent programs with a fixed number of threads. More
Externí odkaz:
http://arxiv.org/abs/2311.01302
We investigate the Abelian sandpile model and related quantities such as height probabilities and looping constant on fractal graphs. In particular, we give an algorithmic approach for calculating the height probabilities of recurrent sandpiles under
Externí odkaz:
http://arxiv.org/abs/2308.03445
Autor:
Li, Lanxiao, Heizmann, Michael
Capturing and labeling real-world 3D data is laborious and time-consuming, which makes it costly to train strong 3D models. To address this issue, recent works present a simple method by generating randomized 3D scenes without simulation and renderin
Externí odkaz:
http://arxiv.org/abs/2306.04237
Autor:
Afifi, Ahmed J., Thiele, Samuel T., Rizaldy, Aldino, Lorenz, Sandra, Ghamisi, Pedram, Tolosana-Delgado, Raimon, Kirsch, Moritz, Gloaguen, Richard, Heizmann, Michael
The increasing use of deep learning techniques has reduced interpretation time and, ideally, reduced interpreter bias by automatically deriving geological maps from digital outcrop models. However, accurate validation of these automated mapping appro
Externí odkaz:
http://arxiv.org/abs/2305.09928
Autor:
Li, Lanxiao, Heizmann, Michael
To apply transformer-based models to point cloud understanding, many previous works modify the architecture of transformers by using, e.g., local attention and down-sampling. Although they have achieved promising results, earlier works on transformer
Externí odkaz:
http://arxiv.org/abs/2303.00086