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 (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)
- 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)
- 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)
- 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)
- 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)
- Fanselow, Gisbert (1)
- Fariñas del Cerro, Luis (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)
- 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 (679)
- 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 (1111) (remove)
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).
In this bachelor’s thesis I implement the automatic theorem prover nanoCoP-Ω. This system is the result of porting arithmetic and equality handling procedures first introduced in the automatic theorem prover with arithmetic leanCoP-Ω into the similar system nanoCoP 2.0. To understand these procedures, I first introduce the mathematical background to both automatic theorem proving and arithmetic expressions. I present the predecessor projects leanCoP, nanoCoP and leanCoP-Ω, out of which nanCoP-Ω was developed. This is followed by an extensive description of the concepts the non-clausal connection calculus needed to be extended by, to allow for proving arithmetic expressions and equalities, as well as of their implementation into nanoCoP-Ω. An extensive comparison between both the runtimes and the number of solved problems of the systems nanoCoP-Ω and leanCoP-Ω was made. I come to the conclusion, that nanoCoP-Ω is considerably faster than leanCoP-Ω for small problems, though less well suited for larger problems. Additionally, I was able to construct a non-theorem that nanoCoP-Ω generates a false proof for. I discuss how this pressing issue could be resolved, as well as some possible optimizations and expansions of the system.
Arousal is one of the dimensions of core affect and frequently used to describe experienced or observed emotional states. While arousal ratings of facial expressions are collected in many studies it is not well understood how arousal is displayed in or interpreted from facial expressions. In the context of socioemotional disorders such as Autism Spectrum Disorder, this poses the question of a differential use of facial information for arousal perception. In this study, we demonstrate how automated face-tracking tools can be used to extract predictors of arousal judgments. We find moderate to strong correlations among all measures of static information on one hand and all measures of dynamic information on the other. Based on these results, we tested two measures, average distance to the neutral face and average facial movement speed, within and between neurotypical individuals (N = 401) and individuals with autism (N = 19). Distance to the neutral face was predictive of arousal in both groups. Lower mean arousal ratings were found for the autistic group, but no difference in correlation of the measures and arousal ratings could be found between groups. Results were replicated in an high autistic traits group. The findings suggest a qualitatively similar perception of arousal for individuals with and without autism. No correlations between valence ratings and any of the measures could be found, emphasizing the specificity of our tested measures. Distance and speed predictors share variability and thus speed should not be discarded as a predictor of arousal ratings.
This paper is part of the investigation of some operations on words and languages with motivations coming from DNA biochemistry, namely three variants of hairpin completion and three variants of hairpin reduction. Since not all the hairpin completions or reductions of semilinear languages remain semilinear, we study sufficient conditions for semilinear languages to preserve their semilinearity property after applying the non-iterated hairpin completion or hairpin reduction. A similar approach is then applied to the iterated variants of these operations. Along these lines, we define the hairpin reduction root of a language and show that the hairpin reduction root of a semilinear language is not necessarily semilinear except the universal language. A few open problems are finally discussed.
Xenikoudakis, Georgios ; Ahmed, Mayeesha ; Harris, Jacob Colt ; Wadleigh, Rachel ; Paijmans, Johanna L. A. ; Hartmann, Stefanie ; Barlow, Axel ; Lerner, Heather ; Hofreiter, Michael
Xenikoudakis et al. report a partial mitochondrial genome of the extinct giant beaver Castoroides and estimate the origin of aquatic behavior in beavers to approximately 20 million years. This time estimate coincides with the extinction of terrestrial beavers and raises the question whether the two events had a common cause.
Many knowledge representation tasks involve trees or similar structures as abstract datatypes. However, devising compact and efficient declarative representations of such structural properties is non-obvious and can be challenging indeed. In this article, we take a number of acyclicity properties into consideration and investigate various logic-based approaches to encode them. We use answer set programming as the primary representation language but also consider mappings to related formalisms, such as propositional logic, difference logic and linear programming. We study the compactness of encodings and the resulting computational performance on benchmarks involving acyclic or tree structures.
Image feature detection is a key task in computer vision. Scale Invariant Feature Transform (SIFT) is a prevalent and well known algorithm for robust feature detection. However, it is computationally demanding and software implementations are not applicable for real-time performance. In this paper, a versatile and pipelined hardware implementation is proposed, that is capable of computing keypoints and rotation invariant descriptors on-chip. All computations are performed in single precision floating-point format which makes it possible to implement the original algorithm with little alteration. Various rotation resolutions and filter kernel sizes are supported for images of any resolution up to ultra-high definition. For full high definition images, 84 fps can be processed. Ultra high definition images can be processed at 21 fps.
We introduce a new measure of descriptional complexity on finite automata, called the number of active states. Roughly speaking, the number of active states of an automaton A on input w counts the number of different states visited during the most economic computation of the automaton A for the word w. This concept generalizes to finite automata and regular languages in a straightforward way. We show that the number of active states of both finite automata and regular languages is computable, even with respect to nondeterministic finite automata. We further compare the number of active states to related measures for regular languages. In particular, we show incomparability to the radius of regular languages and that the difference between the number of active states and the total number of states needed in finite automata for a regular language can be of exponential order.
User Experience (UX) describes the holistic experience of a user before, during, and after interaction with a platform, product, or service. UX adds value and attraction to their sole functionality and is therefore highly relevant for firms. The increased interest in UX has produced a vast amount of scholarly research since 1983. The research field is, therefore, complex and scattered. Conducting a bibliometric analysis, we aim at structuring the field quantitatively and rather abstractly. We employed citation analyses, co-citation analyses, and content analyses to evaluate productivity and impact of extant research. We suggest that future research should focus more on business and management related topics.
Schrape, Oliver ; Andjelkovic, Marko ; Breitenreiter, Anselm ; Zeidler, Steffen ; Balashov, Alexey ; Krstić, Miloš
Use of a standard non-rad-hard digital cell library in the rad-hard design can be a cost-effective solution for space applications. In this paper we demonstrate how a standard non-rad-hard flip-flop, as one of the most vulnerable digital cells, can be converted into a rad-hard flip-flop without modifying its internal structure. We present five variants of a Triple Modular Redundancy (TMR) flip-flop: baseline TMR flip-flop, latch-based TMR flip-flop, True-Single Phase Clock (TSPC) TMR flip-flop, scannable TMR flip-flop and self-correcting TMR flipflop. For all variants, the multi-bit upsets have been addressed by applying special placement constraints, while the Single Event Transient (SET) mitigation was achieved through the usage of customized SET filters and selection of optimal inverter sizes for the clock and reset trees. The proposed flip-flop variants feature differing performance, thus enabling to choose the optimal solution for every sensitive node in the circuit, according to the predefined design constraints. Several flip-flop designs have been validated on IHP's 130nm BiCMOS process, by irradiation of custom-designed shift registers. It has been shown that the proposed TMR flip-flops are robust to soft errors with a threshold Linear Energy Transfer (LET) from (32.4 MeV.cm(2)/mg) to (62.5 MeV.cm(2)/mg), depending on the variant.