Institut für Informatik und Computational Science
Refine
Author
- Schaub, Torsten (164)
- 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 (23)
- 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)
- Cabalar, Pedro (9)
- Fandiño, Jorge (9)
- 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)
- Curio, Gabriel (8)
- Dimitriev, Alexej (8)
- Holzer, Markus (8)
- Mercer, Robert E. (8)
- Blankertz, Benjamin (7)
- Börner, Ferdinand (7)
- Kreitz, Christoph (7)
- Kujath, Bertold (7)
- Schneidenbach, Lars (7)
- Schubert, Wolfgang (7)
- Schulze, Bert-Wolfgang (7)
- Weicker, Karsten (7)
- Ziehe, Andreas (7)
- Andjelkovic, Marko (6)
- Chen, Junchao (6)
- 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)
- 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)
- Frank, Mario (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)
- 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)
- Botta, Nicola (2)
- Bottino, Rosa (2)
- Brandt, Christopher (2)
- Braun, Iris (2)
- Brede, Nuria (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)
- Gleiß, Alexander (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)
- Ilic, Stefan (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)
- Pousttchi, Key (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)
- Ristic, Goran (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)
- Bouche, Paul (1)
- Brankart, Jean-Michel (1)
- Brauer, Falk (1)
- Brauer, Uwe (1)
- Braun, Michael (1)
- Braun, Mikio L. (1)
- Braun, Patrick (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)
- Couplet, Victor (1)
- Courtois, Bernard (1)
- Crucifix, Michel (1)
- Csuhaj-Varjú, Erzsébet (1)
- Daeumer, Martin (1)
- Dawoud, Wesam (1)
- De Raedt, Luc (1)
- De Wilde, Max (1)
- Decker, Gero (1)
- Degen, Konrad (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)
- Fanselow, Gisbert (1)
- Fariñas del Cerro, Luis (1)
- Fedosov, Boris V. (1)
- Felgentreff, Tim (1)
- Fernau, Henning (1)
- Fernie, Alisdair (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)
- 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 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)
- Knoth, Alexander (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)
- Krstic, Milos (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)
- Marjanovic, Milos (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)
- Montero, Marina Martínez (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)
- 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 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)
- 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 (682)
- Doctoral Thesis (206)
- 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 (1114)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (19)
- Extern (7)
- Institut für Physik und Astronomie (2)
- Universitätsbibliothek (2)
- Zentrum für Qualitätsentwicklung in Lehre und Studium (ZfQ) (2)
- eLiS - E-Learning in Studienbereichen (2)
- Department Erziehungswissenschaft (1)
- Department Linguistik (1)
- Fachgruppe Betriebswirtschaftslehre (1)
We present SURFER, a novel reduced model for estimating the impact of CO2 emissions and solar radiation modification options on sea level rise and ocean acidification over timescales of several thousands of years.
SURFER has been designed for the analysis of CO2 emission and solar radiation modification policies, for supporting the computation of optimal (CO2 emission and solar radiation modification) policies and for the study of commitment and responsibility under uncertainty.
The model is based on a combination of conservation laws for the masses of atmospheric and oceanic carbon and for the oceanic temperature anomalies, and of adhoc parameterisations for the different sea level rise contributors: ice sheets, glaciers and ocean thermal expansion. It consists of 9 loosely coupled ordinary differential equations, is understandable, fast and easy to modify and calibrate.
It reproduces the results of more sophisticated, high-dimensional earth system models on timescales up to millennia.
Andjelkovic, Marko ; Marjanovic, Milos ; Chen, Junchao ; Ilic, Stefan ; Ristic, Goran ; Krstic, Milos
The bulk built-in current sensor (BBICS) is a cost-effective solution for detection of energetic particle strikes in integrated circuits.
With an appropriate number of BBICSs distributed across the chip, the soft error locations can be identified, and the dynamic fault-tolerant mechanisms can be activated locally to correct the soft errors in the affected logic.
In this work, we introduce a pulse stretching BBICS (PS-BBICS) constructed by connecting a standard BBICS and a custom-designed pulse stretching cell.
The aim of PS-BBICS is to enable the on-chip measurement of the single event transient (SET) pulse width, allowing to detect the linear energy transfer (LET) of incident particles, and thus assess more accurately the radiation conditions.
Based on Spectre simula-tions, we have shown that for the LET from 1 to 100 MeV cm2 mg -1, the SET pulse width detected by PS-BBICS varies by 620-800 ps. The threshold LET of PS-BBICS increases linearly with the number of monitored inverters, and it is around 1.7 MeV cm2 mg- 1 for ten monitored inverters.
On the other hand, the SET pulse width is in-dependent of the number of monitored inverters for LET > 4 MeV cm2 mg -1. It was shown that supply voltage, temperature and process variations have strong impact on the response of PS-BBICS.
The educational sector currently faces a massive digital transformation with various digital offerings entering the market. To provide some orientation in this transforming space, a national digital education platform (NDEP) is under development in Germany as part of a nationwide flagship project. On the one hand, in efficiently connecting the relevant stakeholders to each other and to value-adding education-related offerings, various benefits emerge. On the other hand, monopolising the educational sector and influencing the respective market through a state-controlled platform bears potential regulatory risks from misuse of power by the platform to malpractice by the users. Against this background, we aim to identify and systematise these potential drawbacks prior to the platform’s actual development and implementation. We pursue a qualitative, interpretivist approach for policy analysis, based on ten elite interviews and two workshops. Our results are threefold: (1) We capture the consolidated NDEP architecture; (2) We categorise the range of relevant functions and value propositions of the NDEP; (3) We derive 23 regulatory areas of conflict across the three building blocks that result from the potential ecosystem and function scope configurations of the NDEP. As a contribution to research, we shed new interdisciplinary light on the governance and infrastructure of public-private platforms that enable innovation and collaboration while integrating respective market segments. As a contribution to practice, we provide clear guidance for policy-makers in strategizing the development and governance of and through national digital platforms in education.
Epistemic logic programs constitute an extension of the stable model semantics to deal with new constructs called subjective literals. Informally speaking, a subjective literal allows checking whether some objective literal is true in all or some stable models. As it can be imagined, the associated semantics has proved to be non-trivial, since the truth of subjective literals may interfere with the set of stable models it is supposed to query. As a consequence, no clear agreement has been reached and different semantic proposals have been made in the literature. Unfortunately, comparison among these proposals has been limited to a study of their effect on individual examples, rather than identifying general properties to be checked. In this paper, we propose an extension of the well-known splitting property for logic programs to the epistemic case. We formally define when an arbitrary semantics satisfies the epistemic splitting property and examine some of the consequences that can be derived from that, including its relation to conformant planning and to epistemic constraints. Interestingly, we prove (through counterexamples) that most of the existing approaches fail to fulfill the epistemic splitting property, except the original semantics proposed by Gelfond 1991 and a recent proposal by the authors, called Founded Autoepistemic Equilibrium Logic.
This thesis presents an attempt to use source code synthesised from Coq formalisations of device drivers for existing (micro)kernel operating systems, with a particular focus on the Linux Kernel.
In the first part, the technical background and related work are described. The focus is here on the possible approaches to synthesising certified software with Coq, namely the extraction to functional languages using the Coq extraction plugin and the extraction to Clight code using the CertiCoq plugin. It is noted that the implementation of CertiCoq is verified, whereas this is not the case for the Coq extraction plugin. Consequently, there is a correctness guarantee for the generated Clight code which does not hold for the code being generated by the Coq extraction plugin. Furthermore, the differences between user space and kernel space software are discussed in relation to Linux device drivers. It is elaborated that it is not possible to generate working Linux kernel module components using the Coq extraction plugin without significant modifications. In contrast, it is possible to produce working user space drivers both with the Coq extraction plugin and CertiCoq. The subsequent parts describe the main contributions of the thesis.
In the second part, it is demonstrated how to extend the Coq extraction plugin to synthesise foreign function calls between the functional language OCaml and the imperative language C. This approach has the potential to improve the type-safety of user space drivers. Furthermore, it is shown that the code being synthesised by CertiCoq cannot be used in kernel space without modifications to the necessary runtime. Consequently, the necessary modifications to the runtimes of CertiCoq and VeriFFI are introduced, resulting in the runtimes becoming compatible components of a Linux kernel module. Furthermore, justifications for the transformations are provided and possible further extensions to both plugins and solutions to failing garbage collection calls in kernel space are discussed.
The third part presents a proof of concept device driver for the Linux Kernel. To achieve this, the event handler of the original PC Speaker driver is partially formalised in Coq. Furthermore, some relevant formal properties of the formalised functionality are discussed. Subsequently, a kernel module is defined, utilising the modified variants of CertiCoq and VeriFFI to compile a working device driver. It is furthermore shown that it is possible to compile the synthesised code with CompCert, thereby extending the guarantee of correctness to the assembly layer. This is followed by a performance evaluation that compares a naive formalisation of the PC speaker functionality with the original PC Speaker driver pointing out the weaknesses in the formalisation and possible improvements. The part closes with a summary of the results, their implications and open questions being raised.
The last part lists all used sources, separated into scientific literature, documentations or reference manuals and artifacts, i.e. source code.
Ristic, Goran S. ; Ilic, Stefan D. ; Andjelkovic, Marko S. ; Duane, Russell ; Palma, Alberto J. ; Lalena, Antonio M. ; Krstić, Miloš ; Jaksic, Aleksandar B.
The radiation-sensitive field-effect transistors (RADFETs) with an oxide thickness of 400 nm are irradiated with gate voltages of 2, 4 and 6 V, and without gate voltage.
A detailed analysis of the mechanisms responsible for the creation of traps during irradiation is performed.
The creation of the traps in the oxide, near and at the silicon/silicon-dioxide (Si/SiO2) interface during irradiation is modelled very well. This modelling can also be used for other MOS transistors containing SiO2.
The behaviour of radiation traps during postirradiation annealing is analysed, and the corresponding functions for their modelling are obtained. The switching traps (STs) do not have significant influence on threshold voltage shift, and two radiation-induced trap types fit the fixed traps (FTs) very well. The fading does not depend on the positive gate voltage applied during irradiation, but it is twice lower in case there is no gate voltage.
A new dosimetric parameter, called the Golden Ratio (GR), is proposed, which represents the ratio between the threshold voltage shift after irradiation and fading after spontaneous annealing. This parameter can be useful for comparing MOS dosimeters.
Andjelkovic, Marko ; Simevski, Aleksandar ; Chen, Junchao ; Schrape, Oliver ; Stamenkovic, Zoran ; Krstić, Miloš ; Ilic, Stefan ; Ristic, Goran ; Jaksic, Aleksandar ; Vasovic, Nikola ; Duane, Russell ; Palma, Alberto J. ; Lallena, Antonio M. ; Carvajal, Miguel A.
Instruments for measuring the absorbed dose and dose rate under radiation exposure, known as radiation dosimeters, are indispensable in space missions. They are composed of radiation sensors that generate current or voltage response when exposed to ionizing radiation, and processing electronics for computing the absorbed dose and dose rate. Among a wide range of existing radiation sensors, the Radiation Sensitive Field Effect Transistors (RADFETs) have unique advantages for absorbed dose measurement, and a proven record of successful exploitation in space missions. It has been shown that the RADFETs may be also used for the dose rate monitoring. In that regard, we propose a unique design concept that supports the simultaneous operation of a single RADFET as absorbed dose and dose rate monitor. This enables to reduce the cost of implementation, since the need for other types of radiation sensors can be minimized or eliminated. For processing the RADFET's response we propose a readout system composed of analog signal conditioner (ASC) and a self-adaptive multiprocessing system-on-chip (MPSoC). The soft error rate of MPSoC is monitored in real time with embedded sensors, allowing the autonomous switching between three operating modes (high-performance, de-stress and fault-tolerant), according to the application requirements and radiation conditions.
Tavakoli, Hamad ; Alirezazadeh, Pendar ; Hedayatipour, Ava ; Nasib, A. H. Banijamali ; Landwehr, Niels
In recent years, many efforts have been made to apply image processing techniques for plant leaf identification. However, categorizing leaf images at the cultivar/variety level, because of the very low inter-class variability, is still a challenging task. In this research, we propose an automatic discriminative method based on convolutional neural networks (CNNs) for classifying 12 different cultivars of common beans that belong to three various species. We show that employing advanced loss functions, such as Additive Angular Margin Loss and Large Margin Cosine Loss, instead of the standard softmax loss function for the classification can yield better discrimination between classes and thereby mitigate the problem of low inter-class variability. The method was evaluated by classifying species (level I), cultivars from the same species (level II), and cultivars from different species (level III), based on images from the leaf foreside and backside. The results indicate that the performance of the classification algorithm on the leaf backside image dataset is superior. The maximum mean classification accuracies of 95.86, 91.37 and 86.87% were obtained at the levels I, II and III, respectively. The proposed method outperforms the previous relevant works and provides a reliable approach for plant cultivars identification.
Objectives To compare image quality of deep learning reconstruction (AiCE) for radiomics feature extraction with filtered back projection (FBP), hybrid iterative reconstruction (AIDR 3D), and model-based iterative reconstruction (FIRST). Methods Effects of image reconstruction on radiomics features were investigated using a phantom that realistically mimicked a 65-year-old patient's abdomen with hepatic metastases. The phantom was scanned at 18 doses from 0.2 to 4 mGy, with 20 repeated scans per dose. Images were reconstructed with FBP, AIDR 3D, FIRST, and AiCE. Ninety-three radiomics features were extracted from 24 regions of interest, which were evenly distributed across three tissue classes: normal liver, metastatic core, and metastatic rim. Features were analyzed in terms of their consistent characterization of tissues within the same image (intraclass correlation coefficient >= 0.75), discriminative power (Kruskal-Wallis test p value < 0.05), and repeatability (overall concordance correlation coefficient >= 0.75). Results The median fraction of consistent features across all doses was 6%, 8%, 6%, and 22% with FBP, AIDR 3D, FIRST, and AiCE, respectively. Adequate discriminative power was achieved by 48%, 82%, 84%, and 92% of features, and 52%, 20%, 17%, and 39% of features were repeatable, respectively. Only 5% of features combined consistency, discriminative power, and repeatability with FBP, AIDR 3D, and FIRST versus 13% with AiCE at doses above 1 mGy and 17% at doses >= 3 mGy. AiCE was the only reconstruction technique that enabled extraction of higher-order features. Conclusions AiCE more than doubled the yield of radiomics features at doses typically used clinically. Inconsistent tissue characterization within CT images contributes significantly to the poor stability of radiomics features.