Research AI | Open Access, FAIR, Reproducible

L-algoritmi jiggruppaw skont it-tip ta' data

Matriċi ta' kapaċitajiet li tista' tiskrollja

Ir-rekord jinbena waqt li jseħħ ix-xogħol

Id-dejta, il-kodiċi u s-settings huma elenkati.

Il-pakkett jirriproduċi fuq il-kompjuter tiegħek stess.

Notebooks, skripts, u sistemi ta' informazzjoni tal-laboratorju eżistenti jibqgħu jaħdmu. Dweve jgeżwirhom f'saff ta' deċiżjonijiet deterministiku li jirrekordja kull input, kull regola, u kull firma tal-PI hekk kif tiġi prodotta ċ-ċifra.

Bundel magħluq għal dejta klassifikata jew sensittiva.

Imexxi fuq il-hardware tal-laboratorju tiegħek, on-prem.

Mesh pubbliku operat minn Dweve; il-konfini tal-ipproċessar dokumentat fil-ftehim.

Integra permezz ta' REST jew gRPC kontra wiċċ OpenAPI 3.1 tipizzat. Immaniġġjat permezz ta' Fabric fuq il-Mesh pubbliku ta' Dweve għal proġetti pilota. Liċenzjat għall-cluster tal-laboratorju tiegħek. Air-gapped għal dejta klassifikata. L-istess API, l-istess format ta' trace, l-istess pakketti ta' replay fit-tlieta kollha.

Regola pre-reġistrata applikata lill-outputs.

Iċ-ċelloli jipproduċu outputs mhux ipproċessati.

Inputs irreġistrati qabel ma jibda l-notebook.

Notebooks Jupyter eżistenti, skripts R, u do-files ta' Stata jibqgħu jaħdmu. Dweve jgeżwirhom f'saff ta' deċiżjonijiet deterministiku li jirrekordja kull ċellola, kull regola, u kull firma tal-PI hekk kif tiġi prodotta ċ-ċifra. Il-pakkett ta' replay huwa l-artefatt tal-awditjar. L-inputs jiġu rreġistrati qabel ma jibda l-notebook, iċ-ċelloli jipproduċu l-outputs mhux ipproċessati tagħhom, ir-regola pre-reġistrata tiġi applikata għalihom, u l-PI jiffirma ċ-ċifra finali. In-notebook jibqa' jaħdem, u l-pakkett li jipproduċi huwa dak li jaqra awditur.

Il-PI jiffirma; il-pakkett huwa l-artefatt tal-awditjar.

Komputazzjoni deterministika tmexxi l-analiżi.

Ir-regola u l-verżjoni tal-mudell iffriżati fir-reġistrazzjoni.

Ipoteżi mfassla, irreġistrata qabel it-testijiet.

Il-pre-reġistrazzjoni hija l-fluss tax-xogħol l-aktar imħassar minn analiżi post-hoc. Dweve jiffriża l-ipoteżi, ir-regola, u l-verżjoni tal-mudell fil-ħin tar-reġistrazzjoni. Ir-replay jirrikostitwixxi l-analiżi eżatta li l-PI impenja ruħu għaliha qabel ma ħares lejn id-dejta. Erba' passi jżommuha f'postha: l-ipoteżi tiġi mfassla u rreġistrata qabel ma jitmexxa kwalunkwe test, ir-regola u l-verżjoni tal-mudell jiġu ffriżati fir-reġistrazzjoni, komputazzjoni deterministika tmexxi l-analiżi, u l-PI jiffirma l-pakkett li jirriżulta. Dak il-pakkett huwa dak li jaqra tentattiv ta' replikazzjoni, għalhekk l-analiżi li jirrikostitwixxi hija dik li wieħed impenja ruħu għaliha minn qabel.

Is-saff ta' deċiżjonijiet qatt ma jaqsam konfini ta' fiduċja li jikser ir-regoli tal-GDPR jew tal-etika. L-istess topoloġija tintbagħat fit-tliet pożizzjonijiet kollha.

L-ebda sejħa 'l barra. Endpoint fakultattiv ta' Zenodo biss għall-UE.

Pakki firmati miktuba darba, moqrija ħafna drabi, replika biss fl-UE.

Magni nattivi tal-CPU, l-ebda razzett tal-GPU, l-ebda APIs tal-ML fil-cloud.

TLS jintemm fl-UE, mTLS għas-saff tad-deċiżjoni.

