004 Datenverarbeitung; Informatik
Refine
Year of publication
Document Type
- Article (80) (remove)
Language
- English (80) (remove)
Keywords
- Computer Science Education (4)
- Competence Measurement (3)
- Secondary Education (3)
- Big Data (2)
- Competence Modelling (2)
- Computational thinking (2)
- Informatics Education (2)
- Informatics Modelling (2)
- Informatics System Application (2)
- Informatics System Comprehension (2)
- Machine learning (2)
- computational thinking (2)
- knowledge representation and nonmonotonic reasoning (2)
- (FPGA) (1)
- 21st century skills, (1)
- ABRACADABRA (1)
- Achievement (1)
- Activity Theory (1)
- Activity-orientated Learning (1)
- Advanced Video Codec (AVC) (1)
- Animal building (1)
- Arduino (1)
- Assessment (1)
- Augmented and virtual reality (1)
- Austria (1)
- Automated Theorem Proving (1)
- Automatically controlled windows (1)
- Automatisches Beweisen (1)
- Bean (1)
- Bloom’s Taxonomy (1)
- CS concepts (1)
- Capability approach (1)
- Challenges (1)
- Clause Learning (1)
- Cognitive Skills (1)
- Competences (1)
- Competencies (1)
- Computational Thinking (1)
- Computer Science (1)
- Computer Science in Context (1)
- Computing (1)
- Contest (1)
- Contextualisation (1)
- Contradictions (1)
- Convolution (1)
- Curriculum (1)
- Curriculum Development (1)
- Customer ownership (1)
- DPLL (1)
- Data Analysis (1)
- Data Management (1)
- Data Privacy (1)
- Databases (1)
- Defining characteristics of physical computing (1)
- Digital Competence (1)
- Digital Education (1)
- Digital Revolution (1)
- Digital image analysis (1)
- Digitalization (1)
- Dynamic assessment (1)
- Early Literacy (1)
- Educational Standards (1)
- Educational software (1)
- Embedded Systems (1)
- Euclid’s algorithm (1)
- FPGA (1)
- Facebook (1)
- Feature extraction (1)
- Fibonacci numbers (1)
- Field programmable gate arrays (1)
- Finite automata (1)
- Function (1)
- Fundamental Ideas (1)
- Graphensuche (1)
- H.264 (1)
- Hardware accelerator (1)
- Histograms (1)
- ICT Competence (1)
- ICT competencies (1)
- ICT skills (1)
- Image resolution (1)
- Imperative calculi (1)
- Improving classroom (1)
- Inference (1)
- Informatics (1)
- Inquiry-based Learning (1)
- Insurance industry (1)
- Interface design (1)
- Kernel (1)
- Key Competencies (1)
- Klausellernen (1)
- Learners (1)
- Learning Fields (1)
- Learning ecology (1)
- Learning interfaces development (1)
- Learning with ICT (1)
- Lindenmayer systems (1)
- Logarithm (1)
- Loss (1)
- Low Latency (1)
- Lower Secondary Level (1)
- MOOCs (1)
- Machine Learning (1)
- Massive Open Online Courses (1)
- Measurement (1)
- Media in education (1)
- Multi-sided platforms (1)
- Music Technology (1)
- NUI (1)
- Natural Science Education (1)
- Natural ventilation (1)
- NoSQL (1)
- Norway (1)
- Novice programmers (1)
- Optimization (1)
- Pedagogical content knowledge (1)
- Pedagogical issues (1)
- Physical Science (1)
- Plant identification (1)
- Preprocessing (1)
- Problem Solving (1)
- Random access memory (1)
- Recommendations for CS-Curricula in Higher Education (1)
- Region of Interest (1)
- Relevanz (1)
- Reversibility (1)
- SAT (1)
- Scale-invariant feature transform (SIFT) (1)
- Sensors (1)
- Sharing (1)
- Signal processing (1)
- Simulations (1)
- Single event upsets (1)
- Small Private Online Courses (1)
- Social (1)
- Systems of parallel communicating (1)
- Tasks (1)
- Teacher perceptions (1)
- Teachers (1)
- Teaching information security (1)
- Technology proficiency (1)
- Terminology (1)
- Tests (1)
- Theorembeweisen (1)
- Theory (1)
- Type and effect systems (1)
- UX (1)
- Unifikation (1)
- VGG16 (1)
- Value network (1)
- Vocational Education (1)
- Young People (1)
- abstraction (1)
- action and change (1)
- algorithms (1)
- analogical thinking (1)
- answer set programming (1)
- architecture (1)
- automata (1)
- automated planning (1)
- bibliometric analysis (1)
- binary representation (1)
- binary search (1)
- citation analysis (1)
- classroom language (1)
- co-citation analysis (1)
- co-occurrence analysis (1)
- cognitive modifiability (1)
- combined task and motion planning (1)
- competence (1)
- competencies (1)
- competency (1)
- complexity (1)
- comprehension (1)
- computer science education (1)
- computer science teachers (1)
- computer vision (1)
- cs4fn (1)
- curriculum theory (1)
- determinism (1)
- developmental systems (1)
- digitally-enabled pedagogies (1)
- divide and conquer (1)
- e-mentoring (1)
- education (1)
- education and public policy (1)
- educational programming (1)
- educational systems (1)
- edutainment (1)
- environments (1)
- exponentiation (1)
- field-programmable gate array (1)
- formal languages (1)
- fun (1)
- functions (1)
- graph-search (1)
- hardware accelerator (1)
- hardware architecture (1)
- high school (1)
- higher (1)
- image processing (1)
- informal and formal learning (1)
- informatics education (1)
- innovation (1)
- interactive course (1)
- interactive workshop (1)
- key competences in physical computing (1)
- key competencies (1)
- kinaesthetic teaching (1)
- learning (1)
- logic programming methodology and applications (1)
- machine learning (1)
- machine learning algorithms (1)
- manipulation planning (1)
- mediated learning experience (1)
- mobile learning (1)
- mobile technologies and apps (1)
- monitoring (1)
- networks (1)
- online learning (1)
- operating system (1)
- organisational evolution (1)
- paper prototyping (1)
- parallel processing (1)
- parallel rewriting (1)
- parameter (1)
- pedagogy (1)
- personal (1)
- personal response systems (1)
- philosophical foundation of informatics pedagogy (1)
- physical computing tools (1)
- pre-primary level (1)
- predictive models (1)
- preprocessing (1)
- primary education (1)
- primary level (1)
- problem-solving (1)
- professional development (1)
- programming (1)
- programming in context (1)
- real-time (1)
- relevance (1)
- reliability (1)
- restricted parallelism (1)
- secondary computer science education (1)
- secondary education (1)
- self-adaptive multiprocessing system (1)
- self-efficacy (1)
- single event upset (1)
- social media (1)
- solar particle event (1)
- space missions (1)
- student activation (1)
- student experience (1)
- student perceptions (1)
- students’ conceptions (1)
- students’ knowledge (1)
- teacher competencies (1)
- teaching (1)
- teaching informatics in general education (1)
- technical notes and rapid communications (1)
- theorem (1)
- theory (1)
- tools (1)
- tracing (1)
- unification (1)
- user experience (1)
- user-centred (1)
- virtual reality (1)
- ‘unplugged’ computing (1)
Institute
- Institut für Informatik und Computational Science (80) (remove)
We introduce a type and effect system, for an imperative object calculus, which infers sharing possibly introduced by the evaluation of an expression, represented as an equivalence relation among its free variables. This direct representation of sharing effects at the syntactic level allows us to express in a natural way, and to generalize, widely-used notions in literature, notably uniqueness and borrowing. Moreover, the calculus is pure in the sense that reduction is defined on language terms only, since they directly encode store. The advantage of this non-standard execution model with respect to a behaviorally equivalent standard model using a global auxiliary structure is that reachability relations among references are partly encoded by scoping. (C) 2018 Elsevier B.V. All rights reserved.
Computational thinking is a fundamental skill set that is learned
by studying Informatics and ICT. We argue that its core ideas can
be introduced in an inspiring and integrated way to both teachers and
students using fun and contextually rich cs4fn ‘Computer Science for
Fun’ stories combined with ‘unplugged’ activities including games and
magic tricks. We also argue that understanding people is an important
part of computational thinking. Computational thinking can be fun for
everyone when taught in kinaesthetic ways away from technology.
User Experience (UX) describes the holistic experience of a user before, during, and after interaction with a platform, product, or service. UX adds value and attraction to their sole functionality and is therefore highly relevant for firms. The increased interest in UX has produced a vast amount of scholarly research since 1983. The research field is, therefore, complex and scattered. Conducting a bibliometric analysis, we aim at structuring the field quantitatively and rather abstractly. We employed citation analyses, co-citation analyses, and content analyses to evaluate productivity and impact of extant research. We suggest that future research should focus more on business and management related topics.
Current curricular trends require teachers in Baden-
Wuerttemberg (Germany) to integrate Computer Science (CS) into
traditional subjects, such as Physical Science. However, concrete guidelines
are missing. To fill this gap, we outline an approach where a
microcontroller is used to perform and evaluate measurements in the
Physical Science classroom.
Using the open-source Arduino platform, we expect students to acquire
and develop both CS and Physical Science competencies by using a
self-programmed microcontroller. In addition to this combined development
of competencies in Physical Science and CS, the subject matter
will be embedded in suitable contexts and learning environments,
such as weather and climate.
Scientific writing is an important skill for computer science and computer engineering professionals. In this paper we present a writing concept across the curriculum program directed towards scientific writing. The program is built around a hierarchy of learning outcomes. The hierarchy is constructed through analyzing the learning outcomes in relation to competencies that are needed to fulfill them.
A workflow for visualizing server connections using the Google Maps API was built in the jABC. It makes use of three basic services: An XML-based IP address geolocation web service, a command line tool and the Static Maps API. The result of the workflow is an URL leading to an image file of a map, showing server connections between a client and a target host.
Geometric generalization is a fundamental concept in the digital mapping process. An increasing amount of spatial data is provided on the web as well as a range of tools to process it. This jABC workflow is used for the automatic testing of web-based generalization services like mapshaper.org by executing its functionality, overlaying both datasets before and after the transformation and displaying them visually in a .tif file. Mostly Web Services and command line tools are used to build an environment where ESRI shapefiles can be uploaded, processed through a chosen generalization service and finally visualized in Irfanview.
A lot has been published about the competencies needed by
students in the 21st century (Ravenscroft et al., 2012). However, equally
important are the competencies needed by educators in the new era
of digital education. We review the key competencies for educators in
light of the new methods of teaching and learning proposed by Massive
Open Online Courses (MOOCs) and their on-campus counterparts,
Small Private Online Courses (SPOCs).
A survey has been carried out in the Computer Science (CS) department at the University of Baghdad to investigate the attitudes of CS students in a female dominant environment, showing the differences between male and female students in different academic years. We also compare the attitudes of the freshman students of two different cultures (University of Baghdad, Iraq, and the University of Potsdam).
Analyses of metagenomes in life sciences present new opportunities as well as challenges to the scientific community and call for advanced computational methods and workflows. The large amount of data collected from samples via next-generation sequencing (NGS) technologies render manual approaches to sequence comparison and annotation unsuitable. Rather, fast and efficient computational pipelines are needed to provide comprehensive statistics and summaries and enable the researcher to choose appropriate tools for more specific analyses. The workflow presented here builds upon previous pipelines designed for automated clustering and annotation of raw sequence reads obtained from next-generation sequencing technologies such as 454 and Illumina. Employing specialized algorithms, the sequence reads are processed at three different levels. First, raw reads are clustered at high similarity cutoff to yield clusters which can be exported as multifasta files for further analyses. Independently, open reading frames (ORFs) are predicted from raw reads and clustered at two strictness levels to yield sets of non-redundant sequences and ORF families. Furthermore, single ORFs are annotated by performing searches against the Pfam database