004 Datenverarbeitung; Informatik
Filtern
Erscheinungsjahr
Dokumenttyp
- Wissenschaftlicher Artikel (328) (entfernen)
Schlagworte
- Informatik (16)
- Didaktik (13)
- Ausbildung (12)
- Hochschuldidaktik (12)
- Big Data (4)
- Computer Science Education (4)
- Competence Measurement (3)
- Data profiling (3)
- Informatics Education (3)
- Secondary Education (3)
- computational thinking (3)
- machine learning (3)
- social media (3)
- Blended Learning (2)
- Blockchains (2)
- Competence Modelling (2)
- Computational thinking (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)
- Social (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)
- 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)
- Commonsense reasoning (1)
- Comparing programming environments (1)
- Competences (1)
- Competencies (1)
- Complexity (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)
- Enumeration algorithm (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)
- Minimal hitting set (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)
- Opinion mining (1)
- Optimization (1)
- OptoGait (1)
- Order dependencies (1)
- Ordinances (1)
- Parallelization (1)
- Pedagogical content knowledge (1)
- Pedagogical issues (1)
- Peer-Review (1)
- Personas (1)
- Physical Science (1)
- Point-based rendering (1)
- Popular matching (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)
- Smart cities (1)
- Social impact (1)
- Sociotechnical Design (1)
- Software Engineering (1)
- Softwareentwicklung (1)
- Specification (1)
- Stable marriage (1)
- Stable matching (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)
- Text mining (1)
- Theorembeweisen (1)
- Theoretische Informatik (1)
- Time series (1)
- Trajectories (1)
- Transversal hypergraph (1)
- Type and effect systems (1)
- UX (1)
- Umfrage (1)
- Uncanny valley (1)
- Unifikation (1)
- Unique column combination (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)
- W[3]-Completeness (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)
- acyclic preferences (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)
- intransitivity (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)
- media (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)
- neural networks (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)
- poset (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)
- production planning and control (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)
- stable matching (1)
- standardization (1)
- stochastic process (1)
- strongly stable matching (1)
- student activation (1)
- student experience (1)
- student perceptions (1)
- studentische Forschung (1)
- students’ conceptions (1)
- students’ knowledge (1)
- super stable matching (1)
- survey mode (1)
- systematic literature review (1)
- taxonomy (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)
- weakly (1)
- web application (1)
- weight (1)
- well-being (1)
- wissenschaftliches Arbeiten (1)
- wissenschaftliches Schreiben (1)
- workflow patterns (1)
- workload prediction (1)
- ‘unplugged’ computing (1)
Institut
- Institut für Informatik und Computational Science (148)
- Hasso-Plattner-Institut für Digital Engineering GmbH (44)
- Hasso-Plattner-Institut für Digital Engineering gGmbH (40)
- Extern (34)
- Institut für Mathematik (16)
- Fachgruppe Betriebswirtschaftslehre (12)
- Bürgerliches Recht (10)
- Wirtschaftswissenschaften (8)
- Institut für Physik und Astronomie (4)
- Department Erziehungswissenschaft (3)
Homeoffice und mobiles Arbeiten haben sich infolge der Covid-19-Pandemie bei vielen Unternehmen bekanntlich etabliert. Die Anweisung bzw. „Duldung“ des Homeoffice beruhte allerdings meist mehr auf tatsächlicher als auf rechtlicher Grundlage. Letztere könnte aber aus betrieblicher Übung erwachsen. Dieser Beitrag geht dem rechtlichen Rahmen dafür nach.
.NET Gadgeteer Workshop
(2013)
A comparison of current trends within computer science teaching in school in Germany and the UK
(2013)
In the last two years, CS as a school subject has gained a lot of attention worldwide, although different countries have differing approaches to and experiences of introducing CS in schools. This paper reports on a study comparing current trends in CS at school, with a major focus on two countries, Germany and UK. A survey was carried out of a number of teaching professionals and experts from the UK and Germany with regard to the content and delivery of CS in school. An analysis of the quantitative data reveals a difference in foci in the two countries; putting this into the context of curricular developments we are able to offer interpretations of these trends and suggest ways in which curricula in CS at school should be moving forward.
There is an increasing interest in fusing data from heterogeneous sources. Combining data sources increases the utility of existing datasets, generating new information and creating services of higher quality. A central issue in working with heterogeneous sources is data migration: In order to share and process data in different engines, resource intensive and complex movements and transformations between computing engines, services, and stores are necessary.
Muses is a distributed, high-performance data migration engine that is able to interconnect distributed data stores by forwarding, transforming, repartitioning, or broadcasting data among distributed engines' instances in a resource-, cost-, and performance-adaptive manner. As such, it performs seamless information sharing across all participating resources in a standard, modular manner. We show an overall improvement of 30 % for pipelining jobs across multiple engines, even when we count the overhead of Muses in the execution time. This performance gain implies that Muses can be used to optimise large pipelines that leverage multiple engines.
As resources are valuable assets, organizations have to decide which resources to allocate to business process tasks in a way that the process is executed not only effectively but also efficiently. Traditional role-based resource allocation leads to effective process executions, since each task is performed by a resource that has the required skills and competencies to do so. However, the resulting allocations are typically not as efficient as they could be, since optimization techniques have yet to find their way in traditional business process management scenarios. On the other hand, operations research provides a rich set of analytical methods for supporting problem-specific decisions on resource allocation. This paper provides a novel framework for creating transparency on existing tasks and resources, supporting individualized allocations for each activity in a process, and the possibility to integrate problem-specific analytical methods of the operations research domain. To validate the framework, the paper reports on the design and prototypical implementation of a software architecture, which extends a traditional process engine with a dedicated resource management component. This component allows us to define specific resource allocation problems at design time, and it also facilitates optimized resource allocation at run time. The framework is evaluated using a real-world parcel delivery process. The evaluation shows that the quality of the allocation results increase significantly with a technique from operations research in contrast to the traditional applied rule-based approach.
Image feature detection is a key task in computer vision. Scale Invariant Feature Transform (SIFT) is a prevalent and well known algorithm for robust feature detection. However, it is computationally demanding and software implementations are not applicable for real-time performance. In this paper, a versatile and pipelined hardware implementation is proposed, that is capable of computing keypoints and rotation invariant descriptors on-chip. All computations are performed in single precision floating-point format which makes it possible to implement the original algorithm with little alteration. Various rotation resolutions and filter kernel sizes are supported for images of any resolution up to ultra-high definition. For full high definition images, 84 fps can be processed. Ultra high definition images can be processed at 21 fps.
This paper describes the proof calculus LD for clausal propositional logic, which is a linearized form of the well-known DPLL calculus extended by clause learning. It is motivated by the demand to model how current SAT solvers built on clause learning are working, while abstracting from decision heuristics and implementation details. The calculus is proved sound and terminating. Further, it is shown that both the original DPLL calculus and the conflict-directed backtracking calculus with clause learning, as it is implemented in many current SAT solvers, are complete and proof-confluent instances of the LD calculus.
We introduce a logic-based incremental approach to graph repair, generating a sound and complete (upon termination) overview of least-changing graph repairs from which a user may select a graph repair based on non-formalized further requirements. This incremental approach features delta preservation as it allows to restrict the generation of graph repairs to delta-preserving graph repairs, which do not revert the additions and deletions of the most recent consistency-violating graph update. We specify consistency of graphs using the logic of nested graph conditions, which is equivalent to first-order logic on graphs. Technically, the incremental approach encodes if and how the graph under repair satisfies a graph condition using the novel data structure of satisfaction trees, which are adapted incrementally according to the graph updates applied. In addition to the incremental approach, we also present two state-based graph repair algorithms, which restore consistency of a graph independent of the most recent graph update and which generate additional graph repairs using a global perspective on the graph under repair. We evaluate the developed algorithms using our prototypical implementation in the tool AutoGraph and illustrate our incremental approach using a case study from the graph database domain.
Author summary <br /> The use of orally inhaled drugs for treating lung diseases is appealing since they have the potential for lung selectivity, i.e. high exposure at the site of action -the lung- without excessive side effects. However, the degree of lung selectivity depends on a large number of factors, including physiochemical properties of drug molecules, patient disease state, and inhalation devices. To predict the impact of these factors on drug exposure and thereby to understand the characteristics of an optimal drug for inhalation, we develop a predictive mathematical framework (a "pharmacokinetic model"). In contrast to previous approaches, our model allows combining knowledge from different sources appropriately and its predictions were able to adequately predict different sets of clinical data. Finally, we compare the impact of different factors and find that the most important factors are the size of the inhaled particles, the affinity of the drug to the lung tissue, as well as the rate of drug dissolution in the lung. In contrast to the common belief, the solubility of a drug in the lining fluids is not found to be relevant. These findings are important to understand how inhaled drugs should be designed to achieve best treatment results in patients. <br /> The fate of orally inhaled drugs is determined by pulmonary pharmacokinetic processes such as particle deposition, pulmonary drug dissolution, and mucociliary clearance. Even though each single process has been systematically investigated, a quantitative understanding on the interaction of processes remains limited and therefore identifying optimal drug and formulation characteristics for orally inhaled drugs is still challenging. To investigate this complex interplay, the pulmonary processes can be integrated into mathematical models. However, existing modeling attempts considerably simplify these processes or are not systematically evaluated against (clinical) data. In this work, we developed a mathematical framework based on physiologically-structured population equations to integrate all relevant pulmonary processes mechanistically. A tailored numerical resolution strategy was chosen and the mechanistic model was evaluated systematically against data from different clinical studies. Without adapting the mechanistic model or estimating kinetic parameters based on individual study data, the developed model was able to predict simultaneously (i) lung retention profiles of inhaled insoluble particles, (ii) particle size-dependent pharmacokinetics of inhaled monodisperse particles, (iii) pharmacokinetic differences between inhaled fluticasone propionate and budesonide, as well as (iv) pharmacokinetic differences between healthy volunteers and asthmatic patients. Finally, to identify the most impactful optimization criteria for orally inhaled drugs, the developed mechanistic model was applied to investigate the impact of input parameters on both the pulmonary and systemic exposure. Interestingly, the solubility of the inhaled drug did not have any relevant impact on the local and systemic pharmacokinetics. Instead, the pulmonary dissolution rate, the particle size, the tissue affinity, and the systemic clearance were the most impactful potential optimization parameters. In the future, the developed prediction framework should be considered a powerful tool for identifying optimal drug and formulation characteristics.
Informatics as a school subject has been virtually absent from bilingual education programs in German secondary schools. Most bilingual programs in German secondary education started out by focusing on subjects from the field of social sciences. Teachers and bilingual curriculum experts alike have been regarding those as the most suitable subjects for bilingual instruction – largely due to the intercultural perspective that a bilingual approach provides. And though one cannot deny the gain that ensues from an intercultural perspective on subjects such as history or geography, this benefit is certainly not limited to social science subjects. In consequence, bilingual curriculum designers have already begun to include other subjects such as physics or chemistry in bilingual school programs. It only seems a small step to extend this to informatics. This paper will start out by addressing potential benefits of adding informatics to the range of subjects taught as part of English-language bilingual programs in German secondary education. In a second step it will sketch out a methodological (= didactical) model for teaching informatics to German learners through English. It will then provide two items of hands-on and tested teaching material in accordance with this model. The discussion will conclude with a brief outlook on the chances and prerequisites of firmly establishing informatics as part of bilingual school curricula in Germany.