Search

Your search keyword '"Thomas, Wolfgang"' showing total 1,220 results
Start Over Author "Thomas, Wolfgang"

Refine your results

more »

more »

more »

more »
1,220 results on '"Thomas, Wolfgang"'

2. On the Boolean Closure of Deterministic Top-Down Tree Automata

Author

Löding, Christof and Thomas, Wolfgang

Subjects
Computer Science - Formal Languages and Automata Theory, F.4.3, F.1.1
Abstract

The class of Boolean combinations of tree languages recognized by deterministic top-down tree automata (also known as deterministic root-to-frontier automata) is studied. The problem of determining for a given regular tree language whether it belongs to this class is open. We provide some progress by two results: First, a characterization of this class by a natural extension of deterministic top-down tree automata is presented, and as an application we obtain a convenient method to show that certain regular tree languages are outside this class. In the second result, it is shown that, for fixed $k$, it is decidable whether a regular tree language is a Boolean combination of $k$ tree languages recognized by deterministic top-down tree automata., Comment: This is a preprint of a paper published in a special issue dedicated to the memory of Magnus Steinby in the International Journal of Foundations of Computer Science. Compared to the published journal version, reference [8] has been added in a comment at the end of the introduction

Published
2024
Full Text
View/download PDF

4. A landscape of resistance gene analogs in sour cherry (Prunus cerasus L.)

Author

Thomas Wolfgang Wöhner and Ofere Francis Emeriewen

Subjects
P. cerasus, Sour cherry, Resistance, NB-LRR, RLK, RLP, Medicine, Biology (General), QH301-705.5, Science (General), Q1-390
Abstract

Abstract Objective This research aims to analyze the presence and distribution of resistance genes in the avium and fruticosa subgenomes of Prunus cerasus through computational methods and bioinformatics tools. Results Analysis of genome and transcriptome sequencing data revealed a total of 19,570 transcripts with at least one resistance gene domain in Prunus cerasus subgenome avium and 19,142 in Prunus cerasus subgenome fruticosa. Key findings include the identification of 804 “complete” resistance gene transcripts in Prunus cerasus subgenome avium and 817 in Prunus cerasus subgenome fruticosa, with distinct distributions of resistance gene classes observed between the subgenomes. Phylogenetic analysis showed clustering of resistance genes, and unique resistance proteins were identified in each subgenome. Functional annotation comparisons with Arabidopsis thaliana highlighted shared and unique resistance genes, emphasizing the complexity of disease resistance in cherry species. Additionally, a higher diversity of RLKs and RLPs was observed, with 504 transcripts identified and 18 showing similarity to known reference genes.

Published
2024
Full Text
View/download PDF

5. A putative gene-for-gene relationship between the Erwinia amylovora effector gene eop1 and the FB_Mar12 resistance locus of Malus ×arnoldiana accession MAL0004

Author

Ofere Francis Emeriewen, Holger Zetzsche, Thomas Wolfgang Wöhner, Henryk Flachowsky, and Andreas Peil

Subjects
apple wild species, fire blight, resistance QTL, resistance-breakdown, Malus hosts, Plant culture, SB1-1110
Abstract

The bacterial pathogen Erwinia amylovora causes fire blight on rosaceous plants, including apples and their wild relatives. The pathogen uses the type III secretion pathogenicity island to inject effector proteins, such as Eop1, into host plants, leading to disease phenotypes in susceptible genotypes. In contrast, resistant genotypes exhibit quantitative resistance associated with genomic regions and/or R-gene-mediated qualitative resistance to withstand the pathogen. In Malus, strong resistance is observed in some wild species accessions, for example, in Malus xarnoldiana accession MAL0004. The resistance locus FB_Mar12, previously identified on linkage group 12 (LG12) of MAL0004, is one of two gene loci in Malus proven to withstand highly virulent North American strains of E. amylovora. This suggests the influence of a major gene, with a few candidate genes proposed within the FB_Mar12 region. In this report, we provide evidence that this gene locus is completely broken down by a mutant strain of the E. amylovora effector protein Eop1 (Δeop1) following artificial shoot inoculations of an ‘Idared’ × MAL0004 F1 progeny set, indicating a gene-for-gene interaction. Interestingly, Δeop1 does not overcome the resistance of the FB_Mar12 donor MAL0004 itself, but only the QTL on LG12, an indication that other resistance factors, possibly QTLs/genes are contributing to the fire blight resistance of MAL0004.

Published
2024
Full Text
View/download PDF

6. Genome sequence of a European Diplocarpon coronariae strain and in silico structure of the mating-type locus

Author

Sophie Richter, Sabine Kind, Thomas Oberhänsli, Michael Schneider, Natalia Nenasheva, Katharina Hoff, Jens Keilwagen, Il-Kweon Yeon, Vincent Philion, Shigeki Moriya, Henryk Flachowsky, Andrea Patocchi, and Thomas Wolfgang Wöhner

Subjects
apple blotch, D. coronariae, Malus, genome sequence, short reads, long reads, Plant culture, SB1-1110
Abstract

Diplocarpon coronariae is a fungal pathogen that is prevalent in low-input apple production. Over the past 15 years, it has become increasingly distributed in Europe. However, comprehensive insights into its biology and pathogenicity remain limited. One particular aspect is the rarity of the sexual morph of this pathogen, a phenomenon hitherto unobserved in Europe. Diplocarpon coronariae reproduces through a heterothallic mating system requiring at least two different mating types for sexual reproduction. Genes determining the mating types are located on the mating-type locus. In this study, D. coronariae strain DC1_JKI from Dresden, Germany, was sequenced and used to unravel the structure of the mating type locus. Using short-read and long-read sequencing methods, the first gapless and near-complete telomere-to-telomere genome assembly of D. coronariae was achieved. The assembled genome spans 51.2 Mbp and comprises 21 chromosome-scale contigs of high completeness. The generated genome sequence was used to in silico elucidate the structure of the mating-type locus, identified as MAT1-2. Furthermore, an examination of MAT1-1 and MAT1-2 frequency across a diverse set of samples sourced from Europe and Asia revealed the exclusive presence of MAT1-2 in European samples, whereas both MAT loci were present in Asian counterparts. Our findings suggest an explanation for the absence of the sexual morph, potentially linked to the absence of the second mating idiomorph of D. coronariae in European apple orchards.

Published
2024
Full Text
View/download PDF

7. Solving Infinite Games in the Baire Space

Author

Brütsch, Benedikt and Thomas, Wolfgang

Subjects
Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science
Abstract

Infinite games (in the form of Gale-Stewart games) are studied where a play is a sequence of natural numbers chosen by two players in alternation, the winning condition being a subset of the Baire space $\omega^\omega$. We consider such games defined by a natural kind of parity automata over the alphabet $\mathbb{N}$, called $\mathbb{N}$-MSO-automata, where transitions are specified by monadic second-order formulas over the successor structure of the natural numbers. We show that the classical B\"uchi-Landweber Theorem (for finite-state games in the Cantor space $2^\omega$) holds again for the present games: A game defined by a deterministic parity $\mathbb{N}$-MSO-automaton is determined, the winner can be computed, and an $\mathbb{N}$-MSO-transducer realizing a winning strategy for the winner can be constructed., Comment: Updated header on title page. 26 pages, 1 figure

Published
2021

8. Impact of COVID-19 infection on lung function and nutritional status amongst individuals with cystic fibrosis: A global cohort study

Author

Kasmi, Irena, Drali, Ouardia, Burghart, Sabine, Lakatos-Krepcik, Andrea, Eder, Johannes, Jaksch, Peter, Kainz, Katharina, Kallinger, Margit, Leitner, Alexander, Mozdzen, Marta, Pfleger, Andreas, Renner, Sabine, Stadlinger, Martin, Thir, Christina, Nuriyev, Emil, Boboli, Hedwige, De Wachter, Elke, Dupont, Lieven, Gohy, Sophie, Hanssens, Laurence, Knoop, Christiane, Lammertyn, Elise, Nowé, Vicky, Pirson, Jessica, Thimmesch, Matthieu, Van Braeckel, Eva, Van Hoorenbeeck, Kim, Vanderhelst, Eef, Filho, Eduardo Piacentini, Athanazio, Rodrigo Abensur, Martins, Valéria de Carvalho, Duarte, Marta Cristina, Monte, Luciana de Freitas Velloso, de Fuccio, Marcelo Bicalho, Knabben, Adriana de Siqueira Carvalho, Melloti, Roberta, Meneses, Daniela Gois, Petrova, Guergana, Tješić-Drinković, Duška, Dugac, Andrea Vukić, Bambir, Ivan, Yiallouros, Panayiotis, Bilkova, Alena, Drevinek, Pavel, Macek, Milan, Jr, Olesen, Hanne Vebert, Pressler, Tania, Fouda, Eman Mahmoud, Nasr, Samya, Weldetsadik, Abate Yeshidinber, Al-iede, Montaha, Abdrakhmanov, Olzhas, Corvol, Harriet, Lemonnier-Videau, Lydie, Abely, Michel, Piccini, Carole Bailly, Belleguic, Chantal, Bihouee, Tiphaine, Billon, Yves, Bui, Stéphanie, Camara, Boubou, Cheraud, Marie-Christine, Chiron, Raphael, Duet, Emmanuelle Coirier, Cosson, Laure, Dalphin, Marie-Laure, Boucher, Isabelle Danner, De Miranda, Sandra, Deneuville, Eric, Dubus, Jean-Christophe, Durieu, Isabelle, Epaud, Ralph, Gerardin, Michèle, Grenet, Dominique, Houdouin, Véronique, Huet, Frédéric, Reem, Kanaan, Kessler, Romain, Languepin, Jeanne, Laurans, Muriel, Leroy, Sylvie, Llerena, Cathie, Macey, Julie, Mankikian, Julie, Marguet, Christophe, Martin, Clémence, Mely, Laurent, Mittaine, Marie, Murris-Espin, Marlène, Perisson, Caroline, Prevotat, Anne, Ramel, Sophie, Rames, Cinthia, Reix, Philippe, Revillon, Marine, Reynaud-Gaubert, Martine, Richaud-Thiriez, Bénédicte, Rittie, Jean-Luc, Scalbert-Dujardin, Manuëla, Sermet-Gaudelus, Isabelle, Storni, Véronique, Tatopoulos, Aurélie, Thouvenin, Guillaume, Troussier, Françoise, Weiss, Laurence, Wizla, Nathalie, Behl, Eva-Susanne, Brinkmann, Folke, Claßen, Martin, Graepler-Mainka, Ute, Griese, Matthias, Grübl, Armin, Hammermann, Jutta, Hebestreit, Helge, Heinzmann, Andrea, Herz, Alexander, Kiefer, Alexander, Kinder, Birte, Köster, Holger, Kuhnert, Stefan, Mainz, Jochen, Mayer, Angelika, Naehrig, Susanne, Niehues, Tim, Nüßlein, Thomas, Poplawska, Krystyna, Ringshausen, Felix, Rose, Markus, Rosenecker, Josef, Ruppel, Renate, Scharschinger, Anette, Schropp, Christian, Schwarz, Carsten, Smaczny, Christina, Sommerburg, Olaf, Sutharsan, Sivagurunathan, Stolz, Simone, Thomas, Wolfgang, Wege, Sabine, Welzenbach, Britta, Wollschläger, Bettina, Diamantea, Filia, Hatziagorou, Elpis, Manika, Katerina, Cox, Des, Elnazir, Basil, Fletcher, Godfrey, Gunaratnam, Cedric, McKone, Edward F., Plant, Barry J., Cohen-Cymberknoh, Malena, Gur, Michal, Livnat, Galit, Mei-Zahav, Meir, Amato, Annalisa, Ferrari, Gianluca, Badolato, Raffaele, Poli, Piercarlo, Battistini, Fiorella, Donati, Valentina, Bignamini, Elisabetta, Folino, Anna, Carnovale, Vincenzo, Castellani, Carlo, Casciaro, Rosaria, Cimino, Giuseppe, Cipolli, Marco, Lucca, Francesca, Collura, Mirella, Ficili, Francesca, Daccò, Valeria, Gagliano, Vanessa, Pizzamiglio, Giovanna, Mencarini, Valeria, Palladino, Nicola, Leonardi, Salvatore, Rotolo, Novella, Lucanto, Maria Cristina, Quattromano, Ester, Lucidi, Vincenzina, Majo, Fabio, Alghisi, Federico, Ciciriello, Fabiana, Manca, Antonio, Leonetti, Giuseppina, Maschio, Massimo, Messore, Barbara, Pantano, Stefano, Pisi, Giovanna, Spaggiari, Cinzia, Raia, Valeria, Laezza, Caterina, Ros, Mirco, Salvatore, Donatello, Taccetti, Giovanni, Francalanci, Michela, Vitullo, Pamela, Zolin, Anna, Aleksejeva, Elina, Malakauskas, Kestutis, Misevičiene, Valdone, Charatsi, Anna-Maria, la Barrière, Hélène De, Altenburg, Josje, Bannier, Michiel, Heijerman, Harry, Janssens, Hettie, Koppelman, Gerard, van der Meer, Renske, Merkus, Peter, Nuijsink, Marianne, Terheggen, Suzanne, van der Vaart, Hester, Wesseling, Geert-Jan, de Winter, Karin, Danevska, Ivana Arnaudova, Maretti, Tatjana Jakovska, Fustik, Stojka, Dziecichowicz-Latała, Daria, Wojsyk-Banaszak, Irena, Wozniacki, Lukasz, Amorim, Adelina, Santos, Ana Sofia Araújo, Castanhinha, Susana, Gamboa, Fernanda, Silva, Teresa Reis, Gonçalves, Fabienne, Pereira, Luísa, Ciuca, Ioana, Silva, Sónia, Csilla-Enikö, Szabo, Stan, Iustina, Amelina, Elena, Boitсova, Evgeniya, Chernyavskaya, Anastasia, Gorinova, Yuliya, Krasovskiy, Stanislav, Mukhina, Maria, Sherman, Victoria, Simonova, Olga, Kondratyeva, Elena, Bérešová, Eva, Bližnáková, Nina, Kayserová, Hana, Salobir, Barbara, Šelb, Julij, Krivec, Uroš, Fernandez, Antonio José Aguilar, Fernàndez, Antonio Alvarez, García, Félix Baranda, Aparicio, Marina Blanco, Corullón, Silvia Castillo, Cortell-Aznar, Isidoro, Pérez, Inés, Colomer, Jordi Costa i, Roig, María Cols, Pecellín, Isabel Delgado, Cáceres, Layla Diab, Paredes, Carmen Luna, Gartner, Silvia, Martínez, José Ramón Gutiérrez, Labarga, Inés Herrero, Girón-Moreno, Rosa Maria, Nogueira, Esperanza Jiménez, Ferreiro, Adelaida Lamas, Neyra, Alejandro López, Castro, Enrique Blitz, Galarraga, Laura Moreno, de Vincente, Carlos Martin, Navarro, Silvia Merlos, Nieto-Royo, Rosa, Fuster, Casilda Olveira, Pastor, Maria Dolores, Pérez-Ruiz, Estela, Prados-Sánchez, Concepción, Cancelo, Isabel Ramos, de Valbuena, Marta Ruiz, Asensi, José R. Villa, Santiago, Veronica Sanz, García, Patricia Fernández, Tawfeeq, Reem Mustafa, Banki, Adrienn, Gilljam, Marita, Krantz, Christina, Lindberg, Ulrika, Lindblad, Anders, Clarenbach, Christian, Steinack, Carolin, Hage, René, Schuurmans, Macé, Fischer, Reta, Kusche, Rachel, Rochat, Isabelle, Walter, Anna-Lena, Kamalaporn, Harutai, Hamouda, Samia, Tural, Dilber Ademhan, Ozcelik, Ugur, Asfuroğlu, Pelin, Eyüboğlu, Tuğba Şişmanlar, Aslan, Ayse Tana, Bingöl, Ayşen, Çobanoğlu, Nazan, Ozcan, Gizem, Dogru, Deniz, Gökdemir, Yasemin, KÖSE, Mehmet, Pekcan, Sevgi, Cosgriff, Rebecca, Semenchuk, Julie, Naito, Yumi, Charman, Susan C., Carr, Siobhán B, Cheng, Stephanie Y., Marshall, Bruce C., Faro, Albert, Elbert, Alexander, Gutierrez, Hector H., Goss, Christopher H., Karadag, Bulent, Burgel, Pierre-Régis, Colombo, Carla, Salvatore, Marco, Padoan, Rita, Daneau, Géraldine, Harutyunyan, Satenik, Kashirskaya, Nataliya, Kirwan, Laura, Middleton, Peter G, Ruseckaite, Rasa, de Monestrol, Isabelle, Naehrlich, Lutz, Mondejar-Lopez, Pedro, Jung, Andreas, van Rens, Jacqui, Bakkeheim, Egil, Orenti, Annalisa, Zomer-van Ommen, Domenique, da Silva-Filho, Luiz Vicente RF, Fernandes, Flavia Fonseca, Zampoli, Marco, and Stephenson, Anne L.

Published
2024
Full Text
View/download PDF

9. Early postnatal high-dose fat-soluble enteral vitamin A supplementation for moderate or severe bronchopulmonary dysplasia or death in extremely low birthweight infants (NeoVitaA): a multicentre, randomised, parallel-group, double-blind, placebo-controlled, investigator-initiated phase 3 trial

Author

Schuler, Rahel, Kampschulte, Birgit, Schmidt, Annesuse, Atanasov, Svilen, Dzietko, Mark, Prager, Sebastian, Bialas, Ioana, Kramps, Petra, Beckmann, Sarah, Seidenberg, Jürgen, Majosthusmann, Katja, Potratz, Jenny, van den Heuvel, Alijda, Tekaat, Maria, Dettmers, Susanne, Unterweger, Marie-Therese, Nowak, Heike, Möller, Jens, Thome, Ulrich, Arand, Jörg, Luger, Beate, Maiwald, Christian A, Heideking, Martin, Heckmann, Matthias, Keller-Wacherbauer, Annette, Michel, Holger, Karen, Tanja, Schmid, Anna, Pellkofer, Yasmin, Griesmaier, Elke, Genzel-Boroviczeny, Orsolya, Mata Fernandez, Raquel, Avenarius, Stefan, Czoske, Andrea, Block, Christoph, Schwarz, Simone, Jenke, Andreas, Grass, Tamara, Kuntz, Martin, Fahlbusch, Fabian, Pöschl, Johannes, Metzger, Jule, Ronellenfitsch, Sebastian, Schaible, Thomas, Reinhard, Julia, Trepels-Kottek, Sonja, Bauer, Jacqueline, Herting, Egbert, Henn, Wolfram, Laupert, Annette, Jathe, Rebecca, Meyer, Sascha, Bay, Johannes, Franz, Axel R, Ehrhardt, Harald, Klein, Lars, Petzinger, Jutta, Binder, Christoph, Kirschenhofer, Susanne, Stein, Anja, Hüning, Britta, Heep, Axel, Cloppenburg, Eva, Muyimbwa, Julia, Ott, Torsten, Sandkötter, Julia, Teig, Norbert, Wiegand, Susanne, Schroth, Michael, Kick, Andrea, Wurm, Donald, Gebauer, Corinna, Linnemann, Knud, Kittel, Jochen, Wieg, Christian, Kiechl-Kohlendorfer, Ursula, Schmidt, Susanne, Böttger, Ralf, Thomas, Wolfgang, Brevis Nunez, Francisco, Stockmann, Antje, Kriebel, Thomas, Müller, Andreas, Klotz, Daniel, Morhart, Patrick, Nohr, Donatus, Biesalski, Hans Konrad, Giannopoulou, Eleni Z, Hilt, Susanne, Poryo, Martin, Wagenpfeil, Stefan, Haiden, Nadja, Ruckes, Christian, Ehrlich, Anne, and Gortner, Ludwig

