STAŽENÍ DOKUMENTU: zde

• FIT-M1401 Dodávka a montáž tabulí do učeben a kanceláří
• Výzva - dodávka HW

Lhůta pro podání nabídek: 6. 8. 2014 10:00

Termín realizace: 19. 9. 2014

FIT-M1401 zadávací dokumentace.zip

Rozvíjíme a aplikujeme metody zlepšující propojení firemní praxe s potenciálem moderních informačních technologií.
 
Uživatelé si často stěžují, že software nedělá to, co opravdu chtějí. Programátoři tvrdí, že uživatelé nevědí, co chtějí. Manažeři naříkají nad cenami vývoje software. Instituce s mnoha složitými procesy stojí spoustu peněz, času i energie. V našem centru studujeme a aplikujeme metody, které pomáhají propojení firemní praxe se světem moderních informačních technologií. Naším výzkumem pomáháme firmám, manažerům, uživatelům software, programátorům a softwarovým architektům.

Vedoucí
Ing. Robert Pergl, Ph.D.

Výzkumná témata vedoucího
konceptuální modelování, ontologie, podnikové inženýrství, implementace konceptuálních modelů, programovací paradigmata a jazyky

Další členové

• Ing. David Buchtela, Ph.D. (řízení informačních systémů) [information systems management]
• Prof. Ing. Jan Dohnal, CSc. (řízení informačních systémů) [information systems management]
• Mgr. Ondřej Dvořák (komponentový vývoje sofware) [component software development]
• Ing. Pavel Krejčí (řízení informačních systémů) [information systems management]
• Prof. Dr. Ing. Petr Kroha, CSc. (softwarové inženýrství a ontologie) [software engineering and ontologies]
• Mgr. Martin Podloucký (matematické základy konceptuálního modelování) [mathematical foundations of conceptual modelling]
• Ing. Zdeněk Rybola (OntoUML a softwarové inženýrství) [OntoUML and software engineering]
• Ing. Adam Šenk (databáze) [databases]
• Ing. Petr Špaček, Ph.D. (komponentový vývoje sofware) [component software development]
• Ing. Michal Valenta, Ph.D. (databáze) [databases]
• Ing. Dana Vynikarová, Ph.D. (řízení informačních systémů) [information systems management]

Výzkumná témata skupiny

• konceptuální modelování
• ontologie
• podnikové inženýrství
• information systems management
• formální specifikace
• databázové systémy
• programovací paradigmata a jazyky

Vyučované předměty - zkratky
BI-OMO, BI-ZPI, MI-MEP, BI-ADW, BI-SI1, BI-SP1, BI-SI2, BI-SP2, BI-SQL, MI-CIO, BI-DBS, MI-PDB, PI-DIG, PI-IRT, PI-TMN, PI-AWR

Odkazy

• Stránky skupiny: http://ccmi.fit.cvut.cz

Oceněné závěrečné práce

• Business Process Modeling and Simulation: DEMO, BORM and BPMN (Ing. Zuzana Vejražková, Ing. Robert Pergl, Ph.D., 3. místo v jedné z kategorií Diplomka roku 2013, ACM Spy ocenění),
• Applying OntoUML for structural definitions of Normalized Systems Expanders (Bc. Vincenc Kolařík, Ing. Robert Pergl, Ph.D., Cena děkana červen 2014),
• IT jako součást byznysu v modelu Management of Business Informatics (Ing. Pavel Krejčí, Prof. Ing. Jan Dohnal, Cena za vynikající diplomovou práci červen 2014),
• Latex export pro Dokuwiki (Bc. Adam Kučera, Ing. Robert Pergl, Ph.D., Cena děkana červen 2014)

Články

• Pergl, Robert, Tiago Prince Sales, and Zdeněk Rybola. 2013. “Towards OntoUML for Software Engineering: From Domain Ontology to Implementation Model.” In Proceedings of MEDI 2013, 3rd:249–63. Amantea, Italy: Springer. doi:10.1007/978-3-642-41366-7.
• Podloucký, Martin, and Robert. Pergl. 2014. “Towards Formal Foundation for the BORM OR Diagrams Validation and Simulation.” In ICEIS 2014 Proceedings (in Print). Springer Berlin Heidelberg.
• Pergl, Robert, Tiago Prince Sales, and Zdeněk Rybola. 2013. “Instance-Level Modelling and Simulation Revisited.” In Enterprise and Organizational Modeling and Simulation, 85 – 100. Valencia, Spain: Springer. doi:10.1007/978-3-642-41638-5_6.
• Pergl, Robert. 2011. “Supporting Enterprise IS Modelling Using Ontological Analysis.” Lecture Notes in Business Information Processing 88 LNBIP: 130–44.
• Adam Šenk, Michal Valenta, Wolfgang Benn: Distributed Evaluation of XPath Axes Queries over Large XML Documents Stored in MapReduce Clusters. In Wokshop on NoSQL Databases and Linked Data Applications on DEXA 2014, Munich, Germany.
• Pokroný, J. - Valenta, M.: Database Systems (in Czech). Česká technika - nakladatelství ČVUT. Praha. 2013. ISBN 978-80-01-05212-9.
• Strnad, P. - Valenta, M.: On Benchmarking Transaction Managers. In Database Systems for Advanced Applications DASFAA 2009 International Workshops: BenchmarX, MCIS, WDPP, PPDA, MBC, PhD, Brisbane, Australia, April 20 - 23, 2009. Berlin: Springer, 2009, p. 79-92. ISSN 0302-9743.ISBN 978-3-642-04204-1.
• Rybola, Z. - Richta, K.: Possible Realizations of Multiplicity Constraints. COMSIS - Computer Science and Information Systems. 2013, vol. 10, no. 4, p. 1621-1646. ISSN 1820-0214.
• Rybola, Z. - Richta, K.: Transformation of Special Multiplicity Constraints-Comparison of Possible Realizations. In Federated Conference on Computer Science and Information Systems (FedCSIS 2012). New York: IEEE, 2012, p. 1357-1364. ISBN 978-83-60810-48-4.
• Dohnal, J. - Příklenk O,: CIO a podpora byznysu s případovými studiemi CIO v ČR a SR, 1. vyd.
• Praha: GRADA PUBLISHING, 2011. 176 s. ISBN 978-80-247-4050-8.

Vyvíjíme přírodou inspirované algoritmy řešící složité problémy v data miningu a umělé inteligenci.
 
Skupina sdružuje akademické pracovníky a studenty několika pracovišť ČVUT zabívající se výzkumem algoritmů výpočetní inteligence, tedy přírodou inspirovanými algoritmy, strojovým učením, umělou inteligencí a jejím použitím v různých doménách, zejména pak v data miningu. Pomáháme firmám řešit problémy jako je predikce, klasifikace, doporučovací systémy nebo segmentace inteligentním způsobem, který díky přírodou inspirovaným metodám využívá strojového učení k vysoké míře automatizace řešení.

Vedoucí
Ing. Pavel Kordík, Ph.D.

Výzkumná témata vedoucího
Prediktivní modely, meta-učení, optimalizace, vizualizace informace

Další členové

• doc. RNDr. Ing. Marcel Jiřina, Ph.D.(Data mining, Text mining, zpracování obrazu)
• Ing. Tomáš Borovička (Aktivní učení)
• Ing. Tomáš Řehořek (Doporučovací systémy)
• Ing. Jan Černý (Prediktivní modelování)
• Ing. Tomáš Bartoň (Shlukování dat)
• Ing. Stanislav Kuznětsov (Velká data)
• Ing. Jan Motl (Předzpracování dat)

Výzkumná témata skupiny

• genetické algoritmy a programování
• meta učení, posilované učení
• spojitá optimalizace
• data mining
• text mining
• prediktivní modelování
• doporučovací systémy
• segmentace
• big data
• vizualizace informace

Vyučované předměty - zkratky
MI-MVI, MI-PDD, MI-ADM, BI-VZD, BI-ZUM,

Odkazy

• Stránky skupiny: http://cig.cvut.cz/

Oceněné závěrečné práce

• Selecting representative data sets (Ing. Tomáš Borovička, Ing. Pavel Kordík, PhD., 3. místo ACM Spy)

Články

