Quantcast
Channel: Stránky - FIT ČVUT
Viewing all 555 articles
Browse latest View live

Výzkumná laboratoř s firmou UNICO.AI

$
0
0

Výzkumná laboratoř s firmou UNICO.AI (UNICOLab) se zaměřuje na zpracování velkých dat z veřejných zdrojů. Oblastmi výzkumu je data mining, datové sklady či doporučovací systémy. Studenti se mohou v těchto oblastech zapojit do výzkumu či do řešení praktických úloh. Skupinu vede Ing. Stanislav Kuznetsov.

O laboratoři

Laboratoř provozuje fakulta ve spolupráci se společností UNICO.AI. Hlavní činností této společnosti je propojování akademické sféry s průmyslem pomocí nástrojů umělé inteligence a konzultačních služeb.

Výzkumná činnost

Laboratoř je zaměřená na zpracování velkých dat z veřejných zdrojů. Ve výzkumu se využívají algoritmy data miningu a best practise z oborů datových skladů pro pokročilé čištění dat. Na základě dat vyvíjí doporučovací systémy založené na ontologiích a ostatních přístupech. Výzkum je veden jak na teoretické, tak na praktické úrovni.

Pedagogická činnost

Laboratoř nabízí studentům příležitost se zapojit jak do výzkumné činnosti společnosti, tak také do řešení praktických úloh. Tím je umožněno studentům nahlédnout z blízka na potřeby trhu. Laboratoř se podílí na výuce v předmětu Podnikové datové sklady (MI-EDW.16).

Kontakt

Výzkumnou laboratoř s firmou UNICO.AI vede Ing. Stanislav Kuznetsov. Laboratoř sídlí ve 3. patře Nové budovy ČVUT a spadá pod Katedru aplikované matematiky.

Nobody – profile

Ing. Stanislav Kuznetsov

Vedoucí Laboratoře s firmou UNICO.AI

Projektant a analytik na Oddělení pro spolupráci s průmyslem

Osoba zodpovědná za obsah této stránky
Ing. Stanislav Kuznetsov, stanislav.kuznetsov@fit.cvut.czVedoucí Laboratoře s firmou UNICO.AI

InstallFest 2019

$
0
0

InstallFest 2019

Jedenáctý ročník konference InstallFest se koná o víkendu 2.–3. března na Fakultě elektrotechnické ČVUT na Karlově náměstí. Setkání linuxové komunity nabídne bohatý program s přednáškami a workshopy nejen na témata počítačové bezpečnosti a internetu. Mezi přednášejícími budou tradičně i zaměstnanci a studenti naší fakulty, např. Lukáš Bařinka, Tomáš Čejka, Martin Bílý či Karel Jílek. Kromě otevřených technologií nabídne konference i „otevřené jídlo“ – OpenColu. Vstupné je zdarma, ale je nutné se registrovat.

Téma

Konference se tradičně zaměřuje na základní témata spojená s instalací a používáním Linuxu. Nemohou chybět také další open-source technologie z oblasti sítí, serverů nebo kontejnerů. Ve čtyřech sálech se budete moci dozvědět také novinkách v oblasti počítačové bezpečnosti, internetu, administrace a vývoje.

Kromě open-source softwaru a hardwaru bude na letošním ročníku i open-source food – OpenCola. Její recept je uvolněn pod svobodnou licencí GNU General Public License.

Program

Lukáš Bařinka na InstallFestu 2018
Lukáš Bařinka přednáší na minulém ročníku InstallFestu

Letošní program nabídne dva přednáškové a dva workshopové sály, ve kterých bude možné si poslechnout 27 přednášek a zúčastnit se 13 praktických workshopů. Hlavními tématy tohoto ročníku jsou počítačová bezpečnost a internet. Na své si ale samozřejmě přijdou i vývojáři.

Pro zájemce o ucelený přehled o kontejnerizaci je určeno sobotní odpoledne v druhém sále. Tady David Bečvařík, Michal Halenka, Tomáš Kukrál a Jakub Veverka v rámci svých přednášek seznámí účastníky s obecnými principy kontejnerizace aplikací a jejich nasazováním.

Zajímavé lidi můžete také potkat u stánků různých linuxových distribucí a dalších projektů. Na konferenci nebudou chybět například Admins SH, Bastlíři SH, 3D tisk SH, ACTIVE 24, vpsFree, CZ.NIC či SUSE.

Součástí programu konference jsou také přednášky zaměstnanců a studentů FIT:

Lukáš Bařinka
Bash a regulární výrazy vs. shellovské vzory
Karel Jílek
Časté chyby v Bash skriptech
Tomáš Čejka
Postavte vlastní monitorovací infrastrukturu a zjistěte, s kým komunikují vaše zařízení
Martin Bílý
Správa serverů FreeBSD

O akci

Festival je zaměřen hlavně na začátečníky, ale chybět nebude ani program pro pokročilé uživatele. Akce je zdarma, ale je nutné se zaregistrovat. Všechny potřebné informace jsou dostupné na webových stránkách festivalu.

Přednášky budou streamovány a natáčeny týmem AVC Silicon Hill ve 4K kvalitě. Novinkou bude testování asistivní technologie pro účastníky se zrakovými problémy, kdy bude možné si na místě na svém zařízení otevřít výstup od přednášejícího (slidy, ukázky, dema).

InstallFest - logo
Logo konference InstallFest
Typ akce
Konference
Organizátor
Klub Silicon Hill, Studentská unie ČVUT
Termín
2.–3. března 2019
Místo
Fakulta elektrotechnická ČVUT, budova E
Karlovo náměstí 13, Praha 2
Jazyk
Čeština
Záznam
Bude pořízen
Web akce
InstallFest 2019

Kontakt

Akci pořádá klub Silicon Hill, který je součástí Studentské unie ČVUT. Klub sídlí na Kolejích Strahov, kde zastupuje ubytované studenty, spravuje místní počítačovou síť nebo se podílí na realizaci zajímavých projektů a odborných přednášek. Konference se bude konat v prostorách Fakulty elektrotechnické ČVUT, budovy E – Karlovo náměstí 13, Praha 2.

Jakub Jančička – profile

Bc. Jakub Jančička

Hlavní organizátor konference InstallFest

Systémový administrátor na Oddělení ICT

Osoba zodpovědná za obsah této stránky
Bc. Jakub Jančička, jakub.jancicka@fit.cvut.czHlavní organizátor konference InstallFest

dreamBIG with Tomáš Mikolov

$
0
0

dreamBIG with Tomáš Mikolov

Přijďte si 18. března poslechnout přednášku o kariérním růstu předního experta na umělou inteligenci. Tomáš Mikolov pracoval v týmu Google Brain, kde se podílel na vylepšení překladače Google. Později ho zrekrutoval přímo Mark Zuckerberg do společnosti Facebook. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:00 v posluchárně T9:105. Na akci je nutné se registrovat.

Téma

Během přednášky Tomáš představí svůj příběh, jak se dostal k výzkumu v oblasti umělé inteligence (AI), jakým způsobem se mu podařilo uspět a co mu naopak nevyšlo. Tomáš dále popíše své zkušenosti se studiem, životem a prací v zahraničí. Vylíčí také, co mu přinesla práce ve společnostech Google v Silicon Valley a Facebook v New Yorku.

O akci

Akce je zdarma a je nutná předchozí registrace. Přednáška se koná v rámci Informatických večerů FIT ve spolupráci se společností dreamBIG.

Typ akce
Přednáška
Přednášející
Tomáš Mikolov – Facebook
Termín
18. března 2019, 18:00–19:30
Místo
Posluchárna T9:105, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Čeština
Záznam
Bude pořízen

O přednášejícím a společnosti

Přednáška se koná ve spolupráci s organizací dreamBIG, která vám na představí předního experta na umělou inteligenci. Tomáš je zářným příkladem člověka, který se nebojí dreamBIG, přičemž stojí nohama pevně na zemi.

Tomáš Mikolov

Tomáš Mikolov – profile

Tomáš Mikolov více než čtyři roky vyvíjí umělou inteligenci ve společnosti Facebook. Sem ho z týmu Google Brain zrekrutoval přímo Mark Zuckerberg. Je jedním z vědců, kteří pomohli výrazným způsobem vylepšit překladač Google. Mezi jeho další nejznámější projekty patří knihovny word2vec a fastText, které jsou používány řadou světových IT hráčů.