Published
2024
Full Text
View/download PDF

10. Genome sequence of a European Diplocarpon coronariae strain and in silico structure of the mating-type locus.

Author

Richter, Sophie, Kind, Sabine, Oberhänsli, Thomas Wolfgang, Schneider, Michael, Nenasheva, Natalia, Hoff, Katharina, Keilwagen, Jens, Il-Kweon Yeon, Philion, Vincent, Shigeki Moriya, Flachowsky, Henryk, Patocchi, Andrea, and Wöhner, Thomas Wolfgang

Subjects
APPLE growing, LOCUS (Genetics), GENOMES, LOCUS (Mathematics), BIOLOGY
Abstract

Diplocarpon coronariae is a fungal pathogen that is prevalent in low-input apple production. Over the past 15 years, it has become increasingly distributed in Europe. However, comprehensive insights into its biology and pathogenicity remain limited. One particular aspect is the rarity of the sexual morph of this pathogen, a phenomenon hitherto unobserved in Europe. Diplocarpon coronariae reproduces through a heterothallic mating system requiring at least two different mating types for sexual reproduction. Genes determining the mating types are located on the mating-type locus. In this study, D. coronariae strain DC1_JKI from Dresden, Germany, was sequenced and used to unravel the structure of the mating type locus. Using short-read and long-read sequencing methods, the first gapless and near-complete telomere-to-telomere genome assembly of D. coronariae was achieved. The assembled genome spans 51.2 Mbp and comprises 21 chromosome-scale contigs of high completeness. The generated genome sequence was used to in silico elucidate the structure of the mating-type locus, identified as MAT1-2. Furthermore, an examination of MAT1-1 and MAT1-2 frequency across a diverse set of samples sourced from Europe and Asia revealed the exclusive presence of MAT1-2 in European samples, whereas both MAT loci were present in Asian counterparts. Our findings suggest an explanation for the absence of the sexual morph, potentially linked to the absence of the second mating idiomorph of D. coronariae in European apple orchards. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

