Journal Articles

Author: From year: Years:
Title: Keywords:
Type:
  
2013Antal, L.: Méně známé slabiny WiFi, In: IT System, Vol. 2013, No. 1, Brno, CZ, p. 26-28, ISSN 1212-4567
 Antal, L.: Security of Enterprise Wireless Networks, In: PenTest Magazine, Vol. 3, No. 1, 2013, PL, p. 18-21, ISSN 2084-1116
 Barabas, M., Drozd, M.: Pokročilé formy útoků a jejich detekce, In: IT System, Vol. 2013, No. 1, Brno, CZ, p. 8-10, ISSN 1212-4567
 Barabas, M., Homoliak, I., Drozd, M., Hanáček, P.: Automated Malware Detection Based on Novel Network Behavioral Signatures, In: International Journal of Engineering and Technology, Vol. 5, No. 2, 2013, Singapore, SG, p. 249-253, ISSN 1793-8236
 Dubská, M., Herout, A., Havel, J.: Real-Time Precise Detection of Regular Grids and Matrix Codes, In: Journal of Real-Time Image Processing , Vol. 2013, No. 1, DE, p. 15, ISSN 1861-8200
 Havel, J., Herout, A., Dubská, M.: Vanishing Points in Point-to-Line Mappings and Other Line Parameterizations, In: Pattern Recognition Letters, Vol. 2013, No. 34, NL, p. 703-708, ISSN 0167-8655
 Hulík, R., Španěl, M., Smrž, P.: Continuous Plane Detection in Point-cloud Data Based on 3D Hough Transform, In: Journal of Visual Communication and Image Representation, Vol. 2013, No. 24, Amsterdam, NL, p. 1-10, ISSN 1047-3203
 Křena, B., Vojnar, T.: Automated formal analysis and verification: an overview, In: International Journal of General Systems, Vol. 2013, No. 42, Abingdon, GB, p. 335-365, ISSN 0308-1079
 Meduna, A., Zemek, P.: Generalized One-Sided Forbidding Grammars, In: International Journal of Computer Mathematics, Vol. 90, No. 2, 2013, GB, p. 172-182, ISSN 0020-7160
 Meduna, A., Zemek, P.: Left Random Context ET0L Grammars, In: Fundamenta Informaticae, Vol. 123, No. 3, 2013, Amsterdam, NL, p. 289-304, ISSN 0169-2968
 Meduna, A., Zemek, P.: On the Generation of Sentences with Their Parses by Propagating Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 477, No. 1, 2013, Paris, FR, p. 67-75, ISSN 0304-3975
 Očenášek, P., Švéda, M.: Communication in Business Information Systems - New Perspectives, In: International Academic Research Journal of Business and Management, Vol. 1, No. 7, 2013, AE, p. 87-92, ISSN 2227-1287
 Očenášek, P., Švéda, M.: Effective Design and Implementation of Distributed Business Information Systems, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 451-454, ISSN 1660-9336
 Očenášek, P., Švéda, M.: On the Effective Internet Communication Filtering, In: Applied Mechanics and Materials, Vol. 2013, No. 307, Zurich, CH, p. 478-481, ISSN 1660-9336
 Sekanina, L., Růžička, R., Vašíček, Z., Šimek, V., Hanáček, P.: Implementing a Unique Chip ID on a Reconfigurable Polymorphic Circuits, In: Information Technology And Control, Vol. 42, No. 1, 2013, Kaunas, LT, p. 7-14, ISSN 1392-124X
 Sekanina, L.: Ubiquity symposium: Evolutionary computation and the processes of life: evolutionary computation in physical world, In: Ubiquity, Vol. 2013, No. 2, US, p. 1-7, ISSN 1530-2180
 Strnadel, J.: Plánování úloh v systémech RT - IV: víceprocesorové prostředí, In: Automa, Vol. 19, No. 1, 2013, CZ, p. 44-46, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - V: zvyšování provozuschopnosti systémů, In: Automa, Vol. 19, No. 2, 2013, CZ, p. 46-49, ISSN 1210-9592
 Šátek, V., Vopěnka, V., Kunovský, J.: Application of the Modern Taylor Series Method to a multi-torsion chain, In: Simulation Modelling Practice and Theory, Vol. 2013, No. 33, CZ, p. 89-101, ISSN 1569-190X
 Žádník, M.: Optimization of network flow monitoring, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 5, No. 1, 2013, Bratislava, SK, p. 6, ISSN 1338-1237
