Zobrazeno 1 - 10
of 27
pro vyhledávání: '"Hoffmann, Philipp P."'
This paper introduces negotiations, a model of concurrency close to Petri nets, with multi-party negotiations as concurrency primitive. We study two fundamental analysis problems. The soundness problem consists in deciding if it is always possible fo
Externí odkaz:
http://arxiv.org/abs/1612.07912
We study Probabilistic Workflow Nets (PWNs), a model extending van der Aalst's workflow nets with probabilities. We give a semantics for PWNs in terms of Markov Decision Processes and introduce a reward model. Using a result by Varacca and Nielsen, w
Externí odkaz:
http://arxiv.org/abs/1606.00175
Autor:
Esparza, Javier, Hoffmann, Philipp
We study Colored Workflow nets, a model based on Workflow nets enriched with data. Based on earlier work by Esparza and Desel[arXiv:1307.2145,arXiv:1403.4958] on the negotiation model of concurrency, we present reduction rules for our model. Contrary
Externí odkaz:
http://arxiv.org/abs/1601.01928
Autor:
Hoffmann, Philipp
Publikováno v:
EPTCS 193, 2015, pp. 31-42
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced by J. Desel and J. Esparza. We initiate the study of games for this model. We study coalition problems: can a given coalition of agents forc
Externí odkaz:
http://arxiv.org/abs/1509.07199
Autor:
Hoffmann, Philipp H. W.
Publikováno v:
Operators and Matrices, Vol. 11, No. 3 (2017), 623-633
We show that if a tuple of commuting, bounded linear operators $(T_1,...,T_d) \in B(X)^d$ is both an $(m,p)$-isometry and a $(\mu,\infty)$-isometry, then the tuple $(T_1^m,...,T_d^m)$ is a $(1,p)$-isometry. We further prove some additional properties
Externí odkaz:
http://arxiv.org/abs/1508.00916
Autor:
Hoffmann, Philipp H. W.
Publikováno v:
Numerical Algorithms, Vol. 72 No. 3 (2016), 775-811
This article provides an overview of some of the mathematical principles of Automatic Differentiation (AD). In particular, we summarise different descriptions of the Forward Mode of AD, like the matrix-vector product based approach, the idea of lifti
Externí odkaz:
http://arxiv.org/abs/1411.0583
Autor:
Esparza, Javier, Hoffmann, Philipp
Negotiations, a model of concurrency with multi party negotiation as primitive, have been recently introduced in arXiv:1307.2145, arXiv:1403.4958. We initiate the study of games for this model. We study coalition problems: can a given coalition of ag
Externí odkaz:
http://arxiv.org/abs/1405.6820
Publikováno v:
Asian-European Journal of Mathematics, Vol. 8, No. 2 (2015)
We generalize the notion of $m$-isometric operator tuples on Hilbert spaces in a natural way to normed spaces. This is done by defining a tuple analogue of $(m,p)$-isometric operators, so-called $(m,p)$-isometric operator tuples. We then extend this
Externí odkaz:
http://arxiv.org/abs/1212.5616
Publikováno v:
Integr. Equ. Oper. Theory 71 (3) (2011), 389-405
A bounded linear operator $T$ on a Banach space $X$ is called an $(m, p)$-isometry if it satisfies the equation \sum_{k=0}^{m}(-1)^{k} {m \choose k}\|T^{k}x\|^{p} = 0$, for all $x \in X$. In this paper we study the structure which underlies the secon
Externí odkaz:
http://arxiv.org/abs/1106.0339
Autor:
Neumann, Kai, Hoffmann, Philipp P., Buelow, Max Von, Knauthe, Volker, Wirth, Tristan, Kontermann, Christian, Kuijper, Arjan, Guthe, Stefan, Fellner, Dieter
Publikováno v:
2022 IEEE International Conference on Image Processing (ICIP).
Structure from Motion (SfM) plays a crucial role in unstructured capturing. While images are usually taken by perspective cameras, orthographic camera projections do not suffer from the foreshortening effect, that leads to varying capturing quality i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::551f1317de8e66f3a164f164b3cec40e
https://doi.org/10.1109/icip46576.2022.9897368
https://doi.org/10.1109/icip46576.2022.9897368
