Zobrazeno 1 - 8
of 8
pro vyhledávání: '"David Brodmann"'
Autor:
David Brodmann, Astrid Schuller, Jutta Ludwig-Müller, Roger A. Aeschbacher, Andres Wiemken, Thomas Boller, Astrid Wingler
Publikováno v:
Molecular Plant-Microbe Interactions, Vol 15, Iss 7, Pp 693-700 (2002)
Various microorganisms produce the disaccharide trehalose during their symbiotic and pathogenic interactions with plants. Trehalose has strong effects on plant metabolism and growth; therefore, we became interested to study its possible role in the i
Externí odkaz:
https://doaj.org/article/a8a6115e9acf42c0beb6a8f54af7cbba
Autor:
Tita Ritsema, David Brodmann, Sander H Diks, Carina L Bos, Vinay Nagaraj, Corné M J Pieterse, Thomas Boller, Andres Wiemken, Maikel P Peppelenbosch
Publikováno v:
PLoS ONE, Vol 4, Iss 8, p e6605 (2009)
External sugar initiates biosynthesis of the reserve carbohydrate fructan, but the molecular processes mediating this response remain obscure. Previously it was shown that a phosphatase and a general kinase inhibitor hamper fructan accumulation. We u
Externí odkaz:
https://doaj.org/article/48776519bc15441c8d82a87898c150b6
Autor:
Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann, Christina Rickmann, Anke Stüber, Tim Jungnickel, Henning Seidler, Benjamin Bisping, Paul-David Brodmann
Publikováno v:
Interactive Theorem Proving ISBN: 9783319431437
ITP
ITP
The impossibility of distributed consensus with one faulty process is a result with important consequences for real world distributed systems e.g., commits in replicated databases. Since proofs are not immune to faults and even plausible proofs with
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0483046db36a4c5766f77d009c5e6846
https://doi.org/10.1007/978-3-319-43144-4_7
https://doi.org/10.1007/978-3-319-43144-4_7
Autor:
Carina L. Bos, Vinay J. Nagaraj, David Brodmann, Andres Wiemken, Thomas Boller, Tita Ritsema, Maikel P. Peppelenbosch, Sander H. Diks, Corné M. J. Pieterse
Publikováno v:
PLoS ONE, Vol 4, Iss 8, p e6605 (2009)
PLoS ONE, 4(8), e6605. PLoS ONE
PLoS ONE, 4(8):e6605. PUBLIC LIBRARY SCIENCE
PLoS ONE, 4(8), e6605. PLoS ONE
PLoS ONE, 4(8):e6605. PUBLIC LIBRARY SCIENCE
External sugar initiates biosynthesis of the reserve carbohydrate fructan, but the molecular processes mediating this response remain obscure. Previously it was shown that a phosphatase and a general kinase inhibitor hamper fructan accumulation. We u
Autor:
Bisping, Benjamin, Brodmann, Paul-David, Jungnickel, Tim, Rickmann, Christina, Seidler, Henning, Stüber, Anke, Wilhelm-Weidner, Arno, Peters, Kirstin, Nestmann, Uwe
Publikováno v:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, p107-122, 16p
Publikováno v:
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings; 2016, pI-XVII, 17p
Publikováno v:
Fitness Business Canada; Sep/Oct2007, Vol. 8 Issue 5, p8-9, 2p
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected