Institution
Tirol Kliniken
Recent research
- Health & MedicineOpen access
Lipidomics-guided screening of unexplored natural product chemical space provides access to small molecules that globally reprogram cellular lipid profiles. Here, we show that the meroterpenoid cyclosmenospongine from Spongia sp. reshapes immune cell lipidomes, shifting them from...
- Engineering & TechnologyOpen access
EHOX TRL-7 Frozen Baseline — Live Hardware Test Suite 15 August 2026
Formal freeze of EHOX (Hardware-Enforced AI Policy Governance) at TRL-7 (Technology Readiness Level 7, ESA ECSS-E-AS-11C). Contains live test results from Kria KV260 hardware (board serial XFL1HAY5NOFV): CBMC 6.9.0 live verification (198 assertions, 0 failures, 2026-08-15T06:03:2...
- AI & ComputingOpen access
EHOX Weltformel T30-T43 Extension — 43 Theorems Proven (Z3 SMT, v3.0)
Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818826. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...
- Society & EconomicsOpen access
HEPE: Hardware-Enforced Policy Engine — Formal Specification and Verification
Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818830. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...
- AI & ComputingOpen access
EHOX Universal Pitch Deck v3 — Silicon-Level AI Governance for Defence, Aerospace, Medical, Mobility
Updated version of EHOX formal verification and engineering artifact. Creator corrected to Gerhard Hirschmann (EHOX Systems, St. Johann in Tirol, Austria). Original record: 21818828. Hardware: AMD Kria KV260, ARM Cortex-R5F, ZynqMP XCZU5EV. Formal verification: CBMC 198/0, Z3 SMT...