Tomášovým profesním cílem je vyvinout inteligentní stroje schopné učit se komunikovat s lidmi prostřednictvím jejich přirozeného jazyka. V roce 2018 obdržel Cenu Neuron za významný vědecký objev.

Více o Tomášovi a jeho výzkumu se můžete dozvědět v jednom z rozhovorů:

dreamBIG

dreamBIG with Tomáš Mikolov - plakát
Logo dreamBIG

Společnost dreamBIG zastupuje nastupující talentované i zkušené a prověřené IT profesionály, kteří ve svých kariérách nechtějí stát na místě. Vývojáře, testery i například datové inženýry spojuje s jedinečnými pracovními příležitostmi dřív, než oficiálně spatří světlo světa.

Související obsah

Témata
Cyklus přednášek: Informatické večery FIT
Předchozí přednáška: Začněte profesní kariéru v CERN
Podobné přednášky: dreamBIG with Lukáš Kroc, dreamBIG with Jiří Fabián, dreamBIG with Lukáš Linhart
Lidé
Přednášející: Tomáš Mikolov
Záznam akce: Audiovizuální centrum studentů ČVUT
Místa
T9:105
Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Private Cloud – Pokroky v síťové infrastruktuře

$
0
0

Private Cloud – Pokroky v síťové infrastruktuře

Experti ze společnosti Showmax (Stříbrný partner FIT) si pro vás 11. března připravili přednášku na téma vývoje počítačových sítí. Anton Vorobiev a Štefan Šafár budou mluvit mimo jiné o BGP, systému Kubernetes či designu datacentrových sítí. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:00 v posluchárně T9:107.

Téma

V posledních letech vidíme pokrok i v konzervativnějších oborech IT – například v sítích. Na přednášce vám Anton a Štefan představí, kam směřuje vývoj v síťové oblasti a jak se dají moderní síťové technologie použít v cloudovém světě. Budou mluvit kromě jiného o BGP, systému Kubernetes a jeho pluginu Calico či designu datacentrových sítí.

O akci

Akce je zdarma a bez registrace. Přednáška je určena posluchačům se základní znalostí dané problematiky.

Typ akce
Přednáška
Přednášející
Anton Vorobiev – Showmax (Stříbrný partner FIT)
Štefan Šafár – Showmax (Stříbrný partner FIT)
Termín
11. března 2019, 18:00–19:30
Místo
Posluchárna T9:107, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Čeština
Záznam
Bude pořízen

O přednášejících

Anton Vorobiev a Štefan Šafár pracují ve společnosti Showmax. Ta provozuje on-line televizní službu. Showmax je rovněž Stříbrným partnerem FIT a v roce 2017 ve spolupráci s fakultou otevřeli společnou laboratoř – ShowmaxLab.

Anton Vorobiev

Anton Vorobiev – profile

Anton Vorobiev je fanoušek všeho cloudového. Má velké zkušenosti s budováním a provozováním platforem založených na systému Kubernetes. Momentálně pomáhá v Showmaxu na pozici Tech Lead Ops týmu zlepšovat robustnost a flexibilitu jejich infrastruktury.

Štefan Šafár

Štefan Šafár – profile

Štefan Šafár má rád bezpečnost, sítě, dohled a cloud native software. V Showmaxu pracuje v CDN týmu. Rád zkoumá problémy do hloubky a nebojí se netradičních řešení.

Související obsah

Témata
Cyklus přednášek: Informatické večery FIT
Předchozí přednáška: Začněte profesní kariéru v CERN
Následující přednáška: dreamBIG with Tomáš Mikolov
Přednášky od ShowmaxLabu: Učení z videí a doporučování filmů pomocí Deep Neural Networks, Visualizing Deep Neural Networks
Lidé
Přednášející: Anton Vorobiev, Štefan Šafár
Záznam akce: Audiovizuální centrum studentů ČVUT
Místa
T9:107
Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Změny na webu v únoru roku 2019

$
0
0

Během měsíce února jsme vydali 10 stránek a zveřejnili 9 novinek. Vytvořili a aktualizovali jsme hlavně stránky Informatických večerů FIT a konference InstallFest. Dále jsme pokračovali s revizí stránek výzkumných skupin a laboratoří – vznikly stránky pro OpenDataLab a UNICOLab.

V tomto měsíci jsme navrhli a po schválení na web přidali následující stránky:

Informatické večery FIT
Aktualizace úvodní strany
Vytvoření nových stránek týkajících se tohoto semestru:
InstallFest 2019
Aktualizace úvodní strany
Vytvoření stránky o letošním ročníku konference
Přeložení stránky do angličtiny
Zveřejnění novinky na hlavní stránce
Laboratoř otevřených dat
Vytvoření stránky o nové laboratoři
Přeložení stránky do angličtiny
Zveřejnění novinky na hlavní stránce
Zveřejnění tiskové zprávy: Zpracovávat otevřená data umožní nová unikátní laboratoř na Fakultě informačních technologií ČVUT
Výzkumná laboratoř s firmou UNICO.AI
Vytvoření stránky o laboratoři
Návrh překladu do angličtiny (čeká na schválení)
Změny na webu v lednu roku 2019
Vytvoření a zveřejnění zprávy za leden

Pokračovali jsem v procházení o opravování stránek přednášek Informatických večerů FIT. V tomto měsíci jsme prošli 4 semestry (od zimního semestru 2014/2015 do letního semestru 2015/2016).

Prošli jsme také kontakty a zodpovědné osoby na webu, které jsme aktualizovali. Rovněž jsme upravili stránku Studijního oddělení. Zveřejnili jsme novinky o probíhajícím přijímacím řízení jak do českého, tak anglického programu.

Přidávali jsme články na stránku Psalo se o nás. Aktualizovali jsme loga na stránce s partnery FIT. A opravili jsme odkazy na Portál ČVUT, které nyní mají vést na ist.cvut.cz.

Navrhli jsme a na web přidali následující novinky:

Osoba zodpovědná za obsah této stránky
Marie Böhmová, marie.bohmova@fit.cvut.czSprávkyně obsahu webu

Zápis z 2. zasedání Akademického senátu FIT ze dne 13. 2. 2019

$
0
0

Na druhém zasedání AS FIT ČVUT byla projednána zejména aktuální situace ohledně rezignace proděkana Balíka, stav ICT projektů a činnost PR oddělení. Zasedání se konalo 13. 2. 2019 od 9:00 v zasedací místnosti TH:A-1435.

Místo a čas konání
Středa 13. 2. 2019, zasedací místnost TH:A-1435 FIT ČVUT, doba trvání 9:00–12:00
Přítomní senátoři
Lukáš Bařinka, Martin Daňhel, Magda Friedjungová, Ondřej Guth, Stanislav Jeřábek, Karel Jílek, Jan Onderka, Tomáš Valla, Daniel Vašata, Michal Šoch
Hosté
Veronika Dvořáková, Petra Svobodová Hejlová, Petr Hodač, Marcel Jiřina, Josef Kolář, Martin Vaňko
Předsednictvo senátu ve složení
Magda Friedjungová – předseda
Michal Šoch – předsedající
Jan Onderka – tajemník
Zápis zapsal
Jan Onderka
Program
  1. Schválení programu 2. zasedání
  2. Kontrola úkolů a schválení zápisu z 1. zasedání AS FIT
  3. Odpovědi děkana na dotazy AS FIT
  4. Prezentace PR oddělení
  5. Různé
  6. Termín a úkoly 3. zasedání AS FIT

1. Schválení programu 2. zasedání

Návrh
AS FIT schvaluje program 2. zasedání.
Hlasování
Pro
10,
Proti
0,
Zdrželi se
0
Výsledek
Program 2. zasedání byl schválen.

2. Kontrola úkolů a schválení zápisu z 1. zasedání AS FIT

AS FIT zkontroloval úkoly a schválil zápis z 1. zasedání AS FIT. Z předchozího zasedání neplynou žádné úkoly.

Návrh
AS FIT schvaluje zápis z 1. zasedání AS FIT.
Hlasování
Pro
9,
Proti
0,
Zdrželi se
1
Výsledek
Zápis z 1. zasedání AS FIT byl schválen.

3. Odpovědi děkana na dotazy AS FIT

Děkan Marcel Jiřina seznámil AS FIT s důvody rezignace proděkana pro studijní a pedagogickou činnost Miroslava Balíka. Jako důvod byly uvedeny zejména problémy s rozběhnutím systému přijímacího řízení PřiŘíz pro přijímací řízení do následujícího akademického roku, tempo přechodu nasazování systému Moodle a vývoj nového webu. Tyto projekty měl proděkan Balík na starost. Jako oficiální důvod rezignace uvedl absenci podpory jeho práce ze strany vedení FIT.

Děkan ubezpečil AS FIT, že nehrozí provozní problémy studijního oddělení spojené s absencí proděkana, který je momentálně zastoupen děkanem. První fáze přijímacího řízení probíhá standardně pomocí https://prihlaska.cvut.cz a aplikace PřiŘíz slouží spíše pro automatizovanou možnost poskytnutí požadovaných dokumentů od uchazečů. Aplikace prý je v provozuschopném stavu, řeší se chyby a dodělávky, měla by být nasazena od 1. dubna 2019.

Stále je otevřena varianta, že by dr. M. Balík ve funkci proděkana pokračoval, ale probíhá i hledání případných jiných možných nástupců.

Co se týče nového webu, rezignací M. Balíka byl jeho vývoj pozastaven, momentálně si děkan nechává vypracovat další plán vývoje od M. Balíka a separátně od vedoucího oddělení ICT M. Vaňka.

Tomáš Valla apeloval na děkana, aby informoval studenty o situaci s M. Balíkem, aby se předešlo šuškandě a nejasnostem.

Dále děkan seznámil AS FIT s dalšími aktuálními projekty a aktivitami na FIT. Zejména se jedná o zřízení nových laboratoří včetně laboratoře pro virtuální realitu. Dále je třeba zajistit, aby IT systémy splňovaly různá pravidla jako zákon o kybernetické bezpečnosti, GDPR a připravovaný Příkaz rektora o kybernetické bezpečnosti.

Co se týče personální strategie FIT, je v přípravě Kariérní řád FIT a jinak je snaha o zastupitelnost a zvyšování kvalifikace pracovníků, ať již doktorátem či habilitací, nebo např. jazykovou průpravou, zvýšením administrativních znalostí a podobně. Dále je snaha přijímat kvalifikované lidi a posilovat oblasti, ve kterých je fakulta slabá (např. grafika a virtuální realita).

Stanislav Jeřábek se zeptal, zda je zvyšování jazykové průpravy myšleno spíše interně, nebo externě. Děkan odpověděl, že se jedná spíše o různé výjezdy a podobně, kde možnosti jsou, ale nejsou příliš využívány.

Spojovat formu smlouvy (pracovní smlouva / dohoda o provedení práce / dohoda o pracovní činnosti) s postem pracovníků se podle děkana na jiných fakultách ukázalo jako nerozumné. Děkan preferuje smlouvy na dobu určitou před smlouvami na dobu neurčitou, jelikož smlouvy na dobu neurčitou z jeho pohledu zavazují následující děkany. Pracovní smlouva na dobu neurčitou se nevylučuje, nicméně se berou v úvahu i pracovní výsledky a názor vedoucího katedry.

Proběhla diskuse o rizicích smluv na dobu neurčitou. V diskusi zazněly názory o významnosti smlouvy na dobu neurčitou pro mladé akademické pracovníky (např. kvůli hypotékám). Na druhou stranu byla diskutována i rizika spojená se smlovami na dobu neurčitou.

K dalším aktivitám FIT děkan uvedl zejména plánovanou reakreditaci magisterského a bakalářského programu, kde je plánem sloučení magisterského studia do nového programu, novou metodiku hodnocení vědy a výzkumu, jednání o rozšíření prostor FIT a přesun oborů Znalostní inženýrství na Katedru aplikované matematiky.

Nakonec děkan uvedl, že FIT nemá dluhy ani půjčky a převis financí zatím vypadá slibně i s novou metodikou rozpočtu financí ČVUT.

4. Prezentace PR oddělení AS FIT

Vedoucí PR oddělení Josef Kolář prezentoval jeho stav. Mimo vedoucího a jeho zástupce na PR byly po většinu roku 2018 dva zaměstnanecké poměry na plné úvazky. Momentálně neplánovaně přibyl třetí takový poměr s tím, že plánem je půl tohoto úvazku využít pro agendu studijního oddělení.

Co se týče náplně práce PR oddělení, snaží se získávat kvalitní zájemce o studium (mimo jiné organizuje Den otevřených dveří), zvyšovat povědomí o fakultě mezi veřejností (například vydáváním tiskových zpráv nebo pořádáním odborných přednášek a workshopů typu IT večery nebo LAW FIT), zajišťovat interní aktivity pro studenty FIT (např. infomaily) a interní PR aktivity a podporu pro zaměstnance FIT.

Zpětnou vazbu PR oddělení získává například z počtu uchazečů o studium, návštěvnosti akcí, dosahu mediálních výstupů z tiskových zpráv, počtu sledujících na sociálních sítích, zpětné vazby účastníků akcí a podobných kritérií. Počet uchazečů o studium je plně porovnatelný s ostatními předními českými fakultami zabývajícími se informatikou, zpětná vazba od účastníků akcí je podle PR oddělení velmi dobrá. V roce 2018 bylo vydáno 12 tiskových zpráv a získáno 56 mediálních výstupů. Návštěvnost dnů otevřených dveří se stabilně zvyšuje.

Ze stipendijního fondu jsou placeny odměny studentům za prezentaci fakulty na akcích, např. dnech otevřených dveří (jako účelové stipendium v souladu s článkem 4, bodem 2. f) Studijního řádu ČVUT). Do roku 2018 byla většina těchto stipendií pokryta IP projekty, od roku 2019 bude potřeba najít nový zdroj financování.

Jan Onderka se zeptal, zda je v plánu nějak řešit cílení infomailů, vzhledem k tomu, že ho momentálně většina jejich obsahu nezajímá. Josef Kolář odpověděl, že se o tomto již uvažovalo, ale nakonec se došlo k závěru, že by to bylo příliš náročné v poměru k očekávanému benefitu. Stanislav Jeřábek konstatoval, že jemu většina informací v infomailech přijde užitečná a je rád, že fungují.

5. Různé

5.1. Změny na webu

Karel Jílek se zeptal, jak se řeší situace s Miroslavem Balíkem, který je nyní na webu stále uveden jako proděkan pro studium. Děkan odpověděl, že momentálně je situace nejistá a bylo by možná předčasné měnit odpovědnost na všech stránkách, za které doposud odpovídal. Lukáš Bařinka navrhl, jestli by bylo možné alespoň změnit informaci, že je proděkanem, na stránce děkanátu. Děkan toto přislíbil.

5.2. Zeptejte se děkana

Michal Šoch se zeptal, zda by nebylo vhodné obnovit akci „Zeptejte se děkana“. Děkan vyjádřil pochybnosti k stávajícímu formátu akce, která je koncipována spíše masově a redukuje se na otázky typu „proč výuka začíná od 7:30“, což mu nepřijde konstruktivní. Navrhl však odlišný formát, kde by se diskutovalo o nějakém daném tématu spíše formou porady nebo kolektivní diskuse. Většina členů AS FIT je s návrhem poměrně spokojená, ale vyslovuje otázku, jaká témata by se měla řešit. Lukáš Bařinka navrhuje vybrat témata z Ankety.

6. Termín a úkoly 3. zasedání

Termín 3. zasedání AS FIT bude zvolen dle potřeby prostřednictvím elektronického hlasování.

Osoba zodpovědná za obsah této stránky
Bc. Jan Onderka, onderjan@fit.cvut.czTajemník Akademického senátu FIT

COFIT v letním semestru 2018/2019

$
0
0

COFIT v letním semestru 2018/2019

Fakultní kariérní veletrh COFIT se uskuteční 20. března v atriu Nové Budovy ČVUT. Budete mít možnost se seznámit s profesionály z nadnárodních společností a startupů a dozvědět se o jejich aktuálních projektech. Dále zjistíte, jak funguje portál Spolupráce s průmyslem nebo jak vylepšit svoje CV. Nebude chybět ani relaxační zóna s hrami ve virtuální realitě. Veletrh probíhá od 12:30 do 17:00. Vstup na akci je zdarma a bez předchozí registrace.

Program

V atriu budovy bude od 12:30 do 16:30 připraven informační kiosek portálu Spolupráce s průmyslem. Dále mohou studenti navštívit stánky firem, a dozvědět se tak více o oblastech jejich působení, o používaných technologiích a možnostech spolupráce. U nich si studenti také mohou domluvit témata semestrálních a diplomových prací nebo získat inspiraci, jakým směrem se po škole vydat.