Tliet mudelli operattivi, arkitettura waħda ta' evidenza. Managed Fabric jaħdem fuq il-Mesh pubbliku. L-operat bil-liċenzja jġib prodotti diretti fil-cluster tal-laboratorju tiegħek. L-operat iżolat mill-arja jipproteġi data klassifikata jew sensittiva. Kull mudell iżomm deċiżjonijiet u evidenza fi ħdan il-fruntiera ta' fiduċja ddikjarata tiegħu. L-istess erba' fruntieri huma mfassla f'kull wieħed: ingress li jtemm TLS fl-UE, is-saff tad-deċiżjoni wara l-fruntiera ta' fiduċja, il-ħażna tal-pakketti, u egress li ma jagħmel l-ebda sejħa 'l barra.

Id-determiniżmu huwa ddikjarat fis-suite, mhux imwiegħed fi proża. L-istess oracle imħaddem fuq il-ħardwer tiegħek jipproduċi l-istess tweġiba bħal fuq tagħna.

L-ebda żball ta' tond ma jaqbeż il-limitu tal-unità tal-aħħar post.

Kantunieri u firxiet eżerċitati awtomatikament fil-CI.

Kull riżultat imqabbel ma' referenza ta' preċiżjoni għolja.

Għadd ta' iterazzjonijiet limitat, l-ebda unità b'punt li jvarja.

Kull komputazzjoni numerika fil-mogħdija tal-analiżi hija verifikata kontra MPFR b'preċiżjoni ta' 256-bit. Ir-riżultat ippubblikat huwa 0 ULP, tond korrett madwar id-dominju ta' input iddokumentat, b'testijiet ibbażati fuq proprjetajiet li jsuqu l-kantunieri f'kull rilaxx. Il-limitu huwa ddikjarat fis-suite tat-testijiet f'kull rilaxx aktar milli mwiegħed fi proża, għalhekk l-istess oracle imħaddem fuq il-ħardwer tiegħek jirritorna dak li jirritorna fuq tagħna.

Iċ-ċifra finali tirriproduċi identika bit b'bit.

Regola ta' tindif applikata, pipeline deterministiku.

Kampjuni mhux ipproċessati hashed u ssiġillati mal-intake.

Kull sett ta' data jorbot mal-linja tiegħu lura għas-sors. Sors, mhux ipproċessat, ipproċessat, karatteristiċi, riżultat. Kull pass iffirmat, kull regola b'verżjoni, kull PI msemmi. Ir-replay jirrikostitwixxi ċ-ċifra eżatta snin wara. Erba' passi jagħmlu l-katina: is-sett ta' data sors jasal bl-approvazzjoni etika tiegħu u l-ftehim ta' użu tad-data ffirmat, il-kampjuni mhux ipproċessati huma hashed u ssiġillati mal-intake, regola ta' tindif b'verżjoni taħdem permezz ta' pipeline deterministiku, u ċ-ċifra finali tirriproduċi identika bit b'bit. Minħabba li hija katina aktar milli folder, l-ebda rabta ma tista' tinqata' mill-ġdid mingħajr ma li jmiss juriha.

Managed Fabric, bil-liċenzja fuq il-ħardwer tiegħek, jew iżolat mill-arja.

Speċifikazzjoni OpenAPI 3.1, żbalji ttajpjati (RFC 7807).

L-istess input, l-istess output, kull magna, kull rilaxx.

Kull figura, tabella, u numru f'karta xjentifika jaħdem fuq magna deterministika. Riproduzzjoni eżatta bit għal bit fuq magni u verżjonijiet differenti. L-istess figura fuq il-laptop tal-PI, il-cluster, u l-workstation tar-reviżur. L-ebda drift fil-punt li jvarja, l-ebda arrotondament dipendenti fuq iċ-ċippa. Il-pakkett iġorr id-dejta, il-kodiċi, l-ambjent, il-PI u l-firma, u l-istess erba' proprjetajiet japplikaw fuq Fabric maniġġjat, liċenzjat fuq il-ħardwer tiegħek, jew mingħajr konnessjoni.

M'għandekx bżonn laboratorju tiegħek biex tikkontesta riżultat. Il-pakkett huwa f'lingwaġġ sempliċi u d-dejta, il-kodiċi, u l-PI huma msemmija fil-karta.

Riproduzzjoni indipendenti, ippubblikata.

