@inproceedings{Schmid2005,
  author    = {Schmid, Gerhard},
  title     = {Archivarische und bibliothekarische Verfahren der Nachlassbearbeitung},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-6228},
  year      = {2005},
  abstract  = {Beitr{\"a}ge zum Thema "Nachl{\"a}sse an Universit{\"a}ts- und Hochschularchiven sowie Archiven wissenschaftlicher Institutionen" im Rahmen der Fr{\"u}hjahrstagung der Fachgruppe 8: "Archivare an Hochschularchiven und Archiven wissenschaftlicher Institutionen" am 16./17. Juni an der Universit{\"a}t Potsdam.},
  subject      = {Archiv},
  language  = {de}
}
@inproceedings{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{OhrnbergerWassermannRichter2006,
  author    = {Ohrnberger, Matthias and Wassermann, Joachim and Richter, Gudrun},
  title     = {Automatic detection and classification of seismic signals for monitoring purposes},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7294},
  year      = {2006},
  abstract  = {Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  language  = {en}
}
@inproceedings{Arnold2006,
  author    = {Arnold, Gabriele},
  title     = {Beitr{\"a}ge zur spektralen Fernerkundung fester planetarer Oberfl{\"a}chen},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7235},
  year      = {2006},
  abstract  = {Dr. Gabriele Arnold ist Leiterin des Bereichs Optische Informationssyteme am Institut f{\"u}r Planetenforschung des Deutschen Zentrums f{\"u}r Luft- und Raumfahrt (DLR) in Berlin-Adlershof <hr> Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  language  = {de}
}
@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{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{Reimer2007,
  author    = {Reimer, A.},
  title     = {Clumping effects on non-thermal particle spectra in massive star systems},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18246},
  year      = {2007},
  abstract  = {Observational evidence exists that winds of massive stars are clumped. Many massive star systems are known as non-thermal particle production sites, as indicated by their synchrotron emission in the radio band. As a consequence they are also considered as candidate sites for non-thermal high-energy photon production up to gamma-ray energies. The present work considers the effects of wind clumpiness expected on the emitting relativistic particle spectrum in colliding wind systems, built up from the pool of thermal wind particles through diffusive particle acceleration, and taking into account inverse Compton and synchrotron losses. In comparison to a homogeneous wind, a clumpy wind causes flux variations of the emitting particle spectrum when the clump enters the wind collision region. It is found that the spectral features associated with this variability moves temporally from low to high energy bands with the time shift between any two spectral bands being dependent on clump size, filling factor, and the energy-dependence of particle energy gains and losses.},
  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{PulsMarkovaNajarroetal.2007,
  author    = {Puls, Joachim and Markova, N. and Najarro, F. and Hanson, M. M.},
  title     = {Clumping in O-star winds},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17683},
  year      = {2007},
  abstract  = {We review various diagnostics of clumping in O-star winds, with special emphasis on its radial stratification. Implications and problems are discussed, and promising NIR methods are presented.},
  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{UrbanejaKudritzkiPuls2007,
  author    = {Urbaneja, M. A. and Kudritzki, R.-P. and Puls, Joachim},
  title     = {Clumping in the winds of O-type CSPNs},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17801},
  year      = {2007},
  abstract  = {Recent studies of massive O-type stars present clear evidences of inhomogeneous and clumped winds. O-type (H-rich) central stars of planetary nebulae (CSPNs) are in some ways the low mass-low luminosity analogous of those massive stars. In this contribution, we present preliminary results of our on-going multi-wavelength (FUV, UV and optical) study of the winds of Galactic CSPNs. Particular emphasis will be given to the clumping factors derived by means of optical lines (Hα and Heii 4686) and "classic" FUV (and UV) lines.},
  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{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{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{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{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{Wiemers2005,
  author    = {Wiemers, Gerald},
  title     = {Der Nachlass des Erziehungswissenschaftlers und Philosophen Theodor Litt in seiner {\"o}ffentlichen Wirkung},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-6113},
  year      = {2005},
  abstract  = {Beitr{\"a}ge zum Thema "Nachl{\"a}sse an Universit{\"a}ts- und Hochschularchiven sowie Archiven wissenschaftlicher Institutionen" im Rahmen der Fr{\"u}hjahrstagung der Fachgruppe 8: "Archivare an Hochschularchiven und Archiven wissenschaftlicher Institutionen" am 16./17. Juni an der Universit{\"a}t Potsdam.},
  subject      = {Archiv},
  language  = {de}
}
@inproceedings{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{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{Schulz2006,
  author    = {Schulz, Karsten},
  title     = {Die Bedeutung r{\"a}umlicher Strukturen und Muster f{\"u}r das hydrologische Prozessgeschehen},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7087},
  year      = {2006},
  abstract  = {Der Referent ist stellvertretender Leiter des Departments Angewandte Landschafts{\"o}kologie des UFZ - Umweltforschungszentrum Leipzig-Halle am Fachbereich Umweltsystemmodellierung <hr> Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 20066},
  language  = {de}
}
@inproceedings{Wegehenkel2006,
  author    = {Wegehenkel, Martin},
  title     = {Die Nutzung von Fernerkundungsdaten in der Wasserhaushaltsmodellierung},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7050},
  year      = {2006},
  abstract  = {Die Pr{\"a}sentation gibt zuerst einen {\"U}berblick {\"u}ber m{\"o}gliche Parameter f{\"u}r die Wasserhaushaltsmodellierung, die aus Fernerkundungs(FE)-daten generell abgeleitet werden k{\"o}nnen. Bei der Beschreibung der Ableitungsverfahren dieser Parameter aus (FE)-Daten wird auf die Landnutzung, Vegetationsindices und die reale Evapotranspiration (ETr) fokussiert. Die Verfahren zur Bestimmung der ETr aus optischen FE-Daten lassen grob wie folgt gliedern : • Direkte Ableitung der Evapotranspiration aus radiometrisch bestimmten Oberfl{\"a}chen-temperaturen • Ableitung von Modellinputdaten wie z.B. Globalstrahlung, Albedo, Blattfl{\"a}cheniondex LAI und NDVI aus FE-Daten zur Anwendung von SoilVegetation-AtmosphereTransfer- und Energiebilanzmodellen wie z.B. SEBAL (Bastiaansen et al . 1998) • Kombinierte Anwendung verschiedenster Sensoren wie SAR-ERS1, LANDSAT-TM, NOAA-AHVRR mit SVAT-Modellen und hydrologischen Einzugsgebietsmodellen Die Validierung dieser Methoden wurde in verschiedenen Messkampagnen wie z.B. Lo-trex10E-HIBE, FIFE oder HAPEX-Sahel durchgef{\"u}hrt. Dabei wurde die aus dem entspre-chenden Sensor abgeleitete ETr mit gemessenen ETr-Raten von Ankerstationen innerhalb eines definierten Gebietes verglichen. Diese Ankerstationen leiteten die ETr aus Profil-, Ed-dy-Flux-, oder Szintillometermessungen ab. Durchg{\"a}ngige l{\"a}ngere Zeitreihen der ETr sind nur mit FE-Daten mit hoher Wiederholungsrate wie z.B. NOAA-AVHRR, MODIS hoher Zeitaufl{\"o}sung m{\"o}glich Mit Landsat-TM z.B. ergeben sich dagegen nur „Snap Shots" der ETr von einzelnen Tagen. Daher wurden oftmals Multisensorverfahren d.h. Kombination von z.B. Landsat-TM mit NOAA-AVHRR eingesetzt oder die FE-Daten nur f{\"u}r die Erhebung zeitin-varianter Eingangsdaten (z.B. Landnutzung) und zur raumbezogenen Validierung der ETr-Berechnungen von hydrologischen Modellen verwendet. Im zweiten Teil des Vortrags wird ein Anwendungsbeispiel f{\"u}r den Versuch einer r{\"a}umliche Validierung eines Wasserhaus-haltsmodells {\"u}ber NDVI-ETr-Datenprodukte aus Landsat-TM5-Daten f{\"u}r das Stobbergebiet. Ein weiteres Anwendungsbeispiel f{\"u}r die Einbindung von Landnutzungsdatenprodukten aus Landsat-TM5-Daten in die Wasserhaushaltmodellierung f{\"u}r das Ucker-Einzugsgebiet schliesst den Vortrag ab. <hr> Dokument 1: Foliensatz | Dokument 2: Abstract <hr> Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  language  = {de}
}
@inproceedings{Puls2007,
  author    = {Puls, Joachim},
  title     = {Discussion : X-rays},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18000},
  year      = {2007},
  abstract  = {Clumping in hot-star winds : proceedings of an international workshop held in Potsdam, Germany, 18. - 22. June 2007},
  language  = {en}
}
@inproceedings{StLouis2007,
  author    = {St-Louis, N.},
  title     = {Discussion: Binaries, colliding winds, LBVs and high energy radiation},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18155},
  year      = {2007},
  abstract  = {Clumping in hot-star winds : proceedings of an international workshop held in Potsdam, Germany, 18. - 22. June 2007},
  language  = {en}
}
@inproceedings{Vink2007,
  author    = {Vink, J. S.},
  title     = {Discussion: Hydrodynamic modeling},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18046},
  year      = {2007},
  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{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{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{StLouisMoffat2007,
  author    = {St-Louis, N. and Moffat, Anthony F. J.},
  title     = {Do clumping corrections increase with decreasing mass-loss rates?},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17696},
  year      = {2007},
  abstract  = {We report on new mass-loss rate estimates for O stars in six massive binaries using the amplitude of orbital-phase dependent, linear-polarimetric variability caused by electron scattering off free electrons in the winds. Our estimated mass-loss rates for luminous O stars are independent of clumping. They suggest similar clumping corrections as for WR stars and do not support the recently proposed reduction in mass-loss rates of O stars by one or two orders of magnitude.},
  language  = {en}
}
@inproceedings{Owocki2007,
  author    = {Owocki, S. P.},
  title     = {Dynamical simulation of the "velocity-porosity" reduction in observed strength of stellar wind lines},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17992},
  year      = {2007},
  abstract  = {I use dynamical simulations of the line-driven instability to examine the potential role of the resulting flow structure in reducing the observed strength of wind absorption lines. Instead of the porosity length formalism used to model effects on continuum absorption, I suggest reductions in line strength can be better characterized in terms of a velocity clumping factor that is insensitive to spatial scales. Examples of dynamic spectra computed directly from instability simulations do exhibit a net reduction in absorption, but only at a modest 10-20\% level that is well short of the ca. factor 10 required by recent analyses of PV lines.},
  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{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{Piskorski2008,
  author    = {Piskorski, Jakub},
  title     = {ExPRESS : extraction pattern recognition engine and specification suite},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27227},
  year      = {2008},
  abstract  = {The emergence of information extraction (IE) oriented pattern engines has been observed during the last decade. Most of them exploit heavily finite-state devices. This paper introduces ExPRESS - a new extraction pattern engine, whose rules are regular expressions over flat feature structures. The underlying pattern language is a blend of two previously introduced IE oriented pattern formalisms, namely, JAPE, used in the widely known GATE system, and the unificationbased XTDL formalism used in SProUT. A brief and technical overview of ExPRESS, its pattern language and the pool of its native linguistic components is given. Furthermore, the implementation of the grammar interpreter is addressed too.},
  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{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{ZarriessSeeker2008,
  author    = {Zarrieß, Sina and Seeker, Wolfgang},
  title     = {Finite-state rule deduction for parsing non-constituent coordination},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-27254},
  year      = {2008},
  abstract  = {In this paper, we present a finite-state approach to constituency and therewith an analysis of coordination phenomena involving so-called non-constituents. We show that non-constituents can be seen as parts of fully-fledged constituents and therefore be coordinated in the same way. We have implemented an algorithm based on finite state automata that generates an LFG grammar assigning valid analyses to non-constituent coordination structures in the German language.},
  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{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{PoppBlaumDomptailetal.2006,
  author    = {Popp, Alexander and Blaum, Niels and Domptail, Stephanie and Herpel, Nicole and Gr{\"o}ngr{\"o}ft, Alexander and Hoffman, T. T. and J{\"u}rgens, Norbert and Milton, Sue and Nuppenau, Ernst-August and Rossmanith, Eva and Schmidt, Michael and Vogel, Melanie and Vohland, Katrin and Jeltsch, Florian},
  title     = {From satellite imagery to soil-plant interactions},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7302},
  year      = {2006},
  abstract  = {Decisions for the conservation of biodiversity and sustainable management of natural resources are typically related to large scales, i.e. the landscape level. However, understanding and predicting the effects of land use and climate change on scales relevant for decision-making requires to include both, large scale vegetation dynamics and small scale processes, such as soil-plant interactions. Integrating the results of multiple BIOTA subprojects enabled us to include necessary data of soil science, botany, socio-economics and remote sensing into a high resolution, process-based and spatially-explicit model. Using an example from a sustainably-used research farm and a communally used and degraded farming area in semiarid southern Namibia we show the power of simulation models as a tool to integrate processes across disciplines and scales.},
  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{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{SagetGuyomard2006,
  author    = {Saget, Sylvie and Guyomard, Marc},
  title     = {Goal-oriented dialog as a collaborative subordinated activity involving collective acceptance},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-10420},
  year      = {2006},
  abstract  = {Modeling dialog as a collaborative activity consists notably in specifying the contain of the Conversational Common Ground and the kind of social mental state involved. In previous work (Saget, 2006), we claim that Collective Acceptance is the proper social attitude for modeling Conversational Common Ground in the particular case of goal-oriented dialog. We provide a formalization of Collective Acceptance, besides elements in order to integrate this attitude in a rational model of dialog are provided; and finally, a model of referential acts as being part of a collaborative activity is provided. The particular case of reference has been chosen in order to exemplify our claims.},
  language  = {en}
}
@inproceedings{Runacres2007,
  author    = {Runacres, M. C.},
  title     = {Hydrodynamical models of clumping beyond 50 R∗},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18030},
  year      = {2007},
  abstract  = {We present one-dimensional, time-dependent models of the clumps generated by the linedeshadowing instability. In order to follow the clumps out to distances of more than 1000 R∗, we use an efficient moving-box technique. We show that, within the approximations, the wind can remain clumped well into the formation region of the radio continuum.},
  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{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{Sonneborn2007,
  author    = {Sonneborn, G.},
  title     = {Imaging and spectroscopy with the James Webb Space Telescope},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17983},
  year      = {2007},
  abstract  = {The James Webb Space Telescope (JWST) is a large, infrared-optimized space telescope scheduled for launch in 2013. JWST will find the first stars and galaxies that formed in the early universe, connecting the Big Bang to our own Milky Way galaxy. JWST will peer through dusty clouds to see stars forming planetary systems, connecting the MilkyWay to our own Solar System. JWST's instruments are designed to work primarily in the infrared range of 1 - 28 μm, with some capability in the visible range. JWST will have a large mirror, 6.5 m in diameter, and will be diffraction-limited at 2 μm (0.1 arcsec resolution). JWST will be placed in an L2 orbit about 1.5 million km from the Earth. The instruments will provide imaging, coronography, and multi-object and integral-field spectroscopy across the 1 - 28 μm wavelength range. The breakthrough capabilities of JWST will enable new studies of massive star winds from the Milky Way to the early universe.},
  language  = {en}
}
@inproceedings{Smith2007,
  author    = {Smith, Nathan},
  title     = {Independent signs of lower mass-loss rates for O-type stars},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-17659},
  year      = {2007},
  abstract  = {I discuss observational evidence - independent of the direct spectral diagnostics of stellar winds themselves - suggesting that mass-loss rates for O stars need to be revised downward by roughly a factor of three or more, in line with recent observed mass-loss rates for clumped winds. These independent constraints include the large observed mass-loss rates in LBV eruptions, the large masses of evolved massive stars like LBVs and WNH stars, WR stars in lower metallicity environments, observed rotation rates of massive stars at different metallicity, supernovae that seem to defy expectations of high mass-loss rates in stellar evolution, and other clues. I pay particular attention to the role of feedback that would result from higher mass-loss rates, driving the star to the Eddington limit too soon, and therefore making higher rates appear highly implausible. Some of these arguments by themselves may have more than one interpretation, but together they paint a consistent picture that steady line-driven winds of O-type stars have lower mass-loss rates and are significantly clumped.},
  language  = {en}
}
@inproceedings{ZeilingerMuttiStreckeretal.2006,
  author    = {Zeilinger, Gerold and Mutti, Maria and Strecker, Manfred and Rehak, Katrin and Bookhagen, Bodo and Schwab, Marco},
  title     = {Integration of digital elevation models and satellite images to investigate geological processes.},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-7063},
  year      = {2006},
  abstract  = {In order to better understand the geological boundary conditions for ongoing or past surface processes geologists face two important questions: 1) How can we gain additional knowledge about geological processes by analyzing digital elevation models (DEM) and satellite images and 2) Do these efforts present a viable approach for more efficient research. Here, we will present case studies at a variety of scales and levels of resolution to illustrate how we can substantially complement and enhance classical geological approaches with remote sensing techniques. Commonly, satellite and DEM based studies are being used in a first step of assessing areas of geologic interest. While in the past the analysis of satellite imagery (e.g. Landsat TM) and aerial photographs was carried out to characterize the regional geologic characteristics, particularly structure and lithology, geologists have increasingly ventured into a process-oriented approach. This entails assessing structures and geomorphic features with a concept that includes active tectonics or tectonic activity on time scales relevant to humans. In addition, these efforts involve analyzing and quantifying the processes acting at the surface by integrating different remote sensing and topographic data (e.g. SRTM-DEM, SSM/I, GPS, Landsat 7 ETM, Aster, Ikonos…). A combined structural and geomorphic study in the hyperarid Atacama desert demonstrates the use of satellite and digital elevation data for assessing geological structures formed by long-term (millions of years) feedback mechanisms between erosion and crustal bending (Zeilinger et al., 2005). The medium-term change of landscapes during hundred thousands to millions years in a more humid setting is shown in an example from southern Chile. Based on an analysis of rivers/watersheds combined with landscapes parameterization by using digital elevation models, the geomorphic evolution and change in drainage pattern in the coastal Cordillera can be quantified and put into the context of seismotectonic segmentation of a tectonically active region. This has far-reaching implications for earthquake rupture scenarios and hazard mitigation (K. Rehak, see poster on IMAF Workshop). Two examples illustrate short-term processes on decadal, centennial and millennial time scales: One study uses orogen scale precipitation gradients derived from remotely sensed passive microwave data (Bookhagen et al., 2005a). They demonstrate how debris flows were triggered as a response of slopes to abnormally strong rainfall in the interior parts of the Himalaya during intensified monsoons. The area of the orogen that receives high amounts of precipitation during intensified monsoons also constitutes numerous landslide deposits of up to 1km<sup>3 volume that were generated during intensified monsoon phase at about 27 and 9 ka (Bookhagen et al., 2005b). Another project in the Swiss Alps compared sets of aerial photographs recorded in different years. By calculating high resolution surfaces the mass transport in a landslide could be reconstructed (M. Schwab, Universit{\"a}t Bern). All these examples, although representing only a short and limited selection of projects using remote sense data in geology, have as a common approach the goal to quantify geological processes. With increasing data resolution and new sensors future projects will even enable us to recognize more patterns and / or structures indicative of geological processes in tectonically active areas. This is crucial for the analysis of natural hazards like earthquakes, tsunamis and landslides, as well as those hazards that are related to climatic variability. The integration of remotely sensed data at different spatial and temporal scales with field observations becomes increasingly important. Many of presently highly populated places and increasingly utilized regions are subject to significant environmental pressure and often constitute areas of concentrated economic value. Combined remote sensing and ground-truthing in these regions is particularly important as geologic, seismicity and hydrologic data may be limited here due to the recency of infrastructural development. Monitoring ongoing processes and evaluating the remotely sensed data in terms of recurrence of events will greatly enhance our ability to assess and mitigate natural hazards. <hr> Dokument 1: Foliensatz | Dokument 2: Abstract <hr> Interdisziplin{\"a}res Zentrum f{\"u}r Musterdynamik und Angewandte Fernerkundung Workshop vom 9. - 10. Februar 2006},
  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{OetschSchwengererTompits2010,
  author    = {Oetsch, Johannes and Schwengerer, Martin and Tompits, Hans},
  title     = {Kato: a plagiarism-detection tool for answer-set programs},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-41485},
  year      = {2010},
  abstract  = {We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.},
  language  = {en}
}
@inproceedings{udDoula2007,
  author    = {ud-Doula, A.},
  title     = {Large-scale wind structure due to magnetic fields},
  url       = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18010},
  year      = {2007},
  abstract  = {Magnetic fields influence the dynamics of hot-star winds and create large scale structure. Based on numerical magnetohydrodynamic (MHD) simulations, we model the wind of θ¹ Ori C, and then use the SEI method to compute synthetic line profiles for a range of viewing angles as function of rotational phase. The resulting dynamic spectrum for a moderately strong line shows a distinct modulation, but with a phase that seems at odds with available observations.},
  language  = {en}
}