• KORDÍK, P. and J. ČERNÝ. On performance of Meta-learning Templates on Different Datasets. In: The 2012 International Joint Conference on Neural Networks (IJCNN), Brisbane, Australia, June 10-15, 2012. World Congress of Computational Intelligence, Brisbane, 2012-06-10/2012-06-15. New York: IEEE, 2012, pp. 1-7. ISSN 1098-7576. ISBN 978-1-4673-1490-9.
• KORDÍK, P., J. KOUTNÍK, J. DRCHAL, O. KOVÁŘÍK, M. ČEPEK, and M. ŠNOREK. Meta-learning approach to neural network optimization. Neural Networks. 2010, 2010 (23)(4), 568-582. ISSN 0893-6080. Available from: http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6T08-4YP86P0-2...
• KORDÍK, P. and J. ČERNÝ. Self-organization of Supervised Models. In: DUCH, W., N. JANKOWSKI, and K. GRĄBCZEWSKI, eds. Meta-Learning in Computational Intelligence. London: Springer, 2011, vol. 1, pp. 179-223. Studies in Computational Intelligence. vol. 358. ISSN 1860-949X. ISBN 978-3-642-20979-6. Available from: http://www.springerlink.com/content/h607237h77uq7215/
• JIŘINA, M. Utilization of singularity exponent in nearest neighbor based classifier. Journal of Classification. 2013, 1(30), 3-29. ISSN 0176-4268.
• BOROVIČKA, T., M. JIŘINA, P. KORDÍK, and M. JIŘINA. Selecting Representative Data Sets [online]. In: Advances in Data Mining Knowledge Discovery and Applications. Rijeka: InTech - Open Access Company (InTech Europe), 2012, pp. 43-66. ISBN 978-953-51-0748-4. Available from: http://www.intechopen.com/books/advances-in-data-mining-knowledge-discov...
• KOVÁŘÍK, O. and P. KORDÍK. Max-min ant system with linear memory complexity. In:Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2012, Brisbane, Australia, June 10-15, 2012. World Congress of Computational Intelligence, Brisbane, 2012-06-10/2012-06-15. New York: IEEE, 2012, pp. 1-5. http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6241678. vol. 1. ISBN 978-1-4673-1509-8. Available from: http://dblp.uni-trier.de/rec/bibtex/conf/cec/KovarikK12
• HÁVA, O., M. SKRBEK, and P. KORDÍK. Document Classification with Supervised Latent Feature Selection. In: BURDESCU, D.D.B. and R.A. AKERKAR, and C.B. BĂDICĂ, eds. Proceedings of the 2nd International Conference on Web Intelligence, Mining and Semantics. International Conference on Web Intelligence, Mining and Semantics, Craiova, 2012-07-13/2012-07-15. New York: ACM, 2012, pp. 70-74. ISBN 978-1-4503-0915-8.
• ŘEHOŘEK, T. and P. KORDÍK. A Soft Computing Approach to Knowledge Flow Synthesis and Optimization. In: Soft Computing Models in Industrial and Environmental Applications. 7th International Conference on Soft Computing Models in Industrial and Environmental Applications, Ostrava, 2012-09-05/2012-09-07. Heidelberg: Springer, 2013, pp. 23-32. ISSN 2194-5357. ISBN 978-3-642-32921-0. Available from: http://link.springer.com/chapter/10.1007/978-3-642-32922-7_3
• BARTOŇ, T. and P. KORDÍK. Encoding time series data for better clustering results. In: INTERNATIONAL JOINT CONFERENCE CISIS'12 - ICEUTE'12 - SOCO'12 SPECIAL SESSIONS. 7th International Conference on Soft Computing Models in Industrial and Environmental Applications, Ostrava, 2012-09-05/2012-09-07. Berlin: Springer, 2013, pp. 467-475. Advances in Intelligent Systems and Computing. vol. 189. ISSN 2194-5357. ISBN 978-3-642-33017-9. Available from: http://link.springer.com/chapter/10.1007/978-3-642-33018-6_48
• KORDÍK, P. and J. ČERNÝ, Building Predictive Models in Two Stages with Meta-Learning Templates optimized by Genetic Programming; accepted for publication; proceedings of SSCI 2014, US

Zabýváme se návrhem a implementací hardwaru i softwaru pro vestavné aplikace a programovatelná zařízení (FPGA).
 
Zabýváme se výzkumem v oblasti číslicového návrhu, tzn. metodologií návrhu zařízení s ohledem na optimalizaci s řadou požadavků jako je velikost a rychlost, testovatelnost, parametry spolehlivosti a odolnost proti poruchám i útokům. Výzkum i výuka je zaměřena na konkrétní praktické projekty a experimentální ověřování dílčích výsledků v laboratořích vybavených programovatelnými prostředky (FPGA) a procesory včetně profesionálního návrhového softwaru.

Vedoucí
Doc. Ing. Hana Kubátová, CSc.

Výzkumná témata vedoucího
Modely a výpočty spolehlivosti, logická syntéza, architektura spolehlivých systémů, Petriho sítě.

Další členové

• Ing. Jan Schmidt, PhD (logická syntéza a optimalizace, FPGA návrhy)
• doc. Ing. Petr Fišer, PhD (logická syntéza, testování)
• Dr. Ing Martin Novotný (kryptografie, kryptanalýza, FPGA návrhy)
• Dipl.-Ing. Dr. techn. Stefan Ratschan (formal verification)
• Ing. Pavel Kubalík, Ph.D. (FPGA návrhy, rychlé bezdrátové komunikace)

Výzkumná témata skupiny

• Spolehlivost a diagnostika logických obvodů
• Systémy odolné proti poruchám
• Logická syntéza
• Kryptanalýza pomocí masivně paralelní struktury FPGA
• Aritmetické obvody pro kryptografii
• Formální verifikace

Vyučované předměty - zkratky
BI-CAO, BI-SAP-BI-JPO-BI-VES, BI-SRC, BI-PNO, BI-ZRS, BI-TUR, BI-ZIVS, MI-NFA, MI-PAA, MI-AAK, MI-SIM, MI-IVS, MI-TES.2, MI-TSP, MI-SOC, PI-PSC, PI-SCN

Odkazy
www.fit.cvut.cz/vyzkum/ddd

Oceněné závěrečné práce

• Návrh a vývoj pokročilé řídící jednotky lineárního motoru pro přesná laboratorní měření v biomechanice (doktorand Ing. Matěj Bartík, M. Novotný, cena děkana, poslano do ACMSPY)
• VHDL modul pro on screen display cena děkana v roce 2014 [VHDL module for on screen display] (studentka Bc. Dominika Pichlová, vedoucí Dr. Ing. Sven)

Články

• BALCÁREK, J., P. FIŠER, and J. SCHMIDT. Techniques for SAT-Based Constrained Test Pattern Generation. Microprocessors and Microsystems. 2013, 37(2), 185-195. ISSN 0141-9331.
• LEMBERSKI, I. and P. FIŠER. Dual-Rail Asynchronous Logic Multi-Level Implementation. Integration, the VLSI Journal. 2014, 47(1), 148-159. ISSN 0167-9260.
• SCHMIDT, J., P. FIŠER, and J. BALCÁREK. The influence of implementation type on dependability parameters. Microprocessors and Microsystems. 2013, 6-7(37), 641-648. ISSN 0141-9331 GUENEYSU, T., T. KASPER, M. NOVOTNÝ, C. PAAR, and A. RUPP. Cryptanalysis with COPACOBANA. IEEE Transactions on Computers. 2008, 57(11), 1498-1513. ISSN 0018-9340. Available from: http://www.copacobana.org/paper/TC_COPACOBANA.pdf
• FIŠER, P., J. SCHMIDT, and J. BALCÁREK. Sources of Bias in EDA Tools and Its Influence. In: Proceedings of the 2014 IEEE 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems. 17th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS), Warsaw, 2014-04-23/2014-04-25. Piscataway: IEEE, 2014, pp. 258-261. ISBN 978-1-4799-4560-3.
• VÍT, P., J. BORECKÝ, M. KOHLÍK, and H. KUBÁTOVÁ. Fault Tolerant Duplex System with High Availability [online]. In: Proceedings of 2014 17th Euromicro Conference. 17th Euromicro Conference on Digital Systems Design, Verona, 2014-08-27/2014-08-29. Piscataway: IEEE, 2014, pp. 320-325. ISBN 978-1-4799-5793-4.
• KYNCL, J., A. HARIRAM, and M. NOVOTNÝ. On Measurement of Synchronous Phasors in Electrical Grids. In: ISCAS 2013 Conference Proceedings. International Symposium on Circuits and System, Peking, 2013-05-19/2013-05-23. Piscataway: IEEE, 2013, pp. 2972-2975. ISSN 0271-4302. ISBN 978-1-4673-5760-9.
• BUČEK, J., P. KUBALÍK, R. LÓRENCZ, and T. ZAHRADNICKÝ. Dedicated Hardware Implementation of a Linear Congruence Solver in FPGA. In: The 19th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2012. 19th IEEE International Conference on Electronics, Circuits, and Systems, Seville, 2012-12-09/2012-12-12. Monterey: IEEE Circuits and Systems Society, 2012, pp. 689-692. ISBN 978-1-4673-1261-5.
• BORECKÝ, J., M. KOHLÍK, P. KUBALÍK, and H. KUBÁTOVÁ. Fault Models Usability Study for On-line Tested FPGA. In: KITSOS, P., eds. Proceedings of the 14th Euromicro Conference on Digital System Design. 14th Euromicro Conference on Digital System Design, Oulu, 2011-08-31/2011-09-02. Los Alamitos: IEEE Computer Society Press, 2011, pp. 287-290. ISBN 978-0-7695-4494-6.
• KUBÁTOVÁ, H. and P. KUBALÍK. Fault-tolerant and fail-safe design based on reconfiguration. In: UBAR, R. U., et al., eds. Design and Test Technology for Dependable Systems-on-Chip. Hershey, Pennsylvania: IGI Global, 2011, pp. 175-194. ISBN 978-1-60960-212-3. Available from: http://www.igi-global.com/embeddedcontent.aspx?PageCode=WGSLd

Síťová bezpečnost

Vedoucí
Mgr. Rudolf B. Blažek, Ph.D.

Odkazy

• Kontaktní email skupiny: www.fit.cvut.cz/vyzkum/nsg
• Místnost: A1424

Články

• Benáček, P., Blažek, R.B., Čejka, T., Kubátová, H.: "Change-Point Detection Method on 100 Gb/s Ethernet Interface", ACM/IEEE Symposium on Architectures for Networking and Communications Systems 2014 (ANCS2014), Marina del Rey, CA, USA, 2014
• Čejka, T., Kekely, L., Benáček, P., Blažek, R.B., Kubátová, H.: "FPGA Accelerated Change-Point Detection Method for 100 Gb/s Networks", Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS), 2014 (will be published in Oct. 2014)
• Čejka, T., Rosa, Z., Kubátová, H.: "Stream-wise Detection of Surreptitious Traffic over DNS", 19th IEEE International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (IEEE CAMAD 2014), Athens, Greece, 2014 (will be published in Dec. 2014)
• Blazek, R.B., and Lee, C.C.: "Multi-resolution linear model comparison for detection of dicrotic notch and peak in blood volume pulse signals." Proceedings of Biosignal 2010: Analysis of Biomedical Signals and Images 20 (2010), 378–386. ISBN: 978-80-214-4106-4, ISSN: 1211-412X
• Blazek, R.B., and Hong, W.: "Robust hierarchical linear model comparison for End-of-Utterance detection under noisy environments." ISBAST 2012, International Symposium on Biometrics and Security Technologies (2012). ISBN: 978-076954696-4

