Výskum
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.
Problém
Komplexné informácie sa ťažko vyhodnocujú bez kontextu, pôvodu a jasných hraníc dôkazov.
Smer NEXIOMA
Oddelenie výpočtu, verifikácie, experimentu a interpretácie.
Hlavný cieľ
Testovať technické hypotézy reprodukovateľným spôsobom.
Určení partneri
Matematici, výskumníci a hodnotitelia technických vynálezov.
Dôkazy a hranice
Aktuálne dôkazy
- Detailné dôkazy zatiaľ neboli zverejnené.
Čo je overené
- Verejne overené tvrdenia sú obmedzené na uvedený stav a smer.
Čo zostáva neoverené
- Produkčné nasadenie, externé výsledky a nezávislé potvrdenie neboli zverejnené.
Výsledky výskumu automaticky nepreukazujú patentovateľnosť, komerčné overenie ani celosvetovú novosť.
Aktuálna fáza
Aktívny výskum
Ďalšia validačná brána
Definovať ohraničený test, kritériá hodnotenia a nezávislú odbornú kontrolu.
OHRANIČENÁ SPOLUPRÁCA
Prediskutujme ďalší overiteľný krok.
Rozhovor je nezáväzný a nevytvára partnerstvo ani zmluvu.
Začať rozhovorSúvisiace projekty
MONAD Reasoning
Výskum štruktúrovaného uvažovania, ktorý explicitne oddeľuje matematický dôkaz, strojové overenie, experimenty a interpretáciu.
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.