Zobrazeno 1 - 10
of 1 030
pro vyhledávání: '"P, Straßburger"'
Autor:
Straßburger, Lutz
The news we consume influence our political opinions, and therefore whoever controls which news we read also controls our political opinions. Does this mean that the algorithms that select our news determine the outcomes of our elections?
Externí odkaz:
http://arxiv.org/abs/2402.03409
Publikováno v:
The Art, Science, and Engineering of Programming, 2024, Vol. 8, Issue 1, Article 3
A compiler consists of a sequence of phases going from lexical analysis to code generation. Ideally, the formal verification of a compiler should include the formal verification of each component of the tool-chain. An example is the CompCert project,
Externí odkaz:
http://arxiv.org/abs/2306.12411
Publikováno v:
Proceedings of LICS 2023 (2023)
In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We obtain thi
Externí odkaz:
http://arxiv.org/abs/2304.12094
Autor:
Lucia Mastrototaro, Maria Apostolopoulou, Sonja Hartwig, Klaus Strassburger, Polina Lipaeva, Nina Trinks, Yanislava Karusheva, Sofiya Gancheva, Sandra Trenkamp, Stefan Lehr, Hadi Al-Hasani, Julia Szendroedi, Michael Roden
Publikováno v:
EBioMedicine, Vol 110, Iss , Pp 105471- (2024)
Summary: Background: High-intensity interval training (HIIT) has been shown to improve cardiorespiratory fitness (V˙O2 max) but may ameliorate insulin sensitivity only in insulin-resistant humans. It is yet unclear whether these benefits persist aft
Externí odkaz:
https://doaj.org/article/1c899a906c234155bf9ce473f8951098
Publikováno v:
Logical Methods in Computer Science, Volume 19, Issue 4 (December 18, 2023) lmcs:10057
Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originates from the study of coherence spaces and proof nets, BV originates fro
Externí odkaz:
http://arxiv.org/abs/2209.07825
Autor:
Graziela Goulart Tártari, Sergio Francisco Schwarz, André Samuel Strassburger, Henrique Belmonte Petry, Leonardo André Schneider, Luis Henrique dos Santos Ebeling
Publikováno v:
Pesquisa Agropecuária Brasileira, Vol 59 (2024)
Abstract The objective of this work was to evaluate the effects of saline and water stresses on the germination of seeds and of saline stress on the development of seedlings of 'SCS437 Catarina' Passiflora edulis. The seeds were germinated on paper m
Externí odkaz:
https://doaj.org/article/f88f841a07da4b458348ab7b83a3b800
Autor:
Ann-Kristin Härdter, Anna Nordloh, Miriam Cyris, Martin Straßburger, Thomas Rinder, Christof E. Dörfer, Sonja Sälzer, Christian Graetz
Publikováno v:
BMC Oral Health, Vol 24, Iss 1, Pp 1-9 (2024)
Abstract Background Up to date, interdental brushes (IDB) are the first choice for interdental cleaning because of their cleaning efficacy. Cylindrical ones must be selected individually according to the size/morphology of the interdental area (IDR),
Externí odkaz:
https://doaj.org/article/97ca1c82de1148138534a751de5a7427
Autor:
Frederico Ludwig da Costa, Lucas Strassburger Matzenbacher, Vicenzo Gheno, Maria Antônia Bertuzzo Brum, Laura Gomes Boabaid de Barros, Isabela Semmelmann Maia, Luiza Machado Blank, Lucas Friedrich Fontoura, Janine Alessi, Gabriela Heiden Telo
Publikováno v:
Trials, Vol 25, Iss 1, Pp 1-10 (2024)
Abstract Background With one in five individuals aged 65 or older living with type 2 diabetes worldwide, it is crucial to acknowledge and address the challenges faced by this population. In this context, our study aims to evaluate the efficacy of a b
Externí odkaz:
https://doaj.org/article/06902dc151a049248e61b0cdd9abe467
Publikováno v:
Humanities & Social Sciences Communications, Vol 11, Iss 1, Pp 1-13 (2024)
Abstract Meyer’s minority stress model posits that sexual minority communities can act as protective factors for individuals within the sexual minority. Given that existing evidence on this proposition is inconclusive, a social network approach was
Externí odkaz:
https://doaj.org/article/043e40590db24e94a8ef79d8ab7b02c8
Publikováno v:
European Psychiatry, Vol 67, Pp S116-S117 (2024)
Introduction Discrimination is known to have different effects on health. In particular the mental health of affected people diminishes. Although it is known that marginalized groups are discriminated against more, at present only research on gender
Externí odkaz:
https://doaj.org/article/bc63a79cc97240ff93e057110d26ac1e