Arperon s.r.o. 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 prispievajú ku komunite a sú open source a citovateľné cez Zenodo.
A Multi-Fidelity, Configurable-Semantics Reasoning Runtime for Multi-Actor Event Systems
TENSA je temporálny hypergrafový neuro-symbolický reasoning runtime pre systémy s viacerými aktérmi a udalosťami. Kombinuje symbolické grafové uvažovanie s neurálnou (LLM-based) inferenciou nad hypergrafom s konfigurovateľnou sémantikou, ktorý zachytáva entity, situácie, participácie a kauzálne väzby v čase — s atribúciou per zdroj, detekciou rozporov a viacúrovňovou analýzou reálnych prípadov, vyšetrovaní a komplexných udalostí.
ThrustCore je komplexná zdravotnícka AI platforma postavená na štandarde HL7 FHIR R4, určená pre indonézsky trh v súlade s mandátom SATUSEHAT. Zahŕňa správu fyziorehabilitačných radov, SMART on FHIR autentifikáciu, React Native mobilnú aplikáciu pre pacientov, MCP server integráciu a billing modul. Platforma je vyvíjaná v spolupráci s indonézskymi zdravotníckymi inštitúciami.
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 pomocou sémantickej segmentácie identifikuje a izoluje škárovaciu maltu medzi dlaždicami — kľúčová aplikácia počítačového videnia v priemyselnej kontrole kvality a analýze stavebných materiálov.
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 pre mozaikovú a tesselačnú generáciu (Voronoi, circle packing, HED detekcia hrán), SVG export s podporou milimetrových jednotiek pre CNC výrobu a integráciu GROUT modelu pre analýzu dizajnu.
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é.
Preprint · 2026dolná hranica presnosti
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.
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, čím charakterizuje všetky dosiahnuteľné masky ako intervalovú mriežku. Overené s 0 porušeniami naprieč 16 675 936 kontrolami na reálnych mozaikových a retinálnych cievnych dátach — priame prepojenie na naše počítačové videnie (GROUT).
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ácieOracle · 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é projektyDokonč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ý projekt09I02-03-V03-00417Slov. 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ý projekt09I02-03-V03-00574Slov. 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í.