VýskumVÝSKUM / PRODUKTOVÝ SMER
MONAD Reasoning
Výskum štruktúrovaného uvažovania, ktorý explicitne oddeľuje matematický dôkaz, strojové overenie, experimenty a interpretáciu.
VÝSKUM
Výskum s oddelenou hypotézou, experimentom a výsledkom.
Výskumné smery NEXIOMA uvádzame bez automatických tvrdení o patentovateľnosti, komerčnom overení alebo produkčnom nasadení.
VÝSKUMNÉ PORTFÓLIO
Kontrolovateľné otázky a explicitné hranice.
VýskumAKTÍVNY VÝSKUM / HODNOTENIE TECHNICKÉHO VYNÁLEZU
IBPF / JCO Research
Matematický a výpočtový výskumný program využívajúci exaktné výpočty, strojové overovanie, falzifikovateľné experimenty a explicitné reportovanie negatívnych výsledkov.
VýskumEXPERIMENT
MONAD Sphere Agent Experiment
Experimentálny výskum priestorových vzťahov, susedských štruktúr, koordinovaných zmien stavov a správania na úrovni systému.
VýskumVÝSKUM / HISTORICKÝ KONTEXT EXPERIMENTOV
GIDR / Trust Experiments
Syntetické experimenty dôvery a credentials podporujúce súčasný wallet-first, ohraničený a súkromie chrániaci smer.
VýskumINTERAKTÍVNY PROTOTYP / VÝSKUMNÝ EXPERIMENT
NEXIOMA Planetary Citizenship Attestation Explorer
Interaktívny vzdelávací a výskumný prototyp na skúmanie časovo obmedzených attestation workflowov, vrstiev dôvery a rozpočtu zverejnenia.
VýskumINTERNÝ VÝSKUMNÝ SMER
NEXIOMA Edge and Local Infrastructure Research
Kontrolované experimentovanie s lokálnymi modelmi, izolovaným výpočtom, edge zariadeniami, monitorovaním a orchestráciou.
VýskumPROTOTYP / VÝSKUMNÝ NÁSTROJ
MONAD GRAPHi-X
Interaktívny smer vedeckej vizualizácie a sonifikácie na skúmanie štruktúrovaných a viacrozmerných dát pomocou dynamických geometrických modelov a synchronizovaného zvuku.