Projekt starten

← Zurück zum KI-EvidenznetzDauerhaftes öffentliches Evidenzdossier

TaRDIS · Trustworthy and Resilient Decentralised Intelligence for Edge Systems

cordis:101093006

Trustworthy and Resilient Decentralised Intelligence for Edge Systems

Entitätstyp · ProjektÖffentliches Dossier · indexierbar01. Okt. 2026, 10:35

Identität reicht nur so weit wie die veröffentlichte stabile Kennung oder ausdrückliche Zuordnung. Ähnliche Namen werden nicht zusammengeführt. Fehlende Verbindungen bedeuten: in den begrenzten Quellen nicht beobachtet – nicht in Wirklichkeit abwesend.

Identität ≠ Namensähnlichkeit · Kante ≠ Kausalität

17direkte belegte Verbindungen

17Kanten mit exakter Kennung

18referenzierte Quellstände

7veröffentlichte Attribute

EIN-HOP-EVIDENZ

Jede direkte Verbindung mit ihrem Beleg

Beziehungsbezeichnung und Evidenzklasse beschreiben die gesamte Aussage. Prüf den Quellbeleg, bevor du eine weitergehende Schlussfolgerung ziehst.

Exakte Kennungedge:project-output:101093006:16461ede17b217bb5c92c975

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputParameterized Complexity of Caching in Networks

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:2a49acd58b6439a2e28dc42d

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputEncoding choice and replication in roll-π

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:3c6c40c2afb77c995ca69b55

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputType Congruence, Duality and Iso-Recursive Binary Session Types

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:4d0027974ea7be1a762bb08d

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputGrading Call-By-Push-Value, Explicitly and Implicitly.

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:4f7e06583ec034fae107ebee

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputEnsuring Convergence and Invariants Without Coordination (Artifact).

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:659e898d55c4900a3816bfb2

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputHow to Save My Gas Fees: Understanding and Detecting Real-World Gas Issues in Solidity Programs

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:854301fc01104b0112f236a9

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputParameterized Complexity of Caching in Networks

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:914538fa15679e44a920bdda

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputEnsuring Convergence and Invariants Without Coordination.

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:984f8a94ebe0474adc7c2a7b

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputUnreliability in Practical Subclasses of Communicating Systems

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:9aa2b32dff6ace0e45559fea

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputCheckpoint-based rollback recovery in session programming

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:a0f1366564f712b4b93197ed

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputFormalising Subject Reduction and Progress for Multiparty Session Processes.

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:a4cc667d55de5feb8bd59a35

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputFine-Tuning LLMs for Croatian Text Retrieval

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:bf89122d7585d2cb380b2b1d

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputCrash-Stop Failures in Asynchronous Multiparty Session Types

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:d65668e4430fd1c2e4dcb9e3

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputCorrect orchestration of federated learning generic algorithms: Python translation to CSP and verification by PAT

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:d7a78f9ec06db2b45028a268

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputReDunT: Automatically Deriving Redundancy Relations for Pure Op-Based CRDTs

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungedge:project-output:101093006:e92f2596749cd8a477598d83

Beziehunghat beobachteten Forschungsoutput

ForschungsoutputTowards Local-First Distributed Property Graphs

CORDIS-Projektcode

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

Exakte Kennungclaim:funding:101093006:912999891

Beziehungnimmt teil an

AkteurACTYX AG

CORDIS-Projektcode und Teilnehmer-PIC

Kein zusätzlicher Textauszug veröffentlicht.

Quelle öffnen ↗

VERÖFFENTLICHTE ATTRIBUTE

Felder, die an dieser Identität bleiben

Attribute sind beschreibende Quellfelder. Sie erzeugen keine datensatzübergreifende Identität, solange eine Kante diesen Join nicht ausdrücklich ausweist.

