004 Datenverarbeitung; Informatik
Refine
Year of publication
Document Type
- Article (320) (remove)
Keywords
- Informatik (16)
- Didaktik (13)
- Ausbildung (12)
- Hochschuldidaktik (12)
- Big Data (4)
- Computer Science Education (4)
- Competence Measurement (3)
- Informatics Education (3)
- Secondary Education (3)
- computational thinking (3)
- social media (3)
- Blended Learning (2)
- Blockchains (2)
- Competence Modelling (2)
- Computational thinking (2)
- Data profiling (2)
- Deep learning (2)
- Diversity (2)
- E-Learning (2)
- General Earth and Planetary Sciences (2)
- Geography, Planning and Development (2)
- Informatics (2)
- Informatics Modelling (2)
- Informatics System Application (2)
- Informatics System Comprehension (2)
- Informatikstudium (2)
- JSP (2)
- Kompetenzen (2)
- Machine learning (2)
- Runtime analysis (2)
- Teamarbeit (2)
- Theory (2)
- Twitter (2)
- Water Science and Technology (2)
- answer set programming (2)
- bibliometric analysis (2)
- citation analysis (2)
- collaboration (2)
- competence (2)
- comprehension (2)
- computer science (2)
- data integration (2)
- duplicate detection (2)
- education (2)
- identity theory (2)
- informatics education (2)
- learning (2)
- machine learning (2)
- networks (2)
- perception of robots (2)
- programming (2)
- software engineering (2)
- virtual reality (2)
- (FPGA) (1)
- 21st century skills, (1)
- 3D point clouds (1)
- ABRACADABRA (1)
- APX-hardness (1)
- ARCS Modell (1)
- Achievement (1)
- Activity Theory (1)
- Activity-orientated Learning (1)
- Activity-oriented Optimization (1)
- Actor (1)
- Actor model (1)
- Adaption (1)
- Adaptive hypermedia (1)
- Advanced Video Codec (AVC) (1)
- Algebraic methods (1)
- Analyse (1)
- Andere Fachrichtungen (1)
- Anerkennung (1)
- Animal building (1)
- Anrechnung (1)
- Application (1)
- Arduino (1)
- Argument Mining (1)
- Artificial neural networks (1)
- Assessment (1)
- Attribute aggregation (1)
- Audience Response Systeme (1)
- Augmented and virtual reality (1)
- Augmented reality (1)
- Austria (1)
- Authentication (1)
- Autismus (1)
- Automated Theorem Proving (1)
- Automatically controlled windows (1)
- Automatisches Beweisen (1)
- BPMN (1)
- Bachelor (1)
- Bachelorstudium (1)
- Barrierefreiheit (1)
- Berufsausbildung (1)
- Beweisaufgaben (1)
- Bibliometrics (1)
- Bidirectional order dependencies (1)
- Big Five model (1)
- Bitcoin (1)
- Blended learning (1)
- Bloom’s Taxonomy (1)
- Brownian motion with discontinuous drift (1)
- Business Process Management (1)
- Business process modeling (1)
- Bystander (1)
- C-Test (1)
- CCS Concepts (1)
- COVID-19 (1)
- CS Ed Research (1)
- CS at school (1)
- CS concepts (1)
- CS curriculum (1)
- Calibration (1)
- Canvas (1)
- Capability approach (1)
- Case management (1)
- Challenges (1)
- Clause Learning (1)
- Clinical predictive modeling (1)
- Codeverständnis (1)
- Cognitive Skills (1)
- Cographs (1)
- Coherent partition (1)
- Comparing programming environments (1)
- Competences (1)
- Competencies (1)
- Compliance checking (1)
- Computational Thinking (1)
- Computational photography (1)
- Computer Science (1)
- Computer Science in Context (1)
- Computer crime (1)
- Computergestützes Training (1)
- Computing (1)
- Conceptual modeling (1)
- Condition number (1)
- Consistency (1)
- Contest (1)
- Contextualisation (1)
- Contradictions (1)
- Convolution (1)
- Course development (1)
- Course marketing (1)
- Course of Study (1)
- Courses for female students (1)
- Covid (1)
- Critical pairs (1)
- Crowd-sourcing (1)
- Cryptography (1)
- Currencies (1)
- Curricula Development (1)
- Curriculum (1)
- Curriculum Development (1)
- Curriculum analysis (1)
- Customer ownership (1)
- DPLL (1)
- Data Analysis (1)
- Data Literacy (1)
- Data Management (1)
- Data Privacy (1)
- Data Science (1)
- Data dependencies (1)
- Data mining (1)
- Data modeling (1)
- Data warehouse (1)
- Data-centric (1)
- Databases (1)
- Datenanalyse (1)
- Datenbanken (1)
- Datenschutz (1)
- Decision support (1)
- Defining characteristics of physical computing (1)
- Degenerationsprozesse (1)
- Delphi study (1)
- Delta preservation (1)
- Dependency discovery (1)
- Digital Competence (1)
- Digital Education (1)
- Digital Game Based Learning (1)
- Digital Revolution (1)
- Digitalisierung von Produktionsprozessen (1)
- Digitalization (1)
- Diskussionskultur (1)
- Dispositional learning analytics (1)
- Distanzlehre (1)
- Distributed computing (1)
- Distributed programming (1)
- Durchlässigkeit (1)
- Dynamic assessment (1)
- Early Literacy (1)
- Economics (1)
- Ecosystems (1)
- Educational Standards (1)
- Educational software (1)
- Electronic and spintronic devices (1)
- Embedded Systems (1)
- Empirische Untersuchung (1)
- Entity resolution (1)
- Erfolgsmessung (1)
- Estimation-of-distribution algorithm (1)
- Ethics (1)
- Euclid’s algorithm (1)
- Evolutionary algorithms (1)
- Explorative Datenanalyse (1)
- FPGA (1)
- Facebook (1)
- Fachinformatik (1)
- Fachinformatiker (1)
- Feature extraction (1)
- Feature selection (1)
- Federated learning (1)
- Feedback (1)
- Fertigkeiten (1)
- Fibonacci numbers (1)
- Field programmable gate arrays (1)
- Finite automata (1)
- Fitness-distance correlation (1)
- Formal modelling (1)
- Formale Sprachen und Automaten (1)
- Formative assessment (1)
- Forschung (1)
- Function (1)
- Functional dependencies (1)
- Fundamental Ideas (1)
- Gender (1)
- Gene expression (1)
- General subject “Information” (1)
- Geschäftsmodell (1)
- Graph databases (1)
- Graph homomorphisms (1)
- Graph logic (1)
- Graph partitions (1)
- Graph repair (1)
- Graph transformation (1)
- Graphensuche (1)
- H.264 (1)
- HEI (1)
- Hardware accelerator (1)
- Helmholtz problem (1)
- HiGHmed (1)
- Histograms (1)
- Hochschule (1)
- Hochschulkurse (1)
- Hochschullehre (1)
- Human (1)
- Human-robot interaction (1)
- ICT (1)
- ICT Competence (1)
- ICT competencies (1)
- ICT curriculum (1)
- ICT skills (1)
- IHL (1)
- IHRL (1)
- IOPS (1)
- ISSEP (1)
- Identity management systems (1)
- Identität (1)
- Ill-conditioning (1)
- Image (1)
- Image resolution (1)
- Image-based rendering (1)
- Imperative calculi (1)
- Improving classroom (1)
- Inclusion dependencies (1)
- Indefinite (1)
- Industries (1)
- Inference (1)
- Informatik B. Sc. (1)
- Informatik für alle (1)
- Information Ethics (1)
- Informationskompetenz (1)
- Inhalte (1)
- Inhaltsanalyse (1)
- Initial conflicts (1)
- Inquiry-based Learning (1)
- Instagram (1)
- Insurance industry (1)
- Interface design (1)
- Interpretability (1)
- Intersectionality (1)
- Interventionen (1)
- Inverted Classroom (1)
- KI (1)
- Kernel (1)
- Key Competencies (1)
- Klausellernen (1)
- Kollaboration (1)
- Kompetenz (1)
- Kompetenzentwicklung (1)
- Kompetenzerwerb (1)
- Kompetenzmessung (1)
- LIDAR (1)
- LMS (1)
- LSTM (1)
- Learners (1)
- Learning Analytics (1)
- Learning Fields (1)
- Learning analytics (1)
- Learning dispositions (1)
- Learning ecology (1)
- Learning interfaces development (1)
- Learning with ICT (1)
- Lehr- und Lernformate (1)
- Lehramtsstudium (1)
- Lehre (1)
- Lehrer*innenbildung (1)
- Lehrevaluation (1)
- Lern-App (1)
- Lernerfolg (1)
- Lernmotivation (1)
- Lernzentrum (1)
- Licenses (1)
- Lindenmayer systems (1)
- Logarithm (1)
- Low Latency (1)
- Lower Secondary Level (1)
- Lückentext (1)
- MOOCs (1)
- Machine Learning (1)
- Marketing (1)
- Massive Open Online Courses (1)
- Matroids (1)
- Measurement (1)
- Media in education (1)
- Mensch-Computer-Interaktion (1)
- Metaverse (1)
- Model repair (1)
- Model verification (1)
- Model-driven (1)
- Multi-objective optimization (1)
- Multi-sided platforms (1)
- Multimodal behavior (1)
- Music Technology (1)
- Mutation operators (1)
- N-of-1 trial (1)
- NUI (1)
- Natural Science Education (1)
- Natural ventilation (1)
- Navigation (1)
- Nephrology (1)
- Nested graph conditions (1)
- Network clustering (1)
- NoSQL (1)
- Norway (1)
- Novice programmers (1)
- O (1)
- Onlinekurse (1)
- OpenOLAT (1)
- Optimization (1)
- OptoGait (1)
- Order dependencies (1)
- Parallelization (1)
- Pedagogical content knowledge (1)
- Pedagogical issues (1)
- Peer-Review (1)
- Personas (1)
- Physical Science (1)
- Point-based rendering (1)
- Preprocessing (1)
- Primary informatics (1)
- Prime graphs (1)
- Prior knowledge (1)
- Privacy (1)
- Problem Solving (1)
- Problem solving (1)
- Problem solving strategies (1)
- Process Execution (1)
- Programmierausbildung (1)
- Programming environments for children (1)
- Programming learning (1)
- Projekte (1)
- Protocols (1)
- Pytho n (1)
- Query execution (1)
- Query optimization (1)
- Rainfall-runoff (1)
- Random access memory (1)
- Re-Engineering (1)
- Recommendations for CS-Curricula in Higher Education (1)
- Region of Interest (1)
- Relational data (1)
- Relevanz (1)
- Reproducible benchmarking (1)
- Resource Allocation (1)
- Resource Management (1)
- Reversibility (1)
- Robot personality (1)
- Run time analysis (1)
- SAT (1)
- SCED (1)
- SQL (1)
- STEM (1)
- Satisfiability (1)
- Scale-invariant feature transform (SIFT) (1)
- Scientific understanding of Information (1)
- Second Life (1)
- Security (1)
- Semantic Web (1)
- Semiconductors (1)
- Seminarkonzept (1)
- Sensors (1)
- Sequential anomaly (1)
- Sharing (1)
- Signal processing (1)
- Simulations (1)
- Single event upsets (1)
- Small Private Online Courses (1)
- Social (1)
- Social impact (1)
- Sociotechnical Design (1)
- Software Engineering (1)
- Softwareentwicklung (1)
- Specification (1)
- Stance Detection (1)
- Strategie (1)
- Strukturverbesserung (1)
- Student Engagement (1)
- Studentenjobs (1)
- Studienabbrecher (1)
- Studienabbruch (1)
- Studienanfänger*innen (1)
- Studiendauer (1)
- Studieneingangsphase (1)
- Studiengestaltung (1)
- Studiengänge (1)
- Studienverläufe (1)
- Studierendenperformance (1)
- Studium (1)
- Submodular function (1)
- Submodular functions (1)
- Subset selection (1)
- Systematics (1)
- Systems of parallel communicating (1)
- Tasks (1)
- Taxonomy (1)
- Teacher perceptions (1)
- Teachers (1)
- Teaching information security (1)
- Teaching problem solving strategies (1)
- Technology proficiency (1)
- Terminology (1)
- Tests (1)
- Theorembeweisen (1)
- Theoretische Informatik (1)
- Time series (1)
- Trajectories (1)
- Type and effect systems (1)
- UX (1)
- Umfrage (1)
- Uncanny valley (1)
- Unifikation (1)
- Unique column combinations (1)
- User Experience (1)
- VR (1)
- Validation (1)
- Value network (1)
- Visualization (1)
- Vocabulary (1)
- Vocational Education (1)
- Vorkenntnisse (1)
- Vorwissen (1)
- Wartung von Lehrveranstaltungen (1)
- Weiterbildung (1)
- Werbung (1)
- WhatsApp (1)
- Wissenschaftliches Arbeiten (1)
- Women and IT (1)
- X-ray imaging (1)
- YouTube (1)
- Young People (1)
- Zebris (1)
- abstraction (1)
- action and change (1)
- adaptive (1)
- algorithms (1)
- analogical thinking (1)
- anxiety (1)
- app (1)
- approximation (1)
- architecture (1)
- architecture recovery (1)
- argumentation research (1)
- attacks (1)
- attribute assurance (1)
- authorship attribution (1)
- automata (1)
- automated planning (1)
- betriebliche Weiterbildungspraxis (1)
- big data (1)
- binary representation (1)
- binary search (1)
- biomarker detection (1)
- blockchain (1)
- brand personality (1)
- business process management (1)
- business processes (1)
- cancer therapy (1)
- center dot Computing (1)
- classroom language (1)
- cloud security (1)
- co-citation analysis (1)
- co-occurrence analysis (1)
- coding and information theory (1)
- cognition (1)
- cognitive load (1)
- cognitive modifiability (1)
- combined task and motion planning (1)
- competence development (1)
- competencies (1)
- competency (1)
- complexity (1)
- complexity dichotomy (1)
- computed tomography (1)
- computer science education (1)
- computer science teachers (1)
- computer vision (1)
- computing science education (1)
- concept of algorithm (1)
- concurrent graph rewriting (1)
- conditions (1)
- conflicts and dependencies in (1)
- constructionism (1)
- contract (1)
- conversational agents (1)
- corporate nomadism (1)
- corporate takeovers (1)
- cryptocurrency exchanges (1)
- cryptology (1)
- cs4fn (1)
- curriculum theory (1)
- cyber (1)
- cyber humanistic (1)
- cyber threat intelligence (1)
- cyber-attack (1)
- cyberbullying (1)
- cyberwar (1)
- data analytics (1)
- data assimilation (1)
- data migration (1)
- data pipeline (1)
- data preparation (1)
- data quality (1)
- data requirements (1)
- data structures and information theory (1)
- data transformation (1)
- data wrangling (1)
- database systems (1)
- deferred choice (1)
- depression (1)
- determinism (1)
- deterministic properties (1)
- developmental systems (1)
- didactics (1)
- didaktisches Konzept (1)
- digital health (1)
- digital identity (1)
- digital interventions (1)
- digital nomadism (1)
- digital transformation (1)
- digital workplace transformation (1)
- digitale Bildung (1)
- digitally-enabled pedagogies (1)
- digitization of production processes (1)
- distributed systems (1)
- divide and conquer (1)
- drift theory (1)
- duale IT-Ausbildung (1)
- e-Assessment (1)
- e-Learning (1)
- e-mentoring (1)
- education and public policy (1)
- educational programming (1)
- educational systems (1)
- edutainment (1)
- elections (1)
- emotional design (1)
- empathy (1)
- engaged computing (1)
- engagement (1)
- engine (1)
- engineering (1)
- environments (1)
- ethics (1)
- evaluation (1)
- evolutionary computation (1)
- exact simulation methods (1)
- experiment (1)
- explainability (1)
- explainability-accuracy trade-off (1)
- explainable AI (1)
- exploratory programming (1)
- exponentiation (1)
- expression (1)
- external knowledge bases (1)
- failure model (1)
- field-programmable gate array (1)
- forensics (1)
- formal languages (1)
- formal semantics (1)
- forschendes Lernen (1)
- forschungsorientiertes Lernen (1)
- fun (1)
- fächerverbindend (1)
- gait analysis algorithm (1)
- gender (1)
- gene (1)
- gene selection (1)
- general (1)
- general secondary education (1)
- gewerkschaftlich unterstützte Weiterbildungspraxis (1)
- graph languages (1)
- graph pattern matching (1)
- graph transformation (1)
- graph-search (1)
- hardware accelerator (1)
- hardware architecture (1)
- health care (1)
- healthcare (1)
- heterogeneity (1)
- high school (1)
- higher (1)
- higher education (1)
- home office (1)
- human–computer interaction (1)
- identity broker (1)
- image captioning (1)
- image processing (1)
- individual effects (1)
- individuelle Lernwege (1)
- inertial measurement unit (1)
- informal and formal learning (1)
- informatics (1)
- informatics curricula (1)
- informatics in upper secondary education (1)
- information diffusion (1)
- informatische Grundkompetenzen (1)
- innovation (1)
- instruction (1)
- interactive course (1)
- interactive technologies (1)
- interactive workshop (1)
- international comparison (1)
- international human rights (1)
- international humanitarian law (1)
- international study (1)
- interpretable machine learning (1)
- iteration method (1)
- job shop scheduling (1)
- job-shop scheduling (1)
- key competences in physical computing (1)
- key competencies (1)
- kinaesthetic teaching (1)
- klinisch-praktischer Unterricht (1)
- knowledge building (1)
- knowledge management (1)
- knowledge representation and nonmonotonic reasoning (1)
- knowledge work (1)
- labour union education (1)
- law (1)
- law and technology (1)
- learning factory (1)
- lesson (1)
- literature review (1)
- localization (1)
- logic programming (1)
- long-term interaction (1)
- longitudinal (1)
- machine (1)
- machine learning algorithms (1)
- mandatory computer science foundations (1)
- manipulation planning (1)
- maschinelles Lernen (1)
- matrices (1)
- mediated learning experience (1)
- medical malpractice (1)
- memory (1)
- method comparision (1)
- methodologie (1)
- methods (1)
- metric learning (1)
- migration (1)
- misconceptions (1)
- mobile application (1)
- mobile learning (1)
- mobile technologies and apps (1)
- mobiles Lernen (1)
- modelling (1)
- modular counting (1)
- modularity (1)
- molecular tumor board (1)
- monitoring (1)
- mood (1)
- multimedia learning (1)
- multimodal representations (1)
- mutli-task learning (1)
- mutual gaze (1)
- neural (1)
- new technologies (1)
- news media (1)
- notation (1)
- online learning (1)
- open learning (1)
- operating system (1)
- optimal transport (1)
- oracles (1)
- organisational evolution (1)
- paper prototyping (1)
- parallel processing (1)
- parallel rewriting (1)
- parameter (1)
- pedagogy (1)
- performance (1)
- personal (1)
- personal response systems (1)
- personality prediction (1)
- personalization principle (1)
- personalized medicine (1)
- philosophical foundation of informatics pedagogy (1)
- phone (1)
- physical computing tools (1)
- planning (1)
- power-law (1)
- pre-primary level (1)
- predictive models (1)
- preprocessing (1)
- primary education (1)
- primary level (1)
- primary school (1)
- prior knowledge (1)
- problem-solving (1)
- process scheduling (1)
- processes (1)
- processing (1)
- professional development (1)
- program (1)
- programming in context (1)
- programming skills (1)
- public dataset (1)
- quantified logics (1)
- random I (1)
- random graphs (1)
- randomized control trial (1)
- real-time (1)
- record linkage (1)
- recursive tuning (1)
- relevance (1)
- reliability (1)
- remodularization (1)
- remote-first (1)
- resilient architectures (1)
- restoration (1)
- restricted parallelism (1)
- review (1)
- robustness (1)
- science (1)
- search plan generation (1)
- secondary computer science education (1)
- secondary education (1)
- security (1)
- security chaos engineering (1)
- security risk assessment (1)
- self-adaptive multiprocessing system (1)
- self-driving (1)
- self-efficacy (1)
- self-healing (1)
- self-sovereign identity (1)
- sentiment (1)
- signal processing (1)
- similarity learning (1)
- similarity measures (1)
- simulation (1)
- single event upset (1)
- single-case experimental design (1)
- situated learning (1)
- skew Brownian motion (1)
- skew diffusions (1)
- small files (1)
- smart contracts (1)
- smoother (1)
- social media analysis (1)
- social network analysis (1)
- social networking (1)
- social networking sites (1)
- societal effects (1)
- software selection (1)
- solar particle event (1)
- sorting (1)
- space missions (1)
- spread correction (1)
- spreadsheets (1)
- standardization (1)
- stochastic process (1)
- student activation (1)
- student experience (1)
- student perceptions (1)
- studentische Forschung (1)
- students’ conceptions (1)
- students’ knowledge (1)
- survey mode (1)
- teacher (1)
- teacher competencies (1)
- teacher education (1)
- teacher training (1)
- teaching (1)
- teaching informatics in general education (1)
- teaching material (1)
- teamwork (1)
- technical notes and rapid communications (1)
- technische Rahmenbedingungen (1)
- terminology (1)
- test items (1)
- text based classification methods (1)
- theorem (1)
- tools (1)
- topics (1)
- tort law (1)
- tracing (1)
- training (1)
- transfer learning (1)
- trust (1)
- trust model (1)
- uncanny valley (1)
- unification (1)
- usability (1)
- user experience (1)
- user-centred (1)
- virtual collaboration (1)
- virtual groups (1)
- virtual teams (1)
- vocational training (1)
- vulnerabilities (1)
- web application (1)
- weight (1)
- well-being (1)
- wissenschaftliches Arbeiten (1)
- wissenschaftliches Schreiben (1)
- workflow patterns (1)
- workload prediction (1)
- ‘unplugged’ computing (1)
Institute
- Institut für Informatik und Computational Science (148)
- Hasso-Plattner-Institut für Digital Engineering GmbH (39)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (39)
- Extern (34)
- Institut für Mathematik (16)
- Fachgruppe Betriebswirtschaftslehre (11)
- Bürgerliches Recht (10)
- Wirtschaftswissenschaften (7)
- Institut für Physik und Astronomie (4)
- Department Erziehungswissenschaft (3)
Selbstbestimmtes Lernen mit Onlinekursen findet zunehmend mehr Akzeptanz in unserer Gesellschaft. Lernende können mithilfe von Onlinekursen selbst festlegen, was sie wann lernen und Kurse können durch vielfältige Adaptionen an den Lernfortschritt der Nutzer angepasst und individualisiert werden. Auf der einen Seite ist eine große Zielgruppe für diese Lernangebote vorhanden. Auf der anderen Seite sind die Erstellung von Onlinekursen, ihre Bereitstellung, Wartung und Betreuung kostenintensiv, wodurch hochwertige Angebote häufig kostenpflichtig angeboten werden müssen, um als Anbieter zumindest kostenneutral agieren zu können. In diesem Beitrag erörtern und diskutieren wir ein offenes, nachhaltiges datengetriebenes zweiseitiges Geschäftsmodell zur Verwertung geprüfter Onlinekurse und deren kostenfreie Bereitstellung für jeden Lernenden. Kern des Geschäftsmodells ist die Nutzung der dabei entstehenden Verhaltensdaten, die daraus mögliche Ableitung von Persönlichkeitsmerkmalen und Interessen und deren Nutzung im kommerziellen Kontext. Dies ist eine bei der Websuche bereits weitläufig akzeptierte Methode, welche nun auf den Lernkontext übertragen wird. Welche Möglichkeiten, Herausforderungen, aber auch Barrieren überwunden werden müssen, damit das Geschäftsmodell nachhaltig und ethisch vertretbar funktioniert, werden zwei unabhängige, jedoch synergetisch verbundene Geschäftsmodelle vorgestellt und diskutiert. Zusätzlich wurde die Akzeptanz und Erwartung der Zielgruppe für das vorgestellte Geschäftsmodell untersucht, um notwendige Kernressourcen für die Praxis abzuleiten. Die Ergebnisse der Untersuchung zeigen, dass das Geschäftsmodell von den Nutzer*innen grundlegend akzeptiert wird. 10 % der Befragten würden es bevorzugen, mit virtuellen Assistenten – anstelle mit Tutor*innen zu lernen. Zudem ist der Großteil der Nutzer*innen sich nicht darüber bewusst, dass Persönlichkeitsmerkmale anhand des Nutzerverhaltens abgeleitet werden können.
The intensity of cosmic radiation may differ over five orders of magnitude within a few hours or days during the Solar Particle Events (SPEs), thus increasing for several orders of magnitude the probability of Single Event Upsets (SEUs) in space-borne electronic systems. Therefore, it is vital to enable the early detection of the SEU rate changes in order to ensure timely activation of dynamic radiation hardening measures. In this paper, an embedded approach for the prediction of SPEs and SRAM SEU rate is presented. The proposed solution combines the real-time SRAM-based SEU monitor, the offline-trained machine learning model and online learning algorithm for the prediction. With respect to the state-of-the-art, our solution brings the following benefits: (1) Use of existing on-chip data storage SRAM as a particle detector, thus minimizing the hardware and power overhead, (2) Prediction of SRAM SEU rate one hour in advance, with the fine-grained hourly tracking of SEU variations during SPEs as well as under normal conditions, (3) Online optimization of the prediction model for enhancing the prediction accuracy during run-time, (4) Negligible cost of hardware accelerator design for the implementation of selected machine learning model and online learning algorithm. The proposed design is intended for a highly dependable and self-adaptive multiprocessing system employed in space applications, allowing to trigger the radiation mitigation mechanisms before the onset of high radiation levels.
In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or cost) when taking a given number of decision steps. SDPs are routinely solved using Bellman's backward induction. Textbook authors (e.g. Bertsekas or Puterman) typically give more or less formal proofs to show that the backward induction algorithm is correct as solution method for deterministic and stochastic SDPs. Botta, Jansson and Ionescu propose a generic framework for finite horizon, monadic SDPs together with a monadic version of backward induction for solving such SDPs. In monadic SDPs, the monad captures a generic notion of uncertainty, while a generic measure function aggregates rewards. In the present paper, we define a notion of correctness for monadic SDPs and identify three conditions that allow us to prove a correctness result for monadic backward induction that is comparable to textbook correctness proofs for ordinary backward induction. The conditions that we impose are fairly general and can be cast in category-theoretical terms using the notion of Eilenberg-Moore algebra. They hold in familiar settings like those of deterministic or stochastic SDPs, but we also give examples in which they fail. Our results show that backward induction can safely be employed for a broader class of SDPs than usually treated in textbooks. However, they also rule out certain instances that were considered admissible in the context of Botta et al. 's generic framework. Our development is formalised in Idris as an extension of the Botta et al. framework and the sources are available as supplementary material.
CovRadar
(2022)
The ongoing pandemic caused by SARS-CoV-2 emphasizes the importance of genomic surveillance to understand the evolution of the virus, to monitor the viral population, and plan epidemiological responses. Detailed analysis, easy visualization and intuitive filtering of the latest viral sequences are powerful for this purpose. We present CovRadar, a tool for genomic surveillance of the SARS-CoV-2 Spike protein. CovRadar consists of an analytical pipeline and a web application that enable the analysis and visualization of hundreds of thousand sequences. First, CovRadar extracts the regions of interest using local alignment, then builds a multiple sequence alignment, infers variants and consensus and finally presents the results in an interactive app, making accessing and reporting simple, flexible and fast.
The increasing demand for software engineers cannot completely be fulfilled by university education and conventional training approaches due to limited capacities. Accordingly, an alternative approach is necessary where potential software engineers are being educated in software engineering skills using new methods. We suggest micro tasks combined with theoretical lessons to overcome existing skill deficits and acquire fast trainable capabilities. This paper addresses the gap between demand and supply of software engineers by introducing an actionoriented and scenario-based didactical approach, which enables non-computer scientists to code. Therein, the learning content is provided in small tasks and embedded in learning factory scenarios. Therefore, different requirements for software engineers from the market side and from an academic viewpoint are analyzed and synthesized into an integrated, yet condensed skills catalogue. This enables the development of training and education units that focus on the most important skills demanded on the market. To achieve this objective, individual learning scenarios are developed. Of course, proper basic skills in coding cannot be learned over night but software programming is also no sorcery.
Um in der digitalisierten Wirtschaft mitzuspielen, müssen Unternehmen, Markt und insbesondere Kunden detailliert verstanden werden. Neben den „Big Playern“ aus dem Silicon Valley sieht der deutsche Mittelstand, der zu großen Teilen noch auf gewachsenen IT-Infrastrukturen und Prozessen agiert, oft alt aus. Um in den nächsten Jahren nicht gänzlich abgehängt zu werden, ist ein Umbruch notwendig. Sowohl Leistungserstellungsprozesse als auch Leistungsangebot müssen transparent und datenbasiert ausgerichtet werden. Nur so können Geschäftsvorfälle, das Marktgeschehen sowie Handeln der Akteure integrativ bewertet und fundierte Entscheidungen getroffen werden. In diesem Beitrag wird das Konzept der Data-Driven Organization vorgestellt und aufgezeigt, wie Unternehmen den eigenen Analyticsreifegrad ermitteln und in einem iterativen Transformationsprozess steigern können.
Machine learning for improvement of thermal conditions inside a hybrid ventilated animal building
(2021)
In buildings with hybrid ventilation, natural ventilation opening positions (windows), mechanical ventilation rates, heating, and cooling are manipulated to maintain desired thermal conditions. The indoor temperature is regulated solely by ventilation (natural and mechanical) when the external conditions are favorable to save external heating and cooling energy. The ventilation parameters are determined by a rule-based control scheme, which is not optimal. This study proposes a methodology to enable real-time optimum control of ventilation parameters. We developed offline prediction models to estimate future thermal conditions from the data collected from building in operation. The developed offline model is then used to find the optimal controllable ventilation parameters in real-time to minimize the setpoint deviation in the building. With the proposed methodology, the experimental building's setpoint deviation improved for 87% of time, on average, by 0.53 degrees C compared to the current deviations.
In virtual collaboration at the workplace, a growing number of teams apply supportive conversational agents (CAs). They take on different work-related tasks for teams and single users such as scheduling meetings or stimulating creativity. Previous research merely focused on these positive aspects of introducing CAs at the workplace, omitting ethical challenges faced by teams using these often artificial intelligence (AI)-enabled technologies. Thus, on the one hand, CAs can present themselves as benevolent teammates, but on the other hand, they can collect user data, reduce worker autonomy, or foster social isolation by their service. In this work, we conducted 15 expert interviews with senior researchers from the fields of ethics, collaboration, and computer science in order to derive ethical guidelines for introducing CAs in virtual team collaboration. We derived 14 guidelines and seven research questions to pave the way for future research on the dark sides of human–agent interaction in organizations.
Graphs play an important role in many areas of Computer Science. In particular, our work is motivated by model-driven software development and by graph databases. For this reason, it is very important to have the means to express and to reason about the properties that a given graph may satisfy. With this aim, in this paper we present a visual logic that allows us to describe graph properties, including navigational properties, i.e., properties about the paths in a graph. The logic is equipped with a deductive tableau method that we have proved to be sound and complete.