Refine
Year of publication
Document Type
- Conference Proceeding (528) (remove)
Language
- English (445)
- German (70)
- Multiple languages (10)
- French (2)
- Russian (1)
Keywords
- Archiv (4)
- Information Structure (4)
- Nachlass (4)
- Cloud Computing (3)
- E-Learning (3)
- E-Mail Tracking (3)
- ERP (3)
- MOOC (3)
- Privacy (3)
- enterprise systems (3)
Institute
- Extern (139)
- Institut für Biochemie und Biologie (56)
- Fachgruppe Betriebswirtschaftslehre (55)
- Department Sport- und Gesundheitswissenschaften (40)
- Institut für Ernährungswissenschaft (36)
- Department Psychologie (29)
- Institut für Künste und Medien (23)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (23)
- Institut für Informatik und Computational Science (20)
- Institut für Slavistik (16)
- Institut für Physik und Astronomie (15)
- Institut für Chemie (13)
- Institut für Geowissenschaften (12)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (11)
- Wirtschaftswissenschaften (9)
- Institut für Mathematik (8)
- Bürgerliches Recht (7)
- Sonderforschungsbereich 632 - Informationsstruktur (7)
- Institut für Umweltwissenschaften und Geographie (6)
- MenschenRechtsZentrum (6)
- Strukturbereich Kognitionswissenschaften (6)
- Wirtschafts- und Sozialwissenschaftliche Fakultät (6)
- Institut für Germanistik (5)
- Department Linguistik (4)
- Hasso-Plattner-Institut für Digital Engineering GmbH (3)
- Historisches Institut (3)
- Institut für Romanistik (3)
- Kommunalwissenschaftliches Institut (2)
- Öffentliches Recht (2)
- Fachgruppe Politik- & Verwaltungswissenschaft (1)
- Fachgruppe Soziologie (1)
- Fakultät für Gesundheitswissenschaften (1)
- Hochschulambulanz (1)
- Institut für Jüdische Studien und Religionswissenschaft (1)
- Institut für Philosophie (1)
- Juristische Fakultät (1)
- Lehreinheit für Wirtschafts-Arbeit-Technik (1)
- Philosophische Fakultät (1)
- Sozialwissenschaften (1)
- Theodor-Fontane-Archiv (1)
- Weitere Einrichtungen (1)
- Zentrum für Lehrerbildung und Bildungsforschung (ZeLB) (1)
Massive stars usually form groups such as OB associations. Their fast stellar winds sweep up collectively the surrounding insterstellar medium (ISM) to generate superbubbles. Observations suggest that superbubble evolution on the surrounding ISM can be very irregular. Numerical simulations considering these conditions could help to understand the evolution of these superbubbles and to clarify the dynamics of these objects as well as the difference between observed X-ray luminosities and the predicted ones by the standard model (Weaver et al. 1977).
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].