TY - CHAP A1 - Hofstedt, Petra ED - Görz, Günther ED - Schneeberger, Josef ED - Schmid, U. T1 - Constraints T2 - Handbuch der Künstlichen Intelligenz Y1 - 2013 SN - 978-3-486-71307-7 SN - 978-3-486-71979-6 SP - 205 EP - 234 PB - Oldenburg Verlag CY - München ET - 5. korrigierte Auflage ER - TY - CHAP A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Kaltschmidt, Sascha A1 - Sauer, Peter A1 - Vörtler, Thilo T1 - Design Space Exploration for Cyber Physical System Design using Constraint Solving T2 - The 2013 Forum on specification & Design Languages (FDL), Paris, France, September 24-26, 2013 Y1 - 2013 PB - IEEE ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Paun, G. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Biology, Springer Series Emergence, Complexity, and Computation, 2013 Y1 - 2013 PB - Springer-Verlag CY - Berlin ER - TY - CHAP A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Höckner, Benny T1 - Functional Programming with Pros and Cons T2 - HaL8 - Haskell-Treffen an der Universität Leipzig, Workshop am 21. Juni 2013 Y1 - 2013 UR - http://www.bioinf.uni-leipzig.de/conference-registration/13haskell/papers/paper_8.pdf ER - TY - CHAP A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Resource Models for Treatment Planning in the Medical Domain T2 - 8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014 Y1 - 2015 SN - 978-1-63190-053-2 U6 - https://doi.org/10.4108/icst.bict.2014.257907 SP - 344 EP - 347 PB - ICST CY - Brüssel ER - TY - CHAP A1 - Lorenz, Jacob A1 - Hofstedt, Petra A1 - Schneider, Stefan-Alexander A1 - Mai, Pierre R. T1 - Semi-Automatic Compliance Audits for Implementations of FMI for Co-Simulation T2 - Conference proceedings of the 17th ITI symposium, International Congress Center Dresden, November 3 - 5, 2014 Y1 - 2014 PB - ITI GmbH CY - Dresden ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formal Verification of Software for the Contiki Operating System Considering Interrupts T2 - 18th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, DDECS 2015 Y1 - 2015 SN - 978-1-4799-6780-3 U6 - https://doi.org/10.1109/DDECS.2015.59 SP - 295 EP - 298 PB - IEEE CY - Piscataway, NJ ER - TY - CHAP A1 - Vörtler, Thilo A1 - Höckner, Benny A1 - Hofstedt, Petra A1 - Klotz, Thomas T1 - Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - MBMV 2015, Tagungsband, Chemnitz, 03.-04. März 2015 Y1 - 2015 SN - 978-3-00-048889-4 SP - 20 EP - 29 PB - Technische Universität CY - Chemnitz ER - TY - GEN A1 - Schneeweiss, Denny A1 - Hofstedt, Petra T1 - Configurable Domain Objects for Resource Modelling in Treatment Scheduling T2 - International Journal of Software Engineering and Knowledge Engineering Y1 - 2015 SN - 0218-1940 VL - 25 IS - 5 SP - 871 EP - 885 ER - TY - CHAP A1 - Sauer, Peter A1 - Schneeweiss, Denny A1 - Hofstedt, Petra ED - Cunningham, Douglas William ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1047 EP - 1060 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Hofstedt, Petra A1 - Hower, Walter A1 - John, Ulrich A1 - Kmoch, Andreas A1 - Wolf, Armin ED - Cunningham, Douglas William ED - Hofstedt, Petra ED - Meer, Klaus ED - Schmitt, Ingo T1 - Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1135 EP - 1138 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Hofstedt, Petra A1 - John, Ulrich A1 - Wolf, Armin T1 - MOC 2015 - 7. Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme T2 - Informatik 2015, Tagung vom 28. September – 2. Oktober 2015 in Cottbus Y1 - 2015 SN - 978-3-88579-640-4 SP - 1045 EP - 1046 PB - Gesellschaft für Informatik CY - Bonn ER - TY - CHAP A1 - Hinze, Thomas A1 - Behre, Jörn A1 - Bodenstein, Christian A1 - Escuela, Gabi A1 - Grünert, Gerd A1 - Hofstedt, Petra A1 - Sauer, Peter A1 - Hayat, Sikander A1 - Dittrich, Peter ED - Frisco, Pierluigi ED - Gheorghe, Marian ED - Pérez-Jiménez, Mario J. T1 - Membrane Systems and Tools Combining Dynamical Structures with Reaction Kinetics for Applications in Chronobiology T2 - Applications of Membrane Computing in Systems and Synthetic Biology Y1 - 2014 SN - 978-3-319-03190-3 SP - 133 EP - 173 PB - Springer CY - Cham [u.a.] ER - TY - CHAP A1 - Sauer, Peter A1 - Hausten, Tom A1 - Hofstedt, Petra T1 - Using Internet of Things Technology to Create a Really Platform Independent Robotics Framework T2 - International Symposium on Systems Engineering (ISSE), 3-5 Oct. 2016 Y1 - 2016 SN - 978-1-5090-0792-9 SN - 978-1-5090-0793-6 SP - 228 EP - 233 PB - IEEE CY - Piscataway, NJ ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - Using Hypertree Decomposition for Parallel Constraint Solving T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 58 SP - 615 EP - 622 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Eibl, Maximilian ED - Gaedke, Martin T1 - The Power of Regular Constraints in CSPs T2 - Informatik 2017, 25.- 29. September 2017 Chemnitz, Deutschland Y1 - 2017 SN - 978-3-88579-669-5 U6 - https://doi.org/10.18420/in2017 57 SP - 603 EP - 614 PB - Gesellschaft für Informatik e.V. (GI) CY - Bonn ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step Towards Parallel Constraint Solving T2 - Declare 2017 – Conference on Declarative Programming Y1 - 2017 UR - https://www.uni-wuerzburg.de/fileadmin/10030100/Publications/TR_Declare17.pdf SP - 91 EP - 103 PB - Institute of Computer Science CY - Würzburg ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Transformations of CSPs to Regular CSPs T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 127 EP - 129 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra T1 - Hypertree Decomposition for Constraint programming in Parallel T2 - Programmiersprachen und Grundlagen der Programmierung, 19. Kolloquium, KPS 2017, Weimar, 25.-27. September 2017, Tagungsband Y1 - 2017 SP - 86 EP - 89 PB - Friedrich-Schiller-Universität CY - Jena ER - TY - GEN A1 - Klimczak, Peter A1 - Hofstedt, Petra A1 - Schmitt, Ingo A1 - Petersen, Christer T1 - Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft T2 - Workshop INF-DH-2018 N2 - Zwar hat sich die elektronische Datenverarbeitung etwa im Rahmen der Archivierung, der Kategorisierung und der Suche von bzw. in Texten allgemein durchgesetzt, allerdings können deren Verfahren bisher nur bedingt auf eine Ebene des Textverständnisses vordringen. Es existieren keine Algorithmen, die menschliche Interpretation auf Subtextebene zufriedenstellend imitieren könnten. Unter Subtext wird hier eine Bedeutungsebene verstanden, die der expliziten Aussage eines Textes als zusätzliche Ausdrucksdimension unterlegt ist. Von Seiten der Computerphilologie sind bisher einzig Textanalyse und -interpretation unterstützende Verfahren entwickelt worden, die lediglich auf der Sprachoberfläche Anwendung finden (Jannidis, 2010). Von Seiten der Computerlinguistik und der Informatik existieren hingegen Text-Retrieval-Systeme, die den groben Inhalt von Texten erfassen (Manning et al., 2008). Dabei erfolgt jedoch keine ‚echte‘ Interpretation, die die impliziten Aussagen des Textes erfassen und damit die Ableitung neuen Wissens ermöglichen könnte. Aufbauend auf der 2016 vorgestellten formalen Subtextanalyse (Klimczak, 2016) erscheint aber ein algorithmisiertes Verfahren zur Rekonstruktion von komplexen Semantiken narrativer Gebrauchstexte möglich, welches die bestehenden Verfahren sowohl der Computerphilologie als auch der Computerlinguistik qualitativ übertreffen könnte, indem es hermeneutische Zugänge für informationstechnische Forschung erschließt. KW - Interpretation KW - Interdisziplinarität KW - Medienwissenschaft KW - Subtextanalyse KW - Narrativik KW - Hermeneutik KW - Semantik KW - Semiotik Y1 - 2018 U6 - https://doi.org/10.18420/infdh2018-06 PB - Gesellschaft für Informatik e.V. CY - Bonn ER - TY - GEN A1 - Löffler, Sven A1 - Liu, Ke A1 - Hofstedt, Petra ED - Iliadis, Lazaros S. ED - Maglogiannis, Ilias ED - Plagianakos, Vassilis P. T1 - The Regularization of CSPs for Rostering, Planning and Resource Management Problems T2 - Artificial Intelligence Applications and Innovations - 14th IFIP WG 12.5 International Conference, AIAI 2018, Rhodes, Greece KW - Artificial Intelligence KW - Constraint Programming KW - Constraint Transformation KW - Planning and Scheduling Y1 - 2018 SN - 978-3-319-92006-1 SN - 978-3-319-92007-8 U6 - https://doi.org/10.1007/978-3-319-92007-8_18 SP - 209 EP - 218 PB - Springer CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Groza, Adrian ED - Prasath, Rajendra T1 - Solving the Traveling Tournament Problem with Predefined Vanues by Parallel Constraint Programming T2 - Mining Intelligence and Knowledge Exploration - 6th International Conference, MIKE 2018, Cluj-Napoca, Romania, 2018 KW - Artificial Intelligence KW - Constraint Programming KW - Traveling Tournament Problem KW - Parallel Programming KW - Constraint Solving Y1 - 2018 SN - 978-3-030-05917-0 SN - 978-3-030-05919-4 U6 - https://doi.org/10.1007/978-3-030-05918-7_7 SP - 64 EP - 79 PB - Springer International Publishing CY - Cham ER - TY - GEN A1 - Liu, Ke A1 - Löffler, Sven A1 - Hofstedt, Petra ED - Seipel, Dietmar ED - Hanus, Michael ED - Abreu, Salvador T1 - Hypertree Decomposition: The First Step towards Parallel Constraint Solving T2 - Declarative Programming and Knowledge Management - DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, Revised Selected Papers KW - Artificial Intelligence KW - Constraint Programming KW - Parallel Constraint Solving Y1 - 2018 UR - https://www.springer.com/de/book/9783030008000 SN - 978-3-030-00800-0 U6 - https://doi.org/10.1007/978-3-030-00801-7_6 SP - 81 EP - 94 PB - Springer CY - Heidelberg [u.a.] ER -