Institut für Informatik und Computational Science
Refine
Author
- Schaub, Torsten H. (163)
- Gössel, Michael (63)
- Delgrande, James Patrick (38)
- Gebser, Martin (34)
- Linke, Thomas (30)
- Müller, Klaus-Robert (29)
- Schnor, Bettina (28)
- Sogomonyan, Egor S. (26)
- Tompits, Hans (26)
- Lucke, Ulrike (22)
- Meinel, Christoph (22)
- Bordihn, Henning (21)
- Saposhnikov, Vl. V. (20)
- Jürgensen, Helmut (19)
- Konczak, Kathrin (19)
- Saposhnikov, V. V. (19)
- Besnard, Philippe (18)
- Kiy, Alexander (17)
- Woltran, Stefan (17)
- Horn, Erika (16)
- Margaria, Tiziana (16)
- Schwill, Andreas (16)
- Kunz, Wolfgang (15)
- Reinke, Thomas (14)
- Kupries, Mario (13)
- Krstić, Miloš (12)
- Selbig, Joachim (12)
- Wang, Kewen (12)
- Anger, Christian (11)
- Scheffer, Tobias (11)
- Thiele, Sven (11)
- Morosov, Andrej (10)
- Romeike, Ralf (10)
- Rätsch, Gunnar (10)
- Kaufmann, Benjamin (9)
- Lamprecht, Anna-Lena (9)
- Landwehr, Niels (9)
- Magenheim, Johannes (9)
- Nicolas, Pascal (9)
- Schroeder, Ulrik (9)
- Seuring, Markus (9)
- Steffen, Bernhard (9)
- Weske, Mathias (9)
- Bergner, Nadine (8)
- Brüning, Stefan (8)
- Cabalar, Pedro (8)
- Curio, Gabriel (8)
- Dimitriev, Alexej (8)
- Holzer, Markus (8)
- Mercer, Robert E. (8)
- Blankertz, Benjamin (7)
- Börner, Ferdinand (7)
- Fandinno, Jorge (7)
- Kreitz, Christoph (7)
- Kujath, Bertold (7)
- Schneidenbach, Lars (7)
- Schubert, Wolfgang (7)
- Schulze, Bert-Wolfgang (7)
- Weicker, Karsten (7)
- Ziehe, Andreas (7)
- Döllner, Jürgen Roland Friedrich (6)
- Kaminski, Roland (6)
- Knobelsdorf, Maria (6)
- Kutrib, Martin (6)
- Marienfeld, Daniel (6)
- Ostrowski, Max (6)
- Prasse, Paul (6)
- Schubert, Sigrid (6)
- Stoffel, Dominik (6)
- Tarnick, Steffen (6)
- Andjelkovic, Marko (5)
- Chen, Junchao (5)
- Dornhege, Guido (5)
- Gharib, Mona (5)
- Giese, Holger (5)
- Hafer, Jörg (5)
- Harmeling, Stefan (5)
- Hartje, Hendrik (5)
- Janhunen, Tomi (5)
- Keil, Reinhard (5)
- Koutzevlov, Atanas (5)
- Krahmer, Sebastian (5)
- Luckow, André (5)
- Meinecke, Frank C. (5)
- Mika, Sebastian (5)
- Otscheretnij, Vitalij (5)
- Pearce, David (5)
- Pradhan, D. K. (5)
- Przybylla, Mareen (5)
- Reinhardt, Wolfgang (5)
- Schrape, Oliver (5)
- Schröder-Preikschat, Wolfgang (5)
- Tschapek, Alexej (5)
- Wanko, Philipp (5)
- Zoerner, Dietmar (5)
- Al-Saffar, Loay Talib Ahmed (4)
- Bartl, Peter (4)
- Benhammadi, Farid (4)
- Berges, Marc (4)
- Bickel, Steffen (4)
- Bröker, Kathrin (4)
- Böhne, Sebastian (4)
- Diethelm, Ira (4)
- Dörge, Christina (4)
- Engbring, Dieter (4)
- Flöter, André (4)
- Gericke, Lutz (4)
- Glöde, Dirk (4)
- Goessel, Michael (4)
- Göttel, Timo (4)
- Herwig, Ralf (4)
- Hirschfeld, Robert (4)
- Hubwieser, Peter (4)
- Knoth, Alexander Henning (4)
- Köhlmann, Wiebke (4)
- Leininger, Andreas (4)
- Lienhard, Matthias (4)
- Lindauer, Marius (4)
- Metzger, Christiane (4)
- Mitrana, Victor (4)
- Neumann, André (4)
- Noweski, Christine (4)
- Ocheretnij, V. (4)
- Opel, Simone (4)
- Polyvyanyy, Artem (4)
- Rolf, Arno (4)
- Sack, Harald (4)
- Sahlmann, Kristina (4)
- Schellhorn, Sebastian (4)
- Schölkopf, B. (4)
- Siegel, Anne (4)
- Singh, Adit D. (4)
- Stede, Manfred (4)
- Strickroth, Sven (4)
- Tarkhanov, Nikolai Nikolaevich (4)
- Thienen, Julia von (4)
- Uflacker, Matthias (4)
- Vaszil, György (4)
- Videla, Santiago (4)
- Zender, Raphael (4)
- Zendler, Andreas (4)
- Aguado, Felicidad (3)
- Bensch, Suna (3)
- Birbaumer, Niels (3)
- Bobda, Christophe (3)
- Bogue, Ted (3)
- Brain, Martin (3)
- Breitenreiter, Anselm (3)
- Brückner, Michael (3)
- Dietze, Stefan (3)
- Fabian, Benjamin (3)
- Frank, Mario (3)
- Freischlad, Stefan (3)
- Friedrich, Sven (3)
- Gerber, Stefan (3)
- Gerbser, Martin (3)
- Gressmann, Jean (3)
- Grillenberger, Andreas (3)
- Gumienny, Raja (3)
- Günther, Oliver (3)
- Haider, Peter (3)
- Hecher, Markus (3)
- Holz, Jan (3)
- Hoos, Holger (3)
- Hunter, Anthony (3)
- Iversen, Pascal (3)
- Kawanabe, Motoaki (3)
- Kiertscher, Simon (3)
- Knezek, Gerald (3)
- Kowark, Thomas (3)
- Kramer, Matthias (3)
- Krauledat, Matthias (3)
- Kyprianidis, Jan Eric (3)
- Lee, Joohyung (3)
- Leifer, Larry (3)
- Leonhardt, Thiemo (3)
- Lierler, Yuliya (3)
- Lindberg, Tilmann (3)
- Lühne, Patrick (3)
- Maratea, Marco (3)
- Mendling, Jan (3)
- Middelanis, Robin (3)
- Mileo, Alessandra (3)
- Moebert, Tobias (3)
- Moshanin, Vl. (3)
- Mühlbauer, Felix (3)
- Mühling, Andreas (3)
- Nicolas, Jacques (3)
- Nienhaus, Marc (3)
- Obermeier, Philipp (3)
- Ohrndorf, Laura (3)
- Perez, Gilberto (3)
- Rabenalt, Thomas (3)
- Rasche, Andreas (3)
- Rauth, Ingo (3)
- Richter, Michael (3)
- Richter, Peter (3)
- Saposhnikov, Va. V. (3)
- Sarsakov, Vladimir (3)
- Scheffler, Thomas (3)
- Schirmer, Ingrid (3)
- Schulte, Carsten (3)
- Schumann, Marlen (3)
- Seibel, Andreas (3)
- Simevski, Aleksandar (3)
- Smola, Alexander J. (3)
- Stechert, Peer (3)
- Steinert, Bastian (3)
- Sugiyama, Masashi (3)
- Tepoyan, Liparit (3)
- Thedinga, Kristina (3)
- Thurner, Veronika (3)
- Tichy, Richard (3)
- Webb, Mary (3)
- Weidling, Stefan (3)
- Weigend, Michael (3)
- Wildner, Uwe (3)
- Willmitzer, Lothar (3)
- Winkelnkemper, Felix (3)
- Zeier, Alexander (3)
- Abke, Jörg (2)
- Abreu-Ellis, Carla Reis (2)
- AbuJarour, Mohammed (2)
- Adolphs, Julian (2)
- Afantenos, Stergos (2)
- Ahmad, Nadeem (2)
- Al Laban, Firas (2)
- Alnemr, Rehab (2)
- Andjelković, Marko (2)
- Angondi, Enos Kiforo (2)
- Apel, Rebecca (2)
- Appeltauer, Malte (2)
- Arnold, Holger (2)
- Baier, Thomas (2)
- Balan, Sakthin M. (2)
- Banbara, Mutsunori (2)
- Barnes, Jan (2)
- Baudisch, Patrick (2)
- Bellgardt, Martin (2)
- Bender, Katrin (2)
- Bendrups, Faye (2)
- Benzmüller, Christoph (2)
- Berg, Tobias (2)
- Bibel, Ariane (2)
- Bieniusa, Annette (2)
- Blum, Niklas (2)
- Bottino, Rosa (2)
- Brandt, Christopher (2)
- Braun, Iris (2)
- Brewka, Gerhard (2)
- Brinda, Torsten (2)
- Brzozowski, J. A. (2)
- Brück, Rainer (2)
- Büchner, Steffen (2)
- Chatterjee, M. (2)
- Chioccariello, Augusto (2)
- Christensen, Rhonda (2)
- Clemens, Vera (2)
- Crestani, Marcus (2)
- Curzon, Paul (2)
- Czernik, Sofie (2)
- Dagiene, Valentina (2)
- Dammer, Karl-Heinz (2)
- Damnik, Gregor (2)
- Dassow, Juergen (2)
- Davis, Niki (2)
- Degen, Markus (2)
- Dennert-Möller, Elisabeth (2)
- Dieguez, Martin (2)
- Dmitriev, Alexej (2)
- Dramlitsch, Thomas (2)
- Drews, Paul (2)
- Duane, Russell (2)
- Dünnebier, Malte (2)
- D’Elia, Domenica (2)
- Eduati, Federica (2)
- Ehlenz, Matthias (2)
- Eickelmann, Birgit (2)
- Eirund, Helmut (2)
- Ellis, Jason Brent (2)
- Endrullat, Christoph (2)
- Erb, Ulrike (2)
- Erstad, Ola (2)
- Faber, Wolfgang (2)
- Feider, Henryk (2)
- Feinbube, Frank (2)
- Fichte, Johannes Klaus (2)
- Fiehn, Oliver (2)
- Fietkau, Julian (2)
- Fisser, Petra (2)
- Frenkel, Marcus (2)
- Friedemann, Stefan (2)
- Frohme, Marcus (2)
- Froitzheim, Manuel (2)
- Frommer, Andreas (2)
- Gabrysiak, Gregor (2)
- Garmann, Robert (2)
- Gasbichler, Martin (2)
- Gebhardt, Kai (2)
- Gerstberger, Herbert (2)
- Geske, Ulrich (2)
- Gibson, David (2)
- Gil, J. B. (2)
- Gohlke, Mario (2)
- Grell, Susanne (2)
- Gronewold, Sabine (2)
- Grund, Martin (2)
- Gröger, Stefan (2)
- Grünewald, Franka (2)
- Grünwald, Franka (2)
- Guziolowski, Carito (2)
- Götz, Christian (2)
- Gül, Senol (2)
- Haag, Johann (2)
- Haddad, L. (2)
- Haertel, Tobias (2)
- Hagedorn, Benjamin (2)
- Hartmann, Stefanie (2)
- Haubelt, Christian (2)
- Haugsbakken, Halvdan (2)
- Heidegger, Phillip (2)
- Heinisch, Isabelle (2)
- Herbstreit, Stephanie (2)
- Hilscher, Martin (2)
- Hilse, Michael (2)
- Hollmann, Susanne (2)
- Humbert, Ludger (2)
- Hurtienne, Dominik (2)
- Höllerer, Reinhard (2)
- Hölscher, Michael (2)
- Hübner, Sandra (2)
- Hüttenrauch, Stefan (2)
- Ilaghef, Youssef (2)
- Inoue, Katsumi (2)
- Ishebabi, Harold (2)
- Jahnke, Isa (2)
- Jaisli, Isabel (2)
- Jakoblew, Marcel (2)
- Jeske, Janin (2)
- Jones, Anthony (2)
- Jung, Jörg (2)
- Kaiser, Rolf (2)
- Kalas, Ivan (2)
- Kapp, Felix (2)
- Kastens, Uwe (2)
- Kedmi, Ganit Eshel (2)
- Kehrer, Timo (2)
- Kelter, Udo (2)
- Kennewell, Steve (2)
- Khaddage, Ferial (2)
- Kindsmüller, Martin Christof (2)
- Kirsch, Florian (2)
- Klaeren, Herbert (2)
- Klar, Tilman-Mathies (2)
- Klinger, Melanie (2)
- Kluth, Stephan (2)
- Knauel, Eric (2)
- Konstantinidis, Stavros (2)
- Koubek, Jochen (2)
- Krainer, Thomas (2)
- Krekeler, Larissa (2)
- Kremer, Andreas (2)
- Kubica, Tommy (2)
- Kuhrmann, Marco (2)
- Kuntzsch, Christian (2)
- Kunz, Steffen (2)
- Kuropka, Dominik (2)
- Kurths, Jürgen (2)
- Kuznetsov, Grigory (2)
- Kwiatkowska, Anna Beata (2)
- Kwiecien, Alexandra (2)
- Kytmanov, Alexander M. (2)
- Köppen, Eva (2)
- Körndle, Hermann (2)
- Lai, Kwok-Wing (2)
- Lanfermann, Gerd (2)
- Lang, Jerome (2)
- Laroque, Christoph (2)
- Leicht-Scholten, Carmen (2)
- Lemm, Steven (2)
- Lengauer, Thomas (2)
- Lettow, Karsten (2)
- Levermann, Anders (2)
- Lewin, Cathy (2)
- Li, Nanjun (2)
- Li, Yuanqing (2)
- Liers, Achim (2)
- Lifschitz, Vladimir (2)
- Lincke, Jens (2)
- Linckels, Serge (2)
- Liu, Daphne H. (2)
- Liu, Xiaochun (2)
- Losch, Florian (2)
- Ludwig, Joachim (2)
- Luebbe, Alexander (2)
- Längrich, Matthias (2)
- Mackert, B.-M. (2)
- Malcher, Andreas (2)
- Mariani, Ennio (2)
- Marques de Carvalho, Jackson W. (2)
- Martens, Alke (2)
- Mascher, Michael (2)
- McNicol, Sarah (2)
- Mendoza, A. (2)
- Menon, P. (2)
- Menzel, Michael (2)
- Merzky, Andre (2)
- Meyer, Harald (2)
- Michel, Mathias (2)
- Micheuz, Peter (2)
- Morgiel, Anna (2)
- Morisse, Marcel (2)
- Morozov, Alexei (2)
- Moschanin, Wladimir (2)
- Myslivets, Simona (2)
- Mäker, Daniela (2)
- Müller, Dorothee (2)
- Müller, Ina (2)
- Müller, Sebastian (2)
- Müller, Wolfgang (2)
- Narciss, Susanne (2)
- Naumann, Uwe (2)
- Nazajkinskij, Vladimir E. (2)
- Nechyporenko, Alina (2)
- Nelles, Wolfgang (2)
- Neubauer, Kai (2)
- Neugebauer, Jonas (2)
- Neumann, Andre (2)
- Nowak, Michael (2)
- Nylén, Aletta (2)
- Onoda, T. (2)
- Or-Bach, Rachel (2)
- Palma, Alberto J. (2)
- Passig, David (2)
- Paun, Andrei (2)
- Paun, Mihaela (2)
- Peldszus, Andreas (2)
- Petre, Marian (2)
- Pfurtscheller, Gert (2)
- Plattner, Hasso (2)
- Polutina, Olena (2)
- Pottbäcker, Florian (2)
- Preston, Christina (2)
- Proske, Antje (2)
- Pührer, Jörg (2)
- Quante, Lennart (2)
- Quasthoff, Matthias (2)
- Raimer, Stephan (2)
- Reddy, S. M. (2)
- Reger, Martin (2)
- Regierer, Babette (2)
- Rensing, Christoph (2)
- Reynolds, Nicholas (2)
- Ricca, Francesco (2)
- Rick, Detlef (2)
- Roderus, Simon (2)
- Romero Davila, Javier (2)
- Romero, Javier (2)
- Saez-Rodriguez, Julio (2)
- Sagawe, Arno (2)
- Saito, Toshinori (2)
- Savin, Anton (2)
- Sawade, Christoph (2)
- Schalk, Gerwin (2)
- Schaper, Niclas (2)
- Schell, Timon (2)
- Schiller, Thomas (2)
- Schirrmann, Michael (2)
- Schlierkamp, Kathrin (2)
- Schmetz, Arno (2)
- Schmidt, Alexander (2)
- Schmidt, Henning (2)
- Schneider, Jan Niklas (2)
- Scholz, Matthias (2)
- Schroeder, Ulrike (2)
- Schröder, Lukas (2)
- Schulmeister, Thomas (2)
- Schult, Wolfgang (2)
- Schulte, Jonas (2)
- Schulze, Jörg (2)
- Schumann, Matthias (2)
- Schwidrowski, Kirstin (2)
- Schwirtlich, Vincent (2)
- Schöbel, Michael (2)
- Schölzel, Mario (2)
- Schütze, Christopher (2)
- Sedelmaier, Yvonne (2)
- Selke, Harald (2)
- Sethmann, Richard (2)
- Soh, Takehide (2)
- Spannagel, Christian (2)
- Sperber, Michael (2)
- Steen, Alexander (2)
- Steinert, Markus (2)
- Sternin, Boris (2)
- Steuer, Horst (2)
- Stumpf, Sarah (2)
- Stupuriene, Gabriele (2)
- Swainston, Andrew (2)
- Syrbe, Jörn (2)
- Sysło, Maciej M. (2)
- Szalai, Cynthia (2)
- Tamura, Naoyuki (2)
- Taraschewski, Christian (2)
- Thielscher, Michael (2)
- Thiemann, Peter (2)
- Thomas, Marco (2)
- Tiwari, Abhishek (2)
- Trapp, Matthias (2)
- Trommen, Michael (2)
- Tröger, Peter (2)
- Tscherejkina, Anna (2)
- Tzuriel, David (2)
- Urban, Diana (2)
- Vidal, Concepcion (2)
- Vielhaber, Michael (2)
- Vogel, Ralf (2)
- Vosseberg, Karin (2)
- Waga, Rosemary (2)
- Wahl, Marina (2)
- Wang, Long (2)
- Weber, Gerhard (2)
- Wegner, Christian (2)
- Weicker, Nicole (2)
- Weidlich, Matthias (2)
- Weise, Matthias (2)
- Weßels, Doris (2)
- Wickert, Alexander (2)
- Wienkop, Uwe (2)
- Willig, Andreas (2)
- Willner, Sven N. (2)
- Wisniewski, Max (2)
- Wolpaw, Jonathan R. (2)
- Younie, Sarah (2)
- Zhou, Lizhu (2)
- Zieris, Holger (2)
- Zscheyge, Oliver (2)
- Abdelwahab Hussein Abdelwahab Elsayed, Ahmed (1)
- Abdelwahab, Ahmed (1)
- Abrahamsson, Pekka (1)
- Adam, Christian (1)
- Ahmed, Mayeesha (1)
- Al-Areqi, Samih Taha Mohammed (1)
- Al-Saffar, Loay Talib (1)
- Alarbeed, Ezzat (1)
- Albrecht, Alexander (1)
- Alhosseini Almodarresi Yasin, Seyed Ali (1)
- Alirezazadeh, Pendar (1)
- Alraboni, Ola (1)
- Alsadeh, Ahmad (1)
- Altmann, Thomas (1)
- Altrichter, Sabine (1)
- Amon, Thomas (1)
- Amor, M. (1)
- Andjelkovic, Marko S. (1)
- Andres, Benjamin (1)
- Apfelbache, Rémy (1)
- Arrighi, Pablo (1)
- Arroyo, Fernando (1)
- Ashouri, Mohammadreza (1)
- Awad, Ahmed Mahmoud Hany Aly (1)
- Aydin, Suna (1)
- Baberowski, David (1)
- Babic, Milan (1)
- Baddoo, Nathan (1)
- Baedke, Jan (1)
- Baeg, Sang H. (1)
- Bailis, Peter (1)
- Bakera, Marco (1)
- Balashov, Alexey (1)
- Balduccini, Marcello (1)
- Bandyopadhyay, Soumyadip (1)
- Barbas, Helena (1)
- Bardohl, Roswitha (1)
- Bargheer, Matias (1)
- Barlow, Axel (1)
- Bartz, Andreas (1)
- Bauer, Chris (1)
- Bauer, Christopher (1)
- Baumann, Annette (1)
- Baumann, Annika (1)
- Becker, Basil (1)
- Beerenwinkel, Niko (1)
- Behrens, Thomas (1)
- Bender, Esther (1)
- Berg, Ralph (1)
- Berg, Thomas (1)
- Berger, Nadine (1)
- Beuster, Liane (1)
- Beutner, Marc (1)
- Bhattacharya, M. K. (1)
- Bibel, Wolfgang (1)
- Bieber, Götz (1)
- Bin Tareaf, Raad (1)
- Bisiani, Roberto (1)
- Blaese, Leif (1)
- Blanchard, Gilles (1)
- Blank, Lars M. (1)
- Bleiholder, Jens (1)
- Boerner, Ferdinand (1)
- Boesel, Andreas (1)
- Bog, Anja (1)
- Bohnet, Johannes (1)
- Bojahr, Andre (1)
- Boldea, Irina (1)
- Boldt, Oliver (1)
- Bolduan, Gordon (1)
- Boll, Susanne (1)
- Bonorden, Leif (1)
- Boo, M. (1)
- Borchert, P. (1)
- Bornschein, Jens (1)
- Bosselmann, Steve (1)
- Bosser, Anne-Gwenn (1)
- Botta, Nicola (1)
- Bouche, Paul (1)
- Brankart, Jean-Michel (1)
- Brauer, Falk (1)
- Brauer, Uwe (1)
- Braun, Michael (1)
- Braun, Mikio L. (1)
- Braun, Patrick (1)
- Brede, Nuria (1)
- Breest, Martin (1)
- Brehmer, Bastian (1)
- Breitlauch, Linda (1)
- Brem, Alexander (1)
- Brick, Timothy R. (1)
- Broß, Justus F. M. (1)
- Brueckner, Michael (1)
- Bruggemeier, M. (1)
- Bruguera, J. D. (1)
- Brust, D. (1)
- Buchholz, Gregor (1)
- Buchholz, Henrik (1)
- Buhmann, Joachim (1)
- Bulatov, Andrei (1)
- Buschmann, Jana (1)
- Bärmann, Daniel (1)
- Böckling, Jens (1)
- Böhlau, Peter (1)
- Böhm, Christoph (1)
- Böken, Björn (1)
- Böttcher, Axel (1)
- Büttner, Lars (1)
- Büttner, Nadja (1)
- Calame, Jens R. (1)
- Calude, C. S. (1)
- Camales, Renaud (1)
- Camargo, Tibor de (1)
- Carvajal, Miguel A. (1)
- Cassou, Damien (1)
- Catchpole, Gareth (1)
- Chakrabarty, Krishnendu (1)
- Chatti, Mhamed Amine (1)
- Chatti, Mohamed Amine (1)
- Chen, Hubie (1)
- Chen, Li (1)
- Chen, Mo (1)
- Chen, Qingyu (1)
- Cheng, Feng (1)
- Childs, Dorothee (1)
- Christgau, Steffen (1)
- Ciaccio, Giuseppe (1)
- Cichalla, Anika Katleen (1)
- Cilia, Elisa (1)
- Claus, Volker (1)
- Clemens, Vera Elisabeth (1)
- Cobernuss, M. (1)
- Cokelaer, Thomas (1)
- Collomosse, John (1)
- Cordes, Frank (1)
- Cordson, Jörg (1)
- Coriasco, S. (1)
- Cosme, Emmanuel (1)
- Courtois, Bernard (1)
- Csuhaj-Varjú, Erzsébet (1)
- Daeumer, Martin (1)
- Dawoud, Wesam (1)
- De Raedt, Luc (1)
- De Wilde, Max (1)
- Decker, Gero (1)
- Dehne, Julian (1)
- Delgado Kloos, Carlos (1)
- Delgrande, James (1)
- Delikostidis, Ioannis (1)
- Desel, Jörg (1)
- Di Ciccio, Claudio (1)
- Dick, Uwe (1)
- Diehl, Stephan (1)
- Dillahunt, Tawanna (1)
- Dimopoulos, Yannis (1)
- Dines, Nicoleta (1)
- Dirwelis, Swenja (1)
- Dittler, Ullrich (1)
- Dittmar, Anke (1)
- Dovifat, A. (1)
- Draude, Claude (1)
- Duchrau, Georg (1)
- Dug, Mehmed (1)
- Durzinsky, Markus (1)
- Dziobek, Isabel (1)
- Ebert, Birgitta E. (1)
- Ebner, Roland (1)
- Egorov, Yu. (1)
- Ehlert, Marco (1)
- Ehlert, Mathias (1)
- Elbeshausen, Stefanie (1)
- Elkina, Margarita (1)
- Ellmauthaler, Stefan (1)
- Engel, Juri (1)
- Enke, Uta (1)
- Erdmann, Johannes (1)
- Ermakova, Tatiana (1)
- Everardo Pérez, Flavio Omar (1)
- Faetkenheuer, Gerd (1)
- Fandiño, Jorge (1)
- Fanselow, Gisbert (1)
- Fedosov, Boris V. (1)
- Felgentreff, Tim (1)
- Fernau, Henning (1)
- Fernie, Alisdair R. (1)
- Fischer, Roman (1)
- Floyd, Barry D. (1)
- Fortenbacher, Albrecht (1)
- Frank, Keller (1)
- Frede, Christiane (1)
- Freund, Tessen (1)
- Frioux, Clémence (1)
- Fudickar, Sebastian (1)
- Gabor, Kiss (1)
- Garea, Javier (1)
- Garnatz, Thomas (1)
- Garoufi, Konstantina (1)
- Garz, Andreas (1)
- Gattinger, Thorsten (1)
- Gautam, Khem Raj (1)
- Gehl, Christian (1)
- Geisler, Uwe (1)
- Genske, Ulrich (1)
- Gerstenberger, Dietrich (1)
- Geßner, Hendrik (1)
- Ghasemzadeh, Mohammad (1)
- Giannini, Paola (1)
- Giebel, Antje (1)
- Giegerich, Robert (1)
- Gierl, Mark (1)
- Gierl, Mark J. (1)
- Giloi, Wolfgang K. (1)
- Gioko, Anthony Maina (1)
- Glander, Tassilo (1)
- Glasemann, Marie (1)
- Gleiß, Alexander (1)
- Glubudum, Prisana (1)
- Goltz, Hans-Joachim (1)
- Gomez Navarro, Laura (1)
- Gordon, Thomas F. (1)
- Grell, Petra (1)
- Greven, Christoph (1)
- Griesbaum, Joachim (1)
- Grimbs, Sergio (1)
- Grivtsov, A. G. (1)
- Gros, Oliver (1)
- Groß, Sascha (1)
- Große-Bölting, Gregor (1)
- Grum, Marcus (1)
- Grunske, Lars (1)
- Gröne, Bernhard (1)
- Guo, Gang (1)
- Guy, C. L. (1)
- Haack, Ute (1)
- Haedge, Kora (1)
- Hallama, Nicole (1)
- Hamann, Fabian (1)
- Hamm, Bernd (1)
- Hammer, Christian (1)
- Han, Yazhou (1)
- Hara, Tenshi (1)
- Hara, Tenshi C. (1)
- Harris, Jacob Colt (1)
- Hartmann, Niklas (1)
- Hartmeier, Sven (1)
- Harutjunjan, Gohar (1)
- Haubrock, Sören (1)
- Havemann, Ulrich (1)
- Hawro, Marlena (1)
- Hawro, Tomasz (1)
- Hedayatipour, Ava (1)
- Hegewald, Eberhard (1)
- Heiden, S. (1)
- Heinze, Theodor (1)
- Hellebrand, Sybille (1)
- Hempel, Sabrina (1)
- Hensinger, Johannes (1)
- Hentschel, Uwe (1)
- Hentschel, Uwe M.Sc. (1)
- Hercher, Johannes (1)
- Hermenegildo, Manuel (1)
- Herrmann, Philipp (1)
- Herzog, Marc (1)
- Hetzer, Dirk (1)
- Hibbe, Marcel (1)
- Hildebrandt, Dieter (1)
- Hildebrandt, Stephan (1)
- Hinchey, Mike (1)
- Hinrichs, Henrik (1)
- Hinterberger, Thilo (1)
- Hitz, Michael (1)
- Hlawiczka, A. (1)
- Hlushchuk, Yevhen (1)
- Hoang, Thi Thanh Mai (1)
- Hocher, Berthold (1)
- Hoffmann, Daniel (1)
- Hofhues, Sandra (1)
- Hofreiter, Michael (1)
- Hoheisel, A. (1)
- Holler, Robin (1)
- Holz, Christian (1)
- Hoof, Karsten (1)
- Hoos, Holger H. (1)
- Hoppe, Uwe (1)
- Horn, Florian (1)
- Hosp, Sven (1)
- Hu, Ji (1)
- Huang, Wanjun (1)
- Huang, Yizhen (1)
- Humburg, Peter (1)
- Huong, Dinh Thi Thanh (1)
- Hutter, Frank (1)
- Häfner, Tanja (1)
- Häger, Sebastian (1)
- Hündling, Jens (1)
- Ifenthaler, Dirk (1)
- Igel, Christoph (1)
- Ilic, Stefan (1)
- Ilic, Stefan D. (1)
- Isenberg, Tobias (1)
- Jahnke, Paul (1)
- Jaksic, Aleksandar (1)
- Jaksic, Aleksandar B. (1)
- Janke, David (1)
- Jeavons, Peter (1)
- Jentzsch, Anne-Kristin (1)
- Jha, Shantenu (1)
- Jiang, Chunyan (1)
- Jobst, Birgit (1)
- Joerges, Sven (1)
- Johannsen, Manfred (1)
- Jokic, Dejan (1)
- Jung, Klaus (1)
- Jurgensen, Helmut (1)
- Jörges, Sven (1)
- Jürges, Henrik (1)
- Kalk, Philipp (1)
- Kalkbrenner, Gerrit (1)
- Kallookaran, Michael (1)
- Kanzow, Christian (1)
- Kaplan, F. (1)
- Kappe, Leonard (1)
- Kari, L. (1)
- Karp, Lavi (1)
- Karri, R. (1)
- Karsten, Weicker (1)
- Katsura, M. (1)
- Keller, Vera (1)
- Kempkensteffen, Carsten (1)
- Kern-Isberner, Gabriele (1)
- Kersting, Oliver (1)
- Keverpütz, Claudia (1)
- Kilic, Mukayil (1)
- Kim, Joohyun (1)
- Kirchner, Peter (1)
- Kiss, Gábor (1)
- Kleickmann, Thilo (1)
- Klein, M. (1)
- Klieme, Eric (1)
- Klockmann, Alexander (1)
- Kloos, Carlos Delgado (1)
- Klotz, Volker (1)
- Knaebel, Rene (1)
- Kneiphoff, Anika Hanna (1)
- Knöpfel, Andreas (1)
- Koelle, Ralph (1)
- Kohlmorgen, J. (1)
- Koller, Alexander (1)
- Kondratiev, V. A. (1)
- Konert, Johannes (1)
- Konnegen, Marcel (1)
- Kopka, Joachim (1)
- Korn, Klaus (1)
- Kose, F. (1)
- Kostädt, Peter (1)
- Kraak, Menno-Jan (1)
- Kraemer, Rolf (1)
- Krasnova, Hanna (1)
- Kratzke, Nane (1)
- Krause, Hans (1)
- Kreowsky, Philipp (1)
- Kreutel, Jörn (1)
- Krokhin, Andrei (1)
- Krusienski, Dean (1)
- Krömker, Detlef (1)
- Kröning, Daniel (1)
- Krüger, Jens (1)
- Krüger, Klaus (1)
- Krüger, Stefan (1)
- Krüger, Tammo (1)
- Kubczak, Christian (1)
- Kubisch, D. (1)
- Kuentzer, Felipe A. (1)
- Kuhla, Kilian (1)
- Kulisch, Marian (1)
- Kundisch, Dennis (1)
- Kundu, S. (1)
- Kunzmann, Volker (1)
- Kupfer, Bernd (1)
- Kutzner, Tobias (1)
- Kylau, Uwe (1)
- Kühn, Mathias (1)
- Küppers, Bastian (1)
- Lagriffoul, Fabien (1)
- Lakemeyer, Gerhard (1)
- Lakshmanan, M. (1)
- Lalena, Antonio M. (1)
- Lallena, Antonio M. (1)
- Lambers, Leen (1)
- Lang, Jérôme (1)
- Lang, Sabine (1)
- Lange, Sabine (1)
- Lange, Thomas (1)
- Larisch, Kathrin (1)
- Laskov, Pavel (1)
- Lass, Sander (1)
- Laub, Julian (1)
- Lauert, Alexander (1)
- Le Sommer, Julien (1)
- Lehker, Christoph (1)
- Leino, Olli Tapio (1)
- Lemcke, Stefanie (1)
- Lerch, Alexander (1)
- Lerner, Heather (1)
- Lessmoellmann, Annette (1)
- Leukert, Bernd (1)
- Leyton-Brown, Kevin (1)
- Liang, Feng (1)
- Lin, Fangzhen (1)
- Lindauer, T. Marius (1)
- Lis, Monika (1)
- Lisec, Jan (1)
- Liske, Stefan (1)
- List, Christoph (1)
- Liu, Hai (1)
- Liu, Lengning (1)
- Liu, Rui (1)
- Liu, Yunzhen (1)
- LoBue, Peter (1)
- Lorenz, Claas (1)
- Lorenz, Haik (1)
- Lu, Li (1)
- Luckow, Andre (1)
- Luedemann, A. (1)
- Lunemann, Carolin (1)
- Luther, Eva-Maria (1)
- Luther, Laura (1)
- Ly, Ibrahim (1)
- Lösler, Thomas (1)
- Lübbe, Alexander (1)
- Ma, Shilong (1)
- Maaß, Stefan (1)
- Mach, Michael (1)
- Machlica, Lukas (1)
- Magaria, Tiziana (1)
- Magedanz, Thomas (1)
- Magerl, Markus (1)
- Mahr, Philipp (1)
- Maina, Anthony Gioko (1)
- Makowski, Silvia (1)
- Manca, Vincenzo (1)
- Mandal, Chittaranjan (1)
- Mannens, Erik (1)
- Marco Figuera, Ramiro (1)
- Margaria-Steffen, Tiziana (1)
- Martin-Vide, Carlos (1)
- Marwan, Wolfgang (1)
- Marwecki, Sebastian (1)
- Matheus, K. (1)
- Mattick, Volker (1)
- Mattik, Volker (1)
- Mauch, Martina (1)
- Maurer, Marcus (1)
- McHardy, Alice C. (1)
- Meier, Arne (1)
- Meinhardt, Rolf (1)
- Melchinger, Albrecht E. (1)
- Menge, Falko (1)
- Menski, Sebastian (1)
- Merceron, Agathe (1)
- Merico, Davide (1)
- Merkulenko, N. N. (1)
- Messnarz, Richard (1)
- Metref, Sammy (1)
- Metz, Martin (1)
- Metzler, Richard (1)
- Meyer, Rhonda C. (1)
- Michallek, Florian (1)
- Mihahn, Michael (1)
- Millan, José del R. (1)
- Miller, Kurt (1)
- Mitschke, Robert (1)
- Mohamed, I. Raja (1)
- Moldt, Daniel (1)
- Montavon, Gregoire (1)
- Moritz, Josephine (1)
- Morozov, A. V. (1)
- Morrison, Mark (1)
- Mueller, Mike (1)
- Mueller, Stefanie (1)
- Muller, K. R. (1)
- Murali, K. (1)
- Möring, Sebastian (1)
- Müller, Claudia (1)
- Müller, Jürgen J. (1)
- Müller, S. (1)
- Müller, Stefanie (1)
- Müller, Stephan Heinz (1)
- Müller-Röber, Bernd (1)
- Nagy, Benedek (1)
- Najafi, Pejman (1)
- Namasivayam, Gayathri (1)
- Nasib, A. H. Banijamali (1)
- Naujokat, Stefan (1)
- Naumann, Felix (1)
- Negru, Maria C. (1)
- Nesme, Vincent (1)
- Netzer, Cajus Marian (1)
- Neubauer, Johannes (1)
- Neuhaus, Alexander (1)
- Neumann, I. (1)
- Neumann, Stefan (1)
- Neuper, Christa (1)
- Nicolai, Claudia (1)
- Nicolelis, Miguel Angelo L. (1)
- Niehues, Stefan Markus (1)
- Niemueller, Tim (1)
- Nieß, Günther (1)
- Nikoloski, Zoran (1)
- Niu, Pengcheng (1)
- Noack, Franziska (1)
- Nofal, Issam (1)
- Noll, Michael G. (1)
- Nolte, G. (1)
- Nordmann, Paul-Patrick (1)
- Noseleit, Christof (1)
- Noskova, Tatiana N. (1)
- Ocheretnij, Vitalij (1)
- Ocheretny, Vitaly (1)
- Oette, Mark (1)
- Off, Thomas (1)
- Ohme, Sebastian (1)
- Ohmes, Rick (1)
- Okimoto, Tenda (1)
- Omranian, Nooshin (1)
- Osorio, Mauricio (1)
- Otten, Jens (1)
- Ottinger, Sarah (1)
- Otto, Christian (1)
- Overdick, Hagen (1)
- Owassapian, Dominik (1)
- Pablo Alarcon, Pedro (1)
- Paijmans, Johanna L. A. (1)
- Panarese, P. (1)
- Panchenko, Oleksandr (1)
- Paredes, E. G. (1)
- Parra, L. (1)
- Pascalau, Emilian (1)
- Passerini, Andrea (1)
- Patil, Kaustubh R. (1)
- Pawelzik, K. (1)
- Pernici, Barbara (1)
- Perscheid, Michael (1)
- Petrasch, Roland (1)
- Petri, Stefan (1)
- Petrovic, Vladimir (1)
- Pevny, Tomas (1)
- Pfab, T. (1)
- Pflanz, Michael (1)
- Phusanga, Dara (1)
- Piesker, Björn (1)
- Platzer, Alexander (1)
- Ploskonos, Anna (1)
- Poel, Nora (1)
- Polleres, Axel (1)
- Polze, Andreas (1)
- Pontelli, Enrico (1)
- Pope, Phillip B. (1)
- Pousttchi, Key (1)
- Prakash, Jyoti (1)
- Prescher, Denise (1)
- Prinetto, Paolo (1)
- Prohaska, Steffen (1)
- Przybylowicz, Katarzyna (1)
- Puhlmann, Frank (1)
- Pupka, Reiner (1)
- Pursian, Andreas (1)
- Pöhl, Frank (1)
- Queck, Tobias (1)
- Rafiee, Hosnieh (1)
- Rahnenfuhrer, Joerg (1)
- Rahnenführer, Jörg (1)
- Rajski, Janusz (1)
- Rao, Rajesh P. N. (1)
- Rath, Thomas (1)
- Ratsch-Heitmann, Michel (1)
- Rebensburg, Klaus (1)
- Reeh, Lucas (1)
- Reichel, Ingrid (1)
- Reidel, Ulrich (1)
- Renner, Clemens D. (1)
- Rentsch, Susanne (1)
- Repp, Leo (1)
- Repp, Stephan (1)
- Reso, Judith (1)
- Respondek, Tobias (1)
- Retsios, Bas (1)
- Reuß, Florian (1)
- Rhinow, Holger (1)
- Richter, Dirk (1)
- Richter, Eric (1)
- Richter, Rico (1)
- Richter, Tim (1)
- Riedel, Christian (1)
- Rintanen, Jussi (1)
- Risch, V. (1)
- Ristic, Goran (1)
- Ristic, Goran S. (1)
- Rittweger, J. (1)
- Robbins, L. E. (1)
- Robinson-Mallett, Christopher (1)
- Robra-Bissantz, Susanne (1)
- Rockstroh, Juergen (1)
- Roessner, Ute (1)
- Rolf, Meinhardt (1)
- Roomp, Kirsten (1)
- Rosamond, Frances (1)
- Roschke, Sebastian (1)
- Rose, Jürgen (1)
- Rossi, Angelo Pio (1)
- Rostock, Gisbert (1)
- Roth, Volker (1)
- Rozinat, A (1)
- Runge, Mario (1)
- Rzeha, Jan (1)
- Röpke, René (1)
- Sabuncu, Orkunt (1)
- Sadr-Azodi, Amir Shahab (1)
- Saint-Dizier, Patrick (1)
- Sajda, P. (1)
- Saleh, Eyad (1)
- Sander, Michael (1)
- Saposhnikov, VL. V. (1)
- Saposhnikov, Vl. V. V. V. (1)
- Sapozhaikov, Vl. V. (1)
- Sapozhnikov, V. V. (1)
- Sapoznikov, V. V. (1)
- Sapoznikov, VL. V. (1)
- Sarkar, Dipankar (1)
- Savenkov, Igor (1)
- Schacht, Alexander (1)
- Schaffner, Jan (1)
- Schapert, Niclas (1)
- Schapranow, Matthieu-Patrick (1)
- Schaub, Torsten (1)
- Scheele, Lasse (1)
- Scheer, Andrea (1)
- Scheller, Frieder W. (1)
- Scheppach, Lukas (1)
- Scherfenberg, Ivonne (1)
- Schick, Daniel (1)
- Schieweck, Steffen (1)
- Schindlauer, Roman (1)
- Schindler, Sven (1)
- Schlogl, Alois (1)
- Schlögl, Alois (1)
- Schmid, Thilo (1)
- Schmidt, Maren (1)
- Schmidt, Silke (1)
- Schmidt, Thilo (1)
- Schmitz, Dennis (1)
- Schneider, Marius (1)
- Schnjakin, Maxim (1)
- Schreiter, Torben (1)
- Schroder, Michael (1)
- Schröder, Michael (1)
- Schröter, Alexander (1)
- Schrötter, Max (1)
- Schuchhardt, Johannes (1)
- Schuhmann, Anna (1)
- Schulz-Hanke, Christian (1)
- Schulze, Gunnar (1)
- Schumacher, Kinga (1)
- Schuschel, Hilmar (1)
- Schwarzrock, Sebastian (1)
- Schwotzer, Thomas (1)
- Schäfer, Len Ole (1)
- Schäpers, Björn (1)
- Schölkopf, Bernhard (1)
- Schön, Friedrich (1)
- Schöttler, Tobias (1)
- Schüler, Benjamin (1)
- Schünemann, Björn (1)
- Schütt, Christine (1)
- Sczyrba, Alexander (1)
- Seegerer, Stefan (1)
- Seidel, Edward (1)
- Semmo, Amir (1)
- Sens, Henriette (1)
- Senthilkumar, D. V. (1)
- Servetto, Marco (1)
- Shayduk, Roman (1)
- Shenoy, Pradeep (1)
- Shi, Shuting (1)
- Shoaib, Umar (1)
- Siegeris, Juliane (1)
- Sing, Tobias (1)
- Sitzmann, Daniel (1)
- Skoncej, Patryk (1)
- Smirnov, Sergey (1)
- Sogomonyan, Egor (1)
- Soll, Marcus (1)
- Sommerfeld, Erdmute (1)
- Spence, C. (1)
- Spengler, Klaus (1)
- Spindler, Max (1)
- Spokoiny, Vladimir G. (1)
- Späth, Daniela (1)
- Srinivasan, K. (1)
- Stabernack, Benno (1)
- Stabernack, Christian Benno (1)
- Staiger, Ludwig (1)
- Stamenkovic, Zoran (1)
- Stavenhagen, Tilo (1)
- Stege, Ulrike (1)
- Steinert, Christian (1)
- Steinert, Fritjof (1)
- Steinfath, Matthias (1)
- Steinmetz, Ralf (1)
- Steipe, Boris (1)
- Stemme, Jonas (1)
- Steuer, Ralf (1)
- Steć, Michał (1)
- Striewe, Michael (1)
- Stöpel, Christoph (1)
- Subodh, M. (1)
- Susanne, Boll (1)
- Swarna, M. (1)
- Szeider, Stefan (1)
- Tarchanov, Nikolaj N. (1)
- Tavakoli, Hamad (1)
- Tavangarian, Djamshid (1)
- Tax, David (1)
- Teske, Daniel (1)
- Thierrin, G. (1)
- Thomas, Ivonne (1)
- Thon, Ingo (1)
- Thorbrügge, Carsten (1)
- Tiberius, Victor (1)
- Tiede, Gabriele (1)
- Tietz, Christian (1)
- Tillmann, Alexander (1)
- Trahms, L. (1)
- Tran, Son Cao (1)
- Troeger, Peter (1)
- Truszczynski, M. (1)
- Truszczynski, Miroslaw (1)
- Trümper, Jonas (1)
- Tsuda, Koji (1)
- Turnbaugh, Peter J. (1)
- Unnithan, Vikram (1)
- Van de Walle, Rik (1)
- Van der Aalst, Wil M. P. (1)
- Vandenhouten, Ralf (1)
- Vasovic, Nikola (1)
- Vaughan, Theresa M. (1)
- Veber, Philippe (1)
- Veltri, Natasha F. (1)
- Venkatraman, Srikanth (1)
- Verbeek, H. M. W. (1)
- Verborgh, Ruben (1)
- Verron, Jacques (1)
- Ververis, Vasilis (1)
- Vidal-Peracho, Concepcion (1)
- Vierheller, Janine (1)
- Vigario, R. (1)
- Vogel, Thomas (1)
- Vogel, Tobias (1)
- Voigt, Horst (1)
- Voigt, Matthias (1)
- Volkmann, Gerald (1)
- Vollmost, Manfred (1)
- Wadleigh, Rachel (1)
- Wagler, Annegret (1)
- Wagner, Christian (1)
- Wagner, Ralf (1)
- Waitelonis, Jörg (1)
- Walter, Hauke (1)
- Walter, Satjawan (1)
- Walton, Douglas (1)
- Wang, Haibin (1)
- Wang, T. (1)
- Wang, Tinghuai (1)
- Waschulzik, Thomas (1)
- Weckwerth, Wolfram (1)
- Wehr, Stefan (1)
- Weiher, Marcel (1)
- Weikert, Cornelia (1)
- Weikert, Steffen (1)
- Weller, Karsten (1)
- Wen, Shi-Jie (1)
- Wenzel, Matthias (1)
- Wenzlaff, Boris (1)
- Werner, Reinhard F. (1)
- Weston, J. (1)
- Whittaker, Michael (1)
- Wiepke, Axel (1)
- Wilhelm, Otto (1)
- Willems, Christian (1)
- Willink, Dilya (1)
- Wischnewsky, M. (1)
- Wist, Dominic (1)
- Wolf, Armin (1)
- Wolisz, A. (1)
- Wolter, Christian (1)
- Wong, P. (1)
- Wong, Richard (1)
- Woodcock, Jim (1)
- Wu, K. (1)
- Wust, Johannes (1)
- Wölfert, Volker (1)
- Wübbeler, G. (1)
- Xenikoudakis, Georgios (1)
- Yang, Haojin (1)
- Zarezadeh, Aliakbar (1)
- Zeidler, Steffen (1)
- Zhang, Guoqiang (1)
- Zhou, Wei (1)
- Ziemann, Felix (1)
- Zien, Alexander (1)
- Zinke, Jörg (1)
- Zorian, Yervant (1)
- Zoyke, Andrea (1)
- Zucca, Elena (1)
- de Carvalho, Jackson Marques (1)
- van Elzakker, Corne P. J. M. (1)
- van Hooland, Seth (1)
- van der Aalst, Wil M. P. (1)
- von Korff Schmising, Clemens (1)
- von Oertzen, Timo (1)
- von Websky, Karoline (1)
Year of publication
Document Type
- Article (678)
- Doctoral Thesis (205)
- Monograph/Edited Volume (135)
- Other (28)
- Conference Proceeding (20)
- Master's Thesis (13)
- Part of a Book (12)
- Postprint (10)
- Preprint (5)
- Bachelor Thesis (1)
Keywords
- Informatik (18)
- Didaktik (15)
- Hochschuldidaktik (14)
- Ausbildung (13)
- answer set programming (13)
- Answer Set Programming (10)
- Answer set programming (10)
- E-Learning (8)
- Machine Learning (7)
- Maschinelles Lernen (7)
Institute
- Institut für Informatik und Computational Science (1109) (remove)
In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or cost) when taking a given number of decision steps. SDPs are routinely solved using Bellman's backward induction. Textbook authors (e.g. Bertsekas or Puterman) typically give more or less formal proofs to show that the backward induction algorithm is correct as solution method for deterministic and stochastic SDPs. Botta, Jansson and Ionescu propose a generic framework for finite horizon, monadic SDPs together with a monadic version of backward induction for solving such SDPs. In monadic SDPs, the monad captures a generic notion of uncertainty, while a generic measure function aggregates rewards. In the present paper, we define a notion of correctness for monadic SDPs and identify three conditions that allow us to prove a correctness result for monadic backward induction that is comparable to textbook correctness proofs for ordinary backward induction. The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg-Moore algebra. They hold in familiar settings like those of deterministic or stochastic SDPs, but we also give examples in which they fail. Our results show that backward induction can safely be employed for a broader class of SDPs than usually treated in textbooks. However, they also rule out certain instances that were considered admissible in the context of Botta et al. 's generic framework. Our development is formalised in Idris as an extension of the Botta et al. framework and the sources are available as supplementary material.
In this paper, we present a study comparing the depth to diameter (d/D) ratio of small simple craters (200-1000 m) of an area between -88.5 degrees to -90 degrees latitude at the lunar south pole containing Permanent Shadowed Regions (PSRs) versus craters without PSRs. As PSRs can reach temperatures of 110 K and are capable of harboring volatiles, especially water ice, we analyzed the relationship of depth versus diameter ratios and its possible implications for harboring water ice. Variations in the d/D ratios can also be caused by other processes such as degradation, isostatic adjustment, or differences in surface properties. The conducted d/D ratio analysis suggests that a differentiation between craters containing PSRs versus craters without PSRs occurs. Thus, a possible direct relation between d/D ratio, PSRs, and water ice harboring might exist. Our results suggest that differences in the target's surface properties may explain the obtained results. The resulting d/D ratios of craters with PSRs can help to select target areas for future In-Situ Resource Utilization (ISRU) missions.
Machine learning for improvement of thermal conditions inside a hybrid ventilated animal building
(2021)
In buildings with hybrid ventilation, natural ventilation opening positions (windows), mechanical ventilation rates, heating, and cooling are manipulated to maintain desired thermal conditions. The indoor temperature is regulated solely by ventilation (natural and mechanical) when the external conditions are favorable to save external heating and cooling energy. The ventilation parameters are determined by a rule-based control scheme, which is not optimal. This study proposes a methodology to enable real-time optimum control of ventilation parameters. We developed offline prediction models to estimate future thermal conditions from the data collected from building in operation. The developed offline model is then used to find the optimal controllable ventilation parameters in real-time to minimize the setpoint deviation in the building. With the proposed methodology, the experimental building's setpoint deviation improved for 87% of time, on average, by 0.53 degrees C compared to the current deviations.
Deep metric learning employs deep neural networks to embed instances into a metric space such that distances between instances of the same class are small and distances between instances from different classes are large. In most existing deep metric learning techniques, the embedding of an instance is given by a feature vector produced by a deep neural network and Euclidean distance or cosine similarity defines distances between these vectors. This paper studies deep distributional embeddings of sequences, where the embedding of a sequence is given by the distribution of learned deep features across the sequence. The motivation for this is to better capture statistical information about the distribution of patterns within the sequence in the embedding. When embeddings are distributions rather than vectors, measuring distances between embeddings involves comparing their respective distributions. The paper therefore proposes a distance metric based on Wasserstein distances between the distributions and a corresponding loss function for metric learning, which leads to a novel end-to-end trainable embedding model. We empirically observe that distributional embeddings outperform standard vector embeddings and that training with the proposed Wasserstein metric outperforms training with other distance functions.
Hawro, Tomasz ; Przybylowicz, Katarzyna ; Spindler, Max ; Hawro, Marlena ; Steć, Michał ; Altrichter, Sabine ; Weller, Karsten ; Magerl, Markus ; Reidel, Ulrich ; Alarbeed, Ezzat ; Alraboni, Ola ; Maurer, Marcus ; Metz, Martin
Background:
Pruritus often accompanies chronic skin diseases, exerting considerable burden on many areas of patient functioning; this burden and the features of pruritus remain insufficiently characterized.
Objective:
To investigate characteristics, including localization patterns, and burden of pruritus in patients with chronic dermatoses.
Methods:
We recruited 800 patients with active chronic skin diseases. We assessed pruritus intensity, localization, and further characteristics. We used validated questionnaires to assess quality of life, work productivity and activity impairment, anxiety, depression, and sleep quality.
Results:
Nine out of every 10 patients had experienced pruritus throughout their disease and 73% in the last 7 days. Pruritus often affected the entire body and was not restricted to skin lesions. Patients with moderate to severe pruritus reported significantly more impairment to their sleep quality and work productivity, and they were more depressed and anxious than control individuals and patients with mild or no pruritus. Suicidal ideations were highly prevalent in patients with chronic pruritus (18.5%) and atopic dermatitis (11.8%).
Conclusions:
Pruritus prevalence and intensity are very high across all dermatoses studied; intensity is linked to impairment in many areas of daily functioning. Effective treatment strategies are urgently required to treat pruritus and the underlying skin disease. ( J Am Acad Dermatol 2021;84:691-700.)
Answer set planning
(2022)
Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.
Large-scale literature mining to assess the relation between anti-cancer drugs and cancer types
(2021)
Bauer, Chris ; Herwig, Ralf ; Lienhard, Matthias ; Prasse, Paul ; Scheffer, Tobias ; Schuchhardt, Johannes
Background:
There is a huge body of scientific literature describing the relation between tumor types and anti-cancer drugs. The vast amount of scientific literature makes it impossible for researchers and physicians to extract all relevant information manually.
Methods:
In order to cope with the large amount of literature we applied an automated text mining approach to assess the relations between 30 most frequent cancer types and 270 anti-cancer drugs. We applied two different approaches, a classical text mining based on named entity recognition and an AI-based approach employing word embeddings. The consistency of literature mining results was validated with 3 independent methods: first, using data from FDA approvals, second, using experimentally measured IC-50 cell line data and third, using clinical patient survival data.
Results:
We demonstrated that the automated text mining was able to successfully assess the relation between cancer types and anti-cancer drugs. All validation methods showed a good correspondence between the results from literature mining and independent confirmatory approaches. The relation between most frequent cancer types and drugs employed for their treatment were visualized in a large heatmap. All results are accessible in an interactive web-based knowledge base using the following link: .
Conclusions:
Our approach is able to assess the relations between compounds and cancer types in an automated manner. Both, cancer types and compounds could be grouped into different clusters. Researchers can use the interactive knowledge base to inspect the presented results and follow their own research questions, for example the identification of novel indication areas for known drugs.
Middelanis, Robin ; Willner, Sven N. ; Otto, Christian ; Kuhla, Kilian ; Quante, Lennart ; Levermann, Anders
Tropical cyclones range among the costliest disasters on Earth. Their economic repercussions along the supply and trade network also affect remote economies that are not directly affected. We here simulate possible global repercussions on consumption for the example case of Hurricane Sandy in the US (2012) using the shock-propagation model Acclimate. The modeled shock yields a global three-phase ripple: an initial production demand reduction and associated consumption price decrease, followed by a supply shortage with increasing prices, and finally a recovery phase. Regions with strong trade relations to the US experience strong magnitudes of the ripple. A dominating demand reduction or supply shortage leads to overall consumption gains or losses of a region, respectively. While finding these repercussions in historic data is challenging due to strong volatility of economic interactions, numerical models like ours can help to identify them by approaching the problem from an exploratory angle, isolating the effect of interest. For this, our model simulates the economic interactions of over 7000 regional economic sectors, interlinked through about 1.8 million trade relations. Under global warming, the wave-like structures of the economic response to major hurricanes like the one simulated here are likely to intensify and potentially overlap with other weather extremes.
Due to climate change the frequency and character of precipitation are changing as the hydrological cycle intensifies. With regards to snowfall, global warming has two opposing influences; increasing humidity enables intense snowfall, whereas higher temperatures decrease the likelihood of snowfall. Here we show an intensification of extreme snowfall across large areas of the Northern Hemisphere under future warming. This is robust across an ensemble of global climate models when they are bias-corrected with observational data. While mean daily snowfall decreases, both the 99th and the 99.9th percentiles of daily snowfall increase in many regions in the next decades, especially for Northern America and Asia. Additionally, the average intensity of snowfall events exceeding these percentiles as experienced historically increases in many regions. This is likely to pose a challenge to municipalities in mid to high latitudes. Overall, extreme snowfall events are likely to become an increasingly important impact of climate change in the next decades, even if they will become rarer, but not necessarily less intense, in the second half of the century.
Optimized deep learning model as a basis for fast UAV mapping of weed species in winter wheat crops
(2021)
Weed maps should be available quickly, reliably, and with high detail to be useful for site-specific management in crop protection and to promote more sustainable agriculture by reducing pesticide use. Here, the optimization of a deep residual convolutional neural network (ResNet-18) for the classification of weed and crop plants in UAV imagery is proposed. The target was to reach sufficient performance on an embedded system by maintaining the same features of the ResNet-18 model as a basis for fast UAV mapping. This would enable online recognition and subsequent mapping of weeds during UAV flying operation. Optimization was achieved mainly by avoiding redundant computations that arise when a classification model is applied on overlapping tiles in a larger input image. The model was trained and tested with imagery obtained from a UAV flight campaign at low altitude over a winter wheat field, and classification was performed on species level with the weed species Matricaria chamomilla L., Papaver rhoeas L., Veronica hederifolia L., and Viola arvensis ssp. arvensis observed in that field. The ResNet-18 model with the optimized image-level prediction pipeline reached a performance of 2.2 frames per second with an NVIDIA Jetson AGX Xavier on the full resolution UAV image, which would amount to about 1.78 ha h(-1) area output for continuous field mapping. The overall accuracy for determining crop, soil, and weed species was 94%. There were some limitations in the detection of species unknown to the model. When shifting from 16-bit to 32-bit model precision, no improvement in classification accuracy was observed, but a strong decline in speed performance, especially when a higher number of filters was used in the ResNet-18 model. Future work should be directed towards the integration of the mapping process on UAV platforms, guiding UAVs autonomously for mapping purpose, and ensuring the transferability of the models to other crop fields.