004 Datenverarbeitung; Informatik
Refine
Document Type
- Article (43) (remove)
Language
- English (43) (remove)
Is part of the Bibliography
- yes (43) (remove)
Keywords
- Machine learning (2)
- knowledge representation and nonmonotonic reasoning (2)
- (FPGA) (1)
- Advanced Video Codec (AVC) (1)
- Animal building (1)
- Assessment (1)
- Augmented and virtual reality (1)
- Automatically controlled windows (1)
- Bean (1)
- Convolution (1)
- Customer ownership (1)
- Defining characteristics of physical computing (1)
- Digital image analysis (1)
- Digitalization (1)
- FPGA (1)
- Feature extraction (1)
- Field programmable gate arrays (1)
- Finite automata (1)
- H.264 (1)
- Hardware accelerator (1)
- Histograms (1)
- Image resolution (1)
- Imperative calculi (1)
- Improving classroom (1)
- Inference (1)
- Insurance industry (1)
- Interface design (1)
- Kernel (1)
- Lindenmayer systems (1)
- Loss (1)
- Low Latency (1)
- Machine Learning (1)
- Media in education (1)
- Multi-sided platforms (1)
- NUI (1)
- Natural ventilation (1)
- Optimization (1)
- Pedagogical issues (1)
- Plant identification (1)
- Random access memory (1)
- Region of Interest (1)
- Reversibility (1)
- Scale-invariant feature transform (SIFT) (1)
- Sharing (1)
- Signal processing (1)
- Simulations (1)
- Single event upsets (1)
- Systems of parallel communicating (1)
- Type and effect systems (1)
- UX (1)
- VGG16 (1)
- Value network (1)
- action and change (1)
- algorithms (1)
- answer set programming (1)
- architecture (1)
- automata (1)
- automated planning (1)
- bibliometric analysis (1)
- citation analysis (1)
- co-citation analysis (1)
- co-occurrence analysis (1)
- combined task and motion planning (1)
- computational thinking (1)
- computer vision (1)
- determinism (1)
- developmental systems (1)
- digitally-enabled pedagogies (1)
- educational systems (1)
- field-programmable gate array (1)
- formal languages (1)
- functions (1)
- hardware accelerator (1)
- hardware architecture (1)
- image processing (1)
- informal and formal learning (1)
- key competences in physical computing (1)
- logic programming methodology and applications (1)
- machine learning (1)
- machine learning algorithms (1)
- manipulation planning (1)
- mobile learning (1)
- mobile technologies and apps (1)
- monitoring (1)
- online learning (1)
- organisational evolution (1)
- paper prototyping (1)
- parallel processing (1)
- parallel rewriting (1)
- physical computing tools (1)
- predictive models (1)
- real-time (1)
- reliability (1)
- restricted parallelism (1)
- self-adaptive multiprocessing system (1)
- single event upset (1)
- solar particle event (1)
- space missions (1)
- teaching (1)
- technical notes and rapid communications (1)
- theory (1)
- user experience (1)
Institute
- Institut für Informatik und Computational Science (43) (remove)
Solving problems combining task and motion planning requires searching across a symbolic search space and a geometric search space. Because of the semantic gap between symbolic and geometric representations, symbolic sequences of actions are not guaranteed to be geometrically feasible. This compels us to search in the combined search space, in which frequent backtracks between symbolic and geometric levels make the search inefficient.We address this problem by guiding symbolic search with rich information extracted from the geometric level through culprit detection mechanisms.
In this project I constructed a workflow that takes a DNA sequence as input and provides a phylogenetic tree, consisting of the input sequence and other sequences which were found during a database search. In this phylogenetic tree the sequences are arranged depending on similarities. In bioinformatics, constructing phylogenetic trees is often used to explore the evolutionary relationships of genes or organisms and to understand the mechanisms of evolution itself.
Spotlocator is a game wherein people have to guess the spots of where photos were taken. The photos of a defined area for each game are from panoramio.com. They are published at http://spotlocator. drupalgardens.com with an ID. Everyone can guess the photo spots by sending a special tweet via Twitter that contains the hashtag #spotlocator, the guessed coordinates and the ID of the photo. An evaluation is published for all tweets. The players are informed about the distance to the real photo spots and the positions are shown on a map.
Exploratory Data Analysis
(2014)
In bioinformatics the term exploratory data analysis refers to different methods to get an overview of large biological data sets. Hence, it helps to create a framework for further analysis and hypothesis testing. The workflow facilitates this first important step of the data analysis created by high-throughput technologies. The results are different plots showing the structure of the measurements. The goal of the workflow is the automatization of the exploratory data analysis, but also the flexibility should be guaranteed. The basic tool is the free software R.
The protein classification workflow described in this report enables users to get information about a novel protein sequence automatically. The information is derived by different bioinformatic analysis tools which calculate or predict features of a protein sequence. Also, databases are used to compare the novel sequence with known proteins.
Lessons Learned
(2014)
This chapter summarizes the experience and the lessons we learned concerning the application of the jABC as a framework for design and execution of scientific workflows. It reports experiences from the domain modeling (especially service integration) and workflow design phases and evaluates the resulting models statistically with respect to the SIB library and hierarchy levels.
The Course's SIB Libraries
(2014)
This chapter gives a detailed description of the service framework underlying all the example projects that form the foundation of this book. It describes the different SIB libraries that we made available for the course “Process modeling in the natural sciences” to provide the functionality that was required for the envisaged applications. The students used these SIB libraries to realize their projects.
A major part of the scientific experiments that are carried out today requires thorough computational support. While database and algorithm providers face the problem of bundling resources to create and sustain powerful computation nodes, the users have to deal with combining sets of (remote) services into specific data analysis and transformation processes. Today’s attention to “big data” amplifies the issues of size, heterogeneity, and process-level diversity/integration. In the last decade, especially workflow-based approaches to deal with these processes have enjoyed great popularity. This book concerns a particularly agile and model-driven approach to manage scientific workflows that is based on the XMDD paradigm. In this chapter we explain the scope and purpose of the book, briefly describe the concepts and technologies of the XMDD paradigm, explain the principal differences to related approaches, and outline the structure of the book.
We summarize here the main characteristics and features of the jABC framework, used in the case studies as a graphical tool for modeling scientific processes and workflows. As a comprehensive environment for service-oriented modeling and design according to the XMDD (eXtreme Model-Driven Design) paradigm, the jABC offers much more than the pure modeling capability. Associated technologies and plugins provide in fact means for a rich variety of supporting functionality, such as remote service integration, taxonomical service classification, model execution, model verification, model synthesis, and model compilation. We describe here in short both the essential jABC features and the service integration philosophy followed in the environment. In our work over the last years we have seen that this kind of service definition and provisioning platform has the potential to become a core technology in interdisciplinary service orchestration and technology transfer: Domain experts, like scientists not specially trained in computer science, directly define complex service orchestrations as process models and use efficient and complex domain-specific tools in a simple and intuitive way.