Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 3
Podatkovni tipi kot začetne algebre in končne koalgebre
Boštjan Gec, Alex Simpson
Diplomsko delo
Oznake: matematika;Haskell;rekurzivni podatkovni tip;teorija kategorij;začetna algebra;
V delu dokažemo, da podatkovna tipa končnih seznamov in končnih binarnih dreves s celimi števili na listih ustrezata definiciji začetne algebre. Vidimo, da lahko v Haskellu enostavno definiramo sezname in drevesa, kakor tudi z njimi povezane funktorje in celo ključno preslikavo, ki nastopa v dokazu ...
Leto: 2018 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Odkrivanje enačb za celoštevilska zaporedja z verjetnostnimi gramatikami
Boštjan Gec, Ljupčo Todorovski
Magistrsko delo
Oznake: odkrivanje enačb;simbolna regresija;strojno učenje;verjetnostne kontekstno-neodvisne gramatike;večtipski procesi razvejanja;
Algoritmi za odkrivanje enačb, ki uporabljajo verjetnostne gramatike, delujejo tako, da najprej vzorčijo strukture izrazov iz gramatike in nato na podlagi teh poiščejo enačbe, ki se najbolj prilegajo vhodnim podatkom. Strukture izrazov vzorčijo na podlagi verjetnosti, ki jih določa verjetnostna gram ...
Leto: 2021 Vir: Fakulteta za matematiko in fiziko (UL FMF)
3rd International Conference on Multiscale Computational Methods for Solids and Fluids, September 20-22, 2017, Ljubljana, Slovenia
Adnan Ibrahimbegović, Adnan Ibrahimbegović, Boštjan Brank, Boštjan Brank, Ivica Kožar, Ivica Kožar, Miha Boltežar, Miha Brojan, Leon Cizelj, Jože Korelc, George Mejak, Zoran Ren, Božidar Šarler, Vlado Stankovski, Leopold Škerget, Polonca Štefanič, Andjelka Stanić, Marko Lavrenčič, Sandi Gec, Uroš Paščinski
Zbornik recenziranih znanstvenih prispevkov na mednarodni ali tuji konferenci
Oznake: heterogeneous materials;masonry structures;complex structures;material and structure failures;adaptive modeling;mechanics of porous media;fluid-structure interaction;multi-phase flows;turbulence;wave propagation;stohastic processes;uncertainty propagation;case studies;
ECCOMAS MSF 2017 is the third in series of International Conferences that allow very fruitful exchange of ideas between the members of two scientific communities, Mechanics of Solids and Mechanics of Fluids. Both of these communities evolve under umbrella of two very active associations, ECCOMAS: Eu ...
Leto: 2017 Vir: Fakulteta za gradbeništvo in geodezijo (UL FGG)
Št. zadetkov: 3
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: