• Deutsch

University Logo

  • Home
  • Search
  • Browse
  • Submit
  • Sitemap
Schließen
  • Organizational units
  • Mathematisch-Naturwissenschaftliche Fakultät

Institut für Informatik und Computational Science

Refine

Has Fulltext

  • yes (206) (remove)

Author

  • Schroeder, Ulrik (7)
  • Magenheim, Johannes (6)
  • Bergner, Nadine (5)
  • Romeike, Ralf (5)
  • Weicker, Karsten (5)
  • Knobelsdorf, Maria (4)
  • Kujath, Bertold (4)
  • Böhne, Sebastian (3)
  • Dörge, Christina (3)
  • Keil, Reinhard (3)
+ more

Year of publication

  • 2019 (1)
  • 2018 (11)
  • 2017 (3)
  • 2016 (15)
  • 2015 (52)
  • 2014 (4)
  • 2013 (30)
  • 2012 (7)
  • 2011 (11)
  • 2010 (22)
  • 2009 (18)
  • 2008 (2)
  • 2007 (8)
  • 2006 (7)
  • 2005 (6)
  • 2004 (4)
  • 2003 (1)
  • 2002 (2)
  • 2001 (1)
  • 2000 (1)
- less

Document Type

  • Article (110)
  • Doctoral Thesis (68)
  • Conference Proceeding (14)
  • Master's Thesis (9)
  • Monograph/Edited Volume (2)
  • Habilitation (1)
  • Postprint (1)
  • Preprint (1)

Language

  • English (106)
  • German (99)
  • Multiple languages (1)

Is part of the Bibliography

  • no (113)
  • yes (93)