V rámci programu veletrhu budete moci:

  1. Seznámit se s profesionály z nadnárodních společností i startupů. Mnoho z nich na FIT studovalo nebo se v současné době podílí na výuce.
  2. Zjistit, jak funguje fakultní portál Spolupráce s průmyslem a jaké výhody vám může poskytnout.
  3. Navštívit výzkumné laboratoře FIT nabízející zajímavé příležitosti.
  4. Konzultovat své CV a možnosti osobního rozvoje s Kariérním centrem ČVUT.
  5. Odpočinout si ve FIT relaxační zóně a zahrát si hry ve virtuální realitě.

 

Akce se zúčastní následující partneři a sponzoři FIT:

Zlatí partneři
Profinit, Datamole
Stříbrný partner
Showmax
Bronzoví partneři
NN, Valeo, Deloitte, Accenture, MSD, Etnetera, Eaton, Cleverbee, nangu.TV, Creative Dock, AMI
Zlatí sponzoři
EmbedIT
Stříbrný sponzor
Komerční banka, Česká pojišťovna, Oracle
Bronzoví sponzoři
T-Mobile, Gemalto, Ataccama, Commerzbank, Tipsport, Greyson, eMan, 2N, NCR, Barclays, Edhouse, Quanti, KPMG, AKKA, OKsystem, Kiwi.com, Unicorn, EY, Provident

O akci

Cílem akce je zprostředkovat studentům kontakt s průmyslem, zejména s dlouhodobými partnery FIT. Studentům se tak nabízí jedinečná šance seznámit se s firmami přímo na akademické půdě. Akce je určena pro studenty všech ročníků a oborů na FIT. Akce je zdarma a bez registrace. Více informací najdete na oficiálních stránkách COFIT.

COFIT - logo
Logo veletrhu COFIT
Typ akce
Kariérní veletrh
Organizátor
Portál spolupráce s průmyslem, FIT ČVUT
Termín
20. března 2019, 12:30–17:00
Místo
Nová budova ČVUT
Thákurova 9, Praha 6
Web akce
COFIT

Kontakt

Veletrh pořádá Fakulta informačních technologií ČVUT v rámci projektu Spolupráce s průmyslem. Pro více informací můžete kontaktovat referentku Ing. Lucii Kolomazníkovou. Na oficiálních stránkách COFIT najdete všechny potřebné informace.

Lucie Kolomazníková - profile

Ing. Lucie Kolomazníková

Referentka

Oddělení pro spolupráci s průmyslem

Osoba zodpovědná za obsah této stránky
Ing. Lucie Kolomazníková, lucie.kolomaznikova@fit.cvut.czReferentka Oddělení pro spolupráci s průmyslem

LAW FIT 2019: Digitální realita

$
0
0

LAW FIT 2019: Digitální realita

Konference o právu a IT LAW FIT se uskuteční 20. května. Sedmý ročník s tématem Digitální realita se zaměří na stále rostoucí digitální svět. Konference se bude zabývat mj. tématy, jak v tomto virtuálním světe budeme v budoucnosti fungovat nebo zda má tato realita také nějaká pravidla. Pro účast je požadována registrace. Akce se koná na Fakultě informačních technologií od 9:00 v posluchárně T9:105.

Téma

Naše životy se přesouvají do virtuálního prostředí. Nejen že v této nové realitě pracujeme, komunikujeme, relaxujeme nebo platíme virtuálními měnami, ale modelují se v ní již i nová města nebo provádějí operace. Jak budeme fungovat v stále rostoucím digitálním světě v budoucnu? A má takový svět nějaká pravidla? Na to se pokusí odpovědět letošní ročník konference LAW FIT.

O akci

Účast na konferenci je bezplatná, ale je nutné se zaregistrovat. Konference je určena pro studenty, akademickou i širokou odbornou veřejnost, a to jak IT specialisty, tak právníky.

LAW FIT - banner
LAW FIT 2019
Typ akce
Konference
Organizátor
Fakulta informačních technologií ČVUT
Termín
20. května 2019, 9:00–16:30
Místo
Posluchárna T9:105, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Čeština
Záznam
Nebude pořízen
Web akce
LAW FIT 2019

Kontakt

Konferenci pořádá Fakulta informačních technologií ČVUT. Konference se koná v prostorách Nové budovy ČVUT – Thákurova 9, Praha 6. V případě dotazů se obracejte na předsedu konference JUDr. Zdeňka Kučeru, Ph.D.

Zdeněk Kučera - profile

JUDr. Zdeněk Kučera, Ph.D.

Předseda konference LAW FIT

Externí vyučující na Katedře softwarového inženýrství

Osoba zodpovědná za obsah této stránky
JUDr. Zdeněk Kučera, Ph.D., zdenek.kucera@fit.cvut.czPředseda konference LAW FIT

Ověřování uživatelů – když (jen) hesla nestačí

$
0
0

Ověřování uživatelů – když (jen) hesla nestačí

Jim Fenton, přední expert v oblasti digitální identity uživatelů a soukromí na internetu, si pro vás 25. března připravil přednášku o nejčastějším způsobu ověřování uživatelů – o heslech. Popíše jejich výhody a nevýhody či možnosti jejich nahrazení. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:30 v posluchárně T9:107 a bude v angličtině.

Téma

Hesla jsou tu již dlouhou dobu a jsou zdaleka nejčastějším způsobem ověřování uživatelů. I když mají dobře známá bezpečnostní omezení, jsou stále oblíbeným způsobem pro přihlašovaní do aplikací s nízkou až střední úrovní zabezpečení. Rovnež jsou klíčovým prvkem, který zná každý, ve vícefaktorové autentizaci.

Bezpečnostní hrozby ohrožující autentizaci se stávají sofistikovanější. Aplikace tedy vyžadují lepší zabezpečení, většinou zahrnující výše zmíněnou vícefaktorovou autentizaci. Některé „lepší“ způsoby ověřování nabízí ve skutečnosti spíše falešný pocit bezpečí, zatímco jiné poskytují vynikající ochranu před celou škálou různých hrozeb. Volba způsobu ověřování tak bohužel není přímočará a záleží na tom, pro jaká zařízení má být dostupná, jakou aplikaci chceme chránit a co uživatelům může hrozit.

Přednáška se zaměří na vlastnosti, výhody a nevýhody ověřování pomocí hesel a několika dalších způsobů, které mohou hesla nahradit. Řekneme si, které hrozby dané způsoby řeší (a které ne) a jak vytvořit ověřování a přihlašování, které bude splňovat požadavky nejen samotné aplikace, ale také jejích uživatelů.

O akci

Akce je zdarma a bez registrace. Přednáška je určena posluchačům se základní znalostí dané problematiky.

Typ akce
Přednáška
Přednášející
Jim Fenton
Termín
25. března 2019, 18:30–20:30
Místo
Posluchárna T9:107, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Angličtina
Záznam
Bude pořízen

O přednášejících

Jim Fenton – profile

Jim Fenton je nezávislým konzultantem a výzkumníkem se zaměřením na digitální identitu uživatelů, soukromí na internetu a s tím spojené bezpečnostní problémy. Jim byl spolueditorem nové verze standardů pro přihlašování „NIST Special Publication 800-63 Digital Identity Guidelines“ (více o standardech na Root.cz) a hlavním editorem části nazvané „Authentication and Lifecycle Management“.

Jim přispívá do několika open-source projektů. Také je součástí Komise pro technickou stránku internetu (IETF) a funguje i jako poradce pro společnost Disconnect, Inc., která vytváří nástroje pro zvýšení soukromí na internetu.

Předtím Jim zastával pozici Chief Security Officer pro službu OneID, poskytovatele produktů nové generace a služeb pro autentizaci a identitu. Ještě předtím měl na vizitce napsáno „Distinguished Engineer“ v „Corporate Development Technology Group“ ve společnosti Cisco. Vystudoval Massachusetts Institute of Technology (MIT).

Související obsah

Témata
Cyklus přednášek: Informatické večery FIT
Předchozí přednáška: dreamBIG with Tomáš Mikolov
Lidé
Přednášející: Jim Fenton
Záznam akce: Audiovizuální centrum studentů ČVUT
Místa
T9:107
Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Humanoidní robot Pepper předá v Betlémské kapli diplomy bakalářským a magisterským absolventům Fakulty informačních technologií ČVUT v Praze

$
0
0

