Filtern
Erscheinungsjahr
Dokumenttyp
- Dissertation (245)
- Masterarbeit (91)
- Ausgabe (Heft) zu einer Zeitschrift (84)
- Bachelorarbeit (44)
- Diplomarbeit (27)
- Wissenschaftlicher Artikel (16)
- Konferenzveröffentlichung (10)
- Studienarbeit (10)
- Habilitation (4)
- Sonstiges (2)
Sprache
- Englisch (535) (entfernen)
Volltext vorhanden
- ja (535) (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 <Informatik> (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)
- OWL (2)
- Ontologie <Wissensverarbeitung> (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)
- 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)
- Anabaena sp. (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)
- Calothrix desertica (1)
- Carnivora (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)
- 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 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)
- 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)
- Medizinische Bildverarbeitung (1)
- Meiofauna (1)
- Mensch-Maschine-Interaktion (1)
- Merkmalsdetektion (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)
- OPD-SHRM (1)
- OPNET (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)
- 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)
- 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 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)
- XML (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)
- anomalous colouration (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)
- biorecovery (1)
- biosynthesis (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)
- color morphs (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)
- 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 image analysis (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)
- genetic diversity (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)
- inbreeding (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 (115)
- Institut für Informatik (81)
- Fachbereich 7 (78)
- Institut für Computervisualistik (52)
- Institut für Wirtschafts- und Verwaltungsinformatik (52)
- Institute for Web Science and Technologies (51)
- Institut für Management (30)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (24)
- Institut für Umweltwissenschaften (23)
- Fachbereich 8 (20)
Seit Jahrzehnten wird weltweit eine zunehmende Bedrohung der biologischen Vielfalt durch anthropogene Einflüsse beobachtet. Landschaften sind durch unterschiedliche Arten von anthro-pogenen Störungen geprägt. So vereinheitlichen großflächiger Ackerbau, die Pestizidanwen¬dung und das Entfernen von Korridoren eine Landschaft, wohingegen der Straßenbau sie fragmentiert. Beides führt zu einer Einschränkung von Habitaten und reduziert sowohl den Lebensraum als auch den Genpool der Arten, verhindert den Genfluss und verändert die funktionellen Eigenschaften. Zudem können gebietsfremde Arten in der veränderten Umwelt schneller Fuß fassen. Auf der anderen Seite machen in verschiedenen zeitlichen und räumlichen Dimensionen vorkommenden Störungen eine Landschaft auch vielfältiger, da sie Nischen kreieren, in denen verschiedene Arten koexistieren können.
Diese Studie befasst sich mit der Komplexität von Störungsregimes und dessen Auswirkungen auf die Phytodiversität. Durch die Aufnahme aller erkennbaren Störungstypen unterscheidet sie sich deutlich von anderen Studien, die sich meist nur auf einzelne Störungen konzentrieren. Die Daten stammen von drei Untersuchungsgebieten im Norden Bayerns, die unterschiedlichen Landnutzungsintensitäten unterliegen: Einer intensiven Land- und Forstwirtschaft, einer kleinräumigen und weniger intensiven Land- und Forstwirtschaft und einem aktiven Truppenübungsplatzes. Der erste Teil der Arbeit befasst sich mit der Auswirkung von Störungsregimen auf die Phytodiversität, zuerst mit Fokus auf militärische Störungen, dann im Vergleich mit den Agrarlandschaften. Der zweite Teil beleuchtet den Einfluss auf Rote-Liste Arten, auf die Verbreitung von Neophyten und Generalisten sowie auf die Homogenisierung der Landschaften. Die Analysen berücksichtigen sowohl die Landschafts- als auch die lokale Ebene.
Nicht einzelne Störungstypen spielten eine entscheidende Rolle, sondern deren Vielfalt, sowohl in der Art als auch in der räumlichen und zeitlichen Vielfalt, was sich besonders auf dem Truppenübungs¬platz mit seinem multiplen aber ungerichteten Störungsregime zeigte. Die in landwirtschaftlichen Gebieten typischen homogenen Störungsregimes, wie Pflügen, Einsäen und Düngen, führten zu reduzierten Artenzahlen. Auf lokaler Ebene überlagerte die Heterogenität der abiotischen Faktoren, deren Ursprung in rezenten und historischen Störungen liegt, die positiven Effekte der Störungen, während vor allem trockene und nährstoffarme Standorte negativen Einfluss zeigten. Wälder des Truppenübungsplatzes zeigten sich durch ihre geringere Dichte und moderate Nutzung deutlich artenreicher im Vergleich zu den landwirtschaftlichen Untersuchungsgebieten.
Die Anzahl der Rote-Liste Arten war in allen drei Untersuchungsgebieten positiv mit der Gesamtzahl der Arten korreliert, jedoch zeigte der Truppenübungsplatz eine signifikant höhere Abundanz der Arten innerhalb des gesamten Gebietes im Vergleich zu den landwirtschaftlichen Gebieten, wo seltene Arten überwiegend auf Randstandorten zu finden waren. Ebenso fanden sich dort weniger Neophyten und Generalisten und somit eine geringere Homogenisierung. Somit zeigte sich der Truppenübungsplatz als Idealgebiet aus Naturschutzsicht. Die moderat bewirtschaftete Frankenalb vereint eine hohen Artenzahl und eine Produktivität, trotzdem wird diese Art von Landschaft in der heutigen industrialisierten Zeit nicht von Bestand sein, da der Ertrag zu gering ist.
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.
Predictive Process Monitoring setzt sich als Hilfsmittel zur Unterstützung der betrieblichen Abläufe in Unternehmen immer mehr durch Die meisten heute verfüg-baren Softwareanwendungen erfordern jedoch ein umfangreiches technisches Know-how des Betreibers und sind daher für die meisten realen Szenarien nicht geeignet. Daher wird in dieser Arbeit eine prototypische Implementierung eines Predictive Process Monitoring Dashboards in Form einer Webanwendung vorgestellt. Das System basiert auf dem von Bartmann et al. (2021) vorgestellten PPM-Camunda-Plugin und ermöglicht es dem Benutzer, auf einfache Weise Metriken, Visualisierungen zur Darstellung dieser Metriken und Dashboards, in denen die Visualisierungen angeordnet werden können, zu erstellen. Ein Usability-Test mit Testnutzern mit unterschiedlichen Computerkenntnissen wird durchgeführt, um die Benutzerfreundlichkeit der Anwendung zu bestätigen.
The role of alternative resources for pollinators and aphid predators in agricultural landscapes
(2021)
Der Verlust zahlreicher Insekten wird weitgehend in Verbindung gebracht mit dem Verlust von natürlichem und halbnatürlichem Lebensraum durch intensivierte Landnutzung. Viele Insekten liefern wichtige Ökosystemleistungen an die Landwirtschaft wie z.B. Bestäubung und Schädlingsbekämpfung. Um diese Insekten effizient auf den verbleibenden halbnatürlichen Flächen zu fördern, ist genaues Wissen über ihre Ansprüche an das Umland von Agrarflächen erforderlich. Der Fokus dieser Dissertation liegt auf der Suche nach den wichtigsten halbnatürlichen Habitattypen (Waldrand, Wiesen und halb-offene Habitate) zur Förderung von Nützlingen und Bestäubern aufgrund der Bedeutung von Nahrungsressourcen, welche sie dort nutzen. Besonderes Augenmerk liegt dabei auf Blütenressourcen und wie diese räumlich und zeitlich im Kulturland verteilt sind. Darauf basierte Ressourcenkarten versprechen eine Charakterisierung der Landschaft, welche der Relevanz für Insekten näher kommt als klassische Habitatkarten. In dieser These wurde deshalb verglichen, ob sich das Vorkommen von Wildbienen, sowie Nektar und Pollen konsumierenden Nützlingen besser mit klassischen Habitatkarten, oder mit Ressourcenkarten vorhersagen lässt und identifizierte Habitate besonderer Wichtigkeit. Bei Wildbienen wurde untersucht, inwiefern sich Präferenzen verschiedener Gruppen von Wildbienen unterscheiden und ob es zeitliche und räumliche Zusammensetzungen von Blühressourcen gibt, die besonders optimal sind. Da sich Nützlinge nebst der Nutzung von Blüten vor allem räuberisch ernähren, wurde des Weiteren deren Beutespektrum untersucht. Dazu wurde der Darminhalt von Marienkäfern mit genetischen Methoden mittels High Throughput Sequencing auf konsumierte Blattläuse analysiert.
Blütenbasierte Ressourcenkarten sagten Bienen besser voraus als klassische Habitatkarten. Der Waldrand war dabei von besonderer Bedeutung. Sowohl Flächenanteil als auch Blühangebot hatten positive Einflüsse auf Abundanz und Artenreichtum von wichtigen Kulturbestäubern und seltenen Arten. Ähnliche Muster zeigten sich für Wiesendiversität. Dabei schien besonders das frühe Blühangebot einen positiven Einfluss auf Wildbienen zu haben. Kulturen und Obstbäume verursachten im April einen Blütenpuls, der das Blühangebot vom Mai und Juni um mehr als das Zehnfache überstieg. Waldränder boten besonders Anfang Mai und im Juni ein Blühangebot, das im Verhältnis zur Fläche die weitaus höchste Dichte aufwies. Das Blühangebot von Wiesen war äusserst gering, zeigte aber die höchste Diversität, welche regelmässig über die Saison verteilt war.
Obwohl die untersuchten Nützlinge Blüten fürs Überleben benötigen, waren blütenbasierte Habitatkarten weniger geeignet, um die Nützlingsabundanz zu erklären, als herkömmliche Habitatkarten. Diese zeigten, dass Waldränder von besonderer Bedeutung für Nützlinge sind. Die Anzahl der Nützlinge wiederum führte zur Unterdrückung von Blattläusen. Die Resultate der Darmuntersuchungen zeigten zum einen, dass Marienkäfer einen relativ hohen Anteil an schädlichen Blattlausarten und Brennesselblattläusen konsumieren, zum anderen zeigen sie, dass mit Klebfallen gefangene Marienkäfer einen wesentlich breiteren Einblick in das Beutespektrum erlauben, als von Hand gesammelt. Der zu diesem Zweck entwickelte Blattlausprimer wird für kommende Studien bei der Identifizierung der Blattlausbeute von Marienkäfern hilfreich sein.
Unsere Resultate zeigen, dass Blütenkarten einen wichtigen Mehrwert für die Vorhersage von Wildbienen haben, nicht aber von Nützlingen, da für diese wohl andere Habitatfaktoren zusätzlich limitierend wirken. Der positive Einfluss von Waldrändern für unterschiedliche Gruppen von Wildbienen wie auch für Nützlinge und ihre Leistung als Schädlingsbekämpfer ist besonders hervorzuheben.
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.
Öffentliche elektronische Beschaffung (eProcurement), bzw. strategischer elektronischer Einkauf (eSourcing), sind mit hoher Wahrscheinlichkeit Thema sobald eGovernment Experten aufeinander treffen. So ist es nicht überraschend, dass eProcurement im aktuellen Aktionsplan der EU als "high-impact service" eingestuft wurde. Dies lässt sich zum Großteil durch den großen Einfluss vom öffentlichen Einkauf auf die Staatskasse erklären. So macht eProcurement in der Regel bis zu 20% des BIP aus und beherbergt somit ein enormes Einsparpotenzial. Dieses Potenzial liegt zum Teil im gemeinsamen Europäischen Wirtschaftsraum, da effizientes länderübergreifendes eSourcing neue Möglichkeiten für Einkäufer sowie Lieferanten eröffnen kann. Um diese Möglichkeiten ausschöpfen zu können, müssen Prozesse und Tools in der Lage sein, miteinander zu kommunizieren, sich aufeinander abzustimmen oder transferierbar sein. In einem Wort, sie müssen interoperabel sein. In vielen wichtigen Bereichen ist Interoperabilität sehr weit fortgeschritten, in anderen hingegen muss noch viel verändert werden. Daher ist es von wesentlicher Bedeutung Interoperabilitätsanforderungen zu definieren, sowie den aktuellen Forschungs- und Entwicklungsstand zu evaluieren.
This thesis explores the possibilities of probabilistic process modelling for the Computer Supported Cooperative Work (CSCW) systems in order to predict the behaviour of the users present in the CSCW system. Toward this objective applicability, advantages, limitations and challenges of probabilistic modelling are excavated in context of CSCW systems. Finally, as a primary goal seven models are created and examined to show the feasibilities of probabilistic process discovery and predictions of the users behaviour in CSCW systems.
Implementation of Agile Software Development Methodology in a Company – Why? Challenges? Benefits?
(2019)
The software development industry is enhancing day by day. The introduction of agile software development methodologies was a tremendous structural change in companies. Agile transformation provides unlimited opportunities and benefits to the existing and new developing companies. Along with benefits, agile conversion also brings many unseen challenges. New entrants have the advantage of being flexible and cope with the environmental, consumer, and cultural changes, but existing companies are bound to rigid structure.
The goal of this research is to have deep insight into agile software development methodology, agile manifesto, and principles behind the agile manifesto. The prerequisites company must know for agile software development implementation. The benefits a company can achieve by implementing agile software development. Significant challenges that a company can face during agile implementation in a company.
The research objectives of this study help to generate strong motivational research questions. These research questions cover the cultural aspects of company agility, values and principles of agile, benefits, and challenges of agile implementation. The project management triangle will show how benefits of cost, benefits of time, and benefits of quality can be achieved by implementing agile methodologies. Six significant areas have been explored, which shows different challenges a company can face during implementation agile software development methodology. In the end, after the in depth systematic literature review, conclusion is made following some open topics for future work and recommendations on the topic of implementation of agile software development methodology in a company.
In den vergangenen Jahrzehnten haben sich Einzelpartikelanalyse (EPA) und Kryotransmissionselektronenmikroskopie(Kryo-EM) zu einer der führenden Technologien für die strukturelle Analyse von biologischen Makromolekülen entwickelt. Dies erlaubt die Untersuchung biologischer Strukturen in einem möglichst naturgetreuen Zustand auf molekularer Ebene. In den letzten fünf Jahren überwand die EPA erstmals die Auflösungsgrenze von 2°A und erreichte somit atomare Auflösung, was bislang nur mittels Röntgenkristallographie möglich war. Ein bestehendes Problem der Kryo-EM ist der schwache Bildkontrast. Seit der Einführung der Kryo-EM in den 1980er Jahren, wurde an Phasenplatten als mögliches Werkzeug, zur Verbesserung des Bildkontrasts geforscht. Hier limitierten immer technische Probleme bei der Herstellung oder geräteseitige Limitierungen, wie z.B. Hysterese der Linsen, den erfolgreichen Einsatz solcher Phasenplatten. Insbesondere ein automatisierter Arbeitsablauf für die Steuerung des Mikroskops und die Aufnahme der Bilder ließ sich nie realisieren. In dieser Doktorarbeit wurde eine neue Zernike-Phasenplatte entwickelt und untersucht. Freistehende Metallfilme dienten als Phasenplattenmaterial, um Alterungsund Kontaminationsprobleme der bislang üblichen kohlenstoffbasierten Phasenplatten zu überwinden. In ersten Experimenten zur Materialwahl wurde Iridium als geeignetes Metall identifiziert. Der zweite Teil der Arbeit behandelt die Untersuchung der Iridium-Phasenplatten hinsichtlich ihrer Eigenschaften und ihrem Verhalten im Elektronenmikroskop. Ein Resultat dieser Experimente ist der sogenannte rocking-Modus, bei dem die Phasenplatte während der Aufnahme bewegt wird und wodurch sich Streuungs- und andere Artefakte, die bei den Zernike-Phasenplatten üblicherweise auftreten, verhindern oder deutlich reduzieren ließen. Die Entwicklung eines angepassten Workflow ermöglichte die Aufnahme von EPADatens ätzen mit Phasenplatte über mehrere Tage. Für die Evaluierung der Phasenplattendaten wurden Datensätze von Apoferritin mit und ohne Phasenplatte aufgenommen und miteinander verglichen.
Diese Arbeit beschreibt die Implementation eines Pfadplanungs-Algorithmus für Seriengespannfahrzeuge mithilfe von Maschinellen Lernalgorithmen. Zu diesem Zwecke wird ein allgemeiner Überblick über genetische Algorithmen gegeben, alternative Ansätze werden ebenfalls kurz erklärt. Die Software die zu diesem Zwecke entwickelt wurde basiert auf der EZSystem Simulationssoftware der AG Echtzeitsysteme der Universität Koblenz-Landau, sowie auf der von Christian Schwarz entwickelten Pfadkorrektursoftware, die ebenfalls hier beschrieben wird. Diese enthält auch eine Beschreibung des, zu Simulationszwecken, verwendeten Fahrzeugs. Genetische Algorithmen als Lösung von Pfadplanungsproblemen in komplexen Szenarien werden dann, basierend auf der entwickelten Simulationssoftware, evaluiert und diese Ergebnisse werden dann mit alternativen, nicht-maschinellen Lernalgorithmen, verglichen. Diese werden ebenfalls kurz erläutert.
Die Arbeit geht von der grundlegenden Annahme aus, dass spezifische kulturelle Bedingungen psychopathologische Effekte haben können, die interpersonale Gewalt begünstigen. Ziel der Studie war die Klärung der Frage, ob die Häufigkeit von Tötungsdelikten (abhängige Variable) mit bestimmten Einstellungen, Überzeugungen, Werthaltungen und Ausprägungen auf kulturellen Merkmalsdimensionen zusammenhängt. Um diese Frage zu klären, wurden unabhängige Variablen ausgewählt, von denen sechs sich auf die Wichtigkeit von Religion (Religiosität), Kontroll- und Machtorientierung (Omnipotenz), die kategorische Unterscheidung von Gut und Böse (Absolutismus), Nationalstolz (Nationalismus), Akzeptanz von Wettbewerb (Wettbewerbsorientierung) und Befürwortung von Autorität und Strafe (Autoritarismus) beziehen. Die zur Messung dieser Variablen relevanten Daten wurden dem World Values Survey entnommen. Für zwei weitere Kulturdimensionen, Kollektivismus und Machtdistanz, wurden die Ergebnisse der Studien von Hofstede verwendet. Als neunte unabhängige Variable diente das Bruttonationaleinkommen. Mittels multipler Imputation wurden die 7% fehlender Messwerte durch Schätzwerte ergänzt, so dass die Daten von 82 Staaten für die Analysen zur Verfügung standen.rnErgebnisse: Eine schrittweise multiple Regression ergab für Omnipotenz (β = .44, P < .01) und Bruttonationaleinkommen (ß = -.27, P < .01) die stärksten Regressionseffekte auf die Tötungsrate als abhängige Variable. Die neun unabhängigen Variablen luden auf zwei Faktoren, soziökonomischer Entwicklungsstand (SED) und psychokultureller Faktor (Psy-Cul), die negativ korreliert waren (-.47). Psy-Cul wurde als Indikator für Narzismus und als Mediator des Effekts von SED auf Tötungsrate interpretiert. Hierarchische Clusteranalysen auf der Basis der beiden Faktoren ergaben eine klare Unterscheidung zwischen drei Gruppen von Nationen: westliche Nationen, Entwicklungsnationen und postkommunistische Nationen.
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.
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.
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.
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.
Das Ziel dieser Masterarbeit war es ein CRM System für das Assist Team der CompuGroup Medical zu entwickeln, welches Open Innovation in die Entwicklung der Minerva 2.0 Software integriert. Um dies zu erreichen wurden CRM Methoden mit Social Networ- king Systemen kombiniert, basierend auf der Forschung von Lin und Chen (2010, S. 11 – 30). Um die definierten Ziele zu erreichen wurde Literatur analysiert, wie ein CRM System und eine Online Community erfolgreich implementiert werden können und dies auf die Entwicklung der Minerva Community angewendet. Dabei wurde sich an den Design Science Richtlinien von Hevner u. a. (2004, S. 75 – 104) orientiert. Das fertige Produkt wurde basierend auf Kunden- und Managementanforderungen entworfen und wurde an- schließend aus Kunden- und Firmenperspektive evaluiert.
Die Verwendung physiologischer Indikatoren, welche die Reaktion von Organismen auf Veränderungen ihrer Umwelt widerspiegeln, bietet ein großes Potenzial für ökologische Studien. Durch die Analyse des physiologischen Zustandes von Organismen ermöglichen diese Indikatoren eine schnellere Erfassung von Veränderungen in aquatischen Ökosystemen als es durch die Betrachtung ökologischer Indikatoren, wie z. B. der Struktur der Benthosgemeinschaft oder des Reproduktionserfolges einzelner Arten, möglich ist. Dieser Zeitvorteil kann sowohl die Effektivität der Habitatbewertung als auch experimenteller Studien in der aquatischen Ökologie erhöhen. In diesem Zusammenhang konzentriert sich die vorliegende Arbeit auf physiologische Messgrößen, wie die Konzentration von Energiespeicherstoffen, den zellulären Energiestatus (Adenylate Energy Charge) oder die Stoffwechselaktivität in vivo, die den energetischen Zustand oder den aktuellen Energieverbrauch von Organismen charakterisieren, sowie auf das RNA:DNA-Verhältnis als Wachstumsindikator. Obwohl diese Indikatoren in der marinen Ökologie, und in jüngerer Zeit auch in der Ökotoxikologie, regelmäßig verwendet werden, haben sie in der limnischen Ökologie bisher wenig Anwendung gefunden. Um die Anwendung physiologischer Indikatoren in diesem Bereich zu verstärken verfolgt die Dissertation zwei Ziele. Zum einen verdeutlicht sie das Potenzial der einzelnen physiologischen Indikatoren, zum anderen stellt sie Grundlagenwissen zu ausgewählten ökophysiologischen Aspekten einheimischer und gebietsfremder Arten der Ordnung Amphipoda bereit, die als Schlüsselarten aquatischer Lebensräume als besonders geeignet für die Bestimmung physiologischer Indikatoren angesehen werden. In diesem Sinne werden in Kapitel 2 sowohl die grundlegenden Annahmen, als auch die theoretischen und methodischen Grundlagen für die Bestimmung physiologischer Indikatoren aufgezeigt und ihre Anwendbarkeit in Fallstudien verdeutlicht. Die durchgeführten Experimentalstudien (Kapitel 3−5) liefern Informationen zu (i) den art- und geschlechtsspezifischen Unterschieden in der saisonalen Variation des energetischen Zustandes natürlicher Gammarus Populationen (G. fossarum, G. pulex), (ii) den Unterschieden in der Stoffwechsel- und Bewegungsaktivität verschiedener Amphipoda-Arten (G. fossarum, G. roeselii und D. villosus), sowie (iii) den direkten Auswirkungen von Ammoniak auf die Physiologie und die Bewegungsaktivität von D. villosus. In Kapitel 6 werden abschließend die grundlegenden Schlussfolgerungen aus den durchgeführten Feld- und Laborstudien, sowie ihre Relevanz und Auswirkungen für die Anwendung physiologischer Indikatoren in der limnischen Ökologie diskutiert.
ZUSAMMENFASSUNG
Gebäude und Infrastrukturen prägen das Bild unserer Kulturlandschaften und erbringen essentielle Dienstleistungen für die menschliche Gesellschaft. Sie wirken sich jedoch auch unweigerlich auf die natürliche Umwelt aus, z.B. durch die strukturelle Veränderung von Lebensräumen. Überdies gelten sie aufgrund der Freisetzung chemischer Inhaltsstoffe aus den eingesetzten Baumaterialien als potentielle Verursacher negativer Umweltauswirkungen. Galvanische Anoden und organische Beschichtungen, die an Stahlbauwerken regelmäßig zum Schutz vor Korrosion zum Einsatz kommen, sind als Baumaterialien für die Verkehrsinfrastruktur von besonderer Bedeutung. In direktem Kontakt mit einem Wasserkörper oder indirekt über den Abfluss nach einem Niederschlagsereignis können zahlreiche Chemikalien in aquatische Lebensräume emittiert werden und eine Gefahr für Wasserorganismen darstellen. Zur Beurteilung der Umweltverträglichkeit von Bauprodukten existiert bislang kein einheitlicher Untersuchungs- und Bewertungsansatz. Zudem stellen galvanische Anoden und organische Beschichtungen aufgrund ihrer Zusammensetzung besondere Herausforderungen an deren ökotoxikologische Charakterisierung. Ziel der vorliegenden Arbeit war es daher, die Gefährdung der aquatischen Umwelt durch galvanische Anoden und Korrosionsschutzbeschichtungen mithilfe ökotoxikologischer Untersuchungen zu beurteilen und standardisierte Bewertungsverfahren für diese Materialien zu entwickeln.
Die Untersuchung des möglichen Umwelteinflusses durch die Anwendung von Anoden an Offshore-Anlagen erfolgte auf drei trophischen Ebenen. Um eine möglichst realistischste und zuverlässige Abschätzung zu gewährleisten, wurden die Experimente in natürlichem Meerwasser und unter natürlichen pH-Bedingungen durchgeführt. Zudem erfolgte die Exposition gegenüber dem Anodenmaterial und deren Hauptbestandteilen Zink und Aluminum unter Simulation eines Worst-Case-Szenarios. Das untersuchte Anodenmaterial verursachte eine schwache Hemmung des Algenwachstums; auf die getesteten Leuchtbakterien und Flohkrebse zeigte es keine akute Toxizität. Allerdings wurde eine Erhöhung der Aluminium- und Indiumgehalte in den Krebsen festgestellt. Auf Grundlage dieser Ergebnisse wurde keine direkte Gefahr für marine Organismen durch den Einsatz galvanischer Aluminium-Anoden identifiziert. Eine Anreicherung von Metallen in Krebstieren und ein daraus resultierender Eintrag ins marine Nahrungsnetz kann jedoch nicht ausgeschlossen werden.
Die Umweltverträglichkeit organischer Beschichtungssysteme wurde exemplarisch für eine Auswahl relevanter Produkte auf Basis von Epoxidharzen (EP) und Polyurethanen bewertet. Dazu wurden beschichtete Probeplatten schrittweise über 64 Tage ausgelaugt. Die gewonnenen Eluate wurden systematisch auf ihre ökotoxikologischen Effekte (akute Toxizität gegenüber Algen und Leuchtbakterien, mutagene und estrogenartige Wirkungen) und chemische Zusammensetzung analysiert. Dabei zeigten sich insbesondere die EP-basierten Beschichtungen durch die Verursachung erheblicher bakterieller Toxizität und estrogenartiger Wirkung auffällig. Als primärer Urheber dieser Effekte wurde das kontinuierlich freigesetzte 4-tert-Butylphenol identifiziert, dessen Konzentration in allen Proben die predicted no effect concentration für Süßwasser überschritt. Gleichzeitig hat sich gezeigt, dass die Gesamttoxizität nicht durch den Gehalt an 4-tert-Butylphenol in den Produkten bestimmt wird, sondern vom Freisetzungsmechanismus dieser Verbindung aus den untersuchten Polymeren abhängig ist. Diese Ergebnisse deuten darauf hin, dass eine Optimierung der Zusammensetzung, beispielsweise aufgrund einer besseren Polymerisation der Inhaltsstoffe, zu einer Reduzierung von Emissionen und damit zu einer verminderten Belastung der Umwelt führen kann.
Regen, Temperaturwechsel und Sonneneinstrahlung können zur Verwitterung polymerer Korrosionsschutzbeschichtungen führen. Um den Einfluss lichtbedingter Alterung auf die Ökotoxizität von Deckbeschichtungen zu erfassen, wurde die Emissionen und damit verbundene negative Auswirkungen von UV-bestrahlten und unbehandelten EP-basierten Produkten miteinander verglichen. Nach statischer Auslaugung stand dabei die Untersuchung estrogenartiger und bakterien-toxischer Wirkungen im Fokus, die sowohl im klassischen Mikrotiterplattenformat als auch in Kopplung mit Dünnschichtplatten detektiert wurden. Beide untersuchten Materialien zeigten nach Bestrahlung eine signifikante Abnahme der ökotoxikologischen Effekte bei gleichzeitiger Verringerung der Freisetzung von 4-tert-Butylphenol. Jedoch wurden auch Bisphenol A und verschiedene Strukturanaloga als photolytische Abbauprodukte der Polymere nachgewiesen, die ebenfalls zur beobachteten Wirkung beitrugen. Die Identifizierung bioaktiver Inhaltsstoffe konnte dabei durch die erfolgreiche Kombination der in-vitro-Bioassays mit chemischen Analysen im Sinne einer effektgeleiteten Analytik unterstützt werden. Die vorliegenden Ergebnisse liefern wichtige Hinweise für die Beurteilung der generellen Eignung von Deckbeschichtungen auf Basis von Epoxidharzen.
Das im Rahmen der vorliegenden Studie entwickelte Untersuchungskonzept konnte erfolgreich auf eine Auswahl relevanter Baumaterialien angewendet werden. Die gezielte Anpassung einzelner Standardmethoden erlaubte dabei eine individuelle Produktbewertung. Gleichzeitig wurde sowohl die Zweckmäßigkeit der angewendeten ökotoxikologischen Methoden für die Untersuchung von Materialien unbekannter und komplexer Zusammensetzung bestätigt als auch die Basis für eine systematische Bewertung der Umweltverträglichkeit von Korrosionsschutzprodukten geschaffen. Vor dem Hintergrund der Europäischen Bauprodukteverordnung kann der gewählte Ansatz dem einfachen Vergleich verschiedener Baumaterialien z.B. innerhalb einer Produktgruppe dienen und damit die Auswahl umweltverträglicher Produkte vereinfachen und zur Optimierung einzelner Rezepturen beitragen.
This minor thesis shows a way to optimise a generated oracle to achieve shorter runtimes. Shorter runtimes of test cases allows the execution of more test cases in the same time. The execution of more test cases leads to a higher confidence in the software-quality. Oracles can be derived from specifications. However specifications are used for different purposes and therefore are not necessarily executable. Even if the are executable it might be with only a high runtime. Those two facts come mostly from the use of quantifiers in the logic. If the quantifier-range is not bounded, respectively if the bounds are outside the target language-datatype-limits, the specification is too expressive to be exported into a program. Even if the bounds inside the used datatype-limits, the quantification is represented as a loop which leads to a runtime blowup, especially if quantifiers are nested. This work explains four different possibilities to reduce the execution time of the oracle by manipulating the quantified formular whereas this approach is only applicable if the quantified variables are of type Integer.
E-KRHyper is a versatile theorem prover and model generator for firstorder logic that natively supports equality. Inequality of constants, however, has to be given by explicitly adding facts. As the amount of these facts grows quadratically in the number of these distinct constants, the knowledge base is blown up. This makes it harder for a human reader to focus on the actual problem, and impairs the reasoning process. We extend E-Hyper- underlying E-KRhyper tableau calculus to avoid this blow-up by implementing a native handling for inequality of constants. This is done by introducing the unique name assumption for a subset of the constants (the so called distinct object identifiers). The obtained calculus is shown to be sound and complete and is implemented into the E-KRHyper system. Synthetic benchmarks, situated in the theory of arrays, are used to back up the benefits of the new calculus.