11. YOLO-Based Phenotyping of Apple Blotch Disease (Diplocarpon coronariae) in Genetic Resources after Artificial Inoculation

Author

Stefanie Reim, Sophie Richter, Oskar Leonhardt, Virginia Maß, and Thomas Wolfgang Wöhner

Subjects
apple varieties, fruit breeding, object detection, YOLO, Marssonina leaf spot, Agriculture
Abstract

Phenotyping of genetic resources is an important prerequisite for the selection of resistant varieties in breeding programs and research. Computer vision techniques have proven to be a useful tool for digital phenotyping of diseases of interest. One pathogen that is increasingly observed in Europe is Diplocarpon coronariae, which causes apple blotch disease. In this study, a high-throughput phenotyping method was established to evaluate genetic apple resources for susceptibility to D. coronariae. For this purpose, inoculation trials with D. coronariae were performed in a laboratory and images of infested leaves were taken 7, 9 and 13 days post inoculation. A pre-trained YOLOv5s model was chosen to establish the model, which was trained with an image dataset of 927 RGB images. The images had a size of 768 × 768 pixels and were divided into 738 annotated training images, 78 validation images and 111 background images without symptoms. The accuracy of symptom prediction with the trained model was 95%. These results indicate that our model can accurately and efficiently detect spots with acervuli on detached apple leaves. Object detection can therefore be used for digital phenotyping of detached leaf assays to assess the susceptibility to D. coronariae in a laboratory.

Published
2024
Full Text
View/download PDF

12. Impact of elexacaftor/tezacaftor/ivacaftor on lung function, nutritional status, pulmonary exacerbation frequency and sweat chloride in people with cystic fibrosis: real-world evidence from the German CF Registry

Author

Tenbrock, Klaus, Pfannenstiel, Claus, Steffen, Dirk, Meister, Jochen, Welzenbach, Britta, Scharschinger, Anette, Kratz, Markus, Pincus, Maike, Tenenbaum, Tobias, Stahl, Mirjam, Landwehr, Kerstin, Dillenhöfer, Stefanie, Kössel, Hans, Kaiser, Petra, Käding, Manfred, Stolz, Simone, Blaas, Stefan, Hammermann, Jutta, Gappa, Monika, Schuster, Antje, Spittel, Dana, Zirlik, Sabine, Schmitt, Sabina, Stehling, Florian, Sutharsan, Sivagurunathan, Bargon, Joachim, Cremer, Malte, Smaczny, Christina, Fähndrich, Sebastian, Heinzmann, Andrea, Nährlich, Lutz, Kuhnert, Stefan, Schmidt, Sebastian, Wollschläger, Bettina, Nolde, Anna, Held, Inka, Kamin, Wolfgang, Ringshausen, Felix C., Dittrich, Anna-Maria, Wege, Sabine, Sommerburg, Olaf, Geier, Norbert, Fleser, Sara Lisa, Wilkens, Heinrike, Ellemunter, Helmut, Lorenz, Michael, Vöhringer, Paul, Schebek, Martin, Timke, Christian, Bobis, Ingrid, Nüßlein, Thomas, Dieninghoff, Doris, Rietschel, Ernst, Klinkhammer, Bastian, Prenzel, Freerk, Wald, Alexandra, Kempa, Axel, Brinkmann, Folke, Lücke, Eva, Adams, Ines, Poplawska, Krystyna, Lehmkühler, Simone, Bauck, Monika, Pfülb, Anne, Fischer, Rainald, Schopper, Gudrun, Nährig, Susanne, Griese, Matthias, Grosse, Jörg, Küster, Peter, KinderHolger Köster, Birte, Büsing, Susanne, Pohl, Margarethe, Schwarz, Carsten, Artlich, Andreas, Kiefer, Alexander, Ballmann, Manfred, Gjorgjevski, Nikola, Rose, Markus A., Ruf, Friederike, Mahlberg, Rolf, Thomas, Wolfgang, Graepler, Ute, Bode, Sebastian, hilipp Meyn, Rosenecker, Josef, Koerner, Cordula, Keller, Klaus-Michael, Teßmer, Tina, Hebestreit, Helge, Lohse, Gerhild, Dillenhoefer, Stefanie, Welsner, Matthias, Burkhart, Manuel, Eickmeier, Olaf, Kappler, Matthias, Sieber, Sarah, Naehrig, Susanne, and Naehrlich, Lutz

