@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{Abdollahyan2004,
  author    = {Abdollahyan, Hamid},
  title     = {The generations gap in contemporary Iran},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-47167},
  year      = {2004},
  abstract  = {This paper offers a new theoretical framework for studying the problem of generations and social change in contemporary Iran. It offers a model which is called „articulation of cultural modes". The paper agrees with Ronald Inglehart that 'culture' is now playing a more dominant role in the social formation of current societies, as 'technology' once did in the modern era. But it goes one step further by arguing that culture cannot be approached as a holistic concept building on a comprehensive theoretical framework.},
  language  = {en}
}
@unpublished{AbedSchulze2008,
  author    = {Abed, Jamil and Schulze, Bert-Wolfgang},
  title     = {Operators with corner-degenerate symbols},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30299},
  year      = {2008},
  abstract  = {We establish elements of a new approch to ellipticity and parametrices within operator algebras on a manifold with higher singularities, only based on some general axiomatic requirements on parameter-dependent operators in suitable scales of spaces. The idea is to model an iterative process with new generations of parameter-dependent operator theories, together with new scales of spaces that satisfy analogous requirements as the original ones, now on a corresponding higher level. The "full" calculus is voluminous; so we content ourselves here with some typical aspects such as symbols in terms of order reducing families, classes of relevant examples, and operators near the conical exit to infinity.},
  language  = {en}
}
@unpublished{AbedSchulze2009,
  author    = {Abed, Jamil and Schulze, Bert-Wolfgang},
  title     = {Edge-degenerate families of ΨDO's on an infinite cylinder},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-30365},
  year      = {2009},
  abstract  = {We establish a parameter-dependent pseudo-differential calculus on an infinite cylinder, regarded as a manifold with conical exits to infinity. The parameters are involved in edge-degenerate form, and we formulate the operators in terms of operator-valued amplitude functions.},
  language  = {en}
}
@article{Abusch2007,
  author    = {Abusch, Dorit},
  title     = {Focus presuppositions},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-19663},
  year      = {2007},
  abstract  = {This paper reviews notions related to focus and presupposition and addresses the hypothesis that focus triggers an existential presupposition. Presupposition projection behavior in certain examples appears to favor a presuppositional analysis of focus. It is argued that these examples are open to a different analysis using givenness theory. Overall, the analysis favors a weak semantics for focus not including an existential presupposition.},
  language  = {en}
}
@techreport{AharonBrillFonsecaetal.2020,
  type      = {Working Paper},
  author    = {Aharon, Itzik and Brill, Antonia and Fonseca, Philip and Vandchali, Azin Alizadeh and Wendel, Nina},
  title     = {The Protection of Women Human Rights Defenders and their Collective Actions},
  series = {Staat, Recht und Politik - Forschungs- und Diskussionspapiere},
  journal   = {Staat, Recht und Politik - Forschungs- und Diskussionspapiere},
  number    = {10},
  publisher = {Universit{\"a}tsverlag Potsdam},
  address   = {Potsdam},
  doi       = {10.25932/publishup-44427},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-444278},
  pages     = {12},
  year      = {2020},
  abstract  = {This paper evaluates the construction of the rights of human rights defenders within international law and its shortcomings in protecting women. Human rights defenders have historically been defined on the basis of their actions as defenders. However, as Marxist-feminist scholar Silvia Federici contends, women are inherently politicised and, moreover, face obstacles to political action which are invisible to and untouchable by the law. Labour rights set an example of handling such a disadvantaged political position by placing vital importance on workers' right to association and collective action. The paper closes with the suggestion that transposing this construction of rights to women would better protect women as human rights defenders while emphasising their capacity for self-determination in their political actions.},
  language  = {en}
}
@phdthesis{Ahmad2014,
  author    = {Ahmad, Nadeem},
  title     = {People centered HMI's for deaf and functionally illiterate users},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-70391},
  school      = {Universit{\"a}t Potsdam},
  year      = {2014},
  abstract  = {The objective and motivation behind this research is to provide applications with easy-to-use interfaces to communities of deaf and functionally illiterate users, which enables them to work without any human assistance. Although recent years have witnessed technological advancements, the availability of technology does not ensure accessibility to information and communication technologies (ICT). Extensive use of text from menus to document contents means that deaf or functionally illiterate can not access services implemented on most computer software. Consequently, most existing computer applications pose an accessibility barrier to those who are unable to read fluently. Online technologies intended for such groups should be developed in continuous partnership with primary users and include a thorough investigation into their limitations, requirements and usability barriers. In this research, I investigated existing tools in voice, web and other multimedia technologies to identify learning gaps and explored ways to enhance the information literacy for deaf and functionally illiterate users. I worked on the development of user-centered interfaces to increase the capabilities of deaf and low literacy users by enhancing lexical resources and by evaluating several multimedia interfaces for them. The interface of the platform-independent Italian Sign Language (LIS) Dictionary has been developed to enhance the lexical resources for deaf users. The Sign Language Dictionary accepts Italian lemmas as input and provides their representation in the Italian Sign Language as output. The Sign Language dictionary has 3082 signs as set of Avatar animations in which each sign is linked to a corresponding Italian lemma. I integrated the LIS lexical resources with MultiWordNet (MWN) database to form the first LIS MultiWordNet(LMWN). LMWN contains information about lexical relations between words, semantic relations between lexical concepts (synsets), correspondences between Italian and sign language lexical concepts and semantic fields (domains). The approach enhances the deaf users' understanding of written Italian language and shows that a relatively small set of lexicon can cover a significant portion of MWN. Integration of LIS signs with MWN made it useful tool for computational linguistics and natural language processing. The rule-based translation process from written Italian text to LIS has been transformed into service-oriented system. The translation process is composed of various modules including parser, semantic interpreter, generator, and spatial allocation planner. This translation procedure has been implemented in the Java Application Building Center (jABC), which is a framework for extreme model driven design (XMDD). The XMDD approach focuses on bringing software development closer to conceptual design, so that the functionality of a software solution could be understood by someone who is unfamiliar with programming concepts. The transformation addresses the heterogeneity challenge and enhances the re-usability of the system. For enhancing the e-participation of functionally illiterate users, two detailed studies were conducted in the Republic of Rwanda. In the first study, the traditional (textual) interface was compared with the virtual character-based interactive interface. The study helped to identify usability barriers and users evaluated these interfaces according to three fundamental areas of usability, i.e. effectiveness, efficiency and satisfaction. In another study, we developed four different interfaces to analyze the usability and effects of online assistance (consistent help) for functionally illiterate users and compared different help modes including textual, vocal and virtual character on the performance of semi-literate users. In our newly designed interfaces the instructions were automatically translated in Swahili language. All the interfaces were evaluated on the basis of task accomplishment, time consumption, System Usability Scale (SUS) rating and number of times the help was acquired. The results show that the performance of semi-literate users improved significantly when using the online assistance. The dissertation thus introduces a new development approach in which virtual characters are used as additional support for barely literate or naturally challenged users. Such components enhanced the application utility by offering a variety of services like translating contents in local language, providing additional vocal information, and performing automatic translation from text to sign language. Obviously, there is no such thing as one design solution that fits for all in the underlying domain. Context sensitivity, literacy and mental abilities are key factors on which I concentrated and the results emphasize that computer interfaces must be based on a thoughtful definition of target groups, purposes and objectives.},
  language  = {en}
}
@unpublished{AirapetyanWitt1997,
  author    = {Airapetyan, Ruben and Witt, Ingo},
  title     = {Isometric properties of the Hankel Transformation in weighted sobolev spaces},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25001},
  year      = {1997},
  abstract  = {It is shown that the Hankel transformation Hsub(v) acts in a class of weighted Sobolev spaces. Especially, the isometric mapping property of Hsub(v) which holds on L²(IRsub(+),rdr) is extended to spaces of arbitrary Sobolev order. The novelty in the approach consists in using techniques developed by B.-W. Schulze and others to treat the half-line Rsub(+) as a manifold with a conical singularity at r = 0. This is achieved by pointing out a connection between the Hankel transformation and the Mellin transformation.The procedure proposed leads at the same time to a short proof of the Hankel inversion formula. An application to the existence and higher regularity of solutions, including their asymptotics, to the 1-1-dimensional edge-degenerated wave equation is given.},
  language  = {en}
}
@unpublished{AizenbergTarkhanov1999,
  author    = {Aizenberg, Lev A. and Tarkhanov, Nikolai Nikolaevich},
  title     = {A Bohr phenomenon for elliptic equations},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-25547},
  year      = {1999},
  abstract  = {In 1914 Bohr proved that there is an r ∈ (0, 1) such that if a power series converges in the unit disk and its sum has modulus less than 1 then, for |z| < r, the sum of absolute values of its terms is again less than 1. Recently analogous results were obtained for functions of several variables. The aim of this paper is to comprehend the theorem of Bohr in the context of solutions to second order elliptic equations meeting the maximum principle.},
  language  = {en}
}
@unpublished{AizenbergTarkhanov2005,
  author    = {Aizenberg, Lev A. and Tarkhanov, Nikolai Nikolaevich},
  title     = {Stable expansions in homogeneous polynomials},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-29925},
  year      = {2005},
  abstract  = {An expansion for a class of functions is called stable if the partial sums are bounded uniformly in the class. Stable expansions are of key importance in numerical analysis where functions are given up to certain error. We show that expansions in homogeneous functions are always stable on a small ball around the origin, and evaluate the radius of the largest ball with this property.},
  language  = {en}
}