← Back to the AI Evidence NetworkPermanent public evidence dossierPRO
DynAMiCs · Dynamical and Arithmetical Model Checking
cordis:101167561Dynamical and Arithmetical Model Checking
Identity extends only as far as the published stable identifier or explicit mapping. Similar names are not merged. Missing links mean not observed in the bounded sources—not absent in reality.
identity ≠ name similarity · edge ≠ causalityEvery direct connection and its proof
The relation label and evidence class describe the entire claim. Open the source record before drawing a broader conclusion.
edge:project-output:101167561:384f02f1e5bf6c2c561cc060Relationshiphas an observed research output
→Research outputOn the Complexity of the Skolem Problem at Low Orders
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:41a1316f5e9fa0319331cdbcRelationshiphas an observed research output
→Research outputOn balance properties of hypercubic billiard words
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:5324a7d8f80ff092f83da5afRelationshiphas an observed research output
→Research outputMultiple Reachability in Linear Dynamical Systems
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:660528a1a4af3a90ddbe0773Relationshiphas an observed research output
→Research outputHausdorff dimension of double‐base expansions and binary shifts with a hole
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:6f70928a2db5fb6cb16987a2Relationshiphas an observed research output
→Research outputOn Expansions of Monadic Second-Order Logic with Dynamical Predicates
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:8c7736a8aa035140ddb744d7Relationshiphas an observed research output
→Research outputDensity of rational languages under shift invariant measures
CORDIS project code
No additional excerpt published.
Open source ↗edge:project-output:101167561:ac274116985aecfc11611b5bRelationshiphas an observed research output
→Research outputComputing transcendence and linear relations of 1-periods
CORDIS project code
No additional excerpt published.
Open source ↗claim:funding:101167561:999990267Relationshipparticipates in
→ActorMAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
CORDIS project code and participant PIC
No additional excerpt published.
Open source ↗Fields retained with this identity
Attributes are descriptive source fields. They do not create cross-dataset identity unless an edge states that join explicitly.
- Acronym
- DynAMiCs
- Code
- 101167561
- End Date
- 2031-04-30
- Framework Programme
- HORIZON
- Funding
- Currency: EUR · German Net Eu Contribution Cents: 463298075 · Participant Edge Count: 1 · Status: linked
- Research
- Citation Data Output Count: 10 · Cited Output Count: 0 · First Publication Date: 2025-01-01 · Last Publication Date: 2026-03-31 · Open Access Output Count: 10 · Output Count: 10 · Status: linked · Total Citations: 0
- Start Date
- 2025-05-01
Inspect the source snapshots
A source snapshot describes what was available at collection time. Corrections and later publications can change future observations.
german-ai-innovation-pathcordis:101167561 · cordis_project_id
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:384f02f1e5bf6c2c561cc060 · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:41a1316f5e9fa0319331cdbc · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:5324a7d8f80ff092f83da5af · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:660528a1a4af3a90ddbe0773 · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:6f70928a2db5fb6cb16987a2 · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:8c7736a8aa035140ddb744d7 · cordis_project_code
↗Open original sourcegerman-ai-research-to-transfer-index101167561:output:ac274116985aecfc11611b5b · cordis_project_code
↗Open original sourcegerman-ai-innovation-pathcordis:101167561:participant:999990267 · cordis_project_code_and_participant_pic
↗Open original sourceReturn to the full evidence network
Search every published entity, inspect one-hop neighbourhoods and find the bridges public data still cannot support.