Published
2023
Full Text
View/download PDF

13. The Scope of First-Order Logic

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

14. Extensions of First-Order Logic

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

15. Syntax of First-Order Languages

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

16. An Algebraic Characterization of Elementary Equivalence

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

17. Introduction

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

18. Lindström’s Theorems

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

19. A Sequent Calculus

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

20. Free Models and Logic Programming

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

21. The Löwenheim–Skolem Theorem and the Compactness Theorem

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

22. Syntactic Interpretations and Normal Forms

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

23. Computability and Its Limitations

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

24. The Completeness Theorem

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Vakil, Ravi, Series Editor, Adem, Alejandro, Advisory Editor, Eisenbud, David, Advisory Editor, Hall, Brian C., Advisory Editor, Hersh, Patricia, Advisory Editor, Lagarias, Jeffrey C., Advisory Editor, Malinnikova, Eugenia, Advisory Editor, Ono, Ken, Advisory Editor, Quastel, Jeremy, Advisory Editor, Simon, Barry, Advisory Editor, Weintraub, Steven H., Advisory Editor, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2021
Full Text
View/download PDF

25. A putative gene-for-gene relationship between the Erwinia amylovora effector gene eop1 and the FB_Mar12 resistance locus of Malus × arnoldiana accession MAL0004.

Author

Emeriewen, Ofere Francis, Zetzsche, Holger, Wöhner, Thomas Wolfgang, Flachowsky, Henryk, and Peil, Andreas

Subjects
ERWINIA amylovora, WILDFIRES, HOST plants, PHENOTYPES, LOCUS (Genetics)
Abstract

The bacterial pathogen Erwinia amylovora causes fire blight on rosaceous plants, including apples and their wild relatives. The pathogen uses the type III secretion pathogenicity island to inject effector proteins, such as Eop1, into host plants, leading to disease phenotypes in susceptible genotypes. In contrast, resistant genotypes exhibit quantitative resistance associated with genomic regions and/or R-gene-mediated qualitative resistance to withstand the pathogen. In Malus , strong resistance is observed in some wild species accessions, for example, in Malus xarnoldiana accession MAL0004. The resistance locus FB_Mar12 , previously identified on linkage group 12 (LG12) of MAL0004, is one of two gene loci in Malus proven to withstand highly virulent North American strains of E. amylovora. This suggests the influence of a major gene, with a few candidate genes proposed within the FB_Mar12 region. In this report, we provide evidence that this gene locus is completely broken down by a mutant strain of the E. amylovora effector protein Eop1 (Δ eop1) following artificial shoot inoculations of an 'Idared' × MAL0004 F1 progeny set, indicating a gene-for-gene interaction. Interestingly, Δ eop1 does not overcome the resistance of the FB_Mar12 donor MAL0004 itself, but only the QTL on LG12, an indication that other resistance factors, possibly QTLs/genes are contributing to the fire blight resistance of MAL0004. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

26. Thyroid Function, Diabetes, and Common Age-Related Eye Diseases: A Mendelian Randomization Study.

Author

Ellervik, Christina, Boulakh, Lena, Teumer, Alexander, Marouli, Eirini, Kuś, Aleksander, Buch Hesgaard, Helena, Heegaard, Steffen, Blankers, Lizette, Sterenborg, Rosalie, Åsvold, Bjørn Olav, Winkler, Thomas Wolfgang, Medici, Marco, and Kjaergaard, Alisa Devedzic

Subjects
MACULAR degeneration, TYPE 1 diabetes, TYPE 2 diabetes, DIABETIC retinopathy, EYE diseases
Abstract