2012Barabas, M., Drozd, M., Hanáček, P.: Behavioral signature generation using shadow honeypot, In: World Academy of Science, Engineering and Technology, Vol. 2012, No. 65, US, p. 829-833, ISSN 2010-376X
 Barabas, M., Drozd, M.: Jak na pokročilé útoky, In: SecurityWorld, Vol. 2012, No. 4, Praha, CZ, p. 20-20, ISSN 1802-4505
 Bartoš, V.: Detekce anomálií v datech o síťovém provozu, In: Trilobit, Vol. 2012, No. 2, CZ, p. 1-6, ISSN 1804-1795
 Bendl, J., Zendulka, J.: Integration System for Functional Annotation of Single Nucleotide Polymorphism, In: ElectroScope, Vol. 2012, No. 5, Plzeň, CZ, p. 5, ISSN 1802-4564
 Bidlo, M., Vašíček, Z.: Cellular Automaton as a Sorting Network Generator Using Instruction-Based Development, In: Lecture Notes in Computer Science, Vol. 2012, No. 7495, DE, p. 214-223, ISSN 0302-9743
 Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular (Tree) Model Checking, In: International Journal on Software Tools for Technology Transfer, Vol. 14, No. 2, 2012, DE, p. 167-191, ISSN 1433-2779
 Čermák, M., Horáček, P., Meduna, A.: Rule-restricted automaton-grammar tranduscers: Power and linguistic applications, In: Mathematics for Applications, Vol. 1, No. 1, 2012, Brno, CZ, p. 13-35, ISSN 1805-3610
 Čermák, M., Koutný, J., Meduna, A.: Parsing Based on n-Path Tree-Controlled Grammars, In: Theoretical and Applied Informatics, Vol. 2011, No. 23, 2012, Varšava, PL, p. 213-228, ISSN 1896-5334
 Češka, M., Fiedor, J., Gach, M.: A Novel Approach to Modechart Verification of Real-Time systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 559-567, ISSN 0302-9743
 Deoras, A., Mikolov, T., Kombrink, S., Church, K.: Approximate inference: A sampling based modeling technique to capture complex dependencies in a language model, In: Speech Communication, Vol. 2012, No. 8, Amsterdam, NL, p. 1-16, ISSN 0167-6393
 Dluhoš, O., Dvořák, R., Váňa, J., Drahanský, M.: Hand Surface as Biometric Identifier, In: Advanced Science and Technology Letters, Vol. 8, No. 7, 2012, Sandy Bay, AU, p. 351-356, ISSN 2287-1233
 Dolíhal, L., Hruška, T., Masařík, K.: Testing of an automatically generated compiler, Review of retargetable testing system, In: International Journal on Advances in Software, Vol. 2012, No. 1, US, p. 15-26, ISSN 1942-2628
 Drahanský, M., Doležel, M., Urbánek, J., Březinová, E., Kim, T., h.: Influence of Skin Diseases on Fingerprint Recognition, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 4, New York, US, p. 1-14, ISSN 1110-7243
 Dubská, M., Havel, J., Herout, A., Jošth, R.: Real-Time Detection of Lines using Parallel Coordinates and CUDA, In: Journal of Real-Time Image Processing , Vol. 2012, No. 12, DE, p. 1-12, ISSN 1861-8200
 Dudka, K., Müller, P., Peringer, P., Vojnar, T.: Predator: A Verification Tool for Programs with Dynamic Linked Data Structures, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 544-547, ISSN 0302-9743
 Dudka, K., Peringer, P., Vojnar, T.: An Easy to Use Infrastructure for Building Static Analysis Tools, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 527-534, ISSN 0302-9743
 Ďurfina, L., Kolář, D.: C Source Code Obfuscator, In: Kybernetika, Vol. 48, No. 3, 2012, CZ, p. 8, ISSN 0023-5954
 Dvořák, R., Zbořil, F., V.: On the usage of ELLAM to solve advection-diffusion equation describing the pollutant transport in planetary boundary layer, In: Acta Electrotechnica et Informatica, Vol. 2012, No. 1, SK, p. 44-48, ISSN 1335-8243
 Fiedor, J., Hrubá, V., Křena, B., Vojnar, T.: DA-BMC: A Tool Chain Combining Dynamic Analysis and Bounded Model Checking, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 5, ISSN 0302-9743
 Fiedor, J., Křena, B., Letko, Z., Vojnar, T.: A Uniform Classification of Common Concurrency Errors, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 519-526, ISSN 0302-9743
 Fiedor, J., Vojnar, T.: ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level, In: Lecture Notes in Computer Science, Vol. 2012, No. 7687, DE, p. 35-41, ISSN 0302-9743
 Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Formal Methods in System Design, Vol. 2012, No. 41, Berlin, DE, p. 83-106, ISSN 0925-9856
 Hain, T., Burget, L., Dines, J., Garner, P., N., Grézl, F., El, H., A., Huijbregts, M., Karafiát, M., Lincoln, M., Wan, V.: Transcribing Meetings with the AMIDA System, In: IEEE Transactions on Audio, Speech, and Language Processing, Vol. 20, No. 2, 2012, US, p. 486-498, ISSN 1558-7916
 Herout, A., Hradiš, M., Zemčík, P.: EnMS: Early non-Maxima Suppression, In: Pattern Analysis and Applications, Vol. 2012, No. 2, DE, p. 121-132, ISSN 1433-7541
 Horáček, P., Meduna, A.: Synchronous Versions of Regulated Grammars: Generative Power and Linguistic Applications, In: Theoretical and Applied Informatics, Vol. 24, No. 3, 2012, Varšava, PL, p. 175-190, ISSN 1896-5334
 Hrubá, V., Křena, B., Letko, Z., Ur, S., Vojnar, T.: Testing of Concurrent Programs with Genetic Algorithms, In: Lecture Notes in Computer Science, Vol. 2012, No. 7515, DE, p. 152-167, ISSN 0302-9743
 Chudý, P., Rzucidlo, P.: Analysis of Interactions between Pilot-Operator and Advanced Flight Control System, In: Solid State Phenomena, Vol. 1, No. 2, 2012, Dürnten, CH, p. 101-108, ISSN 1662-9779
 Iosif, R., Hojjat, H., Konečný, F., Kuncak, V., Rummer, P.: Accelerating Interpolants, In: Lecture Notes in Computer Science, Vol. 2012, No. 7561, DE, p. 187-202, ISSN 0302-9743
 Jaroš, J., Pospíchal, P.: A Fair Comparison of Modern CPUs and GPUs Running the Genetic Algorithm under the Knapsack Benchmark, In: Lecture Notes in Computer Science, Vol. 2012, No. 7248, DE, p. 426-435, ISSN 0302-9743
 Jošth, R., Antikainen, J., Havel, J., Herout, A., Zemčík, P., Hauta-Kasari, M.: Real-Time PCA Calculation for Spectral Imaging (using SIMD and GP-GPU), In: Journal of Real-Time Image Processing , Vol. 7, No. 2, 2012, DE, p. 95-103, ISSN 1861-8200
 Kočí, R., Janoušek, V.: Modeling and Simulation-Based Design Using Object-Oriented Petri Nets: A Case Study, In: CEUR Workshop Proceedings, Vol. 851, No. 06, 2012, DE, p. 253-266, ISSN 1613-0073
 Konečný, F., Hojjat, H., Iosif, R., Kuncak, V., Rummer, P., Garnier, F.: A Verification Toolkit for Numerical Transition Systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 7436, DE, p. 247-251, ISSN 0302-9743
 Konečný, F., Iosif, R., Bozga, M.: Deciding Conditional Termination, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 252-266, ISSN 0302-9743
 Korček, P., Sekanina, L., Fučík, O.: Calibrating Traffic Simulation Model using Vehicle Travel Times, In: Lecture Notes in Computer Science, Vol. 2012, No. 7495, DE, p. 807-816, ISSN 0302-9743
 Koutný, J., Meduna, A.: Tree-controlled Grammars with Restrictions Placed upon Cuts and Paths, In: Kybernetika, Vol. 48, No. 1, 2012, CZ, p. 165-175, ISSN 0023-5954
 Křena, B., Letko, Z., Vojnar, T.: Coverage Metrics for Saturation-based and Search-based Testing of Concurrent Software, In: Lecture Notes in Computer Science, Vol. 2012, No. 7186, DE, p. 177-192, ISSN 0302-9743
 Křena, B., Letko, Z., Vojnar, T.: Noise Injection Heuristics for Concurrency Testing, In: Lecture Notes in Computer Science, Vol. 2012, No. 7119, DE, p. 123-131, ISSN 0302-9743
 Lengál, O., Šimáček, J., Vojnar, T.: VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata, In: Lecture Notes in Computer Science, Vol. 2012, No. 7214, DE, p. 79-94, ISSN 0302-9743
 Machalík, S., Juránek, R., Zemčík, P.: Research of Imgae Features for Classification of Wear Debris, In: Machine Graphics and Vision, Vol. 21, No. 1, 2012, CZ, p. 1-15, ISSN 1230-0535
 Malačka, O., Samek, J., Zbořil, F., Zbořil, F., V.: Decision Making and Recommendation Protocol Based on Trust for Multi-Agent Systems, In: Lecture Notes in Computer Science, Vol. 2012, No. 7138, DE, p. 280-291, ISBN 978-3-642-28508-0, ISSN 0302-9743
 Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Advanced Science and Technology Letters, Vol. 2012, No. 4, Sandy Bay, AU, p. 258-263, ISSN 2287-1233
 Malčík, D., Drahanský, M.: Anatomy of Biometric Passports, In: Journal of Biomedicine and Biotechnology, Vol. 2012, No. 1, New York, US, p. 1-8, ISSN 1110-7243
 Malčík, D., Drahanský, M.: Microscopic Analysis of The Chips: Chips deprocessing, In: Advanced Science and Technology Letters, Vol. 2012, No. 7, Sandy Bay, AU, p. 80-85, ISSN 2287-1233
 Meduna, A., Zemek, P.: Controlled Pure Grammar Systems, In: Journal of Universal Computer Science, Vol. 18, No. 14, 2012, AT, p. 2024-2040, ISSN 0948-6968
 Meduna, A., Zemek, P.: Jumping Finite Automata, In: International Journal of Foundations of Computer Science, Vol. 23, No. 7, 2012, SG, p. 1555-1578, ISSN 0129-0541
 Meduna, A., Zemek, P.: Nonterminal Complexity of One-Sided Random Context Grammars, In: Acta Informatica, Vol. 49, No. 2, 2012, DE, p. 55-68, ISSN 0001-5903
 Meduna, A., Zemek, P.: One-Sided Forbidding Grammars and Selective Substitution Grammars, In: International Journal of Computer Mathematics, Vol. 89, No. 5, 2012, GB, p. 586-596, ISSN 0020-7160
 Navrátil, J., Kobrtek, J., Zemčík, P.: A Survey on Methods for Omnidirectional Shadow Rendering, In: Journal of WSCG, Vol. 20, No. 2, 2012, Plzeň, CZ, p. 89-96, ISSN 1213-6972
 Novosad, P., Češka, M.: Unfoldings of Bounded Hybrid Petri Nets, In: Lecture Notes in Computer Science, Vol. 2012, No. 6927, DE, p. 543-550, ISSN 0302-9743
 Očenášek, P., Hranáč, J.: Design of Authentication and Key Distribution Protocols with Routing Functionality, In: Journal of Information & Communication Technology, Vol. 5, No. 1, 2012, Karachi, PK, p. 1-11, ISSN 1816-613X
 Očenášek, P., Míchal, L.: Automation of Authentication and Key Distribution Schemes Design based on Trace Formulae, In: Applied Mechanics and Materials, Vol. 2012, No. 157, Zurich, CH, p. 870-873, ISSN 1660-9336
 Rozman, J.: Exploration and Traversable Area Marking for the VisualSLAM, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 1, 2012, Bratislava, SK, p. 10, ISSN 1338-1237
 Salvador, R., Vidal, A., Moreno, F., Riesgo, T., Sekanina, L.: Accelerating FPGA-based evolution of wavelet transform filters by optimized task scheduling, In: Microprocessors and Microsystems, Vol. 36, No. 5, 2012, Amsterdam, NL, p. 427-438, ISSN 0141-9331
 Samek, J.: Multi-contextual Trust Model for Multi-Agent Systems, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 1, 2012, Bratislava, SK, p. 44-54, ISSN 1338-1237
 Straka, M., Kaštil, J., Kotásek, Z., Mičulka, L.: Fault Tolerant System Design and SEU Injection based Testing, In: Microprocessors and Microsystems, Vol. 2013, No. 37, 2012, Amsterdam, NL, p. 155-173, ISSN 0141-9331
 Strnadel, J., Rajnoha, P.: Reflecting RTOS Model During WCET Timing Analysis: MSP430/FreeRTOS Case Study, In: Acta Electrotechnica et Informatica, Vol. 12, No. 4, 2012, SK, p. 17-29, ISSN 1335-8243
 Strnadel, J.: Plánování úloh v systémech RT - III: přetížení systému, In: Automa, Vol. 18, No. 12, 2012, CZ, p. 44-47, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - II: neperiodické úlohy, In: Automa, Vol. 18, No. 11, 2012, CZ, p. 44-46, ISSN 1210-9592
 Strnadel, J.: Plánování úloh v systémech RT - I: závislé úlohy, In: Automa, Vol. 18, No. 10, 2012, CZ, p. 42-45, ISSN 1210-9592
 Šátek, V., Kunovský, J., Kopřiva, J.: Advanced Stiff Systems Detection, In: Acta Electrotechnica et Informatica, Vol. 11, No. 4, 2012, SK, p. 66-71, ISSN 1335-8243
 Šátek, V.: Stiff Systems Analysis, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 4, No. 3, 2012, Bratislava, SK, p. 1-11, ISSN 1338-1237
 Šebek, M., Hlosta, M., Kupčík, J., Zendulka, J., Hruška, T.: Multi-level Sequence Mining Based on GSP, In: Acta Electrotechnica et Informatica, Vol. 2012, No. 2, SK, p. 31-38, ISSN 1335-8243
 Šikulová, M., Sekanina, L.: Acceleration of Evolutionary Image Filter Design Using Coevolution in Cartesian GP, In: Lecture Notes in Computer Science, Vol. 2012, No. 7491, DE, p. 163-172, ISBN 978-3-642-32936-4, ISSN 0302-9743
 Šimková, M., Lengál, O., Kajan, M.: HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware, In: Lecture Notes in Computer Science, Vol. 2012, No. 7261, DE, p. 247-253, ISSN 0302-9743
 Tejedor, J., Fapšo, M., Szőke, I., Černocký, J., Grézl, F.: Comparison of methods for language-dependent and language-independent query-by-example spoken term detection, In: ACM Transactions on Information Systems (TOIS), Vol. 2012, No. 30, New York, US, p. 1-34, ISSN 1046-8188
 Treeby, B., E., Jaroš, J., Rendell, A., P., Cox, B., T.: Modeling nonlinear ultrasound propagation in heterogeneous media with power law absorption using a k-space pseudospectral method, In: The Journal of the Acoustical Society of America, Vol. 2012, No. 131, US, p. 4324-4336, ISSN 1520-8524
 Veselý, V.: Extended Comparison Study on Merging PCAP Files, In: ElectroScope, Vol. 2012, No. 5, Plzeň, CZ, p. 1-6, ISSN 1802-4564
 Zendulka, J., Pešek, M.: Mining Moving Object Data, In: Central European Journal of Computer Science, Vol. 2, No. 3, 2012, DE, p. 183-193, ISSN 1896-1533
 Zuzaňák, J., Zemčík, P.: Script Language for Image Processing, In: Computing and Informatics, Vol. 2012, No. 31, Bratislava, SK, p. 1279-1293, ISSN 1335-9150
 Žaloudek, L., Sekanina, L.: Cellular automata-based systems with fault-tolerance, In: Natural Computing, Vol. 11, No. 4, 2012, Berlin, DE, p. 673-685, ISSN 1567-7818
