@inproceedings{ReimerAharonianHintonetal.2007, author = {Reimer, O. and Aharonian, Felix A. and Hinton, J. and Hofmann, W. and Hoppe, S. and Raue, M. and Reimer, A.}, title = {VHE gamma-rays from Westerlund 2 and implications for the inferred energetics}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-18172}, year = {2007}, abstract = {The H.E.S.S. collaboration recently reported the discovery of VHE γ-ray emission coincident with the young stellar cluster Westerlund 2. This system is known to host a population of hot, massive stars, and, most particularly, the WR binary WR 20a. Particle acceleration to TeV energies in Westerlund 2 can be accomplished in several alternative scenarios, therefore we only discuss energetic constraints based on the total available kinetic energy in the system, the actual mass loss rates of respective cluster members, and implied gamma-ray production from processes such as inverse Compton scattering or neutral pion decay. From the inferred gammaray luminosity of the order of 1035erg/s, implications for the efficiency of converting available kinetic energy into non-thermal radiation associated with stellar winds in the Westerlund 2 cluster are discussed under consideration of either the presence or absence of wind clumping.}, 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{Bischof2005, author = {Bischof, Ulrike}, title = {Nachlasserschließung im Goethe- und Schiller-Archiv}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-6081}, 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{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{Schultze2005, author = {Schultze, Winfried}, title = {Zufall - Wunsch - Planung : die Erwerbung von Nachl{\"a}ssen zur Bestandserg{\"a}nzung}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:517-opus-6098}, year = {2005}, abstract = {Nachl{\"a}sse sind pers{\"o}nliches Eigentum und unterliegen deshalb keiner Abgabepflicht. Der Wunsch des Nachlassers bez{\"u}glich der weiteren Aufbewahrung seines schriftlichen Erbes ist demzufolge prim{\"a}r gegen{\"u}ber allen unseren W{\"u}nschen. Wir k{\"o}nnen nicht fordern, sondern nur bitten, uns durch eigene Leistungen anbieten und die zuk{\"u}nftigen Nachlassenden oder deren Erben {\"u}berzeugen. Die nicht vorhandene institutionelle Zust{\"a}ndigkeit f{\"u}r die {\"U}bernahme von Nachl{\"a}ssen erzeugt die Reibungspunkte zwischen den Einrichtungen, die sich um den Erwerb von Nachl{\"a}ssen bem{\"u}hen: Archive - Bibliotheken - Museen - Sammlungen. Die W{\"u}nsche zum Erwerb des Nachlasses einer bestimmten Person - egal ob Wissenschaftler, K{\"u}nstler oder Politiker - sind demzufolge immer an verschiedenen Orten gleichzeitig vorhanden. Der Zufall entscheidet dann leider meist dar{\"u}ber, an welcher Stelle der Nachlass zuk{\"u}nftig verwahrt und wissenschaftlich genutzt wird. Es stellt sich die Frage, ob wir auf solche Zuf{\"a}lle hoffen und warten sollen, oder ob wir nicht eher eine engagierte - gemeinsam zwischen den Archiven abgestimmte - Erwerbspolitik betrieben sollten. ------------ 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{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