Es wurden 1151 Projekte gefunden

Hochleistungsrechencluster (HPC-Cluster)

Das beantragte leistungsfähige, Cluster-basierte Parallelrechnersystem soll den Bedarf der Paderborner Naturwissenschaften an lokal vorhandener paralleler Rechenleistung bis über das Jahr 2018 hinaus sicherstellen. Obwohl die beteiligten Arbeitsgruppen auch Nutzer an nationalen (Höchstleistungs-) Rechenzentren sind, erfordern viele Aufgaben (z.B. ...

Laufzeit: 01/2015 - 12/2015

GoRETech – Go Runtime Enforcement Techniques

Das Ziel dieses Projekts ist die Entwicklung und Anwendung von Techniken und Werkzeugen zur statischen Analyse und dynamischen Durchsetzung für die hochgradig nebenläufige Programmiersprache Go, mit einem speziellen Fokus auf die Analyse von sicherheitsrelevanten Eigenschaften. Die Sprache Go ist eine moderne Programmiersprache, die nicht nur ...

Laufzeit: 01/2015 - 12/2016

Finding and Demonstrating Undesired Program Behavior (TESTIFY)

In diesem gemeinsamen Projekt mit Andreas Zeller von der Universität des Saarlandes wird versucht, Techniken der statischen Analyse, der Testfallgenerierung und der dynamischen Analyse zu kombinieren. Das Ziel ist es, so viel “interessantes” Laufzeitverhalten von mobilen Applikationen, im besonderen Anroid Malware, wie möglich zu erkennen. Diese ...

Laufzeit: 01/2015 - 12/2018

Emerald Management Simulation - Gestaltung und Evaluation einer prozessorientierten Businesssimulation

Das Projekt „Emerald Management Simulation“ fokussiert die Gestaltung eines computerunterstützen Planspiels, in welchem die Lernenden die betriebswirtschaftlichen Kernprozesse von einem am Markt tätigen Konsumgüterhersteller erlernen. Sie treten kompetitiv gegen andere Planspielgruppen an und erhalten über Marktreaktionen eine direkte Rückmeldung ...

Laufzeit: 01/2015 - 12/2024

EASE: Frühkindliche Semantik: Verbindung früher Sprachentwicklung mit zunehmender Teilhabe an sozialen Ereignissen

Das vorrangige Ziel des Projektes ist es, einen Beitrag zur Theorie des Spracherwerbs zu leisten, der sich des verkörperten und situierten Ansatzes zur Kognition bedient. Seit Jahrzehnten wurde das Feld des Spracherwerbs durch Ansätze dominiert, die die Sprachlernmechanismen hauptsächlich im Geist des Kindes angesiedelt sahen und Sprachlernen unter ...

Laufzeit: 01/2015 - 12/2020

Project image

DUC - Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content

Das Projekt "Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User‐Generated Content" (DUC) versucht durch innovative, technikunterstütze Lernszenarien, die der Diversität von Lerngruppen in universitären Großveranstaltungen Rechnung tragen, Lernbarrieren zu überwinden und die Studierenden dabei zu ...

Laufzeit: 01/2015 - 12/2015

Project image

DUC - Diversity Management in großen Lehrveranstaltungen durch hochschuldidaktisch eingebetteten User-Generated Content

Das Projekt DUC versucht durch innovative, technikunterstütze Lernszenarien, die der Diversität von Lerngruppen in universitären Großveranstaltungen Rechnung tragen, Lernbarrieren zu überwinden und die Studierenden dabei zu unterstützen, ihre Lernprozesse erfolgreich zu gestalten. Dabei sollen sowohl kognitive Kompetenzen hinsichtlich Fachwissen ...

Laufzeit: 01/2015 - 12/2015

Project image

BDE: Big Data Europe

Laufzeit: 01/2015 - 12/2017

Abgeleitet-zahme Algebren und nichtkommutative nodale projektive Kurven

Das Hauptziel dieses Projektes ist die Entwicklung einer systematischen Theorie von nichtkommutativen nodalen projektiven Kurven, ähnlich zur Theorie von gewichteten projektiven Geraden von Geigle und Lenzing. Wir wollen insbesondere klären, wann die abgeleitete Kategorie kohärenter Garben auf einer solchen Kurve ein Kipp-Objekt besitzt und daher ...

Laufzeit: 01/2015 - 12/2019

InnoArchIT: Innovative Hardware und Software Architekturen durch Industrial IT

Innovationsprojekt: Kleiner Chip – großer EffektUnsere Volkswirtschaft setzt auf Hightech-Produkte wie z.B. computerbasierte Maschinensteuerungen. Diese haben meistens nur kurze Produktlebenszyklen und geringe Losgrößen. Daher müssen die Maschinen und automatisierten Anlagen zur Herstellung dieser Produkte immer wieder schnell für neue ...

Laufzeit: 10/2014 - 06/2017

Kontakt: Carlos Paiz Gatica