13000 / 13136 - Department of Computer Science

Projects Supported by Grants 2012

Černý, T.: User interface generation through a code-inspection driven development

2012 - 2013, SGS12/147/OHK3/2T/13

Filipský, M.: Methods and Technologies for Testing of Web Software Systems

2012 - 2014, SGS12/192/OHK3/3T/13

Frajták, K.: Automated support of manual testing of web software systems based on formal model of the application

2011 - 2013, SGS11/157/OHK3/3T/13

Jakob, M.: SUstainable and PERsuasive Human Users moBility in future cities

2012 - 2014, 7E12065

Jakob, M.: Transport systems development centre

2012 - 2018, TE01020155

Komenda, A.: Trip to Pensacola Florida

2012 - 2012, N62909-12-1-4017

Kubr, J.: ELISA - Extensible Layer for Internet Services and Applications

2012 - 2013, SGS12/148/OHK3/2T/13

Malinský, R.: A Novel Web Metrics Based on Sentiment Analysis

2012 - 2013, SGS12/149/OHK3/2T/13

Mannová, B.: Electronic support of goftede and talented students

2012 - 2012, 13136/113/210051X

Mannová, B.: Realisation of U3A courses

2012 - 2012, 13136/102/300001X019

Moucha, A.: Ad-hoc and Senzor Networks Intercluster Communication through Distributed Phase-shift Beamforming

2011 - 2013, SGS11/158/OHK3/3T/13

Pěchouček, M.: Enhancement to AGENTFLY ATC Agent for Next Generation Air Transportation System

2011 - 2012, DTFACT-12-C-00001

Pěchouček, M.: Distributed Detection of Advanced Persistent Threats

2011 - 2013, W911NF-12-1-0028

Pěchouček, M.: Attacker Detection and Strategic Honeypot Allocation in Intrusion Detection System

2012 - 2013, N62909-12-1-7019

Pěchouček, M.: Planning and game theory methods in multiagent systems

2012 - 2013, SGS12/150/OHK3/2T/13

Pěchouček, M.: Support of the conference SS4CI 2012

2012 - 2013, N62909-12-1-1083

Pěchouček, M.: Towards Robust Multiagent Plans

2012 - 2013, FA8655-12-1-2096

Pěchouček, M.: Traffic Flow Modeling

2012 - 2013, N62909-12-1-7097

Pěchouček, M.: Multi-Agent Adversarial Modeling and Reasoning in NRL Sensors Research

2012 - 2013, N62909-12-1-7119

Pěchouček, M.: Security Games in Extensive Form

2012 - 2014, GAP202/12/2054

Pevný, T.: Real-time detection of anomalous events in a non-stationary environment

2012 - 2014, GPP103/12/P514

Qafmolla, X.: Modelling of web applications and services

2012 - 2012, SGS12/074/OHK3/1T/13

Rollo, M.: Telemetric systems and control algorithms for increased safety of light civil aircraft

2011 - 2013, TA01030847

Rudomilov, I.: Semantic P2P Search engine

2011 - 2012, SGS11/129/OHK3/2T/13

Vokřínek, J.: Agent-based Computing for Autonomic Road Transport Support Systems

2012 - 2015, LD12044

Železný, F.: Using and creating domain knowledge for classification in bioinformatic applications

2011 - 2013, SGS11/155/OHK3/3T/13

Železný, F.: Predicting Protein Properties Though Spatial Statistical Relational Machine Learning

2012 - 2014, GAP202/12/2032

Železný, F.: SUstainable PREdictive Maintenance for manufacturing Equipment

2012 - 2015, 314311