Praha 19. 3. 2019Kontroverzní. I tak by se dala popsat situace, která nastane 22. března 2019 v 10 hodin v Betlémské kapli. Na jedné straně se představí přes šest set let stará historie prezentovaná převratným učením Husovým v prostředí kaple. Na straně druhé stane špičková technologie 21. století v podobě humanoidního robota Pepper. Poprvé v historii České země si tak podá ruku učenecká a reformátorská minulost s algoritmickou budoucností, a to za přítomnosti absolventů Fakulty informačních technologií ČVUT v Praze (FIT ČVUT).

Humanoidní robot Pepper z Laboratoře inteligentních vestavných systémů FIT ČVUT se stane součástí slavnostního ceremoniálu v Betlémské kapli, kde se významným způsobem zapojí do promocí bakalářských a magisterských absolventů fakulty. Dosud bylo letitou tradicí, že absolventi při promoci přebírali diplomy z rukou zástupce akademické obce fakulty. FIT ČVUT jde v tomto směru ještě dál a poprvé v historii promocí v kapli tímto slavnostním úkonem pověřuje robotického humanoida. Fakulta informačních technologií tak povyšuje genius loci kaple do moderní roviny.

Robot bude mít přibližně 30 vteřin na to, aby předal diplom absolventovi, podal si s ním ruku a poblahopřál mu. „Pepper se na promoce připravuje již od října loňského roku,“říká student Martin Rameš, který s Pepper pracuje. „Naprogramování trvalo čistého času přibližně týden. Cílem bylo nastavit robota tak, aby požadovaný úkon udělal co nejrychleji, protože počítáme se zhruba 70 absolventy,“ vysvětluje Rameš. Dodává, že během programování bylo třeba řešit spoustu problémů, například zhoršené světelné podmínky v kapli. Aby robot rozpoznal, že drží diplom, používá pro to kamery v očích, které se však nedokáží přizpůsobit podmínkám jako lidské oko. „Zjistili jsme také, že Pepper nemá dostatečně silné prsty, aby v nich udržel diplom. Museli jsme jej proto přeprogramovat tak, aby váhu diplomu převzaly paže a aby se současně nepřehřívaly,“ uzavírá Rameš.

Studenti FIT ČVUT mohou jako jediní v ČR využívat humanoidní roboty Pepper, a to v nově vybavené Laboratoři inteligentních vestavných systémů. „Moderně vybavená laboratoř je špičkovým technickým zázemím pro studenty Fakulty informačních technologií na ČVUT,“říká Ing. Miroslav Skrbek, Ph.D., vedoucí laboratoře. „Naší snahou je vytvářet podmínky pro rozvoj talentovaných studentů a poskytnout jim co nejvíce zkušeností s nejmodernějšími technologiemi,“ uzavírá Miroslav Skrbek. Významnou část technického vybavení laboratoře tvoří humanoidní roboti Pepper a NAO, drony nebo holografické brýle pro robotické aplikace spojené s rozšířenou realitou. Laboratoř je spolufinancována Evropskou unií v rámci Operačního programu Výzkum, vývoj a vzdělávání projektem „Laboratoř inteligentních vestavných systémů na FIT ČVUT v Praze“. Cílem projektu je vytvořit a technicky vybavit laboratoř špičkovou technikou podle nejmodernějších trendů.

Kontakt

Tiskovou zprávu vydala Fakulta informačních technologií Českého vysokého učení technického v Praze. Kontaktní osobou je Ing. Pavla Bradáčová z PR oddělení.

Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Strasti a slasti dvou verzí Angularu v jednom systému

$
0
0

Strasti a slasti dvou verzí Angularu v jednom systému

O dvou verzích frameworku Angular v jedné aplikaci bude 1. dubna přednášet Alexandr Maximov z firmy Profinit EU, která je Zlatým partnerem FIT. Popíše, jak s těmito překotně vyvíjejícími se framewokry pracovat nebo jak postupně bez výpadku přejít na novější verzi. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:00 v posluchárně T9:107.

Téma

Rozhodnete se vyvíjet systém postavený na Angular 1, ale po půl roce vývoje se do popředí dostane Angular 2. Alexandr Maximov vám během přednášky odpoví na následující otázky:

  • Jak postupně přejít na novější verzi bez přerušení dodávek zákazníkovi?
  • Lze mít paralelní souběh různých verzí frameworku v jedné aplikaci?
  • Jak pracovat s frameworky, které se překotně vyvíjejí?
  • A jaké nároky to klade na vývojáře?

Alexandr dále během přednášky představí projekt pro Penzijní fond České spořitelny. Bude také mluvit o architektonických rozhodnutích v průběhu vývoje a zkušenostech s vývojem v různých verzích Angularu, včetně často podceňovaného tématu testování webových aplikací.

O akci

Profinit EU - logo
Logo společnosti Profinit EU

Akce je zdarma a bez registrace. Přednáška je určena posluchačům se základní znalostí dané problematiky.

Typ akce
Přednáška
Přednášející
Alexandr Maximov – Profinit EU (Zlatý partner FIT)
Termín
1. dubna 2019, 18:00–19:30
Místo
Posluchárna T9:107, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Čestina
Záznam
Bude pořízen

O přednášejících

Alexandr Maximov – profile

Alexandr Maximov pracuje ve společnosti Profinit EU (Zlatý partner FIT) jako Full Stack vývojář. V enterprise světě prošel vývojem webových aplikací od už nyní legacy technologií jako JSPJSF až k vývoji pomocí moderních JavaScript frameworků a knihoven, jako Angular nebo React. Zajímá se o vývoj mobilních a webových aplikací.

Související obsah

Témata
Cyklus přednášek: Informatické večery FIT
Předchozí přednáška: Ověřování uživatelů – když (jen) hesla nestačí
Další přednášky od Profinit EU: Odhal krádež identity – Data Science v praxi, Jak jsme stavěli Bitcoinovou burzu, Big data a data science v bankách a telekomunikacích
Lidé
Přednášející: Alexandr Maximov
Zlatý partner FIT: Profinit EU
Záznam akce: Audiovizuální centrum studentů ČVUT
Místa
T9:107
Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Slavná Stanfordova univerzita přiveze mimořádný kurz pro středoškoláky na Fakultu informačních technologií ČVUT v Praze

$
0
0

Praha 27. 3. 2019Fakulta informačních technologií ČVUT v Praze (FIT ČVUT) jako jediná fakulta v Evropě umožní již podruhé stovce českých studentů středních škol vyzkoušet si studium na jedné z nejprestižnějších vysokých škol světa. Stanford University i letos představí unikátní intenzivní letní kurz programování Introduction to Computer Science (ICS). Kurz proběhne ve dnech 8. až 19. července 2019 na FIT ČVUT v Praze.

Cílem tohoto v Evropě jedinečného kurzu je zábavnou a atraktivní formou seznámit středoškoláky se základy programování. Lektoři ze Stanfordské univerzity jsou špičkovými odborníky na vzdělávání studentů v technologickém oboru. Účastníkům budou spolu s učiteli z FIT předávat znalosti a dovednosti prostřednictvím nabitého a osvědčeného programu. Pro studenty jsou připravené propracované výukové materiály a poutavé úlohy, díky nimž má kurz formu zábavné hry. Středoškoláci proniknou do základů programování, a to díky sofistikovaným přednáškám, na které budou v průběhu navazovat řešení zadaných programovacích úloh v moderních počítačových laboratořích.

Kurz ze Stanfordovy univerzity je výsledkem dvaceti let práce desítek učitelů s více než deseti tisíci jeho absolventy. Proto jej využívá i řada dalších světových univerzit. „Z loňského ročníku kurzu u nás na FIT byli jeho účastníci přímo nadšeni, proto jsme se rozhodli opět oslovit Stanford a pořádat kurz i letos,“říká koordinátor projektu doc. RNDr. Josef Kolář, CSc., proděkan pro vnější vztahy FIT ČVUT. „Přes osmdesát procent účastníků kurzu zvažovalo následně studium na FIT. Absolventi kurzu zcela propadli programování – přesně takové na FIT potřebujeme,“ hodnotí doc. Kolář výsledek historicky prvního ročníku kurzu ICS na fakultě.

Mezi úspěšné absolventy kurzu patří také Alena Brožová. „Chci poděkovat všem, kteří se podíleli na této akci, organizátorům i studentům. Kurz byl rozhodně intenzivní,“říká Alena Brožová, která se díky tomu rozhodla pro studium na FIT. „Každému, kdo má jen trošku chuť zkusit něco nového, nebo si vylepšit své programátorské znalosti, bych doporučovala se tohoto kurzu zúčastnit,“ uzavírá.

