Filtern
Erscheinungsjahr
Dokumenttyp
- Dissertation (245)
- Masterarbeit (90)
- Ausgabe (Heft) zu einer Zeitschrift (84)
- Bachelorarbeit (45)
- Diplomarbeit (27)
- Wissenschaftlicher Artikel (13)
- Studienarbeit (11)
- Konferenzveröffentlichung (10)
- Habilitation (4)
- Sonstiges (2)
- Buch (Monographie) (1)
- Preprint (1)
Sprache
- Englisch (533) (entfernen)
Schlagworte
- Pestizid (8)
- Pflanzenschutzmittel (6)
- Software Engineering (6)
- Internet of Things (5)
- Biodiversität (4)
- Bluetooth (4)
- Bodenchemie (4)
- Landwirtschaft (4)
- Semantic Web (4)
- ecotoxicology (4)
- ontology (4)
- risk assessment (4)
- soil organic matter (4)
- API (3)
- Crayfish plague (3)
- E-KRHyper (3)
- Enterprise 2.0 (3)
- Gamification (3)
- Insektizid (3)
- Knowledge Compilation (3)
- Maschinelles Lernen (3)
- Nanopartikel (3)
- OWL (3)
- OWL <Informatik> (3)
- Ontologie <Wissensverarbeitung> (3)
- Ontology (3)
- Pesticides (3)
- Risikoanalyse (3)
- Systematik (3)
- UML (3)
- Umweltpsychologie (3)
- University (3)
- agriculture (3)
- classification (3)
- computer clusters (3)
- model-based (3)
- pesticide (3)
- pesticides (3)
- virtual reality (3)
- Abduktion <Logik> (2)
- Abwasserreinigung (2)
- Agriculture (2)
- Akzeptanz (2)
- Annotation (2)
- Anpassung (2)
- Araneae (2)
- Beschaffung (2)
- Bestäubung (2)
- Bildverarbeitung (2)
- Biodiversity (2)
- Campus Information System (2)
- Cloud Computing (2)
- Computer Graphics (2)
- Computergraphik (2)
- Computersimulation (2)
- Data Mining (2)
- Diffusion (2)
- Ecotoxicology (2)
- Emissionen (2)
- Equality (2)
- Feldsaum (2)
- Formale Ontologie (2)
- Freshwater crayfish (2)
- GIS (2)
- Genetische Variabilität (2)
- Graphik (2)
- Grounded Theory (2)
- Habitat Fragmentation (2)
- Hydrodynamik (2)
- Kakamega Forest (2)
- Klimawandel (2)
- Kognitive Linguistik (2)
- Line Space (2)
- Linked Open Data (2)
- Logistik (2)
- Metamodel (2)
- Modellgetriebene Entwicklung (2)
- Nanoparticles (2)
- Netzwerk (2)
- Neuronales Netz (2)
- OpenGL (2)
- Petri Nets (2)
- Petri-Netze (2)
- Propagation (2)
- RDF (2)
- Risikobewertung (2)
- Risikomanagement (2)
- Schlussfolgern (2)
- Sediment (2)
- Serviceorientierte Architektur (2)
- Simulation (2)
- Softwaretest (2)
- Sozialpsychologie (2)
- Sustainability (2)
- Taxonomie (2)
- Taxonomy (2)
- Theorem Proving (2)
- Umwelttoxikologie (2)
- Umweltwissenschaften (2)
- Usability (2)
- Volumen-Rendering (2)
- Wastewater treatment plants (2)
- Wikipedia (2)
- Wirbellose (2)
- XML (2)
- aquatic ecotoxicology (2)
- aquatic macrophytes (2)
- artificial neural networks (2)
- constraint logic programming (2)
- decomposition (2)
- description logic (2)
- diffusion (2)
- ecotoxicity (2)
- emic-etic (2)
- eye tracking (2)
- framework (2)
- freshwater organisms (2)
- governance (2)
- hybrid automata (2)
- invertebrates (2)
- micropollutants (2)
- mobile phone (2)
- modelling (2)
- monitoring (2)
- mosquito control (2)
- multi-agent systems (2)
- multimedia metadata (2)
- optimal control (2)
- parallel algorithms (2)
- probability propagation nets (2)
- risk (2)
- semantics (2)
- simulation (2)
- social media (2)
- social simulation (2)
- soil water repellency (2)
- sorption (2)
- streams (2)
- tracking (2)
- traits (2)
- transformation (2)
- visualization (2)
- wastewater treatment (2)
- Ökosystem (2)
- Ökosystemdienstleistung (2)
- Ökotoxikologie (2)
- 101companies (1)
- 1H-NMR Relaxometry (1)
- 2019 European Parliament Election (1)
- 8C model (1)
- ABox (1)
- API Analysis (1)
- API Migratiom (1)
- API analysis (1)
- API-Analyse (1)
- AUTOSAR (1)
- Abbildung <Mathematik> (1)
- Abdrift <Pflanzenbau> (1)
- Absolutismus (1)
- Abwasser (1)
- Abwasserbehandlung (1)
- Acceleration Structures (1)
- Action Recognition (1)
- Action Segmentation (1)
- Ad-hoc-Netz (1)
- Adaptation (1)
- Adaptive Services Grid (ASG) (1)
- Adobe Flex (1)
- Africa (1)
- Afrika (1)
- Agenten (1)
- Agentenorientiertes Software Engineering (1)
- Agents (1)
- Agrarlandschaft (1)
- Agrochemikalien (1)
- Aktionsart (1)
- Aktiver Wortschatz (1)
- Algolib (1)
- Algorithm Engineering (1)
- Algorithmische Geometrie (1)
- Amazon Mechanical Turks (1)
- Amazonia (1)
- Amazonien (1)
- Amphibia (1)
- Analysis of social platform (1)
- Android <Systemplattform> (1)
- Anforderung (1)
- Antagonistic interactions (1)
- Aphanomyces astaci (1)
- Aphid predator (1)
- Aquatic Ecotoxicology (1)
- Aquatic Guidance Document (1)
- Aquatic ecology (1)
- Aquatische Makrophyten (1)
- Aquatisches Ökosystem (1)
- Architektur <Informatik> (1)
- Archivierung (1)
- Articles for Deletion (1)
- Artificial Intelligence (1)
- Artificial Neural Networks (1)
- Arzneimittel (1)
- Arzneistoffe (1)
- Aspekt <Linguistik> (1)
- Association Rules (1)
- Astacus astacus (1)
- Auchenorrhyncha (1)
- Auditing (1)
- Augenbewegung (1)
- Augmented Reality (1)
- Ausbreitung (1)
- Auslese (1)
- Auswahl (1)
- Automated Theorem Proving (1)
- Automated Theorem Proving Systems (1)
- Automatische Klassifikation (1)
- Automatisches Beweisverfahren (1)
- Automotive Systems (1)
- Autoritarismus (1)
- Avatar (1)
- B2B Integration (1)
- BPM (1)
- BPMN (1)
- BPMS (1)
- Bach (1)
- Barbatula barbatula (1)
- Basic psychological needs (1)
- Bayes Procedures (1)
- Bayes-Netz (1)
- Bayesian Networks (1)
- Beaconless (1)
- Bebauungsdichte (1)
- Bedarfsanalyse (1)
- Bedarfsforschung (1)
- Bedrohte Tiere (1)
- Bees (1)
- Befahrbarkeit (1)
- Belebtschlamm (1)
- Belief change, concept contraction, EL (1)
- Benetzung (1)
- Benutzerverhalten (1)
- Beruflicher Kontakt (1)
- Beschichtung (1)
- Beschreibungslogik (1)
- Bestäuber (1)
- Beta-Blocker (1)
- Beta-Diversität (1)
- Bewertungskriterien (1)
- Bienen <Familie> (1)
- Big Five (1)
- Bildanalyse (1)
- Bildsegmentierung (1)
- Bilingualer Unterricht (1)
- Binnengewässer (1)
- Bioassay (1)
- Biohydrogel (1)
- Biometric Authentication (1)
- Biopolymere (1)
- Biotransformation (1)
- Biozide (1)
- Bipartiter Graph (1)
- Blickbewegung (1)
- Blickpunktabhängig (1)
- Blog marketing (1)
- Boden (1)
- Bodenphysik (1)
- Bodenwasser (1)
- Bodenökologie (1)
- Bombina variegata (1)
- Border Gateway Protocol (1)
- Border Gateway Protocol 4 (1)
- Breeding tree selection (1)
- Budongo Forest (1)
- Building Performance Evaluation (1)
- Business Collaboration (1)
- Business English (1)
- Business Process Management Recommender Systems Survey (1)
- Business Process Modeling (1)
- Business Rule Bases, Inconsistency Measurement (1)
- Butterflies (1)
- Bärlappe (1)
- Bürgerbeiteiligung (1)
- C++ (1)
- CLIL (1)
- COVID-19 (1)
- CSCW (1)
- Calcium (1)
- Calculus (1)
- Carry-over effects (1)
- Case Study Analysis (1)
- Cashew-Sektor (1)
- Casual Games (1)
- Cations (1)
- Challenges (1)
- Chaos (1)
- Cheilolejeunea ; continental tropical Africa ; rainforest (1)
- Chemische Abwasserreinigung (1)
- Chironomus riparius (1)
- Chromatographie (1)
- Climate (1)
- Climate anxiety (1)
- Climate change (1)
- Climate denial (1)
- Cloud Point Extraction (1)
- Clustering coefficient (1)
- CodeBlue (1)
- Cognitive functions (1)
- Cold Chain (1)
- Coleoptera (1)
- Collaboration (1)
- Coloskopie (1)
- Communication Networks (1)
- Computational Toxicology (1)
- Computational biology (1)
- Compute Shader (1)
- Computer Security (1)
- Computer Supported Cooperative Work (1)
- Computer Vision (1)
- Computer assisted communication (1)
- Computeranimation (1)
- Computersicherheit (1)
- Computerspiel (1)
- Computertomografie (1)
- Computervisualistik (1)
- Conceptual Metaphor Theory (1)
- Conference (1)
- Connected Vehicles (1)
- Conservation (1)
- Consumer behaviour (1)
- Consumption renunciation (1)
- Container Entity Modell (1)
- Content Analysis (1)
- Content Management (1)
- Content and Language Integrated Learning (1)
- Content and Language Integrated Learning (CLIL) (1)
- Context-aware processes (1)
- Core Ontology on Multimedia (1)
- Core Ontology on Multimedia (COMM) (1)
- Core Self-Evaluations (1)
- Corvus frugilegus (1)
- Cottus gobio (1)
- Crayfish (1)
- Creativity (1)
- Criteria Matrix (1)
- Crowdsourcing (1)
- Curriculum (1)
- DMN (1)
- DPLL procedure (1)
- DRIFTS (1)
- DTI (1)
- Daphnia (1)
- Daphnia longispina (1)
- Daphnia longispina complex (1)
- Daphnia longispina-Komplex (1)
- Darmpolyp (1)
- Data compression (1)
- Data manipulation (1)
- Data protection (1)
- Datenaustausch (1)
- Datenkompression (1)
- Datenschutz (1)
- Decision-support (1)
- Decodierung (1)
- Deduktion (1)
- Deep Metric Learning (1)
- Defi-Now! (1)
- Defibrillator (1)
- Delta (1)
- Demographie (1)
- Demography (1)
- Densimetric Measurement (1)
- Depth Profile (1)
- Description Logic (1)
- Description Logics (1)
- Design Pattern (1)
- Design Science Research (1)
- Destiny (1)
- Developer profiling (1)
- Diabetes (1)
- Diabetische Retinopathie (1)
- Diagnose (1)
- Diagnosekriterien (1)
- Diagnoseunterstützung (1)
- Diagnosis (1)
- Diagnosis assistance (1)
- Dichtemessung (1)
- Differentia Scanning Calorimetry (1)
- Differential scanning calorimetry (1)
- Diffuse Quellen (1)
- Diffusionsbildgebung (1)
- Digitale Bilder (1)
- Digitalisation (1)
- Digitalisierung (1)
- Dijkstras Algorithmus (1)
- Dimension 3 (1)
- Dimensionality Reduction (1)
- Dimensionsreduzierung (1)
- Discussion Forums (1)
- Diskrete Simulation (1)
- Distance Vector Routing (1)
- Distanz Vektor Routing (1)
- Distributed Algorithm (1)
- Distributed Environments (1)
- Distributed process execution (1)
- Documents (1)
- Dokumentation (1)
- Dracaena (1)
- Drahtloses Sensorsystem (1)
- Drahtloses lokales Netz (1)
- Drahtloses vermachtes Netz (1)
- Drainagegräben (1)
- Dredging (1)
- Dreidimensionale Bildverarbeitung (1)
- Driver Assistance Systems (1)
- Dynamische Analyse (1)
- Düngemittel (1)
- E-Business (1)
- E-Hyper Tableau (1)
- E-KRHyper theorem prover (1)
- E-Participation (1)
- E-Partizipation (1)
- E-government (1)
- E-participation (1)
- E-services (1)
- ECMS 2012 (1)
- ECSA (1)
- EU (1)
- East Africa (1)
- Ebener Graph (1)
- Ebullition (1)
- Eclipse <Programmierumgebung> (1)
- Economic potential (1)
- Ecosystem service (1)
- Ecotoxicity (1)
- Eddy-covariance (1)
- Edelkrebs (1)
- Effectiveness (1)
- Einkauf (1)
- Einstellung (1)
- Einstellungen gegenüber bestimmten Filmeigenschaften (1)
- Ekel (1)
- Elastic net (1)
- Elektronenmikroskopie (1)
- Elevation gradient (1)
- Emergenz (1)
- Emission (1)
- Empfehlungssystem (1)
- Empirical Research (1)
- Empirical Studies (1)
- Employee Behavior (1)
- Emulation (1)
- Endangerment (1)
- Endokrine Regulation (1)
- Energiefluss (1)
- Energy fluxes (1)
- Englisch (1)
- Enhanced Reality (1)
- Enhanced Representation (1)
- Enterprise Architecture Framework (1)
- Enterprise Information Management (1)
- Enterprise Systems (1)
- Entity Component System Architecture (1)
- Entrepreneurship (1)
- Entrepreneurship Education (1)
- Entrepreneurship Experience and Extra-curricular Activity (1)
- Entscheidungsunterstützung (1)
- Entwickler Profil (1)
- Entwurfsmuster (1)
- Environmental Risk Assessment (1)
- Environmental factors (1)
- Environmental organic chemistry (1)
- Environmental psychology (1)
- Environmental samples (1)
- Epiphyten (1)
- Ergonomic Principles (1)
- Erste Hilfe (1)
- Erzieher (1)
- Erzieherin (1)
- European Conference on Modelling and Simulation (1)
- Europäischer Schadensbericht (1)
- Evacuation modeling (1)
- Evaluierung (1)
- Evidence-based Psychotherapy (1)
- Eye Tracking (1)
- Eyetracking (1)
- FTIR (1)
- Fabric Simulation (1)
- Facebook Application (1)
- Facet Theory (1)
- Fahrverhalten (1)
- Fahrzeug (1)
- Farbkalibrierung (1)
- Farnpflanzen (1)
- Fast-slow continuum (1)
- Fault Trees (1)
- Faxonius limosus (1)
- Feature Extraction (1)
- Feature Modeling (1)
- Fehlerbaum (1)
- Felis catus (1)
- Felis silvestris domestica (1)
- Ferns (1)
- Feuchtgebiet (1)
- Fiber Tracking (1)
- Filmbewertung (1)
- Fingerprint Recognition (1)
- First aid (1)
- Fischgewebe (1)
- Five Factor model (1)
- Fledermäuse (1)
- Flesch-Reading-Ease Index (1)
- FlexViz (1)
- Fließgewässer (1)
- Flow decomposition (1)
- Fluid-Struktur Wechselwirkung (1)
- Fluss (1)
- Foliicolous lichens (1)
- Food (1)
- Food Transportation System (1)
- Foodstuff (1)
- Formal Methods (1)
- Formale Methoden (1)
- Fotoauswahl (1)
- Fractionation (1)
- Fragebeantwortung (1)
- Freeze Coring (1)
- Fremdsprachendidaktik (1)
- Fremdsprachenunterricht (1)
- Function Words (1)
- Fungicides (1)
- Fungizid (1)
- Fuzzy-Logik (1)
- Fächerkanon (1)
- GDPR (1)
- GDS (1)
- GPGPU (1)
- GPS (1)
- GPU (1)
- GRAF1 (1)
- GReQL2 (1)
- GSM-Standard (1)
- Galerucinae (1)
- Game-based Learning (1)
- Gammarus fossarum (1)
- Gangart (1)
- Ganzzahlige Optimierung (1)
- Gas storage capacity (1)
- Gasblasen (1)
- GazeTheWeb (1)
- Gefrierkernverfahren (1)
- Gefrierpunktserniedrigung (1)
- Gefährdung (1)
- Gefäßanalyse (1)
- Gefühl (1)
- Gehirn (1)
- Gel effect (1)
- Gelbbauchunke (1)
- Gelände (1)
- Gemischt-ganzzahlige Optimierung (1)
- Generative Model (1)
- Genetic diversity (1)
- Genetics (1)
- Genetik (1)
- Genetischer Fingerabdruck (1)
- Geocaching (1)
- Geographic routing (1)
- Geoinformationssystem (1)
- Geometric spanner (1)
- Geowissenschaften (1)
- Gerichteter Graph (1)
- Germany (1)
- Geschlecht (1)
- Gewässer (1)
- Gewässerqualität (1)
- Gewässerökologie (1)
- Glasumwandlung (1)
- Glasübergang (1)
- Globale Wertschöpfungsketten (1)
- Grafikkarte (1)
- Grafikprogrammierung (1)
- Grails (1)
- Grails 1.2 (1)
- Graph (1)
- Graph Technology (1)
- Graph theory (1)
- Graphentheorie (1)
- Graphicsprogramming (1)
- Graphik-Hardware (1)
- Graphische Benutzeroberfläche (1)
- Grayscale (1)
- Grundbedürfnis (1)
- Gruppenarbeit (1)
- Größenfraktionierung (1)
- Grünlandbewirtschaftung (1)
- Gut content analysis (1)
- Habitat loss (1)
- Habitat networks (1)
- Habitatfragmentierung (1)
- Habitatsverlust (1)
- Hand-based Gestures (1)
- Handsfree editing (1)
- Hard and Soft News (1)
- Haskell (1)
- Hauskatze (1)
- Health (1)
- Healthcare institution (1)
- Hedonic (1)
- Hedonisch (1)
- Heimarbeit (1)
- Herbizid (1)
- Herzrate (1)
- Hindernis (1)
- Horn Clauses (1)
- Human Disturbance (1)
- Human motion (1)
- Human resources management (1)
- Human-Computer Interaction (1)
- Humus (1)
- Hyaluronan (1)
- Hyaluronsäure (1)
- Hydratation (1)
- Hydration (1)
- Hydrodynamics (1)
- Hydrogel (1)
- Hydrophobie (1)
- Hyper Tableau Calculus (1)
- Hypertableaux (1)
- I-messages (1)
- IASON (1)
- IAT (1)
- IBM Bluemix (1)
- ICM (1)
- ICP-MS (1)
- IPT (1)
- IT Guru (1)
- IT Outsourcing (1)
- IT Security (1)
- IT Services (1)
- IT-Security (1)
- IceCube (1)
- Image (1)
- Image Processing (1)
- Image Understanding (1)
- Imitation Learning (1)
- Implicit Association Test (1)
- Incremental Algorithms (1)
- Industrial-CT (1)
- Industriepolitik (1)
- Informatik (1)
- Information Asset Register (1)
- Information Audit (1)
- Information Capturing Methods (1)
- Information Centric Networking (1)
- Information Retrieval (1)
- Information system (1)
- Inkompressible Fluide (1)
- Innerbetriebliche Kooperation (1)
- Inpainting-Verfahren (1)
- Insecticide (1)
- Instructed Second Language Acquisition (1)
- Insurance (1)
- Integrated Model (1)
- Intelligent Information Network (1)
- Interactive Video Retrieval (1)
- Interaktion (1)
- Interaktionseffekt (1)
- Intergruppenprozesse (1)
- International organization (1)
- Internationale Organisationen (1)
- Internet (1)
- Internet Voting (1)
- Interoperability (1)
- Interoperabilität (1)
- Interparticulate hydrogel swelling (1)
- IoT (1)
- JGraLab (1)
- JML (1)
- Java (1)
- Java <Programmiersprache> (1)
- Java Modeling Language (1)
- Java. Programmiersprache (1)
- Journalismusforschung (1)
- Justification (1)
- KRHyper (1)
- Kalkmagerrasen (1)
- Kanalcodierung (1)
- Kantenbewerteter Graph (1)
- Kantenverfolgung (1)
- Katastrophentheorie (1)
- Kation-Brücken (1)
- Kationen (1)
- Katze (1)
- Kenya (1)
- Klassifikation (1)
- Klima (1)
- Knowledge (1)
- Knowledge Engineering (1)
- Knowledge Graphs (1)
- Knowledge Sharing (1)
- Kognitive Entwicklung (1)
- Kohlenstoffkreislauf (1)
- Kohlenstoffschichten (1)
- Kollaboration (1)
- Kollektivismus (1)
- Kolloid (1)
- Kolloide (1)
- Kolloids (1)
- Komplexität / Algorithmus (1)
- Konjugation (1)
- Konkurrenz (1)
- Konsistenz. Psychologie (1)
- Konsumentenverhalten (1)
- Konsumverzicht (1)
- Kontaktwinkel (1)
- Konturfindung (1)
- Konzept (1)
- Krebspest (1)
- Kriterium (1)
- Kryo (1)
- Körperliche Aktivität (1)
- Künstliche Intelligenz (1)
- Künstliche Neuronale Netze (1)
- L2 writers (1)
- Lake Kinneret (1)
- Lake Naivasha (1)
- Lake Wamala (1)
- Lakes (1)
- Landscape ecology (1)
- Landschaftskartierung (1)
- Landschaftsökologie (1)
- Langlebigkeit (1)
- Laser (1)
- Lasso (1)
- Last-year students (1)
- Latent Negative (1)
- Laufen (1)
- Lebenslanges Lernen (1)
- Lebensmittel (1)
- Lebensstandard (1)
- Lehrerbildung (1)
- Lehrerkompetenzen (1)
- Leichte Sprache (1)
- Leugnung (1)
- Life history (1)
- Limnologie (1)
- Limnology (1)
- Limology (1)
- Linespace (1)
- Linguistic Requirements (1)
- Link Prediction (1)
- Linked Data Modeling (1)
- Loans (1)
- Local algorithm (1)
- Logik (1)
- Logischer Schluss (1)
- Lokalisation (1)
- Longevity (1)
- Lurche (1)
- Lycophytes (1)
- MIA (1)
- MPEG-7 (1)
- MSR (1)
- Machine-Learning (1)
- Machinelles lernen (1)
- Magnetis (1)
- Maifisch (1)
- Makrophyten (1)
- MapReduce (1)
- Mapping <Mathematics> (1)
- Maschinelles Sehen (1)
- Mass-Spektrometrie (1)
- Matching (1)
- Material Point Method (1)
- Mathematical optimisation (1)
- Mathematik (1)
- Maßtheorie (1)
- MeVisLab (1)
- Measure-theory (1)
- Mediator framework (1)
- Medical Image Analysis (1)
- Medizinische Bildanalyse (1)
- Medizinische Bildverarbeitung (1)
- Meiofauna (1)
- Mensch-Maschine-Interaktion (1)
- Merkmalsdetektion (1)
- Merkmalsextrahierung (1)
- Mesofauna (1)
- Metalle/Matalloide (1)
- Metalloids (1)
- Metals (1)
- Metals/metalloids (1)
- Metapher (1)
- Metapopulation dynamics (1)
- Metapopulationsdynamiken (1)
- Methan (1)
- Methane emissions (1)
- Methode (1)
- Microfinance (1)
- Microfinance institutions (1)
- Microplastics (1)
- Micropollutants (1)
- Migration (1)
- Mikrofinanzierung (1)
- Mikroorganismus (1)
- Mikroplastik (1)
- Mikrosatelliten-DNA (1)
- Mikroverunreinigung (1)
- Minderung (1)
- Minimalschnitt (1)
- Mining (1)
- Mining Software Repositories (1)
- Mister X (1)
- Mitral Valve (1)
- Mitralklappe (1)
- Mixed integer programming (1)
- Mixed method (1)
- Mixed methods (1)
- Mixture Toxicity (1)
- Mobile Information Systems (1)
- Model-Driven Engineering (1)
- Modellfahrzeug (1)
- Monitoring (1)
- Monolepta (1)
- Morphologische Operatoren (1)
- Mosambik (1)
- Motion Capturing (1)
- Motivation (1)
- Mouse Gestures (1)
- Movie evaluation criteria (1)
- Mucilage (1)
- Multi-Agenten-Systeme (1)
- Multi-robot System (1)
- Multiagent System (1)
- Multiagentensysteme (1)
- Multidimensional (1)
- Multimedia Metadata Ontology (1)
- Multimodal Action Recognition (1)
- Multimodal Medical Image Analysis Cochlea Spine Non-rigid Registration Segmentation ITK VTK 3D Slicer CT MRI CBCT (1)
- Multiple Object Tracking (1)
- Multivariable Statistik (1)
- N-Body Simulation (1)
- N-Körper Simulation (1)
- NMR relaxometry (1)
- NMR-Spektroskopie (1)
- Nachbarschaftsgraph (1)
- Nachtfalter (1)
- Nachtschmetterlinge (1)
- Named Function Networking (1)
- Nanoröhren (1)
- Nassbaggerung (1)
- Nationalismus (1)
- Native language identification (1)
- Natural Feature Tracking (1)
- Natural Language Processing (1)
- Naturschutzgenetik (1)
- Naturschutzmanagement (1)
- Natürliche Schädlingskontrolle (1)
- Natürliches organisches Material (1)
- Navier-Stokes Gleichungen (1)
- Navier-Stokes equations (1)
- Near-surface turbulence (1)
- Network robustness (1)
- Networks (1)
- Netzwerk Routing (1)
- Netzwerkanalyse (1)
- Netzwerkrobustheit (1)
- Netzwerktopologie (1)
- Neuroactive chemicals (1)
- Neutino (1)
- Nicht-Ziel-Pflanzen (1)
- Non-freezing water (1)
- Nuclear Magnetic R (1)
- Nutzererleben (1)
- Nyungwe National Park (1)
- Nährstoffverfügbarkeit (1)
- Nützlinge (1)
- OCB (1)
- OCL <Programmiersprache> (1)
- ODRL (1)
- ONDEX (1)
- OPD-SHRM (1)
- OPNET (1)
- OVTK (1)
- Oberflächen-Runoff (1)
- Oberflächeneigenschaft (1)
- Oberflächenveredelung (1)
- Object Recognition (1)
- Objektentfernung (1)
- Oligomer (1)
- One-Shot Action Recognition (1)
- Online Community (1)
- Online grocery shopping (1)
- Online-Lebensmittelhandel (1)
- Ontologie. Wissensverarbeitung (1)
- Ontology API model (1)
- Ontology alignment (1)
- Open Content (1)
- Open Source (1)
- OpenGL Shading Language (1)
- OpenVDB (1)
- Optimierung (1)
- Optimization (1)
- Oracle Generation (1)
- Oraklegenerierung (1)
- Organische Bodensubstanz (1)
- Organizational Change (1)
- Oriental region (1)
- Ostafrika (1)
- Osteocephalus (1)
- Ozon (1)
- Ozonisierung (1)
- PEPPOL (1)
- POIs (1)
- Pan European Public Procurement OnLine (1)
- Parteienkommunikation (1)
- Passiver Wortschatz (1)
- Path Tracing (1)
- Pattern Recognition (1)
- Perfect (1)
- Perfekt (1)
- Personalised Information Systems (1)
- Personality (1)
- Persönlichkeit (1)
- Pestizide (1)
- Petri net (1)
- Petri-Netz (1)
- Petrinetz (1)
- Pfadnachverfolgung (1)
- Pfadplanung (1)
- Pfadverfolgung (1)
- Pflanzen (1)
- Pharmaceuticals (1)
- Pharmakokinetik (1)
- Phosphorsäureester (1)
- Photographie (1)
- Phylogeographie (1)
- Physik (1)
- Physiksimulation (1)
- Placement Strategies (1)
- Planar graphs (1)
- Plant Communities (1)
- Plant protection products (1)
- Plastic mulching (1)
- Plasticization; Glass transition (1)
- Plastifizieren (1)
- Plastifizierung (1)
- Plug in (1)
- Pointing Devices (1)
- Policy Language (1)
- Political Communication (1)
- Politik (1)
- Politische Ökonomie (1)
- Pollinators (1)
- Pollution (1)
- Polysaccharide (1)
- Polysaccharides (1)
- Populationsgenetik (1)
- Pore Water (1)
- Pragmatic (1)
- Pragmatisch (1)
- Predictive Model (1)
- Present Perfect (1)
- Pro-environmental behaviour change (1)
- Proactive Caching (1)
- Probabilistic finite automata (1)
- Probability (1)
- Probability propagation nets (1)
- Problematic smartphone use (1)
- Procambarus virginalis (1)
- Proceedings (1)
- Einbringen (1)
- Process Quality (1)
- Process tracing (1)
- Product choice (1)
- Produktbewertung (1)
- Produktentscheidung (1)
- Produktwahl (1)
- Programmierung (1)
- Prosoziales Verhalten (1)
- Proteinstrukturanalyse (1)
- Provenance (1)
- Prozedurale Synthese (1)
- Prozessqualität (1)
- Prädikatenlogik (1)
- Präposition (1)
- Präsentisches Perfekt (1)
- Pteris (1)
- Py-GC/MS (1)
- Pyrethroide (1)
- Pädagogik (1)
- Quality assessment system (1)
- Quasi unit disk graph (1)
- Query Expansion (1)
- RDF Graphs (1)
- RDF modeling (1)
- RNA sequencing (1)
- Railway Research (1)
- Railway Research Topics (1)
- Railway Safety (1)
- Railway Safety Research (1)
- Random Finite Sets (1)
- Random Forest (1)
- Raupe (1)
- Raytracing (1)
- ReDSeeDS-Project (1)
- Reactive algorithm (1)
- Real-Life Game (1)
- Real-Life Spiel (1)
- Real-Time (1)
- Rechtfertigung (1)
- Rechtfertigung <Philosophie> (1)
- Recommender System (1)
- Recommender Systems, Business Process Modeling, Literature Review (1)
- Recovery (1)
- Reddit (1)
- Reengineering (1)
- Reference Model (1)
- Referenzrahmen (1)
- Reflections (1)
- Reflektionen (1)
- Regenwald (1)
- Regenwald ; Afrika ; Cheilolejeunea (1)
- Regionenlabeling (1)
- Registratur (1)
- Rehabilitation (1)
- Relevance Feedback (1)
- Religiosität (1)
- Rendering (1)
- Renewable energy (1)
- Reproduktion (1)
- Reservoir Sedimentation (1)
- Reservoirs (1)
- Resource Description Framework (RDF) (1)
- Resource Governance (1)
- Retina Befundbilder (1)
- Retina Fundus Bilder (1)
- Retina Fundus Images (1)
- Reverse Engineering (1)
- Revision (1)
- Rezeptionsforschung (1)
- Rhein (1)
- Rheinland-Pfalz (1)
- Rheometry (1)
- Rhineland-Palatinate (1)
- Rhizosphere (1)
- Right-wing ideology (1)
- Risikoabschätzung (1)
- Risikominimierung (1)
- Risk assessment (1)
- RoboCup (1)
- Robocup 2008 (1)
- Roboter (1)
- Robotik (1)
- Robust Principal Component Analysis (1)
- Rook (1)
- Rothe's method (1)
- Rothe-Methode (1)
- Routing (1)
- Routing Information Protocol (1)
- Routing Information Protocol (RIP) (1)
- Routing Information Protokoll (1)
- Routing Loops (1)
- Routing with Metric based Topology Investigation (RMTI) (1)
- Ruscaceae (1)
- Russia (1)
- Räuber (1)
- Rückverfolgbarkeit (1)
- SOA (1)
- SPARQL (1)
- SPEAR (1)
- STOF Model (1)
- Salinisation (1)
- Sand (1)
- Satelliten-DNS (1)
- Sattelkraftfahrzeug (1)
- Sattelzug (1)
- Saving (1)
- Saving and credit cooperatives (SACCOs) (1)
- Schadstoffbelastung (1)
- Schadstoffkonzentration (1)
- Schema Information (1)
- Schizophrenie (1)
- Schnee (1)
- Schreiben (1)
- Schreibtechnik (1)
- Schulden (1)
- Schwache Lösungen (1)
- Schwebstoffe (1)
- Schwermetalle (1)
- Schädlingskontrolle (1)
- Search engine (1)
- Security (1)
- Security Requirements (1)
- Security Routing (1)
- Sediment Water Interface (1)
- Sediment-Water-Interfaces (1)
- See (1)
- Segmentation (1)
- Segmentierung (1)
- Selbstbeobachtung (1)
- Selbstbeschädigung (1)
- Selbsteinschaetzung (1)
- Selbstorganisation (1)
- Selbstregulation (1)
- Self-determination theory (1)
- Semantic Data (1)
- Semantic Web Data (1)
- Semantics (1)
- Sensing as a Service (1)
- Serious Games (1)
- Service identification (1)
- Service-Identifizierung (1)
- Service-oriented Architectures (SOA) (1)
- Service-orientierte Architektur (1)
- Sexuelle Orientierung (1)
- Shader (1)
- Sicherheit Routing (1)
- Simulationswerkzeug (1)
- Size-fractionation (1)
- Skalenkonstruktion (1)
- Skalenvalidierung (1)
- Skalierungsmodelle (1)
- Smartphone (1)
- Smartphone Applikation (1)
- Smartphone addiction (1)
- Social Cognitive Career Theory (1)
- Social Entrepreneurship in Vietnam (1)
- Social Games (1)
- Social Networking Platforms (1)
- Social identity theory (1)
- Socio-ecological transformation (1)
- Socio-economic development (1)
- Software (1)
- Software Development (1)
- Software Language (1)
- Software Repositories (1)
- Software Technology (1)
- Software migration (1)
- Software techniques for object recognition (STOR) (1)
- Software-Migration (1)
- Softwarearchitektur (1)
- Softwareentwicklung (1)
- Softwareergonomie (1)
- Softwaretesting (1)
- Softwarewartung (1)
- Soil physics (1)
- Soil structural stability (1)
- Solutions (1)
- Sorption (1)
- Southern Amazonia (1)
- Sozial-ökologische Transformation (1)
- Soziale Identität (1)
- Soziale Wahrnehmung (1)
- Soziales Netzwerk (1)
- Soziales System (1)
- Sozialwissenschaftliche Simulation (1)
- Sparen (1)
- Speaker Recognition (1)
- Spear (1)
- Speciation (1)
- Species turnover (1)
- Specification (1)
- Specular (1)
- Spezifikation (1)
- Spiralcurriculum (1)
- Sprechweise (1)
- Standard of living (1)
- Statistical Shape Model (1)
- Staubewässerung (1)
- Staugeregelte Flüsse (1)
- Stausee (1)
- Stauseeverlandung (1)
- Stechmücke (1)
- Stechmücken-Kontrolle (1)
- Stereotyp (1)
- Stereotype Content Model (1)
- Steuerung (1)
- Stimme (1)
- Stimmungsveränderung (1)
- Stochastic Logic (1)
- Stoffsimulation (1)
- Strassenkreuzung (1)
- Straßenzustand (1)
- Streams (1)
- Structural Equation Modeling (1)
- Structural Validity (1)
- Strukturelle Validität (1)
- Suffering (1)
- Sufficiency (1)
- Sufficiency orientation (1)
- Suffizienz (1)
- Suffizienzorientierung (1)
- Support System (1)
- Surface Science (1)
- Survey Research (1)
- Systematics (1)
- Systembiologie (1)
- Säugetiere (1)
- Südafrika (1)
- Süßwasserhaushalt (1)
- TAP (1)
- TBox (1)
- TRECVID (1)
- Tableau Calculus (1)
- Technical potential (1)
- Technologischer Raum (1)
- Telearbeit (1)
- Tempus (1)
- Tenneco Automotive (1)
- Tense (1)
- Test Generation (1)
- Testen (1)
- Testgenerierung (1)
- Text (1)
- Text Analysis (1)
- Text Mining (1)
- Text classification (1)
- Texterkennung (1)
- Theorem prover (1)
- Theorembeweiser (1)
- Time (1)
- Titandioxid-Nanopartikeln (1)
- Tokens (1)
- Tool Evaluation (1)
- Torf (1)
- Toxicological characterization (1)
- Toxicology (1)
- Toxikologische Bewertung (1)
- Toxizität (1)
- Traceability (1)
- Tracing (1)
- Tracking-System (1)
- Transfer coefficients (1)
- Transferfunction (1)
- Transferfunktion (1)
- Transformation products (1)
- Transformationsprodukte (1)
- Transport (1)
- Tropfenform (1)
- Tropical rainforest (1)
- Tropischer Regenwald (1)
- Turbulence (1)
- Turbulenz (1)
- Type System (1)
- Type system (1)
- Types of smartphone use (1)
- Ubuntu (1)
- Ultraschall (1)
- Ultrasound (1)
- Umfrage (1)
- Umfrage in Koblenz (1)
- Umkehrosmose (1)
- Umwelt (1)
- Umweltchemikalie (1)
- Umweltproben (1)
- Umweltverhaltensänderung (1)
- Umweltverschmutzung (1)
- Unified Modeling Language (UML ) (1)
- Unit disk graph (1)
- Unlink Prediction (1)
- Unsicheres Schließen (1)
- Unterrichtsforschung (1)
- Unterrichtsqualität (1)
- Untersuchung (1)
- Unterwasser-Pipeline (1)
- Unterwasserfahrzeug (1)
- Unterwasserkabel (1)
- Unterwasserwelt (1)
- User experience (1)
- User-Needs Analysis (1)
- VCD (1)
- VIACOBI (1)
- Variabilität (1)
- Vascular analysis (1)
- Vegetation (1)
- Vegetation distribution (1)
- Verb (1)
- Verbal Aspect (1)
- Verbraucherverhalten (1)
- Vergangenheitstempus (1)
- Verhandlung (1)
- Verification (1)
- Verifikation (1)
- Vermeidung (1)
- Versalzung (1)
- Verteilter Algorithmus (1)
- Verteilung (1)
- Virtual Company Dossier (1)
- Virtual characters (1)
- Virtuelle Realität (1)
- Visibility Skeleton (1)
- Visual Stimuli Discovery (1)
- Visualisierung von Verbformen (1)
- Vocabulary (1)
- Vocabulary Mapping (1)
- Vocabulary Reuse (1)
- Vocabulary Trainer (1)
- Vokabellernen (1)
- Volume Hatching (1)
- Vorschulkind (1)
- Vulnerability (1)
- WCET (1)
- WEB (1)
- WLAN Fingerprinting (1)
- WSDL (1)
- WSN (1)
- Wachstumsregler (1)
- Wahlen zum europäischen Parlament (EU-Wahlen) (1)
- Wahrscheinlichkeit (1)
- Wahrscheinlichkeitsrechnung (1)
- Wanderfische (1)
- Wasser-Sediment-Grenzschichten (1)
- Wasserverschmutzung (1)
- Wastewater (1)
- Water Management (1)
- Water quality (1)
- Wavelet (1)
- Wearables (1)
- Web (1)
- Web Analytics (1)
- Web Analytics Framework (1)
- Web Mining (1)
- Web Ontology Language (OWL) (1)
- Web Science (1)
- Web Services (1)
- Web log (1)
- Web-application framework (1)
- Web-programming technologies (1)
- Weblog (1)
- Website (1)
- Wechselkursänderung (1)
- Weinbau (1)
- Weltkultur (1)
- Werbung (1)
- WiFi Fingerprinting (1)
- Wiederbesiedlung (1)
- Wild pollinator (1)
- Wildbienen (1)
- Wildtiere (1)
- Wireless sensor network (1)
- Wirtschaft (1)
- Wirtschaftsenglisch (1)
- Wissensbasis (1)
- Wissensmanagement (1)
- Word-of-Mouth (1)
- World Wide Web 2.0 (1)
- Wortschatz (1)
- Wrapping (1)
- X-ray computer tomography (XRT) (1)
- Yellow-bellied toad (1)
- You-messages (1)
- Zeit (1)
- Zikaden (1)
- Zoologie (1)
- Zoology (1)
- Zooplankton (1)
- Zuckmücken (1)
- Zusammenhängender Graph (1)
- absolutism (1)
- acceptance (1)
- acid leaching (1)
- activated sludge (1)
- adaptive GUI Design (1)
- adaptive resonance theory (1)
- adjoint functions (1)
- advanced wastewater treatment (1)
- age cohorts (1)
- agent-based simulation (1)
- agricultural intensification (1)
- agroecosystems (1)
- amorphous hydrogenated carbon layer (1)
- amphibians (1)
- analytics (1)
- anthropogenic disturbance (1)
- application programming interfaces (1)
- aquatic environment (1)
- aquatic invertebrates (1)
- archiving (1)
- artifcial neural networks (1)
- artiffficial neural networks (1)
- artififfcial neural networks (1)
- assessment model (1)
- attitudes towards specific movie features (1)
- authoritarianism (1)
- automated theorem prover (1)
- automatic behavioral cues (1)
- backpropagation (1)
- bait-lamina test (1)
- bats (1)
- bauxite (1)
- behavior change (1)
- behavioural ecology (1)
- belief in just world (1)
- beneficial insects (1)
- benefits (1)
- benthic oxygen fluxes (1)
- bias (1)
- biocide (1)
- biocides (1)
- biodegradation (1)
- biodiversity (1)
- biodiversity conservation (1)
- biofiltration (1)
- bioindicator (1)
- biological degradation (1)
- biologischer Abbau (1)
- biotransformation (1)
- bioturbation (1)
- blockchain (1)
- blood analysis (1)
- bribery (1)
- business intelligence (1)
- business process management (1)
- by-stander effect (1)
- carbon hybridisation (1)
- catastrophy theory (1)
- categorisation (1)
- cation bridges (1)
- cation-bridges (CaB) (1)
- chalk grassland (1)
- change (1)
- chaos (1)
- chemical force microscopy (1)
- chemical risk assessment (1)
- chironomids (1)
- clonal diversity (1)
- cognitive development (1)
- cognitive linguistic approach (1)
- collaboration (1)
- collaborative technologies (1)
- collectivism (1)
- colloid (1)
- colour calibration (1)
- competence- and control beliefs (1)
- competition (1)
- concept (1)
- concurrency (1)
- conflict detection (1)
- conservation genetics (1)
- construction materials (1)
- contact angle (1)
- contemporary detective fiction (1)
- contexts of use (1)
- cooperation (1)
- core ontologies (1)
- core self-evaluations (1)
- corrosion protection (1)
- corrosion resistance (1)
- covid-19 (1)
- criminal victimization (1)
- critical section (1)
- crop pollination (1)
- cross-cultural psychology (1)
- cross-linking (1)
- cryo-electron microscopy (1)
- cultural dimensions (1)
- cultural landscape (1)
- currency exchange rates (1)
- data (1)
- data mining (1)
- data protection (1)
- data sharing (1)
- data warehouse (1)
- decision support tool (1)
- deductive (1)
- delivery drone (1)
- dengue (1)
- density separation (1)
- design thinking (1)
- deutsche Hochschulen (1)
- diabetic retinopathy (1)
- digestion (1)
- digital transformation (1)
- digital workplace (1)
- directed acyclic graphs (1)
- disabled detective (1)
- disabled masculinity (1)
- disgust sensitivity (1)
- distinct object identifiers (1)
- distributed information systems (1)
- distributed ledger (1)
- distribution (1)
- disturbance (1)
- drone (1)
- dry inland waters (1)
- e-Commerce (1)
- e-learning (1)
- e-service (1)
- e-service quality (1)
- eGovernment (1)
- eSourcing (1)
- eXperience methodology (1)
- ebullition (1)
- ecological risk management (1)
- ecology (1)
- ecosystem functioning (1)
- ecosystem functions (1)
- ecosystem services (1)
- eddy correlation (1)
- edge linking (1)
- educational alliance (1)
- effect assessment (1)
- effect-directed analysis (1)
- emergence (1)
- emerging micropollutants (1)
- empirische Untersuchung (1)
- endocrine disrupting chemicals (1)
- endokrine Regulation (1)
- energetics (1)
- engineered nanoparticles (1)
- english prepositions (1)
- enterprise collaboration platforms (1)
- enterprise collaboration systems (1)
- entrepreneurial design thinking (1)
- entrepreneurial thinking (1)
- entrepreneurship education (1)
- environmental compatibility (1)
- environmental control (displays of self, control of stress factors, social control), well-being, work or learning efficiency, social behavior, co mmunication (1)
- environmental fate (1)
- environmental psychology (1)
- environmental risk assessment (1)
- environmental surfaces (1)
- epidemiology (1)
- epoxide (1)
- erweiterte Abwasserbehandlung (1)
- estimation of algorithm efficiency (1)
- evaluation (1)
- event model (1)
- event-based systems (1)
- events (1)
- evolution (1)
- excess deaths (1)
- expansion (1)
- faceted search (1)
- fairness (1)
- feedback (1)
- field experiment (1)
- field margin (1)
- finite state automata (1)
- first-order logic (1)
- fish tissues (1)
- floral resources (1)
- flows over time (1)
- fluid disturbances (1)
- fluid-structure interaction (1)
- focused feedback (1)
- folksonomies (1)
- freshwater ecosystem (1)
- functional web testing tools (1)
- fungicide (1)
- fungus resistant grapevine (1)
- futex (1)
- gait (1)
- galvanic anodes (1)
- gaze information (1)
- gender (1)
- genotyping error (1)
- giftedness (1)
- glass transition (1)
- global carbon cycle (1)
- grade (1)
- gradient method of training weight coefficients (1)
- grassland (1)
- grassland irrigation (1)
- greenhouse gases (1)
- groundwater remediation (1)
- groupwork (1)
- hazard prediction (1)
- healthcare (1)
- heart rate (1)
- high power impulse magnetron sputtering (1)
- humic acid (1)
- hybrid systems (1)
- hybrid work (1)
- hybride Automaten (1)
- hydrodynamic chromatography (1)
- hydrodynamische Chromatographie (1)
- hydrophobicity (1)
- hypertableaux (1)
- iCity project (1)
- image processing (1)
- image semantics (1)
- image warping (1)
- immediate priority ceiling protocol (1)
- implicit-explicit consistency (1)
- impounded rivers (1)
- in situ (1)
- incompressible fluids (1)
- information infrastructure (1)
- information retrieval (1)
- information system (1)
- insecticide (1)
- interaction (1)
- intergroup contact (1)
- internet of things (1)
- invasive Arten (1)
- invasive crayfish (1)
- invasive species (1)
- iot development platforms (1)
- iron removal (1)
- jOWL (1)
- kinematics (1)
- klonale Diversität (1)
- knowledge base (1)
- knowledge management system (1)
- knowledge work (1)
- land use (1)
- land use change (1)
- landmarks (1)
- landscape (1)
- landscape complexity (1)
- landscape mapping (1)
- laser induced fluorescence (1)
- leaching (1)
- lead desorption (1)
- leaf beetles (1)
- leafhoppers (1)
- leap motion (1)
- lexical sophistication (1)
- life cycle test (1)
- lifelong learning (1)
- living book (1)
- logistic (1)
- long-living systems (1)
- longitudinal (1)
- mPayments (1)
- machine learning (1)
- macroinvertebrates (1)
- mammals (1)
- masculine disability (1)
- masculine identity (1)
- mathematical Modelling (1)
- mathematical model (1)
- mathematische Modellbildung (1)
- measure (1)
- media competence model (1)
- medical care (1)
- medical image processing (1)
- metadata formats (1)
- metadata standards (1)
- metal-film phase plate (1)
- methane (1)
- methodology (1)
- micro-agent (1)
- microorganisms (1)
- microsatellite DNA (1)
- microsatellite analysis (1)
- minimal pruning (1)
- minimum self-contained graphs (1)
- mitigation (1)
- mitigation measures (1)
- mixtures (1)
- mobile application (1)
- mobile devices (1)
- mobile facets (1)
- mobile health care (1)
- mobile interaction (1)
- model generation (1)
- model-driven engineering (1)
- modeling (1)
- modulares System (1)
- monitor (1)
- mood change (1)
- morphological operators (1)
- multiagent systems (1)
- multidimensional (1)
- mutual exclusion (1)
- nanoparticle (1)
- nationalism (1)
- natural language generation (1)
- natural organic matter (1)
- nature conservation (1)
- negotiation (1)
- networks (1)
- neuartige Spurenstoffe (1)
- neural (1)
- nicht gefrierbares Wasser (1)
- nichtlinearer Zusammenhang (1)
- nichtsuizidale Selbstverletzung (1)
- non-consumptive effects (1)
- non-crop habitats (1)
- non-point source (1)
- non-target effects (1)
- non-target plants (1)
- norm (1)
- nternational organizations (1)
- numerical simulation (1)
- off-field habitats (1)
- olive mill wastewater (1)
- optimization (1)
- organic coatings (1)
- organic pollution (1)
- organizational behavior (1)
- organophosphate (1)
- ozonation (1)
- ozonation of beta blockers (1)
- ozone (1)
- ozone reactivity (1)
- pH-Wert (1)
- parallel calculations (1)
- parameter estimation (1)
- path planning (1)
- peat (1)
- pelzresistente Rebsorten (1)
- performance optimization (1)
- periphyton (1)
- personal information management (1)
- persönliches Informationsmanagement (1)
- pest control (1)
- pesticide risk assessment (1)
- pharmaceuticals (1)
- phenolic compounds (1)
- photo selection (1)
- physical activity (1)
- plain language (1)
- plant protection products (1)
- planthoppers (1)
- plants (1)
- plastic consumption (1)
- plastic debris (1)
- playful learning (1)
- point source (1)
- points of interest (1)
- policy modelling (1)
- pollen diet (1)
- pollinator development (1)
- pollinator fitness (1)
- pollution (1)
- polyurethane (1)
- population genetics (1)
- predation (1)
- predictability (1)
- preschool children (1)
- priority effects (1)
- priority-Effekte (1)
- privacy and personal data (1)
- privacy by design (1)
- privacy competence model (1)
- privacy impact assessment (1)
- privacy protection (1)
- probabilistic (1)
- procedural content generation (1)
- prognosis model (1)
- prosocial behavior (1)
- prosoziale Gruppennorm (1)
- public key infrastructure (1)
- punishment goals (1)
- pyrethroids (1)
- question answering (1)
- rainforest (1)
- reasoning (1)
- recolonisation (1)
- recurrent (1)
- refractory grade (1)
- region labeling (1)
- regression analysis (1)
- regular dag languages (1)
- regulation (1)
- relative Prototypikalität (1)
- religiousness (1)
- remote work (1)
- repellency (1)
- reproduction (1)
- requirements analysis (1)
- retina fundus images (1)
- reverse osmosis (1)
- revision (1)
- rich multimedia presentations (1)
- risks (1)
- robotics (1)
- rocking-phase plate (1)
- running (1)
- runoff (1)
- sample pretreatment (1)
- scaffolded writing (1)
- scale construction (1)
- scale validation (1)
- scene analysis (1)
- school attack (1)
- school tier (1)
- science learning (1)
- security (1)
- security awareness (1)
- self-concept (1)
- self-efficacy (1)
- self-organisation (1)
- semantic annotation (1)
- semantic desktop (1)
- semantischer Desktop (1)
- sequent calculi (1)
- sexual orientation (1)
- shiq (1)
- silver nanoparticles (1)
- single-particle analysis (1)
- smartphone app (1)
- social media data (1)
- social object (1)
- social perception (1)
- social system (1)
- software engineering (1)
- soil (1)
- soil aquifer treatment (1)
- soil pH (1)
- soil solution (1)
- soils (1)
- sparsity (1)
- spatial Fuzzy Logic (1)
- spatial and temporal varibility (1)
- speech (1)
- spray-drift (1)
- stereoscopic rendering (1)
- stereotypes (1)
- stream (1)
- stream mesocosm (1)
- student misbehavior (1)
- student writing (1)
- summative evaluation (1)
- surface characteristics (1)
- survey in Koblenz (1)
- suspended particle matter (1)
- swarming (1)
- swimming behaviour (1)
- systematics (1)
- systems to judge the quality of buildings (1)
- tag recommendation (1)
- tagging (1)
- task orientation (1)
- teacher beliefs (1)
- teacher education (1)
- teacher motivation (1)
- teacher training (1)
- teaching (1)
- teams (1)
- technology acceptance model (1)
- text-picture integration (1)
- thermal analysis (1)
- time series (1)
- titanium nitride (1)
- tool-integration (1)
- toxicokinetics (1)
- trace organic chemicals (1)
- traceability (1)
- trait-mediated effects (1)
- transformation products (1)
- transport (1)
- trophic cascades (1)
- unique name assumption (1)
- uptake (1)
- usability study (1)
- variational discretization (1)
- vascular plants (1)
- vaskuläre Planzen (1)
- vegetated treatment systems (1)
- vegetation modeling (1)
- verification (1)
- video games (1)
- virtual goods (1)
- viticulture (1)
- voice (1)
- volume rendering (1)
- warp divergence (1)
- wastewater treatment plant (1)
- water pollution (1)
- water re-use (1)
- water reuse (1)
- water scarcity (1)
- water treatment (1)
- water-molecule-bridges (WaMB) (1)
- weak solution (1)
- wear resistance (1)
- web 2.0 (1)
- web-portal medical e-services (1)
- wettability (1)
- wild bees (1)
- wildlife management (1)
- window of opportunity (1)
- wireless sensor networks (1)
- work from anywhere (1)
- work from home (1)
- world polity (1)
- writing (1)
- zooplankton (1)
- Ästuar (1)
- Ökologie (1)
- Ökotoxologie (1)
- Überarbeitung (1)
- Überwachung (1)
Institut
- Fachbereich 4 (116)
- Institut für Informatik (81)
- Fachbereich 7 (78)
- Institut für Wirtschafts- und Verwaltungsinformatik (53)
- Institut für Computervisualistik (52)
- Institute for Web Science and Technologies (49)
- Institut für Management (30)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (23)
- Institut für Umweltwissenschaften (23)
- Fachbereich 8 (20)
The thesis develops and evaluates a hypothetical model of the factors that influence user acceptance of weblog technology. Previous acceptance studies are reviewed, and the various models employed are discussed. The eventual model is based on the technology acceptance model (TAM) by Davis et al. It conceptualizes and operationalizes a quantitative survey conducted by means of an online questionnaire, strictly from a user perspective. Finally, it is tested and validated by applying methods of data analysis.
In Silico simulation of biological systems is an important sub area of computational biology (system biology), and becomes more and more an inherent part for research. Therefore, different kinds of software tools are required. At present, a multitude of tools for several areas exists, but the problem is that most of the tools are essentially application specific and cannot be combined. For instance, a software tool for the simulation of biochemical processes is not able to interact with tools for the morphology simulation and vice versa. In order to obtain realistic results with computer-aided simulations it is important to regard the biological system in its entirety. The objective is to develop a software framework, which provides an interface structure to combine existing simulation tools, and to offer an interaction between all affiliated systems. Consequently, it is possible to re-use existing models and simulation programs. Additionally, dependencies between those can be defined. The system is designed to interoperate as an extendable architecture for various tools. The thesis shows the usability and applicability of the software and discusses potential improvements.
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most first order theorem provers, it supports features important for such applications, for example queries with predicate extensions as answers, handling of large sets of uniformly structured input facts, arithmetic evaluation and stratified negation as failure. It is our goal to extend the range of application possibilities of KRHyper by adding equality reasoning.
Hyper tableaux with equality
(2007)
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in the hyper tableau calculus. It is based on splitting of positive clauses and an adapted version of the superposition inference rule, where equations used for paramodulation are drawn (only) from a set of positive unit clauses, the candidate model. The calculus also features a generic, semantically justified simplification rule which covers many redundancy elimination techniques known from superposition theorem proving. Our main results are soundness and completeness, but we briefly describe the implementation, too.
In this paper we describe a network for distributing personalized Information in a metropolitan area. We discuss the system architecture of our Bluetooth-based information system as well as the reasoning process that fits users" needs with potential messages. We furthermore present our findings on parallelizing Bluetooth connection setup and performance.
In this paper we describe a network for distributing personalized information within a pervasive university. We discuss the system architecture of our Bluetooth-based CampusNews-system, both, from the administrator and the user viewpoint. We furthermore present first statistical data about the usage of the partial installation at the Koblenz campus together with an outlook to future work.
We introduce linear expressions for unrestricted dags (directed acyclic graphs) and finite deterministic and nondeterministic automata operating on them. Those dag automata are a conservative extension of the Tu,u-automata of Courcelle on unranked, unordered trees and forests. Several examples of dag languages acceptable and not acceptable by dag automata and some closure properties are given.
Probability propagation nets
(2007)
A class of high level Petri nets, called "probability propagation nets", is introduced which is particularly useful for modeling probability and evidence propagation. These nets themselves are well suited to represent the probabilistic Horn abduction, whereas specific foldings of them will be used for representing the flows of probabilities and likelihoods in Bayesian networks.
SOA-Security
(2007)
This paper is a part of the ASG project (Adaptive Services Grid) and addresses some IT security issues of service oriented architectures. It defines a service-oriented security concept, it explores the SOA security challenge, it describes the existing WS-Security standard, and it undertakes a first step into a survey on best practice examples. In particular, the ASG middleware platform technology (JBossWS) is analyzed with respect to its ability to handle security functions.
Generalized methods for automated theorem proving can be used to compute formula transformations such as projection elimination and knowledge compilation. We present a framework based on clausal tableaux suited for such tasks. These tableaux are characterized independently of particular construction methods, but important features of empirically successful methods are taken into account, especially dependency directed backjumping and branch local operation. As an instance of that framework an adaption of DPLL is described. We show that knowledge compilation methods can be essentially improved by weaving projection elimination partially into the compilation phase.
Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[DH05]), for which queries can be answered efficiently. This precompilation step is very expensive but it only has to be performed once. We propose to apply this technique to knowledge bases defined in Description Logics. For this, we introduce a normal form, called linkless concept descriptions, for ALC concepts. Further we present an algorithm, based on path dissolution, which can be used to transform a given concept description into an equivalent linkless concept description. Finally we discuss a linear satisfiability test as well as a subsumption test for linkless concept descriptions.
UML models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for use of specifying different aspects of software systems. In particular, OWL ontologies are well suited to specify classes using an expressive logical language with highly flexible, dynamic and polymorphic class membership, while UML diagrams are much more suitable for specifying not only static models including classes and associations, but also dynamic behavior. Though MOF based metamodels and UML profiles for OWL have been proposed in the past, an integrated use of both modeling approaches in a coherent framework has been lacking so far. We present such a framework, TwoUse, for developing integrated models, comprising the benefits of UML models and OWL ontologies
This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system specification on different levels of abstraction on the one hand, and expressing real-time system behavior with continuous variables on the other hand. It is not only shown how multi-robot systems can be modeled by a combination of hybrid automata and hierarchical state machines, but also how model checking techniques for hybrid automata can be applied. An enhanced synchronization concept is introduced that allows synchronization taking time and avoids state explosion to a certain extent.
In this paper we describe a series of projects on location based and personalised information systems. We start wit a basic research project and we show how we came with the help of two other more application oriented project to a product. This is developed by a consortium of enterprises and it already is in use in the city of Koblenz.
This paper offers an informal overview and discussion on first order predicate logic reasoning systems together with a description of applications which are carried out in the Artificial Intelligence Research Group of the University in Koblenz. Furthermore the technique of knowledge compilation is shortly introduced.
The term "Augmented Reality (AR)" denotes the superposition of additional virtual objects and supplementary information over real images. The joint project Enhanced Reality (ER)1 aims at a generic AR-system. The ER-project is a cooperation of six different research groups of the Department of Computer Science at the University of Koblenz-Landau. According to Ronald Azuma an AR-system combines real and virtual environments, where the real and virtual objects are registered in 3-D, and it provides interactivity in real time [Azu97]. Enhanced Reality extends Augmented Reality by requiring the virtual objects to be seamlessly embedded into the real world as photo-realistic objects according to the exact lighting conditions. Furthermore, additional information supplying value-added services may be displayed and interaction of the user may even be immersive. The short-term goal of the ER-project is the exploration of ER-fundamentals using some specific research scenarios; the long-term goal is the development of a component-based ER-framework for the creation of ER-applications for arbitrary application areas. ER-applications are developed as single-user applications for users who are moving in a real environment and are wearing some kind of visual output device like see-through glasses and some mobile end device. By these devices the user is able to see reality as it is, but he can also see the virtual objects and the additional information about some value-added service. Furthermore he might have additional devices whereby he can interact with the available virtual objects. The development of a generic framework for ER-applications requires the definition of generic components which are customizable and composable to build concrete applications and it requires a homogeneous data model which supports all components equally well. The workgroup "Software Technology"2 is responsible for this subproject. This report gives some preliminary results concerning the derivation of a component-based view of ER. There are several augmented reality frameworks like ARVIKA, AMIRE, DWARF, MORGAN, Studierstube and others which offer some support for the development of AR-applications. All of them ease the use of existing subsystems like AR-Toolkit, OpenGL and others and leverage the generation process for realistic systems by making efficient use of those subsystems. Consequently, they highly rely on them.
This paper describes the development of security requirements for non-political Internet voting. The practical background is our experience with the Internet voting within the Gesellschaft für Informatik (GI - Informatics Society) 2004 and 2005. The theoretical background is the international state-of-the-art of requirements about electronic voting, especially in the US and in Europe. A focus of this paper is on the user community driven standardization of security requirements by means of a Protection Profile of the international Common Criteria standard.
Semantic descriptions of non-textual media available on the web can be used to facilitate retrieval and presentation of media assets and documents containing them. While technologies for multimedia semantic descriptions already exist, there is as yet no formal description of a high quality multimedia ontology that is compatible with existing (semantic) web technologies. We explain the complexity of the problem using an annotation scenario. We then derive a number of requirements for specifying a formal multimedia ontology, including: compatibility with MPEG-7, embedding in foundational ontologies, and modularisation including separation of document structure from domain knowledge. We then present the developed ontology and discuss it with respect to our requirements.
Networked RDF graphs
(2007)
Networked graphs are defined in this paper as a small syntactic extension of named graphs in RDF. They allow for the definition of a graph by explicitly listing triples as well as by SPARQL queries on one or multiple other graphs. By this extension it becomes possible to define a graph including a view onto other graphs and to define the meaning of a set of graphs by the way they reference each other. The semantics of networked graphs is defined by their mapping into logic programs. The expressiveness and computational complexity of networked graphs, varying by the set of constraints imposed on the underlying SPARQL queries, is investigated. We demonstrate the capabilities of networked graphs by a simple use case.
Zahlreiche Studien belegen, dass menschliche Bewegungen Informationen über den Akteur in sich bergen. Beobachter sind daher in der Lage, Dinge wie Persönlichkeit, Geschlecht und Gefühlslage allein aus Bewegungen von Menschen zu erkennen. Um dem Ziel nach glaubwürdigen und realistischen virtuellen Charakteren näher zu kommen, verbesserte sich in den letzten Jahren vorwiegend das Aussehen der Charaktere. Dank moderner Techniken und einer rapiden Entwicklung der Computer Hardware können heute visuell extrem realistische Charaktere in virtuellen Echtzeitumgebungen dargestellt werden. Trotz ihrer visuellen Qualität werden sie jedoch in interaktiven Umgebungen häufig als mechanisch wahrgenommen. Diese Störung der Illusion, einem lebendigen, Menschen ähnlichem Lebewesen gegen über zu stehen ist in einem mangelndem menschlichen Verhalten des virtuellen Charakters begründet. Daher können ausdrucksvolle Bewegungen, die einen emotionalen Zustand des Charakters vermitteln, dazu verhelfen dem Menschen ähnlichere und daher glaubwürdigere Charaktere zu realisieren. Im Rahmen dieser Diplomarbeit wird die Umsetzbarkeit eines Systems zur automatischen Generierung emotional expressiver Charakter Animationen untersucht. Übliche Techniken zur Erstellung von Animationen sind sehr aufwendig und zeitintensiv. Um alle möglichen Variationen von Bewegungen in einer interaktiven Umgebung zu erstellen kommen solche Ansätze daher nicht in Frage. Um interaktive Charakter zu ermöglichen, welche in der Lage sind ihre Gefühle zum Ausdruck zu bringen, wird daher diese Problematik im Zuge dieser Diplomarbeit behandelt werden. Einschlägige Literatur aus Forschungsgebieten, welche sich mit Emotionen und Bewegungen befassen werden im Rahmen dieser Arbeit untersucht. Eigenschaften, anhand derer Menschen Emotionen in Bewegungen erkennen, werden technisch in einem Animationssystem umgesetzt, um aus neutralen Animationen emotionale Bewegungen zu generieren. Abschliessend werden die erstellten Ergebnisanimationen in Tests ausgewertet in Bezug auf Erkennbarkeit der Emotionen und Qualität der Ergebnisse.
Die hohen Infrastrukturkosten machen das Überprüfen von Theorien bezüglich großer Rechnernetze zu einer schwierigen und teuren Aufgabe. Ein möglicher Ansatz dieses Problem zu beheben ist die Verwendung von virtueller anstelle von physikalischer Infrastrukur. OPNets IT Guru ist ein Programm, das entworfen wurde zur Simulation großer Netze und zur Repräsentation relevanter Informationen. Es gestattet großflächige Änderungen zu testen oder Theorien zu überpruefen ohne den Aufwand einer physikalischen Infrastruktur.
Due to their confinement to specific host plants or restricted habitat types, Auchenorrhyncha are suitable biological indicators to measure the quality of chalk grassland under different management practices for nature conservation. They can especially be used as a tool to assess the success of restoring chalk grassland on ex-arable land. One objective of this study was to identify the factors which most effectively conserve and enhance biological diversity of existing chalk grasslands or allow the creation of new areas of such species-rich grassland on ex-arable land. A second objective was to link Auchenorrhyncha communities to the different grassland communities occurring on chalk according to the NVC (National Vegetation Classification). Altogether 100 chalk grassland and arable reversion sites were sampled between 1998 and 2002. Some of the arable reversion sites had been under certain grazing or mowing regimes for up to ten years by 2002. Vegetation structure and composition were recorded, and Auchenorrhyncha were sampled three times during the summer of each year using a "vortis" suction sampler. Altogether 110 leafhopper species were recorded during the study. Two of the species, Kelisia occirrega and Psammotettix helvolus, although widespread within the area studied, had not previously been recognized as part of the British fauna. By displaying insect frequency and dominance as it is commonly done for vegetation communities, it was possible to classify preferential and differential species of distinct Auchenorrhyncha communities. The linking of the entomological data with vegetation communities defined by the NVC showed that different vegetation communities were reflected by distinct Auchenorrhyncha communities. Significant differences were observed down to the level of sub-communities. The data revealed a strong positive relationship between the diversity of leafhoppers species and the vegetation height. There was also a positive correlation between the species richness of Auchenorrhyncha and the diversity of plant species. In that context it is remarkable that there was no correlation between vegetation height and botanical diversity. There is a substantial decrease in Auchenorrhyncha species richness from unimproved grassland to improved grassland and arable reversion. The decline of typical chalk grassland and general dry grassland species is especially notable. Consequently, the number of stenotopic Auchenorrhyncha species which are confined to only a few habitat types, are drastically reduced with the improvement of chalk grassland. Improved grassland and arable reversion fields are almost exclusively inhabited by common habitat generalists. The decrease in typical chalk grassland plants due to improvement is mirrored in the decline of Auchenorrhyncha species, which rely monophagously or oligophagously on specific host plants. But even where suitable host plants re-colonize arable reversion sites quickly, there is a considerable delay before leafhoppers follow. That becomes especially obvious with polyphagous leafhoppers like Turrutus socialis or Mocydia crocea, which occur on improved grassland or arable reversion sites only in low frequency and abundance, despite wide appearance or even increased dominance of their host plants. These species can be considered as the most suitable indicators to measure success or failure of long term grassland restoration. A time period of ten years is not sufficient to restore species-rich invertebrate communities on grassland, even if the flora indicates an early success.
Currently more than 850 biological databases exist. The majority of biological knowledge is not in these databases but rather contained as free text in scientific literature. For systems biology tasks it is often necessary to integrate and extract data from heterogeneous databases and free text as well as to analyse the information in the context of experimental data. ONDEX is an integration framework which aims to address these challenges by combining features of database integration, text mining and sequence analysis with methods for graph-based data analysis and visualisation. The main topics of this diploma thesis are the redesign of the ONDEX backend, the development of a data exchange format, the development of a query environment and the allocation of Web services for data integration, data exchange and queries. These Web services allow backend workflow control from both local and remote workstations.
Interactive video retrieval
(2006)
The goal of this thesis is to develop a video retrieval system that supports relevance feedback. One research approach of the thesis is to find out if a combination of implicit and explicit relevance feedback returns better retrieval results than a system using explicit feedback only. Another approach is to identify a model to weight existing feature categories. For this purpose, a state-of-the-art analysis is presented and two systems implemented, which run under the conditions of the international TRECVID workshop. It will be a basis system for further research approaches in the field of interactive video retrieval. Amongst others, it shall participate in the 2006 search task of the mentioned workshop.
Studies have shown that runoff and spray-drift are important sources of nonpoint-source pesticide pollution of surface waters. Owing to this, public concern over the presence of pesticides in surface and ground water has resulted in intensive scientific efforts to find economical, yet environmentally sound solutions to the problem. The primary objective of this research was to assess the effectiveness of vegetated aquatic systems in providing buffering between natural aquatic ecosystems and agricultural landscape following insecticide associated runoff and spray-drift events. The first set of studies were implemented using vegetated agricultural ditches, one in Mississippi, USA, using pyrethroids (bifenthrin, lambda-cyhalothrin) under simulated runoff conditions and the other in the Western Cape, South Africa using the organophosphate insecticide, azinphos-methyl (AZP), under natural runoff and spray-drift conditions. The second set of studies were implemented using constructed wetlands, one in the Western Cape using AZP under natural spray-drift conditions and the other in Mississippi, USA using the organophosphate MeP under simulated runoff conditions. Results from the Mississippi-ditch study indicated that ditch lengths of less than 300 m would be sufficient to mitigate bifenthrin and lambda-cyhalothrin. In addition, data from mass balance calculations determined that the ditch plants were the major sink (generally > 90%) and/or sorption site for the rapid dissipation of the above pyrethroids from the water column. Similarly, results from the ditch study in South Africa showed that a 180 m vegetated system was effective in mitigating AZP after natural spray drift and low flow runoff events. Analytical results from the first wetland study show that the vegetated wetland was more effective than the non-vegetated wetland in reducing loadings of MeP. Mass balance calculations indicated approximately 90% of MeP mass was associated with the plant compartment. Ninety-six hours after the contamination, a significant negative acute effect of contamination on abundances was found in 8 out of the 15 macroinvertebrate species in both wetland systems. Even with these toxic effects, the overall reaction of macroinvertebrates clearly demonstrated that the impact of MeP in the vegetated wetland was considerably lower than in the non-vegetated wetland. Results from the constructed wetland study in South Africa revealed that concentrations of AZP at the inlet of the 134 m wetland system were reduced by 90% at the outlet. Overall, results from all of the studies in this thesis indicate that the presence of the plant compartment was essential for the effective mitigation of insecticide contamination introduced after both simulated and natural runoff or spray-drift events. Finally, both the vegetated agricultural drainage ditch and vegetated constructed wetland systems studied would be effective in mitigating pesticide loadings introduced from either runoff or spray-drift, in turn lowering or eliminating potential pesticide associated toxic effects in receiving aquatic ecosystems. Data produced in this research provide important information to reduce insecticide risk in exposure assessment scenarios. It should be noted that incorporating these types of best management practices (BMPs) will decrease the risk of acute toxicity, but chronic exposure may still be an apparent overall risk.
In the present study the flora and vegetation of Kakamega Forest, an East African rainforest in Western Kenya, was investigated. Kakamega Forest is highly degraded and fragmented and is an ideal model to study the anthropogenic influence on the forest inventory. The main focus was to analyse the influence of human impact on the vascular plant species composition. During five field phases in the years 2001 to 2004 a total of 19 study sites scattered over the whole forest including all fragments were investigated regarding forest structure, species composition and plant communities. The different forest sites were analysed by three different methods, phytosociological relevés, line-transect and with the variable-area transect method. The forest survey revealed about 400 taxa of vascular plant species, among them 112 trees, 62 shrubs, 58 climbers and 114 herbs. Several species are restricted to this forest in Kenya, but only one endemic species, the herb Commelina albiflora, could be discovered. About 15 species were recorded as new for Kenya and probably at least one species is new to science. Kakamega Forest is a unique mixture of Guineo-Congolian and Afromontane floral elements. About one half of the vascular plant species has its origin in the lowland forests of the Congo basin and one third originates from Afromontane habitats. The present study represents the first description of plant communities of Kakamega Forest. An analysis of different forest sites and plantations resulted in 17 different vegetation units. For the mature forest sites eleven plant communities were described. The young succession stage consists of two plant communities. Since the disturbance history and the age of the different plant communities could be estimated, their chronology was also described. An exception are the study sites within the plantations and afforested sites. The four defined vegetation units were not described as plant communities, because they are highly affected by man and do not belong to the natural succession of Kakamega Forest. Nevertheless, the regeneration potential of such forests was investigated. Due to the different succession stages the changing species composition along a disturbance gradient could be analysed. Most of Kakamega Forest consists of middle-aged secondary forest often surrounded by very young secondary forest. A true primary rainforest could not be found due the massive influence by over-exploitation. In all parts of the forest the anthropogenic influence could be observed. The forest develops towards a climax stage, but a 2 Abstract comparison with former surveys shows that the regeneration is much slower than expected. Human impact has to be avoided to allow the forest to develop into a primary-like rainforest. But several climax tree species might be missing anyway, because after the broad logging activities in the past there are not enough seed trees remaining. Species richness was highest in disturbed forest sites. A mixture of pioneer, climax and bushland species could be recorded there. Therefore, a high species richness is not a suitable indicator for forest quality. The proportion of climax species typical for Kakamega Forest would be a better measure. Compared to the main forest block the forest fragments do not lack in diversity as expected due to fragmentation processes. Instead, the only near primary forest could be recorded in Kisere, a northern fragment. The high amount of climax species and the more or less undisturbed forest structure is a result of the strict protection by the Kenya Wildlife Service and due to low logging activities. Differences in species composition between the studied forest sites are either a result of the different logging history or management regime rather than due to different edaphic or climatic conditions.
Dracaena L. (Ruscaceae) is a predominantly African genus with a smaller centre of diversity in South-East Asia. The taxonomy of the 29 species occurring in Central, East and Southern Africa was revised through phenetic and phylogenetic analyses of the morphology as well as through herbarium, literature and field studies. An infrageneric classification is proposed, in which four sub-genera are recognised for the first time. A taxonomic account for the study area incorporating an identification key, distribution maps and an IUCN Red List assessment is presented. Analysis of Dracaena phytogeography reveals that the Guineo-Congolian centre of endemism is the richest with 21 species while the Maputaland-Pondoland regional mosaic and the Guinea-Congolia/Sudania regional transition zone are the poorest, having only one species each. Investigation of the ecology of Dracaena in the Kakamega Forest, Kenya, shows that it plays an important role in the forest ecology and is an indicator of forest quality.
We aim to demonstrate that automated deduction techniques, in particular those following the model computation paradigm, are very well suited for database schema/query reasoning. Specifically, we present an approach to compute completed paths for database or XPath queries. The database schema and a query are transformed to disjunctive logic programs with default negation, using a description logic as an intermediate language. Our underlying deduction system, KRHyper, then detects if a query is satisfiable or not. In case of a satisfiable query, all completed paths -- those that fulfill all given constraints -- are returned as part of the computed models. The purpose of our approach is to dramatically reduce the workload on the query processor. Without the path completion, a usual XML query processor would search the database for solutions to the query. In the paper we describe the transformation in detail and explain how to extract the solution to the original task from the computed models. We understand this paper as a first step, that covers a basic schema/query reaÂsoning task by model-based deduction. Due to the underlying expressive logic formalism we expect our approach to easily adapt to more sophisticated problem settings, like type hierarchies as they evolve within the XML world.
The model evolution calculus
(2004)
The DPLL procedure is the basis of some of the most successful propositional satisfiability solvers to date. Although originally devised as a proof procedure for first-order logic, it has been used almost exclusively for propositional logic so far because of its highly inefficient treatment of quantifiers, based on instantiation into ground formulas. The recent FDPLL calculus by Baumgartner was the first successful attempt to lift the procedure to the first-order level without resorting to ground instantiations. FDPLL lifts to the first-order case the core of the DPLL procedure, the splitting rule, but ignores other aspects of the procedure that, although not necessary for completeness, are crucial for its effectiveness in practice. In this paper, we present a new calculus loosely based on FDPLL that lifts these aspects as well. In addition to being a more faithful litfing of the DPLL procedure, the new calculus contains a more systematic treatment of universal literals, one of FDPLL's optimizations, and so has the potential of leading to much faster implementations.
The Living Book is a system for the management of personalized and scenario specific teaching material. The main goal of the system is to support the active, explorative and selfdetermined learning in lectures, tutorials and self study. The Living Book includes a course on 'logic for computer scientists' with a uniform access to various tools like theorem provers and an interactive tableau editor. It is routinely used within teaching undergraduate courses at our university. This paper describes the Living Book and the use of theorem proving technology as a core component in the knowledge management system (KMS) of the Living Book. The KMS provides a scenario management component where teachers may describe those parts of given documents that are relevant in order to achieve a certain learning goal. The task of the KMS is to assemble new documents from a database of elementary units called 'slices' (definitions, theorems, and so on) in a scenario-based way (like 'I want to prepare for an exam and need to learn about resolution'). The computation of such assemblies is carried out by a model-generating theorem prover for first-order logic with a default negation principle. Its input consists of meta data that describe the dependencies between different slices, and logic-programming style rules that describe the scenario-specific composition of slices. Additionally, a user model is taken into account that contains information about topics and slices that are known or unknown to a student. A model computed by the system for such input then directly specifies the document to be assembled. This paper introduces the elearning context we are faced with, motivates our choice of logic and presents the newly developed calculus used in the KMS.