Refine
Year of publication
Document Type
- Conference Proceeding (445) (remove)
Language
- English (445) (remove)
Keywords
- Information Structure (4)
- Cloud Computing (3)
- E-Mail Tracking (3)
- ERP (3)
- MOOC (3)
- Privacy (3)
- enterprise systems (3)
- knowledge management (3)
- middleware (3)
- social media (3)
- Blockchain (2)
- COVID-19 (2)
- CPS (2)
- Constraint Solving (2)
- Deduction (2)
- EMOTIKON (2)
- Forschungsprojekte (2)
- Future SOC Lab (2)
- In-Memory Technologie (2)
- Interoception (2)
- Linear Mixed Models (2)
- Logic Programming (2)
- Logics (2)
- Multicore Architekturen (2)
- Optimization (2)
- Planing (2)
- Platform Innovation (2)
- additive particle (2)
- big data (2)
- cloud computing (2)
- conversational agents (2)
- crisis communication (2)
- digital education (2)
- e-learning (2)
- enteprise-level (2)
- evaluation (2)
- information systems research (2)
- knowledge transfer (2)
- künstliche Intelligenz (2)
- learning (2)
- machine learning (2)
- maschinelles Lernen (2)
- online course creation (2)
- online course design (2)
- priming (2)
- privacy (2)
- self-disclosure (2)
- "Big Data"-Dienste (1)
- ATLAS.t (1)
- Alpha-amylase (1)
- Analytic Infrastructures (1)
- Aortic valve (1)
- Aspektorientierte Softwareentwicklung (1)
- Auswirkungen auf Schüler (1)
- Automatentheorie (1)
- Backgrounding (1)
- Bankenregulierung (1)
- Bedürfnisse (1)
- Betriebssysteme (1)
- Bildung (1)
- Blood (1)
- Browser Platform (1)
- Browser Platforms (1)
- Cardiac rehabilitation (1)
- Case Study (1)
- Changing World (1)
- Chrome (1)
- Coccinelle (1)
- Competition (1)
- Compton and pair creation telescope (1)
- Computer Science Education (1)
- Computerlinguistik (1)
- Consensus algorithms (1)
- Construal (1)
- Contrast (1)
- Convergent thinking (1)
- Coring (1)
- Correction (1)
- Countermeasures (1)
- Covid pandemic effects (1)
- Creative process (1)
- Creativity (1)
- Cross-System (1)
- Cyber-Physical Manufacturing Systems (1)
- Dealing with mistakes (1)
- Decentral Decision Making (1)
- Developmental gains (1)
- Didaktik (1)
- Digital Marketplaces (1)
- Digital Platforms (1)
- Digital-Enabled Human-Information Interaction (1)
- Digitale Bildung (1)
- Discontinued Features (1)
- Dynamic Pricing (1)
- EMG (1)
- ERP system (1)
- Echtzeitmessung (1)
- Embodiment (1)
- Emotionen (1)
- Emotions (1)
- Empirical Modelling (1)
- Emulsion (1)
- Endliche Automaten (1)
- Enterprise Resource Planning (1)
- Enterprise System (1)
- Euro (1)
- Euro-Financial-Crisis (1)
- Euro-Finanzkrise (1)
- Exercise tests (1)
- FORTH (1)
- FabLabs (1)
- Feature Removal (1)
- Felix-App (1)
- Finanzmärkte (1)
- Firefox (1)
- Focus (1)
- Focus-sensitivity (1)
- Fokus (1)
- Fokussensitivität (1)
- Fourier Integraloperatoren (1)
- Gamma-ray astronomy (1)
- Givenness (1)
- Heart Rate (1)
- Herodotos (1)
- History of pattern occurrences (1)
- ICT (1)
- ISSEP (1)
- In-Memory technology (1)
- Individualization (1)
- Industrial Analytics (1)
- Industry 4.0 (1)
- Informatics (1)
- Informatics Education (1)
- Informatik (1)
- Informatikdidaktik (1)
- Information Security and Privacy (1)
- Informationsstruktur (1)
- Innovation in Organizations: Learning (1)
- Instragram (1)
- Intentional Forgetting (1)
- Internet of Things (1)
- Ishkashimi (1)
- Key Competencies (1)
- Keyage children (1)
- Klimaänderung (1)
- Kursdesign (1)
- Kwa languages (1)
- LOGO (1)
- Lagrange Distributionen (1)
- Lagrangian submanifolds (1)
- Langzeitverhalten (1)
- Lean Core (1)
- Lernen (1)
- MCT oil (1)
- Machine Learning (1)
- Markedness (1)
- Markov processes (1)
- Markovprozesse (1)
- Massenverlust (1)
- Measuring Efficient Task Processing (1)
- Mellin (1)
- Micro Degree (1)
- Middleware (1)
- Milk (1)
- Mobile Software Ecosystems (1)
- Modeling (1)
- Motivation (1)
- Mozilla Firefox (1)
- NMDL (1)
- NatRiskChange (1)
- Natural Hazards (1)
- Naturgefahren (1)
- Neurostimulation (1)
- Newsletter (1)
- Older-than-keyage children (1)
- Online Marketing (1)
- Online-Lehre (1)
- Onlinekurs (1)
- Onlinekurs-Produktion (1)
- Optimal Control (1)
- PF Interface (1)
- Papert (1)
- Personalization (1)
- Physical Fitness (1)
- Physical fitness (1)
- Platform Coring (1)
- Pockets of creativity (1)
- Point of Care Assay and Vitamin A (1)
- Pooled Data (1)
- Price Cycles (1)
- Primary school children (1)
- Problems (1)
- Process Mining (1)
- Production (1)
- Prolog (1)
- Prosody (1)
- Pseudo-differential algebras (1)
- RFID (1)
- Reaction Time (1)
- Requirements (1)
- Research Agenda (1)
- Response Strategies (1)
- Russian Scrambling (1)
- Russian Sign Language (1)
- Salivary (1)
- Sars-CoV-2 (1)
- Schlüsselkompetenzen (1)
- Security (1)
- Sign Language of the Netherlands (1)
- Software Platforms (1)
- Sprachverarbeitung (1)
- Squashes pulp (1)
- Stability (1)
- Sternwinde (1)
- Strahlungstransport (1)
- Sustainability (1)
- Systematic literature revieew (1)
- Systemsoftware (1)
- TAVI (1)
- The Sharing Economy (1)
- Three-tier Architecture (1)
- Topic (1)
- Topik (1)
- Trait Anxiety (1)
- Transcatheter Aortic Valve Implantation (1)
- Transcutaneous Auricular Vagus Nerve Stimulation (1)
- US Intensity (1)
- US Work-up (1)
- UV light (1)
- Umgang mit Fehlern (1)
- Unlearning (1)
- VIL (1)
- Verwaltung von Rechenzentren (1)
- Verzweigungsprozesse (1)
- Virtuelle Maschinen (1)
- XM (1)
- airbnb (1)
- analytical framework (1)
- argument structure (1)
- artifical intelligence (1)
- artificial intelligence (1)
- artificial neural networks (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- attitude-behaviour gap (1)
- augmentation (1)
- automata theory (1)
- backpropagation (1)
- bank regulation (1)
- big data services (1)
- bottom–up (1)
- bracketing paradox (1)
- branching processes (1)
- bug tracking (1)
- built–in predicates (1)
- business models (1)
- business process (1)
- business process optimization (1)
- business process platform (1)
- carotenoids bioavailability (1)
- case-based reasoning (1)
- children (1)
- clinicians (1)
- co-creation (1)
- cognitive activation (1)
- cognitive levels (1)
- cognitive load theory (1)
- cold pressor pain (1)
- commitment (1)
- complexity (1)
- computational linguistics (1)
- concurrency (1)
- consistency (1)
- contrast (1)
- creativity (1)
- crosscutting wrappers (1)
- cyber-physical production systems (1)
- cyber-physical systems (1)
- data center management (1)
- data mining (1)
- data security (1)
- data-driven artifacts (1)
- deductive databases (1)
- deep reinforcement learning (1)
- degree of givenness (1)
- deleted tweets (1)
- design-science research (1)
- digital identity (1)
- digital platform openness (1)
- digitalization (1)
- dimensional (1)
- discourse referent (1)
- distributed ledger technology (1)
- distributed systems (1)
- documentation (1)
- doubling (1)
- dynamic reconfiguration (1)
- education (1)
- eference Architecture Model (1)
- effects on pupils (1)
- emotion (1)
- empirical evaluation (1)
- engagement (1)
- enhancement (1)
- enterprise architecture (1)
- enterprise ecosystems: the integrated enterprise (1)
- enterprise system (1)
- ethics (1)
- experience (1)
- experiment (1)
- explicit knowledge (1)
- extensions of logic programs (1)
- fMRI (1)
- false information (1)
- federated industrial platform ecosystems (1)
- feedback (1)
- financial markets (1)
- finite-state automata (1)
- floods (1)
- focus (1)
- focus particle (1)
- foregrounding (1)
- forgetting (1)
- forward / backward chaining (1)
- fried (1)
- function symbols (1)
- future curriculum (1)
- gaming (1)
- gamma-ray polarization (1)
- generalized logic programs (1)
- geomorphology (1)
- global change (1)
- health crisis (1)
- high-energy astrophysical phenomena (1)
- higher education (1)
- hospitals (1)
- human-AI interaction (1)
- hybrid simulation (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- identity management (1)
- immersion (1)
- improvement (1)
- industry 4.0 (1)
- information flow control (1)
- information gateway (1)
- information status (1)
- integral Fourier operators (1)
- intention-behaviour gap (1)
- interventions (1)
- invasive aspects (1)
- is governance (1)
- it/business alignment (1)
- knowledge crystallization (1)
- knowledge management system (1)
- knowledge representation (1)
- knowledge transfers (1)
- language erp (1)
- learner characteristics (1)
- levels of information systems research (process, enterprise-, ecosystem- & industry-level) (1)
- literature review (1)
- long-time behaviour (1)
- lutein ester (1)
- macromolecular decay (1)
- makromolekularer Zerfall (1)
- manufacturing systems (1)
- mass loss (1)
- massereiche Sterne (1)
- massive stars (1)
- media literacy (1)
- mediated conversation (1)
- mental health (1)
- micro degree (1)
- micro- and nanotechnologies (1)
- micro-credential (1)
- microcredential (1)
- microlocal analysis (1)
- microlokale Analysis (1)
- mindset (1)
- mobile technology (1)
- morphological analysis (1)
- mountainous rivers (1)
- multi-valued logic (1)
- multicore architectures (1)
- natural hazards (1)
- natural language processing (1)
- needs (1)
- neural networks (1)
- new product development (1)
- nonlinear dynamics (1)
- online course (1)
- online courses (1)
- online photographs (1)
- online regrets (1)
- online teaching (1)
- open hardware (1)
- operating systems (1)
- operator calculus (1)
- organizational level (1)
- paraconsistency (1)
- parental mediation (1)
- participatory learning (1)
- perception (1)
- personal development (1)
- persönliche Entwicklung (1)
- pitch accent (1)
- platform acceptance (1)
- prediction (1)
- primary school children (1)
- prior knowledge (1)
- privacy paradox (1)
- process modelling (1)
- product development (1)
- product generation engineering (1)
- production control (1)
- production engineering computing (1)
- production planning (1)
- production process (1)
- program analysis (1)
- programming language (1)
- prominence (1)
- prosody (1)
- prototype (1)
- prototyping process (1)
- pseudodifferential operators (1)
- pseudodifferentiale Operatoren (1)
- radiative transfer (1)
- real-time measurement (1)
- reflection (1)
- research challenges (1)
- research projects (1)
- retentivity (1)
- reusable aspects (1)
- reward system (1)
- rubicon model (1)
- rules (1)
- second-order conditioning (1)
- security policies (1)
- self-organization (1)
- self-sovereign identity (1)
- semantics (1)
- sentiment analysis (1)
- service-oriented (1)
- sharing economy (1)
- singular manifolds (1)
- smartphone (1)
- social attraction (1)
- social networking sites (1)
- space mission (1)
- steam-dried (1)
- steamed (1)
- stellar winds (1)
- stratification (1)
- subject-oriented learning (1)
- sustainable product development (1)
- sustained negativity (1)
- symbols (1)
- systematic literature review (1)
- systems software (1)
- tacit knowledge (1)
- taxonomy (1)
- teaching (1)
- teamwork (1)
- technologies (1)
- time-domain astronomy (1)
- top– down (1)
- transdiagnostic (1)
- trust (1)
- tuple spaces (1)
- ventral striatum (1)
- views (1)
- virtual learning environments (1)
- virtual machines (1)
- visual analytics (1)
- visual normalization theory (1)
- vocational training (1)
- web-tracking (1)
- weight perception (1)
- well-being (1)
Institute
- Extern (122)
- Institut für Biochemie und Biologie (54)
- Fachgruppe Betriebswirtschaftslehre (53)
- Department Sport- und Gesundheitswissenschaften (38)
- Institut für Ernährungswissenschaft (36)
- Department Psychologie (27)
- Institut für Künste und Medien (22)
- Institut für Physik und Astronomie (15)
- Institut für Chemie (13)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (11)
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].