@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{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{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} } @techreport{BaganzdeTeresaLinggetal.2023, type = {Working Paper}, author = {Baganz, Melissa and de Teresa, Aurelia G{\´o}mez and Lingg, Rosana T. and Montijo, Yuriditzi Pascacio}, title = {A critical assessment on National Action Plans}, series = {Staat, Recht und Politik - Forschungs- und Diskussionspapiere}, journal = {Staat, Recht und Politik - Forschungs- und Diskussionspapiere}, number = {13}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, issn = {2509-6974}, doi = {10.25932/publishup-57679}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-576797}, pages = {11}, year = {2023}, abstract = {National Action Plans (NAPs) have been increas-ingly adopted world-wide after the Vienna Dec-laration in 1993, where it was urged to consider the improvement and promotion of Human Rights. In this paper, we discuss their usefulness and success by analysing the challenges present-ed during NAP processes as well as the benefits this set of actions entails: The challenges for their implementation outweigh its actual benefits. Nevertheless, NAPs have great potential. Based on new research, we elaborate a set of recom-mendations for improving the design and imple-mentation of national action planning. In order to effectively bring NAP into practice, we consider it crucial to plan and analyse every state local circumstances in detail. The latter is important, since the implementation of a concrete set of actions is intended to directly transform and improve the local living conditions of the people. In a long-term perspective, we defend the benefit of NAP's implementation for complying obliga-tions set up by HR treaties.}, language = {en} } @misc{AscherChinReich1994, author = {Ascher, Uri M. and Chin, Hongsheng and Reich, Sebastian}, title = {Stabilization of DAEs and invariant manifolds}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15625}, year = {1994}, abstract = {Many methods have been proposed for the stabilization of higher index differential-algebraic equations (DAEs). Such methods often involve constraint differentiation and problem stabilization, thus obtaining a stabilized index reduction. A popular method is Baumgarte stabilization, but the choice of parameters to make it robust is unclear in practice. Here we explain why the Baumgarte method may run into trouble. We then show how to improve it. We further develop a unifying theory for stabilization methods which includes many of the various techniques proposed in the literature. Our approach is to (i) consider stabilization of ODEs with invariants, (ii) discretize the stabilizing term in a simple way, generally different from the ODE discretization, and (iii) use orthogonal projections whenever possible. The best methods thus obtained are related to methods of coordinate projection. We discuss them and make concrete algorithmic suggestions.}, language = {en} } @misc{AscherChinPetzoldetal.1994, author = {Ascher, Uri M. and Chin, Hongsheng and Petzold, Linda R. and Reich, Sebastian}, title = {Stabilization of constrained mechanical systems with DAEs and invariant manifolds}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15698}, year = {1994}, abstract = {Many methods have been proposed for the simulation of constrained mechanical systems. The most obvious of these have mild instabilities and drift problems. Consequently, stabilization techniques have been proposed A popular stabilization method is Baumgarte's technique, but the choice of parameters to make it robust has been unclear in practice. Some of the simulation methods that have been proposed and used in computations are reviewed here, from a stability point of view. This involves concepts of differential-algebraic equation (DAE) and ordinary differential equation (ODE) invariants. An explanation of the difficulties that may be encountered using Baumgarte's method is given, and a discussion of why a further quest for better parameter values for this method will always remain frustrating is presented. It is then shown how Baumgarte's method can be improved. An efficient stabilization technique is proposed, which may employ explicit ODE solvers in case of nonstiff or highly oscillatory problems and which relates to coordinate projection methods. Examples of a two-link planar robotic arm and a squeezing mechanism illustrate the effectiveness of this new stabilization method.}, language = {en} } @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} } @misc{Archer1999, author = {Archer, Clive}, title = {The EU, security and the Baltic region}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-11453}, year = {1999}, abstract = {The end of the cold war division of the Baltic Sea in 1989, and the three Baltic states' return to independence in 1991 created new opportunities for the decision-makers of the area, as well as new possibilities for fashioning security in the region. This article will examine the security debate affecting the Baltic Sea region in the post-cold war period, and in particular, the relevance of the European Union to that debate. The following section will examine various concepts of security relevant to the Baltic region; the third section looks at the EU and the Baltic area; and the last part deals with the implications that EU membership by the Baltic Sea states may have for the security of the Baltic Sea zone.}, language = {en} } @misc{AngeleSlatteryYangetal.2008, author = {Angele, Bernhard and Slattery, Timothy J. and Yang, Jinmian and Kliegl, Reinhold and Rayner, Keith}, title = {Parafoveal processing in reading: Manipulating n+1 and n+2 previews simultaneously}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-57128}, year = {2008}, abstract = {The boundary paradigm (Rayner, 1975) with a novel preview manipulation was used to examine the extent of parafoveal processing of words to the right of fixation. Words n+1 and n+2 had either correct or incorrect previews prior to fixation (prior to crossing the boundary location). In addition, the manipulation utilized either a high or low frequency word in word n+1 location on the assumption that it would be more likely that n+2 preview effects could be obtained when word n+1 was high frequency. The primary findings were that there was no evidence for a preview benefit for word n+2 and no evidence for parafoveal-on-foveal effects when word n+1 is at least four letters long. We discuss implications for models of eye-movement control in reading.}, language = {en} } @misc{AllefeldFrischSchlesewsky2005, author = {Allefeld, Carsten and Frisch, Stefan and Schlesewsky, Matthias}, title = {Detection of early cognitive processing by event-related phase synchronization analysis}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-20126}, year = {2005}, abstract = {In order to investigate the temporal characteristics of cognitive processing, we apply multivariate phase synchronization analysis to event-related potentials. The experimental design combines a semantic incongruity in a sentence context with a physical mismatch (color change). In the ERP average, these result in an N400 component and a P300-like positivity, respectively. The synchronization analysis shows an effect of global desynchronization in the theta band around 288ms after stimulus presentation for the semantic incongruity, while the physical mismatch elicits an increase of global synchronization in the alpha band around 204ms. Both of these effects clearly precede those in the ERP average. Moreover, the delay between synchronization effect and ERP component correlates with the complexity of the cognitive processes.}, language = {en} } @misc{AlbrechtCummingKreuderetal.1986, author = {Albrecht, O. and Cumming, W. and Kreuder, W. and Laschewsky, Andr{\´e} and Ringsdorf, Helmut}, title = {Monolayers of rod-shaped and disc-shaped liquid crystalline compounds at the air-water interface}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17124}, year = {1986}, abstract = {Calamitic (rod-shaped) and discotic (disc-shaped) thermotropic liquid crystalline (LC) compounds were spread at the air-water interface, and their ability to form monolayers was studied. The calamitic LCs investigated were found to form monolayers which behave analogously to conventional amphiphiles such as fatty acids. The spreading of the discotic LCs produced monolayers as well, but with a behaviour different from classical amphiphiles. The areas occupied per molecule are too small to allow the contact of all hydrophilic groups with the water surface and the packing of all hydrophobic chains. Various molecular arrangements of the discotics at the water surface to fit the spreading data are discussed.}, language = {en} } @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{OPUS4-1412, title = {The 3rd international IEEE scientific conference on physics and control (PhysCon 2007) : September 3rd-7th 2007 at the University of Potsdam}, editor = {Kurths, J{\"u}rgen and Fradkov, Alexander and Chen, Guanrong}, publisher = {Universit{\"a}tsverlag Potsdam}, address = {Potsdam}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-15228}, pages = {345}, year = {2007}, abstract = {During the last few years there was a tremendous growth of scientific activities in the fields related to both Physics and Control theory: nonlinear dynamics, micro- and nanotechnologies, self-organization and complexity, etc. New horizons were opened and new exciting applications emerged. Experts with different backgrounds starting to work together need more opportunities for information exchange to improve mutual understanding and cooperation. The Conference "Physics and Control 2007" is the third international conference focusing on the borderland between Physics and Control with emphasis on both theory and applications. With its 2007 address at Potsdam, Germany, the conference is located for the first time outside of Russia. The major goal of the Conference is to bring together researchers from different scientific communities and to gain some general and unified perspectives in the studies of controlled systems in physics, engineering, chemistry, biology and other natural sciences. We hope that the Conference helps experts in control theory to get acquainted with new interesting problems, and helps experts in physics and related fields to know more about ideas and tools from the modern control theory.}, language = {en} } @book{OPUS4-6251, title = {Grammatica Grandonica}, editor = {Van Hal, Toon and Vielle, Christophe}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-63218}, publisher = {Universit{\"a}t Potsdam}, pages = {280}, year = {2013}, abstract = {In May 2010, Johann Ernst Hanxleden's Grammatica Grandonica was rediscovered in Montecompatri (Lazio, Rome). Although historiographers attached much weight to the nearly oldest western grammar of Sanskrit, the precious manuscript was lost for several decades. The first aim of the present digital publication is to offer a photographical reproduction of the manuscript. This facsimile is accompanied by a double edition: a facing diplomatic edition with the Sanskrit in Malayāḷam script, followed by a transliterated established text.}, language = {en} }