Ačkoliv je kurz určen především úplným programátorským začátečníkům, na své si přijdou i ti, kteří již s programováním nějakou zkušenost mají. Za probíraná témata organizátoři i tentokrát zvolili programovací jazyk Karel a úvod do programování v jazyce Java. K daným problematikám pak budou mít studenti možnost vést diskuse v malých skupinách s individuálním přístupem. Ukázky programování pomocí grafické knihovny jazyka Java povedou až k názorné implementaci jednoduché hry „Breakout“. Účastníci budou mít také příležitost realizovat zvolený závěrečný projekt, kde uplatní nabyté znalosti. Pro účastníky je také připraven atraktivní doprovodný program připravený studenty z FIT.

Celý kurz probíhá v anglickém jazyce a náklady včetně ubytování a stravy hradí organizátor, takže jej účastníci budou mít celý zdarma. Stačí se jen přihlásit a zaplatit registrační poplatek. Zájemci se mohou registrovat do 15. května 2019.

Více informací najdete na stránce kurzu www.fit.cvut.cz/ICS.

Kontakt

Tiskovou zprávu vydala Fakulta informačních technologií Českého vysokého učení technického v Praze. Kontaktní osobou je Ing. Pavla Bradáčová z PR oddělení.

Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

Změny na webu v březnu roku 2019

$
0
0

Během měsíce března jsme vydali 13 stránek a zveřejnili 10 novinek. Vytvořili a aktualizovali jsme hlavně stránky Informatických večerů FIT, konference LAW FIT a veletrhu COFIT. Dále jsme aktualizovali stránky s informacemi Studijního oddělení nebo s partnery a sponzory fakulty.

V tomto měsíci jsme navrhli a po schválení na web přidali následující stránky:

Informatické večery FIT
Revize anglické verze stránek
Vytvoření nových stránek týkajících se samotných přednášek
LAW FIT 2019: Digitální realita
Aktualizace úvodní strany
Vytvoření stránky o letošním ročníku konference
Zveřejnění novinky na hlavní stránce
COFIT v letním semestru 2018/2019
Aktualizace úvodní strany
Vytvoření stránky o letošním ročníku veletrhu
Zveřejnění novinky na hlavní stránce
Ocenění studenti cenou děkana za vynikající DP/BP
Revize stránky, sjednocení stylů
Doplnění únorových prací
Zápis z 2. zasedání Akademického senátu FIT ze dne 13. 2. 2019
Kontrola a zveřejnění zápisu
Tiskové zprávy
Zveřejnění tiskových zpráv a vytvoření souvisejích novinek na hlavní stranu
Změny na webu v únoru roku 2019
Vytvoření a zveřejnění zprávy za únor

Dále jsme zveřejňovali články do sekce Psalo se o nás. Aktualizovali jsme stránku PR oddělení a navrhli jsme její anglický překlad. Také jsme připravili aktualizaci stránek o Vědecké radě FIT.

Aktualizovali jsme informace Studijního oddělení, především o promocích a testech TOEIC. Dle pokynů jsme před veletrhem COFIT upravili stránků s partnery a sponzory fakulty. Zveřejnili jsme nová usnesení Akademického senátu a informace o výsledcích Ankety hodnocení výuky.

Navrhli jsme a na web přidali následující novinky:

Osoba zodpovědná za obsah této stránky
Marie Böhmová, marie.bohmova@fit.cvut.czSprávkyně obsahu webu

Testování systémů s BDD JBehave Support

$
0
0

Testování systémů s BDD JBehave Support

Přijďte si 8. dubna poslechnout přednášku Michala Bocka, ve které se zaměří na behavior-driven development (BDD). Popíše, jak správně testovat systémy a proč ve společnosti EmbedIT (Zlatý sponzor FIT) zvolili právě JBehave framework. Součástí přednášky bude i krátký live coding. Přednáška se uskuteční v rámci cyklu Informatické večery FIT od 18:00 v posluchárně T9:107.

Téma

Přednáška se zaměří na behavior-driven development (BDD). Během přednášky se dozvíte:

  • Jak správně testovat systémy.
  • Jak k tomuto testování přistoupili ve firmě EmbedIT (Zlatý sponzor FIT).
  • Proč si v EmbedIT vybrali JBehave framework a co je vedlo k vytvoření JBehave Support knihovny.

Součástí přednášky bude i krátký live coding, během kterého přednášející ukáže, jak jednoduše a rychle připravit end-to-end test. Bude se jednat o test uživatelského rozhraní Google search engine a REST rozhraní OpenWeatherMap.

O akci

EmbedIT - logo
Logo společnosti EmbedIT

Akce je zdarma a bez registrace. Přednáška je určena posluchačům se základní znalostí dané problematiky.

Typ akce
Přednáška
Přednášející
Michal Bocek – EmbedIT (Zlatý sponzor FIT)
Termín
8. dubna 2019, 18:00–19:00
Místo
Posluchárna T9:107, Nová budova ČVUT
Thákurova 9, Praha 6
Jazyk
Čestina, slovenština
Záznam
Bude pořízen

O přednášejícím

Michal Bocek – profile

Michal Bocek je Java Developer, Team Leader a Principal Engineer​. V IT působí už víc jak patnáct let a za tu dobu se podílel například na vývoji bankovních a logistických systémů nebo trading platformy v investiční bance. V současnosti vede tým ve společnosti EmbedIT (Zlatý sponzor FIT), který se stará o rozvoj single sign-on platformy. Ta je aktuálně nasazená již v sedmi zemích.

Související obsah

Témata
Cyklus přednášek: Informatické večery FIT
Předchozí přednáška: Strasti a slasti dvou verzí Angularu v jednom systému
Lidé
Přednášející: Michal Bocek
Zlatý sponzor FIT: EmbedIT
Záznam akce: Audiovizuální centrum studentů ČVUT
Místa
T9:107
Osoba zodpovědná za obsah této stránky
Bc. Veronika Dvořáková, veronika.dvorakova@fit.cvut.czPR referentka

RNDr. Ing. Vladimír Smotlacha, Ph.D.

$
0
0
Pracoviště
CESNET / ČVUT FIT, Katedra počítačových systémů
Osobní stránky
https://usermap.cvut.cz/profile/smotlav
E-mail
vs@cesnet.cz
Telefon
+420 22435 2915

Přenos stabilní frekvence a času optickou sítí

Stable frequency and time transfer in optical network

Úkolem projektu je výzkum a návrh metod dálkového přenosu stabilní frekvence a přesného času optickou sítí.

The goal of the project is research and design of methods for long-distance transfer of stable frequency and accurate time in the optical network.


doc. Ing. Štěpán Starosta, Ph.D.

$
0
0
Pracoviště
ČVUT FIT, Katedra aplikované matematiky
Osobní stránky
https://usermap.cvut.cz/profile/staroste
E-mail
stepan.starosta@fit.cvut.cz
Telefon
+420 22435 9886

Efektivní algoritmy pro symbolické dynamické systémy

Effective algorithms for symbolic dynamical systems

Symbolické dynamické systémy jsou dynamické systémy nad množinami nekonečných posloupností (slov) s velmi jednoduchou operací posunutí (shift). Speciální podmnožinou jsou systémy vzniklé z S-adických systémů nebo systémů vícerozměrných řetězových zlomků. Mnoho algoritmů, které se zabývají zkoumáním kombinatorických vlastností těchto systémů a jejich prvků, má exponenciální složitost v délce analyzované konečné části slova (faktoru). Práce by se zabývala navrhováním efektivních datových struktur a algoritmů sloužících pro analýzu vlastností těchto systémů: například vypisování prvků konečné délky, vykreslování přidruženého dláždění, testování rozpoznatelnosti (recognizability) a souvisejích vlastností, modelování souvisejícího numeračního systému, rychlost konvergence vícerozměrného řetězového zlomku atd.

Symbolic dynamical systems are dynamical systems over sets of infinite sequences (words) with a simple mapping - the shift. A special subset of these systems are systems generated by S-adic systems or by multidimensional continued fractions. Many algorithms dealing with the combinatorial properties of such systems are exponential in the length of the analyzed finite word (factor). The goal of the thesis is to design effective data structures and algorithms analyzing such systems and their properties, such as: enumeration factors of given length, recognizability related properties, modelling of the related numeration system, testing the speed convergence of the multidimensional continued fraction algorithm etc.

doc. RNDr. Pavel Surynek, Ph.D.

