@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}
}
@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}
}
@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{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{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}
}
@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{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}
}
@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}
}
@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}
}
@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}
}