Background: Previous Mendelian randomization (MR) studies showed an association between hypothyroidism and cataract and between high-normal free thyroxine (FT4) and late age-related macular degeneration (AMD), but not between FT4, thyroid stimulating hormone (TSH), or hyperthyroidism and diabetic retinopathy or cataract. These studies included a limited number of genetic variants for thyroid function and did not investigate autoimmune thyroid disease (AITD) or glaucoma, include bidirectional and multivariable MR (MVMR), and examine sex differences or potential mediation effects of diabetes. We aimed to address this knowledge gap. Methods: We examined the causality and directionality of the associations of AITD, and FT4 and TSH within the reference range with common age-related eye diseases (diabetic retinopathy, cataract, early and late AMD, and primary open-angle glaucoma). We conducted a bidirectional two-sample MR study utilizing publicly available genome-wide association study (GWAS) summary statistics from international consortia (ThyroidOmics, International AMD Genetics Consortium, deCODE, UK Biobank, FinnGen, and DIAGRAM). Bidirectional MR tested directionality, whereas MVMR estimated independent causal effects. Furthermore, we investigated type 1 diabetes (T1D) and type 2 diabetes (T2D) as potential mediators. Results: Genetic predisposition to AITD was associated with increased risk of diabetic retinopathy (p = 3 × 10−4), cataract (p = 3 × 10−3), and T1D (p = 1 × 10−3), but less likely T2D (p = 0.01). MVMR showed attenuated estimates for diabetic retinopathy and cataract when adjusting for T1D, but not T2D. We found pairwise bidirectional associations between AITD, T1D, and diabetic retinopathy. Genetic predisposition to both T1D and T2D increased the risk of diabetic retinopathy and cataract (p < 4 × 10−4). Moreover, genetically predicted higher FT4 within the reference range was associated with an increased risk of late AMD (p = 0.01), particularly in women (p = 7 × 10−3). However, we neither found any association between FT4 and early AMD nor between TSH and early and late AMD. No other associations were observed. Conclusions: Genetic predisposition to AITD is associated with risk of diabetic retinopathy and cataract, mostly mediated through increased T1D risk. Reciprocal associations between AITD, diabetic retinopathy, and T1D imply a shared autoimmune origin. The role of FT4 in AMD and potential sex discrepancies needs further investigation. [ABSTRACT FROM AUTHOR]

Published
2024
Full Text
View/download PDF

29. Playing Games in the Baire Space

Author

Brütsch, Benedikt and Thomas, Wolfgang

Subjects
Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science
Abstract

We solve a generalized version of Church's Synthesis Problem where a play is given by a sequence of natural numbers rather than a sequence of bits; so a play is an element of the Baire space rather than of the Cantor space. Two players Input and Output choose natural numbers in alternation to generate a play. We present a natural model of automata ("N-memory automata") equipped with the parity acceptance condition, and we introduce also the corresponding model of "N-memory transducers". We show that solvability of games specified by N-memory automata (i.e., existence of a winning strategy for player Output) is decidable, and that in this case an N-memory transducer can be constructed that implements a winning strategy for player Output., Comment: In Proceedings Cassting'16/SynCoP'16, arXiv:1608.00177

Published
2016
Full Text
View/download PDF

32. Optimal Strategy Synthesis for Request-Response Games

Author

Horn, Florian, Thomas, Wolfgang, Wallmeier, Nico, and Zimmermann, Martin

Subjects
Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science
Abstract

We show the existence and effective computability of optimal winning strategies for request-response games in case the quality of a play is measured by the limit superior of the mean accumulated waiting times between requests and their responses., Comment: The present paper is a revised version with simplified proofs of results announced in the conference paper of the same name presented at ATVA 2008, which in turn extended results of the third author's dissertation

Published
2014

35. Ein Sequenzenkalkül

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2018
Full Text
View/download PDF

43. Einleitung

Author

Ebbinghaus, Heinz-Dieter, Flum, Jörg, Thomas, Wolfgang, Ebbinghaus, Heinz-Dieter, Flum, Jörg, and Thomas, Wolfgang

Published
2018
Full Text
View/download PDF

50. Degrees of Lookahead in Regular Infinite Games

Author

Holtmann, Michael, Kaiser, Lukasz, and Thomas, Wolfgang

Subjects
Computer Science - Formal Languages and Automata Theory, D.2.4
Abstract

We study variants of regular infinite games where the strict alternation of moves between the two players is subject to modifications. The second player may postpone a move for a finite number of steps, or, in other words, exploit in his strategy some lookahead on the moves of the opponent. This captures situations in distributed systems, e.g. when buffers are present in communication or when signal transmission between components is deferred. We distinguish strategies with different degrees of lookahead, among them being the continuous and the bounded lookahead strategies. In the first case the lookahead is of finite possibly unbounded size, whereas in the second case it is of bounded size. We show that for regular infinite games the solvability by continuous strategies is decidable, and that a continuous strategy can always be reduced to one of bounded lookahead. Moreover, this lookahead is at most doubly exponential in the size of a given parity automaton recognizing the winning condition. We also show that the result fails for non-regular gamesxwhere the winning condition is given by a context-free omega-language., Comment: LMCS submission

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results