Extern
Refine
Has Fulltext
- yes (440) (remove)
Year of publication
Document Type
- Conference Proceeding (122)
- Doctoral Thesis (96)
- Article (79)
- Postprint (68)
- Working Paper (39)
- Monograph/Edited Volume (14)
- Review (9)
- Preprint (6)
- Master's Thesis (4)
- Habilitation Thesis (2)
Language
- English (440) (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)
- ATRP (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)
- RAFT (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)
- biohybrid molecules (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)
- enzymatic conjugation (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 synthesis (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)
- polymerization (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)
- sortagging (1)
- sortaseA (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 (440)
- Institut für Physik und Astronomie (41)
- Institut für Geowissenschaften (37)
- Vereinigung für Jüdische Studien e. V. (34)
- Center for Economic Policy Analysis (CEPA) (32)
- Institut für Chemie (31)
- Fachgruppe Volkswirtschaftslehre (27)
- Institut für Biochemie und Biologie (19)
- Department Psychologie (17)
- Department Linguistik (16)
There has been a substantial increase in the percentage for publications with co-authors located in departments from different countries in 12 major journals of psychology. The results are evidence for a remarkable internationalization of psychological research, starting in the mid 1970s and increasing in rate at the beginning of the 1990s. This growth occurs against a constant number of articles with authors from the same country; it is not due to a concomitant increase in the number of co-authors per article. Thus, international collaboration in psychology is obviously on the rise.
Microsaccades are very small, involuntary flicks in eye position that occur on average once or twice per second during attempted visual fixation. Microsaccades give rise to EMG eye muscle spikes that can distort the spectrum of the scalp EEG and mimic increases in gamma band power. Here we demonstrate that microsaccades are also accompanied by genuine and sizeable cortical activity, manifested in the EEG. In three experiments, high-resolution eye movements were corecorded with the EEG: during sustained fixation of checkerboard and face stimuli and in a standard visual oddball task that required the counting of target stimuli. Results show that microsaccades as small as 0.15° generate a field potential over occipital cortex and midcentral scalp sites 100 –140 ms after movement onset, which resembles the visual lambda response evoked by larger voluntary saccades. This challenges the standard assumption of human brain imaging studies that saccade-related brain activity is precluded by fixation, even when fully complied with. Instead, additional cortical potentials from microsaccades were present in 86% of the oddball task trials and of similar amplitude as the visual response to stimulus onset. Furthermore, microsaccade probability varied systematically according to the proportion of target stimuli in the oddball task, causing modulations of late stimulus-locked event-related potential (ERP) components. Microsaccades present an unrecognized source of visual brain signal that is of interest for vision research and may have influenced the data of many ERP and neuroimaging studies.
Conventional energy sources are diminishing and non-renewable, take million years to form and cause environmental degradation. In the 21st century, we have to aim at achieving sustainable, environmentally friendly and cheap energy supply by employing renewable energy technologies associated with portable energy storage devices. Lithium-ion batteries can repeatedly generate clean energy from stored materials and convert reversely electric into chemical energy. The performance of lithium-ion batteries depends intimately on the properties of their materials. Presently used battery electrodes are expensive to be produced; they offer limited energy storage possibility and are unsafe to be used in larger dimensions restraining the diversity of application, especially in hybrid electric vehicles (HEVs) and electric vehicles (EVs). This thesis presents a major progress in the development of LiFePO4 as a cathode material for lithium-ion batteries. Using simple procedure, a completely novel morphology has been synthesized (mesocrystals of LiFePO4) and excellent electrochemical behavior was recorded (nanostructured LiFePO4). The newly developed reactions for synthesis of LiFePO4 are single-step processes and are taking place in an autoclave at significantly lower temperature (200 deg. C) compared to the conventional solid-state method (multi-step and up to 800 deg. C). The use of inexpensive environmentally benign precursors offers a green manufacturing approach for a large scale production. These newly developed experimental procedures can also be extended to other phospho-olivine materials, such as LiCoPO4 and LiMnPO4. The material with the best electrochemical behavior (nanostructured LiFePO4 with carbon coating) was able to delive a stable 94% of the theoretically known capacity.
The use of nano zerovalent iron (nZVI) for environmental remediation is a promising new technique for in situ remediation. Due to its high surface area and high reactivity, nZVI is able to dechlorinate organic contaminants and render them harmless. Limited mobility, due to fast aggregation and sedimentation of nZVI, limits the capability for source and plume remediation. Carbo-Iron is a newly developed material consisting of activated carbon particles (d50 = 0,8 µm) that are plated with nZVI particles. These particles combine the mobility of activated carbon and the reactivity of nZVI. This paper presents the first results of the transport experiments.
In the living cell, the organization of the complex internal structure relies to a large extent on molecular motors. Molecular motors are proteins that are able to convert chemical energy from the hydrolysis of adenosine triphosphate (ATP) into mechanical work. Being about 10 to 100 nanometers in size, the molecules act on a length scale, for which thermal collisions have a considerable impact onto their motion. In this way, they constitute paradigmatic examples of thermodynamic machines out of equilibrium. This study develops a theoretical description for the energy conversion by the molecular motor myosin V, using many different aspects of theoretical physics. Myosin V has been studied extensively in both bulk and single molecule experiments. Its stepping velocity has been characterized as a function of external control parameters such as nucleotide concentration and applied forces. In addition, numerous kinetic rates involved in the enzymatic reaction of the molecule have been determined. For forces that exceed the stall force of the motor, myosin V exhibits a 'ratcheting' behaviour: For loads in the direction of forward stepping, the velocity depends on the concentration of ATP, while for backward loads there is no such influence. Based on the chemical states of the motor, we construct a general network theory that incorporates experimental observations about the stepping behaviour of myosin V. The motor's motion is captured through the network description supplemented by a Markov process to describe the motor dynamics. This approach has the advantage of directly addressing the chemical kinetics of the molecule, and treating the mechanical and chemical processes on equal grounds. We utilize constraints arising from nonequilibrium thermodynamics to determine motor parameters and demonstrate that the motor behaviour is governed by several chemomechanical motor cycles. In addition, we investigate the functional dependence of stepping rates on force by deducing the motor's response to external loads via an appropriate Fokker-Planck equation. For substall forces, the dominant pathway of the motor network is profoundly different from the one for superstall forces, which leads to a stepping behaviour that is in agreement with the experimental observations. The extension of our analysis to Markov processes with absorbing boundaries allows for the calculation of the motor's dwell time distributions. These reveal aspects of the coordination of the motor's heads and contain direct information about the backsteps of the motor. Our theory provides a unified description for the myosin V motor as studied in single motor experiments.
Indonesia is one of the countries most prone to natural hazards. Complex interaction of several tectonic plates with high relative velocities leads to approximately two earthquakes with magnitude Mw>7 every year, being more than 15% of the events worldwide. Earthquakes with magnitude above 9 happen far more infrequently, but with catastrophic effects. The most severe consequences thereby arise from tsunamis triggered by these subduction-related earthquakes, as the Sumatra-Andaman event in 2004 showed. In order to enable efficient tsunami early warning, which includes the estimation of wave heights and arrival times, it is necessary to combine different types of real-time sensor data with numerical models of earthquake sources and tsunami propagation. This thesis was created as a result of the GITEWS project (German Indonesian Tsunami Early Warning System). It is based on five research papers and manuscripts. Main project-related task was the development of a database containing realistic earthquake scenarios for the Sunda Arc. This database provides initial conditions for tsunami propagation modeling used by the simulation system at the early warning center. An accurate discretization of the subduction geometry, consisting of 25x150 subfaults was constructed based on seismic data. Green’s functions, representing the deformational response to unit dip- and strike slip at the subfaults, were computed using a layered half-space approach. Different scaling relations for earthquake dimensions and slip distribution were implemented. Another project-related task was the further development of the ‘GPS-shield’ concept. It consists of a constellation of near field GPS-receivers, which are shown to be very valuable for tsunami early warning. The major part of this thesis is related to the geophysical interpretation of GPS data. Coseismic surface displacements caused by the 2004 Sumatra earthquake are inverted for slip at the fault. The effect of different Earth layer models is tested, favoring continental structure. The possibility of splay faulting is considered and shown to be a secondary order effect in respect to tsunamigenity for this event. Tsunami models based on source inversions are compared to satellite radar altimetry observations. Postseismic GPS time series are used to test a wide parameter range of uni- and biviscous rheological models of the asthenosphere. Steady-state Maxwell rheology is shown to be incompatible with near-field GPS data, unless large afterslip, amounting to more than 10% of the coseismic moment is assumed. In contrast, transient Burgers rheology is in agreement with data without the need for large aseismic afterslip. Comparison to postseismic geoid observation by the GRACE satellites reveals that even with afterslip, the model implementing Maxwell rheology results in amplitudes being too small, and thus supports a biviscous asthenosphere. A simple approach based on the assumption of quasi-static deformation propagation is introduced and proposed for inversion of coseismic near-field GPS time series. Application of this approach to observations from the 2004 Sumatra event fails to quantitatively reconstruct the rupture propagation, since a priori conditions are not fulfilled in this case. However, synthetic tests reveal the feasibility of such an approach for fast estimation of rupturing properties.
Spatial and temporal temperature and moisture patterns across the Tibetan Plateau are very complex. The onset and magnitude of the Holocene climate optimum in the Asian monsoon realm, in particular, is a subject of considerable debate as this time period is often used as an analogue for recent global warming. In the light of contradictory inferences regarding past climate and environmental change on the Tibetan Plateau, I have attempted to explain mismatches in the timing and magnitude of change. Therefore, I analysed the temporal variation of fossil pollen and diatom spectra and the geochemical record from palaeo-ecological records covering different time scales (late Quaternary and the last 200 years) from two core regions in the NE and SE Tibetan Plateau. For interpretation purposes I combined my data with other available palaeo-ecological data to set up corresponding aquatic and terrestrial proxy data sets of two lake pairs and two sets of sites. I focused on the direct comparison of proxies representing lacustrine response to climate signals (e.g., diatoms, ostracods, geochemical record) and proxies representing changes in the terrestrial environment (i.e., terrestrial pollen), in order to asses whether the lake and its catchments respond at similar times and magnitudes to environmental changes. Therefore, I introduced the established numerical technique procrustes rotation as a new approach in palaeoecology to quantitatively compare raw data of any two sedimentary records of interest in order to assess their degree of concordance. Focusing on the late Quaternary, sediment cores from two lakes (Kuhai Lake 35.3°N; 99.2°E; 4150 m asl; and Koucha Lake 34.0°N; 97.2°E; 4540 m asl) on the semi-arid northeastern Tibetan Plateau were analysed to identify post-glacial vegetation and environmental changes, and to investigate the responses of lake ecosystems to such changes. Based on the pollen record, five major vegetation and climate changes could be identified: (1) A shift from alpine desert to alpine steppe indicates a change from cold, dry conditions to warmer and more moist conditions at 14.8 cal. ka BP, (2) alpine steppe with tundra elements points to conditions of higher effective moisture and a stepwise warming climate at 13.6 cal. ka BP, (3) the appearance of high-alpine meadow vegetation indicates a further change towards increased moisture, but with colder temperatures, at 7.0 cal. ka BP, (4) the reoccurrence of alpine steppe with desert elements suggests a return to a significantly colder and drier phase at 6.3 cal. ka BP, and (5) the establishment of alpine steppe-meadow vegetation indicates a change back to relatively moist conditions at 2.2 cal. ka BP. To place the reconstructed climate inferences from the NE Tibetan Plateau into the context of Holocene moisture evolution across the Tibetan Plateau, I applied a five-scale moisture index and average link clustering to all available continuous pollen and non-pollen palaeoclimate records from the Tibetan Plateau, in an attempt to detect coherent regional and temporal patterns of moisture evolution on the Plateau. However, no common temporal or spatial pattern of moisture evolution during the Holocene could be detected, which can be assigned to the complex responses of different proxies to environmental changes in an already very heterogeneous mountain landscape, where minor differences in elevation can result in marked variations in microenvironments. Focusing on the past 200 years, I analysed the sedimentary records (LC6 Lake 29.5°N, 94.3°E, 4132 m asl; and Wuxu Lake 29.9°N, 101.1°E, 3705 m asl) from the southeastern Tibetan Plateau. I found that despite presumed significant temperature increases over that period, pollen and diatom records from the SE Tibetan Plateau reveal only very subtle changes throughout their profiles. The compositional species turnover investigated over the last 200 years appears relatively low in comparison to the species reorganisations during the Holocene. The results indicate that climatically induced ecological thresholds are not yet crossed, but that human activity has an increasing influence, particularly on the terrestrial ecosystem. Forest clearances and reforestation have not caused forest decline in our study area, but a conversion of natural forests to semi-natural secondary forests. The results from the numerical proxy comparison of the two sets of two pairs of Tibetan lakes indicate that the use of different proxies and the work with palaeo-ecological records from different lake types can cause deviant stories of inferred change. Irrespective of the timescale (Holocene or last 200 years) or region (SE or NE Tibetan Plateau) analysed, the agreement in terms of the direction, timing, and magnitude of change between the corresponding terrestrial data sets is generally better than the match between the corresponding lacustrine data sets, suggesting that lacustrine proxies may partly be influenced by in-lake or local catchment processes whereas the terrestrial proxy reflects a more regional climatic signal. The current disaccord on coherent temporal and spatial climate patterns on the Tibetan Plateau can partly be ascribed to the complexity of proxy response and lake systems on the Tibetan Plateau. Therefore, a multi-proxy, multi-site approach is important in order to gain a reliable climate interpretation for the complex mountain landscape of the Tibetan Plateau.
The Arctic is a particularly sensitive area with respect to climate change due to the high surface albedo of snow and ice and the extreme radiative conditions. Clouds and aerosols as parts of the Arctic atmosphere play an important role in the radiation budget, which is, as yet, poorly quantified and understood. The LIDAR (Light Detection And Ranging) measurements presented in this PhD thesis contribute with continuous altitude resolved aerosol profiles to the understanding of occurrence and characteristics of aerosol layers above Ny-Ålesund, Spitsbergen. The attention was turned to the analysis of periods with high aerosol load. As the Arctic spring troposphere exhibits maximum aerosol optical depths (AODs) each year, March and April of both the years 2007 and 2009 were analyzed. Furthermore, stratospheric aerosol layers of volcanic origin were analyzed for several months, subsequently to the eruptions of the Kasatochi and Sarychev volcanoes in summer 2008 and 2009, respectively. The Koldewey Aerosol Raman LIDAR (KARL) is an instrument for the active remote sensing of atmospheric parameters using pulsed laser radiation. It is operated at the AWIPEV research base and was fundamentally upgraded within the framework of this PhD project. It is now equipped with a new telescope mirror and new detection optics, which facilitate atmospheric profiling from 450m above sea level up to the mid-stratosphere. KARL provides highly resolved profiles of the scattering characteristics of aerosol and cloud particles (backscattering, extinction and depolarization) as well as water vapor profiles within the lower troposphere. Combination of KARL data with data from other instruments on site, namely radiosondes, sun photometer, Micro Pulse LIDAR, and tethersonde system, resulted in a comprehensive data set of scattering phenomena in the Arctic atmosphere. The two spring periods March and April 2007 and 2009 were at first analyzed based on meteorological parameters, like local temperature and relative humidity profiles as well as large scale pressure patterns and air mass origin regions. Here, it was not possible to find a clear correlation between enhanced AOD and air mass origin. However, in a comparison of two cloud free periods in March 2007 and April 2009, large AOD values in 2009 coincided with air mass transport through the central Arctic. This suggests the occurrence of aerosol transformation processes during the aerosol transport to Ny-Ålesund. Measurements on 4 April 2009 revealed maximum AOD values of up to 0.12 and aerosol size distributions changing with altitude. This and other performed case studies suggest the differentiation between three aerosol event types and their origin: Vertically limited aerosol layers in dry air, highly variable hygroscopic boundary layer aerosols and enhanced aerosol load across wide portions of the troposphere. For the spring period 2007, the available KARL data were statistically analyzed using a characterization scheme, which is based on optical characteristics of the scattering particles. The scheme was validated using several case studies. Volcanic eruptions in the northern hemisphere in August 2008 and June 2009 arose the opportunity to analyze volcanic aerosol layers within the stratosphere. The rate of stratospheric AOD change was similar within both years with maximum values above 0.1 about three to five weeks after the respective eruption. In both years, the stratospheric AOD persisted at higher rates than usual until the measurements were stopped in late September due to technical reasons. In 2008, up to three aerosol layers were detected, the layer structure in 2009 was characterized by up to six distinct and thin layers which smeared out to one broad layer after about two months. The lowermost aerosol layer was continuously detected at the tropopause altitude. Three case studies were performed, all revealed rather large indices of refraction of m = (1.53–1.55) - 0.02i, suggesting the presence of an absorbing carbonaceous component. The particle radius, derived with inversion calculations, was also similar in both years with values ranging from 0.16 to 0.19 μm. However, in 2009, a second mode in the size distribution was detected at about 0.5 μm. The long term measurements with the Koldewey Aerosol Raman LIDAR in Ny-Ålesund provide the opportunity to study Arctic aerosols in the troposphere and the stratosphere not only in case studies but on longer time scales. In this PhD thesis, both, tropospheric aerosols in the Arctic spring and stratospheric aerosols following volcanic eruptions have been described qualitatively and quantitatively. Case studies and comparative studies with data of other instruments on site allowed for the analysis of microphysical aerosol characteristics and their temporal evolution.
The Greenland Ice Sheet (GIS) contains enough water volume to raise global sea level by over 7 meters. It is a relic of past glacial climates that could be strongly affected by a warming world. Several studies have been performed to investigate the sensitivity of the ice sheet to changes in climate, but large uncertainties in its long-term response still exist. In this thesis, a new approach has been developed and applied to modeling the GIS response to climate change. The advantages compared to previous approaches are (i) that it can be applied over a wide range of climatic scenarios (both in the deep past and the future), (ii) that it includes the relevant feedback processes between the climate and the ice sheet and (iii) that it is highly computationally efficient, allowing simulations over very long timescales. The new regional energy-moisture balance model (REMBO) has been developed to model the climate and surface mass balance over Greenland and it represents an improvement compared to conventional approaches in modeling present-day conditions. Furthermore, the evolution of the GIS has been simulated over the last glacial cycle using an ensemble of model versions. The model performance has been validated against field observations of the present-day climate and surface mass balance, as well as paleo information from ice cores. The GIS contribution to sea level rise during the last interglacial is estimated to be between 0.5-4.1 m, consistent with previous estimates. The ensemble of model versions has been constrained to those that are consistent with the data, and a range of valid parameter values has been defined, allowing quantification of the uncertainty and sensitivity of the modeling approach. Using the constrained model ensemble, the sensitivity of the GIS to long-term climate change was investigated. It was found that the GIS exhibits hysteresis behavior (i.e., it is multi-stable under certain conditions), and that a temperature threshold exists above which the ice sheet transitions to an essentially ice-free state. The threshold in the global temperature is estimated to be in the range of 1.3-2.3°C above preindustrial conditions, significantly lower than previously believed. The timescale of total melt scales non-linearly with the overshoot above the temperature threshold, such that a 2°C anomaly causes the ice sheet to melt in ca. 50,000 years, but an anomaly of 6°C will melt the ice sheet in less than 4,000 years. The meltback of the ice sheet was found to become irreversible after a fraction of the ice sheet is already lost – but this level of irreversibility also depends on the temperature anomaly.
Complex network theory provides an elegant and powerful framework to statistically investigate the topology of local and long range dynamical interrelationships, i.e., teleconnections, in the climate system. Employing a refined methodology relying on linear and nonlinear measures of time series analysis, the intricate correlation structure within a multivariate climatological data set is cast into network form. Within this graph theoretical framework, vertices are identified with grid points taken from the data set representing a region on the the Earth's surface, and edges correspond to strong statistical interrelationships between the dynamics on pairs of grid points. The resulting climate networks are neither perfectly regular nor completely random, but display the intriguing and nontrivial characteristics of complexity commonly found in real world networks such as the internet, citation and acquaintance networks, food webs and cortical networks in the mammalian brain. Among other interesting properties, climate networks exhibit the "small-world" effect and possess a broad degree distribution with dominating super-nodes as well as a pronounced community structure. We have performed an extensive and detailed graph theoretical analysis of climate networks on the global topological scale focussing on the flow and centrality measure betweenness which is locally defined at each vertex, but includes global topological information by relying on the distribution of shortest paths between all pairs of vertices in the network. The betweenness centrality field reveals a rich internal structure in complex climate networks constructed from reanalysis and atmosphere-ocean coupled general circulation model (AOGCM) surface air temperature data. Our novel approach uncovers an elaborately woven meta-network of highly localized channels of strong dynamical information flow, that we relate to global surface ocean currents and dub the backbone of the climate network in analogy to the homonymous data highways of the internet. This finding points to a major role of the oceanic surface circulation in coupling and stabilizing the global temperature field in the long term mean (140 years for the model run and 60 years for reanalysis data). Carefully comparing the backbone structures detected in climate networks constructed using linear Pearson correlation and nonlinear mutual information, we argue that the high sensitivity of betweenness with respect to small changes in network structure may allow to detect the footprints of strongly nonlinear physical interactions in the climate system. The results presented in this thesis are thoroughly founded and substantiated using a hierarchy of statistical significance tests on the level of time series and networks, i.e., by tests based on time series surrogates as well as network surrogates. This is particularly relevant when working with real world data. Specifically, we developed new types of network surrogates to include the additional constraints imposed by the spatial embedding of vertices in a climate network. Our methodology is of potential interest for a broad audience within the physics community and various applied fields, because it is universal in the sense of being valid for any spatially extended dynamical system. It can help to understand the localized flow of dynamical information in any such system by combining multivariate time series analysis, a complex network approach and the information flow measure betweenness centrality. Possible fields of application include fluid dynamics (turbulence), plasma physics and biological physics (population models, neural networks, cell models). Furthermore, the climate network approach is equally relevant for experimental data as well as model simulations and hence introduces a novel perspective on model evaluation and data driven model building. Our work is timely in the context of the current debate on climate change within the scientific community, since it allows to assess from a new perspective the regional vulnerability and stability of the climate system while relying on global and not only on regional knowledge. The methodology developed in this thesis hence has the potential to substantially contribute to the understanding of the local effect of extreme events and tipping points in the earth system within a holistic global framework.
The widespread usage of products containing volatile organic compounds (VOC) has lead to a general human exposure to these chemicals in work places or homes being suspected to contribute to the growing incidence of environmental diseases. Since the causal molecular mechanisms for the development of these disorders are not completely understood, the overall objective of this thesis was to investigate VOC-mediated molecular effects on human lung cells in vitro at VOC concentrations comparable to exposure scenarios below current occupational limits. Although differential expression of single proteins in response to VOCs has been reported, effects on complex protein networks (proteome) have not been investigated. However, this information is indispensable when trying to ascertain a mechanism for VOC action on the cellular level and establishing preventive strategies. For this study, the alveolar epithelial cell line A549 has been used. This cell line, cultured in a two-phase (air/liquid) model allows the most direct exposure and had been successfully applied for the analysis of inflammatory effects in response to VOCs. Mass spectrometric identification of 266 protein spots provided the first proteomic map of A549 cell line to this extent that may foster future work with this frequently used cellular model. The distribution of three typical air contaminants, monochlorobenzene (CB), styrene and 1,2 dichlorobenzene (1,2-DCB), between gas and liquid phase of the exposure model has been analyzed by gas chromatography. The obtained VOC partitioning was in agreement with available literature data. Subsequently the adapted in vitro system has been successfully employed to characterize the effects of the aromatic compound styrene on the proteome of A549 cells (Chapter 4). Initially, the cell toxicity has been assessed in order to ensure that most of the concentrations used in the following proteomic approach were not cytotoxic. Significant changes in abundance and phosphorylation in the total soluble protein fraction of A549 cells have been detected following styrene exposure. All proteins have been identified using mass spectrometry and the main cellular functions have been assigned. Validation experiments on protein and transcript level confirmed the results of the 2-DE experiments. From the results, two main cellular pathways have been identified that were induced by styrene: the cellular oxidative stress response combined with moderate pro-apoptotic signaling. Measurement of cellular reactive oxygen species (ROS) as well as the styrene-mediated induction of oxidative stress marker proteins confirmed the hypothesis of oxidative stress as the main molecular response mechanism. Finally, adducts of cellular proteins with the reactive styrene metabolite styrene 7,8 oxide (SO) have been identified. Especially the SO-adducts observed at both the reactive centers of thioredoxin reductase 1, which is a key element in the control of the cellular redox state, may be involved in styrene-induced ROS formation and apoptosis. A similar proteomic approach has been carried out with the halobenzenes CB and 1,2-DCB (Chapter 5). In accordance with previous findings, cell toxicity assessment showed enhanced toxicity compared to the one caused by styrene. Significant changes in abundance and phosphorylation of total soluble proteins of A549 cells have been detected following exposure to subtoxic concentrations of CB and 1,2-DCB. All proteins have been identified using mass spectrometry and the main cellular functions have been assigned. As for the styrene experiment, the results indicated two main pathways to be affected in the presence of chlorinated benzenes, cell death signaling and oxidative stress response. The strong induction of pro-apoptotic signaling has been confirmed for both treatments by detection of the cleavage of caspase 3. Likewise, the induction of redox-sensitive protein species could be correlated to an increased cellular level of ROS observed following CB treatment. Finally, common mechanisms in the cellular response to aromatic VOCs have been investigated (Chapter 6). A similar number (4.6-6.9%) of all quantified protein spots showed differential expression (p<0.05) following cell exposure to styrene, CB or 1,2-DCB. However, not more than three protein spots showed significant regulation in the same direction for all three volatile compounds: voltage-dependent anion-selective channel protein 2, peroxiredoxin 1 and elongation factor 2. However, all of these proteins are important molecular targets in stress- and cell death-related signaling pathways.
Large-scale volcanic deformation recently detected by radar interferometry (InSAR) provides new information and thus new scientific challenges for understanding volcano-tectonic activity and magmatic systems. The destabilization of such a system at depth noticeably affects the surrounding environment through magma injection, ground displacement and volcanic eruptions. To determine the spatiotemporal evolution of the Lazufre volcanic area located in the central Andes, we combined short-term ground displacement acquired by InSAR with long-term geological observations. Ground displacement was first detected using InSAR in 1997. By 2008, this displacement affected 1800 km2 of the surface, an area comparable in size to the deformation observed at caldera systems. The original displacement was followed in 2000 by a second, small-scale, neighbouring deformation located on the Lastarria volcano. We performed a detailed analysis of the volcanic structures at Lazufre and found relationships with the volcano deformations observed with InSAR. We infer that these observations are both likely to be the surface expression of a long-lived magmatic system evolving at depth. It is not yet clear whether Lazufre may trigger larger unrest or volcanic eruptions; however, the second deformation detected at Lastarria and the clear increase of the large-scale deformation rate make this an area of particular interest for closer continuous monitoring.
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.