004 Datenverarbeitung; Informatik
Refine
Year of publication
Document Type
- Article (264)
- Doctoral Thesis (148)
- Working Paper (122)
- Bachelor Thesis (54)
- Conference Proceeding (53)
- Diploma Thesis (49)
- Preprint (49)
- Part of a Book (42)
- Contribution to a Periodical (39)
- diplomthesis (30)
Is part of the Bibliography
- no (917)
Keywords
- Lambda-Kalkül (21)
- Inklusion (13)
- Formale Semantik (11)
- Barrierefreiheit (10)
- Digitalisierung (10)
- Operationale Semantik (9)
- artificial intelligence (9)
- data science (9)
- lambda calculus (9)
- machine learning (9)
- Computerlinguistik (8)
- Textanalyse ; Linguistische Datenverarbeitung; Computerlinguistik (8)
- E-Learning (7)
- Linguistische Datenverarbeitung (7)
- NLP (7)
- Nebenläufigkeit (7)
- Programmiersprache (7)
- Textanalyse (7)
- concurrency (7)
- Computer (6)
- Machine Learning (6)
- Machine learning (6)
- functional programming (6)
- machine-learning (6)
- semantics (6)
- Datenschutz (5)
- Informatik (5)
- Kongress (5)
- Natural Language Processing (5)
- Verifikation (5)
- contextual equivalence (5)
- digital medicine (5)
- pi-calculus (5)
- ALICE (4)
- Data science (4)
- FPGA (4)
- Hochschule (4)
- Hochschullehre (4)
- Information Retrieval (4)
- Kollaboration <Informatik> (4)
- Lehre (4)
- Logik (4)
- Präsenzlehre (4)
- Semantics (4)
- Text2Scene (4)
- Virtual Reality (4)
- adequate translations (4)
- copyright (4)
- journals (4)
- letrec (4)
- paywalls (4)
- synaptic plasticity (4)
- Annotation (3)
- Audiodeskription (3)
- Beschreibungskomplexität (3)
- Big Data (3)
- Computersimulation (3)
- Contextual Equivalence (3)
- Data protection (3)
- Deutschland (3)
- Diversität (3)
- Fisher information (3)
- Funktionale Programmiersprache (3)
- Funktionale Programmierung (3)
- GDPR (3)
- Hebbian learning (3)
- Hochschuldidaktik (3)
- Internet (3)
- Kontextuelle Gleichheit (3)
- LibGen (3)
- Named entity recognition (3)
- Organic Computing (3)
- Peter Tauber (3)
- Privacy (3)
- RDF (3)
- Random Graph (3)
- Sci-Hub (3)
- Semantic Web (3)
- Simulation (3)
- TextAnnotator (3)
- Uniform Sampling (3)
- Verification (3)
- Verteiltes System (3)
- algorithms (3)
- automated deduction (3)
- call-by-need (3)
- computer vision (3)
- context lemma (3)
- data structures (3)
- data-science (3)
- deep learning (3)
- functional programming languages (3)
- information theory (3)
- literature (3)
- neural networks (3)
- objective functions (3)
- observational semantics (3)
- patients (3)
- piracy (3)
- publishing (3)
- rewriting (3)
- verification (3)
- web archiving (3)
- Analog Circuits (2)
- App (2)
- Artificial Intelligence (2)
- Barrierefreie Videos (2)
- Behinderung (2)
- BioCreative V.5 (2)
- BioNLP (2)
- Bioinformatik (2)
- Biomedical informatics (2)
- Blockchain (2)
- CBM experiment (2)
- Call-by-Need (2)
- Chiral Symmetry (2)
- Classification (2)
- Clinical decision support systems (2)
- Computational neuroscience (2)
- Computer Vision (2)
- Computer science (2)
- Computer-assisted diagnosis (2)
- Data Mining (2)
- Databases (2)
- Deep Learning (2)
- Deep learning (2)
- Degree Sequence (2)
- Deutsch (2)
- Didaktik (2)
- Digital Rights (2)
- Effective Field Theories of QCD (2)
- External Memory (2)
- Finite Temperature or Finite Density (2)
- Formale Sprache (2)
- Gedächtnis (2)
- Gesichtserkennung (2)
- Graph Neural Networks (2)
- HL7 FHIR (2)
- Hinterlegungsverfahren <Kryptologie> (2)
- Kalman Filter (2)
- Kinect (2)
- Lageplan (2)
- Lambda Calculus (2)
- Learning Analytics (2)
- Learning analytics (2)
- Localization (2)
- Logics (2)
- Machine-learning (2)
- Mehragentensystem (2)
- Metadaten (2)
- Mobile Telekommunikation / Electronic Commerce (2)
- Multimodal Learning Analytics (2)
- Museum (2)
- Netzneutralität (2)
- Neue Medien (2)
- Neural Networks (2)
- Neuronales Netz (2)
- Nichtdeterminismus (2)
- Numismatics (2)
- Online Algorithms (2)
- Online-Publikation (2)
- Open Science (2)
- OpenStreetMap (2)
- Petri net (2)
- Petrov-Galerkin finite volumes (2)
- Phase Transitions (2)
- Programming (2)
- Programmtransformation (2)
- Pufferspeicher (2)
- Python (2)
- Randomization (2)
- Rare diseases (2)
- Reinforcement Learning (2)
- Relationale Datenbank (2)
- Roboter (2)
- Robotics (2)
- SLAM (2)
- Security (2)
- Sehbehinderung (2)
- Selbstorganisation (2)
- Software (2)
- Software Engineering (2)
- Space-Time Symmetries (2)
- Switching Algorithm (2)
- Temporal Graph (2)
- Theoretische Informatik (2)
- Unity (2)
- Verteilung (2)
- Virtuelle Realität (2)
- Visual cortex (2)
- Visualisierung (2)
- Visualization (2)
- WWW (2)
- Web (2)
- Zellularer Automat (2)
- Zugänglichkeit (2)
- call-by-name (2)
- context unification (2)
- digitale Bildung (2)
- economics (2)
- generating functionals (2)
- healthcare (2)
- homeostatic adaption (2)
- infinitary lambda calculus (2)
- intrinsic plasticity (2)
- lambda-calculus (2)
- lazy evaluation (2)
- logics in artificial intelligence (2)
- lower bounds (2)
- matching (2)
- mutual information (2)
- neural computation (2)
- non-determinism (2)
- nondeterminism (2)
- open-access (2)
- parameter estimation (2)
- partial information decomposition (2)
- plasticity (2)
- program transformation (2)
- programming languages (2)
- reinforcement learning (2)
- second order unification (2)
- septic shock (2)
- simulation (2)
- sparse coding (2)
- text analysis (2)
- trustworthy AI (2)
- unification (2)
- (mobile) Internet (1)
- (re-)openings (1)
- (surface) partial differential equations (1)
- 2D cellular structures (1)
- 3D (1)
- 3D image analysis (1)
- 3D spatio-temporal resolved mathematical models (1)
- AI Safety (1)
- AI fairness (1)
- ALICE experiment (1)
- ATPG (1)
- Abfrageverarbeitung (1)
- Abrechnung (1)
- Abstraction (1)
- Abstrakte Reduktion (1)
- Abstrakter Automat (1)
- Accessibility by Design (1)
- Accounting (1)
- Active learning (1)
- Adaptive Prediction (1)
- Adaptive control (1)
- Adoption (1)
- Adoptionsfaktoren (1)
- Aesthetic responsiveness (1)
- Affymetrix (1)
- Ageing (1)
- Agent (1)
- Agent <Künstliche Intelligenz> (1)
- Agenten (1)
- Agents (1)
- Akademische Zertifikate (1)
- Aktarım (1)
- Algebraische Gleichung (1)
- Algorithmic fairness (1)
- Algorithmus (1)
- Alice ML (1)
- Alpha equivalence (1)
- Alternativtexte (1)
- Amblyopia (1)
- Analog (1)
- Analog Verification (1)
- Analoges System (1)
- Analogschaltungen (1)
- Andreas Gebhard (1)
- Anwendungssystem (1)
- App ecosystem (1)
- Approximability (1)
- Approximation Algorithms (1)
- Approximationsgüte (1)
- Approximierbarkeit (1)
- Arbeitsablaufplanung (1)
- Archaeometry (1)
- Architektur (1)
- Architekturen (1)
- Architekturmodell (1)
- Arno Beck (1)
- Art interventions (1)
- Artefakt (1)
- Artificial intelligence (1)
- Artificial neural networks (1)
- Assurance (1)
- Atrial fibrillation classification (1)
- Attention mechanism (1)
- Aufklärungsquote (1)
- Aufwandsschätzung (1)
- Augmented Reality (1)
- Ausstellung (1)
- Auswahlprozess (1)
- Auto-ML (1)
- Automata theory (1)
- Automated Feedback (1)
- Automated sRNA analysis (1)
- Automatentheorie (1)
- Automatic (1)
- Autonomie (1)
- Autonomous Driving (1)
- Autonomous Learning (1)
- Autorensysteme (1)
- BFS (1)
- BIM (1)
- BIOfid (1)
- BMRT (1)
- BRDF (1)
- BTF (1)
- Bacillus subtilis (1)
- Bad Homburg (1)
- Barrieren (1)
- Baumgrammatiken (1)
- Bayesian Persuasion (1)
- Bayesian Statistics (1)
- Bayesian network (1)
- Bedienstrategie (1)
- Beeinträchtigung (1)
- Befragung (1)
- Beleuchtungsmodell (1)
- Benchmark testing (1)
- Bento (1)
- Berechnungskomplexität (1)
- Bert (1)
- Betriebliches Informationssystem (1)
- Big Data Benchmarks (1)
- Big data (1)
- BigBench (1)
- BigBrother Awards (1)
- Bild (1)
- Bildauflösung (1)
- Bildbeschreibung (1)
- Bilderkennung (1)
- Bildnisschutz (1)
- Bildungsgerechtigkeit (1)
- Bildverarbeitung (1)
- Billing (1)
- Binocular Rivalry (1)
- Biochemie (1)
- Biodiversity (1)
- Bioinformatics (1)
- Biomedical named entity recognition (1)
- Biometrie (1)
- Biophysical models (1)
- Bitcoin (1)
- Blended Learning (1)
- Blended learning (1)
- Blindheit (1)
- Bluetooth-Standard (1)
- Body Composition (1)
- Breast cancer survivers (1)
- Brownian motion (1)
- Browsertool (1)
- Bundestag (1)
- Bundestagswahlkampf (1)
- C-reactive protein (1)
- CABG (1)
- CBM (1)
- CBM detector (1)
- CDU (1)
- CEMP (1)
- CERN (1)
- CHEMDNER (1)
- CLVisc (1)
- COGNIMUSE (1)
- COVID-19 (1)
- COVID-19 news (1)
- CQL (1)
- CRF (1)
- CTL (1)
- Caché (1)
- Calcium (1)
- Call-by-need Lambda Calculus (1)
- Cameras (1)
- Campusplan (1)
- Causal Machine Learning (1)
- Cellular Automaton (1)
- Certification (1)
- Charging (1)
- Chatbot (1)
- Chiffrierung (1)
- Claude Elwood (1)
- Clean (1)
- Climate change (1)
- Closed World Assumption (CWA) (1)
- Clustering (1)
- Coefficient correction (1)
- Cognition (1)
- Cognitive (1)
- Cognitive Maps (1)
- Cognitive Spatial Distortions (1)
- Coherent Infomax (1)
- Collaborative Filtering (1)
- Collective cell migration (1)
- Comics (1)
- Common Criteria (1)
- Comparative analysis (1)
- Complementary mobility services (1)
- Complex problem solving (1)
- Computational Humanities (1)
- Computational geometry (1)
- Computational model (1)
- Computational models (1)
- Computational sRNA analysis (1)
- Computational science (1)
- Computer Science (1)
- Computer-based assessment (1)
- Computerkompetenz (1)
- Concrete (1)
- Conjoint Analysis (1)
- Connected Components (1)
- Conrad Clemens (1)
- Content-Based Filtering (1)
- Continual deep learning (1)
- Convolutional (1)
- Convolutional Neural Networks (1)
- Coordination (1)
- Core-component reuse (1)
- Correctness (1)
- Cortical column (1)
- Cost estimation (1)
- Costs (1)
- Creative Commons (1)
- Crowdsourcing (1)
- Curse of dimensionality (1)
- Customer data sharing (1)
- Cybersecurity (1)
- DDC (1)
- DNN Robustness (1)
- Data Acquisition (1)
- Data Analysis (1)
- Data Analytics (1)
- Data access (1)
- Data exploration (1)
- Data loss prevention (1)
- Data portability (1)
- Data preprocessing (1)
- Data processing (1)
- Data security (1)
- Data structure detection (1)
- Dataflow Computing (1)
- Datenanalyse (1)
- Datenaustausch (1)
- Datenbank (1)
- Datenbanksystem (1)
- Datenintegration (1)
- Datenmodell (1)
- Datenqualität (1)
- Dağıtım (1)
- Degradation (1)
- Deictic and iconic gestures (1)
- Delegated Search (1)
- Density-driven flow (1)
- Depression (1)
- Detector Readout (1)
- Developmental Robotics (1)
- Dewey Decimal Classification (1)
- DiGeo (1)
- Diagnostic markers (1)
- Dialog Generation (1)
- Dichte-getriebene Strömung (1)
- Dienstgüte (1)
- Differentielle Genexpression (1)
- Digital Higher Education (1)
- Digital Humanities (1)
- Digital Product (1)
- Digital Rights Management (1)
- Digital footprints (1)
- Digital service chain (1)
- Digitale Barrierefreiheit (1)
- Digitale Gesellschaft (1)
- Digitale Pathologie (1)
- Digitale Produkte (1)
- Digitalisierungsstrategie (1)
- Digitality (1)
- Digitalkamera (1)
- Dimensions-Adaptivität (1)
- Dimensionsreduktion (1)
- Direct Manipulation (1)
- Discrete choice experiment (1)
- Discrete time dynamic programming (1)
- Diskrete Mathematik (1)
- Dispositional learning analytics (1)
- Distribution (1)
- Diversitätsverständnis (1)
- Divide-and-conquer-Verfahren (1)
- Docker (1)
- Dortmund <2007> (1)
- Dual response (1)
- Dynamic Graph Algorithms (1)
- Dynamic portfolio choice (1)
- E-Government (1)
- EDISON competence framework (1)
- EEG microstates (1)
- Earthquake waveforms (1)
- Echtzeitprogrammierung (1)
- Echtzeitsystem (1)
- Ecosystems (1)
- Edge Switching (1)
- Education (1)
- Educational institutions (1)
- Educational texttechnology (1)
- Effort estimation (1)
- Ego-motion Estimation (1)
- Eigenbewegungsschaetzung (1)
- Ein-Ausgabe ; Funktionale Programmiersprache ; Lambda-Kalkül ; Nichtdeterminismus ; Operationale Semantik ; Programmtransformation (1)
- Eingebettetes System (1)
- Einteilung (1)
- Electric vehicles (1)
- Electroencephalography (1)
- Electronic properties and materials (1)
- Elektronik (1)
- Elektronische Bibliothek (1)
- Elektronische Unterschrift (1)
- Elektronisches Wasserzeichen (1)
- Energy modelling (1)
- Energy system modelling tool (1)
- Energy-efficiency (1)
- Enriched Digital Footprint (1)
- Enriched finite elements (1)
- Entropie (1)
- Entropie <Informationstheorie> (1)
- Entwicklungsprojekt (1)
- Entwicklungsprozesse (IT) (1)
- Entwurfsautomation (1)
- Entwurfssprache (1)
- Erlösrechnung (1)
- Error Mitigation (1)
- Ethical issues (1)
- Eukaryotic sRNA (1)
- Euler method (1)
- Europe (1)
- Event Buffering (1)
- Exchange Format (1)
- Experimental Evaluation (1)
- Experimental Methods (1)
- Experts (1)
- Explicit Feedback (1)
- External-memory graph algorithms (1)
- Extraterrestrial measurements (1)
- F.4.1 (1)
- FHIR (1)
- FHIR Search (1)
- FPGAs (1)
- Facebook (1)
- Fair AI (1)
- Farbenblindheit (1)
- Fast Healthcare Interoperability Resources (1)
- Fault Tolerance (1)
- Feature article (1)
- Feedback loop (1)
- Fiber Bundles (1)
- Fictitious domain (1)
- Filmcomputer (1)
- FinTech (1)
- Finance (1)
- Finanzanalyse (1)
- Finite Volumes (1)
- Finite elements (1)
- First-motion polarity (1)
- Flash Memories (1)
- Fluid-particle interaction (1)
- Formal Verification (1)
- Formale Grammatik (1)
- Formale Verifikation (1)
- Formative assessment (1)
- Forschungswerkzeuge (1)
- Fourier-Motzkin algorithm (1)
- Frankfurt <Main, 2003> (1)
- Frankfurt am Main (1)
- Free Software (1)
- Freie Software (1)
- Freiheit (1)
- Frontmatter (1)
- Functional magnetic resonance imaging (1)
- Futures (1)
- Futurologie (1)
- GABAergic (1)
- GPI (1)
- GPRO (1)
- GPU algorithms (1)
- Gabor wavelets (1)
- Game Accessibility (1)
- Game Accessibility Guidelines (1)
- Gamification (1)
- Gaussian Processes (1)
- Gedächtnisbildung (1)
- Gehirn (1)
- General Data Protection Regulation (1)
- Generative AI (1)
- Genexpression (1)
- Geodesics (1)
- Gesicht (1)
- Gestural writing (1)
- Gleichheitsanalyse (1)
- Globalisierung (1)
- Globalization (1)
- Goal setting (1)
- Goethe-Universität Frankfurt (1)
- Google (1)
- Google Bert (1)
- Gradient-based optimization (1)
- Grammatiksysteme (1)
- Graph (1)
- Graph Algorithms (1)
- Graph Machine Learning (1)
- Graph database (1)
- Graph theory (1)
- Graphentheorie (1)
- Graphic Novels (1)
- Graphikprozessor (1)
- Green Nudging (1)
- Ground Texture (1)
- Groundwater (1)
- Großhirnrinde (1)
- Gruppe (1)
- Guidelines (1)
- HASKELL (1)
- HCI (1)
- HEP-Computing (1)
- HLT (1)
- HPC (1)
- Hack (1)
- Hannover <1997> (1)
- Hash Funktionen (1)
- Haskell (1)
- Haskell 98 (1)
- Hauptkomponentenanalyse (1)
- Heavy Ion Collisions (1)
- Heavy Ion experiments (1)
- Heavy-ion physics (1)
- Heim-Computer (1)
- Hepatocellular Carcinoma (1)
- Heterogenität (1)
- Heuristics (1)
- Heuristik (1)
- Hidden Markov Model (1)
- Hierarchical B-splines (1)
- High Level Synthesis (1)
- High Throughput Computing / HTC (1)
- High energy physics (1)
- High-Level-Trigger (1)
- Higher education (1)
- Hintertür <Informatik> (1)
- Hirnforschung (1)
- Historical Document Analysis (1)
- Hive (1)
- Hochschulrechenzentrum <Frankfurt, Main> (1)
- Human factors (1)
- Hybrid automaton (1)
- Hybrid model (1)
- Hypercolumn (1)
- Hypercube (1)
- Hypertext (1)
- Hörbeeinträchtigung (1)
- Hörbeeinträchtigungen (1)
- I/O Model (1)
- I/O efficiency (1)
- ICT products (1)
- IS post-adoption (1)
- ISO 15408 (1)
- IT-literacy (1)
- Iconography (1)
- Image schemata (1)
- Image-based-rendering (1)
- Immersed boundary method (1)
- Implicit Discourse Parsing (1)
- Implicit Feedback (1)
- Implicit Semantic Role Labeling (1)
- Independent Component Analysis ICA (1)
- Individual differences (1)
- Inductive bias (1)
- Induktive Inferenz (1)
- Infinite games with perfect information (1)
- Inflammation (1)
- Infomediary (1)
- Information Extraction (1)
- Information Overkill (1)
- Information Security (1)
- Informational self-determination (1)
- Informationelle Ungewissheit (1)
- Informationelles Selbstbestimmungsrecht (1)
- Informationsintegration (1)
- Informationsportal (1)
- Informationssystem (1)
- Informationsüberflutung (1)
- Infrarot (1)
- Infrastruktur (1)
- Inhaltsbasiertes Filtern (1)
- Innovationsplanung (1)
- Innovationsprozess (1)
- Inter-annotator agreement (1)
- InterSystems (1)
- Interaktion (1)
- Internationaler Datenschutz (1)
- Internationalisierung (1)
- Internationalization (1)
- Internet of Things (1)
- Internet use (1)
- Internetnutzung (1)
- Internetportal (1)
- Interoperabilität (1)
- Interpretierer (1)
- Interview (1)
- Intrinsic Motivations (1)
- Invariant object recognition (1)
- Ionizing Radiation (1)
- IsoSpace (1)
- Isolation (1)
- Iteratives Array (1)
- Jan Böhmermann (1)
- Java (1)
- Java, Programmiersprache (1)
- Jaynes (1)
- Julia (1)
- Kalman filter (1)
- Kalman-Filter (1)
- Kinetic hypertext authoring (1)
- Klangkunst (1)
- Kluft (1)
- Knowledge Networking (1)
- Knowledge engineering (1)
- Kollaboratives Filtern (1)
- Kommunikationsprotokoll ; Komplexitätstheorie ; Stochastischer Automat ; Nichtdeterministischer Automat ; Quantencomputer (1)
- Kommunikationssystem (1)
- Kompetenzmessung (1)
- Konstruktvalidität (1)
- Kontext (1)
- Kontextuelle Gleicheit (1)
- Kooperation (1)
- Koordination (1)
- Kostenrechnung (1)
- Kritik (1)
- Kryptographie (1)
- Künste (1)
- Künstliches Hormonsystem (1)
- Küreselleştirme (1)
- K–12 (1)
- LDPC Codes (1)
- LSTM (1)
- LZW-Algorithmus (1)
- Langzeitgedächtnis (1)
- Large Language Models (1)
- Lars Klingbeil (1)
- Law (1)
- Layout (1)
- Learning (1)
- Learning dispositions (1)
- Lehren und Studieren ohne Barrieren (1)
- Lehrmedien (1)
- Leichtgewichtige Kryptographie (1)
- Leitfaden (1)
- Letrec-Kalkül (1)
- Lifelong machine learning (1)
- Light-sheet fluorescence microscopy (1)
- Line reconstruction (1)
- Linear regression (1)
- Linear regression analysis (1)
- Linked Data (1)
- Linux Container (1)
- Lippenlesen (1)
- Live-Transkription (1)
- Load flow calculations (1)
- Loby (1)
- Location-based games (1)
- Log data (1)
- Logic in computer science (1)
- Lösungsprozess (1)
- MIMIC-III (1)
- ML <Programmiersprache> (1)
- MOOC (1)
- Machine teaching (1)
- Manhattan distance (1)
- Many-core computer architectures (1)
- MapReduce (1)
- Marketing Analytics (1)
- Marketplace lending (1)
- Markov Chain (1)
- Markovianity (1)
- Markus Beckedahl (1)
- Maschinelles Lernen (1)
- Matching <Graphentheorie> (1)
- MathCityMap (1)
- Mathematikdidaktik (1)
- Mathtrails (1)
- Max Senges (1)
- Meaning-making (1)
- Mechanisms/mediators (1)
- MediaEval 2016 (1)
- Medical Systems (1)
- Medical database (1)
- Medienkompetenz (1)
- Medienproduktion (1)
- Medientheorie (1)
- Mehrseitige Sicherheit (1)
- Membranpotential (1)
- Memory (1)
- Mensch-Maschine (1)
- Mensch-Maschine-Dialog (1)
- Merkmalsraum (1)
- Merkmalsselektion (1)
- Message authentication (1)
- Microarray (1)
- Middleware (1)
- Miguel Chevalier (1)
- Mobile (1)
- Mobile Learning (1)
- Mobile Phones (1)
- Mobile games (1)
- Mobile platforms (1)
- Model Checking (1)
- Model-based public policy (1)
- Modelle (1)
- Modellierung (1)
- Monocular Scene Flow (1)
- Monolithic scheme (1)
- Multi-Omics (1)
- Multi-model ensemble (1)
- Multicomponent Tree Adjoining Grammar (1)
- Multigrid (1)
- Multimedia (1)
- Multimodal Modeling (1)
- Museum Sinclair-Haus (1)
- Museum information system (1)
- Museums (1)
- NREM-Schlaf (1)
- Natur (1)
- Natural Language Understanding (1)
- Network Neuroscience (1)
- Network models (1)
- Networking (1)
- NetzKultur (1)
- Netzaktivismus (1)
- Netzdebatte (1)
- Netzpolitik (1)
- Netzsperren (1)
- Netzzensur (1)
- Netzzusammenschaltung (1)
- Neural Network (1)
- Neural encoding models (1)
- Neural map (1)
- Neural networks (1)
- NeuroXidence (1)
- Neurofuzzy (1)
- Nichtlineare Datenanalyse (1)
- Nichtlineare Merkmalsselektion (1)
- Noisy point clouds (1)
- Non-Fungible-Token (1)
- Non-Lagrange multiplier method (1)
- Non-determinism (1)
- Nonlinear Data Analysis (1)
- Nonlinear Feature Selection (1)
- Normalisierung (1)
- Nutrition (1)
- OCR (1)
- ODE (1)
- OER (1)
- ORC (1)
- OZG (1)
- Object vision (1)
- Objekterkennung (1)
- Objektorientiertes Datenbanksystem ; Schemaevolution ; Version <Informatik> (1)
- Objektorientierung (1)
- Offenes Kommunikationssystem ; Verteiltes System ; Telekommunikationsdienst ; Vermittlung ; Typ ; Wissensbasiertes System (1)
- Olfactory system (1)
- Online algorithms (1)
- Online art (1)
- Online privacy (1)
- Online-Lehre (1)
- Online-Meeting (1)
- Ontogenie (1)
- Ontology (1)
- Open Educational Resources (1)
- Open banking (1)
- Open data (1)
- Open set recognition (1)
- Open source (1)
- Open world learning (1)
- Open-Source-Software und -Systeme (1)
- Open-access data resource (1)
- Open-source software (1)
- OpenStreetMap quality evaluation (1)
- OpenURL ; Nutzung ; wissenschaftliche Recherche (1)
- Operational Semantics (1)
- Optimal wiring (1)
- Orientation preference (1)
- Outlier detection (1)
- Outreach practice (1)
- P2P lending (1)
- PCA-Zerlegung (1)
- PDEs (1)
- PISA (1)
- Paging (1)
- Paging Algorithms (1)
- Pain (1)
- Parallel and SIMD calculations (1)
- Parallelism (1)
- Paramecium (1)
- Parkinson Effekt (1)
- Parkinson diagnosis (1)
- Parkinson effect (1)
- Parquet (1)
- Participatory process (1)
- Particle image velocimetry (1)
- Pattern classification (1)
- Patternsprachen (1)
- Paul Ziemiak (1)
- Pedestrian Detection (1)
- Permutation (1)
- Personalisierung (1)
- Personalization (1)
- Personalized Medicine (1)
- Persönlichkeitsrecht (1)
- Philip Agre (1)
- Phosphate (1)
- Pinwheel (1)
- Plan (1)
- Planning (1)
- Planning systems (1)
- Planungssystem (1)
- Planungssysteme (1)
- Plasticity (1)
- Plattform (1)
- Pleasure (1)
- PointNet (1)
- Pokémon Go (1)
- Polynomielles Wortproblem (1)
- Portabler Objektadapter (1)
- Portal Website (1)
- Pose Estimation (1)
- Positive fluid balance (1)
- Postoperative atrial fibrillation (1)
- Power system simulations (1)
- Praxistheorie (1)
- Preclinical research (1)
- Precongruence (1)
- Prediction (1)
- Predictive Modeling (1)
- Predictive markers (1)
- Preface (1)
- Preisdifferenzierung (1)
- Preismodell (1)
- Preßburg <2003> (1)
- Principal Component Analysis PCA (1)
- Principal Independent Component Analysis PICA (1)
- Prioritäten (1)
- Privacy Policies (1)
- Problem kürzester Superstrings (1)
- Processor (1)
- Procrastination (1)
- Produ (1)
- Product life cycle (1)
- Product returns (1)
- Prognostic markers (1)
- Program Transformations (1)
- Program Verification (1)
- Programmiersprachen (1)
- Programmkalküle (1)
- Programmkorrektheit (1)
- Programmverifikation (1)
- Projektmanagement (1)
- Prokrastination (1)
- Prophet Inequalities (1)
- Prostate cancer (1)
- Proteomics (1)
- Prozedurales Wissen (1)
- Präkongruenz (1)
- Präprozessierung (1)
- Prüfungen (1)
- Pseudonym (1)
- Public Administration (1)
- Public Transport (1)
- Public-Key-Kryptosystem (1)
- Pym, Anthony (1)
- Q-modularity (1)
- QCD equation of state (1)
- QCD phase transition (1)
- Qualitative research (1)
- Quality of life (1)
- Quantitative features (1)
- Query Language (1)
- R-code (1)
- RADIUS Protocol (1)
- RDBMS (1)
- RDF <Informatik> (1)
- RNA biology (1)
- RNA interference (1)
- RQL (1)
- RSA-Verschlüsselung (1)
- Randomized algorithms (1)
- Range Concatenation Grammar (1)
- Rate Distortion Theory (1)
- Rating Scale (1)
- Rating Scale Design (1)
- Rating System (1)
- Reaktivierung der Gedächtnisspuren (1)
- Real-time systems (1)
- Recht am eignenen Bild (1)
- Recurrent neural network (1)
- Reduktionssystem (1)
- Regular Languages (1)
- Reguläre Sprachen (1)
- Reifegradmodell (1)
- RenderMan (1)
- Reproducibility (1)
- Reservoir (1)
- Residual connection (1)
- Retrievalsprache (1)
- Rezension (1)
- Risk assessment (1)
- Roadmap (1)
- Robustheit (1)
- Routing (1)
- Rènyi mutual information (1)
- SEM (1)
- SHA-3 (1)
- SORN (1)
- SQL-on-Hadoop (1)
- STAR (1)
- STAR experiment (1)
- STDP (1)
- SVD-Zerlegung (1)
- SWRL (1)
- Salt formations (1)
- Sample-based longitudinal study (1)
- Saward (1)
- Schema, Informatik (1)
- Schlaf (1)
- Schreiben (1)
- Schätzwert (1)
- Script Compression (1)
- Sehbeeinträchtigung (1)
- Sehrinde (1)
- Seitenersetzungsstrategie (1)
- Selbstorganisierende Karte (1)
- Selbstorganisierende Taskverteilung (1)
- Selection process (1)
- Self-Instruct (1)
- Self-fulfilling Prophecy (1)
- Semantic portal (1)
- Semantik (1)
- Semantisches Web (1)
- Sensibilisierung (1)
- Sensory perception (1)
- Sentiment (1)
- Sentiment analysis (1)
- Sentiment-Analysis (1)
- Sequence analysis (1)
- Serious Games (1)
- Server (1)
- Shader (1)
- Shannon (1)
- Sharing (1)
- Short-lived particles (1)
- Shortest Common Superstring Problem (1)
- Sichere Antworten (1)
- Sicherheit (1)
- Similarity (1)
- Single Event Effects (1)
- Small RNA analysis (1)
- Smart Learning (1)
- Smart Speaker (1)
- Smartphone (1)
- Social construction of technology (1)
- Soft Computing (1)
- Software development practice (1)
- Software updates (1)
- Softwareentwicklung (1)
- Softwarelokalisation (1)
- SparkSQL (1)
- Spatially adaptive sparse grids (1)
- Specialized information service (1)
- Speech-to-Text (1)
- Speicherbedarf (1)
- Spezifikation (1)
- Spiele (1)
- Spielerisches Lernen (1)
- Sprachkorpora (1)
- Sprachtheorie (1)
- Spurious pressure (1)
- Standardisation (1)
- Standortbezogener Dienst (1)
- Statistical Classification (1)
- Statistical analysis (1)
- Stereo Vision (1)
- Stereophotographie (1)
- Stochastic Probing (1)
- Stock markets (1)
- Strange particles (1)
- Striktheitsanalyse (1)
- Strong coupling (1)
- Student expectations (1)
- Studierende mit Beeinträchtigungen (1)
- Studierende mit Behinderungen oder chronischen Krankheiten (1)
- Studierende mit individuellen Bedarfen (1)
- Studium (1)
- Städel Museum Frankfurt (1)
- Support Vector Machine (1)
- Syntaktische Analyse (1)
- Systembiologie (1)
- Szenengenerierung (1)
- TCP/IP (1)
- TDOA (1)
- TMT (1)
- TRD (1)
- TTLab (1)
- Table of Contents (1)
- Tagungen (1)
- Takens-Grassberger correlation integral (1)
- Tarragona <2008> (1)
- Taxon (1)
- Taxonomie (1)
- Technologie (1)
- Technologie Enhanced Learning (1)
- Technologiebasiertes Problemlösen (1)
- Technology-Enhanced Learning (1)
- Teilhabe (1)
- Telekommunikationsnetz (1)
- Telekommunikationswirtschaft (1)
- Termersetzungssystem (1)
- Termination (1)
- Terminology Evolution (1)
- Terrmersetzungssystem (1)
- Testing (1)
- Text Annotation (1)
- TextImager (1)
- Textanalyse ; Linguistische Datenverarbeitung ; Computerlinguistik (1)
- Texttechnologie (1)
- Textvisualisierung (1)
- Themenklassifikation (1)
- Time Constraints (1)
- Tobler's First Law (1)
- Tokenisierung (1)
- Topic modelling (1)
- Topological insulators (1)
- Toxicity (1)
- Tracking (1)
- Traffic Scenes (1)
- Training (1)
- Transarterial Chemoembolization (1)
- Transfer (1)
- Transfer learning (1)
- Transinformation (1)
- Transkription (1)
- Translation (1)
- Translational research (1)
- Transparenz (1)
- Tree Adoining Grammar (1)
- Tree Description Grammar (1)
- Tribolium castaneum (1)
- Tropical Grassmannians (1)
- Tropical geometry (1)
- Tropical varieties (1)
- Trusted Computing (1)
- Twitter (1)
- Typical Learning Behaviour (1)
- UIMA (1)
- UPT (1)
- USA (1)
- Ubiquitous Computing (1)
- Uluslararasılaştırma (1)
- Umbenennung (1)
- Umsetzung (1)
- Unabhängige Komponentenanalyse (1)
- Uncertainty (1)
- Uncertainty quantification (1)
- Ungewissheit (1)
- Unheimliche Intelligenz (1)
- Uniform resource locators (1)
- Universa feature extraxtion (1)
- Universal Design (1)
- Universal Design for Learning (1)
- Unternehmen / Innovation (1)
- Unüberwachtes Lernen (1)
- User Interface (1)
- User Profile (1)
- VLSI (1)
- VR (1)
- VRML (1)
- Valve surgery (1)
- Vannotator (1)
- Vera Molnar (1)
- Verbundprojekt (1)
- Vergessen (1)
- Verkehr (1)
- Video (1)
- Videokonferenzsysteme (1)
- Viedeospiel (1)
- Vision (1)
- Visual (1)
- Visual object recognition (1)
- Volunteered Geographic Information (1)
- Vorratsdatenspeicherung (1)
- Voyeurism (1)
- Voyeurismus (1)
- Wahlkampf (1)
- Watermarking (1)
- Web 2.0 (1)
- Web Analytics (1)
- Web Archives (1)
- Web Content Accessibility Guidelines (1)
- Web Search (1)
- Web application (1)
- Web-GIS (1)
- Web-based Training (1)
- Webanwendung (1)
- Wechselseitige Information (1)
- Well-being (1)
- Wiki (1)
- Wikipedia (1)
- Willkommenskultur (1)
- Wissensbasiertes System (1)
- Wissenschaftskritik (1)
- Workshop Organization (1)
- World wide web (1)
- Wortproblem (1)
- XML (1)
- Yerelleştirme (1)
- Z-inspection (1)
- Zeichenkette (1)
- Zeitgenössische Kunst (1)
- Zensur (1)
- Zensursula (1)
- Zertifizierung (1)
- Zoom (1)
- abstract reduction (1)
- accessibility (1)
- acoustic multilateration (1)
- active perception (1)
- acute infection (1)
- adaption (1)
- addressability (1)
- adequate translation (1)
- adoption factors (1)
- affective computing (1)
- afterlife (1)
- agent-based modeling (1)
- algorithm engineering (1)
- alpha renaming (1)
- ambiguity (1)
- animal behavior states (1)
- animal detection (1)
- animal sounds (1)
- animal welfare (1)
- approximation algorithms (1)
- approximation complexity (1)
- apps (1)
- architecture (1)
- artificial neural networks (1)
- attack scenarios (1)
- attention-based object recognition (1)
- augmented reality (1)
- automata (1)
- automated monitoring (1)
- automatic handwriting analysis (1)
- automatische Untertitelung (1)
- automatisierte Untertitelung (1)
- automotive sector (1)
- autoregressive GANs (1)
- avatars (1)
- average pairwise distance (1)
- average-case complexity (1)
- barrel cortex (1)
- barriere-sensibel (1)
- barrierefreie Didaktik (1)
- barrierefreie Medien (1)
- barrierefreie Online-Lehre (1)
- barrierefreie Videokonferenzen (1)
- barrierefreie Videos (1)
- barrierefreier Bildungsprozess (1)
- barrierefreies eLearning (1)
- base stations (1)
- batteries (1)
- behavioral research (1)
- big data (1)
- big data benchmarking (1)
- bioacoustics (1)
- biochemical pathways (1)
- biofilm (1)
- bioimaging (1)
- bioinformatics (1)
- biologically inspired computing (1)
- bisimulation (1)
- bistable perception (1)
- bivariate (1)
- boutons (1)
- brain (1)
- built-in self-test (1)
- calcium dynamics (1)
- call-by-need evaluation (1)
- call-by-need lambda calculus (1)
- cancer (1)
- capture (1)
- cardiac arrest (1)
- case study (1)
- catastrophic forgetting (1)
- cellular automata (1)
- cellular triangulation (1)
- centrality (1)
- certain answers (1)
- changepoint (1)
- chatbots (1)
- chronic infection (1)
- classification (1)
- clinical presentation (1)
- clinical trials (1)
- closed world assumption (CWA) (1)
- cloud service provider (1)
- cluster computing (1)
- cluster transformation (1)
- clustering (1)
- co-located collaboration analytics (1)
- co-presence (1)
- coding theory (1)
- codon usage preferences (1)
- cognitive development (1)
- coincidence detection (1)
- collaboration (1)
- collaboration analytics (1)
- colony formation (1)
- columnar file formats (1)
- combinatorics (1)
- communication complexity (1)
- community (1)
- comparison (1)
- complementary information (1)
- complex backgrounds (1)
- complexity (1)
- compression (1)
- computational complexity (1)
- computational intelligence (1)
- computational modeling (1)
- computational stemmatology (1)
- computational techniques (1)
- computational thinking (1)
- computational virology (1)
- concerns for information privacy (CFIP) (1)
- conjoint analysis (1)
- consensus data set (1)
- consumer behavior (1)
- contamination (1)
- content acquisition (1)
- context-sensitivity (1)
- continual deep learning (1)
- conversation analysis (1)
- convolutional neural networks (1)
- coordination (1)
- corpus study (1)
- correctness (1)
- counting stemmata (1)
- coupled differential equations (1)
- coupon collector problem (1)
- crawling architecture (1)
- cultural capital (1)
- curiosity (1)
- cybernetics (1)
- dancing (1)
- data acquisition; high energy physics; FPGA; CBM; FLES (1)
- data analysis (1)
- data crowdsourcing (1)
- data exchange (1)
- data management (1)
- data orthonormalization network (1)
- data quality (1)
- data science education (1)
- data sharing (1)
- data streams (1)
- data structure (1)
- de-identification (1)
- debugging (1)
- decidability questions (1)
- deduction (1)
- deductive database (1)
- deduktive Datenbank (1)
- deep generative models (1)
- deep learning tools (1)
- deformable model (1)
- dendrites (1)
- density maps (1)
- density visualization (1)
- dermatology (1)
- descriptional complexity (1)
- descriptive patterns (1)
- deskriptive Pattern (1)
- detailed modeling (1)
- developers (1)
- device-to-device communication (1)
- diabetes mellitus (1)
- differential equations (1)
- diffusion of innovations (1)
- diffusion theory (1)
- digital cultures (1)
- digital distractions (1)
- digital divide (1)
- digital inequality (1)
- digital literacy (1)
- digital pathology (1)
- digitale Barrierefreiheit (1)
- digitale Hochschule (1)
- digitale Kompetenz (1)
- digitale Lehre (1)
- digitale Lernmedien (1)
- disaster risk management (1)
- discrete processing (1)
- diskrete Verarbeitung (1)
- distributed analysis (1)
- domains (1)
- drahtlos (1)
- dynamic algorithms (1)
- dynamic programming (1)
- dynamische Prozesse (1)
- e-Science (1)
- eHumanities (1)
- eLearning (1)
- ePR (1)
- ePrivacy Regulation (1)
- eRQL (1)
- ecology of savannah animals (1)
- education (1)
- elastic graph maching (1)
- electrical stimulation (1)
- electronic diaries (1)
- electronic nose (1)
- electronic pen (1)
- elementary mode (1)
- emergent self-organizing maps (1)
- emotion generation (1)
- emotion prediction (1)
- empiric survey (1)
- encounter (1)
- endlicher Index (1)
- energy system simulations (1)
- enrichment (1)
- entity and event extraction (1)
- entropy (1)
- epigenome (1)
- epilepsy, epileptogenesis, model, neuro-immune, neuroinflammation, blood brain barrier, seizure (1)
- epistemic network analysis (1)
- equation of state (1)
- erasure codes (1)
- error correction codes (1)
- ethical co-design (1)
- ethical trade-off (1)
- ethics (1)
- event reconstruction (1)
- excess kurtosis (1)
- explainability (1)
- explainable AI (1)
- exploration (1)
- external memory (1)
- eye-tracking (1)
- fMRI (1)
- face (1)
- face recognition (1)
- factor (1)
- factor analysis (1)
- feasibility study (1)
- feature selection (1)
- federated feasibility queries (1)
- field mapping (1)
- field papers (1)
- financial decision support (1)
- finite index (1)
- finite model theory (1)
- firing pattern (1)
- first-order logic (1)
- flood risk perception (1)
- flooding (1)
- formal languages (1)
- formal semantics (1)
- functional module (1)
- futures (1)
- gamification (1)
- gamma Zyklus (1)
- gamma cycle (1)
- gathering (1)
- gene expression (1)
- gene therapy (1)
- generalized uncertainty principle (1)
- generatives Lernen (1)
- generic tasks (1)
- genetic algorithm (1)
- genotype–phenotype (1)
- geodesic equation (1)
- german media theory (1)
- gesture recognition (1)
- google (1)
- grammar systems (1)
- grammar-based compression (1)
- graph algorithms (1)
- graph matching (1)
- graph theory (1)
- graph understanding (1)
- group speech analytics (1)
- guideline catalog (1)
- guiding principle (1)
- haemophilia treatment (1)
- hand posture recognition (1)
- hashing (1)
- haskell (1)
- health data (1)
- health information interoperability (1)
- heavy ion collision (1)
- heavy ion collisions (1)
- hepatitis C virus (HCV) (1)
- heterogeneity (1)
- heuristics (1)
- hierarchies and reducibilities (1)
- high energy physics (1)
- high performance computing (1)
- high-dimensional data sets (1)
- higher education (1)
- history (1)
- housing provision (1)
- human computer intaraction (1)
- human lymph node (1)
- human olfaction (1)
- human research (1)
- human robot interaction (1)
- human viruses (1)
- hybrid (1)
- hybride Lehre (1)
- image classification (1)
- image databases (1)
- image encoding (1)
- immune response (1)
- immune system (1)
- immunological research (1)
- impact parameter (1)
- incremental schemes (1)
- independent component analysis (1)
- inductive inference (1)
- information (1)
- information conservation (1)
- information decomposition (1)
- information landscape (1)
- information processing (1)
- information transfer (1)
- inklusive Campuspläne (1)
- inklusive Hochschule (1)
- inklusive barrierefreie Online-Lehre (1)
- integer points (1)
- intellektuelle Autonomie (1)
- interactive data analysis (1)
- internet (1)
- interoperability (1)
- interpretability (1)
- intertextual similarity (1)
- intratextual similarity (1)
- intrinsic motivation (1)
- iterative arrays (1)
- joint-spike-event (1)
- junge_union (1)
- k-shortest path (1)
- knowledge area (1)
- knowledge graphs (1)
- kognitive Einschränkung (1)
- kommunikative Barrierefreiheit (1)
- kontextabhängige Verarbeitung (1)
- kontextuelle Gleichheit (1)
- künstliche Intelligenz (1)
- learning goal (1)
- learning unit (1)
- legacy software (1)
- libgen (1)
- line element (1)
- linguistic relativity (1)
- literature review (1)
- local information dynamics (1)
- location based services (1)
- logic (1)
- logic synthesis (1)
- lymph node (1)
- machine models (1)
- machine reasoning (1)
- machine translation (1)
- macronucleus (1)
- malignant melanoma (1)
- massively parallel multigrid solvers (1)
- mathematics education (1)
- mathematischer Unterricht (1)
- matroids, online algorithm (1)
- maximal common transition set (1)
- meat adulteration (1)
- media archeology (1)
- media multitasking (1)
- medical informatics (1)
- meta languages (1)
- metabolic networks (1)
- metalinear (1)
- metric tensor (1)
- microarrays (1)
- microbiology (1)
- mikroskopisch (1)
- minimal cut set (1)
- minimum description length (1)
- minimum entropy (1)
- mobile commerce (1)
- mobile communication (1)
- mobile media (1)
- model parameter adaption (1)
- modeling (1)
- modeling and simulation (1)
- models (1)
- models of computation (1)
- modulation of synchrony (1)
- monitoring (1)
- morphological filtering (1)
- morphology (1)
- motility (1)
- motorische Einschränkung (1)
- multi edge set graph (1)
- multimodal (1)
- multimodal fusion (1)
- multimodal interaction (1)
- multimodal learning analytics (1)
- multiple correspondence analysis (1)
- multiple texts (1)
- multivariate (1)
- mutation (1)
- natural language (1)
- naturwissenschaftlicher Unterricht (1)
- nerve cells mosaic (1)
- network analysis (1)
- network model (1)
- network similarity measurement (1)
- neural development (1)
- neural nets (1)
- neural network decoder (1)
- neural ordinary differential equation (1)
- neural systems (1)
- neuromuscular junction (1)
- neuron (1)
- neuronal morphology (1)
- neuropathic pain (1)
- neuroscience (1)
- newspaper (1)
- noise suppression (1)
- nominal unification (1)
- non-invasive (1)
- noncommutative geometry (1)
- nondeterministic finite automata (1)
- normalization (1)
- ntracellular signaling (1)
- object recognition (1)
- observational equivalence (1)
- off-line memory reprocessing (1)
- olfaction (1)
- olfactory testing (1)
- one-dimensional convolutional neural network (1)
- online bayesian change point detection (1)
- online privacy (1)
- online-Privatsphäre (1)
- ontogenesis (1)
- open access (1)
- open-data (1)
- open-set recognition (1)
- open-source (1)
- operational risk (1)
- optimal coding (1)
- optimal power flow (1)
- optimization (1)
- ordinary differential equation (1)
- organic computing (1)
- organisationale Barrierefreiheit (1)
- outdoor activities (1)
- overfitting (1)
- packing problem (1)
- pain (1)
- pandemic (1)
- parallel (1)
- parallel file systems (1)
- parallel processes (1)
- parliament libraries (1)
- parliamentary debate (1)
- partial differential equation (1)
- participation (1)
- pathogenicity (1)
- patient data (1)
- patient–doctor relationship (1)
- pattern languages (1)
- pedagogical roles (1)
- performance evaluation (1)
- phase coding (1)
- photoaging (1)
- point process (1)
- polynomial word problem (1)
- poröses Medium (1)
- postoperative pain (1)
- postrelational database (1)
- postrelationale Datenbank (1)
- precongruence (1)
- prediction (1)
- prediction quality (1)
- principal component analysis (1)
- privacy (1)
- privacy behavior (1)
- privacy calculus (1)
- privacy concerns (1)
- privacy engineering (1)
- privacy preference (1)
- privacy setting (1)
- privacy-enhancing technologies (1)
- probabilistic inference (1)
- probability theory (1)
- problem solving (1)
- process approximation (1)
- program correctness (1)
- programming calculi (1)
- programming languages design (1)
- protein assembly (1)
- protein structure (1)
- proteomics (1)
- psychische Einschränkung (1)
- public speaking (1)
- pulsed SILAC (1)
- pyramidal neuron (1)
- quantum chromodynamics (1)
- quantum gravity (1)
- query (1)
- quicksort (1)
- random forest regressor (1)
- random hyperbolic graph generator (1)
- randomized algorithms (1)
- re:publica (1)
- reaction-diffusion systems (1)
- reactive systems (1)
- real world problems ; (1)
- realistic geometries (1)
- receivers (1)
- reception (1)
- recurrent neural networks (1)
- redundancy (1)
- redundant information (1)
- relative termination (1)
- relativity and gravitation (1)
- renewable energy (1)
- representation (1)
- representation learning (1)
- representative claims (1)
- reproducibility (1)
- requirements analysis (1)
- reservoir computing (1)
- respiratory complex I (1)
- reward (1)
- rewriting systems (1)
- risk assessment (1)
- robotics (1)
- robustness (1)
- routing (1)
- sRNA (1)
- sRNA tool (1)
- salsa (1)
- scale-invariant object model (1)
- sci-hub (1)
- science and technology studies (1)
- secretary problem (1)
- security (1)
- security assessment (1)
- security management (1)
- security of data (1)
- security self-assessment (1)
- security-constrained optimal power flow (1)
- segmentation (1)
- self-attention (1)
- self-control (1)
- self-organisation (1)
- self-organization (1)
- self-regulation (1)
- semantic content analysis (1)
- semantic web (1)
- sensor-based learning support (1)
- shape (1)
- shape prior (1)
- sharing (1)
- shock filter (1)
- shortest path (1)
- siRNA analysis (1)
- siRNA quantification (1)
- signature size (1)
- similarity (1)
- single block replacement (1)
- skin (1)
- small RNA (1)
- smart home (1)
- smart living (1)
- smart phones (1)
- smartphone apps (1)
- smoking (1)
- social Web (1)
- social engineering (1)
- social innovations (1)
- social media (1)
- social sciences (1)
- sociology (1)
- software (1)
- sorting (1)
- sound localization (1)
- space bounded computations (1)
- space improvements (1)
- space optimization (1)
- specialized vocabulary (1)
- specification and verification (1)
- spike timing (1)
- statistical shape analysis (1)
- stereo vision (1)
- stochastic model (1)
- storage (1)
- storage optimization (1)
- straight line programs (1)
- streaming algorithm (1)
- strictness analysis (1)
- string rewriting (1)
- stroke (1)
- structure-function relationships (1)
- substitution attacks (1)
- succinct data structures (1)
- succinctness (1)
- sum-product algorithm (1)
- supervised learning (1)
- surface approximation (1)
- swarming (1)
- synaptic normalization (1)
- synaptogenesis (1)
- synchronous firing (1)
- synergy (1)
- systems theory (1)
- t-cluster (1)
- t-distributed stochastic neighbor embedding (1)
- t-invariant (1)
- tailored learning path (1)
- technische Barrierefreiheit (1)
- technischer Datenschutz (1)
- technischer Unterricht (1)
- technological frames (1)
- technological stasis (1)
- technology (1)
- termination (1)
- testability (1)
- text search (1)
- textbooks (1)
- the principle of maximum entropy (1)
- the set disjointness problem (1)
- theoretical stemmatology (1)
- theory of computation (1)
- three-level topic model (1)
- threshold concepts (1)
- time series prediction (1)
- tobacco (1)
- tobacco cessation (1)
- tobacco prevention (1)
- topic detection (1)
- trajectories (1)
- transfer entropy (1)
- transition (1)
- translation (1)
- translational selection (1)
- treatment centres (1)
- tree grammars (1)
- trials registry (1)
- trust (1)
- trustworthy AI Co-design (1)
- uncertainty (1)
- unique information (1)
- unit commitment; (1)
- user involvement (1)
- user preferences (1)
- user study (1)
- variability (1)
- variational inference (1)
- vergence (1)
- verzögerte Auswertung (1)
- video prediction (1)
- viral dynamics (1)
- virtual embodiment (1)
- virtual worlds (1)
- visual programming (1)
- visualisation (1)
- vocalization (1)
- volume-visualization (1)
- warburg (1)
- warts (1)
- web crawler (1)
- web of things (1)
- whitening filter (1)
- whole slide image (1)
- wikipedia (1)
- willingness to forward (1)
- wireless business model pyramid scheme multi-level (1)
- wireless communication (1)
- wireless networks (1)
- within-host viral modelling (1)
- women’s quota (1)
- workflow development (1)
- xAPI (1)
- ÖPNV (1)
- Übersetzungswissenschaft (1)
- Übertragung (1)
- flow cytometry (1)
Institute
- Informatik (482)
- Informatik und Mathematik (106)
- Präsidium (74)
- Medizin (55)
- Frankfurt Institute for Advanced Studies (FIAS) (54)
- Wirtschaftswissenschaften (45)
- Physik (35)
- Hochschulrechenzentrum (24)
- studiumdigitale (24)
- Extern (12)
In den Anwendungsbereichen der Mixed Reality (MR) werden die reale und die virtuelle Welt kombiniert, so dass ein Eindruck der Koexistenz beider Welten entsteht. Meist wird dabei die reale Umgebung durch virtuelle Objekte angereichert, die dem Anwender zusätzliche Informationen bieten sollen. Um die virtuellen Objekte richtig zu positionieren, muss die reale Umgebung erkannt werden. Diese Erkennung der realen Umgebung wird meist durch Bestimmung und Verfolgung von Orientierung und Positionierung der realen Objekte realisiert, was als Tracking bezeichnet wird und einen der wichtigsten Bestandteile für MR-Anwendung darstellt. Ohne die exakte Ausrichtung von realen und virtuellen Objekten, geht die Illusion verloren, dass die virtuellen Objekte Teil der realen Umgebung sind und mit ihr verschmelzen. Markerkombination Das markerbasierte Tracking ist ein Verfahren, das die Bestimmung der Positionierung von realen Objekten durch zusätzliche Markierungen in der realen Umgebung ermöglicht. Diese Markierungen können besonders gut durch Bildanalyseverfahren extrahiert werden und bieten anhand ihrer speziellen Form Positionierungsinformationen. Der Einsatz dieser Trackingtechnologie ist dabei denkbar einfache und kostengünstig. Ein breiter Anwendungsbereich ist durch den kostengünstigen Einsatz dieser Technologien gegeben, allerdings ist das Erstellen von MR-Anwendungen fast ausschließlich MR-Spezialisten vorbehalten, die über Programmierfertigkeiten und spezielle Kenntnisse aus dem MR-Bereich besitzen. Diese Arbeit beschreibt die Entwicklung und Umsetzung der Konzepte, die einem Personenkreis, der lediglich über geringe Kenntnisse von MR-Technologien und deren Anwendung verfügt, den kostengünstigen und einfachen Einsatz von markerbasierten Trackingtechnologien ermöglicht. Die im Rahmen der Arbeit durchgeführte Analyse verweist auf die problematischen Anwendungsfälle des markerbasierten Trackings, die durch die Verdeckung von Markern zustande kommen, in der Beschränkung der Markeranzahl begründet sind, oder durch die Schwankung der Trackingangaben entstehen. Diese Problembereiche sind bei der Entwicklung berücksichtigt worden und können mit Hilfe der entwickelten Konzepte vom Autor bewältigt werden. Das Konzept der Markerkategorien ermöglicht dabei den Einsatz von angepassten Filterungstechniken. Die redundante Markerkombination behebt das Verdeckungsproblem und eliminiert Schwankungen durch das Kombinieren von mehreren Trackinginformationen. Die Gütefunktion ermöglicht die Bewertung von Trackinginformationen und wird zur Gewichtung der Trackingangaben innerhalb einer Markerkombination genutzt. Das Konzept der Markertupel ermöglicht eine Wiederverwendung von Markern, durch den Ansatz der Bereichsunterteilung. Die Konzepte sind in der AMIRE-Umgebung vollständig implementiert und getestet worden. Zum Abschluss ist rückblickend eine kritische Betrachtung der Arbeit, in punkto Vorgehensweise und erreichter Ergebnisse durchgeführt worden.
Die Anfänge der Gittertheorie reichen in das letzte Jahrhundert, wobei die wohl bekanntesten Ergebnisse auf Gauß, Hermite und Minkowski zurückgehen. Die Arbeiten sind jedoch zumeist in der Schreibweise der quadratischen Formen verfaßt, erst in den letzten Jahrzehnten hat sich die von uns verwendete Gitterschreibweise durchgesetzt. Diese ist zum einen geometrisch anschaulicher, zum anderen wurden in den letzten Jahren für diese Schreibweise effiziente Algorithmen entwickelt, so daß Probleme der Gittertheorie mittels Computer gelöst werden können. Ein wichtiges Problem ist, in einem Gitter einen kürzesten nicht verschwindenden Vektor zu bestimmen. Den Grundstein für diese algorithmische Entwicklung legten A.K. Lenstra, H.W. Lenstra Jr. und L. Lovasz mit ihrer Arbeit. In dieser führten sie einen Reduktionsbegriff ein, der durch einen Polynomialzeitalgorithmus erreicht werden kann. Ein weiterer Reduktionsbegriff, die Blockreduktion, geht auf Schnorr zurück. Euchner hat im Rahmen seiner Diplomarbeit effiziente Algorithmen für diese beiden Reduktionsbegriffe auf Workstations implementiert und auch in Dimensionen > 100 erfolgreich getestet. Die Verbesserungen von Schnittechniken des in der Blockreduktion verwendeten Aufzählungsverfahrens und die Einführung einer geschnittenen Aufzählung über die gesamte Gitterbasis hat Hörner in seiner Diplomarbeit beschrieben. Ziel der folgenden Arbeit war es nun, diese bereits auf sequentiellen Computern implementierten Algorithmen zu modifizieren, um auf parallelen Rechnern, speziell Vektorrechnern, einen möglichst hohen Geschwindigkeitsgewinn zu erzielen. Wie in den seriellen Algorithmen werden die Basisvektoren stets in exakter Darstellung mitgeführt, so daß das Endergebnis einer Berechnung nicht durch Rundungsfehler verfälscht wird.
Im Jahr 1993 schlug A. Shamir Protokolle zur Erstellung digitaler Unterschriften vor, die auf rationalen Funktionen kleinen Grades beruhen. D. Coppersmith, J. Stern und S. Vaudenay präsentierten die ersten Angriffe auf die Verfahren. Diese Angriffe können den geheimen Schlüssel nicht ermitteln. Für eine der von Shamir vorgeschlagenen Varianten zeigen wir, wie der geheime Schlüssel ermittelt werden kann. Das zweite Signaturschema von Shamir hängt von der Wahl einer algebraischen Basis ab. Eine besondere Bedeutung haben Basen, deren Elemente polynomiale Terme vom Grad 2 sind. Wir analysieren die Struktur der algebraischen Basen. Für den hervorgehobenen Spezialfall kann eine vollständige Klassifikation durchgeführt werden.
We introduce a new method for representing and solving a general class of non-preemptive resource-constrained project scheduling problems. The new approach is to represent scheduling problems as de- scriptions (activity terms) in a language called RSV, which allows nested expressions using pll, seq, and xor. The activity-terms of RSV are similar to concepts in a description logic. The language RSV generalizes previous approaches to scheduling with variants insofar as it permits xor's not only of atomic activities but also of arbitrary activity terms. A specific semantics that assigns their set of active schedules to activity terms shows correctness of a calculus normalizing activity terms RSV similar to propositional DNF-computation. Based on RSV, this paper describes a diagram-based algorithm for the RSV-problem which uses a scan-line principle. The scan-line principle is used for determining and resolving the occurring resource conflicts and leads to a nonredundant generation of all active schedules and thus to a computation of the optimal schedule.
In the last years, much effort went into the design of robust anaphor resolution algorithms. Many algorithms are based on antecedent filtering and preference strategies that are manually designed. Along a different line of research, corpus-based approaches have been investigated that employ machine-learning techniques for deriving strategies automatically. Since the knowledge-engineering effort for designing and optimizing the strategies is reduced, the latter approaches are considered particularly attractive. Since, however, the hand-coding of robust antecedent filtering strategies such as syntactic disjoint reference and agreement in person, number, and gender constitutes a once-for-all effort, the question arises whether at all they should be derived automatically. In this paper, it is investigated what might be gained by combining the best of two worlds: designing the universally valid antecedent filtering strategies manually, in a once-for-all fashion, and deriving the (potentially genre-specific) antecedent selection strategies automatically by applying machine-learning techniques. An anaphor resolution system ROSANA-ML, which follows this paradigm, is designed and implemented. Through a series of formal evaluations, it is shown that, while exhibiting additional advantages, ROSANAML reaches a performance level that compares with the performance of its manually designed ancestor ROSANA.
In the last decade, much effort went into the design of robust third-person pronominal anaphor resolution algorithms. Typical approaches are reported to achieve an accuracy of 60-85%. Recent research addresses the question of how to deal with the remaining difficult-toresolve anaphors. Lappin (2004) proposes a sequenced model of anaphor resolution according to which a cascade of processing modules employing knowledge and inferencing techniques of increasing complexity should be applied. The individual modules should only deal with and, hence, recognize the subset of anaphors for which they are competent. It will be shown that the problem of focusing on the competence cases is equivalent to the problem of giving precision precedence over recall. Three systems for high precision robust knowledge-poor anaphor resolution will be designed and compared: a ruleset-based approach, a salience threshold approach, and a machine-learning-based approach. According to corpus-based evaluation, there is no unique best approach. Which approach scores highest depends upon type of pronominal anaphor as well as upon text genre.
Assessing enhanced knowledge discovery systems (eKDSs) constitutes an intricate issue that is understood merely to a certain extent by now. Based upon an analysis of why it is difficult to formally evaluate eKDSs, it is argued for a change of perspective: eKDSs should be understood as intelligent tools for qualitative analysis that support, rather than substitute, the user in the exploration of the data; a qualitative gap will be identified as the main reason why the evaluation of enhanced knowledge discovery systems is difficult. In order to deal with this problem, the construction of a best practice model for eKDSs is advocated. Based on a brief recapitulation of similar work on spoken language dialogue systems, first steps towards achieving this goal are performed, and directions of future research are outlined.
Robuste Anaphernresolution
(2004)
In the last years, much effort went into the design of robust anaphor resolution algorithms. Many algorithms are based on antecedent filtering and preference strategies that are manually designed. Along a different line of research, corpus-based approaches have been investigated that employ machine-learning techniques for deriving strategies automatically. Since the knowledge-engineering effort for designing and optimizing the strategies is reduced, the latter approaches are considered particularly attractive. Since, however, the hand-coding of robust antecedent filtering strategies such as syntactic disjoint reference and agreement in person, number, and gender constitutes a once-for-all effort, the question arises whether at all they should be derived automatically. In this paper, it is investigated what might be gained by combining the best of two worlds: designing the universally valid antecedent filtering strategies manually, in a once-for-all fashion, and deriving the (potentially genre-specific) antecedent selection strategies automatically by applying machine-learning techniques. An anaphor resolution system ROSANA-ML, which follows this paradigm, is designed and implemented. Through a series of formal evaluations, it is shown that, while exhibiting additional advantages, ROSANAML reaches a performance level that compares with the performance of its manually designed ancestor ROSANA.
Syntactic coindexing restrictions are by now known to be of central importance to practical anaphor resolution approaches. Since, in particular due to structural ambiguity, the assumption of the availability of a unique syntactic reading proves to be unrealistic, robust anaphor resolution relies on techniques to overcome this deficiency. In this paper, two approaches are presented which generalize the verification of coindexing constraints to de cient descriptions. At first, a partly heuristic method is described, which has been implemented. Secondly, a provable complete method is specified. It provides the means to exploit the results of anaphor resolution for a further structural disambiguation. By rendering possible a parallel processing model, this method exhibits, in a general sense, a higher degree of robustness. As a practically optimal solution, a combination of the two approaches is suggested.
An anaphor resolution algorithm is presented which relies on a combination of strategies for narrowing down and selecting from antecedent sets for re exive pronouns, nonre exive pronouns, and common nouns. The work focuses on syntactic restrictions which are derived from Chomsky's Binding Theory. It is discussed how these constraints can be incorporated adequately in an anaphor resolution algorithm. Moreover, by showing that pragmatic inferences may be necessary, the limits of syntactic restrictions are elucidated.
Im Zeitalter der ständig wachsenden Mobilitätsanforderungen kommt dem flexiblen, dezentralen Zugriff auf Datenbestände aller Art eine immer größere Bedeutung zu. Steht ein Zugang via Internet nicht zur Verfügung, so bietet sich als Alternative die Verwendung eines Mobiltelefons an. Auf der Grundlage des WAP-Protokolls konnen elementare grafische Zugriffsschnittstellen geschaffen werden; deren Möglichkeiten sind jedoch begrenzt: Im Vergleich zu stationären Computerterminals ist die Displaygröße i.d.R. gering; entsprchend aufwändig verlauft das Browsing. Die gegenwärtige Technologie verfügt über eine geringe Bandbreite. die Navigation über Tasten wird vom Benutzer als umständlich empfunden. Es gibt Einsatzkontexte, die eine tastaturbasierte Interaktion a priori ausschließen. Als Alternative bieten sich gesprochensprachige Schnittstellen an, in denen der Benutzer einen Mensch-Maschine-Dialog mit einem telefonbasierten Sprachportal führt. Die Grundlage derartiger Anwendungen bietet Hardware- bzw. Software-Technologie zu Computer-Telefonie-Integration, Spracherkennung, Sprachsynthese. Mit diesen technologischen Basiskomponenten alleine ist es jedoch noch nicht getan: In Abhängigkeit von den spezifischen Erfordernissen der jeweiligen Anwendung sind geeignete Vorgaben zu spezifizieren, die den Computer in die Lage versetzen, den Dialog mit seinem menschlichen Gegenüber in problemadaquater Weise zu führen. Wichtige Anforderungen sind: Natürlichkeit: Ausgestaltung der sprachlichen Interaktion in einer Weise, die den Erwartungen des Anwenders hinsichtlich des jeweiligen Anwendungsfalls entsprechen; Flexibilität: Anpassung an die Eigenarten des jeweiligen Nutzers (Novize oder geübter Anwender etc.); 2 Robustheit: geeignetes Handling von Missverständnissen, unvollständigem Benutzer-Input sowie Unzulänglichkeiten der maschinellen Sprachverarbeitung (insbesondere Fehler in der Spracherkennung) etc. Formale Spezifikationen des maschinellen Dialogverhaltens werden als Dialogmodelle bezeichnet. Hinsichtlich der generischen Wiederverwendbarkeit der Dialogsoftware ist es sinnvoll, derartige Beschreibungen in einem standardisierten Formalismus, einer Dialogmodellierungssprache abzufassen, die sich somit in erster Näherung als eine "Programmiersprache" für eine generische Dialogmaschine auffassen lässt. Folglich stellt sich die Frage, wie eine geeignete Dialogmodellierungssprache aussehen könnte. In Bezug auf webbasierte Sprachportale wurde vom W3C die XML-basierte Dialogmodellierungssprache VoiceXML als Standardisierungsvorschlag erarbeitet ([7]). Im vorliegenden Dokument sollen zunächst Reichweite und Grenzen der Sprache VoiceXML evaluiert werden. Auf der Grundlage der Evaluation sollen strategischen Empfehlungen fur Unternehmen abgeleitet werden, die sich als Anwendungsentwickler auf dem Innovationsmarkt der telefonbasierten Sprachportale betätigen wollen. Die zentralen Fragen lauten: 1. Welches sind die zentralen Probleme der Entwicklung telefonbasierter Sprachportale? 2. Inwieweit löst VoiceXML diese Probleme? 3. Inwiefern lohnt es sich somit, (z.B. zwecks Herausbildung eines Alleinstellungsmerkmals) auf die Technologie VoiceXML zu setzen? 4. Welche Alternativen existieren? In welchen anderen Bereichen sollte man ggf. Kernkompetenzen herausbilden?
Coreference-Based Summarization and Question Answering: a Case for High Precision Anaphor Resolution
(2003)
Approaches to Text Summarization and Question Answering are known to benefit from the availability of coreference information. Based on an analysis of its contributions, a more detailed look at coreference processing for these applications will be proposed: it should be considered as a task of anaphor resolution rather than coreference resolution. It will be further argued that high precision approaches to anaphor resolution optimally match the specific requirements. Three such approaches will be described and empirically evaluated, and the implications for Text Summarization and Question Answering will be discussed.
Syntactic coindexing restrictions are by now known to be of central importance to practical anaphor resolution approaches. Since, in particular due to structural ambiguity, the assumption of the availability of a unique syntactic reading proves to be unrealistic, robust anaphor resolution relies on techniques to overcome this deficiency.
This paper describes the ROSANA approach, which generalizes the verification of coindexing restrictions in order to make it applicable to the deficient syntactic descriptions that are provided by a robust state-of-the-art parser. By a formal evaluation on two corpora that differ with respect to text genre and domain, it is shown that ROSANA achieves high-quality robust coreference resolution. Moreover, by an in-depth analysis, it is proven that the robust implementation of syntactic disjoint reference is nearly optimal. The study reveals that, compared with approaches that rely on shallow preprocessing, the largely nonheuristic disjoint reference algorithmization opens up the possibility/or a slight improvement. Furthermore, it is shown that more significant gains are to be expected elsewhere, particularly from a text-genre-specific choice of preference strategies.
The performance study of the ROSANA system crucially rests on an enhanced evaluation methodology for coreference resolution systems, the development of which constitutes the second major contribution o/the paper. As a supplement to the model-theoretic scoring scheme that was developed for the Message Understanding Conference (MUC) evaluations, additional evaluation measures are defined that, on one hand, support the developer of anaphor resolution systems, and, on the other hand, shed light on application aspects of pronoun interpretation.
A und B möchten digitale Unterschriften auf faire Weise austauschen, d.h. A soll genau dann eine Unterschrift von B erhalten, wenn B eine Unterschrift von A erhält. Der triviale Ansatz zum Austausch zweier Unterschriften, daß A seine Unterschrift an B sendet und dann B seine Unterschrift an A schickt, ist nicht fair, da B nach Erhalt der Unterschrift von A das Protokoll vorzeitig beenden oder eine ungültige Unterschrift senden kann. Bei den bekannten praktikablen Protokollen zum fairen Austausch unterteilen die Teilnehmer die Unterschriften in kleine Blöcke aus wenigen Bits und tauschen die Blöcke dann schrittweise aus. Diese Protokolle garantieren einerseits, daß man sofort überprüfen kann, ob ein erhaltener Block korrekt ist. Andererseits geben die bereits ausgetauschten Blöcke so wenig wie möglich über den restlichen Teil der Unterschrift preis. Versucht in diesem Fall ein Teilnehmer zu betrügen, indem er beispielsweise einen falschen Wert sendet, so kann der andere Teilnehmer dies unmittelbar bemerken und stoppen. Da die noch nicht ausgetauschten Blöcke fast nichts über den übrigen Teil der Unterschrift preisgeben, hat der Betrüger höchstens einen Block mehr als der ehrliche Teilnehmer erhalten. Ist die Blockgröße hinreichend klein, kann der ehrliche Teilnehmer den Nachteil durch Raten bzw. Probieren ausgleichen. In dieser Diplomarbeit entwickeln wir Protokolle zum fairen Austausch sogenannter Diskreter- Logarithmus-Unterschriften. Die bekannten praktikablen Protokolle zum Austausch dieses Unterschriftentyps verwenden als Sicherheitsvoraussetzung die Faktorisierungsannahme. Im Unterschied dazu beruht die Sicherheit unseres Austauschprotokolls auf der Diskreten- Logarithmus-Annahme und damit auf der des Unterschriftenverfahrens. Ferner erlauben unsere Protokoll die Herausgabe der Blöcke in beliebiger, auch vom Protokollverlauf abhängiger Reihenfolge, während die Reihenfolge bei den bisherigen Protokollen von vornherein festgelegt ist.
Als Methode zur inhaltlichen Erschließung von Texten, dem überwiegenden Ausgangsmaterial empirischer Untersuchungen, kommt der Inhaltsanalyse in den Sozialwissenschaften eine Schlüsselstellung zu. Allgemein wird unterschieden zwischen quantitativen, wörterbuchbasierten und qualitativen, »hermeneutischen« Verfahren; gemäß der weithin vertretenen Lehrmeinung ist nur die quantitative, einzelwortorientierte Inhaltsanalyse von Computern durchführbar. Der Autor zeigt auf, daß sich auf der Grundlage der Dichotomisierung »quantitativ-qualitativ « kein geeignetes Kriterium ergibt, um die Frage nach Reichweite und Grenzen der algorithmischen Inhaltsanalyse abschließend zu beantworten. Unter interdisziplinärem Rekurs auf aktuelle Entwicklungen in Computerlinguistik, Künstlicher Intelligenz und Kognitionswissenschaften wird der Nachweis erbracht, daß die computergestützte Textinhaltserschließung nicht notwendig auf die Einzelwortanalyse beschränkt ist. Für ein zentrales qualitatives Problem der klassischen wörterbuchbasierten Inhaltsanalyse, die referentielle Interpretation von Pronomen, wird eine algorithmische Lösung erarbeitet, softwaretechnisch umgesetzt und unter Anwendungsbedingungen empirisch evaluiert. Mit der vorliegenden Arbeit gelingt der Nachweis, daß die im Kontext der »Qualitativ- Quantitativ « - Kontroverse postulierten »prinzipiellen Grenzen« der computergestützten Inhaltsanalyse nichtzutreffend, da auf algorithmischem Wege transzendierbar sind. Somit ergeben sich völlig neue Perspektiven für den Einsatz von Computern in der Inhaltsanalyse.
A memory checker for a data structure provides a method to check that the output of the data structure operations is consistent with the input even if the data is stored on some insecure medium. In [8] we present a general solution for all data structures that are based on insert(i,v) and delete(j) commands. In particular this includes stacks, queues, deques (double-ended queues) and lists. Here, we describe more time and space efficient solutions for stacks, queues and deques. Each algorithm takes only a single function evaluation of a pseudorandomlike function like DES or a collision-free hash function like MD5 or SHA for each push/pop resp. enqueue/dequeue command making our methods applicable to smart cards.
Die Arbeitsgruppe für Chemie und Physik der Atmosphäre am Institut für Meteorologie und Geophysik der Johann Wolfgang Goethe-Universität Frankfurt befasst sich unter anderem mit der Entwicklung einer Continous Flow Diffusion Chamber zur Erfassung und Klassifikation von CCN und IN. Diese Partikel besitzen eine Größe im Mikrometerbereich und sind somit nicht leicht zu erfassen und zu unterscheiden. Bei vergleichbaren Versuchen beschränkte sich bisher die automatische Auswertung auf die Anzahl der Partikel. Es gibt noch kein Verfahren, welches eine Klassifikation in CCN und IN videobasiert vornehmen kann. Es lag ebenfalls kein reales Bildmaterial vor, welches zu Testzwecken für die Klassifikation geeignet gewesen wäre. Basierend auf den physikalischen und meteorologischen Grundlagen wurde mittels Raytracing ein künstlicher Bilddatensatz mit kleinen Eiskristallen und Wassertröpfchen unter verschiedenen Betrachtungsverhältnissen erstellt. Anhand dieses Bilddatensatzes wurde dann ein Verfahren zur Klassifikation entwickelt und prototypisch implementiert, welches dies mittels Methoden aus der graphischen Datenverarbeitung und durch Berechnung der Momente vornimmt. Es war notwendig, Verfahren aus der Kameratechnik zu betrachten, die später in der realen Anwendung mit sehr kurzzeitiger Belichtung, geeigneter Optik und hochauflösender CCD-Kamera detaillierte Bilder von Objekten in der Größe von einigen 10µm liefern können.
We show lower bounds for the signature size of incremental schemes which are secure against substitution attacks and support single block replacement. We prove that for documents of n blocks such schemes produce signatures of \Omega(n^(1/(2+c))) bits for any constant c>0. For schemes accessing only a single block resp. a constant number of blocks for each replacement this bound can be raised to \Omega(n) resp. \Omega(sqrt(n)). Additionally, we show that our technique yields a new lower bound for memory checkers.
With ubiquitous use of digital camera devices, especially in mobile phones, privacy is no longer threatened by governments and companies only. The new technology creates a new threat by ordinary people, who now have the means to take and distribute pictures of one’s face at no risk and little cost in any situation in public and private spaces. Fast distribution via web based photo albums, online communities and web pages expose an individual’s private life to the public in unpreceeded ways. Social and legal measures are increasingly taken to deal with this problem. In practice however, they lack efficiency, as they are hard to enforce in practice. In this paper, we discuss a supportive infrastructure aiming for the distribution channel; as soon as the picture is publicly available, the exposed individual has a chance to find it and take proper action.
We present a novel parallel one-more signature forgery against blind Okamoto-Schnorr and blind Schnorr signatures in which an attacker interacts some times with a legitimate signer and produces from these interactions signatures. Security against the new attack requires that the following ROS-problem is intractable: find an overdetermined, solvable system of linear equations modulo with random inhomogenities (right sides). There is an inherent weakness in the security result of POINTCHEVAL AND STERN. Theorem 26 [PS00] does not cover attacks with 4 parallel interactions for elliptic curves of order 2200. That would require the intractability of the ROS-problem, a plausible but novel complexity assumption. Conversely, assuming the intractability of the ROS-problem, we show that Schnorr signatures are secure in the random oracle and generic group model against the one-more signature forgery.
Mit dem World Wide Web sind der Bestand und die Verfügbarkeit von Informationen rapide angewachsen. Der Einzelne hat Schwierigkeiten, der Menge an Informationen und Wissen Herr zu werden und so der Informationsüberflutung zu begegnen. Dieses Problem wurde von Forschern und Technikern bereits frühzeitig erkannt und durch verschiedene Konzepte wie die intelligente Suche und die Klassifikation von Informationen zu lösen versucht. Ein weiteres Konzept ist die Personalisierung, die das bedarfsgerechte Zuschneiden von Informationen auf die Bedürfnisse des einzelnen Anwenders zum Ziel hat. Diese Arbeit beschreibt dazu eine Reihe von Personalisierungstechniken und im Speziellen das Kollaborative Filtern als eine dieser Techniken. Bestehende Schwächen des Kollaborativen Filterns wie zu dünn besetzte Benutzerprofile und das mangelnde Erkennen von Änderungen im Benutzerinteresse im Verlauf der Zeit werden durch verschiedene Ansätze zu entschärfen versucht. Dazu wird eine Kombination mit Inhaltsbasierten Filtern und die Verbreiterung der Datenbasis bewerteter Ressourcen betrieben. Ziel ist die Optimierung der Personalisierung, so dass Anwender besser auf sie abgestimmte Informationen erhalten. Ein Teil der beschriebenen Ansätze wird zudem in einem prototypischen Informationssystem umgesetzt, um die Machbarkeit und den Nutzen zu prüfen. Dazu werden der auf der Java 2 Enterprise Edition aufbauende WebSphere Applikationsserver von IBM und die relationale Datenbank DB2 UDB aus gleichem Hause eingesetzt.
Suche im Semantic Web : Erweiterung des VRP um eine intuitive und RQL-basierte Anfrageschnittstelle
(2003)
Datenflut im World Wide Web - ein Problem jedes Internetbenutzers. Klassische Internetsuchmaschinen sind überfordert und liefern immer seltener brauchbare Resultate. Das Semantic Web verspricht Hoffnung - maßgeblich basierend auf RDF. Das Licht der Öffentlichkeit erblickt das Semantic Web vermutlich zunächst in spezialisierten Informationsportalen, so genannten Infomediaries. Besucher von Informationsportalen benötigen eine Abfragesprache, welche ebenso einfach wie eine gewöhnliche Internetsuchmaschine anzuwenden ist. Eine derartige Abfragesprache existiert für RDF zur Zeit nicht. Diese Arbeit stellt eine neuartige Abfragesprache vor, welche dieser Anforderung genügt: eRQL. Bestandteil dieser Arbeit ist der mittels Java implementierte eRQL-Prozessor eRqlEngine, welcher unter http://www.wleklinski.de/rdf/ und unter http://www.dbis.informatik.uni-frankfurt.de/~tolle/RDF/eRQL/ bezogen werden kann.
In dieser Arbeit wurde die Implementierung einer JMX-konformen Managementinfrastruktur für das Agentensystem AMETAS vorgestellt. Darauf basierend wurden im Rahmen des Fehlermanagements Kontrollmechanismen der mobilen Agenten im AMETAS untersucht und eine Lösung für die Lokalisierung von AMETAS-Agenten entworfen und implementiert. Der essentielle Hintergrund für das AMETAS-Management stellt sich folgendermaßen dar: Die Betrachtung des Anwendungs- und Infrastrukturmanagements mit Blick auf die Managementhierarchie stellt die Offenheit und Kooperationsfähigkeit der angestrebten Managementlösung in den Vordergrund. Diese Eigenschaften ermöglichen die Integration der in einem Unternehmen existierenden Managementlösungen. Ziel ist dabei ein kostengünstiges und effizientes Management. Eine Managementarchitektur wird mit Hilfe der informations-, organisations-, kommunikations- und funktionsbezogenen Aspekte beschrieben und modelliert. Anhand dieser Aspekte ist CORBA, DMTF, WBEM und JMX analysiert und ihre Eignung für das AMETASManagement bewertet worden. Neben den allgemeinen Kriterien sind ihre Teilmodelle, ihre Unterstützung des dezentralen und des dynamischen Managements sowie ihre Integrationsfähigkeit im AMETAS zentrale Punkte. Es zeigt sich, dass die JMX die besten Möglichkeiten für das AMETAS-Management bietet. Das OSI-Funktionsmodell klassifiziert die Managementaufgaben und -funktionen in fünf Bereiche, die häufig als FCAPS bezeichnet werden: Fehler-, Konfigurations-, Abrechnungs- , Leistungs- und Sicherheitsmanagement. Diese Klassifikation ist orthogonal zu jeder anderen und bietet einen geeigneten Rahmen für die Aufteilung der Managementaufgaben und - funktionen. Das in dieser Arbeit empfohlene AMETAS-Management orientiert sich hinsichtlich der Managementaufgabenaufteilung am OSI-Modell. Die JMX bietet mächtigeWerkzeuge zur Instrumentierung aller Arten von Ressourcen. Ihre Java-Basiertheit bedeutet eine wesentliche Vereinfachung für das Agentensystem. Die offene Architektur von der JMX ermöglicht die Kooperation des AMETAS-Managements mit anderen Managementstandards. Das AMETAS-Management nutzt die Vorzüge der mobilen Agenten insbesondere im Bereich des Konfigurations- und Fehlermanagements aus. Folgende Eigenschaften zeichnen das AMETAS-Management aus: 1) Verwendung der Agenteninfrastruktur für das Management. Selbiges wird dabei als ein AMETAS-Dienst implementiert und kann alle Möglichkeiten und Dienste der Agenteninfrastruktur nutzen. 2) Verwendung der AMETAS-Agenten und Dienste als Managementwerkzeuge. 3) Selbstmanagement des Systems. Der Managementdienst ist hierfür mit ausreichender Intelligenz ausgestattet. Er nutzt die Mechanismen der Agenteninfrastruktur aus und erledigt diverse Managementaufgaben selbständig. Das Ereignissystem vom AMETAS spielt hierbei eine wichtige Rolle. Die Analyse der Kontrollmechanismen von MASIF, Aglets Workbench und Mole liefert hinsichtlich ihrer Eignung für die Lokalisierung von Agenten im AMETAS folgendes Ergebnis: Die untersuchten Ansätze sind teilweise allgemein anwendbar. Man unterscheidet die nichtdeterministischen Ansätze wie Advertising und Energiekonzept von denen, die bestimmte Spuren von Agenten in einer geeigneten Art hinterlegen. In dieser Hinsicht stellte sich das Pfadkonzept als interessant heraus: Bei diesem Konzept können die Informationen über den Pfad der Migration eines Agenten in geeigneterWeise zeitlich beschränkt oder unbeschränkt gespeichert werden. Eine andere Alternative bietet die Registrierungsmethode. Bei dieser Methode wird ein Agent in einer zentralen Stelle registriert, wobei die eindeutige Identität eines Agenten und die aktuelle Stelle, in der sich ein Agent aufhält, gespeichert werden. Vor dem Hintergrund der erfolgten Analyse empfiehlt sich als Basis für die Lokalisierung von AMETAS-Agenten eine Art Pfadkonzept: Die Spuren der Agenten werden durch einen Managementdienst gesichert. Will man einen bestimmten Agenten oder eine Gruppe lokalisieren, werden die dezentral vorhandenen Informationen innerhalb eines konsistenten Schnitts (Schnappschuss) ausgewertet. Die Schnappschussmethode empfiehlt sich für die Lokalisierung von Agenten im AMETAS entsprechend den zu Beginn der Arbeit von einem Lokalisierungsmechanismus geforderten Eigenschaften: Sie erlaubt eine zuverlässige Lokalisierung der gesuchten Agenten, deren Autonomie dabei respektiert wird. Die Kosten-Leistungsrelation ist günstig einzuschätzen, da unnötiger Daten- bzw. Agentenverkehr ebenso vermieden wird wie die Pflege umfangreicher, zentralistischer Datenbanken.
Das größte Problem bei der Erstellung von MR-Anwendungen besteht darin, dass sie meistens durch Programmierung erstellt werden. Daher muss ein Autor spezielles Fachwissen über MR-Technologie und zumindest allgemeine Programmierkenntnisse mitbringen, um eine MR-Anwendung erstellen zu können. Dieser Erstellungsprozess soll mit Hilfe von MR-Autorensystemen, die derzeit auf dem Markt existieren und in der Forschung entwickelt werden, vereinfacht werden. Dies war ein Grund, warum diese Arbeit sich zum Ziel erklärte, zu überprüfen, inwieweit die Erstellung von MRAnwendungen durch Einsatz von MR-Autorensystemen vereinfacht wird. Ein weiteres Hauptziel war die Erstellung einer repräsentativen MR-Anwendung, die in dieser Arbeit als MR-Referenzanwendung bezeichnet wird. Sie sollte vor allem bei weiteren Entwicklungen als Vorlage dienen können und auf Basis von standardisierten Vorgehensmodellen, wie das Wasserfallmodell, erstellt werden. Ganz wichtig war es noch im Rahmen dieser Arbeit zu bestätigen, dass standardisierte Vorgehensmodelle auf MR-Anwendungen übertragbar sind. Um diese Ziele zu erreichen, sind in dieser Arbeit viele Schritte befolgt worden, die jeweils als Teilziele betrachtet werden können. Die MR-Referenzanwendung , die im Rahmen dieser Arbeit erstellt wurde, sollte mit Hilfe eines MR-Autorensystems umgesetzt werden. Um das richtige MRAutorensystem dafür auszusuchen, wurden im Rahmen einer Analyse fakultative und obligatorische Anforderungen an MR-Autorensysteme definiert, worin auch Funktionen identifiziert wurden, die ein solches System bereitstellen sollte. Das Anbieten einer Vorschau ist ein Beispiel für diese Funktionen, die bei der Erstellung von MR-Anwendungen eine essentielle Rolle spielen können. Die obligatorischen Anforderungen sind welche, die jedes Softwaresystem erfüllen soll, während die fakultativen das Ziel der Verbesserung von Autorensystemen verfolgen. Mit Hilfe der Analyse wurde ein Vergleich zwischen bekannten MR-Autorensystemen gezogen, dessen Ergebnis AMIRE als ein für die Ziele dieser Arbeit geeignetes MR-Autorensystem identifizierte. Für die MR-Referenzanwendung , die ähnliche Funktionen aufweisen sollte wie andere typische MR-Anwendungen wurden Funktionen, Anwendungsfälle und Design der Oberfläche spezifiziert. Diese Spezifikation wurde unabhängig von dem ausgesuchten Autorensystem durchgeführt, um darin analog zur Software-Technik das Augenmerk auf fachliche und nicht auf technische Aspekte zu legen. Um ans Ziel zu gelangen, wurde die MR-Referenzanwendung durch AMIRE realisiert, jedoch musste zuvor ihre Spezifikation auf dieses MR-Autorensystem überführt werden. Bei der Überführung wurde die Realisierung aus technischer Sicht betrachtet, das heißt es wurden verschiedene Vorbereitungen, wie die Auswahl der benötigten Komponenten, die Planung der Anwendungslogik und die Aufteilung der Anwendung in verschiedenen Zuständen, durchgeführt. Nach der gelungenen Realisierung und beispielhaften Dokumentation der MRReferenzanwendung konnte die Arbeit bewertet werden, worin die erzielten Resultate den Zielen der Arbeit gegenübergestellt wurden. Die Ergebnisse bestätigen, dass mit AMIRE die Entwicklung einer MR-Anwendung ohne Spezialwissen möglich ist und dass diese Arbeit alle ihrer Ziele innerhalb des festgelegten Zeitrahmens erreicht hat.
Das Ziel dieser Arbeit war die Entwicklung einer haptischen 3D-Benutzungsoberfläche für die Virtual-Glove-Box. Eine „Glove Box“ ist ein Apparat, in welchem chemische Versuche in abgeschlossener Atmosphäre durchgeführt werden können. Die „Virtual Glove Box“ setzt dieses Konzept für Virtual Reality Anwendungen um. Die Oberflächenelemente waren als wiederverwendbare Komponenten auszuführen. Die Bedienung erfolgt unter Einsatz zweier virtueller Hände mit an den Händen getragenen Exoskeletten zur Vermittlung des haptischen Feedbacks. Es enstand EASY, ein System zur einfachen und individuellen Gestaltung von Benutzungsberflächenelementen. Diese können in ein bereitgestelltes Framework einfügt und ohne Wissen über die zugrundeliegende Hardware benutzt werden. Die Entwicklung konnte nicht abgeschlossen werden, da die zur Verfügung stehenden Hardware-Komponenten nicht in Betrieb zu nehmen waren.
Zunächst wurde die Notwendigkeit von Schemaänderungen erläutert und verschiedene Ansätze aus der Literatur beschrieben, Schemaänderungen in laufenden Systeme so durchzuführen, dass eine möglichst einfache und automatisch stattfindende Konvertierung der betroffenen Datenobjekte erfolgen kann. Beim Vergleich erweist sich das Konzept der Schemaversionierung als die leistungsfähigste Lösung. Der Grundgedanke der Schemaversionierung ist, durch jede Schemaänderung eine neue Schemaversion zu erstellen, wobei die alte Schemaversion weiterhin benutzt werden kann. Die Datenobjekte liegen ebenfalls in mehreren Versionen vor und die Schemaänderung wird auf Objektebene nachempfunden, indem Datenänderungen propagiert, d.h. die Daten automatisch konvertiert werden. Für die Propagation werden die Beziehungen zwischen den Schemaversionen ausgenutzt. Mit dem Konzept der Schemaversionierung ist es möglich, mehrere Versionen eines Schemas parallel zu benutzen und nur die auf die Datenbank zugreifenden Applikationen anzupassen, die auch wirklich von der Schemaänderung betroffen sind. Diese Diplomarbeit ist Teil des COAST-Projekts, das die Schemaversionierung als Prototyp umsetzt. In COAST existierte vor dieser Diplomarbeit nur die Möglichkeit, einfache Schemaanderungen durchzuführen. Neu wurden komplexe Schemaanderungsoperationen eingeführt und das Konzept der Propagation entsprechend erweitert. Komplexe Schemaänderungen unterscheiden sich von einfachen Schemaänderungen dadurch, dass sie Attribute aus mehreren Quellklassen in einer Zielklasse (oder andersherum) vereinen können. Die bereits in kurz angeschnittenen Default-Konvertierungsfunktionen wurden genauer untersucht und konkret eingeführt. Es wurden mehrere typische Schemaänderungsoperationen vorgestellt und darauf untersucht, ob sie mit den bisherigen einfachen Schemaänderungsoperationen durchführbar waren oder ob dazu komplexe Schemaänderungsoperationen nötig sind. Außerdem wurde analysiert, ob das System für die entsprechenden Operationen automatisch sinnvolle Defaultkonvertierungsoperationen generieren kann oder ob ein Eingriff des Schemaentwicklers notwendig ist. Dazu wurden sie in eine von vier Kategorien eingeteilt, die aussagen, ob einfache oder komplexe Schemaänderungsoperationen nötig sind und ob sinnvolle Default-Konvertierungsfunktionen ohne Eingriff des Schemaentwicklers erzeugt werden können oder nicht. Zu jeder der aufgezahlten Schemaänderungsoperationen wurde die entsprechende vom System erzeugte Default-Konvertierungsfunktion aufgeführt und im Falle, dass sie der Schemaentwickler uberprüfen muss, angegeben, wo noch potenzieller Bedarf für manuelle Änderungen vorliegt. Die Auswirkungen der Einführung von komplexen Schemaänderungsoperationen auf die Propagation wurde im nächsten Kapitel analysiert und dabei festgestellt, dass das bisherige Konzept der Propagationskanten zwischen je zwei Objektversionen desselben Objekts nicht mehr ausreicht. Entsprechend wurde das neue Konzept von kombinierten Propagationskanten entwickelt, das Kanten zwischen mehr als nur zwei Objektversionen zulässt. Dazu wurden verschiedene Lösungsmöglichkeiten miteinander verglichen. Weiter wurden verschiedene Ansätze fur die Darstellung und Speicherung von Konvertierungsfunktionen vorgestellt und entschieden, die Konvertierungsfunktionen konkret in textueller Darstellung in den Propagationskanten zu speichern. Fur die Spezifizierung der gewünschten Konvertierungen bei der Propagation wurde eine Konvertierungssprache entwickelt und nach verschiedenen Gesichtspunkten konzipiert. Diese Gesichtspunkte umfassen sowohl den nötigen Funktionsumfang der Sprache wie auch entwurfstechnische Aspekte. Sämtliche Befehle der entwickelten Sprache wurden detailliert vorgestellt und abschließend die Sprache in BNF (Backus-Naur-Form) präsentiert. COAST ist inzwischen als Prototyp implementiert und wurde u.a. auf der CeBIT '99 vorgestellt (s. [Lau99b] und [LDHA99]). Nach einer Beschreibung der Funktionsweise und des Aufbaus von COAST und insbesondere des Propagationsmanagers wurden einige Implementierungsdetails vorgestellt und verschiedene Betrachtungen zur moglichen Optimierung beschrieben. Die Ziele der Diplomarbeit wurden damit erreicht: Die Schemaevolution kann mit den Vorzügen der Versionierung durchgeführt werden. Komplexe Schemaänderungen sind nun möglich und wurden ins Modell integriert. Die Propagation wurde entsprechend erweitert und eine Sprache zur Spezifikation der Propagation entwickelt.
This paper proves correctness of Nöcker's method of strictness analysis, implemented in the Clean compiler, which is an effective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work of Clark, Hankin and Hunt did on the correctness of the abstract reduction rules. Our method fully considers the cycle detection rules, which are the main strength of Nöcker's strictness analysis. Our algorithm SAL is a reformulation of Nöcker's strictness analysis algorithm in a higher-order call-by-need lambda-calculus with case, constructors, letrec, and seq, extended by set constants like Top or Inf, denoting sets of expressions. It is also possible to define new set constants by recursive equations with a greatest fixpoint semantics. The operational semantics is a small-step semantics. Equality of expressions is defined by a contextual semantics that observes termination of expressions. Basically, SAL is a non-termination checker. The proof of its correctness and hence of Nöcker's strictness analysis is based mainly on an exact analysis of the lengths of normal order reduction sequences. The main measure being the number of 'essential' reductions in a normal order reduction sequence. Our tools and results provide new insights into call-by-need lambda-calculi, the role of sharing in functional programming languages, and into strictness analysis in general. The correctness result provides a foundation for Nöcker's strictness analysis in Clean, and also for its use in Haskell.
This paper proves correctness of Nocker s method of strictness analysis, implemented for Clean, which is an e ective way for strictness analysis in lazy functional languages based on their operational semantics. We improve upon the work of Clark, Hankin and Hunt, which addresses correctness of the abstract reduction rules. Our method also addresses the cycle detection rules, which are the main strength of Nocker s strictness analysis. We reformulate Nocker s strictness analysis algorithm in a higherorder lambda-calculus with case, constructors, letrec, and a nondeterministic choice operator used as a union operator. Furthermore, the calculus is expressive enough to represent abstract constants like Top or Inf. The operational semantics is a small-step semantics and equality of expressions is defined by a contextual semantics that observes termination of expressions. The correctness of several reductions is proved using a context lemma and complete sets of forking and commuting diagrams. The proof is based mainly on an exact analysis of the lengths of normal order reductions. However, there remains a small gap: Currently, the proof for correctness of strictness analysis requires the conjecture that our behavioral preorder is contained in the contextual preorder. The proof is valid without referring to the conjecture, if no abstract constants are used in the analysis.
Work on proving congruence of bisimulation in functional programming languages often refers to [How89,How96], where Howe gave a highly general account on this topic in terms of so-called lazy computation systems . Particularly in implementations of lazy functional languages, sharing plays an eminent role. In this paper we will show how the original work of Howe can be extended to cope with sharing. Moreover, we will demonstrate the application of our approach to the call-by-need lambda-calculus lambda-ND which provides an erratic non-deterministic operator pick and a non-recursive let. A definition of a bisimulation is given, which has to be based on a further calculus named lambda-~, since the na1ve bisimulation definition is useless. The main result is that this bisimulation is a congruence and contained in the contextual equivalence. This might be a step towards defining useful bisimulation relations and proving them to be congruences in calculi that extend the lambda-ND-calculus.
In this paper we demonstrate how to relate the semantics given by the nondeterministic call-by-need calculus FUNDIO [SS03] to Haskell. After introducing new correct program transformations for FUNDIO, we translate the core language used in the Glasgow Haskell Compiler into the FUNDIO language, where the IO construct of FUNDIO corresponds to direct-call IO-actions in Haskell. We sketch the investigations of [Sab03b] where a lot of program transformations performed by the compiler have been shown to be correct w.r.t. the FUNDIO semantics. This enabled us to achieve a FUNDIO-compatible Haskell-compiler, by turning o not yet investigated transformations and the small set of incompatible transformations. With this compiler, Haskell programs which use the extension unsafePerformIO in arbitrary contexts, can be compiled in a "safe" manner.
This paper proposes a non-standard way to combine lazy functional languages with I/O. In order to demonstrate the usefulness of the approach, a tiny lazy functional core language FUNDIO , which is also a call-by-need lambda calculus, is investigated. The syntax of FUNDIO has case, letrec, constructors and an IO-interface: its operational semantics is described by small-step reductions. A contextual approximation and equivalence depending on the input-output behavior of normal order reduction sequences is defined and a context lemma is proved. This enables to study a semantics of FUNDIO and its semantic properties. The paper demonstrates that the technique of complete reduction diagrams enables to show a considerable set of program transformations to be correct. Several optimizations of evaluation are given, including strictness optimizations and an abstract machine, and shown to be correct w.r.t. contextual equivalence. Correctness of strictness optimizations also justifies correctness of parallel evaluation. Thus this calculus has a potential to integrate non-strict functional programming with a non-deterministic approach to input-output and also to provide a useful semantics for this combination. It is argued that monadic IO and unsafePerformIO can be combined in Haskell, and that the result is reliable, if all reductions and transformations are correct w.r.t. to the FUNDIO-semantics. Of course, we do not address the typing problems the are involved in the usage of Haskell s unsafePerformIO. The semantics can also be used as a novel semantics for strict functional languages with IO, where the sequence of IOs is not fixed.
Context unification is a variant of second order unification. It can also be seen as a generalization of string unification to tree unification. Currently it is not known whether context unification is decidable. A specialization of context unification is stratified context unification, which is decidable. However, the previous algorithm has a very bad worst case complexity. Recently it turned out that stratified context unification is equivalent to satisfiability of one-step rewrite constraints. This paper contains an optimized algorithm for strati ed context unification exploiting sharing and power expressions. We prove that the complexity is determined mainly by the maximal depth of SO-cycles. Two observations are used: i. For every ambiguous SO-cycle, there is a context variable that can be instantiated with a ground context of main depth O(c*d), where c is the number of context variables and d is the depth of the SO-cycle. ii. the exponent of periodicity is O(2 pi ), which means it has an O(n)sized representation. From a practical point of view, these observations allow us to conclude that the unification algorithm is well-behaved, if the maximal depth of SO-cycles does not grow too large.
Context unification is a variant of second-order unification and also a generalization of string unification. Currently it is not known whether context uni cation is decidable. An expressive fragment of context unification is stratified context unification. Recently, it turned out that stratified context unification and one-step rewrite constraints are equivalent. This paper contains a description of a decision algorithm SCU for stratified context unification together with a proof of its correctness, which shows decidability of stratified context unification as well as of satisfiability of one-step rewrite constraints.
It is well known that first order uni cation is decidable, whereas second order and higher order unification is undecidable. Bounded second order unification (BSOU) is second order unification under the restriction that only a bounded number of holes in the instantiating terms for second order variables is permitted, however, the size of the instantiation is not restricted. In this paper, a decision algorithm for bounded second order unification is described. This is the fist non-trivial decidability result for second order unification, where the (finite) signature is not restricted and there are no restrictions on the occurrences of variables. We show that the monadic second order unification (MSOU), a specialization of BSOU is in sum p s. Since MSOU is related to word unification, this is compares favourably to the best known upper bound NEXPTIME (and also to the announced upper bound PSPACE) for word unification. This supports the claim that bounded second order unification is easier than context unification, whose decidability is currently an open question.
This paper describes the development of a typesetting program for music in the lazy functional programming language Clean. The system transforms a description of the music to be typeset in a dvi-file just like TEX does with mathematical formulae. The implementation makes heavy use of higher order functions. It has been implemented in just a few weeks and is able to typeset quite impressive examples. The system is easy to maintain and can be extended to typeset arbitrary complicated musical constructs. The paper can be considered as a status report of the implementation as well as a reference manual for the resulting system.
The extraction of strictness information marks an indispensable element of an efficient compilation of lazy functional languages like Haskell. Based on the method of abstract reduction we have developed an e cient strictness analyser for a core language of Haskell. It is completely written in Haskell and compares favourably with known implementations. The implementation is based on the G#-machine, which is an extension of the G-machine that has been adapted to the needs of abstract reduction.
This paper describes context analysis, an extension to strictness analysis for lazy functional languages. In particular it extends Wadler's four point domain and permits in nitely many abstract values. A calculus is presented based on abstract reduction which given the abstract values for the result automatically finds the abstract values for the arguments. The results of the analysis are useful for veri fication purposes and can also be used in compilers which require strictness information.
A partial rehabilitation of side-effecting I/O : non-determinism in non-strict functional languages
(1996)
We investigate the extension of non-strict functional languages like Haskell or Clean by a non-deterministic interaction with the external world. Using call-by-need and a natural semantics which describes the reduction of graphs, this can be done such that the Church-Rosser Theorems 1 and 2 hold. Our operational semantics is a base to recognise which particular equivalencies are preserved by program transformations. The amount of sequentialisation may be smaller than that enforced by other approaches and the programming style is closer to the common one of side-effecting programming. However, not all program transformations used by an optimising compiler for Haskell remain correct in all contexts. Our result can be interpreted as a possibility to extend current I/O-mechanism by non-deterministic deterministic memoryless function calls. For example, this permits a call to a random number generator. Adding memoryless function calls to monadic I/O is possible and has a potential to extend the Haskell I/O-system.
Automatic termination proofs of functional programming languages are an often challenged problem Most work in this area is done on strict languages Orderings for arguments of recursive calls are generated In lazily evaluated languages arguments for functions are not necessarily evaluated to a normal form It is not a trivial task to de ne orderings on expressions that are not in normal form or that do not even have a normal form We propose a method based on an abstract reduction process that reduces up to the point when su cient ordering relations can be found The proposed method is able to nd termination proofs for lazily evaluated programs that involve non terminating subexpressions Analysis is performed on a higher order polymorphic typed language and termi nation of higher order functions can be proved too The calculus can be used to derive information on a wide range on di erent notions of termination.