Naším cílem je vylepšení existujících síťových technologii a vývoj nových technologii.
 
Pracujeme se sítěmi, komunikačními protokoly a různými typy sítí od kabelových k bezdrátovým. Zajímá nás všechno, co může posílat nuly a jedničky, co nejrychleji a nejspolehlivěji z místa A do místa B. Řešíme bezpečnost a směrování v ad-hoc sítích, rádiovou komunikaci pod horizontem (na větší vzdálenosti než maximální komunikační vzdálenost), samo-konfigurační sítě, odolné a takzvané non-selfish systémy.

Vedoucí
Ing. Alexandru Moucha, Ph.D.

Výzkumná témata vedoucího
síťové technologie, ad-hoc sítě, bezpečnost, rádio, bezdrátové, anténní pole

Další členové

• Ing. Viktor Černý (ad-hoc sítě, rádiové, bezdrátové, tvarování rádiových paprsků, beamforming, anténní pole)
• Ing. Yelena Trofimova (ad-hoc sítě, bezpečnost, rádiové, bezdrátové)

Výzkumná témata skupiny

• Ad-hoc sítě
• Rádiové sítě
• Distribuované anténní pole
• Bezpečnost ad-hoc sítí
• Anizotropie radiových telekomunikací

Vyučované předměty - zkratky
MI-MTI, MI-BPS, BI-PSI, BI-ST1, BI-ST2, BI-ST3, BI-ST4, MIE-MTI, MIE-BPS, BIE-PSI

Odkazy

• Stránky skupiny: http://www.moucha.org/

Články

• PATENT: A. Moucha, V. Cerny, J. Kubr. Distributed System for Beamforming. Granted, Reg. No. 2011-25254 / 2011-785, 2011.
• A. Moucha, V. Cerny. Anisotropic Antenna Collaborative Beamforming in Ad- Hoc Networks: Beyond Horizon Communication. Proceedings of the International Wireless Communications and Mobile Computing IWCMC conference, ACM, ISBN 978-1-4503-0062-9, 2010.
• A. Moucha, J. Gattermayer. Cluster Discovery in Phase-Shift Beamformed Ad- Hoc and Sensor Networks. Proceedings of the International Wireless Communications and Mobile Computing IWCMC conference, IEEE, ISBN 978-1-4244- 9539-9, 2011.
• A. Moucha, V. Cerny. Anisotropic Antenna Collaborative Beamforming in Ad- Hoc Networks: Beyond Horizon Communication. Proceedings of the International Wireless Communications and Mobile Computing IWCMC conference, ACM, ISBN 978-1-4503-0062-9, 2010.
• A. Moucha, V. Cerny. Interference in Anisotropic Antenna Topology Controlled Ad-Hoc and Sensor Networks. Proceedings of the IEEE 2010 International Con- ference on Wireless Communications and Signal Processing WCSP, IEEE, E- ISBN 978-1-4244-7554-4, ISBN 978-1-4244-7556-8, 2010. Best paper award.
• A. Moucha, V. Cerny, J. Kubr. Distributed Phase-Shift Beamformed Power Balancing in Ad-Hoc and Sensor Networks. Proceedings of the International Conference on Telecommunication Systems Management ICTSM, IEEE, ISBN 978-0-9820958-4-3, 2011.
• A. Moucha, V. Cerny. A More Realistic Approach towards Ad-Hoc Networks Simulation. Proceedings of the International conference Modelling and Simulation of Systems MOSIS, ISBN 978-80-86840-51-2, 2010.
• A. Moucha, V. Cerny. Interference in Ad-Hoc Wireless Networks. Proceedings of the CVUT Poster, 2009.

Provádíme výzkum efektivních a škálovatelných datových struktur a algoritmů pro nejmodernější a nejvýkonnější výpočetní systémy.
 
Naše skupina řeší výzkumné otázky výpočtů, které pro svoji výpočetní či paměťovou náročnost vyžadují zapojení mnoha procesorů či samostatných počítačů. Zaměřujeme se na nejmodernější paralelní a distribuované výpočetní systémy, které se sestávají z tisíců výpočetních uzlů. Zabýváme se jak vlastními datovými strukturami a algoritmy pro vybrané aplikační oblasti, tak výzkumem architektur těchto rozsáhlých vysoce výkonných výpočetních systémů.

Vedoucí
Prof. Ing. Pavel Tvrdík, CSc.

Výzkumná témata vedoucího
masivně paralelní algoritmy, cluster computing, interconnection networks

Další členové

