Výskum a open source
Referencie a publikácie
Arperon spája produkčný softvér s aplikovaným výskumom v strojovom učení, počítačovom videní a rigoróznej numerike. Naše výstupy sú open source a citovateľné cez Zenodo.
Aplikované strojové učenie a počítačové videnie
Počítačové videnie
Zero-shot segmentation
GROUT: Geometric Reasoning Over Unstructured Tessellations
Zero-shot sémantická segmentácia mozaikových povrchov
Deep learning model pre detekciu a segmentáciu škárovacích línií v mozaikových obrazoch. GROUT spracováva fotografie dlaždicových povrchov a sémantickou segmentáciou identifikuje a izoluje škárovaciu maltu medzi dlaždicami — aplikácia počítačového videnia v priemyselnej kontrole kvality a analýze stavebných materiálov.
Generatívna AI
ComfyUI · ControlNet
Tilenio & ComfyUI-GROUT
AI platforma pre generatívny dizajn mozaík a tesselácií
Tilenio je AI platforma pre návrh a generovanie mozaikových vzorov a tesselácií kombinujúca difúzne modely, LoRA tréning a ControlNet pipeline. Zahŕňa vlastné ComfyUI uzly (Voronoi, circle packing, HED detekcia hrán), SVG export s milimetrovými jednotkami pre CNC výrobu a integráciu GROUT modelu pre analýzu dizajnu.
Rigorózna numerika · počítačom asistované dôkazy
Séria troch preprintov (2026) o certifikovanom, strojovo overenom výpočte — od dolných hraníc presnosti až po topologické záruky pre segmentáciu. Zdrojový kód a reprodukovateľnosť sú verejné.
Certification Complexity
Vypočítateľná dolná hranica presnosti pre počítačom asistované dôkazy
Práca zavádza rigorózny duál k počítačom asistovaným dôkazom: presnosť, pod ktorou žiadny radii-polynomiálny certifikát nemôže uzavrieť dôkaz. Dokazuje vetu o nemožnosti pre zaokrúhľovaním nafúknuté intervalové Jacobiho matice a oddeľuje vnútorné bariéry od artefaktov reprezentácie — s aplikáciami na Kuramoto–Sivašinského rovnováhy, Lorenzove orbity a van der Polove cykly.
Certifikovaná enumerácia rovinných centrálnych konfigurácií štyroch telies
Problém štyroch telies s tromi rovnakými hmotnosťami
Prvá intervalovou aritmetikou overená enumerácia rovinných centrálnych konfigurácií pre newtonovský problém štyroch telies s hmotnosťami (1,1,1,μ). Naprieč deviatimi hodnotami μ certifikuje presne 38 konfigurácií mimo okna narušenia symetrie a 50 v ňom — novým prínosom je strojovo overený dôkaz úplnosti pomocou Krawczykovej intervalovej Newtonovej metódy typu branch-and-bound nad overenou vyhľadávacou doménou.
INTACT
Korektné najhoršie-prípadové topologické certifikáty pre segmentačné skóre mapy
Metóda na výpočet korektných najhoršie-prípadových topologických záruk pre prahované segmentačné výstupy — certifikuje vlastnosti platné pre každú masku v rámci rozpočtu perturbácie, nielen v priemere. Pásmo ±ε rozdeľuje obraz na isto-popredné jadro, isto-pozadové jadro a možné pásmo. Overené s 0 porušeniami naprieč 16 675 936 kontrolami na reálnych mozaikových a retinálnych cievnych dátach — s prepojením na naše počítačové videnie (GROUT).
Vystúpenia a certifikácie
Medzinárodné vystúpenia
Smart City Expo — Taipei & Jakarta
Smart City Summit & Expo Taipei 2023 (SARIO) · Smart City Expo Jakarta 2024
Arperon sa zúčastnil Smart City Summit & Expo Taipei 2023 v rámci slovenskej delegácie pod záštitou SARIO (Slovenská agentúra pre rozvoj investícií a obchodu) a Smart City Expo Jakarta 2024. Prezentované riešenia zahŕňali zdravotnícke AI platformy a inovatívne dátové riešenia pre smart city ekosystémy v ázijsko-pacifickom regióne.
Odborné certifikácie
Oracle · IBM · U-M · JHU
Odborné certifikácie
Kľúčový člen tímu disponuje rozsiahlym portfóliom odborných certifikácií v oblasti databáz a umelej inteligencie.
Oracle OCA — PL/SQL Developer2009
Oracle OCE — Database SQL Expert2009
Oracle OCA — 11g Administrator2010
Oracle OCP — Advanced PL/SQL2018
IBM Deep Learning Professional Cert.2025
IBM Deep Learning Specialization2025
IBM Deep Learning — PyTorch2025
IBM Deep Learning — Keras & TF2024
AI for Autonomous Vehicles — U-M2025
Data Scientist's Toolbox — JHU2016
Vybrané projekty
Dokončené projekty a spolupráce, ktoré definujú našu expertízu.
Softvér pre manažment pacientov s diabetes mellitus
BizEurope, s.r.o.
Dodanie technickej procesnej dokumentácie popisujúcej algoritmické riešenia vopred zadefinovaných rizík a prognóz a vývojového manuálu pre softvér pre diabetologické ambulancie. Softvér je našou firmou dopracovaný aj s použitím AI a pripravený na použitie, vrátane zdrojového kódu.
Grantový projekt
09I02-03-V03-00417
Slov. inovačná a energetická agentúra
Elektronická platforma a softvér pre mobilnú bezpečnostnú schránku
G Control s. r. o.
Dosiahli sme úspešné riešenie po hardvérovej aj softvérovej stránke, ktoré bolo po otestovaní kompletným podkladom pre výrobu a nasadenie produktu.
Grantový projekt
09I02-03-V03-00574
Slov. inovačná a energetická agentúra
Softvér pre automatizáciu výroby v liehovare
1970, s.r.o.
Vyvinuli a dodali sme softvér na automatické ukladanie a spravovanie dát, na fyzikálno-chemické prepočty vyrobeného liehu a na spravovanie režimu zákazníkov s cieľom maximalizovať efektivitu výroby.
Výroba / Priemysel
Komplexný hotelový PMS softvér Exploritan
Exploritan
Vyvinuli sme komplexnú platformu pre cestovný ruch, ktorá v jednom systéme spája správu hotela, rezervácií, zájazdov, kompletný potápačský modul, prenájom vybavenia, digitálne waivery, ľudské zdroje, fakturáciu, vernostný program a mobilnú aplikáciu pre hostí.
Cestovný ruch / Hotelierstvo