Acronym: TaRDIS
Code: 101093006
End Date: 2026-03-31
Framework Programme: HORIZON
Funding: Currency: EUR · German Net Eu Contribution Cents: 70356125 · Participant Edge Count: 1 · Status: linked
Research: Citation Data Output Count: 89 · Cited Output Count: 37 · First Publication Date: 2022-01-01 · Last Publication Date: 2025-09-25 · Open Access Output Count: 85 · Output Count: 89 · Status: linked · Total Citations: 132
Start Date: 2023-01-01

PROVENIENZ

Prüf die Quellstände

Ein Quellstand beschreibt, was zum Abrufzeitpunkt verfügbar war. Korrekturen und spätere Veröffentlichungen können künftige Beobachtungen verändern.

01

german-ai-innovation-pathcordis:101093006 · cordis_project_id

02

german-ai-research-to-transfer-index101093006:output:16461ede17b217bb5c92c975 · cordis_project_code

03

german-ai-research-to-transfer-index101093006:output:2a49acd58b6439a2e28dc42d · cordis_project_code

04

german-ai-research-to-transfer-index101093006:output:3c6c40c2afb77c995ca69b55 · cordis_project_code

05

german-ai-research-to-transfer-index101093006:output:4d0027974ea7be1a762bb08d · cordis_project_code

06

german-ai-research-to-transfer-index101093006:output:4f7e06583ec034fae107ebee · cordis_project_code

07

german-ai-research-to-transfer-index101093006:output:659e898d55c4900a3816bfb2 · cordis_project_code

08

german-ai-research-to-transfer-index101093006:output:854301fc01104b0112f236a9 · cordis_project_code

09

german-ai-research-to-transfer-index101093006:output:914538fa15679e44a920bdda · cordis_project_code

10

german-ai-research-to-transfer-index101093006:output:984f8a94ebe0474adc7c2a7b · cordis_project_code

11

german-ai-research-to-transfer-index101093006:output:9aa2b32dff6ace0e45559fea · cordis_project_code

12

german-ai-research-to-transfer-index101093006:output:a0f1366564f712b4b93197ed · cordis_project_code

13

german-ai-research-to-transfer-index101093006:output:a4cc667d55de5feb8bd59a35 · cordis_project_code

14

german-ai-research-to-transfer-index101093006:output:bf89122d7585d2cb380b2b1d · cordis_project_code

15

german-ai-research-to-transfer-index101093006:output:d65668e4430fd1c2e4dcb9e3 · cordis_project_code

16

german-ai-research-to-transfer-index101093006:output:d7a78f9ec06db2b45028a268 · cordis_project_code

17

german-ai-research-to-transfer-index101093006:output:e92f2596749cd8a477598d83 · cordis_project_code

18

german-ai-innovation-pathcordis:101093006:participant:912999891 · cordis_project_code_and_participant_pic

Zurück ins vollständige Evidenznetz

Durchsuch alle veröffentlichten Entitäten, prüf Ein-Hop-Nachbarschaften und finde die Brücken, die öffentliche Daten noch nicht tragen.

Evidenznetz öffnen Alle Tools ansehen

Das passt dazu

Nächste sinnvolle Schritte

Diese Tools passen thematisch dazu.

Alle Tools ansehen

IndexKI-WirkungsketteVerfolge öffentliche KI-Förderung von Projekten und Organisationen zu gemeldeten Outputs und Zitationen. Jede Verbindung bleibt quellenbelegt; Patente und Vergaben erscheinen nur bei exakten Kennungsbrücken.Provenienz-CheckKI-Systempass der VerwaltungSieh für jedes veröffentlichte Verwaltungs-KI-System, welche öffentlichen Daten sich über stabile Kennungen oder exakt angegebene Repository-URLs verbinden lassen – mit Quellen pro Kante und sichtbaren Beleggrenzen.IndexÖffentliche KI-AkteureDurchsuch Organisationen aus Förderung, Forschung, Vergaben, Einfluss und Infrastruktur. Jede Rolle bleibt an ihrer Quelle belegt; gleichlautende Namen werden nur zur Prüfung vorgemerkt.