$
0
0
Pracoviště
ČVUT FIT, Katedra aplikované matematiky
Osobní stránky
http://users.fit.cvut.cz/~surynek
E-mail
pavel.surynek@fit.cvut.cz
Telefon
+420 22435 9910

Řešení úloh v umělé inteligenci pomocí redukce na problém splnitelnosti

Solving Problems in Artificial Intelligence by Reduction to Satisfiability

Výzkum v rámci tohoto tématu bude zaměřen na hledání řešení vybraných problémů v umělé inteligenci pomocí redukce na problém splnitelnosti [1]. Mezi problémy, které přestavují vhodné kandidáty pro tento způsob řešení, patří doménově závislé plánování (například hledání cest, plánování pro roboty) [2], rozvrhování, návrh obvodů, nebo kombinatorické úlohy. Pojem splnitelnost zde chápeme v širším smyslu, tj. nikoli pouze jako základní výrokovou splnitelnost (problém SAT), ale zahrnujeme i obecnější splňování podmínek (constraint satisfaction) [3], či kombinace splnitelnosti v různých logických teoriích (SAT-modulo theory – SMT) [4].

Research in this topic will focus on finding solutions to selected problems in artificial intelligence by reduction to satisfiability [1]. Problems representing suitable candidates for this approach include domain-dependent planning (such path-finding, robot planning) [2], scheduling, circuit design, or combinatorial tasks. The concept of satisfiability is understood here in the broader sense, that is, not only as the basic propositional satisfiability (SAT problem), but also as constraint satisfaction [3] or a combination of satisfiability in various logic theories (SAT-modulo theory - SMT) [4].

Reference

  1. Armin Biere, Marijn Heule, Hans van Maaren, Toby Walsh: Handbook of Satisfiability. Frontiers in Artificial Intelligence and Applications 185, IOS Press 2009.
  2. Pavel Surynek: Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Ann. Math. Artif. Intell. 81(3-4): pp. 329-375, 2017.
  3. Francesca Rossi, Peter van Beek, Toby Walsh: Handbook of Constraint Programming. Foundations of Artificial Intelligence 2, Elsevier 2006.
  4. Daniel Kroening, Ofer Strichman: Decision Procedures - An Algorithmic Point of View, Second Edition. Texts in Theoretical Computer Science. An EATCS Series, Springer 2016.

Techniky a algoritmy pro multi-agentní hledání cest

Techniques and Algorithms for Multi-agent Path Finding

Cílem výzkumu je návrh nových konceptů a souvisejících řešících algoritmů pro multi-agentní hledání cest (Multi-Agent Path Finding) [1]. V základní variantě problému MAPF hledáme cesty pro agenty pohybující se po neorientovaném grafu tak, aby každý agent dorazil do svého cíle ze zadané počáteční pozice, a přitom se nesrazil s žádným jiným agentem. Současné řešící techniky pro MAPF zahrnují škálu metod od sub-optimálních polynomiálních algoritmů [2] přes optimální algoritmy založené na prohledávání stavového prostoru [3] po transformace do jiných formalismů jako je SAT [4]. Otevřené otázky nabízejí zejména zobecněné varianty problému MAPF, kde uvažujeme navíc například komplexnější vzájemné vyhýbání, udržování formací, souvislosti či jiných globálních vlastností (vlastnost jež zahrnuje všechny agenty), zobecněné cenové funkce či více nezávislých (soupeřících) týmů agentů.

The aim of the research is to design new concepts and related solving algorithms for Multi-Agent Path Finding [1]. The basic variant of the MAPF problem takes place on the undirected graph with agents placed in vertices. We are searching paths for individual agents so that each agent can reache its goal from the specified starting position by following its path and does not collide with any other agent. Contemporary solving techniques for MAPF include a variety of methods ranging from sub-optimal polynomial algorithms [2] through optimal algorithms based on state space search [3] to transformations into different formalisms such as SAT [4]. The open questions offer, in particular, generalized variants of MAPF, where we consider more complex avoidance, maintenance of formations, connectivity maintenance or other global properties (a property that includes all agents), generalized cost functions, or multiple independent (adversarial) teams of agents.

Reference

  1. David Silver, “Cooperative pathfinding,” Proceedings of AIIDE, pp. 117–122, 2005.
  2. Boris de Wilde, Adriaan ter Mors, Cees Witteveen: Push and Rotate: a Complete Multi-agent Pathfinding Algorithm. J. Artif. Intell. Res. 51: pp. 443-492, 2014.
  3. Guni Sharon, Roni Stern, Meir Goldenberg, Ariel Felner: The increasing cost tree search for optimal multi-agent pathfinding. Artif. Intell. 195, pp. 470-495, 2013.
  4. Pavel Surynek, Ariel Felner, Roni Stern, Eli Boyarski: Efficient SAT Approach to Multi-Agent Path Finding Under the Sum of Costs Objective. Proceedings of ECAI, pp. 810-818, 2016.

doc. Ing. Ivan Šimeček, Ph.D.

$
0
0
Pracoviště
ČVUT FIT, Katedra počítačových systémů
Výzkumná skupina
Parallel and Distributed Computing Research Group
Osobní stránky
https://fit.cvut.cz/vyzkum/pdcg
E-mail
ivan.simecek@fit.cvut.cz
Telefon
+420 22435 9851

Nové metody řešení indexace dat z práškové difrakce vhodné pro moderní architektury

New methods for powder diffraction dataautoindexing for modern architectures

Rentgenová strukturní analýza z práškových difrakčních dat je významná analytická metoda pro určení struktury látky v případě kdy látka neposkytuje monokrystal. Pro aplikaci metody je klíčová indexace dat – určení mřížkových parametrů. Existující algoritmy a postupy pro indexaci mají problém indexovat méně kvalitní data a směsi látek. Cílem práce je vyvinout algoritmy, které by za cenu vyšších nároků na výpočetní výkon, než stávající algoritmy, tento problém řešily. K ověření bude provedena i implementace algoritmů s využitím paralelního zpracování.

X-ray structure analysis from powder data is an important analytic method for crystal structure determination of samples not offering suitable single crystals. The indexation process is one of the critical bottlenecks for this method usage. Without determination of the crystal lattice parameters the structure solution cannot be done. Existing methods for indexation have problems with low quality data as well as with indexation of phase mixtures. The target of our work is to develop algorithm solving such situation by the help of more computational power expensive algorithms. Efficiency of algorithms should be also improved by parallel implementation.

Operace lineární algebry na klastru grafických karet

Numerical linear algebra for GPU clusters

Průzkum možností provádění operací lineární algebry na výpočetní platformě typu klastru grafických karet

Numerical linear algebra for GPU clusters using MPI (Message Passing Interface) library.

prof. Ing. Pavel Tvrdík, CSc.

$
0
0
Pracoviště
ČVUT FIT, Katedra počítačových systémů
Výzkumná skupina
Parallel and Distributed Computing Research Group
Osobní stránky
https://fit.cvut.cz/vyzkum/pdcg
E-mail
pavel.tvrdik@fit.cvut.cz
Telefon
+420 22435 9850

Formáty a algoritmy pro elastické distribuované matice

Formats and algorithms for elastic distributed matrices

V současné době existují knihovny algoritmů, které umožňují řešit rozsáhlé řídké soustavy lineárních rovnic na masivně paralelních superpočítačích a klastrech. Matice koeficientů jsou rozdělené a mapované do pamětí výpočetních uzlů těchto počítačů, kde jsou uloženy pomocí paměťových formátů pro řídké matice (sparse matrix storage formats, SMSF). Problematiku SMSF jsme shrnuli v přehledovém článku Langr, Tvrdik: Evaluation Criteria for Sparse Matrix Storage Formats. IEEE Trans. Parallel Distrib. Syst. 27(2): 428-440 (2016). U většiny aplikací se rozměry matice během výpočtu nemění. Existují ale třídy problémů, kde se během typicky iteračního výpočtu soustava rovnic mění. Například dochází k expanzi soustavy vkládáním nových řádků do matice koeficientů a přidáváním odpovídajících proměnných soustavy nebo naopak redukce soustavy ubíráním řádků z matice koeficientů. V případě symetrické matice koeficientů to znamená současné vkládání či odebírání jejich sloupců. Tento proces expanze či redukce se může během paralelního iterativního výpočtu opakovat.

