Filtern
Erscheinungsjahr
Dokumenttyp
- Dissertation (249)
- Masterarbeit (92)
- Ausgabe (Heft) zu einer Zeitschrift (84)
- Bachelorarbeit (44)
- Diplomarbeit (27)
- Wissenschaftlicher Artikel (22)
- Konferenzveröffentlichung (10)
- Studienarbeit (10)
- Habilitation (4)
- Sonstiges (2)
Sprache
- Englisch (546) (entfernen)
Volltext vorhanden
- ja (546) (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)
- Belonging (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)
- CAT (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)
- Connectedness (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)
- EPS (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)
- FCS (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)
- STEM (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)
- Sentiment Analysis, ChatGPT, Students sentiments (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)
- aggregation (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)
- biofilm (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)
- crystal structure (1)
- cultural dimensions (1)
- cultural landscape (1)
- currency exchange rates (1)
- cyanobacteria (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 image processing (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)
- emotional regulation (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)
- ferrocene (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)
- gender gap (1)
- gender stereotypes (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)
- growth monitoring (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)
- nanoparticle size distribution (1)
- nanoparticles (1)
- nanoplastics (1)
- nationalism (1)
- natural language generation (1)
- natural organic matter (1)
- nature connectedness (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)
- prosocialness (1)
- prosoziale Gruppennorm (1)
- public key infrastructure (1)
- punishment goals (1)
- pyrethroids (1)
- pyrrole (1)
- pyrrolone (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-love (1)
- self-organisation (1)
- semantic annotation (1)
- semantic desktop (1)
- semantischer Desktop (1)
- sequent calculi (1)
- sexual orientation (1)
- shape classification (1)
- shiq (1)
- silver nanoparticles (1)
- single-particle analysis (1)
- skin conductance (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 abilities (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)
- well-being (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 (85)
- Fachbereich 7 (78)
- Institut für Computervisualistik (52)
- Institut für Wirtschafts- und Verwaltungsinformatik (52)
- Institute for Web Science and Technologies (50)
- Institut für Management (30)
- Institut für Integrierte Naturwissenschaften, Abt. Biologie (24)
- Institut für Umweltwissenschaften (23)
- Fachbereich 8 (20)
- Institut für Softwaretechnik (14)
- Institut für Integrierte Naturwissenschaften, Abt. Chemie (12)
- Institut für Integrierte Naturwissenschaften, Abt. Physik (9)
- Mathematisches Institut (9)
- Institut für Psychologie (8)
- Institut für Anglistik und Amerikanistik (7)
- Institut für Integrierte Naturwissenschaften (6)
- Fachbereich 6 (4)
- Arbeitsbereich Sozial- und Wirtschaftspsychologie (2)
- Institut für Mathematik (2)
- Arbeitsbereich Allgemeine und Pädagogische Psychologie (1)
- Arbeitsbereich Biopsychologie, Klinische Psychologie und Psychotherapie (1)
- Arbeitsbereich Diagnostik, Differentielle und Persönlichkeitspsychologie, Methodik und Evaluation (1)
- Arbeitsbereich Entwicklungspsychologie und Pädagogische Psychologie (1)
- Fachbereich 5 (1)
- Institut für Bildung im Kindes- und Jugendalter (1)
- Institut für Erziehungswissenschaft (1)
- Institut für Integrierte Naturwissenschaften, Abt. Geographie (1)
- Institut für Kommunikationspsychologie und Medienpädagogik (1)
- Institut für Musikwissenschaft und Musikpädagogik (1)
- Institut für Sozialwissenschaften (1)
- Institut für fremdsprachliche Philologien (1)
- Universitätsbibliothek Koblenz-Landau (1)
- Zentrale Einrichtungen (1)
Previous research revealed that teachers hold beliefs about gifted students combining high intellectual ability with deficits in non-cognitive domains, outlined in the so-called disharmony hypothesis. Since teachers’ beliefs about giftedness can influence which students they identify as gifted, the empirical investigation of beliefs is of great practical relevance. This dissertation comprises three research articles that investigated teacher beliefs about gifted students’ characteristics in samples of pre-service teachers using an experimental vignette approach. Chapter I starts with a general introduction into beliefs, and presents the research aims of the present dissertation. The first article (Chapter II) focused on the interaction of beliefs about giftedness and gender in a sample of Australian pre-service teachers and tested if social desirability occurred when using the vignette design. Beside evidence for beliefs in line with the disharmony hypothesis, results revealed typical gender stereotypes. However, beliefs about giftedness appeared not to be gender specific and thus, to be similar for gifted girls and boys. The vignette approach was found to be an adequate design for assessing teacher beliefs. The second article (Chapter III) investigated teacher beliefs and their relationship to motivational orientations for teaching gifted students in a cross-country sample of German and Australian pre-service teachers. Motivational orientations comprise cognitive components (self-efficacy) and affective components (enthusiasm). Findings revealed beliefs in the sense of the disharmony hypothesis for pre-service teachers from both countries. Giftedness when paired with beliefs about high maladjustment was found to be negatively related to teachers’ self-efficacy for teaching gifted students. The third article (Chapter IV) examined the role of teachers’ belief in a just world for the formation of beliefs using a sample of Belgian pre-service teachers. It was found that the stronger pre-service teachers’ belief in a just world was, the more they perceived gifted students’ high intellectual ability as unfair and thus, neutralized that injustice by de-evaluating students’ non-cognitive abilities. In a general discussion (Chapter V), findings of the three articles are combined and reflected. Taken together, the present dissertation showed that teacher beliefs about gifted students’ characteristics are not gender specific, generalizable over countries, negatively related to teacher motivation and can be driven by fairness beliefs.
Invasive species often have a significant impact on the biodiversity of ecosystems and the species native to it. One of the worst invaders worldwide is Aphanomyces astaci, the causative agent of the crayfish plague, an often fatal disease to crayfish species not native to North America. Aphanomyces astaci originates from North America and was introduced to Europe in the midst of the 19th century. Since then, it spread throughout Europe diminishing the European crayfish populations. The overall aim of this thesis was to evaluate the threat that A. astaci still poses to European crayfish species more than 150 years after its introduction to Europe. In the first part of the thesis, crayfish specimens, which are available in the German pet trade, were tested for infections with A. astaci. Around 13% of the tested crayfish were clearly infected with A. astaci. The study demonstrated the potential danger the pet trade poses for biodiversity through the import of alien species and their potential pathogens, in general. In the second part of the thesis, the A. astaci infection prevalence of crayfish species in wild populations in Europe was tested. While the stone crayfish, Austropotamobius torrentium, showed high susceptibility to different haplogroups of A. astaci, the narrow-clawed crayfish, Astacus leptodactylus, was able to survive infections, even by haplogroup B, which is considered to be highly virulent. In the last part of the thesis, A. astaci was traced back to its original distribution area of North America. While the crayfish plague never had such a devastating effect on crayfish in North America as it had in Europe, the reasons for the success of invasive crayfish within North America are not yet fully understood. It is possible that A. astaci increases the invasion success of some crayfish species. Several populations of the rusty crayfish, Orconectes rusticus, in the Midwest of North America were confirmed to be infected with A. astaci and a new genotype was identified, possibly indicating that each crayfish host is vector of a unique A. astaci genotype, even in North America. Overall, the present thesis provides evidence that A. astaci is still a major threat to the crayfish species indigenous to Europe. Crayfish mass mortalities still occur in susceptible crayfish species like A. torrentium even 150 years after the first introduction of A. astaci. While there are some indications for increased resistances through processes of co-evolution, the continuous introduction of crayfish species to Europe threatens to cause new outbreaks of the crayfish plague through the parallel introduction of new, highly virulent A. astaci strains.
From September 4 to 11, 1992, a fiirst meeting between Ukrainian and German scientists interested in mathematical and computer modeling of social processes was held at Vorzel' near Kiev. The meeting had been planned for nearly three years by Igor V. Chernenko and Mikhail V. Kuz'min, then members of the research group on mathematical modeling in sociology at the Institute of Sociology of the Academy of Science of the Ukrainian Republic, and had to be postponed twice due to the political development in the former Soviet Union, but thanks to the organizers' perseverance (and in spite of a strike of the airport personell at Kiev Borispol Airport on the eve of the conference) the conference could at last be realized.rnThe main purpose of the conference was to discuss a synergetic interpretation of large-scale destructive social processes as catastrophic phenomena in self-organized systems.
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.
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.
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.
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.
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.
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.
In dieser Arbeit werden die Navier-Stokes Gleichungen für instationäre inkompressible Fluide in einem zeitabhängigen Gebiet untersucht.
Das Verhalten des Fluids beeinflusst die Geometrie des Gebietes, indem das Fluid Kräfte (beschrieben durch den Spannungstensor) auf die deformierbare Struktur ausübt.
Die Motivation dazu stammt aus de mathematischen Medizin - Simulation des Blutflusses in Arterien und Venen.
Nach der Auswahl des passenden Modells für den Fluss innerhalb des Kanals mit viskoelastisch-deformierbaren Wänden, wird das Gesamtmodell mathematisch untersucht. Die Existenz schwacher Lösungen wird mithilfe der schwach-kompressiblen Approximation im Gebiet mit gegebener Deformationsfunktion nachgewiesen. Hierbei wir die Fluid-Struktur-Kopplungsbedingung mithilfe des Ansatzes für teilweise permeable Wände approximiert und somit entkoppelt.
Schließlich werden numerische Experimente präsentiert, welche die Konvergenz der Iterationen bezüglich der Funktion der Deformation, wie auch das Verhalten der beweglichen Wand für sinkende Wandpermeabilität illustrieren.
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 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.
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.
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.
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.
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 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.
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.
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.
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.
Computed tomography (CT) and magnetic resonance imaging (MRI) in the medical area deliver huge amounts of data, which doctors have to handle in a short time. These data can be visualised efficiently with direct volume rendering. Consequently most direct volume rendering applications on the market are specialised on medical tasks or integrated in medical visualisa- tion environments. Highly evolved applications for tasks like diagnosis or surgery simulation are available in this area. In the last years, however, another area is making increasing use of com- puted tomography. Companies like phoenix |x-ray, founded in 1999 pro- duce CT-scanners especially dedicated to industrial applications like non destructive material testing (NDT). Of course an application like NDT has different demands on the visualisation than a typical medical application. For example a typical task for non destructive testing would be to high- light air inclusions (pores) in a casting. These inclusions usually cover a very small area and are very hard to classify only based on their density value as this would also highlight the air around the casting. This thesis presents multiple approaches to improve the rendering of in- dustrial CT data, most of them based on higher dimensional transfer func- tions. Therefore the existing volume renderer application of VRVis was extended with a user interface to create such transfer functions and exist- ing render modes were adapted to profit from the new transfer functions. These approaches are especially suited to improve the visualisation of sur- faces and material boundaries as well as pores. The resulting renderings make it very easy to identify these features while preserving interactive framerates.
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.
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.
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.
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
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.
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.
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.
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 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.
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.
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.
This volume contains those research papers presented at the Second International Conference on Tests and Proofs (TAP 2008) that were not included in the main conference proceedings. TAP was the second conference devoted to the convergence of proofs and tests. It combines ideas from both areas for the advancement of software quality. To prove the correctness of a program is to demonstrate, through impeccable mathematical techniques, that it has no bugs; to test a program is to run it with the expectation of discovering bugs. On the surface, the two techniques seem contradictory: if you have proved your program, it is fruitless to comb it for bugs; and if you are testing it, that is surely a sign that you have given up on any hope of proving its correctness. Accordingly, proofs and tests have, since the onset of software engineering research, been pursued by distinct communities using rather different techniques and tools. And yet the development of both approaches leads to the discovery of common issues and to the realization that each may need the other. The emergence of model checking has been one of the first signs that contradiction may yield to complementarity, but in the past few years an increasing number of research efforts have encountered the need for combining proofs and tests, dropping earlier dogmatic views of their incompatibility and taking instead the best of what each of these software engineering domains has to offer. The first TAP conference (held at ETH Zurich in February 2007) was an attempt to provide a forum for the cross-fertilization of ideas and approaches from the testing and proving communities. For the 2008 edition we found the Monash University Prato Centre near Florence to be an ideal place providing a stimulating environment. We wish to sincerely thank all the authors who submitted their work for consideration. And we would like to thank the Program Committee members as well as additional referees for their great effort and professional work in the review and selection process. Their names are listed on the following pages. In addition to the contributed papers, the program included three excellent keynote talks. We are grateful to Michael Hennell (LDRA Ltd., Cheshire, UK), Orna Kupferman (Hebrew University, Israel), and Elaine Weyuker (AT&T Labs Inc., USA) for accepting the invitation to address the conference. Two very interesting tutorials were part of TAP 2008: "Parameterized Unit Testing with Pex" (J. de Halleux, N. Tillmann) and "Integrating Verification and Testing of Object-Oriented Software" (C. Engel, C. Gladisch, V. Klebanov, and P. Rümmer). We would like to express our thanks to the tutorial presenters for their contribution. It was a team effort that made the conference so successful. We are grateful to the Conference Chair and the Steering Committee members for their support. And we particularly thank Christoph Gladisch, Beate Körner, and Philipp Rümmer for their hard work and help in making the conference a success. In addition, we gratefully acknowledge the generous support of Microsoft Research Redmond, who financed an invited speaker.
The University of Koblenz-Landau would like to apply for participation in the RoboCup Mixed Reality League in Suzhou, China 2008. Our team is composed of ten team members and two supervisors. All members are graduate students of Computational Visualistics. Our supervisors are Ph.D. candidates currently researching in the working groups of artificial intelligence and computer graphics.
Social networking platforms as creativity fostering systems: research model and exploratory study
(2008)
Social networking platforms are enabling users to create their own content, share this content with anyone they invite and organize connections with existing or new online contacts. Within these electronic environments users voluntarily add comments on virtual boards, distribute their search results or add information about their expertise areas to their social networking profiles and thereby share it with acquaintances, friends and increasingly even with colleagues in the corporate world. As a result, it is most likely that the underlying knowledge sharing processes result in many new and creative ideas. The objective of our research therefore is to understand if and how social social networking platforms can enforce creativity. In addition, we look at how these processes could be embedded within the organizational structures that influence innovative knowledge sharing behavior. The basis for our research is a framework which focuses on the relations between intrinsic motivation, creativity and social networking platforms. First results of our empirical investigation of a social software platform called "StudiVZ.net" proved that our two propositions are valid.
Probability propagation nets
(2008)
In der vorliegenden Arbeit wird eine Petri-Netz-Repräsentation für die Propagation von Wahrscheinlichkeiten und Evidenzen (Likelihoods) vorgestellt und auf probabilistische Horn-Abduktion sowie Fehlerbäume und Bayes-Netze angewendet. Diese sogenannten Wahrscheinlichkeits-Propagations-Netze (probability propagation nets) machen Propagations-Prozesse transparent, indem sie strukturelle und dynamische Aspekte in einer homogenen Darstellung vereinen. Anhand populärer Beispiele wird verdeutlicht, dass Wahrscheinlichkeits-Propagations-Netze die Propagations-Prozesse - besonders im Hinblick auf die Bayes-Netz-Algorithmik - anschaulich darstellen und gut nachvollziehbar machen, so dass sie sich für die Analyse und Diagnose probabilistischer Modelle eignen. Durch die Repräsentation von Fehlerbäumen mit Wahrscheinlichkeits-Propagations-Netzen können diese Vorzüge auf die Modellierung technischer Systeme übertragen werden.
Querying for meta knowledge
(2008)
The Semantic Web is based on accessing and reusing RDF data from many different sources, which one may assign different levels of authority and credibility. Existing Semantic Web query languages, like SPARQL, have targeted the retrieval, combination and reuse of facts, but have so far ignored all aspects of meta knowledge, such as origins, authorship, recency or certainty of data, to name but a few. In this paper, we present an original, generic, formalized and implemented approach for managing many dimensions of meta knowledge, like source, authorship, certainty and others. The approach re-uses existing RDF modeling possibilities in order to represent meta knowledge. Then, it extends SPARQL query processing in such a way that given a SPARQL query for data, one may request meta knowledge without modifying the query proper. Thus, our approach achieves highly flexible and automatically coordinated querying for data and meta knowledge, while completely separating the two areas of concern.
This thesis is concerned with an issue of considerable importance to the development of revision skills: the role of teacher feedback. Prompted by the concern to develop a model of instruction which will help students write to the best of their capacities, the present study forms a proposal: an interactive model of revision. The study researches whether the kind of feedback proposed in this model is indeed a helpful tool for revision and whether the kind of negotiated revision that occurs is a vehicle for learning. The first section of the thesis reviews different areas of literature which are relevant to the study. More specifically, Chapter 2 presents the historical and theoretical foundations of different writing instructional practices and sheds light on issues concerning the use of the process approach. It also reviews research based on sociocognitive theoretical perspectives in an attempt to delineate the impact of interpersonal or social activity on individual performance and progress. Chapter 3 examines issues associated with the process approach in particular and illustrates how theory and method come together in a process writing classroom. Chapter 4 presents the differences in revising behaviours between experienced and inexperienced writers in both L1 and L2 contexts and the various ways these differences have been justified. It also highlights a number of issues which have been identified as contributing to effective revision. Particular attention is paid to the role that teacher feedback has to play as a means of promoting substantive student revision with an instructional emphasis on fluency, organisation and language. Chapter 5 presents an interactive model of revision, which envisions a communicative exchange between two partners, the student-writer and the teacher-reader, collaborating in order to develop awareness of revision strategies and establish criteria for effective writing. Chapter 6 investigates the epistemological basis of the research and presents a set of research questions and hypotheses, which guided the investigation. Chapter 7 frames the context of the research and details the methods used to collect the data from the study. The study involved 100 Year 7 students in two gymnasia in Koblenz, Germany. During the time of the investigation, the students wrote and revised five tasks. Three of these tasks were revised after receiving teacher feedback, which focused on aspects such as appropriacy and sufficiency of information, organization, coherence and grammatical accuracy. The study investigates the effects of this kind of focused feedback on the students" revisions and explores the relationship between revision and text improvement. Large quantitative and qualitative data sets were generated during the research. The quantitative data was based on the student documents (1000 original and revised drafts) whereas the qualitative data emerged from student questionnaires and seven case studies. Chapter 8 presents descriptions of the data analyses. More specifically, it describes the initial and final coding of the revisions traced in the student documents. Then it focuses on the type of qualitative analysis employed in the case studies in order to investigate the relationship between revision and text improvement. The final section of the chapter describes the questionnaire analysis, which was carried out to investigate attitudes, benefits and constraints from the implementation of the model. Chapter 9 examines the statistical results from the analysis of the students" revisions. More specifically, it explores the revisions made by the students across tasks and the relationships between the features of the teacher feedback and these revisions. The analysis highlights patterns in the development of revision skills and positive correlations of student revisions with features of the teacher feedback. Chapter 10 looks at the descriptive data from the case studies of seven individual student writers. The analysis of this data illustrates how the specific students negotiated the revisions and sheds more light on the relationship between feedback, revision and text improvement. Chapter 11 contains the analysis of the students" answers to the questionnaire, which provide illuminative information about the feedback-related attitudes. In Chapter 12, the thesis reaches its final destination. The journey over the paths of literature exploration, data gathering and data analysis ends with reflections on the messages that emerge from the data analysis. The conclusion reached is that young students can learn how to revise their writing and focused feedback is a viable pedagogic option for teaching revision. In addition to discussing the findings, this final section considers the pedagogical implications for the teaching of writing and suggests possible avenues for further work.
Die automatische Detektion der Lage und Ausrichtung von Unterwasser-Kabeln oder -Pipelines in Kamerabildern ermöglicht es, Unterwasserfahrzeuge autonome Kontrollfahrten durchführen zu lassen. Durch Pflanzenwuchs auf und in der Nähe von Kabeln bzw. Pipelines wird deren visuelle Erfassung jedoch erschwert: Die Bestimmug der Lage über die Detektion von Kanten mit anschließender Linien-Extraktion schlägt oft fehl. Probabilistische Ansätze sind hier den deterministischen überlegen. Durch die Modellierung von Wahrscheinlichkeiten kann trotz geringer Anzahl von extrahierten Merkmalen eine Aussage über den Zustand des Systems getroffen werden. Diese Arbeit stellt ein neues auf Partikelfiltern basierendes Tracking-System für die Verfolgung von Kabeln und Pipelines in Bildsequenzen vor. Umfangreiche Experimente auf realistischen Unterwasser-Videos zeigen die Robustheit und Performanz des gewählten Ansatzes sowie Vorteile gegenüber vorangegangenen Arbeiten.
Ö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.
Ziel der vorliegenden Arbeit ist die Erforschung von Einstellungen und prosozialem Verhalten zwischen Arbeitsgruppen aus Sicht der Theorie der sozialen Identität und der Kontakthypothese. Dem Rekategorisierungsmodell von Gaertner und Dovidio (2000) folgend wird angenommen, dass "optimale" Kontaktbedingungen (Allport, 1954) eine gemeinsame organisationale Identität anregen. Diese gemeinsame Identität sollte verschiedene Arbeitsgruppen dazu motivieren, zusammenzuarbeiten und freiwilliges Arbeitsverhalten zu zeigen anstelle von Voreingenommenheiten. Vorhersagen des Rekategorisierungsmodells werden zusätzlich durch Annahmen aus dem Eigengruppen-Projektionsmodell (Mummendey & Wenzel, 1999) und dem Selbstkategorisierungsmodell der Gruppennormen (Terry & Hogg, 1996) ergänzt. Die abgeleiteten Hypothesen werden an einer Stichprobe von N1 = 281 MitarbeiterInnen aus N2 = 49 Abteilungen und den entsprechenden AbteilungsleiterInnen eines deutschen Versandhandelsunternehmens überprüft (Studie 1). Die Ergebnisse zeigen, dass Kontaktbedingungen auf Gruppen- und Personenebene weniger Voreingenommenheit zwischen Arbeitsgruppen, sowie mehr prosoziales Verhalten (d. h. Kooperation und Hilfeverhalten) vorhersagen. Die Repräsentation als gemeinsame Gruppe vermittelt diesen Zusammenhang für die Variablen Bewertung der Fremdgruppe und Kooperation. Dagegen wird der Zusammenhang zwischen gemeinsamer organisationaler Identität und Voreingenommenheit durch die relative Prototypikalität der Abteilung moderiert, wie es das Eigengruppen-Projektionsmodell vorhersagt. Der Effekt einer prosozialen Gruppennorm auf Hilfeverhalten wird durch die Identifikation mit der Arbeitsgruppe moderiert. In einer Längsschnittstudie mit insgesamt N = 57 Mitgliedern studentischer Projektgruppen wird der Befund repliziert, dass Kontakt unter "optimalen" Bedingungen zu mehr prosozialem Verhalten und weniger Voreingenommenheit zwischen organisationalen Gruppen führt. Der Mediationseffekt durch eine gemeinsame Gruppenidentität zeigt sich jedoch in Studie 2 nicht. Die Ergebnisse der ersten Studie lassen vermuten, dass interpersonales Hilfeverhalten besser durch Prädiktoren auf der gleichen Kategorisierungsebene (d. h. Personenebene) vorhergesagt werden kann (vgl. Haslam, 2004). Daher wird die zusätzliche Annahme getroffen, dass Kontakt in einem Kontext, welcher persönliche Identitäten salient macht (d. h. zu Dekategorisierung führt), interpersonales Verhalten besser vorhersagen kann. Dagegen sollte Kontakt in einem Kontext, welcher Gruppenidentitäten salient macht (d. h. zu Kategorisierung führt), intergruppales Verhalten besser vorhersagen können (vgl. Tajfel, 1978). Zusätzliche Daten aus Studie 1 belegen diesen kontextspezifischen Effekt von Kontakt auf interpersonales bzw. intergruppales prosoziales Verhalten. Im letzten Schritt wird das längsschnittliche Kontaktmodell von Pettigrew (1998) untersucht, welches Kontakt in Kontexten, die zu Dekategorisierung, Kategorisierung bzw. Rekategorisierung führen, in einer zeitlichen Abfolge miteinander verbindet. Erste Befunde aus Studie 2 zeigen, dass eine Abfolge der Kategorisierungsprozesse beginnend bei Dekategorisierung über Kategorisierung hin zu Rekategorisierung eine besonders effektive Möglichkeit zur Verbesserung der Kooperation zwischen Gruppen bieten könnte. Zum Abschluss wird ein Kontextspezifisches Kontaktmodell vorgeschlagen, das Befunde aus den beiden vorgestellten Studien integriert und zu weiterer Forschung an prosozialem Verhalten zwischen Arbeitsgruppen anregen soll. Mögliche Mediatoren und Moderatoren werden neben einer Reihe von Implikationen für die Forschung und Praxis diskutiert.
Computers and especially computer networks have become an important part of our everyday life. Almost every device we use is equipped with a computer or microcontroller. Recent technology has even boosted this development by miniaturization of the size of microcontrollers. These are used to either process or collect data. Miniature senors may sense and collect huge amounts of information coming from nature, either from environment or from our own bodies. To process and distribute the data of these sensors, wireless sensor networks (WSN) have been developed in the last couple of years. Several microcontrollers are connected over a wireless connection and are able to collect, transmit and process data for various applications. Today, there are several WSN applications available, such as environment monitoring, rescue operations, habitat monitoring and smart home applications. The research group of Prof. Elaine Lawrence at the University of Technology, Sydney (UTS) is focusing on mobile health care with WSN. Small sensors are used to collect vital data. This data is sent over the network to be processed at a central device such as computer, laptop or handheld device. The research group has developed several prototypes of mobile health care. This thesis will deal with enhancing and improving the latest prototype based on CodeBlue, a hardware and software framework for medical care.
In dieser Dissertation wird eine Verfahrensweise für die formale Spezifikation und Verifikation von Benutzerschnittstellen unter Sicherheitsaspekten vorgestellt. Mit dieser Verfahrensweise können beweisbar sichere Benutzerschnittstellen realisiert werden. Die Arbeit besteht aus drei Teilen. Im ersten Teil wird eine Methodologie für die formale Beschreibung von Mensch-Maschine-Interaktion entwickelt. Im zweiten Teil werden gängige Computersicherheitskonzepte für die Mensch-Maschine-Interaktion angepasst und mit den im ersten Teil entwickelten Methoden formalisiert. Dabei wird ein generisches formales Modell von Mensch-Maschine-Interaktion erstellt. Im dritten Teil wird die Methodologie, die in den ersten beiden Teilen entwickelt wurde, an einem sicheren Email-Client als exemplarischen Anwendungsprogramm demonstriert.
Weltweit kann im letzten Jahrzehnt auf eine rasch zunehmende Akzeptanz des Internets als Informationsplattform zurückgeblickt werden. Grundlegende Änderungen fanden sowohl im privaten als auch im öffentlichen Sektor statt. Im Zuge dessen wurde die aktive Beteiligung von Bürgern in politische Meinungsbildungsprozesse mehr und mehr elektronisch unterstützt. Die Erwartungen an die neue Technologie steigerten sich in die Annahme, dass Informations- und Kommunikationstechnologien (IKT) die Bürgerbeteiligung verbessern und die Politikverdrossenheit mindern können. Aus diesen Erwartungen entwickelten sich einige E-Partizipationsprojekte in Deutschland. Außerdem wurde die "Initiative eParticipation" ins Leben gerufen, die in Bezug auf E-Partizipation Politik und Verwaltungen stark anregte, den Entscheidungsprozess mit Hilfe von internetgestützten Beteiligungspraktiken zu stärken. Diese Arbeit besteht aus zwei Hauptteilen. Im ersten Teil werden Definitionen der kritischen Begriffe präsentiert. Außerdem wird die Position von E-Partizipation innerhalb der Dimension des E-Business aufgezeigt. Um E-Partizipation zu erläutern, werden zuerst Grundlagen der klassischen Bürgerbeteiligung erklärt. Es wird gezeigt, dass sich auch die klassische Bürgerbeteiligung in einem Veränderungsprozess befindet, dessen Ursache nicht nur der Einsatz von IKT ist. Nachfolgend wird ein Rahmenwerk präsentiert, welches das Spektrum von E-Partizipation charakterisiert. Die Europäische Union fördert die Umsetzung von E-Partizipation. Koblenz soll da keine Ausnahme bilden. Aber wie ist die momentane Situation in Koblenz? Um diese Frage zu beantworten wird der gegenwärtige Zustand untersucht. Dazu wurde eine Umfrage unter den Bürgern der Stadt entwickelt, durchgeführt und ausgewertet. Dies ist der zweite Hauptteil dieser Arbeit.