@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{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{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{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{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{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{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{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{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{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{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{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}
}
@inproceedings{FeldmeierHamannRaetzeletal.2007,
  author    = {Feldmeier, Achim and Hamann, Wolf-Rainer and R{\"a}tzel, D. and Oskinova, Lida},
  title     = {Hydrodynamic simulations of clumps},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17975},
  year      = {2007},
  abstract  = {Clumps in hot star winds can originate from shock compression due to the line driven instability. One-dimensional hydrodynamic simulations reveal a radial wind structure consisting of highly compressed shells separated by voids, and colliding with fast clouds. Two-dimensional simulations are still largely missing, despite first attempts. Clumpiness dramatically affects the radiative transfer and thus all wind diagnostics in the UV, optical, and in X-rays. The microturbulence approximation applied hitherto is currently superseded by a more sophisticated radiative transfer in stochastic media. Besides clumps, i.e. jumps in the density stratification, so-called kinks in the velocity law, i.e. jumps in dv/dr, play an eminent role in hot star winds. Kinks are a new type of radiative-acoustic shock, and propagate at super-Abbottic speed.},
  language  = {en}
}
@inproceedings{Fernando2008,
  author    = {Fernando, Tim},
  title     = {Temporal propositions as regular languages},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27194},
  year      = {2008},
  abstract  = {Temporal propositions are mapped to sets of strings that witness (in a precise sense) the propositions over discrete linear Kripke frames. The strings are collected into regular languages to ensure the decidability of entailments given by inclusions between languages. (Various notions of bounded entailment are shown to be expressible as language inclusions.) The languages unwind computations implicit in the logical (and temporal) connectives via a system of finite-state constraints adapted from finite-state morphology. Applications to Hybrid Logic and non-monotonic inertial reasoning are briefly considered.},
  language  = {en}
}
@inproceedings{Fullerton2007,
  author    = {Fullerton, A. W.},
  title     = {Discussion: Spectral modeling},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17917},
  year      = {2007},
  language  = {en}
}
@inproceedings{FullertonMassaPrinja2007,
  author    = {Fullerton, A. W. and Massa, D. L. and Prinja, R. K.},
  title     = {Revised mass-loss rates for O stars from the Pv resonance line},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17647},
  year      = {2007},
  abstract  = {The P v λλ1118, 1128 resonance doublet is an extraordinarily useful diagnostic of O-star winds, because it bypasses the traditional problems associated with determining mass-loss rates from UV resonance lines. We discuss critically the assumptions and uncertainties involved with using P v to diagnose mass-loss rates, and conclude that the large discrepancies between massloss rates determined from P v and the rates determined from "density squared" emission processes pose a significant challenge to the "standard model" of hot-star winds. The disparate measurements can be reconciled if the winds of O-type stars are strongly clumped on small spatial scales, which in turn implies that mass-loss rates based on Hα or radio emission are too large by up to an order of magnitude.},
  language  = {en}
}
@inproceedings{GebserHinrichsSchaubetal.2010,
  author    = {Gebser, Martin and Hinrichs, Henrik and Schaub, Torsten H. and Thiele, Sven},
  title     = {xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41466},
  year      = {2010},
  abstract  = {We introduce a simple approach extending the input language of Answer Set Programming (ASP) systems by multi-valued propositions. Our approach is implemented as a (prototypical) preprocessor translating logic programs with multi-valued propositions into logic programs with Boolean propositions only. Our translation is modular and heavily benefits from the expressive input language of ASP. The resulting approach, along with its implementation, allows for solving interesting constraint satisfaction problems in ASP, showing a good performance.},
  language  = {en}
}
@inproceedings{GeskeGoltz2010,
  author    = {Geske, Ulrich and Goltz, Hans-Joachim},
  title     = {Efficiency of difference-list programming},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41563},
  year      = {2010},
  abstract  = {The difference-list technique is described in literature as effective method for extending lists to the right without using calls of append/3. There exist some proposals for automatic transformation of list programs into differencelist programs. However, we are interested in construction of difference-list programs by the programmer, avoiding the need of a transformation step. In [GG09] it was demonstrated, how left-recursive procedures with a dangling call of append/3 can be transformed into right-recursion using the unfolding technique. For simplification of writing difference-list programs using a new cons/2 procedure was introduced. In the present paper, we investigate how efficieny is influenced using cons/2. We measure the efficiency of procedures using accumulator technique, cons/2, DCG's, and difference lists and compute the resulting speedup in respect to the simple procedure definition using append/3. Four Prolog systems were investigated and we found different behaviour concerning the speedup by difference lists. A result of our investigations is, that an often advice given in the literature for avoiding calls append/3 could not be confirmed in this strong formulation.},
  language  = {en}
}
@inproceedings{GeskeWolf2010,
  author    = {Geske, Ulrich and Wolf, Armin},
  title     = {Preface},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41401},
  year      = {2010},
  abstract  = {The workshops on (constraint) logic programming (WLP) are the annual meeting of the Society of Logic Programming (GLP e.V.) and bring together researchers interested in logic programming, constraint programming, and related areas like databases, artificial intelligence and operations research. In this decade, previous workshops took place in Dresden (2008), W{\"u}rzburg (2007), Vienna (2006), Ulm (2005), Potsdam (2004), Dresden (2002), Kiel (2001), and W{\"u}rzburg (2000). Contributions to workshops deal with all theoretical, experimental, and application aspects of constraint programming (CP) and logic programming (LP), including foundations of constraint/ logic programming. Some of the special topics are constraint solving and optimization, extensions of functional logic programming, deductive databases, data mining, nonmonotonic reasoning, , interaction of CP/LP with other formalisms like agents, XML, JAVA, program analysis, program transformation, program verification, meta programming, parallelism and concurrency, answer set programming, implementation and software techniques (e.g., types, modularity, design patterns), applications (e.g., in production, environment, education, internet), constraint/logic programming for semantic web systems and applications, reasoning on the semantic web, data modelling for the web, semistructured data, and web query languages.},
  language  = {en}
}
@inproceedings{Glashuettner2008,
  author    = {Glash{\"u}ttner, Robert},
  title     = {The perception of video games : from visual power to immersive interaction},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24578},
  year      = {2008},
  abstract  = {This paper highlights the different ways of perceiving video games and video game content, incorporating interactive and non-interactive methods. It examines varying cognitive and emotive reactions by persons who are used to play video games as well as persons who are unfamiliar with the aesthetics and the most basic game play rules incorporated within video games. Additionally, the principle of "Flow" serves as a theoretical and philosophical foundation. A small case-study featuring two games has been made to emphasize the numerous possible ways of perception of video games.},
  language  = {en}
}
@inproceedings{GoltzPieth2010,
  author    = {Goltz, Hans-Joachim and Pieth, Norbert},
  title     = {A tool for generating partition schedules of multiprocessor systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41556},
  year      = {2010},
  abstract  = {A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.},
  language  = {en}
}
@inproceedings{GonzalezCasacuberta2008,
  author    = {Gonz{\´a}lez, Jorge and Casacuberta, Francisco},
  title     = {Phrase-based finite state models},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27209},
  year      = {2008},
  abstract  = {In the last years, statistical machine translation has already demonstrated its usefulness within a wide variety of translation applications. In this line, phrase-based alignment models have become the reference to follow in order to build competitive systems. Finite state models are always an interesting framework because there are well-known efficient algorithms for their representation and manipulation. This document is a contribution to the evolution of finite state models towards a phrase-based approach. The inference of stochastic transducers that are based on bilingual phrases is carefully analysed from a finite state point of view. Indeed, the algorithmic phenomena that have to be taken into account in order to deal with such phrase-based finite state models when in decoding time are also in-depth detailed.},
  language  = {en}
}
@inproceedings{GrohHillierDamineli2007,
  author    = {Groh, J. H. and Hillier, D. J. and Damineli, A.},
  title     = {Mass-loss rate and clumping in LBV stars : the impact of time-dependent effects},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17773},
  year      = {2007},
  abstract  = {This paper outlines a newly-developed method to include the effects of time variability in the radiative transfer code CMFGEN. It is shown that the flow timescale is often large compared to the variability timescale of LBVs. Thus, time-dependent effects significantly change the velocity law and density structure of the wind, affecting the derivation of the mass-loss rate, volume filling factor, wind terminal velocity, and luminosity. The results of this work are directly applicable to all active LBVs in the Galaxy and in the LMC, such as AG Car, HR Car, S Dor and R 127, and could result in a revision of stellar and wind parameters. The massloss rate evolution of AG Car during the last 20 years is presented, highlighting the need for time-dependent models to correctly interpret the evolution of LBVs.},
  language  = {en}
}
@inproceedings{Graefener2007,
  author    = {Gr{\"a}fener, G.},
  title     = {Clumping in hydrodynamic atmosphere models},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17925},
  year      = {2007},
  abstract  = {We investigate the effect of wind clumping on the dynamics of Wolf-Rayet winds, by means of the Potsdam Wolf-Rayet (PoWR) hydrodynamic atmosphere models. In the limit of microclumping the radiative acceleration is generally enhanced. We examine the reasons for this effect and show that the resulting wind structure depends critically on the assumed radial dependence of the clumping factor D(r). The observed terminal wind velocities for WR stars imply that D(r) increases to very large values in the outer part of the wind, in agreement with the assumption of detached expanding shells.},
  language  = {en}
}
@inproceedings{Gull2007,
  author    = {Gull, T. R.},
  title     = {Eta Carinae viewed from different vantages},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18200},
  year      = {2007},
  abstract  = {The spatially-resolved winds of the massive binary, Eta Carinae, extend an arcsecond on the sky, well beyond the 10 to 20 milliarcsecond binary orbital dimension. Stellar wind line profiles, observed at very different angular resolutions of VLTI/AMBER, HST/STIS and VLT/UVES, provide spatial information on the extended wind interaction structure as it changes with orbital phase. These same wind lines, observable in the starlight scattered off the foreground lobe of the dusty Homunculus, provide time-variant line profiles viewed from significantly different angles. Comparisons of direct and scattered wind profiles observed in the same epoch and at different orbital phases provide insight on the extended wind structure and promise the potential for three-dimensional imaging of the outer wind structures. Massive, long-lasting clumps, including the nebularWeigelt blobs, originated during the two historical ejection events. Wind interactions with these clumps are quite noticeable in spatially-resolved spectroscopy. As the 2009.0 minimum approaches, analysis of existing spectra and 3-D modeling are providing bases for key observations to gain further understanding of this complex massive binary.},
  language  = {en}
}
@inproceedings{HainzlScherbaumZoeller2006,
  author    = {Hainzl, Sebastian and Scherbaum, Frank and Z{\"o}ller, Gert},
  title     = {Spatiotemporal earthquake patterns},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7267},
  year      = {2006},
  abstract  = {Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  language  = {en}
}
@inproceedings{HamannOskinovaFeldmeier2007,
  author    = {Hamann, Wolf-Rainer and Oskinova, Lida and Feldmeier, Achim},
  title     = {Spectrum formation in clumpy stellar winds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17838},
  year      = {2007},
  abstract  = {Modeling expanding atmospheres is a difficult task because of the extreme non-LTE situation, the need to account for complex model atoms, especially for the iron-group elements with their millions of lines, and because of the supersonic expansion. Adequate codes have been developed e.g. by Hillier (CMFGEN), the Munich group (Puls, Pauldrach), and in Potsdam (PoWR code, Hamann et al.). While early work was based on the assumption of a smooth and homogeneous spherical stellar wind, the need to account for clumping became obvious about ten years ago. A relatively simple first-order clumping correction was readily implemented into the model codes. However, its simplifying assumptions are severe. Most importantly, the clumps are taken to be optically thin at all frequencies ("microclumping"). We discuss the consequences of this approximation and describe an approach to account for optically thick clumps ("macroclumping"). First results demonstrate that macroclumping can generally reduce the strength of spectral features, depending on their optical thickness. The recently reported discrepancy between the Hα diagnostic and the Pv resonance lines in O star spectra can be resolved without decreasing the mass-loss rates, when macroclumping is taken into account.},
  language  = {en}
}
@inproceedings{HannousseArdourelDouence2010,
  author    = {Hannousse, Abdelhakim and Ardourel, Gilles and Douence, R{\´e}mi},
  title     = {Views for aspectualizing component models},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41359},
  year      = {2010},
  abstract  = {Component based software development (CBSD) and aspectoriented software development (AOSD) are two complementary approaches. However, existing proposals for integrating aspects into component models are direct transposition of object-oriented AOSD techniques to components. In this article, we propose a new approach based on views. Our proposal introduces crosscutting components quite naturally and can be integrated into different component models.},
  language  = {en}
}
@inproceedings{HanusKoschnicke2010,
  author    = {Hanus, Michael and Koschnicke, Sven},
  title     = {An ER-based framework for declarative web programming},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41447},
  year      = {2010},
  abstract  = {We describe a framework to support the implementation of web-based systems to manipulate data stored in relational databases. Since the conceptual model of a relational database is often specified as an entity-relationship (ER) model, we propose to use the ER model to generate a complete implementation in the declarative programming language Curry. This implementation contains operations to create and manipulate entities of the data model, supports authentication, authorization, session handling, and the composition of individual operations to user processes. Furthermore and most important, the implementation ensures the consistency of the database w.r.t. the data dependencies specified in the ER model, i.e., updates initiated by the user cannot lead to an inconsistent state of the database. In order to generate a high-level declarative implementation that can be easily adapted to individual customer requirements, the framework exploits previous works on declarative database programming and web user interface construction in Curry.},
  language  = {en}
}
@inproceedings{Hara2006,
  author    = {Hara, Yurie},
  title     = {Question intonation and lexicalized bias expression},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10323},
  year      = {2006},
  abstract  = {This paper examines the interaction between different utterance types and the Japanese modal particle darou, and proposes that the decision-theoretic semantics accounts for the interaction among darou, sentence types and intonation.},
  language  = {en}
}
@inproceedings{Harrison2010,
  author    = {Harrison, William},
  title     = {Malleability, obliviousness and aspects for broadcast service attachment},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41389},
  year      = {2010},
  abstract  = {An important characteristic of Service-Oriented Architectures is that clients do not depend on the service implementation's internal assignment of methods to objects. It is perhaps the most important technical characteristic that differentiates them from more common object-oriented solutions. This characteristic makes clients and services malleable, allowing them to be rearranged at run-time as circumstances change. That improvement in malleability is impaired by requiring clients to direct service requests to particular services. Ideally, the clients are totally oblivious to the service structure, as they are to aspect structure in aspect-oriented software. Removing knowledge of a method implementation's location, whether in object or service, requires re-defining the boundary line between programming language and middleware, making clearer specification of dependence on protocols, and bringing the transaction-like concept of failure scopes into language semantics as well. This paper explores consequences and advantages of a transition from object-request brokering to service-request brokering, including the potential to improve our ability to write more parallel software.},
  language  = {en}
}
@inproceedings{HerreHummel2010,
  author    = {Herre, Heinrich and Hummel, Axel},
  title     = {Stationary generated models of generalized logic programs},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41501},
  year      = {2010},
  abstract  = {The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the 'intended' partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.},
  language  = {en}
}
@inproceedings{HerreHummel2010,
  author    = {Herre, Heinrich and Hummel, Axel},
  title     = {A paraconsistent semantics for generalized logic programs},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41496},
  year      = {2010},
  abstract  = {We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].},
  language  = {en}
}
@inproceedings{Hillier2007,
  author    = {Hillier, D. J.},
  title     = {On the influence of clumping on O and Wolf-Rayet spectra},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17903},
  year      = {2007},
  abstract  = {Overwhelming observational and theoretical evidence suggests that the winds of massive stars are highly clumped. We briefly discuss the influence of clumping on model diagnostics and the difficulties of allowing for the influence of clumping on model spectra. Because of its simplicity, and because of computational ease, most spectroscopic analyses incorporate clumping using the volume filling factor. The biases introduced by this approach are uncertain. To investigate alternative clumping models, and to help determine the validity of parameters derived using the volume filling factor method, we discuss results derived using an alternative model in which we assume that the wind is composed of optically thick shells.},
  language  = {en}
}
@inproceedings{Hirschi2007,
  author    = {Hirschi, Raphael},
  title     = {The impact of reduced mass loss rates on the evolution of massive stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17616},
  year      = {2007},
  abstract  = {Mass loss is a very important aspect of the life of massive stars. After briefly reviewing its importance, we discuss the impact of the recently proposed downward revision of mass loss rates due to clumping (difficulty to form Wolf-Rayet stars and production of critically rotating stars). Although a small reduction might be allowed, large reduction factors around ten are disfavoured. We then discuss the possibility of significant mass loss at very low metallicity due to stars reaching break-up velocities and especially due to the metal enrichment of the surface of the star via rotational and convective mixing. This significant mass loss may help the first very massive stars avoid the fate of pair-creation supernova, the chemical signature of which is not observed in extremely metal poor stars. The chemical composition of the very low metallicity winds is very similar to that of the most metal poor star known to date, HE1327-2326 and offer an interesting explanation for the origin of the metals in this star. We also discuss the importance of mass loss in the context of long and soft gamma-ray bursts and pair-creation supernovae. Finally, we would like to stress that mass loss in cooler parts of the HR-diagram (luminous blue variable and yellow and red supergiant stages) are much more uncertain than in the hot part. More work needs to be done in these areas to better constrain the evolution of the most massive stars.},
  language  = {en}
}
@inproceedings{HoffstadtNagenborg2008,
  author    = {Hoffstadt, Christian and Nagenborg, Michael},
  title     = {The concept of war in the World of Warcraft},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24674},
  year      = {2008},
  abstract  = {MMORPGs such as WORLD OF WARCRAFT can be understood as interactive representations of war. Within the frame provided by the program the players experience martial conflicts and thus a "virtual war." The game world however requires a technical and as far as possible invisible infrastructure which has to be protected against attacks: Infrastructure means e.g. the servers on which the data of the player characters and the game's world are saved, as well as the user accounts, which have to be protected, among other things, from "identity theft." Besides the war on the virtual surface of the program we will therefore describe the invisible war concerning the infrastructure, the outbreak of which is always feared by the developers and operators of online-worlds, requiring them to take precautions. Furthermore we would like to focus on "virtual game worlds" as places of complete surveillance. Since action in these worlds is always associated with the production of data, total observation is theoretically possible and put into practice by the so-called "game master." The observation of different communication channels (including user forums) serves to monitor and direct the actions on the virtual battlefield subtly, without the player feeling that his freedom is being limited. Finally, we will compare the fictional theater of war in WORLD OF WARCRAFT to the vision of "Network-Centric Warfare," since it has often been observed that the analysis of MMORPGs is useful to the real trade of war. However, we point out what an unrealistic theater of war WORLD OF WARCRAFT really is.},
  language  = {en}
}
@inproceedings{IgnaceGayley2007,
  author    = {Ignace, R. and Gayley, K. G.},
  title     = {Circumstellar Magnetic Field Diagnostics from Line Polarization},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18066},
  year      = {2007},
  language  = {en}
}
@inproceedings{IlarrazaGojenolaOronozetal.2008,
  author    = {Ilarraza, Arantza D{\´i}az de and Gojenola, Koldo and Oronoz, Maite and Otaegi, Maialen and Alegria, I{\~n}aki},
  title     = {Syntactic error detection and correction in date expressions using finite-state transducers},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27180},
  year      = {2008},
  abstract  = {This paper presents a system for the detection and correction of syntactic errors. It combines a robust morphosyntactic analyser and two groups of finite-state transducers specified using the Xerox Finite State Tool (xfst). One of the groups is used for the description of syntactic error patterns while the second one is used for the correction of the detected errors. The system has been tested on a corpus of real texts, containing both correct and incorrect sentences, with good results.},
  language  = {en}
}
@inproceedings{IpingSonnebornMassaetal.2007,
  author    = {Iping, R.C. and Sonneborn, G. and Massa, D.L. and Gies, D. and Williams, Simon E.},
  title     = {Far-ultraviolet spectroscopy of O+O binaries in the Magellanic Clouds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17896},
  year      = {2007},
  abstract  = {We report FUSE observations in 2005-2006 of three O-type, double-lined spectroscopic binaries in the Magellanic Clouds. The systems have very short periods (1.4-2.25 d), represent rare, young evolutionary stages of massive stars and binaries, and provide a unique glimpse at some of the most massive systems that form in dense clusters of massive stars. Improved orbit parameters, including revised masses, for LH54-425 are derived from new ctio spectroscopy. The systems are: LH54-425 in the LMC (O3V + O5V, P=2.25d, 62+37M⊙), J053441-693139 in the LMC (O2-3If+O6V, P=1.4 d, 41+27M⊙), and Hodge 53-47 in the SMC (O6V + O4-5IIIf, P=2.2 d, 24+14M⊙, where the O4 star appears to be less massive than the O6 star). Their short periods indicates that wind interaction and mass transfer are likely important factors in their evolution. The spectra provide quantitative and systematic studies of phase-dependent stellar wind properties, wind collision effects in O+O binaries at lower metallicities, improved radial velocity curves, and FUV spectro-photometric changes as a function of orbital phase.},
  language  = {en}
}
@inproceedings{JennettCoxCairns2008,
  author    = {Jennett, Charlene and Cox, Anna L. and Cairns, Paul},
  title     = {Being "in the game"},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24682},
  year      = {2008},
  abstract  = {When people describe themselves as being "in the game" this is often thought to mean they have a sense of presence, i.e. they feel like they are in the virtual environment (Brown/Cairns 2004). Presence research traditionally focuses on user experiences in virtual reality systems (e.g. head mounted displays, CAVE-like systems). In contrast, the experience of gaming is very different. Gamers willingly submit to the rules of the game, learn arbitrary relationships between the controls and the screen output, and take on the persona of their game character. Also whereas presence in VR systems is immediate, presence in gaming is gradual. Due to these differences, one can question the extent to which people feel present during gaming. A qualitative study was conducted to explore what gamers actually mean when they describe themselves as being "in the game." Thirteen gamers were interviewed and the resulting grounded theory suggests being "in the game" does not necessarily mean presence (i.e. feeling like you are the character and present in the VE). Some people use this phrase just to emphasize their high involvement in the game. These findings differ with Brown and Cairns as they suggest at the highest state of immersion not everybody experiences presence. Furthermore, the experience of presence does not appear dependent on the game being in the first person perspective or the gamer being able to empathize with the character. Future research should investigate why some people experience presence and others do not. Possible explanations include: use of language, perception of presence, personality traits, and types of immersion.},
  language  = {en}
}
@inproceedings{Juul2008,
  author    = {Juul, Jesper},
  title     = {The magic circle and the puzzle piece},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24554},
  year      = {2008},
  abstract  = {In a common description, to play a game is to step inside a concrete or metaphorical magic circle where special rules apply. In video game studies, this description has received an inordinate amount of criticism which the paper argues has two primary sources: 1. a misreading of the basic concept of the magic circle and 2. a somewhat rushed application of traditional theoretical concerns onto games. The paper argues that games studies must move beyond conventional criticisms of binary distinctions and rather look at the details of how games are played. Finally, the paper proposes an alternative metaphor for game-playing, the puzzle piece.},
  language  = {en}
}
@inproceedings{Karagjosova2006,
  author    = {Karagjosova, Elena},
  title     = {Correction and acceptance by contrastive focus},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10258},
  year      = {2006},
  abstract  = {An account is presented of the focus properties, common ground effect and dialogue behaviour of the accented German discourse marker "doch" and the accented sentence negation "nicht". It is argued that "doch" and "nicht" evoke as a focus alternative the logical complement of the proposition expressed by the sentence in which they occur, and that an analysis in terms of contrastive focus accounts for their effect on the common ground and their function in dialogue.},
  language  = {en}
}
@inproceedings{Karttunen2008,
  author    = {Karttunen, Lauri},
  title     = {New features in PARC finite state toolkits (Abstract)},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27085},
  year      = {2008},
  language  = {en}
}
@inproceedings{Karvovskaya2013,
  author    = {Karvovskaya, Lena},
  title     = {'Also' in Ishkashimi : additive particle and sentence connector},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-66097},
  year      = {2013},
  abstract  = {The paper discusses the distribution and meaning of the additive particle -m@s in Ishkashimi. -m@s receives different semantic associations while staying in the same syntactic position. Thus, structurally combined with an object, it can semantically associate with the focused object or with the whole focused VP; similarly, combined with the subject it can semantically associate with the focused subject and with the whole focused sentence.},
  language  = {en}
}
@inproceedings{KempsonCann2006,
  author    = {Kempson, Ruth and Cann, Ronnie},
  title     = {Dialogue pressures and syntactic change},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10469},
  year      = {2006},
  abstract  = {On the basis of the Dynamic Syntax framework, this paper argues that the production pressures in dialogue determining alignment effects and given versus new informational effects also drive the shift from case-rich free word order systems without clitic pronouns into systems with clitic pronouns with rigid relative ordering. The paper introduces assumptions of Dynamic Syntax, in particular the building up of interpretation through structural underspecification and update, sketches the attendant account of production with close coordination of parsing and production strategies, and shows how what was at the Latin stage a purely pragmatic, production-driven decision about linear ordering becomes encoded in the clitics in theMedieval Spanish system which then through successive steps of routinization yield the modern systems with immediately pre-verbal fixed clitic templates.},
  language  = {en}
}
@inproceedings{Kholtygin2007,
  author    = {Kholtygin, A. F.},
  title     = {Wavelets for looking for clumping in the wind of OB stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17796},
  year      = {2007},
  abstract  = {Clumping in hot-star winds : proceedings of an international workshop held in Potsdam, Germany, 18. - 22. June 2007},
  language  = {en}
}
@inproceedings{Kholtygin2007,
  author    = {Kholtygin, A. F.},
  title     = {Modelling the induced clumping stochastic line profile variability},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18180},
  year      = {2007},
  abstract  = {We model the line profile variability (lpv) in spectra of clumped stellar atmospheres using the Stochastic Clump Model (SCM) of the winds of early-type stars. In this model the formation of dense inhomogeneities (clumps) in the line driven winds is considered as being a stochastic process. It is supposed that the emission due to clumps mainly contributes to the intensities of emission lines in the stellar spectra. It is shown that in the framework of the SCM it is possible to reproduce both the mean line profiles and a common pattern of the lpv.},
  language  = {en}
}
@inproceedings{Kimmelmann2013,
  author    = {Kimmelmann, Vadim},
  title     = {Doubling in RSL and NGT : a pragmatic account0F*},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-66102},
  year      = {2013},
  abstract  = {In this paper, doubling in Russian Sign Language and Sign Language of the Netherlands is discussed. In both sign languages different constituents (including verbs, nouns, adjectives, adverbs, and whole clauses) can be doubled. It is shown that doubling in both languages has common functions and exhibits a similar structure, despite some differences. On this basis, a unified pragmatic explanation for many doubling phenomena on both the discourse and the clause-internal levels is provided, namely that the main function of doubling both in RSL and NGT is foregrounding of the doubled information.},
  language  = {en}
}
@inproceedings{KranstedtLueckingPfeifferetal.2006,
  author    = {Kranstedt, Alfred and L{\"u}cking, Andy and Pfeiffer, Thies and Rieser, Hannes and Staudacher, Marc},
  title     = {Measuring and reconstructing pointing in visual contexts},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10362},
  year      = {2006},
  abstract  = {We describe an experiment to gather original data on geometrical aspects of pointing. In particular, we are focusing upon the concept of the pointing cone, a geometrical model of a pointing's extension. In our setting we employed methodological and technical procedures of a new type to integrate data from annotations as well as from tracker recordings. We combined exact information on position and orientation with rater's classifications. Our first results seem to challenge classical linguistic and philosophical theories of demonstration in that they advise to separate pointings from reference.},
  language  = {en}
}
@inproceedings{KrausKubatKrtička2007,
  author    = {Kraus, M. and Kub{\´a}t, Jiř{\´i} and Krtička, Jiri},
  title     = {Wind emission of OB supergiants and the influence of clumping},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17757},
  year      = {2007},
  abstract  = {The influence of the wind to the total continuum of OB supergiants is discussed. For wind velocity distributions with β > 1.0, the wind can have strong influence to the total continuum emission, even at optical wavelengths. Comparing the continuum emission of clumped and unclumped winds, especially for stars with high β values, delivers flux differences of up to 30\% with maximum in the near-IR. Continuum observations at these wavelengths are therefore an ideal tool to discriminate between clumped and unclumped winds of OB supergiants.},
  language  = {en}
}
@inproceedings{KrtičkaPulsKubat2007,
  author    = {Krtička, Jiri and Puls, Joachim and Kub{\´a}t, Jiř{\´i}},
  title     = {The influence of clumping on predicted O star wind parameters},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17969},
  year      = {2007},
  abstract  = {We study the influence of clumping on the predicted wind structure of O-type stars. For this purpose we artificially include clumping into our stationary wind models. When the clumps are assumed to be optically thin, the radiative line force increases compared to corresponding unclumped models, with a similar effect on either the mass-loss rate or the terminal velocity (depending on the onset of clumping). Optically thick clumps, alternatively, might be able to decrease the radiative force.},
  language  = {en}
}
@inproceedings{KubatSaad2007,
  author    = {Kub{\´a}t, Jiř{\´i} and Saad, S. M.},
  title     = {Moving absorption bumps in the spectra of Be stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17879},
  year      = {2007},
  abstract  = {Several Be binaries exhibit an absorption bump moving across the blue wing of hydrogen emission lines towards the line center. This bump is demonstrated for the case of two bright Be stars, κ Dra and 4 Her. It is not clear what is the reason for this travelling bump.},
  language  = {en}
}
@inproceedings{KuhnertGuentnerKlannetal.2006,
  author    = {Kuhnert, Matthias and G{\"u}ntner, Andreas and Klann, Mechthild and Martin Garrido, F. and Zillgens, Birgit},
  title     = {Methods for spatial pattern comparison in distributed hydrological modelling : [Poster]},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7160},
  year      = {2006},
  abstract  = {The rigorous development, application and validation of distributed hydrological models obligates to evaluate data in a spatially distributed way. In particular, spatial model predictions such as the distribution of soil moisture, runoff generating areas or nutrient-contributing areas or erosion rates, are to be assessed against spatially distributed observations. Also model inputs, such as the distribution of modelling units derived by GIS and remote sensing analyses, should be evaluated against groundbased observations of landscape characteristics. So far, however, quantitative methods of spatial field comparison have rarely been used in hydrology. In this paper, we present algorithms that allow to compare observed and simulated spatial hydrological data. The methods can be applied for binary and categorical data on regular grids. They comprise cell-by-cell algorithms, cell-neighbourhood approaches that account for fuzziness of location, and multi-scale algorithms that evaluate the similarity of spatial fields with changing resolution. All methods provide a quantitative measure of the similarity of two maps. The comparison methods are applied in two mountainous catchments in southern Germany (Brugga, 40 km<sup>2) and Austria (L{\"o}hnersbach, 16 km<sup>2). As an example of binary hydrological data, the distribution of saturated areas is analyzed in both catchments. For categorical data, vegetation zones that are associated with different runoff generation mechanisms are analyzed in the L{\"o}hnersbach. Mapped spatial patterns are compared to simulated patterns from terrain index calculations and from satellite image analysis. It is discussed how particular features of visual similarity between the spatial fields are captured by the quantitative measures, leading to recommendations on suitable algorithms in the context of evaluating distributed hydrological models.},
  language  = {en}
}
@inproceedings{KustererNagelWerneretal.2007,
  author    = {Kusterer, D.-J. and Nagel, T. and Werner, K. and Feldmeier, Achim},
  title     = {Radiative transfer in CV disk winds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17847},
  year      = {2007},
  abstract  = {Mass accretion onto compact objects through accretion disks is a common phenomenon in the universe. It is seen in all energy domains from active galactic nuclei through cataclysmic variables (CVs) to young stellar objects. Because CVs are fairly easy to observe, they provide an ideal opportunity to study accretion disks in great detail and thus help us to understand accretion also in other energy ranges. Mass accretion in these objects is often accompanied by mass outflow from the disks. This accretion disk wind, at least in CVs, is thought to be radiatively driven, similar to O star winds. WOMPAT, a 3-D Monte Carlo radiative transfer code for accretion disk winds of CVs is presented.},
  language  = {en}
}
@inproceedings{LascaridesStone2006,
  author    = {Lascarides, Alex and Stone, Matthew},
  title     = {Formal semantics for iconic gesture},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10330},
  year      = {2006},
  abstract  = {We present a formal analysis of iconic coverbal gesture. Our model describes the incomplete meaning of gesture that's derivable from its form, and the pragmatic reasoning that yields a more specific interpretation. Our formalism builds on established models of discourse interpretation to capture key insights from the descriptive literature on gesture: synchronous speech and gesture express a single thought, but while the form of iconic gesture is an important clue to its interpretation, the content of gesture can be resolved only by linking it to its context.},
  language  = {en}
}
@inproceedings{LeuteneggerCohenKahnetal.2007,
  author    = {Leutenegger, M. A. and Cohen, David H. and Kahn, S. M. and Owocki, S. P. and Paerels, F. B. S.},
  title     = {Resonance scattering in the X-ray emission lines profiles of ζ Puppis},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18085},
  year      = {2007},
  abstract  = {We present XMM-Newton Reflection Grating Spectrometer observations of pairs of X-ray emission line profiles from the O star ζ Pup that originate from the same He-like ion. The two profiles in each pair have different shapes and cannot both be consistently fit by models assuming the same wind parameters. We show that the differences in profile shape can be accounted for in a model including the effects of resonance scattering, which affects the resonance line in the pair but not the intercombination line. This implies that resonance scattering is also important in single resonance lines, where its effect is difficult to distinguish from a low effective continuum optical depth in the wind. Thus, resonance scattering may help reconcile X-ray line profile shapes with literature mass-loss rates.},
  language  = {en}
}
@inproceedings{Liboriussen2008,
  author    = {Liboriussen, Bjarke},
  title     = {The landscape aesthetics of computer games},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24586},
  year      = {2008},
  abstract  = {Landscape aesthetics drawing on philosophy and psychology allow us to understand computer games from a new angle. The landscapes of computer games can be understood as environments or images. This difference creates two options: 1. We experience environments or images, or 2. We experience landscape simultaneously as both. Psychologically, the first option can be backed up by a Vygotskian framework (this option highlights certain non-mainstream subject positions), the second by a Piegatian (highlighting cognitive mapping of game worlds).},
  language  = {en}
}
@inproceedings{Liebe2008,
  author    = {Liebe, Michael},
  title     = {There is no magic circle : on the difference between computer games and traditional games},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24597},
  year      = {2008},
  abstract  = {This text compares the special characteristics of the game space in computer-generated environments with that in non-computerized playing-situations. Herewith, the concept of the magic circle as a deliberately delineated playing sphere with specific rules to be upheld by the players, is challenged. Yet, computer games also provide a virtual playing environment containing the rules of the game as well as the various action possibilities. But both the hardware and software facilitate the player's actions rather than constraining them. This makes computer games fundamentally different: in contrast to traditional game spaces or limits, the computer-generated environment does not rely on the awareness of the player in upholding these rules. - Thus, there is no magic circle.},
  language  = {en}
}
@inproceedings{LiermannHamann2007,
  author    = {Liermann, A. and Hamann, Wolf-Rainer},
  title     = {Clumping in Galactic WN stars : a comparison of mass loss rates from UV/optical \& radio diagnostics},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17816},
  year      = {2007},
  abstract  = {The mass loss rates and other parameters for a large sample of Galactic WN stars have been revised by Hamann et al. (2006), using the most up-to date Potsdam Wolf-Rayet (PoWR) model atmospheres. For a sub-sample of these stars exist measurements of their radio free-free emission. After harmonizing the adopted distance and terminal wind velocities, we compare the mass loss rates obtained from the two diagnostics. The differences are discussed as a possible consequence of different clumping contrast in the line-forming and radio-emitting regions.},
  language  = {en}
}
@inproceedings{Ljungstroem2008,
  author    = {Ljungstr{\"o}m, Mattias},
  title     = {Remarks on digital play spaces},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24602},
  year      = {2008},
  abstract  = {Most play spaces support completely different actions than we normally would think of when moving through real space, out of play. This paper therefore discusses the relationship between selected game rules and game spaces in connection to the behaviors, or possible behaviors, of the player. Space will be seen as a modifier or catalyst of player behavior. Six categories of game space are covered: Joy of movement, exploration, tactical, social, performative, and creative spaces. Joy of movement is examined in detail, with a briefer explanation of the other categories.},
  language  = {en}
}
@inproceedings{Lobel2007,
  author    = {Lobel, A.},
  title     = {Modeling DACs in UV lines of massive hot stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17856},
  year      = {2007},
  abstract  = {We apply the 3-dimensional radiative transport codeWind3D to 3D hydrodynamic models of Corotating Interaction Regions to fit the detailed variability of Discrete Absorption Components observed in Si iv UV resonance lines of HD 64760 (B0.5 Ib). We discuss important effects of the hydrodynamic input parameters on these large-scale equatorial wind structures that determine the detailed morphology of the DACs computed with 3D transfer. The best fit model reveals that the CIR in HD 64760 is produced by a source at the base of the wind that lags behind the stellar surface rotation. The non-corotating coherent wind structure is an extended density wave produced by a local increase of only 0.6\% in the smooth symmetric wind mass-loss rate.},
  language  = {en}
}
@inproceedings{LopezTarazonBronstertThiekenetal.2017,
  author    = {L{\´o}pez-Taraz{\´o}n, Jos{\´e} Andr{\´e}s and Bronstert, Axel and Thieken, Annegret and Petrow, Theresia},
  title     = {International symposium on the effects of global change on floods, fluvial geomorphology and related hazards in mountainous rivers},
  series = {Book of Abstracts},
  booktitle = {Book of Abstracts},
  editor    = {L{\´o}pez-Taraz{\´o}n, Jos{\´e} Andr{\´e}s and Bronstert, Axel and Thieken, Annegret and Petrow, Theresia},
  organization    = {Universit{\"a}t Potsdam},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus4-396922},
  pages     = {104},
  year      = {2017},
  abstract  = {Both Alpine and Mediterranean areas are considered sensitive to so-called global change, considered as the combination of climate and land use changes. All panels on climate evolution predict future scenarios of increasing frequency and magnitude of floods which are likely to lead to huge geomorphic adjustments of river channels so major metamorphosis of fluvial systems is expected as a result of global change. Such pressures are likely to give rise to major ecological and economic changes and challenges that governments need to address as a matter of priority. Changes in river flow regimes associated with global change are therefore ushering in a new era, where there is a critical need to evaluate hydro-geomorphological hazards from headwaters to lowland areas (flooding can be not just a problem related to being under the water). A key question is how our understanding of these hazards associated with global change can be improved; improvement has to come from integrated research which includes the climatological and physical conditions that could influence the hydrology and sediment generation and hence the conveyance of water and sediments (including the river's capacity, i.e. amount of sediment, and competence, i.e. channel deformation) and the vulnerabilities and economic repercussions of changing hydrological hazards (including the evaluation of the hydro-geomorphological risks too). Within this framework, the purpose of this international symposium is to bring together researchers from several disciplines as hydrology, fluvial geomorphology, hydraulic engineering, environmental science, geography, economy (and any other related discipline) to discuss the effects of global change over the river system in relation with floods. The symposium is organized by means of invited talks given by prominent experts, oral lectures, poster sessions and discussion sessions for each individual topic; it will try to improve our understanding of how rivers are likely to evolve as a result of global change and hence address the associated hazards of that fluvial environmental change concerning flooding. Four main topics are going to be addressed: - Modelling global change (i.e. climate and land-use) at relevant spatial (regional, local) and temporal (from the long-term to the single-event) scales. - Measuring and modelling river floods from the hydrological, sediment transport (both suspended and bedload) and channel morphology points of view at different spatial (from the catchment to the reach) and temporal (from the long-term to the single-event) scales. - Evaluation and assessment of current and future river flooding hazards and risks in a global change perspective. - Catchment management to face river floods in a changing world. We are very pleased to welcome you to Potsdam. We hope you will enjoy your participation at the International Symposium on the Effects of Global Change on Floods, Fluvial Geomorphology and Related Hazards in Mountainous Rivers and have an exciting and profitable experience. Finally, we would like to thank all speakers, participants, supporters, and sponsors for their contributions that for sure will make of this event a very remarkable and fruitful meeting. We acknowledge the valuable support of the European Commission (Marie Curie Intra-European Fellowship, Project ''Floodhazards'', PIEF-GA-2013-622468, Seventh EU Framework Programme) and the Deutschen Forschungsgemeinschaft (Research Training Group "Natural Hazards and Risks in a Changing World" (NatRiskChange; GRK 2043/1) as the symposium would not have been possible without their help. Without your cooperation, this symposium would not be either possible or successful.},
  language  = {en}
}
@inproceedings{Lovlie2008,
  author    = {L{\o}vlie, Anders Sundnes},
  title     = {The rhetoric of persuasive games : freedom and discipline in America's Army},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24616},
  year      = {2008},
  abstract  = {This paper suggests an approach to studying the rhetoric of persuasive computer games through comparative analysis. A comparison of the military propaganda game AMERICA'S ARMY to similar shooter games reveals an emphasis on discipline and constraints in all main aspects of the games, demonstrating a preoccupation with ethos more than pathos. Generalizing from this, a model for understanding game rhetoric through balances of freedom and constraints is proposed.},
  language  = {en}
}
@inproceedings{LueckingRieserStaudacher2006,
  author    = {L{\"u}cking, Andy and Rieser, Hannes and Staudacher, Marc},
  title     = {Multi-modal integration for gesture and speech},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10393},
  year      = {2006},
  abstract  = {Demonstratives, in particular gestures that "only" accompany speech, are not a big issue in current theories of grammar. If we deal with gestures, fixing their function is one big problem, the other one is how to integrate the representations originating from different channels and, ultimately, how to determine their composite meanings. The growing interest in multi-modal settings, computer simulations, human-machine interfaces and VRapplications increases the need for theories ofmultimodal structures and events. In our workshopcontribution we focus on the integration of multimodal contents and investigate different approaches dealing with this problem such as Johnston et al. (1997) and Johnston (1998), Johnston and Bangalore (2000), Chierchia (1995), Asher (2005), and Rieser (2005).},
  language  = {en}
}
@inproceedings{LueckingRieserStaudacher2006,
  author    = {L{\"u}cking, Andy and Rieser, Hannes and Staudacher, Marc},
  title     = {SDRT and multi-modal situated communication},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10348},
  year      = {2006},
  abstract  = {Classical SDRT (Asher and Lascarides, 2003) discussed essential features of dialogue like adjacency pairs or corrections and up-dating. Recent work in SDRT (Asher, 2002, 2005) aims at the description of natural dialogue. We use this work to model situated communication, i.e. dialogue, in which sub-sentential utterances and gestures (pointing and grasping) are used as conventional modes of communication. We show that in addition to cognitive modelling in SDRT, capturing mental states and speech-act related goals, special postulates are needed to extract meaning out of contexts. Gestural meaning anchors Discourse Referents in contextually given domains. Both sorts of meaning are fused with the meaning of fragments to get at fully developed dialogue moves. This task accomplished, the standard SDRT machinery, tagged SDRSs, rhetorical relations, the up-date mechanism, and the Maximize Discourse Coherence constraint generate coherent structures. In sum, meanings from different verbal and non-verbal sources are assembled using extended SDRT to form coherent wholes.},
  language  = {en}
}
@inproceedings{MacuraGinzburg2006,
  author    = {Macura, Zoran and Ginzburg, Jonathan},
  title     = {Acquiring words across generations : introspectively or interactively?},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10408},
  year      = {2006},
  abstract  = {How does a shared lexicon arise in population of agents with differing lexicons, and how can this shared lexicon be maintained over multiple generations? In order to get some insight into these questions we present an ALife model in which the lexicon dynamics of populations that possess and lack metacommunicative interaction (MCI) capabilities are compared. We ran a series of experiments on multi-generational populations whose initial state involved agents possessing distinct lexicons. These experiments reveal some clear differences in the lexicon dynamics of populations that acquire words solely by introspection contrasted with populations that learn using MCI or using a mixed strategy of introspection and MCI. The lexicon diverges at a faster rate for an introspective population, eventually collapsing to one single form which is associated with all meanings. This contrasts sharply with MCI capable populations in which a lexicon is maintained, where every meaning is associated with a unique word. We also investigated the effect of increasing the meaning space and showed that it speeds up the lexicon divergence for all populations irrespective of their acquisition method.},
  language  = {en}
}
@inproceedings{Marchenko2007,
  author    = {Marchenko, S. V.},
  title     = {Wind inhomogeneities in low-Z environment : observations},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17769},
  year      = {2007},
  abstract  = {We discuss the results of time-resolved spectroscopy of three presumably single Population I Wolf-Rayet stars in the Small Magellanic Cloud, where the ambient metallicity is \$\sim 1/5 Z_\odot\$. We were able to detect and follow numerous small-scale wind-embedded inhomogeneities in all observed stars. The general properties of the moving features, such as their velocity dispersions, emissivities and average accelerations, closely match the corresponding characteristics of small-scale inhomogeneities in the winds of Galactic Wolf-Rayet stars.},
  language  = {en}
}
@inproceedings{Massa2007,
  author    = {Massa, D. L.},
  title     = {Discussion: Spectroscopy and Mass-Loss Diagnostics},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17821},
  year      = {2007},
  language  = {en}
}
@inproceedings{MassaPrinjaFullerton2007,
  author    = {Massa, D. L. and Prinja, R. K. and Fullerton, A. W.},
  title     = {The effects of clumping on wind line variability},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18095},
  year      = {2007},
  abstract  = {We review the effects of clumping on the profiles of resonance doublets. By allowing the ratio of the doublet oscillator strenghts to be a free parameter, we demonstrate that doublet profiles contain more information than is normally utilized. In clumped (or porous) winds, this ratio can lies between unity and the ratio of the f-values, and can change as a function of velocity and time, depending on the fraction of the stellar disk that is covered by material moving at a particular velocity at a given moment. Using these insights, we present the results of SEI modeling of a sample of B supergiants, ζ Pup and a time series for a star whose terminal velocity is low enough to make the components of its Si VIλλ1400 independent. These results are interpreted within the framewrok of the Oskinova et al. (2007) model, and demonstrate how the doublet profiles can be used to extract infromation about wind structure.},
  language  = {en}
}
@inproceedings{Meldgaard2008,
  author    = {Meldgaard, Betty Li},
  title     = {Perception, action, and game space},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24624},
  year      = {2008},
  abstract  = {This paper examines the use of the ecological approach to visual perception in relation to action in game spaces. By applying the ecological approach it is believed that we can gain new insights into the mechanisms of perceiving possibilities for action.},
  language  = {en}
}
@inproceedings{MillsHealey2006,
  author    = {Mills, Gregory J. and Healey, Patrick G. T.},
  title     = {Clarifying spatial descriptions : local and global effects on semantic co-ordination},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10414},
  year      = {2006},
  abstract  = {A key problem for models of dialogue is to explain the mechanisms involved in generating and responding to clarification requests. We report a 'Maze task' experiment that investigates the effect of 'spoof' clarification requests on the development of semantic co-ordination. The results provide evidence of both local and global semantic co-ordination phenomena that are not captured by existing dialogue co-ordination models.},
  language  = {en}
}
@inproceedings{Mitsuishi2008,
  author    = {Mitsuishi, Yara},
  title     = {Diff{\´e}rance at play : unfolding identities through difference in videogame play},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24697},
  year      = {2008},
  abstract  = {This paper approaches the debate over the notion of "magic circle" through an exploratory analysis of the unfolding of identities/differences in gameplay through Derrida's diff{\´e}rance. Initially, diff{\´e}rance is related to the notion of play and identity/difference in Derrida's perspective. Next, the notion of magic circle through Derrida's play is analyzed, emphasizing the dynamics of diff{\´e}rance to understand gameplay as process; questioning its boundaries. Finally, the focus shifts toward the implications of the interplay of identities and differences during gameplay.},
  language  = {en}
}
@inproceedings{Moffat2007,
  author    = {Moffat, Anthony F. J.},
  title     = {Observational overview of clumping in hot stellar winds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17633},
  year      = {2007},
  abstract  = {In the old days (pre ∼1990) hot stellar winds were assumed to be smooth, which made life fairly easy and bothered no one. Then after suspicious behaviour had been revealed, e.g. stochastic temporal variability in broadband polarimetry of single hot stars, it took the emerging CCD technology developed in the preceding decades (∼1970-80's) to reveal that these winds were far from smooth. It was mainly high-S/N, time-dependent spectroscopy of strong optical recombination emission lines in WR, and also a few OB and other stars with strong hot winds, that indicated all hot stellar winds likely to be pervaded by thousands of multiscale (compressible supersonic turbulent?) structures, whose driver is probably some kind of radiative instability. Quantitative estimates of clumping-independent mass-loss rates came from various fronts, mainly dependent directly on density (e.g. electron-scattering wings of emission lines, UV spectroscopy of weak resonance lines, and binary-star properties including orbital-period changes, electron-scattering, and X-ray fluxes from colliding winds) rather than the more common, easier-to-obtain but clumping-dependent density-squared diagnostics (e.g. free-free emission in the IR/radio and recombination lines, of which the favourite has always been Hα). Many big questions still remain, such as: What do the clumps really look like? Do clumping properties change as one recedes from the mother star? Is clumping universal? Does the relative clumping correction depend on \$\dot{M}\$ itself?},
  language  = {en}
}
@inproceedings{MoffatHillierHamannetal.2007,
  author    = {Moffat, Anthony F. J. and Hillier, D. J. and Hamann, Wolf-Rainer and Owocki, S. P.},
  title     = {General Discussion},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17953},
  year      = {2007},
  abstract  = {Clumping in hot-star winds : proceedings of an international workshop held in Potsdam, Germany, 18. - 22. June 2007},
  language  = {en}
}
@inproceedings{MorrisonRotherKurschat2007,
  author    = {Morrison, N. D. and Rother, R. and Kurschat, N.},
  title     = {Hα line profile variability in the B8Ia-type supergiant Rigel (β Ori)},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18120},
  year      = {2007},
  abstract  = {Hα observations of Rigel obtained on 184 nights during the past ten years with the 1-m telescope and ´echelle spectrograph of Ritter Observatory are surveyed. The line profiles were classified in terms of morphology. About 1/4 of them are of P Cygni type, about 15\% inverse P Cygni, about 25\% double-peaked, about 1/3 pure absorption, and a few are single emission lines. Transformation of the profile from one type to another typically takes a few days. Although the line stays in absorption for extended intervals, only one high-velocity absorption event of the intensity reported by Kaufer et al. (1996a) was observed, in late 2006. Late in this event, Hα absorption occurred farther to the red than the red wing of a plausible photospheric absorption component, an indication of infalling material. In general, as the absorption events come to an end, the emission typically returns with an inverse P Cygni profile. The Hα profile class shows no obvious correlation with the radial velocity of C II λ6578, a photospheric absorption line.},
  language  = {en}
}
@inproceedings{Mukherjee2008,
  author    = {Mukherjee, Souvik},
  title     = {Gameplay in the "Zone of Becoming" : locating action in the computer game},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24638},
  year      = {2008},
  abstract  = {Extending Alexander Galloway's analysis of the action-image in videogames, this essay explores the concept in relation to its source: the analysis of cinema by the French philosopher Gilles Deleuze. The applicability of the concept to videogames will, therefore, be considered through a comparison between the First Person Shooter S.T.A.L.K.E.R. and Andrey Tarkovsky's film Stalker. This analysis will compellingly explore the nature of videogame-action, its relation to player-perceptions and its location within the machinic and ludic schema.},
  language  = {en}
}
@inproceedings{MaerkerSchroederEsselbachCapolongoetal.2006,
  author    = {M{\"a}rker, Michael and Schr{\"o}der-Esselbach, Boris and Capolongo, Domenico and Bentivenga, Mario},
  title     = {Geomorphological and pedological processes in badland areas of Southern Italy and their interaction with Mediterranean vegetation},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7288},
  year      = {2006},
  abstract  = {Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  language  = {en}
}
@inproceedings{NajarroPulsHerreroetal.2007,
  author    = {Najarro, F. and Puls, Joachim and Herrero, A. and Hanson, M. M. and Mart{\´i}n-Pintado, J. and Hillier, D. J.},
  title     = {Tracking the Clumping in OB Stars from UV to radio},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17701},
  year      = {2007},
  abstract  = {We review different line and continua diagnostics from the UV to radio, which can be utilized to simultaneously constrain the clumping structure throughout the stellar wind of massive OB stars.},
  language  = {en}
}
@inproceedings{Neitzel2008,
  author    = {Neitzel, Britta},
  title     = {Metacommunicative circles},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-24647},
  year      = {2008},
  abstract  = {The paper uses Gregory Bateson's concept of metacommunication to explore the boundaries of the 'magic circle' in play and computer games. It argues that the idea of a self-contained "magic circle" ignores the constant negotiations among players which establish the realm of play. The "magic circle" is no fixed ontological entity but is set up by metacommunicative play. The paper further pursues the question if metacommunication could also be found in single-player computer games, and comes to the conclusion that metacommunication is implemented in single-player games by the means of metalepsis.},
  language  = {en}
}
@inproceedings{Nielsen2007,
  author    = {Nielsen, K. E.},
  title     = {On irregular line profiles in the optical spectrum of Eta Carinae},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18227},
  year      = {2007},
  abstract  = {The optical spectrum of Eta Carinae (η Car) is prominent in H I, He i and Fe ii wind lines, all of which vary both in absorption and emission with phase. The phase dependance is a consequence of the interaction between the two objects in the η Car binary (η Car A \& B). The binary system is enshrouded by ejecta from previous mass ejection events and consequently, η Car B is not directly observable. We have traced the He i lines over η Car's spectroscopic period, using HST/STIS data obtained with medium spectral, but high angular, resolving power, and created a radial velocity curve for the system. The He I lines are formed in the core of the system, and appear to be a composite of multiple features formed in spatially separated regions. The sources of their irregular line profiles are still not fully understood, but can be attributed to emission/absorption near the wind-wind interface and/or a direct consequence of the η Car A's, massive, clumpy wind. This paper will discuss the spectral variability, the narrow emission structure of the He i lines and how clumpiness of the winds may impede the construction of the reliable radial velocity curve, necessary for characterizations of especially η Car B.},
  language  = {en}
}