Cílem dizertační práce je výzkum paměťově úsporných SMSF a výpočetně efektivních a škálovatelných metod pro práci s elastickými řídkými maticemi. Úkolem je navrhnout a implementačně ověřit vhodné mapovací funkce pro elastické matice na multiprocesorovém systému s distribuovanou pamětí, vnitřní SMSF a algoritmy pro přemapování expandujících nebo redukovaných matic. Práce na tomto projektu je podpořena 5letým projektem OP VVV CRI a studenti získají přístup a budou moci pracovat na nejvýkonnějších superpočítačích na světě.

Currently, there are several libraries of algorithms that allow to solve large sparse systems of linear equations on massively parallel supercomputers and clusters. Coefficient matrices are distributed and mapped among the memories of processing nodes of these computers where their nonzero elements are stored in sparse matrix storage formats (SMSFs). We have surveyed the state-of-the-art in SMSFs in article Langr, Tvrdik: Evaluation Criteria for Sparse Matrix Storage Formats. IEEE Trans. Parallel Distrib. Syst. 27(2): 428-440 (2016). In most applications the size of matrices during the computation remains fixed. However, there are classes of problems in which the set of equation during the computation changes dynamically. For example, the set of equations is expanded by adding new variables and by adding the corresponding new rows of coefficients into the coefficient matrix or reversely by removing some rows of the coefficient matrix. In case of a symmetric matrix this implies adding or removing of matrix columns. This process of expansion and reduction during a parallel iterative computation can repeat.

The goal of the dissertation thesis is the research of space efficient SMSFs and efficient a scalable methods for handling elastic sparse matrices. The goal is to design and verify by implementation good scalable mapping functions for elastic matrices on multiprocessor systems with distributed memory, inner SMSFs, and algorithms for remapping of expanding or reducing matrices. The work on this project is supported with 5year project OP VVV CRI and students get access and will work on the most powerful supercomputers of the world.

Paralelní algoritmy pro optimalizaci úĺožných formátů řídkých matic

Parallel algorithms for optimization of sparse matrix storage formats

Řídké matice se ukládají do paměti počítačů v souřadnicovém (COO) nebo řádkově komprimovaném (CSR) formátu. Kromě těchto základních formátů bylo vyvinuto mnoho dalších paměťových formátů pro řídké matice (sparse matrix storage formats, SMSF). Tuto problematiku jsme shrnuli v přehledovém článku Langr, Tvrdik: Evaluation Criteria for Sparse Matrix Storage Formats. IEEE Trans. Parallel Distrib. Syst. 27(2): 428-440 (2016). Vhodnost a vlastnosti jednotlivých SMSF pro různé třídy vědeckých výpočtů závisejí na struktuře řídké matice. Abychom minimalizovali např. paměťovou náročnost uložení velké řídké matice na paralelním počítači se sdílenou nebo distribuovanou pamětí, je vhodné převést řídké matice namapované na paralelní počítač z těchto základních SMSF na úspornější blokové formáty, což typicky znamená dekompozici na pokud možno husté čtvercové submatice pokud možno podobné velikosti. Úlohu transformace SMSF je třeba řešit pro rozsáhlé řídké matice, které jsou distribuovány v pamětech uzlů paralelního počítače. Výpočty nad řídkými maticemi dat jsou ze své podstaty iterační a vyžadují několik průchodů distribuovanými daty reprezentujícími strukturu řídké matice. Jejich klíčovou komponentou je řazení. Optimalizace velikosti bloků vyžaduje opakované paralelní řazení dat popisující strukturu řídkosti matice podle různých klíčů.

Cílem dizertační práce je výzkum paralelních algoritmů pro efektivní a škálovatelné transformace velkých řídkých matic v základních SMSF na blokové. Práce na tomto projektu je podpořena 5letým projektem OP VVV CRI a studenti získají přístup a budou moci pracovat na nejvýkonnějších superpočítačích na světě.

Sparse matrices are stored in computer memory in coordinate (COO) or compressed sparse row (CSR) formats. Except for these basic simple formats, a number of further sparse matrix storage formats (SMSF) were developed. We have surveyed the state-of-the-art in SMSFs in article Langr, Tvrdik: Evaluation Criteria for Sparse Matrix Storage Formats. IEEE Trans. Parallel Distrib. Syst. 27(2): 428-440 (2016). Suitability and properties of individual SMSF for various classes of scientific computing depend on the structure of sparse matrices. In order to minimize, e.g., the space complexity of storing a very large sparse matrix on a parallel computer with shared or distributed memory, it is useful to transform the sparse matrices from those basic SMSFs into more space-efficient block-based SMSFs. This typically means a decomposition into as dense as possible square submatrices of the same or close size. The SMSF transformation task is to be solved for big sparse matrices distributed across memories of computing nodes of a parallel system. The computations with sparse matrices are typically iterative and require several communication passes through distributed data representing the structure of a sparse matrix. Their key algorithmic component is sorting. The optimization of the block size requires repeated parallel sorting of data defining the sparse matrix structure by various keys.

The goal of the dissertation thesis is the research of parallel algorithms for efficient and scalable transformations of big sparse matrices in the basic SMSFs into block-based ones. The work on this project is supported with 5year project OP VVV CRI and students get access and will work on the most powerful supercomputers of the world.

Paralelní a distribuované algoritmy pro velmi rozsáhlé řídké matice 

Parallel and distributed algorithms for very large sparse matrices
Školitel specialista
Ing. Daniel Langr, Ph.D.

Moderní superpočítače jsou charakterizovány stálým růstem výpočetního výkonu díky zvyšujícímu počtu jader na procesor a vyšší integraci, přičemž paměťová kapacita stagnuje. Pro vysoce výkonné výpočty (High-Performance Computing, HPC) to znamená, že paměťová kapacita a latence neškáluje adekvátně nárůstu výpočetního výkonu. Náročné simulační výpočty a modelovaní dnes vedou na obrovské řídké matice, které se z výše popsaných důvodů se nevejdou do jejich hlavní paměti. Tato situace vede na řadu výzkumných problémů, jak takové výpočty realizovat. Téma dizertační práce zahrnuje výzkum nových algoritmů a reprezentací takových obrovských řídkých matic řešených na superpočítačích a výpočetních klastrech. Možná dizertační výzkumná témata jsou paralelní optimalizační heuristiky pro on-the-fly výpočty prvků takových řídkých matic bez nutnosti jejich ukládání na disk a do paměti, heuristiky pro dynamické ukládání výpočetně nejnáročnějších prvků nebo heuristiky pro vyvažování těchto optimalizovaných výpočtů v rámci jader a výpočetních uzlů. Výzkum je podpořen grantem OP VVV Výzkumné centrum informatiky.

Modern supercomputers are characterized by continuous growth of the computing performance due to increasing number of cores per processor and higher integration, while the memory capacity per node tends to stagnate. For high-performance computing (HPC) on modern supercomuters this technology trends imply that that the memory capacity and latency does not scale with the growth of the computational performance. High-performance simulations and modelling lead to huge sparse matrices that for the reasons above do not squeze into the main memory of supercomuters. The dissertation thesis focuses on the research of new algorithms and representation of such huge sparse matrices suitable for processing on supercomputers and clusters. Possible research topics include paralel optimization heuristics for on-the-fly computation of the matrix elements without the need to store them on the disks and into the memory, heuristics for dynamic storing of computationaly most demanding elements, or heuristics for load balancing of these optimized computations on CPU cores or computational nodes. This research is supported by the OP VVV grant Research Center of Informatics.

doc. Ing. Tomáš Vitvar, Ph.D.

$
0
0
Pracoviště
ČVUT FIT, Katedra softwarového inženýrství
Osobní stránky
http://vitvar.com
E-mail
tomas@vitvar.com

Semantický web

Semantic Annotation for Web Services

Principy a technologie propojených dat, životní cyklus propojených dat. Jazyky a nástroje pro publikování, propojování a využívání strukturovaných dat na webu, srovnání s webovými API. Jazyky pro reprezentaci sémantiky dat.

Odvozování v deskripční logice a jeho aplikace ve webovém prostředí. Vztah strukturovaných dat na webu a extrakce informací z textu/HTML

Principy moderních webových technologií

Web Service Discovery using methods of Collective Intelligence

Moderní architektornické styly pro návrh aplikací a služeb. Metody pro zajištění dobrého výkonu aplikací (škálovatelnost a dostupnost). Jazyky pro reprezentaci rozhraní aplikací na informační, procesní a technologické vrstvě. Metody pro analýzu sociálních sítí.

Viewing all 555 articles
Browse latest View live