Keywords

  • Informatik (17)
  • Didaktik (15)
  • Ausbildung (13)
  • Hochschuldidaktik (13)
  • Maschinelles Lernen (7)
  • E-Learning (6)
  • Antwortmengenprogrammierung (5)
  • Computer Science Education (5)
  • Machine Learning (5)
  • answer set programming (4)
  • education (4)
  • Competence Measurement (3)
  • DPLL (3)
  • Modellierung (3)
  • Secondary Education (3)
  • didactics (3)
  • higher education (3)
  • informatics (3)
  • Automatisches Beweisen (2)
  • Big Data (2)
  • Bildverarbeitung (2)
  • Competence Modelling (2)
  • Computational thinking (2)
  • Computer Science (2)
  • Computergrafik (2)
  • Computersicherheit (2)
  • Constraint Solving (2)
  • Data Privacy (2)
  • Deduction (2)
  • EEG (2)
  • FMC (2)
  • HCI (2)
  • ICA (2)
  • Informatics (2)
  • Informatics Education (2)
  • Informatics Modelling (2)
  • Informatics System Application (2)
  • Informatics System Comprehension (2)
  • Informatikdidaktik (2)
  • Key Competencies (2)
  • Klausellernen (2)
  • Logic Programming (2)
  • Logics (2)
  • Middleware (2)
  • Modell (2)
  • Onlinelehre (2)
  • Ontologie (2)
  • Optimization (2)
  • Planing (2)
  • Prozessmodellierung (2)
  • Relevanz (2)
  • SAT (2)
  • Semantic Web (2)
  • Systemstruktur (2)
  • Texturen (2)
  • Theorembeweisen (2)
  • Unifikation (2)
  • Visualisierung (2)
  • Vorhersage (2)
  • abstraction (2)
  • complexity (2)
  • computational thinking (2)
  • computer graphics (2)
  • computer science education (2)
  • image processing (2)
  • machine learning (2)
  • model (2)
  • non-photorealistic rendering (2)
  • relevance (2)
  • secondary computer science education (2)
  • systems biology (2)
  • test (2)
  • textures (2)
  • theorem (2)
  • virtual 3D city models (2)
  • virtuelle 3D-Stadtmodelle (2)
  • visualization (2)
  • 'Peer To Peer' (1)
  • 21st century skills, (1)
  • 3D Computer Grafik (1)
  • 3D Computer Graphics (1)
  • 3D Drucken (1)
  • 3D Linsen (1)
  • 3D Semiotik (1)
  • 3D Visualisierung (1)
  • 3D computer graphics (1)
  • 3D lenses (1)
  • 3D printing (1)
  • 3D semiotics (1)
  • 3D visualization (1)
  • 3D-Stadtmodelle (1)
  • 3d city models (1)
  • ABRACADABRA (1)
  • ADFS (1)
  • ARCS Modell (1)
  • ASP (Answer Set Programming) (1)
  • Abbrecherquote (1)
  • Abstraktion (1)
  • Accepting Grammars (1)
  • Access Datenbank (1)
  • Achievement (1)
  • Ackerschmalwand (1)
  • Active Directory Federation Services (1)
  • Active Evaluation (1)
  • Activity Theory (1)
  • Activity-orientated Learning (1)
  • Adaptivität (1)
  • Adversarial Learning (1)
  • Aktive Evaluierung (1)
  • Akzeptierende Grammatiken (1)
  • Algorithmen (1)
  • Algorithmenablaufplanung (1)
  • Algorithmenkonfiguration (1)
  • Algorithmenselektion (1)
  • Algorithms (1)
  • Alignment (1)
  • Angewandte Spieltheorie (1)
  • Anisotroper Kuwahara Filter (1)
  • Anleitung (1)
  • Answer Set Programming (1)
  • Antwortmengen Programmierung (1)
  • Applied Game Theory (1)
  • Arabidopsis thaliana (1)
  • Arduino (1)
  • Argumentation (1)
  • Aspect-Oriented Programming (1)
  • Aspektorientierte Programmierung (1)
  • Assessment (1)
  • Asynchrone Schaltung (1)
  • Audience Response Systeme (1)
  • Aufzählung (1)
  • Ausreissererkennung (1)
  • Austria (1)
  • Authentifizierung (1)
  • Authorization (1)
  • Autismus (1)
  • Automated Theorem Proving (1)
  • Automatic Item Generation (1)
  • Autorisierung (1)
  • BCI (1)
  • BSS (1)
  • Bachelorstudierende der Informatik (1)
  • Behavior (1)
  • Benutzeroberfläche (1)
  • Berührungseingaben (1)
  • Betrachtungsebenen (1)
  • Beweis (1)
  • Beweisassistent (1)
  • Beweistheorie (1)
  • Beweisumgebung (1)
  • Bilddatenanalyse (1)
  • Bildung (1)
  • Binäres Entscheidungsdiagramm (1)
  • Biocomputing (1)
  • Bioelektrisches Signal (1)
  • Bioinformatik (1)
  • Blended Learning (1)
  • Bloom’s Taxonomy (1)
  • Boolean constraint solver (1)
  • Boosting (1)
  • Brain Computer Interface (1)
  • Business Process Models (1)
  • CASP (Constraint Answer Set Programming) (1)
  • CS concepts (1)
  • CSC (1)
  • Cactus (1)
  • Capability approach (1)
  • Challenges (1)
  • Choreographien (1)
  • CityGML (1)
  • Classification (1)
  • Clause Learning (1)
  • Cloud Computing (1)
  • Cloud computing (1)
  • Clusteranalyse (1)
  • Code (1)
  • Codierung (1)
  • Cognitive Skills (1)
  • Common Spatial Pattern (1)
  • Competences (1)
  • Competencies (1)
  • Complementary Circuits (1)
  • Compliance (1)
  • Composition (1)
  • Computational Thinking (1)
  • Computer Science in Context (1)
  • Computergestützes Training (1)
  • Computing (1)
  • Conceptual (1)
  • Constraint (1)
  • Constraint-Programmierung (1)
  • Constructive solid geometry (1)
  • Contest (1)
  • Contextualisation (1)
  • Contradictions (1)
  • Controlled Derivations (1)
  • Coq (1)
  • Covariate Shift (1)
  • Curriculum (1)
  • Curriculum Development (1)
  • Curry (1)
  • DDoS (1)
  • DNA (1)
  • DNA computing (1)
  • DNS (1)
  • Data Analysis (1)
  • Data Management (1)
  • Databases (1)
  • Dateiformat (1)
  • Datenschutz (1)
  • Defining characteristics of physical computing (1)
  • Description Logics (1)
  • Deskriptive Logik (1)
  • Diagonalisierung (1)
  • Didaktik der Informatik (1)
  • Dienstkomposition (1)
  • Dienstplattform (1)
  • Differenz von Gauss Filtern (1)
  • Digital Competence (1)
  • Digital Education (1)
  • Digital Game Based Learning (1)
  • Digital Revolution (1)
  • Digitale Bibliothek (1)
  • Digitalisierung (1)
  • Distributed Computing (1)
  • Dokument-Management-System (1)
  • Dreidimensionale Computergraphik (1)
  • Dublin Core (1)
  • Dynamic assessment (1)
  • Dynamische Rekonfiguration (1)
  • E-Government (1)
  • Early Literacy (1)
  • Echtzeitanwendung (1)
  • Educational Standards (1)
  • Educational software (1)
  • Eingabegenauigkeit (1)
  • Eisenbahnnetz (1)
  • Elektroencephalographie (1)
  • Elektronisches Publizieren (1)
  • Embedded Systems (1)
  • Enterprise Search (1)
  • Entscheidungsbäume (1)
  • Entwurf (1)
  • Entwurfsmuster (1)
  • Entwurfsmuster für SOA-Sicherheit (1)
  • Entwurfsprinzipien (1)
  • Entwurfsraumexploration (1)
  • Erfüllbarkeit einer Formel der Aussagenlogik (1)
  • Erfüllbarkeitsproblem (1)
  • Error Estimation (1)
  • Error-Detection Circuits (1)
  • Euclid’s algorithm (1)
  • European Bioinformatics Institute (1)
  • Evaluierung semantischer Suchmaschinen (1)
  • Exploration (1)
  • FMC-QE (1)
  • FOSS (1)
  • FPGA (1)
  • Facebook (1)
  • Feature Combination (1)
  • Feedback (1)
  • Fehlende Daten (1)
  • Fehlerschätzung (1)
  • Fehlvorstellung (1)
  • Fibonacci numbers (1)
  • Flussgesteuerter Bilateraler Filter (1)
  • Focus+Context Visualization (1)
  • Fokus-&-Kontext Visualisierung (1)
  • Formalismus (1)
  • Formalitätsgrad (1)
  • Formeln der quantifizierten Aussagenlogik (1)
  • Function (1)
  • Fundamental Ideas (1)
  • GIS-Dienstkomposition (1)
  • GPU (1)
  • Game-based learning (1)
  • Gebäudemodelle (1)
  • Gehirn-Computer-Schnittstelle (1)
  • Geländemodelle (1)
  • Generalisierung (1)
  • Geodaten (1)
  • Geometrieerzeugung (1)
  • Geovisualisierung (1)
  • Geschäftsprozessmodelle (1)
  • Gesteuerte Ableitungen (1)
  • Globus (1)
  • Grammar Systems (1)
  • Grammatikalische Inferenz (1)
  • Grammatiksysteme (1)
  • Graph-basiertes Ranking (1)
  • Graphensuche (1)
  • Grid (1)
  • Grid Computing (1)
  • Hardware-Software-Co-Design (1)
  • Hauptkomponentenanalyse (1)
  • High-Level Synthesis (1)
  • Hochschulsystem (1)
  • I/O-effiziente Algorithmen (1)
  • ICT (1)
  • ICT Competence (1)
  • ICT competencies (1)
  • ICT skills (1)
  • IP core (1)
  • IT security (1)
  • IT-Security (1)
  • IT-Sicherheit (1)
  • Informatik-Studiengänge (1)
  • Informatiksystem (1)
  • Informatikunterricht (1)
  • Informatikvoraussetzungen (1)
  • Information Retrieval (1)
  • Information Transfer Rate (1)
  • Informationsextraktion (1)
  • Infrastruktur (1)
  • Inkonsistenz (1)
  • Inquiry-based Learning (1)
  • Integration (1)
  • Interactive Rendering (1)
  • Interactive system (1)
  • Interaktionsmodel (1)
  • Interaktionsmodellierung (1)
  • Interaktives Rendering (1)
  • Interaktives System (1)
  • Interaktivität (1)
  • Interface design (1)
  • Internet Security (1)
  • Internet applications (1)
  • Internet-Sicherheit (1)
  • Internetanwendungen (1)
  • Intuition (1)
  • Java Security Framework (1)
  • Kartografisches Design (1)
  • Kern-PCA (1)
  • Kernmethoden (1)
  • Klassifikation (1)
  • Klassifikation mit großem Margin (1)
  • Klimafolgenanalyse (1)
  • Knowledge Representation and Reasoning (1)
  • Kommunikation (1)
  • Kompetenz (1)
  • Kompetenzerwerb (1)
  • Komplexität (1)
  • Komplexitätsbewältigung (1)
  • Komposition (1)
  • Konzeptionell (1)
  • Kryptographie (1)
  • Kybernetik (1)
  • Künstliche Intelligenz (1)
  • LMS (1)
  • Landmarken (1)
  • Langzeitarchivierung (1)
  • Large Margin Classification (1)
  • Laser Cutten (1)
  • Learners (1)
  • Learning Analytics (1)
  • Learning Fields (1)
  • Learning ecology (1)
  • Learning interfaces development (1)
  • Learning with ICT (1)
  • Leftmost Derivations (1)
  • Lehrer (1)
  • Lehrer*innenbildung (1)
  • Leistungsfähigkeit (1)
  • Leistungsvorhersage (1)
  • Lern-App (1)
  • Lernaufgaben (1)
  • Lernmotivation (1)
  • Lernsoftware (1)
  • Life-Long Learning (1)
  • Liguistisch (1)
  • Linksableitungen (1)
  • Logarithm (1)
  • Logik (1)
  • Logikkalkül (1)
  • Logiksynthese (1)
  • Lower Secondary Level (1)
  • MEG (1)
  • MOOCs (1)
  • Magnetoencephalographie (1)
  • Malware (1)
  • Massive Open Online Courses (1)
  • Mathematical Optimization (1)
  • Mathematikdidaktik (1)
  • Mathematikphilosophie (1)
  • Mathematische Optimierung (1)
  • Matrizen-Eigenwertaufgabe (1)
  • Measurement (1)
  • Megamodel (1)
  • Megamodell (1)
  • Mensch-Computer-Interaktion (1)
  • Message Passing Interface (1)
  • Metamodell (1)
  • Methoden der semantischen Suche (1)
  • Migration (1)
  • Mischmodelle (1)
  • Mischung <Signalverarbeitung> (1)
  • Mobiles Lernen (1)
  • Mobilgeräte (1)
  • Model Based Engineering (1)
  • Model Checking (1)
  • Model Driven Architecture (1)
  • Model Management (1)
  • Model-Driven Engineering (1)
  • Modeling (1)
  • Modell Management (1)
  • Modell-driven Security (1)
  • Modell-getriebene Sicherheit (1)
  • Modellbasiert (1)
  • Modellgetriebene Architektur (1)
  • Modellgetriebene Entwicklung (1)
  • Molekulare Bioinformatik (1)
  • Multi Task Learning (1)
  • Multi-Class (1)
  • Multi-Task-Lernen (1)
  • Multiprocessor (1)
  • Multiprozessor (1)
  • Music Technology (1)
  • NUI (1)
  • Natural Science Education (1)
  • Navigation (1)
  • Netzwerk (1)
  • Netzwerke (1)
  • Neuronales Netz (1)
  • New On-Line Error-Detection Methode (1)
  • Next Generation Network (1)
  • Nicht-photorealistisches Rendering (1)
  • Nichtfotorealistische Bildsynthese (1)
  • NoSQL (1)
  • Norway (1)
  • Novice programmers (1)
  • Nutzungsinteresse (1)
  • OAI-PMH (1)
  • Ontologien (1)
  • Ontologies (1)
  • Ontology (1)
  • Open Source (1)
  • OpenOLAT (1)
  • Optimierung (1)
  • Optimierungsproblem (1)
  • Owner-Retained Access Control (ORAC) (1)
  • Parallel Programming (1)
  • Parallele Datenverarbeitung (1)
  • Paralleles Rechnen (1)
  • Parallelrechner (1)
  • Parsing (1)
  • Patterns (1)
  • Pedagogical content knowledge (1)
  • Peer-to-Peer-Netz ; GRID computing ; Zuverlässigkeit ; Web Services ; Betriebsmittelverwaltung ; Migration (1)
  • Performance (1)
  • Performance Prediction (1)
  • Perl Formularskript (1)
  • Physical Science (1)
  • Platzierung (1)
  • Policy Enforcement (1)
  • Policy Languages (1)
  • Policy Sprachen (1)
  • Power Monitoring (1)
  • Pre-RS Traceability (1)
  • Prediction Game (1)
  • Predictive Models (1)
  • Preprocessing (1)
  • Problem Solving (1)
  • Probleme in der Studie (1)
  • Process (1)
  • Process modeling (1)
  • Professoren (1)
  • Programmierung (1)
  • Proof Theory (1)
  • Prozess (1)
  • Prozess Verbesserung (1)
  • Prozesse (1)
  • Prozessmodell (1)
  • Prozesssynchronisierung (1)
  • Prädiktionsspiel (1)
  • Präferenzen (1)
  • Publikationsserver (1)
  • Quantenkryptographie (1)
  • Quantified Boolean Formula (QBF) (1)
  • Quantitative Modeling (1)
  • Quantitative Modellierung (1)
  • Queuing Theory (1)
  • Recommendations for CS-Curricula in Higher Education (1)
  • Reconfigurable (1)
  • Regression (1)
  • Regularisierung (1)
  • Regularization (1)
  • Rekonfiguration (1)
  • Rendering (1)
  • Reparatur (1)
  • SMT (SAT Modulo Theories) (1)
  • SOA Security Pattern (1)
  • SSO (1)
  • STG decomposition (1)
  • STG-Dekomposition (1)
  • Sample Selection Bias (1)
  • Satisfiability (1)
  • Scalability (1)
  • Scene graph systems (1)
  • Schlüsselkompetenzen (1)
  • Schulmaterial (1)
  • Security Modelling (1)
  • Segmentierung (1)
  • Selektion (1)
  • Selektionsbias (1)
  • Self-Checking Circuits (1)
  • Semantic Search (1)
  • Semantik Web (1)
  • Semantische Suche (1)
  • Sensors (1)
  • Service Creation (1)
  • Service Delivery Platform (1)
  • Service convergence (1)
  • Service-Orientierte Architekturen (1)
  • Service-oriented Architectures (1)
  • Shader (1)
  • Sicherheitsmodellierung (1)
  • Signal Processing (1)
  • Signalquellentrennung (1)
  • Signaltrennung (1)
  • Simultane Diagonalisierung (1)
  • Single Sign On (1)
  • Single Trial Analysis (1)
  • Skalierbarkeit (1)
  • Skelettberechnung (1)
  • Small Private Online Courses (1)
  • Social (1)
  • Software (1)
  • Software Engineering (1)
  • Software architecture (1)
  • Software-basierte Cache-Kohärenz (1)
  • Softwarearchitektur (1)
  • Softwareentwicklung (1)
  • Spam (1)
  • Spam Filtering (1)
  • Spam-Erkennung (1)
  • Spam-Filter (1)
  • Spam-Filtering (1)
  • Spatio-Spectral Filter (1)
  • Spawning (1)
  • Sprachdesign (1)
  • Statistical Tests (1)
  • Statistikprogramm R (1)
  • Statistische Tests (1)
  • Stilisierung (1)
  • Strategie (1)
  • Stromverbrauchüberwachung (1)
  • Structuring (1)
  • Strukturierung (1)
  • Studentenerwartungen (1)
  • Studentenhaltungen (1)
  • Suche (1)
  • Support Vectors (1)
  • Support-Vector Lernen (1)
  • Synthese (1)
  • System Biologie (1)
  • System structure (1)
  • Systembiologie (1)
  • Systementwurf (1)
  • Szenengraph (1)
  • Taktik (1)
  • Tasks (1)
  • Teacher perceptions (1)
  • Teachers (1)
  • Teaching information security (1)
  • Technology proficiency (1)
  • Telekommunikation (1)
  • Temporal Logic (1)
  • Temporallogik (1)
  • Temporäre Anbindung (1)
  • Terminologische Logik (1)
  • Terminology (1)
  • Test (1)
  • Tests (1)
  • Theoretischen Vorlesungen (1)
  • Theory (1)
  • Time Augmented Petri Nets (1)
  • Time Series Analysis (1)
  • Tool (1)
  • Traceability (1)
  • Tracking (1)
  • Transformation (1)
  • Unabhängige Komponentenanalyse (1)
  • Universität Bagdad (1)
  • Universität Potsdam (1)
  • Universitätseinstellungen (1)
  • Unterrichtswerkzeuge (1)
  • Unvollständigkeit (1)
  • Usage Interest (1)
  • User Experience (1)
  • VM (1)
  • Verhalten (1)
  • Verifikation (1)
  • Verletzung Auflösung (1)
  • Verletzung Erklärung (1)
  • Verteiltes Rechnen (1)
  • Verteilungsunterschied (1)
  • Violation Explanation (1)
  • Violation Resolution (1)
  • Virtuelles 3D Stadtmodell (1)
  • Vocational Education (1)
  • Vorhersagemodelle (1)
  • Warteschlangentheorie (1)
  • Web Services (1)
  • Web Sites (1)
  • Web of Data (1)
  • Webseite (1)
  • Weiterbildung (1)
  • Well-structuredness (1)
  • Wirtschaftsinformatik (1)
  • Wissenschaftlichesworkflows (1)
  • Wissensrepräsentation und -verarbeitung (1)
  • Wohlstrukturiertheit (1)
  • Workflow (1)
  • Young People (1)
  • ZQSA (1)
  • ZQSAT (1)
  • Zeitbehaftete Petri Netze (1)
  • Zero-Suppressed Binary Decision Diagram (ZDD) (1)
  • Zuverlässigkeitsanalyse (1)
  • adaptiv (1)
  • adaptive (1)
  • algorithm configuration (1)
  • algorithm scheduling (1)
  • algorithm selection (1)
  • analogical thinking (1)
  • animated PCA (1)
  • animierte PCA (1)
  • anisotropic Kuwahara filter (1)
  • approximate joint diagonalization (1)
  • argumentation (1)
  • artificial intelligence (1)
  • assistive Technologien (1)
  • assistive technologies (1)
  • asynchronous circuit (1)
  • authentication (1)
  • automated theorem proving (1)
  • bild (1)
  • binary representation (1)
  • binary search (1)
  • bio-computing (1)
  • blind source separation (1)
  • building models (1)
  • business informatics (1)
  • cartographic design (1)
  • changing the study field (1)
  • changing the university (1)
  • choreographies (1)
  • classroom language (1)
  • classroom material (1)
  • clause learning (1)
  • climate impact analysis (1)
  • clustering (1)
  • code (1)
  • cognitive modifiability (1)
  • coherence-enhancing filtering (1)
  • communication (1)
  • competence (1)
  • competencies (1)
  • competency (1)
  • comprehension (1)
  • computational biology (1)
  • computer science teachers (1)
  • computer security (1)
  • concurrent checking (1)
  • constraint (1)
  • constraint programming (1)
  • constraints (1)
  • cryptography (1)
  • cs4fn (1)
  • curriculum theory (1)
  • decision trees (1)
  • degree of formality (1)
  • design (1)
  • design principles (1)
  • design space exploration (1)
  • didaktische Rekonstruktion (1)
  • didaktisches Konzept (1)
  • difference of Gaussians (1)
  • digital circuit (1)
  • digitale Bildung (1)
  • digitale Medien (1)
  • digitally-enabled pedagogies (1)
  • divide and conquer (1)
  • dropout (1)
  • dynamic (1)
  • dynamic reconfiguration (1)
  • dynamisch (1)
  • e-Learning (1)
  • e-mentoring (1)
  • eGovernment (1)
  • education and public policy (1)
  • educational programming (1)
  • educational reconstruction (1)
  • educational systems (1)
  • edutainment (1)
  • eingebettete Systeme (1)
  • einseitige Kommunikation (1)
  • email spam detection (1)
  • embedded systems (1)
  • enterprise search (1)
  • entity alignment (1)
  • enumeration (1)
  • environments (1)
  • exponentiation (1)
  • external memory algorithms (1)
  • flow-based bilateral filter (1)
  • formalism (1)
  • freie Daten (1)
  • freie Software (1)
  • fun (1)
  • game-based learning (1)
  • generalization (1)
  • geometry generation (1)
  • geospatial data (1)
  • geospatial services (1)
  • geovisualization (1)
  • global constraints (1)
  • globale Constraints (1)
  • grammar inference (1)
  • graph clustering (1)
  • graph-based ranking (1)
  • graph-search (1)
  • hardware-software-codesign (1)
  • high school (1)
  • higher (1)
  • human computer interaction (1)
  • hybrid (1)
  • hybrid semantic search (1)
  • hybride semantische Suche (1)
  • hybrides Problemlösen (1)
  • Image (1)
  • image data analysis (1)
  • incompleteness (1)
  • inconsistency (1)
  • independent component analysis (1)
  • informal and formal learning (1)
  • informatics education (1)
  • information extraction (1)
  • information retrieval (1)
  • informatische Bildung im Sekundarbereich (1)
  • infrastructure (1)
  • innovation (1)
  • input accuracy (1)
  • interaction modeling (1)
  • interactive course (1)
  • interactive workshop (1)
  • intuition (1)
  • kernel PCA (1)
  • kernel methods (1)
  • key competences in physical computing (1)
  • key competencies (1)
  • kinaesthetic teaching (1)
  • klinisch-praktischer Unterricht (1)
  • konvergente Dienste (1)
  • landmarks (1)
  • language design (1)
  • learning (1)
  • lebenslanges Lernen (1)
  • linguistic (1)
  • logic (1)
  • logic programming (1)
  • logic synthesis (1)
  • logical calculus (1)
  • logical signaling networks (1)
  • logische Ergänzung (1)
  • logische Programmierung (1)
  • logische Signalnetzwerke (1)
  • malware detection (1)
  • map/reduce (1)
  • maschinelles Lernen (1)
  • maschninelles Lernen (1)
  • mathematics education (1)
  • mediated learning experience (1)
  • medical (1)
  • medizinisch (1)
  • meta model (1)
  • middleware (1)
  • misconception (1)
  • mixture models (1)
  • mobile devices (1)
  • mobile learning (1)
  • mobile technologies and apps (1)
  • mobiles Lernen (1)
  • mobiles lernen (1)
  • model-based (1)
  • model-driven architecture (1)
  • modeling (1)
  • molecular networks (1)
  • molekulare Netzwerke (1)
  • multi core data processing (1)
  • multiuser (1)
  • navigation (1)
  • network (1)
  • networks (1)
  • networks-on-chip (1)
  • neue Online-Fehlererkennungsmethode (1)
  • nichtlineare ICA (1)
  • nichtlineare PCA (NLPCA) (1)
  • nichtlineare Projektionen (1)
  • nonlinear ICA (1)
  • nonlinear PCA (NLPCA) (1)
  • nonlinear projections (1)
  • on-chip (1)
  • one-sided communication (1)
  • online assistance (1)
  • ontologies (1)
  • open learning (1)
  • open source (1)
  • operating system (1)
  • optimization (1)
  • organisational evolution (1)
  • outlier detection (1)
  • output space compaction (1)
  • overcomplete ICA (1)
  • paper prototyping (1)
  • parallel programming (1)
  • parallel solving (1)
  • parallele Programmierung (1)
  • paralleles Lösen (1)
  • parameter (1)
  • pattern recognition (1)
  • pedagogy (1)
  • personal (1)
  • personal response systems (1)
  • philosophical foundation of informatics pedagogy (1)
  • philosophy of mathematics (1)
  • physical Computing (1)
  • physical computing (1)
  • physical computing tools (1)
  • placement (1)
  • pre-primary level (1)
  • prediction (1)
  • preferences (1)
  • preprocessing (1)
  • primary education (1)
  • primary level (1)
  • priorities (1)
  • problem-solving (1)
  • process (1)
  • process improvement (1)
  • process model (1)
  • process modelling (1)
  • process synchronization (1)
  • professional development (1)
  • professors (1)
  • programming (1)
  • programming in context (1)
  • proof (1)
  • proof assistant (1)
  • proof environment (1)
  • propagation probability (1)
  • proving (1)
  • quantum cryptography (1)
  • railway network (1)
  • real-time application (1)
  • reconfiguration (1)
  • rekonfigurierbar (1)
  • reliability assessment (1)
  • repair (1)
  • robust ICA (1)
  • robuste ICA (1)
  • scheduling (1)
  • scientific workflows (1)
  • search (1)
  • secondary education (1)
  • segmentation (1)
  • selbstprüfende Schaltungen (1)
  • selection (1)
  • self-efficacy (1)
  • semantic domain modeling (1)
  • semantic ranking (1)
  • semantic search (1)
  • semantic search evaluation (1)
  • semantic search methods (1)
  • semantische Domänenmodellierung (1)
  • semantische Suche (1)
  • semantisches Netz (1)
  • semantisches Ranking (1)
  • service composition (1)
  • shader (1)
  • sign language (1)
  • skeletonization (1)
  • social media (1)
  • software (1)
  • software development (1)
  • software engineering (1)
  • software-based cache coherence (1)
  • speed independence (1)
  • statistics program R (1)
  • structured output prediction (1)
  • strukturierte Vorhersage (1)
  • student activation (1)
  • student experience (1)
  • student perceptions (1)
  • students’ conceptions (1)
  • students’ knowledge (1)
  • study problems (1)
  • stylization (1)
  • tactic (1)
  • teacher competencies (1)
  • teachers (1)
  • teaching informatics in general education (1)
  • technische Rahmenbedingungen (1)
  • temporary binding (1)
  • terrain models (1)
  • tools (1)
  • tools for teaching (1)
  • topics (1)
  • touch input (1)
  • tracing (1)
  • transformation (1)
  • tutorial section (1)
  • unification (1)
  • user interfaces (1)
  • user-centred (1)
  • verification (1)
  • virtual 3D city model (1)
  • virtual machine (1)
  • virtual reality (1)
  • zero-aliasing (1)
  • überbestimmte ICA (1)
  • ‘unplugged’ computing (1)
