Refine
Has Fulltext
- yes (185) (remove)
Year of publication
Document Type
- Conference Proceeding (185) (remove)
Language
- English (185) (remove)
Keywords
- Information Structure (4)
- Cloud Computing (3)
- middleware (3)
- Constraint Solving (2)
- Deduction (2)
- EMOTIKON (2)
- Forschungsprojekte (2)
- Future SOC Lab (2)
- In-Memory Technologie (2)
- Linear Mixed Models (2)
- Logic Programming (2)
- Logics (2)
- MOOC (2)
- Multicore Architekturen (2)
- Optimization (2)
- Planing (2)
- additive particle (2)
- cloud computing (2)
- digital education (2)
- e-learning (2)
- künstliche Intelligenz (2)
- maschinelles Lernen (2)
- online course creation (2)
- online course design (2)
- "Big Data"-Dienste (1)
- Aspektorientierte Softwareentwicklung (1)
- Automatentheorie (1)
- Backgrounding (1)
- Bankenregulierung (1)
- Betriebssysteme (1)
- Bildung (1)
- Changing World (1)
- Coccinelle (1)
- Computer Science Education (1)
- Computerlinguistik (1)
- Construal (1)
- Contrast (1)
- Correction (1)
- Covid pandemic effects (1)
- Developmental gains (1)
- Digitale Bildung (1)
- Empirical Modelling (1)
- Endliche Automaten (1)
- Euro (1)
- Euro-Financial-Crisis (1)
- Euro-Finanzkrise (1)
- FORTH (1)
- Finanzmärkte (1)
- Focus (1)
- Focus-sensitivity (1)
- Fokus (1)
- Fokussensitivität (1)
- Fourier Integraloperatoren (1)
- Givenness (1)
- Herodotos (1)
- History of pattern occurrences (1)
- ICT (1)
- ISSEP (1)
- In-Memory technology (1)
- Informatics (1)
- Informatics Education (1)
- Informatik (1)
- Informatikdidaktik (1)
- Informationsstruktur (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)
- Markedness (1)
- Markov processes (1)
- Markovprozesse (1)
- Massenverlust (1)
- Micro Degree (1)
- Middleware (1)
- NatRiskChange (1)
- Natural Hazards (1)
- Naturgefahren (1)
- Older-than-keyage children (1)
- Online-Lehre (1)
- Onlinekurs (1)
- Onlinekurs-Produktion (1)
- PF Interface (1)
- Papert (1)
- Physical Fitness (1)
- Physical fitness (1)
- Primary school children (1)
- Prolog (1)
- Prosody (1)
- Russian Scrambling (1)
- Russian Sign Language (1)
- Sars-CoV-2 (1)
- Schlüsselkompetenzen (1)
- Sign Language of the Netherlands (1)
- Sprachverarbeitung (1)
- Sternwinde (1)
- Strahlungstransport (1)
- Systemsoftware (1)
- Topic (1)
- Topik (1)
- VIL (1)
- Verwaltung von Rechenzentren (1)
- Verzweigungsprozesse (1)
- Virtuelle Maschinen (1)
- XM (1)
- artifical intelligence (1)
- aspect adapter (1)
- aspect oriented programming (1)
- aspect-oriented (1)
- aspects (1)
- aspectualization (1)
- automata theory (1)
- bank regulation (1)
- big data services (1)
- bottom–up (1)
- bracketing paradox (1)
- branching processes (1)
- bug tracking (1)
- built–in predicates (1)
- cognitive activation (1)
- complexity (1)
- computational linguistics (1)
- concurrency (1)
- consistency (1)
- contrast (1)
- crosscutting wrappers (1)
- data center management (1)
- deductive databases (1)
- degree of givenness (1)
- discourse referent (1)
- distributed systems (1)
- doubling (1)
- dynamic reconfiguration (1)
- education (1)
- experience (1)
- extensions of logic programs (1)
- financial markets (1)
- finite-state automata (1)
- floods (1)
- focus (1)
- focus particle (1)
- foregrounding (1)
- forward / backward chaining (1)
- function symbols (1)
- generalized logic programs (1)
- geomorphology (1)
- global change (1)
- higher education (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- information status (1)
- integral Fourier operators (1)
- invasive aspects (1)
- knowledge representation (1)
- long-time behaviour (1)
- machine learning (1)
- macromolecular decay (1)
- makromolekularer Zerfall (1)
- mass loss (1)
- massereiche Sterne (1)
- massive stars (1)
- micro degree (1)
- micro- and nanotechnologies (1)
- micro-credential (1)
- microcredential (1)
- microlocal analysis (1)
- microlokale Analysis (1)
- mountainous rivers (1)
- multi-valued logic (1)
- multicore architectures (1)
- natural hazards (1)
- natural language processing (1)
- nonlinear dynamics (1)
- online teaching (1)
- operating systems (1)
- paraconsistency (1)
- perception (1)
- pitch accent (1)
- primary school children (1)
- program analysis (1)
- programming language (1)
- prominence (1)
- prosody (1)
- pseudodifferential operators (1)
- pseudodifferentiale Operatoren (1)
- radiative transfer (1)
- reflection (1)
- research projects (1)
- reusable aspects (1)
- security policies (1)
- self-organization (1)
- semantics (1)
- service-oriented (1)
- stellar winds (1)
- stratification (1)
- systems software (1)
- top– down (1)
- tuple spaces (1)
- views (1)
- virtual machines (1)
Institute
- Extern (122)
- Institut für Künste und Medien (20)
- Institut für Physik und Astronomie (11)
- Interdisziplinäres Zentrum für Musterdynamik und Angewandte Fernerkundung (11)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (9)
- Institut für Geowissenschaften (9)
- Sonderforschungsbereich 632 - Informationsstruktur (7)
- Institut für Informatik und Computational Science (5)
- Department Linguistik (4)
- Hasso-Plattner-Institut für Digital Engineering GmbH (3)
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.
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.
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].
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).