Zobrazeno 1 - 10
of 13 864
pro vyhledávání: '"Haak A"'
Autor:
Haak, Bernhard H., Haase, Markus
Let $f = f(z,t)$ be a function holomorphic in $z \in O \subseteq {\mathbb C}^d$ for fixed $t\in \Omega$ and measurable in $t$ for fixed $z$ and such that$z \mapsto f(z,\cdot)$ is bounded with values in$E := L_{p}(\Omega)$, $1\le p \le \infty$. It is
Externí odkaz:
http://arxiv.org/abs/2403.11712
The HaliVer tool integrates deductive verification into the popular scheduling language Halide, used for image processing pipelines and array computations. HaliVer uses Vercors, a separation logic-based verifier, to verify the correctness of (1) the
Externí odkaz:
http://arxiv.org/abs/2401.10778
Autor:
Spinde, Timo, Hinterreiter, Smi, Haak, Fabian, Ruas, Terry, Giese, Helge, Meuschke, Norman, Gipp, Bela
The way the media presents events can significantly affect public perception, which in turn can alter people's beliefs and views. Media bias describes a one-sided or polarizing perspective on a topic. This article summarizes the research on computati
Externí odkaz:
http://arxiv.org/abs/2312.16148
Autor:
M. G. A. M. van der Velde, L. P. M. Op Het Veld, E. van Rossum, M. A. C. Jansen, H. R. Haak, M. N. T. Kremers
Publikováno v:
BMC Geriatrics, Vol 24, Iss 1, Pp 1-10 (2024)
Abstract Background Older adults account for a large proportion of hospital admissions. In this study we aim to bridge a gap between medical and psychosocial factors in predicting hospitalisation. Methods Demographic and social characteristics of com
Externí odkaz:
https://doaj.org/article/7532420f60d94861b0cd78027aeee043
Autor:
Engelmann, Björn, Haak, Fabian, Kreutz, Christin Katharina, Khasmakhi, Narjes Nikzad, Schaer, Philipp
Reading levels are highly individual and can depend on a text's language, a person's cognitive abilities, or knowledge on a topic. Text simplification is the task of rephrasing a text to better cater to the abilities of a specific target reader group
Externí odkaz:
http://arxiv.org/abs/2307.03569
Autor:
Haak, Roman
An Eggert-operad is a variant of Mac Lane's notion of a PROP, for which not only bijective maps, but all maps between standard finite sets, are part of the structure. We construct the free Eggert-operad and prove the universal property it satisfies.
Externí odkaz:
http://arxiv.org/abs/2305.01854
Autor:
Buttersack, Tillmann, Haak, Henrik, Bluhm, Hendrik, Hergenhahn, Uwe, Meijer, Gerard, Winter, Bernd
Publikováno v:
Struct. Dyn. 1 May 2023; 10 (3): 034901
We present spatially resolved measurements of the temperature of a flat liquid water microjet for varying pressures, from vacuum to 100% relative humidity. The entire jet surface is probed in a single shot by a high-resolution infrared camera. Obtain
Externí odkaz:
http://arxiv.org/abs/2304.02967
Autor:
Haak, Bernhard H.
This note deals with the boundedness of the $H^\infty$ functional calculus of Ritt operators $T$ and associated square function estimates. The purpose is to give a shorter, concise and slightly more general approach towards Le~Merdy's results [19] on
Externí odkaz:
http://arxiv.org/abs/2303.03022
Publikováno v:
Physical Review D, 109, 5, 056020 (2024)
In subleading powers of soft-collinear effective theory (SCET), the Lagrangian contains couplings between soft quarks and hard-collinear quarks. Matrix elements of the hard-collinear parts of these couplings are radiative jet functions. In the positi
Externí odkaz:
http://arxiv.org/abs/2302.05856
Autor:
Jeong Uk Lim, Kyuhwan Kim, Kyu Yean Kim, Hye Seon Kang, Ah. Young Shin, Chang Dong Yeo, Sung Kyoung Kim, Chan Kwon Park, Sang Haak Lee, Seung Joon Kim
Publikováno v:
Thoracic Cancer, Vol 15, Iss 19, Pp 1513-1521 (2024)
Abstract Background Lazertinib is an oral, third‐generation EGFR‐TKI, which specifically targets the EGFR T790M mutation along with activating mutations Ex19del and L858R. More real‐world data are needed to evaluate its efficacy and safety in t
Externí odkaz:
https://doaj.org/article/4f67126a680b45baa1c45cdf1b84696c