- less

Institute

  • Institut für Informatik und Computational Science (206)
  • Hasso-Plattner-Institut für Digital Engineering gGmbH (18)
  • Extern (5)

206 search hits

  • 1 to 10
  • BibTeX
  • CSV
  • RIS
  • XML
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
Modellierung und Optimierung von Bürgerdiensten am Beispiel der Stadt Landshut (2016)
Höllerer, Reinhard
Die Projektierung und Abwicklung sowie die statische und dynamische Analyse von Geschäftsprozessen im Bereich des Verwaltens und Regierens auf kommunaler, Länder- wie auch Bundesebene mit Hilfe von Informations- und Kommunikationstechniken beschäftigen Politiker und Strategen für Informationstechnologie ebenso wie die Öffentlichkeit seit Langem. Der hieraus entstandene Begriff E-Government wurde in der Folge aus den unterschiedlichsten technischen, politischen und semantischen Blickrichtungen beleuchtet. Die vorliegende Arbeit konzentriert sich dabei auf zwei Schwerpunktthemen: • Das erste Schwerpunktthema behandelt den Entwurf eines hierarchischen Architekturmodells, für welches sieben hierarchische Schichten identifiziert werden können. Diese erscheinen notwendig, aber auch hinreichend, um den allgemeinen Fall zu beschreiben. Den Hintergrund hierfür liefert die langjährige Prozess- und Verwaltungserfahrung als Leiter der EDV-Abteilung der Stadtverwaltung Landshut, eine kreisfreie Stadt mit rund 69.000 Einwohnern im Nordosten von München. Sie steht als Repräsentant für viele Verwaltungsvorgänge in der Bundesrepublik Deutschland und ist dennoch als Analyseobjekt in der Gesamtkomplexität und Prozessquantität überschaubar. Somit können aus der Analyse sämtlicher Kernabläufe statische und dynamische Strukturen extrahiert und abstrakt modelliert werden. Die Schwerpunkte liegen in der Darstellung der vorhandenen Bedienabläufe in einer Kommune. Die Transformation der Bedienanforderung in einem hierarchischen System, die Darstellung der Kontroll- und der Operationszustände in allen Schichten wie auch die Strategie der Fehlererkennung und Fehlerbehebung schaffen eine transparente Basis für umfassende Restrukturierungen und Optimierungen. Für die Modellierung wurde FMC-eCS eingesetzt, eine am Hasso-Plattner-Institut für Softwaresystemtechnik GmbH (HPI) im Fachgebiet Kommunikationssysteme entwickelte Methodik zur Modellierung zustandsdiskreter Systeme unter Berücksichtigung möglicher Inkonsistenzen (Betreuer: Prof. Dr.-Ing. Werner Zorn [ZW07a, ZW07b]). • Das zweite Schwerpunktthema widmet sich der quantitativen Modellierung und Optimierung von E-Government-Bediensystemen, welche am Beispiel des Bürgerbüros der Stadt Landshut im Zeitraum 2008 bis 2015 durchgeführt wurden. Dies erfolgt auf Basis einer kontinuierlichen Betriebsdatenerfassung mit aufwendiger Vorverarbeitung zur Extrahierung mathematisch beschreibbarer Wahrscheinlichkeitsverteilungen. Der hieraus entwickelte Dienstplan wurde hinsichtlich der erzielbaren Optimierungen im dauerhaften Echteinsatz verifiziert. [ZW07a] Zorn, Werner: «FMC-QE A New Approach in Quantitative Modeling», Vortrag anlässlich: MSV'07- The 2007 International Conference on Modeling, Simulation and Visualization Methods WorldComp2007, Las Vegas, 28.6.2007. [ZW07b] Zorn, Werner: «FMC-QE, A New Approach in Quantitative Modeling», Veröffentlichung, Hasso-Plattner-Institut für Softwaresystemtechnik an der Universität Potsdam, 28.6.2007.
Different degrees of formality (2019)
Böhne, Sebastian
In this thesis we introduce the concept of the degree of formality. It is directed against a dualistic point of view, which only distinguishes between formal and informal proofs. This dualistic attitude does not respect the differences between the argumentations classified as informal and it is unproductive because the individual potential of the respective argumentation styles cannot be appreciated and remains untapped. This thesis has two parts. In the first of them we analyse the concept of the degree of formality (including a discussion about the respective benefits for each degree) while in the second we demonstrate its usefulness in three case studies. In the first case study we will repair Haskell B. Curry's view of mathematics, which incidentally is of great importance in the first part of this thesis, in light of the different degrees of formality. In the second case study we delineate how awareness of the different degrees of formality can be used to help students to learn how to prove. Third, we will show how the advantages of proofs of different degrees of formality can be combined by the development of so called tactics having a medium degree of formality. Together the three case studies show that the degrees of formality provide a convincing solution to the problem of untapped potential.
Einsatz einer mobilen Lern-App - Ein Werkzeug zur Verbesserung von klinisch-praktischem Unterricht (2018)
Herbstreit, Stephanie ; Mäker, Daniela ; Szalai, Cynthia
Der Unterricht am Krankenbett ist im Medizinstudium eine wertvolle Möglichkeit klinisch-praktische Fertigkeiten zu erlernen. Eine optimale Vorbereitung der Studierenden ist dabei Voraussetzung. Eine mobile Lern-App wurde entwickelt, die den Studierenden, neben Lernzielen, Kursinhalte und Anleitungen zu Untersuchungstechniken bietet, um die Vorbereitung auf einen klinisch-praktischen Kurs zu fördern und Kurzinformationen auch während des Kurses zur Verfügung zu stellen. 175 Studierende hatten die Möglichkeit die App parallel zu einem klinischen Untersuchungs-Kurs im Semester zu nutzen. Im Anschluss beantworteten die Studierenden einen Fragebogen zur Nützlichkeit und Vielseitigkeit der App und zur Zufriedenheit mit der App unter Verwendung eine 5-Punkt-Likert-Skala und zwei offenen Fragen. In diesem Beitrag wird das Kurskonzept zusammen mit der Lern-App, die Ergebnisse aus dem Fragebogen und unsere Schlussfolgerungen daraus vorgestellt. Studierende bewerteten die App grundsätzlich als hilfreich. Sie sollte dabei gründlich eingeführt werden. Patienten sollten über die Nutzung von Smartphones im Studentenunterricht zu Lernzwecken informiert werden.
Computergestütztes Training von sozio-emotionalen Kompetenzen durch Minispiele (2018)
Tscherejkina, Anna ; Morgiel, Anna ; Moebert, Tobias
Das Training sozioemotionaler Kompetenzen ist gerade für Menschen mit Autismus nützlich. Ein solches Training kann mithilfe einer spielbasierten Anwendung effektiv gestaltet werden. Zwei Minispiele, Mimikry und Emo-Mahjong, wurden realisiert und hinsichtlich User Experience evaluiert. Die jeweiligen Konzepte und die Evaluationsergebnisse sollen hier vorgestellt werden.
Didaktische Herausforderungen bei der Erstellung eines frei verfügbaren Onlinekurses (2018)
Mariani, Ennio ; Jaisli, Isabel
Die Veröffentlichung eines global frei verfügbaren Onlinekurses abseits der großen MOOC Plattformen bringt spezielle Herausforderungen mit sich. Neben technischen Herausforderungen sind eine effiziente Wissensvermittlung und die Erhaltung der Lernmotivation zentral. Der folgende Beitrag stellt Techniken zur Steigerung der Lerneffizienz und -motivation anhand des ARCS Modells vor. Er zeigt auf, wie die verschiedenen Techniken in der Entwicklung des Onlinekurses „Designing Sustainable Food Systems“ umgesetzt wurden und inwieweit sie erfolgreich waren.
Und am Wochenende Blended Learning (2018)
Wahl, Marina ; Hölscher, Michael
Berufsbegleitende Studiengänge stehen vor besonderen Schwierigkeiten, für die der Einsatz von Blended Learning-Szenarien sinnvoll sein kann. Welche speziellen Herausforderungen sich dabei ergeben und welche Lösungsansätze dagegen steuern, betrachtet der folgende Artikel anhand eines Praxisberichts aus dem Studiengang M. P. A. Wissenschaftsmanagement an der Universität Speyer.
Erfolgsfaktoren beim Einsatz von Audience Response Systemen in der universitären Lehre (2018)
Braun, Iris ; Kapp, Felix ; Hara, Tenshi ; Kubica, Tommy
Der vorliegende Beitrag berichtet auf der Grundlage von Erfahrungen mit dem Audience Response System (ARS) „Auditorium Mobile Classroom Service“ von Erfolgsfaktoren für den Einsatz in der universitären Lehre. Dabei werden sowohl die technischen Rahmenbedingungen und Herausforderungen der Anwendungen berücksichtigt, als auch die unterschiedlichen didaktischen Konzepte und Ziele der beteiligten Akteure (Studierende, Lehrende und Institution). Ziel ist es, Einflussfaktoren für den erfolgreichen Einsatz sowohl für die Praxis als auch die wissenschaftliche Untersuchung und Weiterentwicklung der Systeme zu benennen und ein heuristisches Framework für Chancen und Herausforderungen beim Einsatz von ARS anzubieten.
Digitale Kompetenzen im Lehramtsstudium (2018)
Stumpf, Sarah
Der Beitrag skizziert ein Modell, das die Entwicklung digitaler Kompetenzen im Lehramtsstudium fördern soll. Zwar wird das Kompetenzmodell aus der Deutschdidaktik heraus entwickelt, nimmt aber auch fachübergreifende Anforderungen in den Bereichen Informationskompetenz, medientechnischer Kompetenzen, Fähigkeiten der Medienanalyse und -reflexion sowie Sprachhandlungskompetenz in den Blick. Damit wird das Ziel verfolgt, die besonderen Anforderungen angehender Lehrkräfte als Mediator*innen digitaler Kompetenzen darzustellen. Das beschriebene Modell dieser Vermittlungskompetenz dient der Verankerung digitaler Lehr-Lernkonzepte als wesentlicher Bestandteil der modernen Lehrer*innenbildung.
Automatische Erzeugung von Aufgaben als Mittel zur Erhöhung von Interaktivität und Adaptivität in digitalen Lernressourcen (2018)
Damnik, Gregor ; Gierl, Mark ; Proske, Antje ; Körndle, Hermann ; Narciss, Susanne
Digitale Medien enthalten bislang vor allem Inhalte in verschiedenen Darstellungsformen. Dies allein erzeugt jedoch nur einen geringen Mehrwert zu klassischen Lernressourcen, da die Kriterien der Interaktivität und Adaptivität nicht mit einbezogen werden. Dies scheitert jedoch oft an dem damit verbundenen Erstellungsaufwand. Der folgende Beitrag zeigt, wie durch die automatische Erzeugung von Aufgaben ein hochwertiger Wissenserwerb mit digitalen Medien ermöglicht wird. Ferner werden Vor- und Nachteile der automatischen Erstellung von Aufgaben erörtert.
E-Learning Symposium 2018 (2018)
Keil, Reinhard ; Konert, Johannes ; Damnik, Gregor ; Gierl, Mark J. ; Proske, Antje ; Körndle, Hermann ; Narciss, Susanne ; Wahl, Marina ; Hölscher, Michael ; Mariani, Ennio ; Jaisli, Isabel ; Tscherejkina, Anna ; Morgiel, Anna ; Moebert, Tobias ; Herbstreit, Stephanie ; Mäker, Daniela ; Szalai, Cynthia ; Braun, Iris ; Kapp, Felix ; Hara, Tenshi C. ; Kubica, Tommy ; Stumpf, Sarah
In den vergangenen Jahren sind viele E-Learning-Innovationen entstanden. Einige davon wurden auf den vergangenen E-Learning Symposien der Universität Potsdam prä¬sentiert: Das erste E-Learning Symposium im Jahr 2012 konzentrierte sich auf unter-schiedliche Möglichkeiten der Studierendenaktivierung und Lehrgestaltung. Das Sym¬posium 2014 rückte vor allem die Studierenden ins Zentrum der Aufmerksamkeit. Im Jahr 2016 kam es durch das Zusammengehen des Symposiums mit der DeLFI-Tagung zu einer Fokussierung auf technische Innovationen. Doch was ist aus den Leucht¬türmen von gestern geworden, und brauchen wir überhaupt noch neue Leuchttürme? Das Symposium setzt sich in diesem Jahr unter dem Motto „Innovation und Nachhaltigkeit – (k)ein Gegensatz?“ mit mediengestützten Lehr- und Lernprozessen im universitären Kontext auseinander und reflektiert aktuelle technische sowie didaktische Ent¬wick¬lungen mit Blick auf deren mittel- bis langfristigen Einsatz in der Praxis. Dieser Tagungsband zum E-Learning Symposium 2018 an der Universität Potsdam beinhaltet eine Mischung von Forschungs- und Praxisbeiträgen aus verschiedenen Fach-disziplinen und eröffnet vielschichtige Perspektiven auf das Thema E-Learning. Dabei werden die Vielfalt der didaktischen Einsatzszenarien als auch die Potentiale von Werk-zeugen und Methoden der Informatik in ihrem Zusammenspiel beleuchtet. In seiner Keynote widmet sich Reinhard Keil dem Motto des Symposiums und geht der Nachhaltigkeit bei E-Learning-Projekten auf den Grund. Dabei analysiert und beleuchtet er anhand seiner über 15-jährigen Forschungspraxis die wichtigsten Wirkfaktoren und formuliert Empfehlungen zur Konzeption von E-Learning-Projekten. Im Gegensatz zu rein auf Kostenersparnis ausgerichteten (hochschul-)politischen Forderungen pro-klamiert er den Ansatz der hypothesengeleiteten Technikgestaltung, in der Nachhaltig-keit als Leitfrage oder Forschungsstrategie verstanden werden kann. In eine ähnliche Richtung geht der Beitrag von Iris Braun et al., die über Erfolgsfaktoren beim Einsatz von Audience Response Systemen in der universitären Lehre berichten. Ein weiteres aktuelles Thema, sowohl für die Bildungstechnologie als auch in den Bildungswissenschaften allgemein, ist die Kompetenzorientierung und –modellierung. Hier geht es darum (Problemlöse-)Fähigkeiten gezielt zu beschreiben und in den Mittel-punkt der Lehre zu stellen. Johannes Konert stellt in einem eingeladenen Vortrag zwei Projekte vor, die den Prozess beginnend bei der Definition von Kompetenzen, deren Modellie¬rung in einem semantischen maschinenlesbaren Format bis hin zur Erarbeitung von Methoden zur Kompetenzmessung und der elektronischen Zertifizie¬rung aufzeigen. Dabei geht er auf technische Möglichkeiten, aber auch Grenzen ein. Auf einer spezifi¬scheren Ebene beschäftigt sich Sarah Stumpf mit digitalen bzw. medien¬didak¬tischen Kompetenzen im Lehramtsstudium und stellt ein Framework für die Förderung ebensol¬cher Kompetenzen bei angehenden Lehrkräften vor. Der Einsatz von E-Learning birgt noch einige Herausforderungen. Dabei geht es oft um die Verbindung von Didaktik und Technik, den Erhalt von Aufmerksamkeit oder den Aufwand für das Erstellen von interaktiven Lehr- und Lerninhalten. Drei Beiträge in diesem Tagungsband beschäftigen sich mit dieser Thematik in unterschiedlichen Kon-texten und zeigen Best-Practices und Lösungsansätze auf: Der Beitrag von Martina Wahl und Michael Hölscher behandelt den besonderen Kontext von Blended Learning-Szenarien in berufsbegleitenden Studiengängen. Um die Veröffentlichung eines global frei verfügbaren Onlinekurses abseits der großen MOOC Plattformen und den didak-tischen Herausforderungen auch hinsichtlich der Motivation geht es im Beitrag von Ennio Marani und Isabel Jaisli. Schließlich schlagen Gregor Damnik et al. die auto¬matische Erzeugung von Aufgaben zur Erhöhung von Interaktivität und Adaptivität in digitalen Lernressourcen vor, um den teilweise erheblichen Erstellungsaufwand zu redu¬zieren. Zum Thema E-Learning zählen auch immer mobile Apps bzw. Spiele. Gleich zwei Beiträge beschäftigen sich mit dem Einsatz von E-Learning-Tools im Gesundheits-kontext: Anna Tscherejkina und Anna Morgiel stellen in ihrem Beitrag Minispiele zum Training von sozio-emotionalen Kompetenzen für Menschen mit Autismus vor, und Stephanie Herbstreit et al. berichten vom Einsatz einer mobilen Lern-App zur Ver¬besserung von klinisch-praktischem Unterricht.
  • 1 to 10

OPUS4 Logo  KOBV Logo  OAI Logo  DINI Zertifikat 2007  OA Netzwerk Logo

  • Institutional Repository
  • University Press
  • University Bibliography
  • University Library
  • Policy
  • Contact
  • Disclaimer
  • Imprint
  • Datenschutzerklärung

Login