Irriproduċi l-pakkett fuq il-laptop tiegħek.

Kull riżultat ippubblikat huwa riproduċibbli. L-istess pakkett li ffirma l-PI huwa l-pakkett li tista' tirriproduċi fuq il-ħardwer tiegħek. Jekk ma taqbilx mal-figura, it-triq tar-riproduzzjoni hija fuq il-karta.

Pre-reġistrazzjoni ffriżata, regola mwaħħla.

Figura f'karta m'għadhiex kaxxa sewda. L-ipoteżi, id-dejta, il-kodiċi, u l-PI joqogħdu flimkien mill-mument li taħdem l-analiżi. Jekk ir-reviżur jistaqsi, l-awtur jista' juri għaliex il-figura ħarġet hekk. Erba' mumenti huma fuq ir-reġistru: l-ipoteżi hija mfassla u pre-reġistrata, il-pre-reġistrazzjoni hija ffriżata bir-regola mwaħħla, kompjuters deterministiku jmexxi l-analiżi, u l-karta tasal fil-ġurnal bil-pakkett tagħha.

Meta l-laboratorju tiegħek jaħdem fuq Dweve

Meta l-laboratorju tar-riċerka tiegħek juża Dweve, l-istudju li taqra mhuwiex kaxxa sewda. Huwa marbut ma' DOI, PI msemmi, u pakkett li tista' tirriproduċi fuq il-laptop tiegħek. Jekk tistaqsi għaliex, it-tweġiba hija fuq il-karta. Erba' affarijiet jiġu miegħu: lingwaġġ sempliċi, identifikatur permanenti, investigatur imsemmi, u pakkett li tista' tiftaħ fuq il-kompjuter tiegħek mingħajr ma jkollok bżonn l-istatistika biex taqrah.

Id-dejta tibqa' fil-ġuriżdizzjoni tiegħek. L-istess pjattaforma tiskala minn proġett ta' PhD wieħed għal konsorzju sħiħ ta' ħafna laboratorji mingħajr ma jkollok bżonn tibdel il-pjattaforma.

Pakkeġġ magħluq għal dejta klassifikata jew b'suġġett sensittiv.

Mexxi fuq il-cluster tal-laboratorju tiegħek. L-istess API, l-istess format ta' trace.

Żewġ mistoqsijiet jiddeċiedu l-akkwist: fejn jaħdem, u liema regoli jissodisfa. Jaħdem imġestit permezz ta' Fabric fuq il-Mesh pubbliku ta' Dweve, fuq il-ħardwer tiegħek, jew kompletament air-gapped għal dejta klassifikata. GDPR, FAIR, u l-AI Act tal-UE huma restrizzjonijiet tad-disinn li l-pjattaforma tissodisfa mill-bini.

Ir-rapport tal-finanzjatur, l-awditjar etiku, u r-reviżjoni bejn il-pari kollha jiġbdu minn pakkeġġ wieħed. Sors wieħed ta' verità, tliet udjenzi.

Pakkeġġi arkivjati skont ir-regola ta' żamma tal-finanzjatur.

Ir-rapport tal-finanzjatur jiġbed mill-istess pakkeġġi.

Ix-xogħol jimxi b'pakkeġġi prodotti hekk kif iseħħ.

Pjan ta' ġestjoni tad-dejta ffirmat qabel ma jibda x-xogħol.

L-aġenziji tal-finanzjament u l-bordijiet etiċi dejjem aktar jirrikjedu evidenza ta' riproduċibilità. Dweve jipproduċi l-artefatti li kull qafas jistenna, hekk kif iseħħ ix-xogħol. Ir-rapporti tal-UE Horizon Europe, ERC, NWO, u DFG kollha jiġbdu mill-istess pakkeġġi. Is-sekwenza hija l-istess taħt kull wieħed: pjan ta' ġestjoni tad-dejta jiġi ffirmat qabel ma jibda x-xogħol, il-pakkeġġi jiġu prodotti hekk kif iseħħ ix-xogħol, ir-rapport tal-finanzjatur jiġbed minn dawk il-pakkeġġi, u jiġu arkivjati taħt ir-regola ta' żamma li l-finanzjatur jistabbilixxi. Ir-rapport tal-finanzjatur, l-awditjar etiku, u r-reviżjoni bejn il-pari jispiċċaw bħala tliet qari ta' rekord wieħed aktar milli tliet rikostruzzjonijiet.