Entdecken | netidee

intro

Ich möchte
aus dem suchen

Einzelne Suchbegriffe mit Leerzeichen trennen (ODER-Verknüpfung). Für das Suchen nach exakten Phrasen bitte erweiterte Suche verwenden.

392 Suchergebnisse

erweiterte Suche

Netidee Blog Bild

Quality and consumption of user-generated content for academic learning purposes: Diesen Monat habe ich meine Fachprüfung zum Thema Wissensmanagement abgelegt.

(30.11.2019)
Fachprüfung geschafft!

Estland ist ein Vorreiter in der Digitalisierung des öffentlichen Lebens. Die Tallinn Declaration zum e-government vom Oktober 2017 stellt einen Höhepunkt der estnischen EU-Ratspräsidentschaft dar.

Das Konzept der e-residency

Bisherige Konzepte einer digitalen Identität basieren auf der zentralen Speicherung und Kontrolle von Daten. Die souveräne Identität ist ein dezentrales Gegenmodell dazu, bei dem nur ein Individuum selbst seine digitale Identität erstellen kann.

SovereignID

Netidee Blog Bild

combinary: We show how combinary maps the different elements to one unified entity

(22.11.2019)
Comparison of media sources for Combinary

Ziel des Projekts SoniTalk ist es ein quelloffenes, transparentes und vollständig Privatsphäre-orientiertes Protokoll für Ultraschallkommunikation zu entwickeln.

SoniTalk

Own, analyze and distribute your Social Media Data

combinary

Es ist wieder soweit: unter allen Einreichungen wurden vom netidee Förderbeirat die besten Projekte und Abschlussarbeiten ausgewählt! Diese werden im Rahmen des best-of Events der Öffentlichkeit vorgestellt.

netidee best of 2019

SEPSES: Semantics 2019 Trip Report

(29.10.2019)
Report from the Semantics 2019 Conference

dustmap: Zusammen mit dem mobilen Dustmap-Sensor erlaubt die App Messung der Feinstaubkonzentration unterwegs.

(30.08.2019)
Die App zum Feinstaub!

Die dustmap ermöglicht eine einfache und kostengünstige Messung von Feinstaub in der Atemluft und weiteren Umweltfaktoren wie zum Beispiel NOx und Lärm.

dustmap