2011Abdulla, P., A., Cederberg, J., Vojnar, T.: Monotonic Abstraction for Programs with Multiply-Linked Structures, In: Lecture Notes in Computer Science, Vol. 2011, No. 6945, DE, p. 125-138, ISSN 0302-9743
 Abdulla, P., A., Chen, Y., Clemente, L., Holík, L., Hong, C., Mayr, R., Vojnar, T.: Advanced Ramsey-based Büchi Automata Inclusion Testing, In: Lecture Notes in Computer Science, Vol. 2011, No. 6901, DE, p. 187-202, ISSN 0302-9743
 Antikainen, J., Havel, J., Jošth, R., Herout, A., Zemčík, P., Hauta-Kasari, M.: Non-Negative Tensor Factorization Accelerated Using GPGPU, In: IEEE Transactions on Parallel and Distributed Systems (TPDS), Vol. 2011, No. 1111, US, p. 7, ISSN 1045-9219
 Bouajjani, A., Bozga, M., Habermehl, P., Iosif, R., Moro, P., Vojnar, T.: Programs with Lists are Counter Automata, In: Formal Methods in System Design, Vol. 38, No. 2, 2011, Berlin, DE, p. 158-192, ISSN 0925-9856
 Burget, R., Burgetová, I.: Automatic annotation of online articles based on visual feature classification, In: International Journal of Intelligent Information and Database System, Vol. 5, No. 4, 2011, Geneva, CH, p. 338-360, ISSN 1751-5858
 Dittrich, P., Chudý, P.: Application of Kalman Filter to oversampled data from Global Position System, In: ElectroScope, Vol. 2011, No. 2, Plzeň, CZ, p. 6, ISSN 1802-4564
 Drahanský, M., Balitanas, M.: Cipher for Internet-based Supervisory Control and Data Acquisition Architecture, In: Journal of Security Engineering, Vol. 8, No. 3, 2011, DaeGu, KR, p. 337-348, ISSN 1738-7531
 Drahanský, M., Dvořák, R., Váňa, J.: Personenerkennung mittels 3D Handgeometrie, In: DuD - Datenschutz und Datensicherheit, Vol. 2011, No. 3, Wiesbaden, DE, p. 169-174, ISSN 1614-0702
 Dudka, K., Peringer, P., Vojnar, T.: Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic, In: Lecture Notes in Computer Science, Vol. 2011, No. 6806, DE, p. 372-378, ISSN 0302-9743
 Ďurfina, L., Křoustek, J., Zemek, P., Kolář, D., Hruška, T., Masařík, K., Meduna, A.: Design of a Retargetable Decompiler for a Static Platform-Independent Malware Analysis, In: International Journal of Security and Its Applications, Vol. 5, No. 4, 2011, Daejeon, KR, p. 91-106, ISSN 1738-9976
 Gajda, Z., Sekanina, L.: On Evolutionary Synthesis of Compact Polymorphic Combinational Circuits, In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 17, No. 6, 2011, Philadelphia, US, p. 607-631, ISSN 1542-3980
 Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Lecture Notes in Computer Science, Vol. 2011, No. 6806, DE, p. 424-440, ISSN 0302-9743
 Hanáček, P., Jurnečka, P.: Využitie grafických kariet na útoky silou, In: DSM Data Security Management, Vol. 15, No. 2, 2011, CZ, p. 10-13, ISSN 1211-8737
 Henzl, M., Hanáček, P.: NFC z pohledu bezpečnosti, In: DSM Data Security Management, Vol. 15, No. 3, 2011, CZ, p. 4, ISSN 1211-8737
 Herout, A., Jošth, R., Juránek, R., Havel, J., Hradiš, M., Zemčík, P.: Real-time object detection on CUDA, In: Journal of Real-Time Image Processing , Vol. 2011, No. 3, DE, p. 159-170, ISSN 1861-8200
 Holík, L., Lengál, O., Šimáček, J., Vojnar, T.: Efficient Inclusion Checking on Explicit and Semi-Symbolic Tree Automata, In: Lecture Notes in Computer Science, Vol. 2011, No. 6996, DE, p. 243-258, ISSN 0302-9743
 Horáček, J., Zbořil, F.: Secured Agent Platform for Wireless Sensor Networks, In: Lecture Notes in Computer Science, Vol. 2011, No. 4, DE, p. 476-485, ISBN 978-3-642-20038-0, ISSN 0302-9743
 Hrubý, M.: Designing a New Raster Sub-System for GRASS-7, In: Geoinformatics FCE CTU, Vol. 6, No. 1, 2011, CZ, p. 11-30, ISSN 1802-2669
 Kačic, M., Hanáček, P.: WPA2: Útoky z vnútra siete, In: DSM Data Security Management, Vol. 15, No. 4, 2011, CZ, p. 30-33, ISSN 1211-8737
 Kockmann, M., Burget, L., Černocký, J.: Application of speaker- and language identification state-of-the-art techniques for emotion recognition, In: Speech Communication, Vol. 53, No. 9, 2011, Amsterdam, NL, p. 1172-1185, ISSN 0167-6393
 Křivka, Z., Masopust, T.: Cooperating Distributed Grammar Systems with Random Context Grammars as Components, In: Acta Cybernetica, Vol. 20, No. 2, 2011, US, p. 269-283, ISSN 0324-721X
 Křoustek, J., Židek, S., Kolář, D., Meduna, A.: Scattered Context Grammars with Priority, In: International Journal of Advanced Research in Computer Science, Vol. 2, No. 4, 2011, Udaipur, IN, p. 1-6, ISSN 0976-5697
 Kubát, D., Drahanský, M.: Wireless Control of Intelligent Houses, In: International Journal of Control and Automation, Vol. 4, No. 3, 2011, Daejon, KR, p. 123-126, ISSN 2005-4297
 Květoňová, Š., Telmoudi, A.: Extended BSC Model (eBSC) Based on Complex Analysis of Business Environment, In: International Journal of Multidisciplinary Thought, Vol. 2011, No. 1, Boston, US, p. 153-157, ISSN 2156-6992
 Květoňová, Š., Telmoudi, A.: Extended BSC Model (eBSC) Based on Complex Analysis of Business Environment, In: Conference of the International Journal of Arts and Sciences, Vol. 2011, No. 6, Cumberland, US, p. 1-4, ISSN 1943-6114
 Lexa, M., Martínek, T., Burgetová, I., Kopeček, D., Brázdová, M.: A dynamic programming algorithm for identification of triplex-forming sequences, In: Bioinformatics, Vol. 27, No. 18, 2011, Oxford, GB, p. 2510-2517, ISSN 1367-4803
 Machalík, S., Juránek, R., Zemčík, P.: Automatická klasifikace částic opotřebení, In: Tribilogické informace, Vol. 2011, No. 1, CZ, p. 2, ISSN 1212-0081
 Meduna, A., Čermák, M., Masopust, T.: Some Power-Decreasing Derivation Restrictions in Grammar Systems, In: Schedae Informaticae, Vol. 2010, No. 19, 2011, Krakov, PL, p. 23-34, ISSN 0860-0295
 Meduna, A., Zemek, P.: One-Sided Random Context Grammars, In: Acta Informatica, Vol. 48, No. 3, 2011, DE, p. 149-163, ISSN 0001-5903
 Meduna, A., Zemek, P.: Workspace Theorems for Regular-Controlled Grammars, In: Theoretical Computer Science, Vol. 412, No. 35, 2011, Paris, FR, p. 4604-4612, ISSN 0304-3975
 Meduna, A., Židek, S.: Scattered Context Grammars Generating Sentences Followed by Derivation Trees, In: Theoretical and Applied Informatics, Vol. 2011, No. 2, Varšava, PL, p. 97-106, ISSN 1896-5334
 Minařík, M., Sekanina, L.: Evolution of Iterative Formulas Using Cartesian Genetic Programming, In: Lecture Notes in Computer Science, Vol. 2011, No. 6881, DE, p. 11-20, ISSN 0302-9743
 Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl IV. - Podpora autokonfigurace, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl VIII. - Přechodové mechanizmy, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 7, ISSN 1213-0702
 Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl VI. - Bezpečnostní mechanizmy, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 6, ISSN 1213-0702
 Podermański, T., Grégr, M.: IPv6 Mýty a skutečnost, díl V. - Zjednodušené hlavičky, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 6, ISSN 1213-0702
 Podermański, T., Veselý, V.: IPv6 Mýty a skutečnost, díl VII. - Podpora Multicast a anycast provozu, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 10, ISSN 1213-0702
 Podermański, T.: IPv6 Mýty a skutečnost, díl II. - Adresový prostor, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański, T.: IPv6 Mýty a skutečnost, díl IX. - Quo Vadis, IPv6?, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański, T.: IPv6 Mýty a skutečnost, díl I. - Jak jsme na tom, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Podermański, T.: IPv6 Mýty a skutečnost: díl III. - podpora end-to-end služeb, In: Lupa.cz, Vol. 2011, No. 1, Praha, CZ, p. 9, ISSN 1213-0702
 Povey, D., Burget, L., Agarwal, M., Akyazi, P., Ghoshal, A., Glembek, O., Goel, N., K., Karafiát, M., Rastrow, A., Rose, R., Schwarz, P., Thomas, S. et al: The subspace Gaussian mixture model-A structured model for speech recognition, In: Computer Speech and Language, Vol. 25, No. 2, 2011, Amsterdam, NL, p. 404-439, ISSN 0885-2308
 Pristach, M., Husár, A., Fujcik, L., Masařík, K., Hruška, T.: Digital Signal Soft- Processor for Audio and Video Processing, In: ElectroScope, Vol. 2011, No. 4, Plzeň, CZ, p. 1-5, ISSN 1802-4564
 Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D., Masařík, K., Husár, A.: Design and Simulation of High Performance Parallel Architectures Using the ISAC Language, In: GSTF International Journal on Computing, Vol. 1, No. 2, 2011, Singapur, SG, p. 97-106, ISSN 2010-2283
 Přikryl, Z., Křoustek, J., Hruška, T., Kolář, D.: Fast Translated Simulation of ASIPs, In: OpenAccess Series in Informatics (OASIcs), Vol. 16, No. 1, 2011, Wadern, DE, p. 93-100, ISSN 2190-6807
 Přikryl, Z.: Advanced Methods of Microprocessor Simulation, In: Information Sciences and Technologies Bulletin of the ACM Slovakia, Vol. 3, No. 3, 2011, Bratislava, SK, p. 1-13, ISSN 1338-1237
 Rozman, J., Zbořil, F., V.: Path planning and traversable area marking for stereo vision-based 3D map building, In: International Journal of Computational Vision and Robotics (IJCVR), Vol. 2, No. 4, 2011, Bhubaneswar, IN, p. 277-289, ISSN 1752-914X
 Salvador, R., Moreno, F., Riesgo, T., Sekanina, L.: Evolutionary Approach to Improve Wavelet Transforms for Image Compression in Embedded Systems, In: EURASIP Journal on Advances in Signal Processing, Vol. 2011, No. 2011, US, p. 1-20, ISSN 1687-6172
 Seeman, M., Zemčík, P., Juránek, R., Herout, A.: Fast bilateral filter for HDR imaging, In: Journal of Visual Communication and Image Representation, Vol. 2012, No. 1, 2011, Amsterdam, NL, p. 6, ISSN 1047-3203
 Sekanina, L., Komenda, T.: Global Control in Polymorphic Cellular Automata, In: Journal of Cellular Automata, Vol. 6, No. 4, 2011, Philadelphia, US, p. 301-321, ISSN 1557-5969
 Strnadel, J.: Návrh časově kritických systémů III: priorita úloh, In: Automa, Vol. 2011, No. 2, CZ, p. 50-52, ISSN 1210-9592
 Strnadel, J.: Návrh časově kritických systémů IV: realizace prostředky RTOS, In: Automa, Vol. 2011, No. 4, CZ, p. 58-60, ISSN 1210-9592
 Vanek, J., Beneš, B., Herout, A., Šťava, O.: Large-Scale Physics-Based Terrain Editing Using Adaptive Tiles on the GPU, In: IEEE Computer Graphics and Applications, Vol. 2011, No. 1, US, p. 10, ISSN 0272-1716
 Vašíček, Z., Sekanina, L.: Formal verification of candidate solutions for post-synthesis evolutionary optimization in evolvable hardware, In: Genetic Programming and Evolvable Machines, Vol. 12, No. 3, 2011, Berlin, DE, p. 305-327, ISSN 1389-2576
 Zemčík, P., Přibyl, B., Herout, A., Seeman, M.: Accelerated Image Resampling for Geometry Correction, In: Journal of Real-Time Image Processing , Vol. 6, No. 3, 2011, DE, p. 1-9, ISSN 1861-8200
 Žaloudek, L., Sekanina, L.: Increasing Fault-Tolerance in Cellular-Based Systems, In: Lecture Notes in Computer Science, Vol. 2011, No. 6714, DE, p. 234-245, ISSN 0302-9743

Your IPv4 address: 23.22.212.158
Switch to IPv6 connection

DNSSEC [dnssec]