Extern
Refine
Has Fulltext
- yes (428) (remove)
Year of publication
Document Type
- Conference Proceeding (122)
- Doctoral Thesis (95)
- Article (71)
- Postprint (68)
- Working Paper (39)
- Monograph/Edited Volume (14)
- Preprint (6)
- Review (6)
- Master's Thesis (4)
- Habilitation Thesis (2)
Language
- English (428) (remove)
Keywords
- USA (7)
- United States (7)
- Arktis (6)
- moderne jüdische Geschichte (6)
- Arctic (5)
- climate change (5)
- modern Jewish history (5)
- 20. Jahrhundert (4)
- 20th century (4)
- Fernerkundung (4)
- 19. Jahrhundert (3)
- COVID-19 (3)
- Diversity (3)
- Holozän (3)
- Immunoassay (3)
- Klimawandel (3)
- Kohlenstoff (3)
- Nanopartikel (3)
- carbon (3)
- cluster expansion (3)
- gender (3)
- infinite-dimensional Brownian diffusion (3)
- molecular motors (3)
- molekulare Motoren (3)
- remote sensing (3)
- 19th century (2)
- Anden (2)
- Andes (2)
- Antarctica (2)
- Antarktis (2)
- Argentina (2)
- Argentinien (2)
- Atmosphäre (2)
- Datenanalyse (2)
- Energiespeicher (2)
- Fluoreszenz-Resonanz-Energie-Transfer (2)
- Focus (2)
- Galaxien (2)
- Geodynamik (2)
- German history (2)
- Graphentheorie (2)
- Holocene (2)
- ICT (2)
- Informatics (2)
- Kohlenstoffnitriden (2)
- Korrosion (2)
- Lidar (2)
- Magnetismus (2)
- Magnetohydrodynamik (2)
- Modern Jewish history (2)
- N400 (2)
- PUFA (2)
- Rheologie (2)
- Rheology (2)
- Schadensmodellierung (2)
- Seesedimente (2)
- Seismologie (2)
- Spektroskopie (2)
- Systembiologie (2)
- Virus (2)
- air-water interface (2)
- atmosphere (2)
- carbon nitrides (2)
- carbon pricing (2)
- climate policy (2)
- corrosion (2)
- cosmic rays (2)
- deutsche Geschichte (2)
- energy policy (2)
- energy storage (2)
- entrepreneurship (2)
- entropy (2)
- experiment (2)
- fatty acid (2)
- food quality (2)
- galaxies (2)
- gesture (2)
- grammaticalization (2)
- graph theory (2)
- heterogene Photokatalyse (2)
- heterogeneous photocatalysis (2)
- higher education (2)
- immunoassay (2)
- kosmische Strahlung (2)
- machine learning (2)
- magnetohydrodynamics (2)
- mental health (2)
- migration (2)
- nanoparticles (2)
- organic synthesis (2)
- organische Synthese (2)
- primary school (2)
- seismology (2)
- self-employment (2)
- stable isotopes (2)
- stochastic processes (2)
- stochastische Prozesse (2)
- virus (2)
- (implicit) prosody (1)
- 2D Numerical Modelling (1)
- 315 nm (1)
- 46 (3) 2009 (1)
- 473 nm (1)
- 946 nm (1)
- AC Elektrokinetik (1)
- AC Elektroosmosis (1)
- AC electrokinetics (1)
- AC electroosmosis (1)
- ACIDIFICATION (1)
- AGN (1)
- AMNET (1)
- ARMS (1)
- ASPECT (1)
- Active Labor Market Policy (1)
- Adana Basin (1)
- Adana Becken (1)
- Adaptive hypermedia (1)
- Adsorption (1)
- Adverbial Quantification (1)
- Aerosole (1)
- Aerosols (1)
- Africa (1)
- Akan (1)
- Aktiven Galaxienkerne (1)
- Allantoin (1)
- Allgemeine Relativitätstheorie (1)
- Alternative Semantics (1)
- Altiplano (1)
- Aluminiumlegierung (1)
- Alzheimer's Disease (1)
- Anaphylatoxin (1)
- Anatomy (1)
- Animal (1)
- Animal personality (1)
- Anpassung (1)
- Antibiotic alternatives (1)
- Antibiotic resistance (1)
- Antibiotikaersatz (1)
- Antibiotikaresistenz (1)
- Antikörper (1)
- Antwortmengenprogrammierung (1)
- Archetyp (1)
- Arctic aerosol (1)
- Arctic haze (1)
- Arctic tundra (1)
- Arnos Padiri (1)
- Association Rule Mining (1)
- Assoziationsregeln (1)
- Astronomie (1)
- Asynchrone Schaltung (1)
- Asynchronous circuit (1)
- Atmosphärenforschung (1)
- Bachelor (1)
- Backward ownership (1)
- Bakterien (1)
- Basalt-Vulkane (1)
- Bay of Bengal (1)
- Bayesian Network (1)
- Bayesianisches Netzwerk (1)
- Bayesianism (1)
- Bayesianismus (1)
- Bedingte Inklusionsabhängigkeiten (1)
- Bemessungshochwasser (1)
- Beschichtungen (1)
- Beta-Lactoglobulin (1)
- Beweidung (1)
- Bi2Se3 (1)
- Bi2Te3 (1)
- Bildung (1)
- Bindungsinteraktion (1)
- Biochemical analysis (1)
- Biofilm (1)
- Biokonjugate (1)
- Biomoleküle (1)
- Biophotonik (1)
- Bioraffinerie (1)
- Blattverschiebung (1)
- Boden (1)
- Bodenunruhe (1)
- Bruchmodel (1)
- Bryophytes (1)
- Bucht von Bengalen (1)
- Bulge (1)
- CS Ed Research (1)
- CS at school (1)
- CS curriculum (1)
- CSC (1)
- Caco-2 (1)
- Canonical Gibbs measure (1)
- Capsule (1)
- Carbo-Iron (1)
- Carbon Capture (1)
- Carbon Dioxide Removal (1)
- Cars (1)
- Catecholamine (1)
- Causal structure (1)
- Chaco-Paraná Becken (1)
- Chaco-Paraná basin (1)
- Chalkogenide (1)
- Charnockit (1)
- Chemistry of fresh water (1)
- Chemokinematik der Milchstraße (1)
- Chlamydomonas (1)
- Chloroplast transformation (1)
- Chloroplastentransformation (1)
- Citrazinsäure (1)
- Climate Policy (1)
- Climate reconstruction (1)
- Clustering (1)
- Color vision Aging (1)
- Comparing programming environments (1)
- Complement system (1)
- Complex networks (1)
- Computer Science Education (1)
- Conditional Inclusion Dependency (1)
- Confluence (1)
- Constraint Solving (1)
- Continental Rifts (1)
- Controller-Resynthese (1)
- Core-Collapse Supernovae (1)
- Course development (1)
- Course marketing (1)
- Course of Study (1)
- Courses for female students (1)
- Covert Variables (1)
- Covid-19 (1)
- Cu doped InP (1)
- Cu-dotiertes InP (1)
- Curricula Development (1)
- Curriculum analysis (1)
- DAS (1)
- DGVM (1)
- Daphnia (1)
- Data Dependency (1)
- Data-Mining (1)
- Datenabhängigkeiten (1)
- Datenintegration (1)
- Deduction (1)
- Deformation (1)
- Deligne Cohomology (1)
- Deligne Kohomologie (1)
- Demokratisierung (1)
- Density modelling (1)
- Deoxyfructosazin (1)
- Diamantstempelzelle (1)
- Diatomeen (1)
- Diatoms (1)
- Dichtemodellierung (1)
- Dielektrophorese (1)
- Difference-in-Differences (1)
- Diskursverstehen (1)
- Diversität (1)
- Domain Restriction (1)
- Downstep (1)
- Dreissena polymorpha (1)
- Dronning Maud Land (1)
- Durchmusterung (1)
- E-DSGE (1)
- E. coli (1)
- EAAT1 (1)
- EKP (1)
- EROSION (1)
- ERP (1)
- ERPs (1)
- EVENTS (1)
- Earthquake (1)
- East European Jewish history (1)
- Ecology (1)
- Ecotoxicology (1)
- Einkapselung (1)
- Einzelatomkatalyse (1)
- Eisbohrkern (1)
- Electron acceleration (1)
- Elektronenbeschleunigung (1)
- Emissionslinienklassifikation (1)
- Employee Training (1)
- Emulsion (1)
- Energietransfer (1)
- Energy expenditure (1)
- English and Physics teacher trainees (1)
- Entrepreneurship (1)
- Entry deterrence (1)
- Entstehung der Milchstraße (1)
- Erdbeben (1)
- Erdmantel (1)
- Erkennen von Meta-Daten (1)
- Erosion (1)
- Ethics (1)
- Etna (1)
- Europa (1)
- Europe (1)
- European Alps (1)
- European hare (1)
- European history (1)
- Evolution (1)
- Evolution der Milchstraße (1)
- Exoplaneten (1)
- Exoplanetenatmosphären (1)
- Experimental study (1)
- Exploration (1)
- FARIMA (1)
- FastScape (1)
- Ferroperiklas (1)
- Figurative Sprachverarbeitung (1)
- Figurative language processing (1)
- Firm Growth (1)
- Flache Subduktion (1)
- Flat subduction (1)
- Fluorpolymere (1)
- Foreclosure (1)
- Foreland (1)
- Foreland basin (1)
- Foreland basins (1)
- Forstwirtschaft (1)
- Frucht (1)
- Förster Resonanz Energie Transfer (1)
- GC-MS (1)
- GIS (1)
- GITEWS (1)
- GPS (1)
- Galaxie: allgemein (1)
- Galaxienhaufen (1)
- Galicia (1)
- Galizien (1)
- Gasgeochemie (1)
- Geistesgeschichte (1)
- Gen-Koexpression (1)
- Gender (1)
- Gene co-expression (1)
- General Relativity (1)
- General subject “Information” (1)
- Geodynamic Modelling (1)
- Geodynamics (1)
- Geodynamische Modellierung (1)
- Gerben (1)
- Gerbes (1)
- German Jewry (1)
- Geschwindigkeitsmodell (1)
- Gibbs field (1)
- Gibbs measure (1)
- Gletschervorfeld (1)
- Global Differentialgeometry (1)
- Globale Differentialgeometrie (1)
- Glucagon (1)
- Glutamat (1)
- Glutamate (1)
- Grabenbrüche (1)
- Grammatica (1)
- Grandonica (1)
- Gravitational Waves (1)
- Gravitationswellen (1)
- Greenhouse Gas Emissions (1)
- Greenland (1)
- Grenzflächenchemie (1)
- Grenzschicht (1)
- Grundwassersanierung (1)
- Grönland (1)
- Grüne Chemie (1)
- Gyrochronologie (1)
- H/V (1)
- HMA (1)
- HVSR (1)
- HYDROGRAPH SEPARATION (1)
- Hanxleden (1)
- Hauptfaserbündel (1)
- Hebung des Plateaus (1)
- HepG2 (1)
- Hepatic artery (1)
- Hepatic glucose balance (1)
- Hepatic hemodynamics (1)
- Hepatic lactate balance (1)
- Hepatic nerve (1)
- Heptazine (1)
- High growth firms (1)
- Hochdruck (1)
- Hochwasserrisiko (1)
- Holonomie (1)
- Holonomy (1)
- Horace Kallen (1)
- Horizontal flux (1)
- Human Capital Investments (1)
- Hyperakkumulation (1)
- Hysterese (1)
- ICT curriculum (1)
- ISSEP (1)
- Impakt (1)
- Impermanence (1)
- InSAR (1)
- Indian Summer Monsoon (1)
- Indischer Sommermonsun (1)
- Influenza (1)
- Informatics Education (1)
- Informatik (1)
- Informatikdidaktik (1)
- Information Ethics (1)
- Information Processing (1)
- Inlandeis (1)
- Innovation (1)
- Institutions (1)
- Inter-individual differences (1)
- Interacting Diffusion Processes (1)
- Intersectionality (1)
- Intervention Effect (1)
- Intonation (1)
- Introgression (1)
- Inversion (1)
- Ionenmobilitätspektrometrie (1)
- Isaac Leeser (1)
- Isaac Mayer Wise (1)
- Israel (1)
- JH-III-specific carrier protein (1)
- Japanese (1)
- Jets (1)
- Job Creation (1)
- Job Search (1)
- Jurkat cells (1)
- Juvenile hormone (1)
- KINETIC-ENERGY (1)
- Karbonnitrid Ionothermalsynthese (1)
- Kathode (1)
- Kausalstruktur (1)
- Kern-Kollaps-Supernovae (1)
- Kern-Mantel Grenze (1)
- Key Competencies (1)
- Klimadaten (1)
- Klimanetzwerke (1)
- Klimaphysik (1)
- Klimarekonstruktion (1)
- Klimavariabilität (1)
- Kohlenstoffhaushalt (1)
- Kohlenstoffkreislauf (1)
- Kohlenstoffmaterialien (1)
- Kohlenstoffmodell (1)
- Kohnen (1)
- Komplexe Netzwerke (1)
- Kultivierung (1)
- LAEs (1)
- LC/HRMS (1)
- LOC (1)
- LPJ (1)
- Labor Market Mobility (1)
- Lake Constance (1)
- Lake sediments (1)
- Langevin Dynamics (1)
- Lanthanoide (1)
- Laser ablation (1)
- Lateglacial (1)
- Lavafontänen (1)
- Leptinotarsa decemlineata (1)
- Li-Ionen-Akkus (1)
- Li-Ionen-Kondensator (1)
- Li-ion batteries (1)
- Li-ion capacitor (1)
- LiFePO4 (1)
- Lignin (1)
- Link Discovery (1)
- Link-Entdeckung (1)
- Linked Open Data (1)
- Logic Programming (1)
- Logics (1)
- Lokalisierung von Deformation (1)
- Lumineszenz (1)
- Lyman Kontinuum (1)
- Lyman alpha (1)
- Lyman continuum (1)
- Lyman-Alpha-Emitter (1)
- Lyman-alpha emitters (1)
- Lysimeter (1)
- MESOSCALE CONVECTIVE COMPLEXES (1)
- MIXTURE (1)
- MSPAC (1)
- Macular pigment (1)
- Magnetfelder (1)
- Magnetoelastizität (1)
- Malliavin calculus (1)
- Manager Decisions (1)
- Markov chains (1)
- Markov-Prozesse (1)
- Markovketten (1)
- Massenspektrometrie (1)
- Massenverlust (1)
- Mechanobiologie (1)
- Meereis (1)
- Mehrschichtsysteme (1)
- Memory studies (1)
- Mesokristalle (1)
- Mesoporosity (1)
- Mesoporosität (1)
- Metabolism (1)
- Metabolit (1)
- Metabolome (1)
- Metadata Discovery (1)
- Metadatenentdeckung (1)
- Metadatenqualität (1)
- Meteorologie (1)
- Methankreislauf (1)
- MiSpEx (1)
- Microsaccades (1)
- Microsaccadic Inhibition (1)
- Microschwimmer (1)
- Middle East (1)
- Mikrokapsel (1)
- Mikroplatte (1)
- Mikrowellensynthese (1)
- Mikrozonierung (1)
- Milky Way chemo-kinematics (1)
- Milky Way evolution (1)
- Milky Way formation (1)
- Mineralverwitterungsreaktionen (1)
- Minority shareholdings (1)
- Mobile learning (1)
- Mobilität (1)
- Modeling (1)
- Modellierung (1)
- Moderne jüdische Geschichte (1)
- Mondsee (1)
- Monolayers (1)
- Morbus Alzheimer (1)
- Morphologie von Kapseln (1)
- Movement ecology (1)
- Multilayers (1)
- Muttergalaxien (1)
- NP-deletion (1)
- Nanoeisen (1)
- Nanoelektroden (1)
- Natrium-Ionen-Akkumulator (1)
- Navigation (1)
- Nehemia Robinson (1)
- Neodym-YAG-Laser (1)
- Neutronensterne (1)
- Nichtlineare Spektroskopie (1)
- Nichtlineare Wellen (1)
- Nitrogen deposition (1)
- Nonlinear waves (1)
- Numerische 2D Modellierung (1)
- ODBA (1)
- Oberflächenchemie (1)
- Oberflächenprozesse (1)
- Oberflächenzustände (1)
- OpenStreetMap (1)
- Optimization (1)
- Optode (1)
- Orogen (1)
- Orthodox Judaism (1)
- Ortscharakterisierung (1)
- Ortseffekte (1)
- Oscillating Bubble (1)
- P-Typ ATPase (1)
- P300 (1)
- P300Psychophysiology (1)
- PBCEC (1)
- PHQ-4 score (1)
- PHREEQC (1)
- PM10, PM2, PM1 (1)
- POC (1)
- Paleofloods (1)
- Paläohochwasser (1)
- Paläoklima (1)
- Paläolimnologie (1)
- Partial Little Square (1)
- Partial ownership (1)
- Peptid-Polymer-Konjugate (1)
- Perfusion (1)
- Permafrost (1)
- Permafrostdegradation (1)
- Permafrostsedimente (1)
- Permafrostökosysteme (1)
- Perowskite (1)
- Petrinetz (1)
- Phage lysins (1)
- Phagenlysine (1)
- Photochemische Reaktionen (1)
- Piano delle Concazze (1)
- Pitch Reset (1)
- Pkw (1)
- Planetary Rings (1)
- Planing (1)
- Policy Reform (1)
- Pollen (1)
- Polyelectrolyte (1)
- Polyelektrolyt (1)
- Polyneuropathie (1)
- Populationsdynamik (1)
- Portal vein (1)
- Post-Focus Reduction (1)
- Pragmatik (1)
- Preußen (1)
- Primary informatics (1)
- Prinicipal Fibre Bundles (1)
- Problem solving (1)
- Problem solving strategies (1)
- Procrustes rotation analysis (1)
- Programming environments for children (1)
- Programming learning (1)
- Prokrustes Analyse (1)
- Prolog (1)
- Propeller (1)
- Proteom (1)
- Proxyunsicherheit (1)
- Proxyverständnis (1)
- Prussia (1)
- Pseudodatensätze (1)
- Puna (1)
- Push and Pull Theories (1)
- Pytho n (1)
- QD device (1)
- QD stability (1)
- QD-Gerät (1)
- QD-Stabilität (1)
- QtClassify (1)
- Quality of regional governments (1)
- Quantenpunkt (1)
- Quantificational Variability (1)
- Quantitative Trait Locus (1)
- Quantitative Trait Locus analysis (1)
- RAVE Beobachtungskampagne (1)
- RAVE survey (1)
- Rabbiner (1)
- Random Field Ising Model (1)
- Rat (1)
- Rechtsgeschichte (1)
- Reform Judaism (1)
- Reformjudentum (1)
- Regions (1)
- Regulation (1)
- Reionisierung (1)
- Reisen (1)
- Relativistische Astrophysik (1)
- Remote Sensing (1)
- Rezeptor (1)
- Rift (1)
- Risk Attitudes (1)
- Rotation (1)
- Runoff and streamflow (1)
- Russia (1)
- Russian Arctic (1)
- Russland (1)
- Röntgenbeugung (1)
- S. 635-644 (1)
- SAR (1)
- SEGUE Beobachtungskampagne (1)
- SEGUE survey (1)
- SOILWATER END-MEMBERS (1)
- SPAC (1)
- STEM (1)
- STG decomposition (1)
- STG-Dekomposition (1)
- STREAMWATER CHEMISTRY (1)
- Salzgestein (1)
- Salzschmelze (1)
- Salzschmelze-Templating (1)
- Sanskrit (1)
- Saprolit (1)
- Sauerstoff (1)
- Schaum (1)
- Scheibe (1)
- Schemaentdeckung (1)
- Schlüsselkompetenzen (1)
- Scientific understanding of Information (1)
- Search Frictions (1)
- Sedimentenabfolge (1)
- Segmentierung (1)
- Selbstheilende Beschichtungen (1)
- Selbstorganisation (1)
- Selen (1)
- Selenonein (1)
- Shock waves (1)
- Shortening (1)
- Sierras Pampeanas (1)
- Signalflankengraph (SFG oder STG) (1)
- Silika (1)
- Simulationen (1)
- Social Cost of Carbon (1)
- Social Identity Theory (1)
- Social impact (1)
- Sociotechnical Design (1)
- Solar corona (1)
- Sonnenkorona (1)
- Space-Time Cluster Expansions (1)
- Spalteneruption (1)
- Spannungsfeld (1)
- Species richness (1)
- Spinpolarisation (1)
- Spleißvariante (1)
- Splice Variant (1)
- Spurengasflüsse (1)
- Spätglazial (1)
- Sri Lanka (1)
- Stabile Isotope (1)
- Stabilität (1)
- Stakeholder-based Science (1)
- Stakeholder-basierte Forschung (1)
- Stalagmiten (1)
- Start-Up Subsidies (1)
- Start-up Motivation (1)
- Statistik (1)
- Steilwinkel-Analyse von PcP (1)
- Stern-Planeten-Wechselwirkung (1)
- Sterne: Entfernungen (1)
- Sternphysik (1)
- Sternwinde (1)
- Stochastic Differential Equation (1)
- Stoffwechsel (1)
- Stoßwellen (1)
- Strahlungstransport (1)
- Strain Localisation (1)
- Strukturgeologie (1)
- Styrol (1)
- Subduction (1)
- Subduktion (1)
- Subsidenzgeschichte (1)
- Succession (1)
- Supernovaüberreste (1)
- Survival (1)
- Synthese (1)
- Synthesis (1)
- Systeme interagierender Partikel (1)
- Systems Biology (1)
- Süd-Türkei (1)
- TRACERS (1)
- TRPV1 (1)
- Tauziehen (1)
- Teaching problem solving strategies (1)
- Team Composition (1)
- Team Development (1)
- Technique (1)
- Tektonik (1)
- Temperaturproxy (1)
- Tensid (1)
- Thermokarstprozesse (1)
- Tibet Plateau (1)
- Tibetan Plateau (1)
- Tiefbeben und Kernexplosionen (1)
- Tomate (1)
- Tomato (1)
- Topic (1)
- Torsion Experiments (1)
- Torsionsexperimente (1)
- Trajectories (1)
- Transformation (1)
- Treibhausgasemissionen (1)
- Triazin (1)
- Tsunami (1)
- Turbulenz (1)
- UNITED-STATES (1)
- UV-detection (1)
- Ultra-Niedriggeschwindigkeitszonen (1)
- Understorey (1)
- Uniform pricing (1)
- Unintended Consequence (1)
- Union (1)
- Unsicherheiten (1)
- Unsicherheitsanalyse (1)
- Urate (1)
- VLT/MUSE (1)
- VOC (1)
- VP-ellipsis (1)
- Vascular plants (1)
- Vegetation (1)
- Vegetationsmodell (1)
- Verkürzung (1)
- Versöhnung (1)
- Vertical flux (1)
- Vertical integration (1)
- Verwitterungsfeedback (1)
- Videoanalyse (1)
- Visual Oddball Paradigm (1)
- Vorland (1)
- Vorlandbecken (1)
- Vulkan Verformung (1)
- Vulkanologie (1)
- Vulnerabilität (1)
- Warven (1)
- Warves (1)
- Wasser-Gesteins-Wechselwirkungen (1)
- Wasser/Luft Grenzflächen (1)
- Wasserhaushalt (1)
- Weathering (1)
- Weitwinkelröntgenstreuung (1)
- Wh-question (1)
- Whinterrogatives (1)
- Windböen (1)
- Winderosion (1)
- Wissenschaftsgeschichte (1)
- Wissensgeschichte (1)
- Women and IT (1)
- Word processing (1)
- Wärmefluss (1)
- Wärmekapazität (1)
- X-ray diffraction (1)
- XM (1)
- Zink (1)
- Zirkulardichroismus (1)
- Zyklone (1)
- Züchtung (1)
- [N]phenylene dyads (1)
- [N]phenylenes (1)
- academic leadership (1)
- acclimation (1)
- acoustically levitated droplets (1)
- active galactic nuclei (1)
- ad hoc learning (1)
- ad hoc messaging network (1)
- adaptation (1)
- adsorption (1)
- aerosol: hygroscopic growth (1)
- aerosol: hygroskopisches Wachstum (1)
- aerosol: optical properties (1)
- aerosol: optische Eigenschaften (1)
- affect (1)
- air pollution (1)
- aktive Galaxienkerne (1)
- akustisch schwebende Tropfen (1)
- alga (1)
- alpha (1)
- aluminum alloy (1)
- ambient vibration (1)
- ambiguity attitudes (1)
- anaerobe Inkubationensexperimente (1)
- anaerobic incubation experiments (1)
- angle resolved photoelectron spectroscopy (1)
- answer set programming (1)
- anterior PNP (1)
- antibody (1)
- archetype (1)
- arctic (1)
- arktische Tundra (1)
- arktischer Dunst (1)
- arktisches Aerosol (1)
- astronomy (1)
- atmospheric science (1)
- bacteria (1)
- basaltic volcanoes (1)
- behavioral economics (1)
- behaviour (1)
- benchmarking (1)
- bidirectional intracellular transport (1)
- bidirektionaler intrazellulärer Transport (1)
- bild (1)
- binding interactions (1)
- bioconjugate (1)
- biofilm (1)
- biomolecule (1)
- biophotonics (1)
- biorefinery (1)
- black holes (1)
- blended learning (1)
- bottom–up (1)
- boundary layer (1)
- breeding (1)
- built–in predicates (1)
- bulge (1)
- business services (1)
- canonical discretization schemes (1)
- capacity building (1)
- capillary electrophoresis (1)
- capsule morphology (1)
- carbon cycle (1)
- carbon cycling (1)
- carbon debt (1)
- carbon emissions (1)
- carbon materials (1)
- carbon nitride (1)
- carbon price (1)
- carbon removal (1)
- cartel (1)
- cathode (1)
- central Andes (1)
- central-eastern Beringia (1)
- chalcogenide (1)
- charnockite (1)
- chemical weathering (1)
- chemische Verwitterung (1)
- childcare provision (1)
- chlorbenzol (1)
- chronic pain (1)
- chronischer Schmerz (1)
- circular dichroism (1)
- citrazinic acid (1)
- climate (1)
- climate data (1)
- climate networks (1)
- climate physics (1)
- clustering (1)
- coating (1)
- coherence (1)
- collaboration (1)
- colloidal quantum dot (1)
- collusion (1)
- color change (1)
- communication (1)
- community (1)
- commuting (1)
- competence (1)
- complement (1)
- completion rates (1)
- complex emulsion (1)
- complex systems (1)
- complexity (1)
- composition (1)
- computational thinking (1)
- computer science (1)
- computing science education (1)
- concept of algorithm (1)
- conditioned (1)
- conditioned Feller diffusion (1)
- conjunction (1)
- constrained Hamiltonian systems (1)
- constraint (1)
- constructionism (1)
- consumer (1)
- control resynthesis (1)
- cooperative phenomena (1)
- cooperative transport (1)
- core-mantle boundary (1)
- covalent frameworks (1)
- critical and subcritical Dawson-Watanabe process (1)
- critical collapse (1)
- critical zone (1)
- crops (1)
- crowding out (1)
- cultivation (1)
- cultural pluralism (1)
- cyclones (1)
- damage modeling (1)
- damage modelling (1)
- data analysis (1)
- data integration (1)
- data profiling (1)
- data-mining (1)
- decomposition (1)
- decomposition methods (1)
- deductive databases (1)
- deep earthquakes and nuclear explosions (1)
- deep eutectic solvents (1)
- definite descriptions (1)
- density-driven flow (1)
- deoxyfructosazine (1)
- derivational complexity (1)
- detailed balance equation (1)
- deutsch-jüdische Geschichte (1)
- developing country cities (1)
- diamond anvil cell (1)
- dichlorbenzol (1)
- dichlorobenzene (1)
- dichtegetriebene Strömung (1)
- dielectrophoresis (1)
- differential-algebraic equations (1)
- disc (1)
- discotics (1)
- discourse comprehension (1)
- discrete choice (1)
- discrimination (1)
- diversity (1)
- doctoral studies (1)
- double dividend (1)
- drug delivery (1)
- dünne Filme (1)
- e-learning platform (1)
- early indicators for SLI (1)
- earth mantle (1)
- economic impacts (1)
- ecophysiology (1)
- education (1)
- efficiency (1)
- elastic coupling (1)
- elastische Kopplung (1)
- electrochemistry (1)
- emergency-aid (1)
- emission line classification (1)
- employment precariousness (1)
- emulsion (1)
- enantioselectivity (1)
- encapsulation (1)
- energy expenditure (1)
- engaged computing (1)
- entrepreneurship policy (1)
- environmental tax reform (1)
- equity crowdfunding (1)
- erosion (1)
- europe (1)
- european (1)
- europäische Geschichte (1)
- ex-situ focus (1)
- exoplanet atmospheres (1)
- exoplanets (1)
- extensions of logic programs (1)
- family (1)
- feature selection (1)
- ferropericlase (1)
- finance (1)
- financial access and inclusion (1)
- firn (1)
- fissure eruption (1)
- flexibility (1)
- flood risk (1)
- flow (1)
- fluorescence immunoassay (1)
- fluorinated polymers (1)
- foam (1)
- focus (1)
- focus marker (1)
- focus marking (1)
- focus movement (1)
- food prices (1)
- forestry (1)
- forward / backward chaining (1)
- fruit (1)
- function symbols (1)
- fundamental parameters (1)
- fundamentale Parameter (1)
- galactic astronomy (1)
- galaktische Astronomie (1)
- galaxy clusters (1)
- galaxy: general (1)
- gas geochemistry (1)
- gemeinsame Inversion (1)
- gender pay gap (1)
- general secondary education (1)
- generalized difference-in-difference (1)
- generalized logic programs (1)
- geodynamics (1)
- geothermal exploration (1)
- geothermal monitoring (1)
- geothermische Exploration (1)
- geothermische Überwachung (1)
- gepulster DPSS Laser (1)
- glacier forefield (1)
- global change (1)
- glucose (1)
- goal-setting (1)
- grafting-from (1)
- grazer (1)
- grazing (1)
- green chemistry (1)
- gridded data (1)
- großräumige Struktur des Universums (1)
- gyrochronology (1)
- habit formation (1)
- hard core potential (1)
- hate crime (1)
- heat capacity (1)
- heat flux (1)
- heptazine (1)
- herbivore (1)
- heteroatom-doped carbons (1)
- heteroatom-dotierte Kohlenstoffe (1)
- heterogene Katalyse (1)
- heterogeneous catalysis (1)
- hierarchical porosity (1)
- hierarchische Porosität (1)
- high pressure (1)
- high resolution (1)
- high-redshift (1)
- history of science (1)
- hohe Auflösung (1)
- hoher Rotverschiebung (1)
- home office (1)
- horizontal equity (1)
- horizontal-vertikales Spektralverhältnis (1)
- horizontaler Fluss (1)
- host galaxies (1)
- human capital (1)
- human excised skin (1)
- hydro-meteorological risk (1)
- hydro-meteorologische Risiken (1)
- hydrodynamic modeling (1)
- hydrodynamische Modellierung (1)
- hydrolysis (1)
- hyperaccumulation (1)
- hyperspectral remote sensing (1)
- hyperspektral Fernerkundung (1)
- hysteresis (1)
- ice core (1)
- ice sheet (1)
- image (1)
- imaging spectroscopy (1)
- impact (1)
- income (1)
- inequality (1)
- inequality of opportunity (1)
- influenza (1)
- informatics curricula (1)
- informatics education (1)
- informatics in upper secondary education (1)
- information structure (1)
- inorganic ions (1)
- instruction (1)
- instrumental variables (1)
- integration by parts formula (1)
- intellectual history (1)
- interacting particle systems (1)
- international comparison (1)
- international cooperation (1)
- international study (1)
- internationalisation for higher education (1)
- interreligious dialogue (1)
- interreligiöser Dialog (1)
- intonation (1)
- intracellular transport (1)
- intracluster medium (1)
- intrazellulärer Transport (1)
- inversion (1)
- ion mobility spectrometry (1)
- ionothermal synthesis (1)
- isotope variations (1)
- job characteristics (1)
- joint inversion (1)
- just transition (1)
- jüdische Orthodoxie (1)
- knowledge representation (1)
- kolloidaler Quantenpunkt (1)
- komplexe Emulsion (1)
- komplexe Systeme (1)
- kooperative Phänomene (1)
- kooperativer Transport (1)
- kovalente Rahmenbedingungen (1)
- kritische Zone (1)
- kritischer Kollaps (1)
- kultureller Pluralismus (1)
- lab-on-chip (1)
- labor productivity (1)
- labour migration (1)
- lactate output (1)
- lake sediments (1)
- langreichweitige Korrelationen (1)
- language acquisition (1)
- large-scale structure (1)
- late talker (1)
- lava fountains (1)
- layered compounds (1)
- leadership (1)
- lebende Materialien (1)
- legal history (1)
- lesson (1)
- life history (1)
- light-programmable viscosity (1)
- lignin (1)
- linked employer-employee data (1)
- liquid crystals (1)
- living materials (1)
- logic programming (1)
- logical signaling networks (1)
- logische Signalnetzwerke (1)
- long-memory (1)
- long-range dependence (1)
- long-term effects (1)
- low back pain (1)
- lubricant (1)
- lysimeter (1)
- ländliche Entwicklung (1)
- lösungsmittelfreie Synthese (1)
- magnetic fields (1)
- magnetism (1)
- magnetoelasticity (1)
- mandatory computer science foundations (1)
- market-entry game (1)
- markov processes (1)
- maschinelles Lernen (1)
- mass loss (1)
- mass spectrometry (1)
- massereiche Sterne (1)
- massive stars (1)
- mechanobiology (1)
- medical (1)
- medizinisch (1)
- mehrfache Stressfaktoren (1)
- mehrschichtige Verbindungen (1)
- memory studies (1)
- mesocrystals (1)
- mesoporous (1)
- mesoporös (1)
- meta-analysis (1)
- metabolic genomics (1)
- metabolite breeding (1)
- metabolite profiling (1)
- metabolome (1)
- metadata discovery (1)
- metadata quality (1)
- metamorphosis (1)
- meteorology (1)
- methane cycle (1)
- miRNA (1)
- micro- and nanotechnologies (1)
- microbial communities (1)
- microbial processes (1)
- microplate (1)
- microswimmers (1)
- microwave synthesis (1)
- microzonation (1)
- mikrobielle Gemeinschaften (1)
- mikrobielle Prozesse (1)
- mineral weathering reactions (1)
- misconceptions (1)
- mixed methods (1)
- mixture of bridges (1)
- mobility (1)
- mock data catalogues (1)
- modality (1)
- modifizierte räumliche Autkorrelationsmethode (1)
- molecular biomarkers (1)
- molekulare Biomarker (1)
- monensin (1)
- monochlorobenzene (1)
- monosaccharides (1)
- mother’s labor supply (1)
- multi-valued logic (1)
- multi-valued treatment (1)
- multidisciplinary intervention (1)
- multiple stress factors (1)
- multiresponsiv (1)
- multiresponsive (1)
- multitype measure-valued branching processes (1)
- nZVI (1)
- nachhaltige Energiespeichermaterialien (1)
- nano zero-valent iron (1)
- nanoelectrodes (1)
- nanogels (1)
- narrative structure (1)
- national multiplication training (1)
- national quality assurance agency in Guinea (1)
- natural field experiment (1)
- net-negative emissions (1)
- neutron stars (1)
- nichtgenestete Modellselektion (1)
- nineteenth century (1)
- noise (1)
- non-Ricardian households (1)
- non-manuals (1)
- non-nested model selection (1)
- nonlinear dynamics (1)
- nonlinear optics (1)
- numerical astrophysics (1)
- numerical modelling (1)
- numerical relativity (1)
- numerische Astrophysik (1)
- numerische Modellierung (1)
- numerische Relativitätstheorie (1)
- obesity (1)
- objective health measures (1)
- offene Daten (1)
- open data (1)
- optical properties (1)
- optische Eigenschaften (1)
- optode (1)
- organic matter (1)
- organisches Material (1)
- ortsverteile faseroptische Dehnungsmessung (1)
- oscillating bubble (1)
- osteuropäisch-jüdische Geschichte (1)
- oxygen (1)
- p-type ATPase (1)
- palaeoclimate (1)
- paleolimnology (1)
- paraconsistency (1)
- participatory didactics (1)
- peacebuilding (1)
- peptide-polymer conjugate (1)
- periglacial landscape evolution (1)
- periglacial landscapes (1)
- periglaziale Landschaften (1)
- periglaziale Landschaftsentwicklung (1)
- permafrost (1)
- permafrost degradation (1)
- permafrost ecosystems (1)
- permafrost sediments (1)
- perovskite (1)
- personal initiative (1)
- pervasive learning (1)
- petri net (1)
- phase synchronization (1)
- photochemical reactions (1)
- photoinduced electron transfer (1)
- photoresponse (1)
- photosynthesis (1)
- physical activity (1)
- physiology (1)
- plateau uplift (1)
- point-of-care (1)
- political ideology (1)
- political opportunism (1)
- political speech (1)
- pollution (1)
- polyneuropathy (1)
- population density (1)
- population dynamics (1)
- porous materials (1)
- poröse Materialien (1)
- post-depositional (1)
- posterior P600 (1)
- pragmatics (1)
- predictability (1)
- print culture (1)
- probabilistic approach (1)
- probabilistic processing (1)
- probabilistischer Ansatz (1)
- processing (1)
- processing of phonological details (1)
- productivity slowdown (1)
- programmable friction (1)
- promises (1)
- propellers (1)
- property taxes (1)
- proposal writing (1)
- prostaglandin-f2-alpha (1)
- protein (1)
- proteome (1)
- proxy uncertainty (1)
- proxy understanding (1)
- public good (1)
- public universities in Kenya (1)
- pulsed DPSS laser (1)
- quality assurance (1)
- quality assurance in Guinean higher education (1)
- quality assurance structures (1)
- quality culture (1)
- quality evaluation (1)
- quality in higher education (1)
- quasiparticle interactions (1)
- rabbis (1)
- radiative transfer (1)
- reactive transport (1)
- reaktiver Transport (1)
- receptor (1)
- reciprocal processes (1)
- reciprocal relationship (1)
- recombinant inbred line (1)
- reconciliation (1)
- redistribution (1)
- reflective breadth (1)
- reflective depth (1)
- reflective skills (1)
- refugees (1)
- reionization (1)
- relative clause (1)
- relativistic hydrodynamics (1)
- relativistische Hydrodynamik (1)
- religious education (1)
- religiöse Bildung (1)
- remediation (1)
- removal subsidies (1)
- renewable energy (1)
- renewable energy subsidies (1)
- representative longitudinal survey data (1)
- representative real-time survey data (1)
- resilience (1)
- return level estimation (1)
- returns to education (1)
- revenue recycling (1)
- reversible measure (1)
- rift (1)
- rising bubble (1)
- risk attitudes (1)
- rotation (1)
- rural development (1)
- russische Arktis (1)
- räumlich explizit (1)
- räumliche Analyse (1)
- räumliche Autkorrelationsmethode (1)
- räumliche Autokorrelation (1)
- salt melt (1)
- salt melt templating (1)
- salt rock (1)
- saprolite (1)
- schema discovery (1)
- school health examinations (1)
- schwarze Löcher (1)
- science (1)
- sea ice (1)
- sedimentary record (1)
- segmentation (1)
- seismic noise (1)
- seismisches Rauschen (1)
- selenium (1)
- selenoneine (1)
- self-assembly (1)
- self-employed (1)
- self-healing coatings (1)
- self-organization (1)
- self-rated health (1)
- selfefficacy (1)
- semantic incongruity (1)
- semantics (1)
- seston (1)
- sign languages (1)
- signal transition graph (1)
- silica nanoparticles (1)
- simulation (1)
- single-atom catalysis (1)
- site characterization (1)
- site effects (1)
- situated learning (1)
- skin penetration (1)
- social capital (1)
- social network (1)
- social networking (1)
- sodium-ion batteries (1)
- soft and hard templating (1)
- soft information (1)
- soil (1)
- soil analysis (1)
- solvent-free reactions (1)
- sorting (1)
- source model (1)
- southern Turkey (1)
- space-time Gibbs field (1)
- spatial analyses (1)
- spatial autocorrelation (1)
- spatially explicit (1)
- spatially explicit model (1)
- spectroscopy (1)
- speed independent (1)
- spin resolved photoelectron spectroscopy (1)
- spin-orbit coupling (1)
- spinaufgelöste Photoelektronenspektroskopie (1)
- spindown (1)
- spiropyran copolymer (1)
- spoken discourse (1)
- spreadsheets (1)
- stabile Isotope (1)
- stabile Schichtung (1)
- stability (1)
- stable stratification (1)
- stag-hunt game (1)
- stalagmites (1)
- star-planet interaction (1)
- stark eutektisches Lösungsmittel (1)
- stars: distances (1)
- statistical physics (1)
- statistics (1)
- statistische Physik (1)
- steep-angle analysis of PcP (1)
- steigende Blasen (1)
- stellar content (1)
- stellar physics (1)
- stellar winds (1)
- stellarer Inhalt (1)
- stochastic bridge (1)
- stocking capacity (1)
- strategic-uncertainty attitudes (1)
- stratification (1)
- stress field (1)
- strike-slip (1)
- structural and operational changes (1)
- structural geology (1)
- styrene (1)
- subjective survival probability (1)
- subsidence history (1)
- supercritical carbon dioxide (scCO₂) (1)
- supernova remnants (1)
- surface chemistry (1)
- surface processes (1)
- surface rheology (1)
- surface states (1)
- surfactants (1)
- survey (1)
- sustainability (1)
- sustainable energy storage materials (1)
- switchSENSE (1)
- switchSENSE Technologie (1)
- symplectic methods (1)
- systems biology (1)
- sättigbarer Absorber (1)
- tacrolimus formulation (1)
- tax competition (1)
- taxpayer subsidies (1)
- teacher (1)
- teacher education (1)
- teacher training (1)
- teaching material (1)
- tectonics (1)
- temperature proxy (1)
- temperature variability (1)
- terms-of-trade effects (1)
- test items (1)
- thermokarst processes (1)
- theta (1)
- thin films (1)
- time reversal (1)
- time reversal symmetry (1)
- tone languages (1)
- topics (1)
- topography (1)
- topological insulators (1)
- topologische Isolatoren (1)
- top– down (1)
- trace gas fluxes (1)
- trade (1)
- training for sustainability (1)
- training programme (1)
- transatlantic history (1)
- transatlantische Geschichte (1)
- transformation (1)
- transformation products (1)
- transformative justice (1)
- transition economy (1)
- transition metals (1)
- transitional justice (1)
- travel (1)
- treatment effects (1)
- triazine (1)
- tug-of-war (1)
- turbulence (1)
- two-dimensional (1)
- typology (1)
- ultra-low velocity zones (1)
- ultrafast (1)
- ultraschnell (1)
- uncertainty (1)
- uncertainty analysis (1)
- unemployment (1)
- unilateral climate policy (1)
- university leadership in Malaysia (1)
- university management (1)
- vegetation (1)
- vegetation model (1)
- velocity model (1)
- verbal irony (1)
- verbale Ironie (1)
- vertikaler Fluss (1)
- veterinary drugs (1)
- video analysis (1)
- vocational education (1)
- volcanic tremor (1)
- volcano deformation (1)
- volcanology (1)
- voting (1)
- voucher (1)
- vulkanischer Tremor (1)
- vulnerability (1)
- water balance (1)
- water rock interactions (1)
- wealth (1)
- weathering feedback (1)
- weiche und harte Templatierung (1)
- welfare and gender regimes (1)
- wh-ex-situ (1)
- wh-in-situ (1)
- wh-questions (1)
- wide-angle x-ray scattering (1)
- wind gusts (1)
- winderosion (1)
- windfall gains (1)
- winkelaufgelöste Photoelektronenspektroskopie (1)
- zentral-östliches Beringia (1)
- zentralen Anden (1)
- zinc (1)
- Ätna (1)
- Ökologie (1)
- Ökotoxikologie (1)
- Übergangsjustiz (1)
- Übergangsmetalle (1)
- ökonomische Auswirkungen (1)
- überkritisches Kohlendioxid (scCO₂) (1)
Institute
- Extern (428)
- Institut für Physik und Astronomie (41)
- Institut für Geowissenschaften (37)
- Center for Economic Policy Analysis (CEPA) (32)
- Institut für Chemie (30)
- Fachgruppe Volkswirtschaftslehre (27)
- Vereinigung für Jüdische Studien e. V. (23)
- Institut für Biochemie und Biologie (19)
- Department Psychologie (17)
- Department Linguistik (16)
Business process management aims at capturing, understanding, and improving work in organizations. The central artifacts are process models, which serve different purposes. Detailed process models are used to analyze concrete working procedures, while high-level models show, for instance, handovers between departments. To provide different views on process models, business process model abstraction has emerged. While several approaches have been proposed, a number of abstraction use case that are both relevant for industry and scientifically challenging are yet to be addressed. In this paper we systematically develop, classify, and consolidate different use cases for business process model abstraction. The reported work is based on a study with BPM users in the health insurance sector and validated with a BPM consultancy company and a large BPM vendor. The identified fifteen abstraction use cases reflect the industry demand. The related work on business process model abstraction is evaluated against the use cases, which leads to a research agenda.
Data obtained from foreign data sources often come with only superficial structural information, such as relation names and attribute names. Other types of metadata that are important for effective integration and meaningful querying of such data sets are missing. In particular, relationships among attributes, such as foreign keys, are crucial metadata for understanding the structure of an unknown database. The discovery of such relationships is difficult, because in principle for each pair of attributes in the database each pair of data values must be compared. A precondition for a foreign key is an inclusion dependency (IND) between the key and the foreign key attributes. We present with Spider an algorithm that efficiently finds all INDs in a given relational database. It leverages the sorting facilities of DBMS but performs the actual comparisons outside of the database to save computation. Spider analyzes very large databases up to an order of magnitude faster than previous approaches. We also evaluate in detail the effectiveness of several heuristics to reduce the number of necessary comparisons. Furthermore, we generalize Spider to find composite INDs covering multiple attributes, and partial INDs, which are true INDs for all but a certain number of values. This last type is particularly relevant when integrating dirty data as is often the case in the life sciences domain - our driving motivation.
A deterministic cycle scheduling of partitions at the operating system level is supposed for a multiprocessor system. In this paper, we propose a tool for generating such schedules. We use constraint based programming and develop methods and concepts for a combined interactive and automatic partition scheduling system. This paper is also devoted to basic methods and techniques for modeling and solving this partition scheduling problem. Initial application of our partition scheduling tool has proved successful and demonstrated the suitability of the methods used.
In the most abstract definition of its operational semantics, the declarative and concurrent programming language CHR is trivially non-terminating for a significant class of programs. Common refinements of this definition, in closing the gap to real-world implementations, compromise on declarativity and/or concurrency. Building on recent work and the notion of persistent constraints, we introduce an operational semantics avoiding trivial non-termination without compromising on its essential features.
Different properties of programs, implemented in Constraint Handling Rules (CHR), have already been investigated. Proving these properties in CHR is fairly simpler than proving them in any type of imperative programming language, which triggered the proposal of a methodology to map imperative programs into equivalent CHR. The equivalence of both programs implies that if a property is satisfied for one, then it is satisfied for the other. The mapping methodology could be put to other beneficial uses. One such use is the automatic generation of global constraints, at an attempt to demonstrate the benefits of having a rule-based implementation for constraint solvers.
Deductive databases need general formulas in rule bodies, not only conjuctions of literals. This is well known since the work of Lloyd and Topor about extended logic programming. Of course, formulas must be restricted in such a way that they can be effectively evaluated in finite time, and produce only a finite number of new tuples (in each iteration of the TP-operator: the fixpoint can still be infinite). It is also necessary to respect binding restrictions of built-in predicates: many of these predicates can be executed only when certain arguments are ground. Whereas for standard logic programming rules, questions of safety, allowedness, and range-restriction are relatively easy and well understood, the situation for general formulas is a bit more complicated. We give a syntactic analysis of formulas that guarantees the necessary properties.
Abstract interpretation-based model checking provides an approach to verifying properties of infinite-state systems. In practice, most previous work on abstract model checking is either restricted to verifying universal properties, or develops special techniques for temporal logics such as modal transition systems or other dual transition systems. By contrast we apply completely standard techniques for constructing abstract interpretations to the abstraction of a CTL semantic function, without restricting the kind of properties that can be verified. Furthermore we show that this leads directly to implementation of abstract model checking algorithms for abstract domains based on constraints, making use of an SMT solver.
The interest in extensions of the logic programming paradigm beyond the class of normal logic programs is motivated by the need of an adequate representation and processing of knowledge. One of the most difficult problems in this area is to find an adequate declarative semantics for logic programs. In the present paper a general preference criterion is proposed that selects the ‘intended’ partial models of generalized logic programs which is a conservative extension of the stationary semantics for normal logic programs of [Prz91]. The presented preference criterion defines a partial model of a generalized logic program as intended if it is generated by a stationary chain. It turns out that the stationary generated models coincide with the stationary models on the class of normal logic programs. The general wellfounded semantics of such a program is defined as the set-theoretical intersection of its stationary generated models. For normal logic programs the general wellfounded semantics equals the wellfounded semantics.
We propose a paraconsistent declarative semantics of possibly inconsistent generalized logic programs which allows for arbitrary formulas in the body and in the head of a rule (i.e. does not depend on the presence of any specific connective, such as negation(-as-failure), nor on any specific syntax of rules). For consistent generalized logic programs this semantics coincides with the stable generated models introduced in [HW97], and for normal logic programs it yields the stable models in the sense of [GL88].
We present the tool Kato which is, to the best of our knowledge, the first tool for plagiarism detection that is directly tailored for answer-set programming (ASP). Kato aims at finding similarities between (segments of) logic programs to help detecting cases of plagiarism. Currently, the tool is realised for DLV programs but it is designed to handle various logic-programming syntax versions. We review basic features and the underlying methodology of the tool.