Institut für Informatik und Computational Science
Refine
Author
- Schaub, Torsten (163)
- Gössel, Michael (63)
- Delgrande, James Patrick (38)
- Gebser, Martin (33)
- 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)
- Morosov, Andrej (10)
- Rätsch, Gunnar (10)
- Thiele, Sven (10)
- Cabalar, Pedro (9)
- Fandiño, Jorge (9)
- Kaufmann, Benjamin (9)
- Lamprecht, Anna-Lena (9)
- Landwehr, Niels (9)
- Nicolas, Pascal (9)
- Seuring, Markus (9)
- Steffen, Bernhard (9)
- Weske, Mathias (9)
- Brüning, Stefan (8)
- Curio, Gabriel (8)
- Dimitriev, Alexej (8)
- Holzer, Markus (8)
- Mercer, Robert E. (8)
- Blankertz, Benjamin (7)
- Börner, Ferdinand (7)
- Romeike, Ralf (7)
- Schneidenbach, Lars (7)
- Schubert, Wolfgang (7)
- Schulze, Bert-Wolfgang (7)
- Ziehe, Andreas (7)
- Döllner, Jürgen Roland Friedrich (6)
- Kaminski, Roland (6)
- Kreitz, Christoph (6)
- Kutrib, Martin (6)
- Marienfeld, Daniel (6)
- Ostrowski, Max (6)
- Prasse, Paul (6)
- Stoffel, Dominik (6)
- Tarnick, Steffen (6)
- Andjelkovic, Marko (5)
- Chen, Junchao (5)
- Dornhege, Guido (5)
- Gharib, Mona (5)
- Giese, Holger (5)
- Harmeling, Stefan (5)
- Hartje, Hendrik (5)
- Janhunen, Tomi (5)
- Knobelsdorf, Maria (5)
- Koutzevlov, Atanas (5)
- Krahmer, Sebastian (5)
- Kujath, Bertold (5)
- Luckow, André (5)
- Meinecke, Frank C. (5)
- Mika, Sebastian (5)
- Otscheretnij, Vitalij (5)
- Pearce, David (5)
- Pradhan, D. K. (5)
- Przybylla, Mareen (5)
- Schrape, Oliver (5)
- Schroeder, Ulrik (5)
- Schröder-Preikschat, Wolfgang (5)
- Tschapek, Alexej (5)
- Wanko, Philipp (5)
- Zoerner, Dietmar (5)
- Bartl, Peter (4)
- Benhammadi, Farid (4)
- Bergner, Nadine (4)
- Bickel, Steffen (4)
- Böhne, Sebastian (4)
- Flöter, André (4)
- Gericke, Lutz (4)
- Glöde, Dirk (4)
- Goessel, Michael (4)
- Hafer, Jörg (4)
- Herwig, Ralf (4)
- Hirschfeld, Robert (4)
- Knoth, Alexander Henning (4)
- Köhlmann, Wiebke (4)
- Leininger, Andreas (4)
- Lienhard, Matthias (4)
- Lindauer, Marius (4)
- Magenheim, Johannes (4)
- Mitrana, Victor (4)
- Neumann, André (4)
- Noweski, Christine (4)
- Ocheretnij, V. (4)
- Polyvyanyy, Artem (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)
- Weicker, Karsten (4)
- Zender, Raphael (4)
- Zendler, Andreas (4)
- Aguado, Felicidad (3)
- Al-Saffar, Loay Talib Ahmed (3)
- Bensch, Suna (3)
- Birbaumer, Niels (3)
- Bobda, Christophe (3)
- Bogue, Ted (3)
- Brain, Martin (3)
- Breitenreiter, Anselm (3)
- Bröker, Kathrin (3)
- Brückner, Michael (3)
- Dietze, Stefan (3)
- Fabian, Benjamin (3)
- Friedrich, Sven (3)
- Gerber, Stefan (3)
- Gerbser, Martin (3)
- Gressmann, Jean (3)
- Gumienny, Raja (3)
- Günther, Oliver (3)
- Haider, Peter (3)
- Hecher, Markus (3)
- Hoos, Holger (3)
- Hunter, Anthony (3)
- Iversen, Pascal (3)
- Kawanabe, Motoaki (3)
- Keil, Reinhard (3)
- Kiertscher, Simon (3)
- Kowark, Thomas (3)
- Krauledat, Matthias (3)
- Kyprianidis, Jan Eric (3)
- Lee, Joohyung (3)
- Leifer, Larry (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)
- Nicolas, Jacques (3)
- Nienhaus, Marc (3)
- Obermeier, Philipp (3)
- Perez, Gilberto (3)
- Rabenalt, Thomas (3)
- Rasche, Andreas (3)
- Rauth, Ingo (3)
- Reinhardt, Wolfgang (3)
- Richter, Michael (3)
- Richter, Peter (3)
- Saposhnikov, Va. V. (3)
- Sarsakov, Vladimir (3)
- Schubert, Sigrid (3)
- Seibel, Andreas (3)
- Simevski, Aleksandar (3)
- Smola, Alexander J. (3)
- Steinert, Bastian (3)
- Sugiyama, Masashi (3)
- Tepoyan, Liparit (3)
- Thedinga, Kristina (3)
- Tichy, Richard (3)
- Weidling, Stefan (3)
- Wildner, Uwe (3)
- Willmitzer, Lothar (3)
- Zeier, Alexander (3)
- AbuJarour, Mohammed (2)
- Adolphs, Julian (2)
- Afantenos, Stergos (2)
- Al Laban, Firas (2)
- Alnemr, Rehab (2)
- Andjelković, Marko (2)
- Appeltauer, Malte (2)
- Baier, Thomas (2)
- Balan, Sakthin M. (2)
- Banbara, Mutsunori (2)
- Baudisch, Patrick (2)
- Berges, Marc (2)
- Blum, Niklas (2)
- Brandt, Christopher (2)
- Brewka, Gerhard (2)
- Brzozowski, J. A. (2)
- Chatterjee, M. (2)
- Clemens, Vera (2)
- Dammer, Karl-Heinz (2)
- Dassow, Juergen (2)
- Davis, Niki (2)
- Dieguez, Martin (2)
- Diethelm, Ira (2)
- Dmitriev, Alexej (2)
- Dramlitsch, Thomas (2)
- Duane, Russell (2)
- D’Elia, Domenica (2)
- Eduati, Federica (2)
- Eickelmann, Birgit (2)
- Endrullat, Christoph (2)
- Engbring, Dieter (2)
- Erstad, Ola (2)
- Faber, Wolfgang (2)
- Feider, Henryk (2)
- Feinbube, Frank (2)
- Fichte, Johannes Klaus (2)
- Fiehn, Oliver (2)
- Fisser, Petra (2)
- Frank, Mario (2)
- Freischlad, Stefan (2)
- Frohme, Marcus (2)
- Gabrysiak, Gregor (2)
- Gibson, David (2)
- Gil, J. B. (2)
- Gohlke, Mario (2)
- Grell, Susanne (2)
- Grillenberger, Andreas (2)
- Grund, Martin (2)
- Grünewald, Franka (2)
- Grünwald, Franka (2)
- Guziolowski, Carito (2)
- Göttel, Timo (2)
- Haddad, L. (2)
- Hagedorn, Benjamin (2)
- Hartmann, Stefanie (2)
- Haubelt, Christian (2)
- Hilscher, Martin (2)
- Hilse, Michael (2)
- Hollmann, Susanne (2)
- Hubwieser, Peter (2)
- Höllerer, Reinhard (2)
- Hübner, Sandra (2)
- Hüttenrauch, Stefan (2)
- Inoue, Katsumi (2)
- Ishebabi, Harold (2)
- Jeske, Janin (2)
- Jung, Jörg (2)
- Kaiser, Rolf (2)
- Khaddage, Ferial (2)
- Kirsch, Florian (2)
- Kluth, Stephan (2)
- Knezek, Gerald (2)
- Konstantinidis, Stavros (2)
- Krainer, Thomas (2)
- Kramer, Matthias (2)
- Kremer, Andreas (2)
- Kuhrmann, Marco (2)
- Kuntzsch, Christian (2)
- Kunz, Steffen (2)
- Kuropka, Dominik (2)
- Kurths, Jürgen (2)
- Kuznetsov, Grigory (2)
- Kytmanov, Alexander M. (2)
- Köppen, Eva (2)
- Lai, Kwok-Wing (2)
- Lanfermann, Gerd (2)
- Lang, Jerome (2)
- Lemm, Steven (2)
- Lengauer, Thomas (2)
- Leonhardt, Thiemo (2)
- Levermann, Anders (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)
- Luebbe, Alexander (2)
- Mackert, B.-M. (2)
- Malcher, Andreas (2)
- Marques de Carvalho, Jackson W. (2)
- Mendoza, A. (2)
- Menon, P. (2)
- Menzel, Michael (2)
- Merzky, Andre (2)
- Metzger, Christiane (2)
- Meyer, Harald (2)
- Michel, Mathias (2)
- Morgiel, Anna (2)
- Morozov, Alexei (2)
- Moschanin, Wladimir (2)
- Myslivets, Simona (2)
- Mühling, Andreas (2)
- Müller, Ina (2)
- Müller, Sebastian (2)
- Nazajkinskij, Vladimir E. (2)
- Nechyporenko, Alina (2)
- Neubauer, Kai (2)
- Neumann, Andre (2)
- Nowak, Michael (2)
- Onoda, T. (2)
- Opel, Simone (2)
- Palma, Alberto J. (2)
- Paun, Andrei (2)
- Paun, Mihaela (2)
- Peldszus, Andreas (2)
- Pfurtscheller, Gert (2)
- Plattner, Hasso (2)
- Pührer, Jörg (2)
- Quante, Lennart (2)
- Quasthoff, Matthias (2)
- Reddy, S. M. (2)
- Reger, Martin (2)
- Regierer, Babette (2)
- Rensing, Christoph (2)
- Ricca, Francesco (2)
- Rolf, Arno (2)
- Romero Davila, Javier (2)
- Romero, Javier (2)
- Saez-Rodriguez, Julio (2)
- Savin, Anton (2)
- Sawade, Christoph (2)
- Schalk, Gerwin (2)
- Scheffler, Thomas (2)
- Schell, Timon (2)
- Schirrmann, Michael (2)
- Schmidt, Alexander (2)
- Schmidt, Henning (2)
- Schneider, Jan Niklas (2)
- Scholz, Matthias (2)
- Schröder, Lukas (2)
- Schulmeister, Thomas (2)
- Schult, Wolfgang (2)
- Schulte, Carsten (2)
- Schumann, Marlen (2)
- Schöbel, Michael (2)
- Schölzel, Mario (2)
- Soh, Takehide (2)
- Stechert, Peer (2)
- Sternin, Boris (2)
- Tamura, Naoyuki (2)
- Thielscher, Michael (2)
- Thomas, Marco (2)
- Thurner, Veronika (2)
- Tiwari, Abhishek (2)
- Trapp, Matthias (2)
- Tröger, Peter (2)
- Tscherejkina, Anna (2)
- Vidal, Concepcion (2)
- Vogel, Ralf (2)
- Wang, Long (2)
- Webb, Mary (2)
- Weber, Gerhard (2)
- Wegner, Christian (2)
- Weidlich, Matthias (2)
- Weigend, Michael (2)
- Weise, Matthias (2)
- Wickert, Alexander (2)
- Willig, Andreas (2)
- Willner, Sven N. (2)
- Winkelnkemper, Felix (2)
- Wolpaw, Jonathan R. (2)
- Zhou, Lizhu (2)
- Abdelwahab Hussein Abdelwahab Elsayed, Ahmed (1)
- Abdelwahab, Ahmed (1)
- Abke, Jörg (1)
- Abrahamsson, Pekka (1)
- Abreu-Ellis, Carla Reis (1)
- Adam, Christian (1)
- Ahmad, Nadeem (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)
- Angondi, Enos Kiforo (1)
- Apel, Rebecca (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)
- Barnes, Jan (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)
- Bellgardt, Martin (1)
- Bender, Esther (1)
- Bender, Katrin (1)
- Bendrups, Faye (1)
- Benzmüller, Christoph (1)
- Berg, Ralph (1)
- Berg, Thomas (1)
- Berg, Tobias (1)
- Beuster, Liane (1)
- Beutner, Marc (1)
- Bhattacharya, M. K. (1)
- Bibel, Ariane (1)
- Bibel, Wolfgang (1)
- Bieber, Götz (1)
- Bieniusa, Annette (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)
- Bonorden, Leif (1)
- Boo, M. (1)
- Borchert, P. (1)
- Bornschein, Jens (1)
- Bosselmann, Steve (1)
- Bosser, Anne-Gwenn (1)
- Botta, Nicola (1)
- Bottino, Rosa (1)
- Bouche, Paul (1)
- Brankart, Jean-Michel (1)
- Brauer, Falk (1)
- Brauer, Uwe (1)
- Braun, Iris (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)
- Brinda, Torsten (1)
- Broß, Justus F. M. (1)
- Brueckner, Michael (1)
- Bruggemeier, M. (1)
- Bruguera, J. D. (1)
- Brust, D. (1)
- Brück, Rainer (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üchner, Steffen (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, Mohamed Amine (1)
- Chen, Hubie (1)
- Chen, Li (1)
- Chen, Mo (1)
- Chen, Qingyu (1)
- Cheng, Feng (1)
- Childs, Dorothee (1)
- Chioccariello, Augusto (1)
- Christensen, Rhonda (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)
- Crestani, Marcus (1)
- Csuhaj-Varjú, Erzsébet (1)
- Curzon, Paul (1)
- Czernik, Sofie (1)
- Daeumer, Martin (1)
- Dagiene, Valentina (1)
- Damnik, Gregor (1)
- De Raedt, Luc (1)
- De Wilde, Max (1)
- Decker, Gero (1)
- Degen, Markus (1)
- Dehne, Julian (1)
- Delgrande, James (1)
- Delikostidis, Ioannis (1)
- Dennert-Möller, Elisabeth (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)
- Dovifat, A. (1)
- Draude, Claude (1)
- Drews, Paul (1)
- Duchrau, Georg (1)
- Dug, Mehmed (1)
- Durzinsky, Markus (1)
- Dziobek, Isabel (1)
- Dörge, Christina (1)
- Dünnebier, Malte (1)
- Ebert, Birgitta E. (1)
- Ebner, Roland (1)
- Egorov, Yu. (1)
- Ehlenz, Matthias (1)
- Ehlert, Marco (1)
- Ehlert, Mathias (1)
- Eirund, Helmut (1)
- Elbeshausen, Stefanie (1)
- Elkina, Margarita (1)
- Ellis, Jason Brent (1)
- Ellmauthaler, Stefan (1)
- Engel, Juri (1)
- Enke, Uta (1)
- Erb, Ulrike (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 R. (1)
- Fietkau, Julian (1)
- Fischer, Roman (1)
- Floyd, Barry D. (1)
- Fortenbacher, Albrecht (1)
- Frank, Keller (1)
- Frede, Christiane (1)
- Frenkel, Marcus (1)
- Freund, Tessen (1)
- Friedemann, Stefan (1)
- Frioux, Clémence (1)
- Froitzheim, Manuel (1)
- Frommer, Andreas (1)
- Fudickar, Sebastian (1)
- Gabor, Kiss (1)
- Garea, Javier (1)
- Garmann, Robert (1)
- Garnatz, Thomas (1)
- Garoufi, Konstantina (1)
- Garz, Andreas (1)
- Gasbichler, Martin (1)
- Gattinger, Thorsten (1)
- Gautam, Khem Raj (1)
- Gebhardt, Kai (1)
- Gehl, Christian (1)
- Geisler, Uwe (1)
- Genske, Ulrich (1)
- Gerstberger, Herbert (1)
- Gerstenberger, Dietrich (1)
- Geßner, Hendrik (1)
- Ghasemzadeh, Mohammad (1)
- Giannini, Paola (1)
- Giebel, Antje (1)
- Giegerich, Robert (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)
- Gomez Navarro, Laura (1)
- Gordon, Thomas F. (1)
- Grell, Petra (1)
- Greven, Christoph (1)
- Griesbaum, Joachim (1)
- Grimbs, Sergio (1)
- Grivtsov, A. G. (1)
- Gronewold, Sabine (1)
- Gros, Oliver (1)
- Groß, Sascha (1)
- Große-Bölting, Gregor (1)
- Grum, Marcus (1)
- Grunske, Lars (1)
- Gröger, Stefan (1)
- Gröne, Bernhard (1)
- Guo, Gang (1)
- Guy, C. L. (1)
- Götz, Christian (1)
- Gül, Senol (1)
- Haack, Ute (1)
- Haag, Johann (1)
- Haedge, Kora (1)
- Haertel, Tobias (1)
- Hallama, Nicole (1)
- Hamann, Fabian (1)
- Hamm, Bernd (1)
- Hammer, Christian (1)
- Han, Yazhou (1)
- Hara, Tenshi C. (1)
- Harris, Jacob Colt (1)
- Hartmann, Niklas (1)
- Hartmeier, Sven (1)
- Harutjunjan, Gohar (1)
- Haubrock, Sören (1)
- Haugsbakken, Halvdan (1)
- Havemann, Ulrich (1)
- Hawro, Marlena (1)
- Hawro, Tomasz (1)
- Hedayatipour, Ava (1)
- Hegewald, Eberhard (1)
- Heidegger, Phillip (1)
- Heiden, S. (1)
- Heinisch, Isabelle (1)
- Heinze, Theodor (1)
- Hellebrand, Sybille (1)
- Hempel, Sabrina (1)
- Hensinger, Johannes (1)
- Hentschel, Uwe (1)
- Hentschel, Uwe M.Sc. (1)
- Herbstreit, Stephanie (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)
- 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)
- Holz, Jan (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)
- Humbert, Ludger (1)
- Humburg, Peter (1)
- Huong, Dinh Thi Thanh (1)
- Hurtienne, Dominik (1)
- Hutter, Frank (1)
- Häfner, Tanja (1)
- Häger, Sebastian (1)
- Hölscher, Michael (1)
- Hündling, Jens (1)
- Ifenthaler, Dirk (1)
- Igel, Christoph (1)
- Ilaghef, Youssef (1)
- Ilic, Stefan (1)
- Ilic, Stefan D. (1)
- Isenberg, Tobias (1)
- Jahnke, Isa (1)
- Jahnke, Paul (1)
- Jaisli, Isabel (1)
- Jakoblew, Marcel (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)
- Jones, Anthony (1)
- Jung, Klaus (1)
- Jurgensen, Helmut (1)
- Jörges, Sven (1)
- Jürges, Henrik (1)
- Kalas, Ivan (1)
- Kalk, Philipp (1)
- Kalkbrenner, Gerrit (1)
- Kallookaran, Michael (1)
- Kanzow, Christian (1)
- Kaplan, F. (1)
- Kapp, Felix (1)
- Kappe, Leonard (1)
- Kari, L. (1)
- Karp, Lavi (1)
- Karri, R. (1)
- Karsten, Weicker (1)
- Kastens, Uwe (1)
- Katsura, M. (1)
- Kedmi, Ganit Eshel (1)
- Kehrer, Timo (1)
- Keller, Vera (1)
- Kelter, Udo (1)
- Kempkensteffen, Carsten (1)
- Kennewell, Steve (1)
- Kern-Isberner, Gabriele (1)
- Kersting, Oliver (1)
- Keverpütz, Claudia (1)
- Kilic, Mukayil (1)
- Kim, Joohyun (1)
- Kindsmüller, Martin Christof (1)
- Kirchner, Peter (1)
- Klaeren, Herbert (1)
- Klar, Tilman-Mathies (1)
- Kleickmann, Thilo (1)
- Klein, M. (1)
- Klieme, Eric (1)
- Klinger, Melanie (1)
- Klockmann, Alexander (1)
- Kloos, Carlos Delgado (1)
- Klotz, Volker (1)
- Knaebel, Rene (1)
- Knauel, Eric (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)
- Koubek, Jochen (1)
- Kraak, Menno-Jan (1)
- Kraemer, Rolf (1)
- Krasnova, Hanna (1)
- Kratzke, Nane (1)
- Krause, Hans (1)
- Krekeler, Larissa (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)
- Kubica, Tommy (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)
- Kwiatkowska, Anna Beata (1)
- Kwiecien, Alexandra (1)
- Kylau, Uwe (1)
- Körndle, Hermann (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)
- Laroque, Christoph (1)
- Laskov, Pavel (1)
- Lass, Sander (1)
- Laub, Julian (1)
- Lauert, Alexander (1)
- Le Sommer, Julien (1)
- Lehker, Christoph (1)
- Leicht-Scholten, Carmen (1)
- Leino, Olli Tapio (1)
- Lemcke, Stefanie (1)
- Lerch, Alexander (1)
- Lerner, Heather (1)
- Lessmoellmann, Annette (1)
- Lettow, Karsten (1)
- Leukert, Bernd (1)
- Lewin, Cathy (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)
- Ludwig, Joachim (1)
- Luedemann, A. (1)
- Luther, Eva-Maria (1)
- Luther, Laura (1)
- Ly, Ibrahim (1)
- Längrich, Matthias (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)
- Makowski, Silvia (1)
- Manca, Vincenzo (1)
- Mandal, Chittaranjan (1)
- Mannens, Erik (1)
- Marco Figuera, Ramiro (1)
- Margaria-Steffen, Tiziana (1)
- Mariani, Ennio (1)
- Martens, Alke (1)
- Martin-Vide, Carlos (1)
- Marwan, Wolfgang (1)
- Marwecki, Sebastian (1)
- Mascher, Michael (1)
- Matheus, K. (1)
- Mattick, Volker (1)
- Mauch, Martina (1)
- Maurer, Marcus (1)
- McHardy, Alice C. (1)
- McNicol, Sarah (1)
- Meier, Arne (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)
- Micheuz, Peter (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)
- Morisse, Marcel (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äker, Daniela (1)
- Möring, Sebastian (1)
- Müller, Claudia (1)
- Müller, Dorothee (1)
- Müller, Jürgen J. (1)
- Müller, S. (1)
- Müller, Stefanie (1)
- Müller, Stephan Heinz (1)
- Müller, Wolfgang (1)
- Müller-Röber, Bernd (1)
- Nagy, Benedek (1)
- Najafi, Pejman (1)
- Namasivayam, Gayathri (1)
- Narciss, Susanne (1)
- Nasib, A. H. Banijamali (1)
- Naujokat, Stefan (1)
- Naumann, Felix (1)
- Naumann, Uwe (1)
- Negru, Maria C. (1)
- Nelles, Wolfgang (1)
- Nesme, Vincent (1)
- Netzer, Cajus Marian (1)
- Neubauer, Johannes (1)
- Neugebauer, Jonas (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)
- Nylén, Aletta (1)
- Ocheretnij, Vitalij (1)
- Ocheretny, Vitaly (1)
- Oette, Mark (1)
- Off, Thomas (1)
- Ohmes, Rick (1)
- Ohrndorf, Laura (1)
- Okimoto, Tenda (1)
- Omranian, Nooshin (1)
- Or-Bach, Rachel (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)
- Passig, David (1)
- Patil, Kaustubh R. (1)
- Pawelzik, K. (1)
- Pernici, Barbara (1)
- Perscheid, Michael (1)
- Petrasch, Roland (1)
- Petre, Marian (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)
- Polutina, Olena (1)
- Polze, Andreas (1)
- Pontelli, Enrico (1)
- Pope, Phillip B. (1)
- Pottbäcker, Florian (1)
- Pousttchi, Key (1)
- Prakash, Jyoti (1)
- Prescher, Denise (1)
- Preston, Christina (1)
- Prinetto, Paolo (1)
- Prohaska, Steffen (1)
- Proske, Antje (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)
- Raimer, Stephan (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)
- Reynolds, Nicholas (1)
- Rhinow, Holger (1)
- Richter, Dirk (1)
- Richter, Eric (1)
- Richter, Rico (1)
- Richter, Tim (1)
- Rick, Detlef (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)
- Roderus, Simon (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)
- Sagawe, Arno (1)
- Saint-Dizier, Patrick (1)
- Saito, Toshinori (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)
- Schaper, 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)
- Schiller, Thomas (1)
- Schindlauer, Roman (1)
- Schindler, Sven (1)
- Schirmer, Ingrid (1)
- Schlierkamp, Kathrin (1)
- Schlogl, Alois (1)
- Schlögl, Alois (1)
- Schmetz, Arno (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)
- Schulte, Jonas (1)
- Schulz-Hanke, Christian (1)
- Schulze, Gunnar (1)
- Schulze, Jörg (1)
- Schumacher, Kinga (1)
- Schumann, Matthias (1)
- Schuschel, Hilmar (1)
- Schwarzrock, Sebastian (1)
- Schwidrowski, Kirstin (1)
- Schwirtlich, Vincent (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)
- Schütze, Christopher (1)
- Sczyrba, Alexander (1)
- Sedelmaier, Yvonne (1)
- Seegerer, Stefan (1)
- Seidel, Edward (1)
- Selke, Harald (1)
- Semmo, Amir (1)
- Sens, Henriette (1)
- Senthilkumar, D. V. (1)
- Servetto, Marco (1)
- Sethmann, Richard (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)
- Spannagel, Christian (1)
- Spence, C. (1)
- Spengler, Klaus (1)
- Sperber, Michael (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)
- Steen, Alexander (1)
- Stege, Ulrike (1)
- Steinert, Christian (1)
- Steinert, Fritjof (1)
- Steinert, Markus (1)
- Steinfath, Matthias (1)
- Steinmetz, Ralf (1)
- Steipe, Boris (1)
- Stemme, Jonas (1)
- Steuer, Horst (1)
- Steuer, Ralf (1)
- Steć, Michał (1)
- Striewe, Michael (1)
- Stumpf, Sarah (1)
- Stupuriene, Gabriele (1)
- Stöpel, Christoph (1)
- Subodh, M. (1)
- Susanne, Boll (1)
- Swainston, Andrew (1)
- Swarna, M. (1)
- Syrbe, Jörn (1)
- Sysło, Maciej M. (1)
- Szalai, Cynthia (1)
- Szeider, Stefan (1)
- Taraschewski, Christian (1)
- Tarchanov, Nikolaj N. (1)
- Tavakoli, Hamad (1)
- Tavangarian, Djamshid (1)
- Tax, David (1)
- Teske, Daniel (1)
- Thiemann, Peter (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)
- Trommen, Michael (1)
- Truszczynski, M. (1)
- Truszczynski, Miroslaw (1)
- Trümper, Jonas (1)
- Tsuda, Koji (1)
- Turnbaugh, Peter J. (1)
- Tzuriel, David (1)
- Unnithan, Vikram (1)
- Urban, Diana (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)
- Vielhaber, Michael (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)
- Vosseberg, Karin (1)
- Wadleigh, Rachel (1)
- Waga, Rosemary (1)
- Wagler, Annegret (1)
- Wagner, Christian (1)
- Wagner, Ralf (1)
- Wahl, Marina (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)
- Weicker, Nicole (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)
- Weßels, Doris (1)
- Whittaker, Michael (1)
- Wienkop, Uwe (1)
- Wiepke, Axel (1)
- Wilhelm, Otto (1)
- Willems, Christian (1)
- Willink, Dilya (1)
- Wischnewsky, M. (1)
- Wisniewski, Max (1)
- Wist, Dominic (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)
- Younie, Sarah (1)
- Zarezadeh, Aliakbar (1)
- Zeidler, Steffen (1)
- Zhang, Guoqiang (1)
- Zhou, Wei (1)
- Ziemann, Felix (1)
- Zien, Alexander (1)
- Zieris, Holger (1)
- Zinke, Jörg (1)
- Zorian, Yervant (1)
- Zoyke, Andrea (1)
- Zscheyge, Oliver (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 (576)
- Doctoral Thesis (203)
- Monograph/Edited Volume (135)
- Other (28)
- Conference Proceeding (17)
- Part of a Book (12)
- Master's Thesis (10)
- Postprint (10)
- Preprint (4)
- Bachelor Thesis (1)
Is part of the Bibliography
- yes (998) (remove)
Keywords
- answer set programming (13)
- Answer Set Programming (10)
- Answer set programming (10)
- Machine Learning (7)
- Maschinelles Lernen (7)
- Antwortmengenprogrammierung (6)
- E-Learning (6)
- Informatik (6)
- Modellierung (5)
- Informatikdidaktik (4)
Institute
- Institut für Informatik und Computational Science (998)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (18)
- Extern (5)
- 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)
- Historisches Institut (1)
Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017).
Answer Set Programming (ASP) is a well-known paradigm of declarative programming with roots in logic programming and non-monotonic reasoning. Similar to other closely related problemsolving technologies, such as SAT/SMT, QBF, Planning and Scheduling, advancements in ASP solving are assessed in competition events. In this paper, we report about the design and results of the Sixth ASP Competition, which was jointly organized by the University of Calabria (Italy), Aalto University (Finland), and the University of Genoa (Italy), in affiliation with the 13th International Conference on Logic Programming and Non-Monotonic Reasoning. This edition maintained some of the design decisions introduced in 2014, e.g., the conception of sub-tracks, the scoring scheme,and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. On the other hand, it featured also some novelties, like a benchmark selection stage classifying instances according to their empirical hardness, and a “Marathon” track where the topperforming systems are given more time for solving hard benchmarks.
Motivation: Continued development of analytical techniques based on gas chromatography and mass spectrometry now facilitates the generation of larger sets of metabolite concentration data. An important step towards the understanding of metabolite dynamics is the recognition of stable states where metabolite concentrations exhibit a simple behaviour. Such states can be characterized through the identification of significant thresholds in the concentrations. But general techniques for finding discretization thresholds in continuous data prove to be practically insufficient for detecting states due to the weak conditional dependences in concentration data. Results: We introduce a method of recognizing states in the framework of decision tree induction. It is based upon a global analysis of decision forests where stability and quality are evaluated. It leads to the detection of thresholds that are both comprehensible and robust. Applied to metabolite concentration data, this method has led to the discovery of hidden states in the corresponding variables. Some of these reflect known properties of the biological experiments, and others point to putative new states
Novel two-dimensional tactile displays enable blind users to not only get access to the textual but also to the graphical content of a graphical user interface. Due to the higher amount of information that can be presented in parallel, orientation and exploration can be more complex. In this paper we present the HyperBraille system, which consists of a pin-matrix device as well as a graphical screen reader providing the user with appropriate presentation and interaction possibilities. To allow for a detailed analysis of bimanual interaction strategies on a pin-matrix device, we conducted two user studies with a total of 12 blind people. The task was to fill in .pdf forms on the pin-matrix device by using different input methods, namely gestures, built-in hardware buttons as well as a conventional PC keyboard. The forms were presented in a semigraphic view type that not only contains Braille but also tactile widgets in a spatial arrangement. While completion time and error rate partly depended on the chosen input method, the usage of special reading strategies seemed to be independent of it. A direct comparison of the system and a conventional assistive technology (screen reader with single-line Braille device) showed that interaction on the pin-matrix device can be very efficient if the user is trained. The two-dimensional output can improve access to .pdf forms with insufficient accessibility as the mapping of input controls and the corresponding labels can be supported by a spatial presentation.
Noweski, Christine ; Scheer, Andrea ; Büttner, Nadja ; Thienen, Julia von ; Erdmann, Johannes ; Meinel, Christoph
Shenoy, Pradeep ; Krauledat, Matthias ; Blankertz, Benjamin ; Rao, Rajesh P. N. ; Müller, Klaus-Robert
Non-stationarities are ubiquitous in EEG signals. They are especially apparent in the use of EEG-based brain- computer interfaces (BCIs): (a) in the differences between the initial calibration measurement and the online operation of a BCI, or (b) caused by changes in the subject's brain processes during an experiment (e.g. due to fatigue, change of task involvement, etc). In this paper, we quantify for the first time such systematic evidence of statistical differences in data recorded during offline and online sessions. Furthermore, we propose novel techniques of investigating and visualizing data distributions, which are particularly useful for the analysis of (non-) stationarities. Our study shows that the brain signals used for control can change substantially from the offline calibration sessions to online control, and also within a single session. In addition to this general characterization of the signals, we propose several adaptive classification schemes and study their performance on data recorded during online experiments. An encouraging result of our study is that surprisingly simple adaptive methods in combination with an offline feature selection scheme can significantly increase BCI performance
Answer Set Programming (ASP) is a successful rule-based formalism for modeling and solving knowledge-intense combinatorial (optimization) problems. Despite its success in both academic and industry, open challenges like automatic source code optimization, and software engineering remains. This is because a problem encoded into an ASP might not have the desired solving performance compared to an equivalent representation. Motivated by these two challenges, this paper has three main contributions. First, we propose a developing process towards a methodology to implement ASP programs, being faithful to existing methods. Second, we present ASP encodings that serve as the basis from the developing process. Third, we demonstrate the use of ASP to reverse the standard solving process. That is, knowing answer sets in advance, and desired strong equivalent properties, “we” exhaustively reconstruct ASP programs if they exist. This paper was originally motivated by the search of propositional formulas (if they exist) that represent the semantics of a new aggregate operator. Particularly, a parity aggregate. This aggregate comes as an improvement from the already existing parity (xor) constraints from xorro, where lacks expressiveness, even though these constraints fit perfectly for reasoning modes like sampling or model counting. To this end, this extended version covers the fundaments from parity constraints as well as the xorro system. Hence, we delve a little more in the examples and the proposed methodology over parity constraints. Finally, we discuss our results by showing the only representation available, that satisfies different properties from the classical logic xor operator, which is also consistent with the semantics of parity constraints from xorro.