• Ing. Ivan Šimeček, Ph.D. (GPU výpočty, formáty řídkých matic)
• Ing. Daniel Langr (Paralelní algoritmy a datové struktury pro velmi rosáhlé řídké matice)
• Ing. Josef Gattermayer (Plánování a migrace výpočtů v nededikovaných P2P výpočetních klastrech) 
• Ing. Radek Ludačka (Plánování výpočtů a přidělování prostředků v rozsáhlých výpočetních gridech)
• Ing. Jiří Kašpar (Vícevláknové procesory)

Výzkumná témata skupiny

• Velmi rozsáhlé řídké matice
• Škálovatelné masivně paralelní algoritmy
• GPGPU výpočty
• Nededikované P2P výpočetní klastry
• Výpočetní gridy
• Distribuované plánování výpočtů

Vyučované předměty - zkratky
PI-PPA, PI-VAP, MI-PAR, MI-PPR, MI-MPS, MI-PAP, MI-PRC, BI-EFA, BI-EIA

Odkazy

• Podrobné stránky skupiny: http://pcg.fit.cvut.cz/

Oceněné závěrečné práce

• Massively parallel algorithms and data structures for sparse matrices (Ing. Daniel Langr, Prof. Ing. Pavel Tvrdík CSc., 2. místo v prestižní celostátní soutěži Cena Josepha Fouriera za počítačové vědy)

Články

• D. LANGR, P. TVRDÍK, T. DYTRYCH, and J.P. DRAAYER: Paraperm: Parallel generation of random permutations with MPI. ACM Transactions on Mathematical Software, accepted 2014.
• D. LANGR, I. ŠIMEČEK, P. TVRDÍK, and T. DYTRYCH. Large-Scale Visualization of Sparse Matrices. Scalable Computing: Practice and Experience. 2014, 15(1), 21-31. ISSN 1895-1767. Dostupné z: http://www.scpe.org/index.php/scpe/article/view/963
• ŠIMEČEK, I., D. LANGR, a P. TVRDÍK. Tree-based Space Efficient Formats for Storing the Structure of Sparse Matrices. Scalable Computing: Practice and Experience. 2014, 15(1), 1-20. ISSN 1895-1767. Dostupné z: http://www.scpe.org/index.php/scpe/article/view/962
• LANGR, D., P. TVRDÍK, I. ŠIMEČEK, a T. DYTRYCH. Downsampling Algorithms for Large Sparse Matrices. International Journal of Parallel Programming. 2014, ISSN 0885-7458. Dostupné z: http://link.springer.com/article/10.1007%2Fs10766-014-0315-8#
• D. LANGR, I. ŠIMEČEK, P. TVRDÍK, adn T. DYTRYCH. Scalable Parallel Generation of Very Large Sparse Benchmark Matrices. In: Parallel Processing and Applied Mathematics. 10th International Conference on Parallel Processing and Applied Mathematics, Warsaw, 2013-09-08/2013-09-11. Berlin: Springer-Verlag, 2014, díl 1, s. 178-187. Lecture Notes in Computer Science. sv. 8384. ISSN 0302-9743. ISBN 978-3-642-55223-6. Dostupné z: http://80.link.springer.com.dialog.cvut.cz/chapter/10.1007/978-3-642-552...
• J. GATTERMAYER and P. TVRDÍK. Porting Clondike to Heterogeneous Platforms. In: NITIN, DN a PG GHRERA, eds. 2012 2nd IEEE International Conference On Parallel, Distributed and Grid Computing. The Second IEEE International Conference on Parallel, Distributed and Grid Computing, Waknaghat, 2012-12-06/2012-12-08. Waknaghat: IEEE, 2012, s. 380-384. ISBN 978-1-4673-2922-4. Dostupné z: http://www.juit.ac.in/pdgc-2012
• J. GATTERMAYER and P. TVRDÍK. Different Approaches to Distributed Compilation. In: Parallel and Distributed Processing Symposium Workshops & PhD Forum (IPDPSW), 2012 IEEE 26th International. 26th IEEE International Parallel & Distributed Processing Symposium, Shanghai, 2012-05-21/2012-05-25. Los Alamitos, CA: IEEE Computer Soc., 2012, s. 1128-1134. ISBN 978-1-4673-0974-5. Dostupné z: http://www.ipdps.org/ipdps2012/index.html
• I. ŠIMEČEK, D. LANGR, and P. TVRDÍK. Minimal Quadtree Format for Compression of Sparse Matrices Storage. In: Proceedings of 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2012). 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2012-09-26/2012-09-29. Los Alamitos: IEEE Computer Society, 2012, s. 359-364. SYNASC'12. ISBN 978-0-7695-4934-7.
• L. BUŠ and P. TVRDÍK. Towards auction algorithms for large dense assignment problems. Computational Optimization and Applications. 2009, 43(3), 411-436. ISSN 0926-6003.
• M. ŠŤAVA and P. TVRDÍK. Security System for Overlapping Non-dedicated Clusters. In: XIAOFEI, L., J. HAI, Z. RAN, a Z. DEQING, eds. 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications. 2009 IEEE International Symposium on Parallel and Distributed Processing with Applications, Chengdu, 2009-08-09/2009-08-12. Los Alamitos: IEEE Computer Society, 2009, s. 272-281. ISBN 978-0-7695-3747-4.

