@inproceedings{AbdennadherIsmailKhoury2010, author = {Abdennadher, Slim and Ismail, Haythem and Khoury, Frederick}, title = {Transforming imperative algorithms to constraint handling rules}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41533}, year = {2010}, abstract = {Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.}, language = {en} } @inproceedings{ArlettazBadoBakosKovacsetal.2014, author = {Arlettaz, Jordane and Bad{\´o}, Attila and Bakos-Kov{\´a}cs, Kitti and Bat{\´o}, Szilvia and B{\´o}ka, J{\´a}nos and Congnard, Laureline and Csatl{\´o}s, Erzs{\´e}bet and Gedeon, Magdolna and Guemar, Carine and Hajd{\´u}, D{\´o}ra and Jacs{\´o}, Judit and Kelemen, Katalin and Fekete, Bal{\´a}zs and Kruzslicz, P{\´e}ter and Mezei, P{\´e}ter and Szűcs, T{\"u}nde and Zolt{\´a}n, P{\´e}teri and Szab{\´o}, B{\´e}la P.}, title = {Internationale Konferenz zum zehnj{\"a}hrigen Bestehen des Instituts f{\"u}r Rechtsvergleichung der Universit{\"a}t Szeged}, editor = {Bad{\´o}, Attila and Belling, Detlev W. and B{\´o}ka, J{\´a}nos and Mezei, P{\´e}ter}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-308-4}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72039}, pages = {296}, year = {2014}, abstract = {Die Konferenz „International Conference for the 10th Anniversary of the Institute of Comparative Law" hat am 24. Mai 2013 in Szeged stattgefunden. Im Rahmen der viersprachigen Konferenz haben mehr als dreißig Teilnehmer ihre Forschungsergebnisse pr{\"a}sentiert. Der Essay von Zolt{\´a}n P{\´e}teri blickt auf die Disziplin aus der Perspektive der Wissenschaftsgeschichte. Katalin Kelemen und Bal{\´a}zs Fekete gehen in ihrem Aufsatz der Frage nach, welchen Weg die Versuche der Klassifikation der Rechtssysteme von Osteuropa in der sp{\"a}ten Phase der Umbr{\"u}che der 1980/90er Jahren genommen haben. Die historische Betrachtungsweise mit Bezug auf Rechtsgeschichte und Rechtsvergleichung spiegelt sich auch in anderen Essays wider, vor allem in den Aufs{\"a}tzen von Szilvia Bat{\´o}, Magdolna Gedeon und B{\´e}la Szab{\´o} P. sowie auch in den Aufs{\"a}tzen von P{\´e}ter Mezei und T{\"u}nde Szűcs. Attila Bad{\´o} analysiert die Rechtsvergleichung aus der Sicht des Rechts, der Soziologie und der Politikwissenschaft anhand von Untersuchungen {\"u}ber das Sanktionsystem der Richter in den USA. Diese politikwissenschaftliche Seite wird auch in den Aufs{\"a}tzen {\"u}ber die aktuellen Fragen der europ{\"a}ischen Integration von Carine Guemar und Laureline Congnard betont. Eine Reihe von Aufs{\"a}tzen behandeln die konventionelle normative Komparatistik auf dem Gebiet des Verfassungsrechts (Jordane Arlettaz und P{\´e}ter Kruzslicz), Gesellschaftsrechts (Kitti Bakos-Kov{\´a}cs), Urheberrechts (D{\´o}ra Hajd{\´u}) und Steuerrechts (Judit Jacs{\´o}). Daneben bilden eine weitere Gruppe die Aufs{\"a}tze von J{\´a}nos B{\´o}ka und Erzs{\´e}bet Csatl{\´o}s, die die Verwendung der vergleichenden Methode in der Praxis der Rechtsprechung untersuchen. Die Rechtsvergleichung ist eine sich dynamisch entwickelnde Disziplin. Die Konferenz und dieser Band dienen nicht nur der W{\"u}rdigung der bisherigen Arbeit des Instituts f{\"u}r Rechtsvergleichung, sondern zeigen gleichzeitig neue Ziele auf. Die wichtigsten Grunds{\"a}tze bleiben aber fest verankert auch in einem sich stets ver{\"a}ndernden rechtlichen und geistigen Umfeld. Das Motto des Instituts lautet „instruere et docere omnes qui edoceri desiderant" - „alle lehren, die lernen wollen." Auch in den folgenden Jahrzehnten werden uns der Wille des Lernens und Lehrens, die Freiheit der Forschung sowie die {\"U}bertragung und Weiterentwicklung der ungarischen wie globalen Rechtskultur leiten.}, language = {de} } @inproceedings{Arnold2006, author = {Arnold, Gabriele}, title = {Beitr{\"a}ge zur spektralen Fernerkundung fester planetarer Oberfl{\"a}chen}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7235}, year = {2006}, abstract = {Dr. Gabriele Arnold ist Leiterin des Bereichs Optische Informationssyteme am Institut f{\"u}r Planetenforschung des Deutschen Zentrums f{\"u}r Luft- und Raumfahrt (DLR) in Berlin-Adlershof
Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006}, language = {de} } @inproceedings{ArtsteinPoesio2006, author = {Artstein, Ron and Poesio, Massimo}, title = {Identifying reference to abstract objects in dialogue}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10357}, year = {2006}, abstract = {In two experiments, many annotators marked antecedents for discourse deixis as unconstrained regions of text. The experiments show that annotators do converge on the identity of these text regions, though much of what they do can be captured by a simple model. Demonstrative pronouns are more likely than definite descriptions to be marked with discourse antecedents. We suggest that our methodology is suitable for the systematic study of discourse deixis.}, language = {en} } @inproceedings{AudinDucourtiouxOuedraogoetal.2017, author = {Audin, Mich{\`e}le and Ducourtioux, Catherine and Ou{\´e}draogo, Fran{\c{c}}oise and Schulz, Ren{\´e} and Delgado, Julio and Ruzhansky, Michael and Lebeau, Gilles}, title = {Integral Fourier operators}, editor = {Paycha, Sylvie}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-413-5}, issn = {2199-4951}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-402657}, pages = {xxi, 229}, year = {2017}, abstract = {This volume of contributions based on lectures delivered at a school on Fourier Integral Operators held in Ouagadougou, Burkina Faso, 14-26 September 2015, provides an introduction to Fourier Integral Operators (FIO) for a readership of Master and PhD students as well as any interested layperson. Considering the wide spectrum of their applications and the richness of the mathematical tools they involve, FIOs lie the cross-road of many a field. This volume offers the necessary background, whether analytic or geometric, to get acquainted with FIOs, complemented by more advanced material presenting various aspects of active research in that area.}, language = {en} } @inproceedings{BadoSchulzeGuentheretal.2018, author = {Bad{\´o}, Attila and Schulze, G{\"o}tz and G{\"u}nther, Oliver and Maisel, Markus and Tr{\´o}cs{\´a}nyi, L{\´a}zl{\´o} and Belling, Detlev W.}, title = {Deutsch-Ungarisches Symposium 2018}, series = {Acta Iuridica Universitatis Potsdamiensis}, booktitle = {Acta Iuridica Universitatis Potsdamiensis}, number = {5}, editor = {Bad{\´o}, Attila}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-428-9}, issn = {2199-9686}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-407923}, pages = {148}, year = {2018}, abstract = {Der Band enth{\"a}lt die Vortr{\"a}ge, welche anl{\"a}sslich der Verabschiedung von Detlev W. Belling in den Ruhestand gehalten wurden: Der Beitrag des Ministers der Justiz von Ungarn, L{\´a}szl{\´o} Tr{\´o}cs{\´a}nyi, befasst sich mit dem Thema Demokratie, Identit{\"a}t und Rechtsstaat - die europ{\"a}ische Integration und die Mitgliedstaaten. Entwickelt wird eine Vision der Europ{\"a}ischen Union, die statt auf fortschreitender Zentralisierung st{\"a}rker auf einer gleichberechtigten Kooperation der Mitgliedstaaten basiert. Die nationalen Verfassungsidentit{\"a}ten sollen als unentbehrliche Bestandteile der nationalen Souver{\"a}nit{\"a}t nicht der europ{\"a}ischen Integration geopfert werden. Vor allem der Grundsatz vom Vorrang des Unionsrechts wird in diesem Zusammenhang kritisch hinterfragt. „Integrationswut" gelte es zu verhindern. Die Rechtsstaatlichkeit einzelner Mitgliedstaaten d{\"u}rfe durch die Union nicht infrage gestellt werden. In seiner Abschlussvorlesung geht Detlev W. Belling der Frage nach, ob und inwieweit die Aus{\"u}bung der Gnadenbefugnisse durch die Gnadentr{\"a}ger in einem s{\"a}kularen und republikanischen Rechtsstaat der gerichtlichen Kontrolle unterliegen sollte. Detailliert werden in diesem Zusammenhang nicht nur die bisherige Rechtsprechung des Bundesverfassungsgerichts und das breit gef{\"a}cherte Meinungsspektrum der Literatur abgebildet. Anhand einer Vielzahl von Beispielen aus der ferneren und unmittelbaren Geschichte wird die Entwicklung des Gnadenrechts nachgezeichnet. Missbrauchsgefahren, wie sie nicht nur kennzeichnend f{\"u}r Diktaturen und Monarchien sind, werden aufgezeigt. Die Erkenntnisse aus der historischen Darstellung aufgreifend, wird anhand einer umfassenden Analyse der geltenden Rechtslage nachgewiesen, aus welchen Gr{\"u}nden die Konstitutionalisierung des Begnadigungsrechts geboten ist.}, language = {de} } @inproceedings{BaeriswylHeinzHuefneretal.2015, author = {Baeriswyl, Pascale and Heinz, Wolfgang S. and H{\"u}fner, Klaus and Martens, Jens}, title = {Konzepte f{\"u}r die Reform der Vereinten Nationen}, series = {Potsdamer UNO-Konferenzen}, booktitle = {Potsdamer UNO-Konferenzen}, number = {11}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-315-2}, issn = {1617-4704}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-78065}, pages = {105}, year = {2015}, abstract = {Die zw{\"o}lfte Konferenz des Forschungskreises Vereinte Nationen wurde am 28. Juni 2014 an der Universit{\"a}t Potsdam veranstaltet und stand unter dem Thema „Konzepte f{\"u}r die Reform der Vereinten Nationen". Dabei wurde das komplexe Verh{\"a}ltnis zwischen Reformnotwendigkeit und Machbarkeits­erwartungen einerseits und ausgebliebenen weitreichenden Strukturreformen und erfolgten „kleineren", pragmatischen Reformschritten andererseits deutlich. Mit den vier Referaten stellte die Konferenz in der Tradition der Potsdamer UNO-Konferenzen die Verbindung von Wissenschaft und Praxis unter Beteiligung unterschiedlicher Disziplinen her. Mit der Brosch{\"u}re soll allen Interessierten die M{\"o}glichkeit gegeben werden, Einblick in ausgew{\"a}hlte Schwerpunkte der Reformdiskussion zu erhalten: An ein Grundsatzreferat zu bisherigen Reformprozessen im UN-System ins­gesamt schließen sich drei Texte an, die das Verh{\"a}ltnis zwischen den Vereinten Nationen und den nichtstaatlichen Akteuren in den Blick nehmen, die relativ neue Institution des Menschenrechtsrates als Teil der Reform­bem{\"u}hungen betrachten und schließlich Ergebnisse und Trends bei den Reformen der Arbeitsmethoden des Sicherheitsrates er{\"o}rtern.}, language = {de} } @inproceedings{BandaGallagher2010, author = {Banda, Gourinath and Gallagher, John P.}, title = {Constraint-based abstraction of a model checker for infinite state systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41516}, year = {2010}, abstract = {Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.}, language = {en} } @inproceedings{BarbaianiCanceddaDanceetal.2008, author = {Barbaiani, Mădălina and Cancedda, Nicola and Dance, Chris and Fazekas, Szil{\´a}rd and Ga{\´a}l, Tam{\´a}s and Gaussier, {\´E}ric}, title = {Asymmetric term alignment with selective contiguity constraints by multi-tape automata}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27115}, year = {2008}, abstract = {This article describes a HMM-based word-alignment method that can selectively enforce a contiguity constraint. This method has a direct application in the extraction of a bilingual terminological lexicon from a parallel corpus, but can also be used as a preliminary step for the extraction of phrase pairs in a Phrase-Based Statistical Machine Translation system. Contiguous source words composing terms are aligned to contiguous target language words. The HMM is transformed into a Weighted Finite State Transducer (WFST) and contiguity constraints are enforced by specific multi-tape WFSTs. The proposed method is especially suited when basic linguistic resources (morphological analyzer, part-of-speech taggers and term extractors) are available for the source language only.}, language = {en} } @inproceedings{Barthelemy2008, author = {Barth{\´e}lemy, Fran{\c{c}}ois}, title = {Finite-state compilation of feature structures for two-level morphology}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27120}, year = {2008}, abstract = {This paper describes a two-level formalism where feature structures are used in contextual rules. Whereas usual two-level grammars describe rational sets over symbol pairs, this new formalism uses tree structured regular expressions. They allow an explicit and precise definition of the scope of feature structures. A given surface form may be described using several feature structures. Feature unification is expressed in contextual rules using variables, like in a unification grammar. Grammars are compiled in finite state multi-tape transducers.}, language = {en} } @inproceedings{Bartle2008, author = {Bartle, Richard}, title = {When openness closes : the line between play and design}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24536}, year = {2008}, abstract = {One of the informal properties often used to describe a new virtual world is its degree of openness. Yet what is an "open" virtual world? Does the phrase mean generally the same thing to different people? What distinguishes an open world from a less open world? Why does openness matter anyway? The answers to these questions cast light on an important, but shadowy, and uneasy, topic for virtual worlds: the relationship between those who construct the virtual, and those who use these constructions.}, language = {en} } @inproceedings{BauerMarkmannWichmannetal.2015, author = {Bauer, Hartmut and Markmann, Friedrich and Wichmann, Maren and Becker, Ulrike and Hebeler, Timo and B{\"o}ttcher, Karl-Ludwig and Glittenberg, Barbara and Kluth, Winfried and Rombey, Wolfgang and Große, Gerrit and Thies, Heike and Pfl{\"u}ger, Georg A.}, title = {Schulen im kommunalen Bildungsmanagement}, editor = {Bauer, Hartmut and B{\"u}chner, Christiane and Markmann, Friedrich}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-326-8}, issn = {1867-951X}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-74977}, pages = {155}, year = {2015}, abstract = {Die Schule steckt mitten in einem Umbruch: Dieser wird durch verschiedene Faktoren wie sinkende Sch{\"u}lerzahlen, Zu- und Abwanderungen von Familien mit ihren Kindern, wachsenden Zahlen von Schulpflichtigen mit Migrationshintergrund und anderes mehr gekennzeichnet. Damit steht die Schule vor neuen Herausforderungen. Außerdem h{\"a}lt der Trend zum Gymnasium an. Auch wechselvolle Dauerreformen schaffen un{\"u}bersichtliche Schulstrukturen und erschweren sichere Orientierung. Und: Im zunehmend raueren Wettbewerb der Schultypen laufen den {\"o}ffentlichen Schulen immer mehr Sch{\"u}ler davon und zu den Privatschulen {\"u}ber. Schon jetzt sehen sich zahlreiche Kommunen gezwungen, ihre Bildungsangebote zur{\"u}ckzuschrauben und ihre Schulen zu schließen. Kann eine Kommune ihren B{\"u}rgern aber nicht mehr die schulische „Grundversorgung" anbieten, so hat dies weitreichende Folgen. Wo Schulen schließen m{\"u}ssen, „stirbt auch der Ort". Ein umfangreiches, vielf{\"a}ltiges und fl{\"a}chendeckendes Bildungsangebot dagegen ist f{\"u}r die Kommune tragender Pfeiler einer funktionsf{\"a}higen Infrastruktur. Hier setzt die 21. Fachtagung des Kommunalwissenschaftlichen Institutes der Universit{\"a}t Potsdam an. Sie behandelt zentrale Themen der nachhaltigen Gew{\"a}hrleistung schulischer Infrastruktur in den Kommunen einschließlich der dazugeh{\"o}rigen Erfahrungsberichte, die {\"u}ber Best-Practice-Modelle sowie {\"u}ber Erfolgsbedingungen und Fallstricke in der Verwaltungspraxis informieren. Damit gibt die Tagung zugleich Impulse den kommunalen Entscheidungstr{\"a}gern f{\"u}r die Generierung von und den Umgang mit Gestaltungsoptionen zur Standortsicherung im kommunalen Bildungsmanagement.}, language = {de} } @inproceedings{BekaŝevTaevaZeninetal.2016, author = {Bek{\^a}ŝev, Kamil and Taeva, Natal'{\^a} and Zenin, Sergej and Vasilevska{\^a}, L{\^u}dmila and Poduzova, Ekaterina and Gračeva, Elena and Eršova, Inna and Homenko, Elena and Alekseeva, Diana}, title = {Dritte Woche des Russischen Rechts, Potsdam, 13.-17.10.2014, mit der Moskauer Staatlichen Juristischen O. E. Kutafin Universit{\"a}t (Akademie)}, volume = {2016}, editor = {Blažeev, Viktor V. and Belling, Detlev W.}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-340-4}, issn = {2199-9686}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-83660}, pages = {238}, year = {2016}, abstract = {Das vorliegende Werk ist das Ergebnis der 3. Woche des Russischen Rechts an der Juristischen Fakult{\"a}t der Universit{\"a}t Potsdam. Namhafte Wissenschaftlerinnen und Wissenschaftler der Moskauer Staatlichen Juristischen Universit{\"a}t O. E. Kutafin hielten Vortr{\"a}ge zum V{\"o}lkerrecht, Verfassungs- und Staatsangeh{\"o}rigkeitsrecht, B{\"u}rgerlichen Recht, Unternehmens- und Gesellschaftsrecht, Finanzrecht und Bankrecht. Das russische Recht befindet sich nach dem Ende der Sowjetunion im Wandel. Die Beitr{\"a}ge zeugen vom hohen Stand der Jurisprudenz an der Moskauer Staatlichen Juristischen Universit{\"a}t O. E. Kutafin. Die Wochen des Russischen Rechts tragen dazu bei, das Recht der Russischen F{\"o}deration bei uns in Deutschland bekannt zu machen und rechtsvergleichend zur Diskussion zu stellen.}, language = {de} } @inproceedings{BergmannKopp2006, author = {Bergmann, Kirsten and Kopp, Stefan}, title = {Verbal or visual? : How information is distributed across speech and gesture in spatial dialog}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10375}, year = {2006}, abstract = {In spatial dialog like in direction giving humans make frequent use of speechaccompanying gestures. Some gestures convey largely the same information as speech while others complement speech. This paper reports a study on how speakers distribute meaning across speech and gesture, and depending on what factors. Utterance meaning and the wider dialog context were tested by statistically analyzing a corpus of direction-giving dialogs. Problems of speech production (as indicated by discourse markers and disfluencies), the communicative goals, and the information status were found to be influential, while feedback signals by the addressee do not have any influence.}, language = {en} } @inproceedings{Berndt2003, author = {Berndt, Sergei}, title = {O kategoriach żywotności w języku polskim}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27746}, year = {2003}, language = {mul} } @inproceedings{BetzRaiserFruehwirth2010, author = {Betz, Hariolf and Raiser, Frank and Fr{\"u}hwirth, Thom}, title = {Persistent constraints in constraint handling rules}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41547}, year = {2010}, abstract = {In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.}, language = {en} } @inproceedings{BeyssadeMarandin2006, author = {Beyssade, Claire and Marandin, Jean-Marie}, title = {From complex to simple speech acts : a bidimensional analysis of illocutionary}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10319}, year = {2006}, abstract = {We present a new analysis of illocutionary forces in dialogue. We analyze them as complex conversational moves involving two dimensions: what Speaker commits herself to and what she calls on Addressee to perform. We start from the analysis of speech acts such as confirmation requests or whimperatives, and extend the analysis to seemingly simple speech acts, such as statements and queries. Then, we show how to integrate our proposal in the framework of the Grammar for Conversation (Ginzburg, to app.), which is adequate for modelling agents' information states and how they get updated.}, language = {en} } @inproceedings{Bischof2005, author = {Bischof, Ulrike}, title = {Nachlasserschließung im Goethe- und Schiller-Archiv}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-6081}, year = {2005}, abstract = {Beitr{\"a}ge zum Thema "Nachl{\"a}sse an Universit{\"a}ts- und Hochschularchiven sowie Archiven wissenschaftlicher Institutionen" im Rahmen der Fr{\"u}hjahrstagung der Fachgruppe 8: "Archivare an Hochschularchiven und Archiven wissenschaftlicher Institutionen" am 16./17. Juni an der Universit{\"a}t Potsdam.}, subject = {Archiv}, language = {de} } @inproceedings{BlancConstantWatrin2008, author = {Blanc, Olivier and Constant, Matthieu and Watrin, Patrick}, title = {Segmentation in super-chunks with a finite-state approach}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27133}, year = {2008}, abstract = {Since Harris' parser in the late 50s, multiword units have been progressively integrated in parsers. Nevertheless, in the most part, they are still restricted to compound words, that are more stable and less numerous. Actually, language is full of semi-fixed expressions that also form basic semantic units: semi-fixed adverbial expressions (e.g. time), collocations. Like compounds, the identification of these structures limits the combinatorial complexity induced by lexical ambiguity. In this paper, we detail an experiment that largely integrates these notions in a finite-state procedure of segmentation into super-chunks, preliminary to a parser.We show that the chunker, developped for French, reaches 92.9\% precision and 98.7\% recall. Moreover, multiword units realize 36.6\% of the attachments within nominal and prepositional phrases.}, language = {en} } @inproceedings{Blomme2007, author = {Blomme, R.}, title = {Corotating Interaction Regions and clumping}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18100}, year = {2007}, abstract = {We present hydrodynamical models for Corotating Interaction Regions, which were used by Lobel (2007) to model the Discrete Absorption Components in HD 64760. We also discuss our failure to model the rotational modulations seen in the same star.}, language = {en} } @inproceedings{Bogost2008, author = {Bogost, Ian}, title = {The phenomenology of videogames}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24547}, year = {2008}, abstract = {Jesper Juul has convincingly argued that the conflict over the proper object of study has shifted from "rules or story" to "player or game." But a key component of digital games is still missing from either of these oppositions: that of the computer itself. This paper offers a way of thinking about the phenomenology of the videogame from the perspective of the computer rather than the game or the player.}, language = {en} } @inproceedings{BonfanteLeRoux2008, author = {Bonfante, Guillaume and Le Roux, Joseph}, title = {Intersection optimization is NP-complete}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27146}, year = {2008}, abstract = {Finite state methods for natural language processing often require the construction and the intersection of several automata. In this paper, we investigate the question of determining the best order in which these intersections should be performed. We take as an example lexical disambiguation in polarity grammars. We show that there is no efficient way to minimize the state complexity of these intersections.}, language = {en} } @inproceedings{BorowskiGlowinskiFristeretal.2018, author = {Borowski, Andreas and Glowinski, Ingrid and Frister, Jonas and H{\"o}ttecke, Dietmar and Buth, Katrin and Koenen, Jenna and Masanek, Nicole and Reichwein, Wilko and Scholten, Nina and Sprenger, Sandra and Stender, Peter and W{\"o}hlke, Carina and Komorek, Michael and Freckmann, Janine and Hofmann, Josefine and Niesel, Verena and Richter, Chris and Mehlmann, Nelli and Bikner-Ahsbahs, Angelika and Unverricht, Katja and Schanze, Sascha and Bittorf, Robert Marten and Meier, Monique and Grospietsch, Finja and Mayer, J{\"u}rgen and Gimbel, Katharina and Ziepprecht, Kathrin and Hofmann, Judith and Kramer, Charlotte and M{\"u}ller, Britta-Kornelia and Rohde, Andreas and Z{\"u}hlsdorf, Felix and Winkler, Iris and Laging, Ralf and Peter, Carina and Schween, Michael and H{\"a}rle, Gerhard and Busse, Beatrix and Mahner, Sebastian and K{\"o}stler, Verena and Kufner, Sabrina and M{\"a}gdefrau, Jutta and M{\"u}ller, Christian and Beck, Christina and Kriehuber, Eva and Boch, Florian and Engl, Anna-Teresa and Helzel, Andreas and Pickert, Tina and Reiter, Christian and Blasini, Bettina and Nerdel, Claudia and Lewalter, Doris and Schiffhauer, Silke and Richter-Gebert, J{\"u}rgen and Bannert, Maria and Maahs, Mirjam and Reißner, Maria and Ungar, Patrizia and von Wachter, Jana-Kristin and Hellmann, Katharina and Zaki, Katja and Pohlenz, Philipp}, title = {Koh{\"a}renz in der universit{\"a}ren Lehrerbildung}, editor = {Glowinski, Ingrid and Borowski, Andreas and Gillen, Julia and Schanze, Sascha and von Meien, Joachim}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-438-8}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-414267}, year = {2018}, abstract = {One area that is supported by the project "Qualit{\"a}tsoffensive Lehrerbildung" (funded by BMBF) is the improvement of collaboration and coordination between studies in the discipline, studies in pedagogical content knowledge, and studies in pedagogical knowledge during teacher education at university. Aiming a better coordination among these three parts of teacher education at university, many of the supported projects have designed and realized university-specific approaches. This conference proceedings volume comprises contributions by 15 of these projects. Seven of those were introduced and discussed in workshops on the occasion of two cross-regional project-conferences in Hannover and Potsdam. Overall, the contributions give a theoretically funded as well as a practice-oriented overview of current approaches and concepts to achieve a better connection between study units concerning studies in content knowledge, pedagogical content knowledge and pedagogical knowledge in teacher education. The volume presents university projects, which take effect on different levels (at the level of curriculum and content, at a collegiate level, at the level of structural conditions of universities). The different approaches are described in a way that they can provide a basis for transfer to other subjects or further universities. The contributions are aimed at teacher educators as well as other actors working in the field of teaching- and quality development at universities. All of them can take transferable ideas and impulses from the described concepts and formats.}, language = {de} } @inproceedings{BouretLanzHillieretal.2007, author = {Bouret, J.-C. and Lanz, T. and Hillier, D. J. and Foellmi, C.}, title = {Clumping in O-type Supergiants}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17662}, year = {2007}, abstract = {We have analyzed the spectra of seven Galactic O4 supergiants, with the NLTE wind code CMFGEN. For all stars, we have found that clumped wind models match well lines from different species spanning a wavelength range from FUV to optical, and remain consistent with Hα data. We have achieved an excellent match of the P V λλ1118, 1128 resonance doublet and N IV λ1718, as well as He II λ4686 suggesting that our physical description of clumping is adequate. We find very small volume filling factors and that clumping starts deep in the wind, near the sonic point. The most crucial consequence of our analysis is that the mass loss rates of O stars need to be revised downward significantly, by a factor of 3 and more compared to those obtained from smooth-wind models.}, language = {en} } @inproceedings{Brass2010, author = {Brass, Stefan}, title = {Range restriction for general formulas}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41521}, year = {2010}, abstract = {Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.}, language = {en} } @inproceedings{BreitlauchNoskovaRensingetal.2014, author = {Breitlauch, Linda and Noskova, Tatiana N. and Rensing, Christoph and Ifenthaler, Dirk and Owassapian, Dominik and Hensinger, Johannes and Buschmann, Jana and Glasemann, Marie and Dirwelis, Swenja and Mach, Michael and Kallookaran, Michael and Robra-Bissantz, Susanne and Zoerner, Dietmar and K{\"o}hlmann, Wiebke and Brandt, Christopher and Kutzner, Tobias and Steinert, Christian}, title = {E-Learning Symposium 2014}, editor = {Lucke, Ulrike and Gr{\"u}newald, Franka and Hafer, J{\"o}rg}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, doi = {10.25932/publishup-6984}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-72154}, pages = {59}, year = {2014}, abstract = {Der Tagungsband zum E-Learning Symposium 2014 an der Universit{\"a}t Potsdam beleuchtet die diversen Zielgruppen und Anwendungsbereiche, die aktuell in der E-Learning-Forschung angesprochen werden. W{\"a}hrend im letzten Symposium 2012 der Dozierende mit den unterschiedlichen M{\"o}glichkeiten der Studierendenaktivierung und Lehrgestaltung im Fokus der Diskussionen stand, werden in diesem Jahr in einem großen Teil der Beitr{\"a}ge die Studierenden ins Zentrum der Aufmerksamkeit ger{\"u}ckt. Dass nicht nur der Inhalt des Lernmediums f{\"u}r den Lernerfolg eine Rolle spielt, sondern auch dessen Unterhaltungswert und die Freude, die die Lernenden w{\"a}hrend des Prozesses der Wissensakquise empfinden, zeigt sehr anschaulich die Keynote von Linda Breitlauch zum Thema „Faites vos Jeux" (Spielen Sie jetzt). Der Beitrag von Zoerner et al. verbindet den Gedanken des spiele-basierten Lernens mit dem nach wie vor aktuellen Thema des mobilen Lernens. Auch in diesem Forschungsbereich spielt die Fokussierung auf den Lernenden eine immer herausragendere Rolle. Einen Schritt weiter in Richtung Individualisierung geht in diesem Zusammenhang der eingeladene Vortrag von Christoph Rensing, der sich mit der Adaptivit{\"a}t von mobilen Lernanwendungen besch{\"a}ftigt. Mit Hilfe zur Verf{\"u}gung stehender Kontextinformationen sollen gezielt individuelle Lernprozesse unterst{\"u}tzt werden. Alle Beitr{\"a}ge, die sich auf mobile Applikationen und auf Spiele beziehen, sprechen auch die zwischenmenschliche Komponente am Lernen an. So wird neben der Mobilit{\"a}t insbesondere auch der Austausch von Lernobjekten zwischen Lernenden (vergleiche den Beitrag von Zoerner et al.) sowie die Kooperation zwischen Lernenden (siehe Beitrag von Kallookaran und Robra-Bissantz) diskutiert. Der interpersonelle Kontakt spielt allerdings ebenfalls in den Beitr{\"a}gen ohne Spiel- oder App-Fokussierung eine Rolle. Tutoren werden beispielsweise zur Moderation von Lernprozessen eingesetzt und Lerngruppen gegr{\"u}ndet um das problem-orientierte Lernen st{\"a}rker in den Mittelpunkt zu r{\"u}cken (siehe Beitrag von Mach und Dirwelis) bzw. n{\"a}her am Bedarf der Studierenden zu arbeiten (wie in eingeladenen Vortrag von Tatiana N. Noskova sowie in dem Beitrag von Mach und Dirwelis beschrieben). In der Evaluation wird ebenfalls der Schritt weg von anonymen, akkumulierten statistischen Auswertungen hin zu individualisierten Nutzerprofilen im Bereich des Learning Analytics untersucht (vergleiche dazu den Beitrag von Ifenthaler). Neben der Schwerpunktsetzung auf die Lernenden und deren Mobilit{\"a}t r{\"u}ckt das Thema Transmedialit{\"a}t st{\"a}rker ins Zentrum der Forschung. W{\"a}hrend schon die Keynote mit ihrem Spielefokus darauf anspricht, geht es in weiteren Beitr{\"a}gen darum Abl{\"a}ufe aus der analogen Welt bestm{\"o}glich in der digitalen Welt abzubilden. Lerninhalte, die bisher mittels Bildern und Texten f{\"u}r Lehrende und Lernende zug{\"a}nglich gemacht wurden, werden nunmehr mit weiteren Medien, insbesondere Videos, angereichert um deren Verst{\"a}ndnis zu erh{\"o}hen. Dies ist beispielsweise geeignet, um Bewegungsabl{\"a}ufe im Sport (vergleiche dazu den Beitrag von Owassapian und Hensinger) oder musikpraktische {\"U}bungen wie Bodyperkussion (beschrieben im Beitrag von Buschmann und Glasemann) zu erlernen Lernendenfokussierung, pers{\"o}nlicher Austausch, Mobilit{\"a}t und Transmedialit{\"a}t sind somit einige der Kernthemen, die Sie in diesem Sammelband erwarten. Auch zeigt die h{\"a}ufige Verkn{\"u}pfung verschedener dieser Kernthemen, dass keines davon ein Randthema ist, sondern sich die Summe aus allen im E-Learning b{\"u}ndelt und damit eine neue Qualit{\"a}t f{\"u}r Lehre, Studium und Forschung erreicht werden kann.}, language = {mul} } @inproceedings{Bronstert2006, author = {Bronstert, Axel}, title = {Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und angewandte Fernerkundung (IMAF) an der Universit{\"a}t Potsdam : Gegenwart und Zukunft}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7021}, year = {2006}, abstract = {Stand des IMAF zu Beginn des Jahres 2006 Zum 1. April 2005 wurde per Beschluss des Rektorats der Universit{\"a}t Potsdam das Interdisziplin{\"a}re Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung (IMAF) an der Universit{\"a}t Potsdam eingerichtet. Diesem Beschluss gingen knapp zwei Jahre konzeptionelle, organisatorische und administrative Vorarbeiten voraus. Inzwischen ist das IMAF also offiziell gegr{\"u}ndet, der Vorstand wurde „bestellt" (Prof. M. Mutti. Prof. E. Zehe, Prof. A. Bronstert), der Gesch{\"a}ftsf{\"u}hrer bzw. wissenschaftliche Koordinator Dr. M. K{\"u}hling arbeitet in dieser Funktion seit Sommer 2005 und seit kurzem ist auch die 1. Version der Homepage des IMAF (http://www.uni-potsdam.de/imaf/) frei geschaltet. Auch die Infrastruktur des IMAF ist in der Entstehungsphase: B{\"u}ror{\"a}ume sind versprochen (wenn auch noch nicht bezugsfertig) im Haus 13 auf dem Campus Golm der Universit{\"a}t Potsdam und der 1. erfolgreiche Drittmittelantrag erbrachte 8 leistungsf{\"a}hige Tischrechner und einen Server f{\"u}r das IMAF aus EU-Mitteln. Wichtiger als die administrativen und organisatorischen Arbeiten sind aber die inhaltlichen Forstschritte. Hier ist die große Resonanz, die die Gr{\"u}ndung des IMAF sowohl innerhalb als auch außerhalb der Universit{\"a}t gefunden hat, besonders erfreulich. {\"U}ber 30 Angeh{\"o}rige des Zentrums sind inzwischen zu verzeichnen und es gibt bereits eine Reihe von wissenschaftlichen Projektinitiativen und Ideen f{\"u}r dieses Zentrum. Neben den wissenschaftlichen Arbeiten am IMAF ist ein zweites Hauptziel f{\"u}r dieses Zentrum die Entwicklung und der Ausbau eines strukturierten Ausbildungsangebotes f{\"u}r Musterdynamik und angewandte Fernerkundung. Dies sollen gleichermaßen Masterstudenten als auch Doktoranden der Universit{\"a}t Potsdam und der mit ihr assoziierten außeruniversit{\"a}ren Institute nutzen. Zudem werden Kurse und Weiterbildungsveranstaltungen mit nationalen und internationalen Experten angestrebt. Neben diesen positiven Entwicklungen gibt es auch (noch ??) {\"u}ber einige M{\"a}ngel zu berichten: Das Sekretariat ist nach wie vor unbesetzt, die Finanzausstattung des Zentrums ist v{\"o}llig ungen{\"u}gend und die im Konzept f{\"u}r das Zentrum beantragte Wissenschaftlerstelle f{\"u}r Softwareanwendung ist nicht in Sicht. F{\"u}r einen Erfolg des Zentrums ist es unbedingt notwendig, dass sich diese Situation deutlich verbessert!! Forschungsschwerpunkte des IMAF R{\"a}umliche Muster und deren Struktur in der Umwelt R{\"a}umliche Muster sind in vielen naturwissenschaftlichen Disziplinen (Hydrologie, {\"O}kologie, Geologie, Biologie, Chemie, Physik) von zentraler Bedeutung. Z.B. bestimmen die r{\"a}umlichen (und zeitlichen) Muster von Bodeneigenschaften und Vegetation in ihrem Zusammenspiel mit den Mustern von Niederschlag und Strahlungsinput maßgeblich den Wasser- und Stoffhaushalt auf unterschiedlichsten Skalen und f{\"u}hren {\"u}ber R{\"u}ckkopplung wiederum zu Ver{\"a}nderungen in Klima, Vegetation und {\"O}kosystemen. Vom kleinr{\"a}umigen Transport von Schadstoffen und von der Hochwasserentstehung bis zur Frage nach den regionalen und globalen Ver{\"a}nderungen von Klima, Vegetation und Landnutzung seien hier nur einige Problemkreise genannt, in denen Muster und Musterdynamik eine zentrale Stellung einnehmen. Dar{\"u}ber hinaus liefert die Betrachtung der zeitlichen Ver{\"a}nderung von r{\"a}umlichen Mustern, in Erg{\"a}nzung zur klassischen Erfassung dynamischer Prozesse in Form von Messungen lokaler zeitlicher {\"A}nderungen, eine v{\"o}llig neue Perspektive auf Dynamik und er{\"o}ffnet damit v{\"o}llig neue wissenschaftliche M{\"o}glichkeiten. Aktuelle und sehr dr{\"a}ngende Fragen innerhalb dieses Forschungsschwerpunktes sind unter anderem: • Analyse der generelle Raumstruktur von Geodaten (Variabilit{\"a}t, Struktur, Konnektivit{\"a}t); • Thematische Verbindungen verschiedener Datenebenen und M{\"o}glichkeiten f{\"u}r deren Assimilation; • M{\"o}glichkeiten und Grenzen des Skalen{\"u}bergangs zwischen verschiedenen r{\"a}umlichen Aufl{\"o}sungen und Informationsquellen; • Ableitung der zeitlichen Dynamik bzw. Entwicklung von großen fl{\"a}chenhaften Datenfeldern. Angewandte Fernerkundung Wie keine andere Technik bietet die Fernerkundung in jeglicher Form (unter anderem Satelliten, flugzeuggetragene Sensoren, Wetterradar und auch geophysikalische Methoden) umfangreiche M{\"o}glichkeiten, r{\"a}umliche Muster und deren zeitliche Ver{\"a}nderungen zu erfassen. Allen Methoden der Fernerkundung gemein ist, dass sie nur indirekte Ergebnisse liefern. Das heißt, es besteht nur ein mittelbarer Zusammenhang zwischen dem beobachteten Signal, meist der Reflektivit{\"a}t oder Emissivit{\"a}t elektromagnetischer Strahlung in verschiedenen Spektralbereichen (optisch oder Radar), und der eigentlich interessierenden Gr{\"o}ße, wie dem Feuchtezustand der Vegetation, der Bodenfeuchte oder Bodenrauhigkeit, der Niederschlagsintensit{\"a}t, dem Zustand der Schneedecke oder der Ausdehnung eines Oberfl{\"a}chenfilms auf Gew{\"a}ssern. Ein Satellitenbild enth{\"a}lt beispielsweise immer die spektrale Signatur des r{\"a}umlichen Musters mehrerer der oben genannten Einflussgr{\"o}ßen, was die Extraktion oder Diskriminierung der eigentlich interessierenden Gr{\"o}ße erschwert. Dieser „vermischte" Charakter der Fernerkundungsdaten bietet aber auch immense Chancen. So lassen sich durch geeignete Interpretationsverfahren aus jedem mit hohem finanziellem und technischem Aufwand erstellten Satellitenbild zahlreiche und im Detail v{\"o}llig unterschiedliche Fragestellungen bearbeiten. Die Extraktion der gew{\"u}nschten Information aus dem Fernerkundungssignal f{\"u}hrt mathematisch gesehen meist auf die L{\"o}sung so genannter inverser, schlecht gestellter Probleme. Somit beinhaltet die interdisziplin{\"a}re Nutzung von Fernerkundung auch ein hohes methodisches Synergiepotential. Durch die heutigen technischen M{\"o}glichkeiten zur Archivierung auch sehr umfangreicher raumbezogener Informationen ist die Bearbeitung zu jedem beliebigen Zeitpunkt nach der Aufnahme m{\"o}glich - zum Beispiel bis entsprechend lange Zeitreihen und/oder geeignete Interpretationsverfahren zur Verf{\"u}gung stehen. Tats{\"a}chlich d{\"u}rfte der weitaus gr{\"o}ßte Teil der raumbezogenen Informationen, die in den bisher erhobenen Fernerkundungsdaten stecken, nur in Ans{\"a}tzen ausgewertet sein. Einer bereits sehr hoch entwickelten technischen Dimension der Fernerkundung steht ein gewisses Defizit im Umfang ihrer Anwendung in den verschiedenen naturwissenschaftlichen Disziplinen gegen{\"u}ber. Aktuelle und sehr dr{\"a}ngende Fragen innerhalb dieses Forschungsschwerpunktes sind unter anderem: • Nutzung der r{\"a}umlichen und inhaltlichen Breite von Fernerkundungsinformationen; • Verbindung mit automatisierten, u.a. geophysikalischen Methoden des „ground-truthings"; • Identifizierung der Grenzen bzgl. Repr{\"a}sentanz der Daten (spektral, raum-zeitliche Aufl{\"o}sung); • Verbindung unterschiedlicher Methoden der Fernerkundung und der Geophysik. Dieser Beitrag illustriert die o.g. Fragestellungen anhand einiger Darstellungen aus verschiedenen wissenschaftlichen Disziplinen und erl{\"a}utert 2 Beispiele zu beabsichtigten Forschungsprojekten: • Erfassung und Bedeutung von Boden-Oberfl{\"a}cheneigenschaften auf die Abflussbildung von Landschaften; • Ph{\"a}nomene des Stofftransportes in homogenen vs. heterogenen B{\"o}den.}, language = {de} } @inproceedings{BynensVanLanduytTruyenetal.2010, author = {Bynens, Maarten and Van Landuyt, Dimitri and Truyen, Eddy and Joosen, Wouter}, title = {Towards reusable aspects: the callback mismatch problem}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41347}, year = {2010}, abstract = {Because software development is increasingly expensive and timeconsuming, software reuse gains importance. Aspect-oriented software development modularizes crosscutting concerns which enables their systematic reuse. Literature provides a number of AOP patterns and best practices for developing reusable aspects based on compelling examples for concerns like tracing, transactions and persistence. However, such best practices are lacking for systematically reusing invasive aspects. In this paper, we present the 'callback mismatch problem'. This problem arises in the context of abstraction mismatch, in which the aspect is required to issue a callback to the base application. As a consequence, the composition of invasive aspects is cumbersome to implement, difficult to maintain and impossible to reuse. We motivate this problem in a real-world example, show that it persists in the current state-of-the-art, and outline the need for advanced aspectual composition mechanisms to deal with this.}, language = {en} } @inproceedings{BoegelButtHautlietal.2008, author = {B{\"o}gel, Tina and Butt, Miriam and Hautli, Annette and Sulger, Sebastian}, title = {Developing a finite-state morphological analyzer for Urdu and Hindi}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27155}, year = {2008}, abstract = {We introduce and discuss a number of issues that arise in the process of building a finite-state morphological analyzer for Urdu, in particular issues with potential ambiguity and non-concatenative morphology. Our approach allows for an underlyingly similar treatment of both Urdu and Hindi via a cascade of finite-state transducers that transliterates the very different scripts into a common ASCII transcription system. As this transliteration system is based on the XFST tools that the Urdu/Hindi common morphological analyzer is also implemented in, no compatibility problems arise.}, language = {en} } @inproceedings{Cabalar2010, author = {Cabalar, Pedro}, title = {Existential quantifiers in the rule body}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41476}, year = {2010}, abstract = {In this paper we consider a simple syntactic extension of Answer Set Programming (ASP) for dealing with (nested) existential quantifiers and double negation in the rule bodies, in a close way to the recent proposal RASPL-1. The semantics for this extension just resorts to Equilibrium Logic (or, equivalently, to the General Theory of Stable Models), which provides a logic-programming interpretation for any arbitrary theory in the syntax of Predicate Calculus. We present a translation of this syntactic class into standard logic programs with variables (either disjunctive or normal, depending on the input rule heads), as those allowed by current ASP solvers. The translation relies on the introduction of auxiliary predicates and the main result shows that it preserves strong equivalence modulo the original signature.}, language = {en} } @inproceedings{CalvilloGamezCairns2008, author = {Calvillo-G{\´a}mez, Eduardo H. and Cairns, Paul}, title = {Pulling the strings : a theory of puppetry for the gaming experience}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27509}, year = {2008}, abstract = {The paper aims to bring the experience of playing videogames closer to objective knowledge, where the experience can be assessed and falsified via an operational concept. The theory focuses on explaining the basic elements that form the core of the process of the experience. The name of puppetry is introduced after discussing the similarities in the importance of experience for both videogames and theatrical puppetry. Puppetry, then, operationalizes the gaming experience into a concept that can be assessed.}, language = {en} } @inproceedings{Cassinelli2007, author = {Cassinelli, Joseph P.}, title = {Discussion: Magnetic fields, variability}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18195}, year = {2007}, language = {en} } @inproceedings{CassinelliIgnaceWaldronetal.2007, author = {Cassinelli, Joseph P. and Ignace, R. and Waldron, W. and Cho, J. and Murphy, N. and Lazarian, A.}, title = {X-ray line emission produced in clump bow shocks}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18057}, year = {2007}, abstract = {We summarize Chandra observations of the emission line profiles from 17 OB stars. The lines tend to be broad and unshifted. The forbidden/intercombination line ratios arising from Helium-like ions provide radial distance information for the X-ray emission sources, while the H-like to He-like line ratios provide X-ray temperatures, and thus also source temperature versus radius distributions. OB stars usually show power law differential emission measure distributions versus temperature. In models of bow shocks, we find a power law differential emission measure, a wide range of ion stages, and the bow shock flow around the clumps provides transverse velocities comparable to HWHM values. We find that the bow shock results for the line profile properties, consistent with the observations of X-ray line emission for a broad range of OB star properties.}, language = {en} } @inproceedings{CheneMoffatCrowther2007, author = {Chen{\´e}, A.-N. and Moffat, Anthony F. J. and Crowther, P. A.}, title = {Rapidly accelerating clumps in the winds of the very hot WNE Stars}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18163}, year = {2007}, abstract = {We study the time variability of emission lines in three WNE stars : WR 2 (WN2), WR 3 (WN3ha) and WR152 (WN3). While WR 2 shows no variability above the noise level, the other stars do show variation, which are like other WR stars in WR 152 but very fast in WR 3. From these motions, we deduce a value of β ∼1 for WR 3 that is like that seen in O stars and β ∼2-3 for WR 152, that is intermediate between other WR stars and WR 3.}, language = {en} } @inproceedings{CohenLeuteneggerTownsend2007, author = {Cohen, David H. and Leutenegger, M. A. and Townsend, R. H. D.}, title = {Quantitative analysis of resolved X-ray emission line profiles of O stars}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18115}, year = {2007}, abstract = {By quantitatively fitting simple emission line profile models that include both atomic opacity and porosity to the Chandra X-ray spectrum of ζ Pup, we are able to explore the trade-offs between reduced mass-loss rates and wind porosity. We find that reducing the mass-loss rate of ζ Pup by roughly a factor of four, to 1.5 × 10-6 M⊙ yr-1, enables simple non-porous wind models to provide good fits to the data. If, on the other hand, we take the literature mass-loss rate of 6×10-6 M⊙ yr-1, then to produce X-ray line profiles that fit the data, extreme porosity lengths - of h∞ ≈ 3 R∗ - are required. Moreover, these porous models do not provide better fits to the data than the non-porous, low optical depth models. Additionally, such huge porosity lengths do not seem realistic in light of 2-D numerical simulations of the wind instability.}, language = {en} } @inproceedings{CurzonKalasSchubertetal.2015, author = {Curzon, Paul and Kalas, Ivan and Schubert, Sigrid and Schaper, Niclas and Barnes, Jan and Kennewell, Steve and Br{\"o}ker, Kathrin and Kastens, Uwe and Magenheim, Johannes and Dagiene, Valentina and Stupuriene, Gabriele and Ellis, Jason Brent and Abreu-Ellis, Carla Reis and Grillenberger, Andreas and Romeike, Ralf and Haugsbakken, Halvdan and Jones, Anthony and Lewin, Cathy and McNicol, Sarah and Nelles, Wolfgang and Neugebauer, Jonas and Ohrndorf, Laura and Schaper, Niclas and Schubert, Sigrid and Opel, Simone and Kramer, Matthias and Trommen, Michael and Pottb{\"a}cker, Florian and Ilaghef, Youssef and Passig, David and Tzuriel, David and Kedmi, Ganit Eshel and Saito, Toshinori and Webb, Mary and Weigend, Michael and Bottino, Rosa and Chioccariello, Augusto and Christensen, Rhonda and Knezek, Gerald and Gioko, Anthony Maina and Angondi, Enos Kiforo and Waga, Rosemary and Ohrndorf, Laura and Or-Bach, Rachel and Preston, Christina and Younie, Sarah and Przybylla, Mareen and Romeike, Ralf and Reynolds, Nicholas and Swainston, Andrew and Bendrups, Faye and Sysło, Maciej M. and Kwiatkowska, Anna Beata and Zieris, Holger and Gerstberger, Herbert and M{\"u}ller, Wolfgang and B{\"u}chner, Steffen and Opel, Simone and Schiller, Thomas and Wegner, Christian and Zender, Raphael and Lucke, Ulrike and Diethelm, Ira and Syrbe, J{\"o}rn and Lai, Kwok-Wing and Davis, Niki and Eickelmann, Birgit and Erstad, Ola and Fisser, Petra and Gibson, David and Khaddage, Ferial and Knezek, Gerald and Micheuz, Peter and Kloos, Carlos Delgado}, title = {KEYCIT 2014}, editor = {Brinda, Torsten and Reynolds, Nicholas and Romeike, Ralf and Schwill, Andreas}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-292-6}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-70325}, pages = {438}, year = {2015}, abstract = {In our rapidly changing world it is increasingly important not only to be an expert in a chosen field of study but also to be able to respond to developments, master new approaches to solving problems, and fulfil changing requirements in the modern world and in the job market. In response to these needs key competencies in understanding, developing and using new digital technologies are being brought into focus in school and university programmes. The IFIP TC3 conference "KEYCIT - Key Competences in Informatics and ICT (KEYCIT 2014)" was held at the University of Potsdam in Germany from July 1st to 4th, 2014 and addressed the combination of key competencies, Informatics and ICT in detail. The conference was organized into strands focusing on secondary education, university education and teacher education (organized by IFIP WGs 3.1 and 3.3) and provided a forum to present and to discuss research, case studies, positions, and national perspectives in this field.}, language = {en} } @inproceedings{Daciuk2008, author = {Daciuk, Jan}, title = {Perfect hashing tree automata}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27163}, year = {2008}, abstract = {We present an algorithm that computes a function that assigns consecutive integers to trees recognized by a deterministic, acyclic, finite-state, bottom-up tree automaton. Such function is called minimal perfect hashing. It can be used to identify trees recognized by the automaton. Its value may be seen as an index in some other data structures. We also present an algorithm for inverted hashing.}, language = {en} } @inproceedings{DaviesVinkOudmaijer2007, author = {Davies, B. and Vink, J. S. and Oudmaijer, R. D.}, title = {Modelling the polarimetric variability of hot stars}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17939}, year = {2007}, abstract = {Many hot stars exhibit stochastic polarimetric variability, thought to arise from clumping low in the wind. Here we investigate the wind properties required to reproduce this variability using analytic models, with particular emphasis on Luminous Blue Variables. We find that the winds must be highly structured, consisting of a large number of optically-thin clumps; while we find that the overall level of polarization should scale with mass-loss rate - consistent with observations of LBVs. The models also predict variability on very short timescales, which is supported by the results of a recent polarimetric monitoring campaign.}, language = {en} } @inproceedings{deKoterVinkMuijres2007, author = {de Koter, A. and Vink, J. S. and Muijres, L.}, title = {Constraints on wind clumping from the empirical mass-loss vs. metallicity relation for early-type stars}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17736}, year = {2007}, abstract = {We present the latest results on the observational dependence of the mass-loss rate in stellar winds of O and early-B stars on the metal content of their atmospheres, and compare these with predictions. Absolute empirical rates for the mass loss of stars brighter than 10\$^{5.2} L_{\odot}\$, based on H\$\alpha\$ and ultraviolet (UV) wind lines, are found to be about a factor of two higher than predictions. If this difference is attributed to inhomogeneities in the wind this would imply that luminous O and early-B stars have clumping factors in their H\$\alpha\$ and UV line forming regime of about a factor of 3--5. The investigated stars cover a metallicity range \$Z\$ from 0.2 to 1 \$Z_{\odot}\$. We find a hint towards smaller clumping factors for lower \$Z\$. The derived clumping factors, however, presuppose that clumping does not impact the predictions of the mass-loss rate. We discuss this assumption and explain how we intend to investigate its validity in more detail.}, language = {en} } @inproceedings{DennertMoellerGarmannKujathetal.2016, author = {Dennert-M{\"o}ller, Elisabeth and Garmann, Robert and Kujath, Bertold and Zscheyge, Oliver and Weicker, Karsten and B{\"o}hne, Sebastian and Knobelsdorf, Maria and Kreitz, Christoph and Steen, Alexander and Wisniewski, Max and Benzm{\"u}ller, Christoph and Gebhardt, Kai and Ehlenz, Matthias and Bergner, Nadine and Schroeder, Ulrik}, title = {Hochschuldidaktik der Informatik}, editor = {Schwill, Andreas and Lucke, Ulrike}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-376-3}, issn = {1868-0844}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-93511}, pages = {102}, year = {2016}, abstract = {Die 7. Fachtagung f{\"u}r Hochschuldidaktik, die 2016 erneut mit der DeLFI E-Learning Fachtagung Informatik stattfand, setzte das erfolgreiche Modell einer Tagung fort, die sich mit hochschuldidaktischen Fragen und der Gestaltung von Studieng{\"a}ngen der Informatik besch{\"a}ftigt. Thema der Tagung waren alle Fragen, die sich der Vermittlung von Informatikgegenst{\"a}nden im Hochschulbereich widmen. Dazu geh{\"o}rten u.a.: • fachdidaktische Konzepte der Vermittlung einzelner Informatikgegenst{\"a}nde • methodische L{\"o}sungen, wie spezielle Lehr- und Lernformen, Durchf{\"u}hrungskonzepte • empirische Ergebnisse und Vergleichsstudien • E-Learning-Ans{\"a}tze, wenn sie ein erkennbares didaktisches Konzept verfolgen • Studienkonzepte und Curricula, organisatorische Fragen, wie Gewinnung von Studierenden, Studieneingangsphase, Abbrecher. Die Fachtagung widmete sich ausgew{\"a}hlten Fragestellungen dieses Themenkomplexes, die durch Vortr{\"a}ge ausgewiesener Experten, durch eingereichte Beitr{\"a}ge und durch Pr{\"a}sentationen und Poster intensiv behandelt wurden. Unser besonderer Dank gilt dem Programmkomitee und den hier nicht genannten Helfern f{\"u}r ihren Einsatz bei der Vorbereitung und Durchf{\"u}hrung der Tagung.}, language = {de} } @inproceedings{DeselOpelSiegerisetal.2023, author = {Desel, J{\"o}rg and Opel, Simone and Siegeris, Juliane and Draude, Claude and Weber, Gerhard and Schell, Timon and Schwill, Andreas and Thorbr{\"u}gge, Carsten and Sch{\"a}fer, Len Ole and Netzer, Cajus Marian and Gerstenberger, Dietrich and Winkelnkemper, Felix and Schulte, Carsten and B{\"o}ttcher, Axel and Thurner, Veronika and H{\"a}fner, Tanja and Ottinger, Sarah and Große-B{\"o}lting, Gregor and Scheppach, Lukas and M{\"u}hling, Andreas and Baberowski, David and Leonhardt, Thiemo and Rentsch, Susanne and Bergner, Nadine and Bonorden, Leif and Stemme, Jonas and Hoppe, Uwe and Weicker, Karsten and Bender, Esther and Barbas, Helena and Hamann, Fabian and Soll, Marcus and Sitzmann, Daniel}, title = {Hochschuldidaktik Informatik HDI 2021}, series = {Commentarii informaticae didacticae}, booktitle = {Commentarii informaticae didacticae}, number = {13}, editor = {Desel, J{\"o}rg and Opel, Simone and Siegeris, Juliane}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, isbn = {978-3-86956-548-4}, issn = {1868-0844}, doi = {10.25932/publishup-56507}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-565070}, pages = {299}, year = {2023}, abstract = {Die Fachtagungen HDI (Hochschuldidaktik Informatik) besch{\"a}ftigen sich mit den unterschiedlichen Aspekten informatischer Bildung im Hochschulbereich. Neben den allgemeinen Themen wie verschiedenen Lehr- und Lernformen, dem Einsatz von Informatiksystemen in der Hochschullehre oder Fragen der Gewinnung von geeigneten Studierenden, deren Kompetenzerwerb oder auch der Betreuung der Studierenden widmet sich die HDI immer auch einem Schwerpunktthema. Im Jahr 2021 war dies die Ber{\"u}cksichtigung von Diversit{\"a}t in der Lehre. Diskutiert wurden beispielsweise die Einbeziehung von besonderen fachlichen und {\"u}berfachlichen Kompetenzen Studierender, der Unterst{\"u}tzung von Durchl{\"a}ssigkeit aus nichtakademischen Berufen, aber auch die Gestaltung inklusiver Lehr- und Lernszenarios, Aspekte des Lebenslangen Lernens oder sich an die Diversit{\"a}t von Studierenden adaptierte oder adaptierende Lehrsysteme. Dieser Band enth{\"a}lt ausgew{\"a}hlte Beitr{\"a}ge der 9. Fachtagung 2021, die in besonderer Weise die Konferenz und die dort diskutierten Themen repr{\"a}sentieren.}, language = {de} } @inproceedings{DeVaultStone2006, author = {DeVault, David and Stone, Matthew}, title = {Scorekeeping in an uncertain language game}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10448}, year = {2006}, abstract = {Received views of utterance context in pragmatic theory characterize the occurrent subjective states of interlocutors using notions like common knowledge or mutual belief. We argue that these views are not compatible with the uncertainty and robustness of context-dependence in human–human dialogue. We present an alternative characterization of utterance context as objective and normative. This view reconciles the need for uncertainty with received intuitions about coordination and meaning in context, and can directly inform computational approaches to dialogue.}, language = {en} } @inproceedings{Didakowski2008, author = {Didakowski, J{\"o}rg}, title = {SynCoP : combining syntactic tagging with chunking using weighted finite state transducers}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27172}, year = {2008}, abstract = {This paper describes the key aspects of the system SynCoP (Syntactic Constraint Parser) developed at the Berlin-Brandenburgische Akademie der Wissenschaften. The parser allows to combine syntactic tagging and chunking by means of constraint grammar using weighted finite state transducers (WFST). Chunks are interpreted as local dependency structures within syntactic tagging. The linguistic theories are formulated by criteria which are formalized by a semiring; these criteria allow structural preferences and gradual grammaticality. The parser is essentially a cascade of WFSTs. To find the most likely syntactic readings a best-path search is used.}, language = {en} } @inproceedings{Diderichsen2006, author = {Diderichsen, Philip}, title = {Cross recurrence quantification analysis of indefinite anaphora in Swedish dialog : an eye-tracking pilot experiment}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10388}, year = {2006}, abstract = {A new method is used in an eye-tracking pilot experiment which shows that it is possible to detect differences in common ground associated with the use of minimally different types of indefinite anaphora. Following Richardson and Dale (2005), cross recurrence quantification analysis (CRQA) was used to show that the tandem eye movements of two Swedish-speaking interlocutors are slightly more coupled when they are using fully anaphoric indefinite expressions than when they are using less anaphoric indefinites. This shows the potential of CRQA to detect even subtle processing differences in ongoing discourse.}, language = {en} } @inproceedings{DoktorBadeckBondeauetal.2006, author = {Doktor, Daniel and Badeck, Franz-Werner and Bondeau, Alberte and Koslowsky, Dirk and Schaber, J{\"o}rg and McAllister, Murdock}, title = {Using satellite imagery and ground observations to quantify the effect of intra-annually changing temperature patterns on spring time phenology}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7244}, year = {2006}, abstract = {Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006}, language = {en} } @inproceedings{Domsch2006, author = {Domsch, Horst}, title = {Pr{\"a}gnante r{\"a}umlich-zeitliche Muster einer landwirtschaftlich genutzten Fl{\"a}che}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7257}, year = {2006}, abstract = {In ihrem Bem{\"u}hen, landwirtschaftliche Fl{\"a}chen standortgerecht zu bewirtschaften, sammelt eine zunehmende Anzahl landwirtschaftlicher Betriebe Informationen {\"u}ber die r{\"a}umlich-zeitliche Verteilung von Boden- und Pflanzenmerkmalen auf ihren Schl{\"a}gen. Diese Informationen dienen unmittelbar (Echtzeitansatz) oder mittelbar (Kartenansatz) zur Dosierung von D{\"u}nge- und Pflanzenschutzmitteln (Pr{\"a}zise Landbewirtschaftung). Zur Datensammlung werden vorrangig fahrzeuggest{\"u}tzte Sensoren und VIS- und NIR-Luftbilder, aufgenommen aus Sportflugzeugen, verwendet. Erste Betriebe erwerben von Dienstleistungsunternehmen aufbereitete Satelliten-Fernerkundungsdaten. Die landwirtschaftliche und agrartechnische Forschung ist bestrebt, die grundlegenden Muster (z.B. des Ertragspotentials) zu erkennen und damit den Aufwand der Betriebe f{\"u}r eine regelm{\"a}ßige Informationserfassung gering zu halten.
Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006}, language = {de} } @inproceedings{DrużbickaGibasTuszyńska2003, author = {Drużbicka, Aleksandra and Gibas, Marta and Tuszyńska, Joanna}, title = {Świadomość językowa młodej inteligencji śląskiej}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27755}, year = {2003}, language = {mul} } @inproceedings{DzikovskaCallawayStoneetal.2006, author = {Dzikovska, Myroslava O. and Callaway, Charles B. and Stone, Matthew and Moore, Johanna D.}, title = {Understanding student input for tutorial dialogue in procedural domains}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10193}, year = {2006}, abstract = {We present an analysis of student language input in a corpus of tutoring dialogue in the domain of symbolic differentiation. Our focus on procedural tutoring makes the dialogue comparable to collaborative problem-solving (CPS). Existing CPS models describe the process of negotiating plans and goals, which also fits procedural tutoring. However, we provide a classification of student utterances and corpus annotation which shows that approximately 28\% of non-trivial student language in this corpus is not accounted for by existing models, and addresses other functions, such as evaluating past actions or correcting mistakes. Our analysis can be used as a foundation for improving models of tutoring dialogue.}, language = {en} } @inproceedings{EsveldVriesBecchettietal.2023, author = {Esveld, Selma van and Vries, Nardo de and Becchetti, Sibilla and Dopper, Sofia and Valkenburg, Willem van and Carlon, May Kristine Jonson and Yokoi, Kensuke and Gayed, John Maurice and Suyama, Hiroshi and Cross, Jeffrey Scott and Jin, Tonje and Xue, Wei and Bruillard, {\´E}ric and Steinbeck, Hendrik and Meinel, Christoph and {\"O}zdemir, Paker Doğu and Can Bayer, Burak and Mercan, Duygu and Buyurucu, Gamze and Haugsbakken, Halvdan and Hagelia, Marianne and Ebner, Martin and Edelsbrunner, Sarah and Hohla-Sejkora, Katharina and Lipp, Silvia and Sch{\"o}n, Sandra and Xiaoxiao, Wang and Shuangshuang, Guo and Morales-Chan, Miguel and Amado-Salvatierra, H{\´e}ctor R. and Hern{\´a}ndez-Rizzardini, Rocael and Egloffstein, Marc and H{\"u}nemohr, Holger and Ifenthaler, Dirk and Dixon, Fred and Trabucchi, Stefania and Khaneboubi, Mehdi and Giannatelli, Ada and Tomasini, Alessandra and Staubitz, Thomas and Serth, Sebastian and Thomas, Max and Koschutnig-Ebner, Markus and Rampelt, Florian and Stetten, Alexander von and Wittke, Andreas and Theeraroungchaisri, Anuchai and Thammetar, Thapanee and Duangchinda, Vorasuang and Khlaisang, Jintavee and Mair, Bettina and Steinkellner, Iris and Stojcevic, Ivana and Zwiauer, Charlotte and Thirouard, Maria and Vill{\`e}sbrunne, Marie de la and Bernaert, Oliver and Nohr, Magnus and Alario Hoyos, Carlos and Delgado Kloos, Carlos and Kiendl, Doris and Terzieva, Liliya and Concia, Francesca and Distler, Petr and Law, Gareth and Macerata, Elena and Mariani, Mario and Mossini, Eros and Negrin, Maddalena and Štrok, Marko and Neub{\"o}ck, Kristina and Linschinger, Nadine and Lorenz, Anja and Bock, Stefanie and Schulte-Ostermann, Juleka and Moura Santos, Ana and Corti, Paola and Costa, Luis Felipe Coimbra and Utunen, Heini and Attias, Melissa and Tokar, Anna and Kennedy, Eileen and Laurillard, Diana and Zeitoun, Samar and Wasilewski, Julie and Shlaka, Souhad and Ouahib, Sara and Berrada, Khalid and Dietz, Michael and Roth, Dennis}, title = {EMOOCs 2023}, editor = {Meinel, Christoph and Schweiger, Stefanie and Staubitz, Thomas and Conrad, Robert and Alario Hoyos, Carlos and Ebner, Martin and Sancassani, Susanna and Żur, Agnieszka and Friedl, Christian and Halawa, Sherif and Gamage, Dilrukshi and Cross, Jeffrey and Jonson Carlon, May Kristine and Deville, Yves and Gaebel, Michael and Delgado Kloos, Carlos and von Schmieden, Karen}, doi = {10.25932/publishup-57645}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-576450}, year = {2023}, abstract = {From June 14 to June 16, 2023, Hasso Plattner Institute, Potsdam, hosted the eighth European MOOC Stakeholder Summit (EMOOCs 2023). The pandemic is fortunately over. It has once again shown how important digital education is. How well-prepared a country was could be seen in our schools, universities, and companies. In different countries, the problems manifested themselves differently. The measures and approaches to solving the problems varied accordingly. Digital education, whether micro-credentials, MOOCs, blended learning formats, or other e-learning tools, received a major boost. EMOOCs 2023 focusses on the effects of this emergency situation. How has it affected the development and delivery of MOOCs and other e-learning offerings all over Europe? Which projects can serve as models for successful digital learning and teaching? Which roles can MOOCs and micro-credentials bear in the current business transformation? Is there a backlash to the routine we knew from pre-Corona times? Or have many things become firmly established in the meantime, e.g. remote work, hybrid conferences, etc.? Furthermore, EMOOCs 2023 has a closer look at the development and formalization of digital learning. Micro-credentials are just the starting point. Further steps in this direction would be complete online study programs or full online universities. Another main topic is the networking of learning offers and the standardization of formats and metadata. Examples of fruitful cooperations are the MOOChub, the European MOOC Consortium, and the Common Micro-Credential Framework. The learnings, derived from practical experience and research, are explored in EMOOCs 2023 in four tracks and additional workshops, covering various aspects of this field. In this publication, we present papers from the conference's Research \& Experience Track, the Business Track and the International Track.}, language = {en} } @inproceedings{FanMasuharaAotanietal.2010, author = {Fan, Yang and Masuhara, Hidehiko and Aotani, Tomoyuki and Nielson, Flemming and Nielson, Hanne Riis}, title = {AspectKE*: Security aspects with program analysis for distributed systems}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41369}, year = {2010}, abstract = {Enforcing security policies to distributed systems is difficult, in particular, when a system contains untrusted components. We designed AspectKE*, a distributed AOP language based on a tuple space, to tackle this issue. In AspectKE*, aspects can enforce access control policies that depend on future behavior of running processes. One of the key language features is the predicates and functions that extract results of static program analysis, which are useful for defining security aspects that have to know about future behavior of a program. AspectKE* also provides a novel variable binding mechanism for pointcuts, so that pointcuts can uniformly specify join points based on both static and dynamic information about the program. Our implementation strategy performs fundamental static analysis at load-time, so as to retain runtime overheads minimal. We implemented a compiler for AspectKE*, and demonstrate usefulness of AspectKE* through a security aspect for a distributed chat system.}, language = {en} }