Du hast heuer eine netidee Förderung erhalten? Dann nimm teil am netidee Open Source Community Camp und profitiere von starken Coaches und Mentor_innen, die euer Projekt auf das nächste Level bringen. Eingeladen sind alle neuen netidee Geförderten (2...

Open Source Community Camp 2019

Netidee Blog Bild

SovereignID: Das bisher erfolgreichste dezentrale Social Micro Blogging Netzwerk - Mastodon - wird von uns mit DID Funktionen ausgestattet.

(13.10.2019)
Projekt SovereignID ist beendet - aber unsere Arbeit geht weiter

SoniTalk: On October the 1st, the federal state of Lower Austria was awarding prizes to outstanding innovative projects made in Lower Austria.

(06.10.2019)
SoniTalk Innovationspreis 2019

SecPatts sollen WebentwicklerInnen sowie WebdesignerInnen dabei unterstützen ihre Webpages von Beginn an sicher zu gestalten. Sie zielen auf einfachen Zugang und ein niedriges Einstiegsniveau ab.

SecPatt

Das Projekt BlockNinjas hat das Ziel, Transaktionen der Bitcoin Blockchain zu analysieren und Strukturen mit Hilfe von Deep Learning zu erkennen und ähnliche zu finden. Die Methodik soll danach auch auf andere virtuelle Währungen angewendet werden.

BlockNinjas

Kinder werken

digit4under6 unterstützt ElementarpädagogInnen dabei, Medienbildung in ihre Arbeit zu integrieren und die Kinder im Kindergartenalter auf spielerische Weise an einen verantwortungsvollen und selbstbestimmten Umgang mit Medien heranzuführen.

digi4under6

Die Kryptowährung Ethereum erlaubt Nutzern neben der Tätigung von Finanztransaktionen auch die Ausführung beliebiger Programme - so genannter smart contracts (ESC). Da ESC Finanzflüsse steuern, können Programmfehler schnell zu hohen Verlusten führen.

EtherTrust

Das Vallet (Voucher-Wallet) nutzt moderne Blockchain-Systeme um sicher, schnell und fälschungssicher Gutscheine, in Form von generierten Tokens, einfach in bestehende Prozesse von Unternehmen zu integrieren.

Vallet

Daten in der Cloud speichern ist praktisch, aber gefährlich. Die Daten liegen in der Welt verstreut, wer darauf tatsächlich Zugriff hat, weiß niemand. Verschlüsselt man die Daten, geht Funktionalität verloren, insbesondere die Durchsuchbarkeit.

Searchitect

Open Sheet Music Display - Encore: Bei Projekten wie Open Sheet Music Display ist es oft so, dass Open-Source-Enthusiasten gerne hinter den Projekten stehen, sie mit entwickeln und sogar ihre eigenen Ideen mit ihnen ausbauen.

(04.09.2019)
Jetzt online: OSMD Showcases

Open Sheet Music Display - Encore: Neben vielen anderen neuen Funktionen hat OSMD für diese Version zwei Hauptfunktionen hinzugefügt. Zum einen folgt der Cursor nun den Takten. Zum anderen können nun ausgewählte Takte dargestellt werden.

(04.09.2019)
OSMD 0.7.1. Mit brandneuen Features!

EtherTrust: Das Netidee-Projekt EtherTrust geht dem Ende zu. In diesem Beitrag berichten wir, wie es jetzt weitergeht.

(03.09.2019)
Tschüss!

EtherTrust: In diesem Beitrag wollen wir euch die Website vorstellen, über die ihr EtherTrust ab jetzt online ausprobieren könnt!

(03.09.2019)
EtherTrust goes online

EtherTrust: Um EtherTrust als einverlässliches Tool zu implementieren, haben wir sein Design grundlegend geändert. In diesem Beitrag geben wir einen Überblick über dieses neue Design.

(03.09.2019)
HoRSt

Vallet: Durch den Einsatz des sog. "Burner Wallet" in Kombination mit dem Stable Coin "Dai" ergeben sich neue Möglichkeiten bei Peer-to-Peer Bezahlvorgängen. Diese Erkenntnisse gilt es nun bei unserer dezentralen Getränkekassa "Vallet" zu nutzen.

(02.09.2019)
Ausblick auf Minerva Cash

Vallet: Um diese Punkte zu berücksichtigen hat sich die Fertigstellung der App etwas verzögert. Die Überarbeitung hat deutliche Verbesserungen der Usability gebracht und die vorangingen praktischen Probleme ausgeräumt können. So wurde auch noch eine ...

(02.09.2019)
Final Release für Android & iOS

EtherTrust: Um die Probleme zu lösen, die wir beim Erstellen des Prototypen von EtherTrust entdeckt haben, haben wir uns entschlossen EtherTrust neu zu designen. Kernstück dieses neuen Designs ist die Spezifikationssprache HoRSt.

(02.09.2019)
Ein neues Design für EtherTrust

EtherTrust: EtherTrust analysiert Smart Contracts, indem es ihr Ausführungsverhalten in einer logischen Form kodiert, die von einem SMT-Solver verarbeitet werden kann. Dabei müssen jedoch Abstraktionen des Ausführungsverhaltens vorgenommen werden, da...

(30.08.2019)
Wie wir unsere Semantik "abstrakter" machen

EtherTrust: Um die Praktikabilität unseres Ansatzes zu evaluieren implementieren wir einen ersten Prototyp von EtherTrust. Hier beschreiben wir, wie dieser aufgebaut ist.

(30.08.2019)
Erster Prototyp

EtherTrust: Beim Erstellen eines ersten Prototyps für EtherTrust sind uns einige Probleme aufgefallen, deren Lösung eine größere Änderung im Design unseres Tools bedarf.

(30.08.2019)
Die Tücken des Prototyps

EtherTrust: EtherTrust beweist allgemeine Sicherheitseigenschaften von Smart Contracts. Um das zu ermöglichen müssen diese Sicherheitseigenschaften aber passend formuliert sein, um sie mit unserer Analyse ausdrücken zu können. Hier zeigen wir, wie ma...

(30.08.2019)
Abstrakte Sicherheitseigenschaften

EtherTrust: EtherTrust analysiert Smart Contracts, in dem es das Ausführungsverhalten von Verträgen in einer logischen Form - sogenannten Horn clauses - beschreibt. Hier beschreiben wir, wie man aus der formalen Semantik von Ethereum Smart Contracts ...

(30.08.2019)
Von der Semantik zu Horn Clauses