Vyvíjíme algoritmy pro zpracování řetězců, posloupností a stromů a aplikujeme je v oblastech jako je bioinformatika a komprese dat.
 
Výzkumná skupina s téměř dvacetiletou tradicí začala s řešením klasických problémů vyhledávání. S rozvojem v dalších oblastech vědy se objevují větší a větší výzvy. Takové výzvy obsahují uložení a indexování velkých objemů podobných dat. Tyto úlohy přicházejí z oblasti bioinformatiky a souvisí s vývojem vysokoobjemových sekvenátorů.

Vedoucí
Doc. Ing. Jan Holub, Ph.D.

Výzkumná témata vedoucího
stringologie, bioinformatika, komprese dat, indexování

Další členové

• prof. Ing. Bořivoj Melichar, Dr.Sc.
• Ing. Miroslav Balík, Ph.D.
• Ing. Ondřej Guth,(stromové algoritmy, algoritmy na vyhledávání pravidelností v řetězcích)
• doc. Ing. Jan Janoušek, Ph.D. (stromové algoritmy, překladače)
• Ing. Luboš Krčál, (komprese dat, deduplikace, similarity search)
• Ing. Radomír Polách
• Ing. Petr Procházka, Ph.D., (komprese přirozeného textu, selfindexes)
• Ing. Jan Trávníček (stromové algoritmy)
• Ing. Ladislav Vagner, Ph.D.
• Ing. Jan Žďárek, Ph.D.

Výzkumná témata skupiny

• Vyhledávání
• Komprese dat
• Bioinformatika
• Stringologie
• Indexování

Vyučované předměty - zkratky
BI-AAG, MI-EVY, MI-AVY, MI-KOD, BI-PJP, MI-SYP, MI-GEN

Odkazy

• Stránky skupiny: http://www.stringology.org/

Oceněné závěrečné práce

• Luboš Krčál, Inkrementální komprese založená na clusterování (absolvoval v červnu 2014)

Články

• Procházka, P., Holub, J.: Compressing Similar Biological Sequences using FM-index. In A. Bilgin, M. W. Marcellin, J. Serra-Sagrista, J. A. Storer (eds.): Proceedings of Data Compression Conference 2014, IEEE Computer Society Press, pp. 312-321, 2014.
• Lahoda, J., Žďárek, J.: Simple Tree Pattern Matching for Trees in the Prefix Bar Notation. Discrete Applied Mathematics, Vol. 163, Part 3, pp. 343–351, Jan 2014.
• Procházka, P., Holub, J.: Compression of a Set of Files with Natural Language Content. The Computer Journal, 2014, available online.
• Procházka, P., Holub, J.: ODC: Frame for Definition of Dense Codes. European Journal of Combinatorics, Elsevier, Vol. 34, No. 1, pp. 52-68, 2013.
• Na, J. C., Park, H., Crochemore, M., Holub, J., Iliopoulos C. S., Mouchard, L., Park, K.: Suffix Tree of Alignment: An Efficient Index for Similar Data. Proceedings of the 24th Workshop on Combinatorial Algorithms (IWOCA 2013), Rouen, July 2013, LNCS 8288, Springer-Verlag, pp. 337-348, 2013.
• Žďárek, J., Melichar, B.: Tree-Based 2D Indexing. In Domaratzki, M., Salomaa, K. (Eds.): International Journal of Foundations of Computer Science (IJFCS), Special Issue Implementation and Application of Automata (CIAA 2010), vol. 22, no. 8, World Scientific, pp. 1893–1907, Dec. 2011.
• Holub, J.: The Finite Automata Approaches in Stringology. Kybernetika, Vol. 48 (3), pp. 386-401, 2012.
• Melichar, B., Janoušek, J., Flouri, T.: Arbology: Trees and pushdown automata. Kybernetika, Vol. 48 (3), pp. 401-428, 2012.
• Flouri, T., Holub, J., Iliopoulos, C.S., Pissis, S.P.: An algorithm for mapping short reads to a dynamically changing genomic sequence. Proceedings of IEEE International Conference on Bioinformatics and Biomedicine (BIBM 2010), IEEE Computer Society, pp. 133-136, 2010.
• Holub, J.: Finite Automata in Pattern Matching. In M. Elloumi, A. Y. Zomaya (eds.): Algorithms in Computational Molecular Biology: Techniques, Approaches and Applications, Wiley, pp. 51-71, 2011.

Výzkum a vývoj nových metod, nástrojů a technologií pro objevování, využívání a integraci informací a služeb na webu.
 
