Zobrazeno 1 - 10
of 74
pro vyhledávání: '"Jonas Martin"'
Autor:
Jonas Martin, Qingyu Cheng, Sarah A. Laurent, Franziska S. Thaler, Anne Elisabeth Beenken, Edgar Meinl, Gerhard Krönke, Falk Hiepe, Tobias Alexander
Publikováno v:
International Journal of Molecular Sciences, Vol 25, Iss 19, p 10845 (2024)
The BAFF-APRIL system is crucial for the pathogenesis of systemic lupus erythematosus (SLE) by promoting B cell survival, differentiation and the maintenance of humoral autoimmunity. Here, we investigated the relationship of BCMA expression on B cell
Externí odkaz:
https://doaj.org/article/b78283cd6ccb4019b91b3a9b59b4663e
Autor:
Linda Keil, Farah Mitry Qoura, Jonas Martin Breitsameter, Bernhard Rieger, Daniel Garbe, Thomas Bartholomäus Brück
Publikováno v:
Microorganisms, Vol 12, Iss 7, p 1318 (2024)
The salt-tolerant marine microalgae Dunaliella tertiolecta is reported to generate significant amounts of intracellular glycerol as an osmoprotectant under high salt conditions. This study highlights the phylogenetic distribution and comparative glyc
Externí odkaz:
https://doaj.org/article/381e086fe1b544a1ba38fa017647a19e
Autor:
Lerner, Sergio Demian, Amela, Ramon, Mishra, Shreemoy, Jonas, Martin, Cid-Fuentes, Javier Álvarez
BitVMX is a new design for a virtual CPU to optimistically execute arbitrary programs on Bitcoin based on a challenge response game introduced in BitVM. Similar to BitVM1 we create a general-purpose CPU to be verified in Bitcoin script. Our design su
Externí odkaz:
http://arxiv.org/abs/2405.06842
Autor:
Stefan Hug, Stefan Bernhard, Alexander Elias Paul Stratmann, Maike Erber, Lisa Wohlgemuth, Christiane Leonie Knapp, Jonas Martin Bauer, Laura Vidoni, Michael Fauler, Karl Josef Föhr, Peter Radermacher, Andrea Hoffmann, Markus Huber-Lang, David Alexander Christian Messerer
Publikováno v:
Frontiers in Immunology, Vol 12 (2021)
Platelet-activating factor (PAF) is an important mediator of the systemic inflammatory response. In the case of sepsis, proper activation and function of neutrophils as the first line of cellular defense are based on a well-balanced physiological res
Externí odkaz:
https://doaj.org/article/5547ca7041df478095f408b281305e1d
Autor:
David Alexander Christian Messerer, Laura Vidoni, Maike Erber, Alexander Elias Paul Stratmann, Jonas Martin Bauer, Christian Karl Braun, Stefan Hug, Anna Adler, Kristina Nilsson Ekdahl, Bo Nilsson, Eberhard Barth, Peter Radermacher, Markus Huber-Lang
Publikováno v:
Frontiers in Immunology, Vol 11 (2020)
Studying innate immunity in humans is crucial for understanding its role in the pathophysiology of systemic inflammation, particularly in the complex setting of sepsis. Therefore, we standardized a step-by-step process from the venipuncture to the tr
Externí odkaz:
https://doaj.org/article/00c851c545184d8ca1248697a3efcfb9
We present a novel gray-box fuzzing algorithm monitoring executions of instructions converting numerical values to Boolean ones. An important class of such instructions evaluate predicates, e.g., *cmp in LLVM. That alone allows us to infer the input
Externí odkaz:
http://arxiv.org/abs/2401.12643
Autor:
Jonáš, Martin, Strejček, Jan
Publikováno v:
In Theoretical Computer Science 1 September 2024 1008
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
In semi-symbolic (control-explicit data-symbolic) model checking the state-space explosion problem is fought by representing sets of states by first-order formulas over the bit-vector theory. In this model checking approach, most of the verification
Externí odkaz:
http://arxiv.org/abs/1711.09084
Autor:
Jonáš, Martin, Strejček, Jan
Publikováno v:
Published in Information Processing Letters, 2018, vol. 135C
We study the precise computational complexity of deciding satisfiability of first-order quantified formulas over the theory of fixed-size bit-vectors with binary-encoded bit-widths and constants. This problem is known to be in EXPSPACE and to be NEXP
Externí odkaz:
http://arxiv.org/abs/1612.01263