Výzkumná skupina vyvíjí a vyučuje moderní webové technologie a standardy pro efektivní využití informací a služeb na webu. Konkrétně se zabýváme algoritmy pro dolování dat z webu, analýzou sociálních sítí a návrhem a implementací moderních aplikací založených na nových typech infrastruktur a technologií middlewaru, webových služeb a cloud computingu.

Vedoucí
Doc. Ing. Tomáš Vitvar, Ph.D.

Výzkumná témata vedoucího
Sémantický web, webové služby

Další členové

• Ing. Milan Dojčinovski (Sémantický web, Linked Data, Information Retrieval, Webové služby)
• Ing. Jaroslav Kuchař (Sémantický web, Webová Analytika, Sociální výpočet, Personalizace a doporučování obsahu)
• Ing. Ivo Lašek (Sémanticý web, Linked Data, Information Retrieval)
• Ing. Radek Zunt (Crowdsourcing, Sémantický web)
• Ing. Jakub Klímek, Ph.D. (XML, modelování dat, integrace schémat, evoluce schémat)

Výzkumná témata skupiny

• Sémantický web
• Linked Data
• Webové služby
• Dolování dat z webu
• Extrakce informací
• Sociální výpočet
• Personalizace a doporučování obsahu
• Zpracování přirozeného jazyka

Vyučované předměty - zkratky
MI-W20, MI-MDW, MI-DDW, MI-SWE

Odkazy

• Stránky skupiny: http://www.fit.cvut.cz/en/research/wig

Články

• T. Vitvar, S. Vinoski, C. Pautasso: Programmatic Interfaces for Web Applications, IEEE Internet Computing, Volume 16, Number 4, 2012.
• T. Vitvar, J. Kopecky, J. Viskova, A. Mocan, M. Kerrigan, D. Fensel: Semantic Web Services with Lightweight Descriptions of Services, Advances in Computers, Volume 76, Elsevier, 2009.
• T. Vitvar, V. Peristeras, K. Tarabanis: Semantic Technologies for E-Government, Springer, 2009.
• M. Dojchinovski, J. Kuchar, T. Vitvar, M. Zaremba: Personalized Graph-based Selection of Web APIs, The 11th International Semantic Web Conference, Boston, USA, Springer, 2012.
• M. Zaremba, T. Vitvar, S. Bhiri, M. Hauswirth: Service Offer Discovery Using Genetic Algorithms, IEEE European Conference on Web Services, Lugano, Switzerland, IEEE CS Press, 2011.
• M. Zaremba, T. Vitvar, S. Bhiri, M. Hauswirth: Preference-based Discovery of Dynamically Generated Service Offers, The 8th International Conference on Services Computing, Washington DC, USA, IEEE CS Press, 2011.
• Kuchař J., Kliegr T. GAIN: web service for user tracking and preference learning – a SMART TV use case. In Proceedings of the 7th ACM Recommender Systems Conference (RecSys 2013), Hong Kong, China. ACM, New York, NY, USA, 467-468.
• J. Kuchař, T. Kliegr, Bag-of-Entities text representation for client-side (video) recommender systems. In First Workshop on Recommender Systems for Television and online Video (RecSysTV), ACM RecSys 2014 Foster City, Silicon Valley, USA, 6th-10th October 2014
• M. Dojchinovski, T. Vitvar: Personalized Access to Linked Data, The 19th International Conference on Knowledge Engineering and Knowledge Management, Linköping, Sweden, Springer, 2014.
• M. Dojchinovski, T. Kliegr: Entityclassifier.eu: Real-time Classification of Entities in Text with Wikipedia, The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Prague, Czech Republic, Springer, 2013.

Poskytujeme prostředí pro zobrazení multimédií o velmi vysokém rozlišení (8K+) a vzdálenou spolupráci prostřednictvím vysokorychlostní optické síťě.
 
SAGE Lab vznikla jako společné pracoviště sdružení CESNET, FIT ČVUT a FEL ČVUT. Laboratoř je vybavena panelem dělených LCD displejů řízených systémem SAGE s 8K+ rozlišením (9600 x 4320 px). Kromě výuky z vybraných předmětů z oblasti počítačové grafiky a sítí je laboratoř využívána pro prezentační činnost multimédií o vysokém rozlišení (fotografie, videa) a pro akce využívající teleprezentaci (vzdálené přednášky, vzdálená účast při obhajobách).

Vedoucí

• Ing. Jiří Chludil (za FIT ČVUT),
• Dr. Ing. Sven Ubik (za CESNET),
• Ing. Zdeněk Trávníček (za FEL)

Výzkumná témata vedoucího
počítačová grafika, uživatelské testování, uživatelské rozhraní

Další členové

• Ing. Jiří Melnikov
• Ing. Radek Richter

Výzkumná témata skupiny

• Vizualizace multimédií ve vysokém rozlišení 8K, 4K,
• Přenosy velkých objemů dat

Vyučované předměty - zkratky
MI-MAI a částečně BI-MGA, BI-SP1 a BI-SP2

Odkazy

• Stránky skupiny: http://sage.fit.cvut.cz/