Searching for "Genetic Programming"

Publications found (40):

NEAT in HyperNEAT Substituted with Genetic Programming

BUK, Z., J. KOUTNÍK, and M. ŠNOREK. NEAT in HyperNEAT Substituted with Genetic Programming. In: Adaptive and Natural Computing Algorithms. International Conference on Adaptive and Natural Computing Algorithms, Kuopio, 2009-04-23/2009-04-25. Heidelberg: Springer, 2009. p. 243-252. LNCS. ISSN 0302-9743. ISBN 978-3-642-04920-0.

Genetic Programming of Augmenting Topologies for Hypercube-Based Indirect Encoding of Artificial Neural Networks

DRCHAL, J. and M. ŠNOREK. Genetic Programming of Augmenting Topologies for Hypercube-Based Indirect Encoding of Artificial Neural Networks. 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. p. 63-72. ISSN 2194-5357. ISBN 978-3-642-32921-0. DOI 10.1007/978-3-642-32922-7_7.

Applications of Genetic Algorithms

KUBALÍK, J., et al. Applications of Genetic Algorithms. In: Proceedings of Workshop 2005 - Part A,B. WORKSHOP 2005, Praha, 2005-03-21/2005-03-25. Praha: Czech Technical University in Prague, 2005. p. 296-297. ISBN 80-01-03201-9.

Learning Semantic Web Usage Profiles by Using Genetic Algorithms

KUCHAŘ, J. and I. JELÍNEK. Learning Semantic Web Usage Profiles by Using Genetic Algorithms. International Journal on Information Technologies and Security. 2011, 3(4), 3-20. ISSN 1313-8251.

Two-Phase Genetic Algorithm for Social Network Graphs Clustering

KOHOUT, J. and R. NERUDA. Two-Phase Genetic Algorithm for Social Network Graphs Clustering. In: 27th International Conference on Advanced Information Networking and Applications Workshops. 27th IEEE International Conference on Advanced Information Networking and Applications, Barcelona, 2013-03-25/2013-03-28. Los Alamitos, CA: IEEE Computer Soc., 2013. p. 197-202. ISBN 978-0-7695-4952-1. DOI 10.1109/WAINA.2013.165.

Hybrid Genetic Algorithm for Heterogeneous Recurrent Neural Networks Construction

BUK, Z. and M. ŠNOREK. Hybrid Genetic Algorithm for Heterogeneous Recurrent Neural Networks Construction. In: International Mathematica User Conference 2008. Intrernational Mathematica User Conference 2008, Champaign, Illinois, 2008-10-23/2008-10-25. Champaign, Illinois: Wolfram Reasearch, Inc., 2008. p. 1-19. Available from: http://library.wolfram.com/infocenter/Conferences/7235/

Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling

CHLUMECKÝ, M., J. BUCHTELE, and K. RICHTA. Application of Random Number Generators in Genetic Algorithms to Improve Rainfall-Runoff Modelling. Journal of Hydrology. 2017, 553 350-355. ISSN 0022-1694. DOI 10.1016/j.jhydrol.2017.08.025.

RITA - a New Programming Environment

NEŠVERA, Š., J. DANĚČEK, and K. MÜLLER. RITA - a New Programming Environment. In: Workshop 95. Praha, 1995-01-23/1995-01-26. Praha: Czech Technical University in Prague, 1995. p. 221-222.

Inductive Logic Programming

ŽELEZNÝ, F. Inductive Logic Programming. In: SEEL, N., ed. Encyclopedia of the Sciences of Learning. Dordrecht: Springer, 2012. p. 1537-1539. ISBN 978-1-4419-1427-9.

Introduction to Computer Programming I

HALAŠKA, I. and M. BÍLÝ. Introduction to Computer Programming I. Praha: Czech Technical University in Prague, 1993. ISBN 80-01-00947-5.

Teaching Java and Object Programming

BLOCH, M. Teaching Java and Object Programming. In: MOLNAR, L. and M. BIELIKOVA, eds. Higher Education in Informatics. Smolenice, 1999-11-04/1999-11-05. Bratislava: STU v Bratislave, 1999. p. 81-83. ISBN 80-227-1276-0.

Learnability in Inductive Logic Programming

PALOUŠ, J. and F. ŽELEZNÝ. Learnability in Inductive Logic Programming. [Research Report] Praha: ČVUT FEL, Katedra kybernetiky, 2001. Report no. K333-12/01.

The Scope and Limitations of Inductive Logic Programming

ŽELEZNÝ, F., et al. The Scope and Limitations of Inductive Logic Programming. In: Proceedings of Workshop 2001. Workshop 2001, Praha, 2001-02-05/2001-02-07. Praha: Czech Technical University in Prague, 2001. p. 280-281. ISBN 80-01-02335-4.

PCSS3: Programming Contest Scoring System

KAČER, M. and B. MANNOVÁ. PCSS3: Programming Contest Scoring System. In: Competitive Learning Symposium. ACM International Collegiate Programming Contest World Finals 2008, Banff, AB, 2008-04-05/2008-04-10. Edmonton: University of Alberta, 2008. p. 121-124.

Global Cooperation Project in Computer Programming Course

MACEK, T., et al. Global Cooperation Project in Computer Programming Course. In: JOYCE, D., ed. The Proceedings of the Thirtieth SIGCSE Technical Symposium on Computer Science Education. ACM Technical Symposium on CSE, New Orleans, 1999-03-24/1999-03-28. New York: ACM, 1999. p. 208-211. ISBN 1-58113-085-6.

Global Cooperation Project in Computer Programming Course

KOLÁŘ, J., et al. Global Cooperation Project in Computer Programming Course. In: Proceedings of Workshop 99. Workshop 99, Praha, 1999-02-02/1999-02-03. Praha: Czech Technical University in Prague, 1999. p. 95.

Pollux - A Language for Distributed System Programming

JANEČEK, J. Pollux - A Language for Distributed System Programming. Microprocessing and Microprogramming. 1992, 34(1-5), 33-36. ISSN 0165-6074.

Notes on Pragmatic Agent-Programming with Jason

PÍBIL, R., et al. Notes on Pragmatic Agent-Programming with Jason. In: Programming Multi-Agents Systems. 9th International Workshop on Programming Multi-Agent Systems, Taipei, 2011-05-03. Heidelberg: Springer-Verlag, GmbH, 2012. p. 58-73. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-642-31914-3. DOI 10.1007/978-3-642-31915-0_4.

The multi-agent programming contest from 2005-2010

BEHRENS, T., et al. The multi-agent programming contest from 2005-2010. Annals of Mathematics and Artificial Intelligence. 2010, 59(3-4), 277-311. ISSN 1012-2443. DOI 10.1007/s10472-010-9219-5.

Constraint Logic Programming in Multi-Agent Systems

ROLLO, M. Constraint Logic Programming in Multi-Agent Systems. In: POSTER 2002 - Book of Extended Abstracts. POSTER 2002, ČVUT v Praze, FEL, 2002-05-23. Praha: České vysoké učení technické v Praze, Fakulta elektrotechnická, 2002. p. 41.

Probabilistic Rule Learning through Integer Linear Programming

ČERNOCH, R. and F. ŽELEZNÝ. Probabilistic Rule Learning through Integer Linear Programming. In: Sborník příspěvků 10. ročníku konference ZNALOSTI 2011. ZNALOSTI 2011, Stará Lesná, 2011-01-31/2011-02-02. Ostrava: VŠB-TUO, 2011. p. 45-53. ISBN 978-80-248-2369-0.

Inductive Logic Programming as a Tool for Knowledge Extraction

ŠTĚPÁNKOVÁ, O., et al. Inductive Logic Programming as a Tool for Knowledge Extraction. In: Proceedings of Workshop 99. Workshop 99, Praha, 1999-02-02/1999-02-03. Praha: Czech Technical University in Prague, 1999. p. 10.

CASTOR: A language Environment for Distributed Application Programming

JANEČEK, J. CASTOR: A language Environment for Distributed Application Programming. In: SOFSEM'93 - Conference Proceedings - Contributed Talks. SOFSEM 93, Hrdoňov, 1993-11-21/1993-12-03. Brno: Masarykova univerzita, ÚVT, 1993. p. 41-44.

Teachers' Training for New Programming Courses in Structured Study

KOLÁŘ, J., et al. Teachers' Training for New Programming Courses in Structured Study. In: Proceedings of Workshop 2003 (online). Workshop 2003, Praha, 2003-02-10/2003-02-12. Praha: Czech Technical University in Prague, 2003. p. 296-297. ISBN 80-01-02708-2. Available from: http://web.cvut.cz/ctu/research/workshop/ws2003.pdf

On Aspect-Oriented Programming in Adaptive User Interfaces

ŠEBEK, J., M. TRNKA, and T. ČERNÝ. On Aspect-Oriented Programming in Adaptive User Interfaces. In: Proceedings of the 2nd International Conference on Information Science and Security. The 2nd International Conference on Information Science and Security, Seoul, 2015-12-14/2015-12-16. Piscataway: IEEE, 2015. p. 147-151. ISBN 978-1-4673-8611-1. DOI 10.1109/ICISSEC.2015.7371024.

Inductive Logic Programming, 18th International Conference

ŽELEZNÝ, F. and N. LAVRAC, eds. Inductive Logic Programming, 18th International Conference. Prague, 2008-09-10/2008-09-12. Heidelberg: Springer, 2008. ISSN 0302-9743. ISBN 978-3-540-85927-7.

Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming

BARTÁK, R., O. KUŽELKA, and F. ŽELEZNÝ. Using Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming. In: Proceedings of the Twenty-Third International Florida Artificial Intelligence Research Society Conference. The 23rd International FLAIRS Conference, Daytona Beach, Florida, 2010-05-19/2010-05-21. Menlo Park, California: AAAI Press, 2010. p. 440-444. ISBN 978-1-57735-447-5.

The Multi-Agent Programming Contest: History and Contestants in 2009

The Multi-Agent Programming Contest: History and Contestants in 2009. Annals of Mathematics and Artificial Intelligence. 2010, 59(3-4), 275. ISSN 1012-2443. DOI 10.1007/s10472-010-9218-6.

Implementing a Wall-In Building Placement in StarCraft with Declarative Programming

ČERTICKÝ, M. Implementing a Wall-In Building Placement in StarCraft with Declarative Programming. [Research Report] 2013.

Sequential Quadratic Programming Methods for Parametric Nonlinear Optimization

KUNGURTSEV, V. and M. DIEHL. Sequential Quadratic Programming Methods for Parametric Nonlinear Optimization. Computational Optimization and Applications. 2014, 59(3), 475-509. ISSN 0926-6003. DOI 10.1007/s10589-014-9696-2.

Taming the Complexity of Inductive Logic Programming (invited talk)

ŽELEZNÝ, F. and O. KUŽELKA. Taming the Complexity of Inductive Logic Programming (invited talk). In: SOFSEM 2010: Theory and Practice of Computer Science, vol.1. SOFSEM 2010: 36th International Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, 2010-01-23/2010-01-29. Heidelberg: Springer, 2010. p. 132-140. LNCS. ISSN 0302-9743. ISBN 978-3-642-11265-2. DOI 10.1007/978-3-642-11266-9_11.

Usage of Aspect-Oriented Programming in Adaptive Application Structure

ŠEBEK, J. and K. RICHTA. Usage of Aspect-Oriented Programming in Adaptive Application Structure. In: New Trends in Databases and Information Systems. 20th East-European Conference on Advances in Databases and Information Systems, Praha, 2016-08-28/2016-08-31. Wien: Springer, 2016. p. 217-222. 637. ISSN 1865-0929. ISBN 978-3-319-44065-1. DOI 10.1007/978-3-319-44066-8_22.

Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming

BARTÁK, R., F. ŽELEZNÝ, and O. KUŽELKA. Constraint Satisfaction for Learning Hypotheses in Inductive Logic Programming. In: SEEL, N., ed. Encyclopedia of the Sciences of Learning. Dordrecht: Springer, 2012. p. 777-780. ISBN 978-1-4419-1427-9.

Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games

HORÁK, K. and B. BOŠANSKÝ. Dynamic Programming for One-sided Partially Observable Pursuit-evasion Games. In: HERIK, J.V.D., A.P. ROCHA, and J. FILIPE, eds. Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2. 9th International Conference on Agents and Artificial Intelligence, Porto, 2017-02-24/2017-02-26. Porto: SciTePress - Science and Technology Publications, 2017. p. 503-510. ISBN 978-989-758-220-2. DOI 10.5220/0006190605030510.

Guest editors' introduction: Special issue on Inductive Logic Programming (ILP 2008)

ŽELEZNÝ, F. and T. LAVRAČ. Guest editors' introduction: Special issue on Inductive Logic Programming (ILP 2008). Machine Learning. 2009, 76(1), 1-2. ISSN 0885-6125. DOI 10.1007/s10994-009-5120-z.

Inductive Logic Programming, 18th International Conference, Late Breaking Papers

ŽELEZNÝ, F. and N. LAVRAC, eds. Inductive Logic Programming, 18th International Conference, Late Breaking Papers. Prague, 2008-09-10/2008-09-12. Praha: Agentura Action M, 2008. ISBN 978-80-86742-26-7.

Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012)

Guest editors introduction: special issue on Inductive Logic Programming (ILP 2012). Machine Learning. 2014, 94(1), 1-2. ISSN 0885-6125. DOI 10.1007/s10994-013-5398-8.

Predicting Opponent’s Production in Real-Time Strategy Games with Answer Set Programming

STANESCU, M. and M. ČERTICKÝ. Predicting Opponent’s Production in Real-Time Strategy Games with Answer Set Programming. IEEE Transactions on Computational Intelligence and AI in Games. 2014, PP(99), ISSN 1943-068X. DOI 10.1109/TCIAIG.2014.2365414.

Logic Programming: Up-to-date Trends in Knowledge Based System Design and Implementation

PĚCHOUČEK, M. Logic Programming: Up-to-date Trends in Knowledge Based System Design and Implementation. [Unpublished Lecture] ČVUT FEL Katedra řídicí techniky. 1997-11-26.

Inductive Logic Programming, 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers

RIGUZZI, FR and F. ŽELEZNÝ, eds. Inductive Logic Programming, 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012, Revised Selected Papers. Dubrovnik, 2012-09-17/2012-09-19. Berlin: Springer, 2013. Lecture Notes in Computer Science. ISSN 0302-9743. ISBN 978-3-642-38811-8.

Courses found (93):

Programming interface of operating systems

Introduction into system programming for operating systems (OSs) Linux and MS Windows. Students learn about basic application programming interfaces (APIs) to OS kernels (file descriptors, semaphors, sockets, proceses, threads, access rights), about basic graphical APIs (windows and window management, X11, event driven programming), about basic OS libraries, and about principles of safe programming.

Problems and Algorithms

The student gains the ability to solve combinatorial problems in practice. Necessary parts of complexity theory, the theory of NP-hard problems and their approximation are presented in a simple manner, followed by the most popular class of heuristic algorithms. Practical assignments build up intuitive insight into the heuristics.

Problems and Algorithms

The student gains the ability to solve combinatorial problems in practice. Necessary parts of complexity theory, the theory of NP-hard problems and their approximation are presented in a simple manner, followed by the most popular class of heuristic algorithms. Practical assignments build up intuitive insight into the heuristics.

Problems and Algorithms

Many seemingly simple tasks cannot be solved using computers, because the time required would be longer than the life time of the machine. The course tells how to recognize such tasks and how to devise practically applicable methods for their solution. The mathematics used is minimised. Emphasis is put on methods applicable in engineering practice and on links and similarities of the methods.

Functional and Logic Programming

This course introduces students into the techniques of functional programming in the LISP (or more precisely SCHEME) and HASKELL language and logic programming in the PROLOG language. Both languages are declarative in that the programmer symbolically describes the problem to be solved, rather than enumerating the exact sequence of actions to be taken. In PROLOG, one describes the problem by specifying properties of objects and relations thereamong through logic formulas. In LISP, the problem description takes the form of function definitions. Both languages have found significant applications in artificial intelligence fields, such as agent systems or symbolic machine learning.

Functional and Logic Programming

This course introduces students into the techniques of functional programming in the LISP (or more precisely SCHEME) and HASKELL language and logic programming in the PROLOG language. Both languages are declarative in that the programmer symbolically describes the problem to be solved, rather than enumerating the exact sequence of actions to be taken. In PROLOG, one describes the problem by specifying properties of objects and relations thereamong through logic formulas. In LISP, the problem description takes the form of function definitions. Both languages have found significant applications in artificial intelligence fields, such as agent systems or symbolic machine learning.

Functional and Logic Programming

This course introduces students into the techniques of functional programming in the LISP (or more precisely SCHEME) and HASKELL language and logic programming in the PROLOG language. Both languages are declarative in that the programmer symbolically describes the problem to be solved, rather than enumerating the exact sequence of actions to be taken. In PROLOG, one describes the problem by specifying properties of objects and relations thereamong through logic formulas. In LISP, the problem description takes the form of function definitions. Both languages have found significant applications in artificial intelligence fields, such as agent systems or symbolic machine learning.

C Programming Language

The basic programming course in the C programming language. Data structures, expressions, and commands of C, standard libraries, the C language preprocessor. Connection to the operating system environment. Programming techniques in C.

Languages for Artificial Intelligence

The course is intended for those interested in functional and logic programming, which find most applications in solving problems of artificial intelligence (AI). The course offers a profound acquaintance with programming language Lisp and (to some level) with Prolog. Apart from classical operations on list structures in Lisp, some modern features of Common Lisp are included, as e.g. opeartions with vectors, hash tables as well as object-oriented programming in Lisp.

Languages for Artificial Intelligence

The course is intended for those interested in functional and logic programming, which find most applications in solving problems of artificial intelligence (AI). The course offers a profound acquaintance with programming language Lisp and (to some level) with Prolog. Apart from classical operation on list structures in Lisp, some modern features of Common Lisp are included, as e.g. opeartions with vectors, hash tables as well as object-oriented programming in Lisp.

Languages for Artificial Intelligence

The course is addressed to those interested in functional and logic programming, whose primary application domain is artificial intelligence (AI). It offers an acquaintance with programming languages Lisp and Prolog. As homework assignments, problems from AI, programming languages, and compiler construction are worked out. Usage of object oriented facilities of Common Lisp is welcome.

Programming 2

The course moves along the understanding of programming skills from Programming 1, the aim is to design an interactive application with a graphic user interface (GUI), with knowledge of polymorphism abstract classes, interfaces, events handling, applets, user libraries, library practical application. Further students continue by the comparative way in getting acquainted in C language on the base of Java language, dynamic memory management, students are able to analyze the simple programs in C language.

Programming in C

Programming

The course is an introduction into basics programming using using the Java language. Its core are data types, expressions, functions (exemplified by those at Java programming language), algorithms complexity evaluation, basics of programming techniques. In a comparative way the basic properties of language C are presented.

Programming in C/C++

Programming

The course is an introduction into basics programming using using the Java language. Its core are data types, expressions, functions (exemplified by those at Java programming language), algorithms complexity evaluation, basics of programming techniques. In a comparative way the basic properties of language C are presented.

Programming

The course is an introduction into basics programming using using the Java language. Its core are data types, expressions, functions (exemplified by those at Java programming language), algorithms complexity evaluation, basics of programming techniques. In a comparative way the basic properties of language C are presented.

Programming in C/C++

Programming 2

The course moves along the understanding of programming skills from Programming 1, the aim is to design an interactive application with a graphic user interface (GUI), with knowledge of polymorphism abstract classes, interfaces, events handling, applets, user libraries, library practical application. Further students continue by the comparative way in getting acquainted in C language on the base of Java language, dynamic memory management, students are able to analyze the simple programs in C language.

Programming 2

The course moves along the understanding of programming skills from Programming 1, the aim is to design an interactive application with a graphic user interface (GUI), with knowledge of polymorphism abstract classes, interfaces, events handling, applets, user libraries, library practical application. Further students continue by the comparative way in getting acquainted in C language on the base of Java language, dynamic memory management, students are able to analyze the simple programs in C language.

Programming 1

The aim of the course is to teach the students: basic interactions with user interface and to program development system, introduction to JAVA, basic control flow structures and data structures, functions, arrays, object-oriented programming concepts, streams and files. The students are able to construct and debug a simple program in Java.

Programming 1

The aim of the course is to teach the students: basic interactions with user interface and to program development system, introduction to JAVA, basic control flow structures and data structures, functions, arrays, object-oriented programming concepts, streams and files. The students are able to construct and debug a simple program in Java.

Programming 1

The aim of the course is to teach the students: basic interactions with user interface and to program development system, introduction to JAVA, basic control flow structures and data structures, functions, arrays, object-oriented programming concepts, streams and files. The students are able to construct and debug a simple program in Java.

Programming in the C++ Language

Basic course of programming in the C++ language. Students are expected to know how to write simple programs (in Java programming language) and have a basic knowledge of object modelling. They get acquaint with data types in C++, object oriented means, overloading, and with the other features of the C++ language.

Programming in the C++ Language

Basic course of programming in the C++ language. It is expected that students know to write simple programs in Java. They acquaint with data types in C++, object oriented means, overloading, templates, and with the other features of the C++ language.

Practical Programming in C/C++

Procedural Programming

Procedural Programming

Programming in Java

Programming in Java

The aim of this course is to offer a good level of a acquaintance with Java programming namely object approach, graphical user interface, telecommunications, internet, multimedia and database connections. Survey of C and C++ languages.

Programming in Java

The aim of this course is to offer a good level of a acquaintance with Java programming namely object approach, graphical user interface, telecommunications, internet, multimedia and database connections.

Programming Technology in C++

Advanced programming in C++. Container classes and iterators, Standard Template Library. Event driven programs, architecture of programs with graphical interface.

C Programming Language

The course provides complete knowledge of the C programming language regarding a program structure operation, memory access, and multi-thread applications. The course emphasis a ?good? programming style to develop clean, easy-to-read, and re-usable code. Students are introduced into the process of the source code compilation and active debugging. Lectures introduce basic code structures and demonstration applications which link together partial constructs and practical coding aiming for cleanliness and structure of the source code, computational efficiency optimized using code profiling and debugging. Students are introduced into the fundamental principles of parallel multi-thread programming, synchronization mechanism and multi-thread application models. The end of the course presents introduction to principles of object oriented programming and C++.

Programming in the C++ Language

Basic course of programming in the C++ language. It is expected that students know to write simple programs in Java. They acquaint with data types in C++, object oriented means, overloading, templates, and with the other features of the C++ language.

Programming in the C++ Language

Basic course of programming in the C++ language. It is expected that students know to write simple programs in Java. They acquaint with data types in C++, object oriented means, overloading, templates, and with the other features of the C++ language.

Programming Technology in C++

Advanced programming in C++. Container classes and iterators, Standard Template Library. Event driven programs, architecture of programs with graphical interface.

Programming Languages

Foundations of compilers. Methods of designing and implementing of lexical analysers, parsers and syntax directed translators. Semantic analysis and attribute grammars. Programming language structures and their implementation. Foundations of nonprocedural programming languages.

C++ Programming Language

Programming course in the C++ language for programmers in the C language. Type reference, function overloading. Object oriented programming in the C++. Operator overloading, templates, exceptions, name spaces. Object oriented libraries.

Programming in Java

The aim of this course is to offer a good level of a acquaintance with Java programming namely object approach, graphical user interface, telecommunications, internet, multimedia and database connections. Survey of C and C++ languages.

Functional Programming

This course introduces students into the techniques of functional programming, the advantages and disadvantages of this programming paradigm, and its use in practice. This approach is declarative in the sense that the programmer symbolically describes the problem to be solved, rather than specifying the exact sequence of operations required to solve it. It allows focusing on the essence of the solved problem and implementing even more complex algorithms compactly. Functional programming has notable advantages for parallelization and automated verification of algorithms, and the most useful functional programming concepts are increasingly often introduced to standard programming languages. Because of the focus of functional programming on symbols, rather than numbers, functional programming has been heavily used in in artificial intelligence fields, such as agent systems or symbolic machine learning.

Introduction to Programming

Programming in Java

Object Programming

Procedural Programming

Introduction to Programming

Programming in Java

Functional Programming

This course introduces students into the techniques of functional programming, the advantages and disadvantages of this programming paradigm, and its use in practice. This approach is declarative in the sense that the programmer symbolically describes the problem to be solved, rather than specifying the exact sequence of operations required to solve it. It allows focusing on the essence of the solved problem and implementing even more complex algorithms compactly. Functional programming has notable advantages for parallelization and automated verification of algorithms, and the most useful functional programming concepts are increasingly often introduced to standard programming languages. Because of the focus of functional programming on symbols, rather than numbers, functional programming has been heavily used in in artificial intelligence fields, such as agent systems or symbolic machine learning.

Programming in Mainframes

Introduction into the structure, operating systems and programming of IBM mainframes, ie. series S360/370 - z/System.

Programming in Java

The aim of this course is to offer a good level of a acquaintance with Java programming namely object approach, graphical user interface, telecommunications, internet, multimedia and database connections. Survey of C and C++ languages.

C++ Programming Language

Overview of the C language, C++ data types, definitions and declarations, expressions, statements, input/output, function declaration, function overloading, classes, simple inheritance, access control, statically and dynamically bound member functions, abstract classes, polymorphic data structures, multiple inheritance, operator overloading, exception handling, namespaces, function and class templates, dynamic data structures, complex programs in C++, programming under MS Windows, object oriented environments.

Programming Languages

Overview of PL and programming paradigms, implementation of PL, LL(1)grammars, recursive descent, procedural languages, data types and theirrepresentation, type checking, memory allocation, control structures,expressions, exception handling, subroutines, block and modular programstructure, object-oriented programming and languages, functional and logicprogramming and languages.

C Programming Language

Basic course in programming in the C language. Data, operational and control structures of C. Standard libraries. Preprocessor. Relations to an operating system. Programming techniques in C.

Programming Technology in C++

Advanced programming in C++. Container classes and iterators, Standard Template Library. Event driven programs, architecture of programs with graphical interface.

Object Programming

Programming Techniques

Program design paradigms, complexity of algorithms, sorting - taxonomy of methods, Shellsort, Heapsort, Quicksort, Radixsort, searching, hashing, binary search, binary trees, multidimensional trees, abstract data type specification and implementation (vector, linked list, dynamic free memory, array, table, list, relation, graph), logical and physical structure of files, sorting sequential files.

Programming in Java

The aim of this course is to offer a good level of a acquaintance with Java programming namely object approach, graphical user interface, telecommunications, internet, multimedia and database connections.

Programming in the C++ Language

Basic course of programming in the C and C++ languages. Students are expected to know how to write simple programs (in Java programming language) and have a basic knowledge of object modelling. They get acquaint with data types in C++, object oriented means, overloading, and with the other features of the C++ language.

Object Oriented Programming

Basics of the object-oriented paradigm, its mathematical theory on the abstract level usable for an object-oriented programming language or environment. Practical skills of programming in Smalltalk-80 language in Unix Workstations. Individual access to students via semestral projects (smaller running program in Smalltalk-80 and report).

Java Programming Technology

The course is on advanced technologies in the Java programming language. The focus is on technologies for development of enterprise information systems which are connected to a database and are accessed through the web interface. For more information, see http://service.felk.cvut.cz/courses/XE36TJV/

Programming Languages and Compilers

This course offers an overview of general features of programming languages and explanation of basic methods of language implementation. Design and programming of particular parts of compilers are supported by elements of the theory of grammars and automata. Simple programming language is designed and its compiler is written as an example.

Object Oriented Programming

Object Oriented Programming

Logical reasoning and programming

The course's aim is to explain selected significant methods of computational logic. These include algorithms for propositional satisfiability checking, logical programming in Prolog, and first-order theorem proving and model-finding. Time permitting, we will also discuss some complexity and decidability issues pertaining to the said methods.

Programming Languages and Compilers

This course offers an overview of general features of programming languages and explanation of basic methods of language implementation. Design and programming of particular parts of compilers are supported by elements of the theory of grammars and automata. Simple programming language is designed and its compiler is written as an example.

Introduction to Computers and Programming II A

Dynamic variables, pointer, lists, units in TurboPascal: units Crt, Dos, Graph. Objects in Turbo Pascal, basic programming techniques, abstract data types, object oriented programming, application software, Internet, databases, computer graphics, operating systems, theoretical computer science.

Java Programming Technology

Lectures refer to advanced programming technologies implemented by the Java language. Technologies for internet applications development, technologies for information systems development, design of advanced graphical user interfaces and rapid application development are discussed.

Programming Languages and Compilers

This course offers an overview of general features of programming languages and explanation of basic methods of language implementation. Design and programming of particular parts of compilers are supported by elements of the theory of grammars and automata. Simple programming language is designed and its compiler is written as an example.

Java Programming Technology

Lectures refer to advanced programming technologies implemented by the Java language. Technologies for internet applications development, technologies for information systems development, design of advanced graphical user interfaces and rapid application development are discussed.

Object Programming and Modeling

Object-oriented approach to software development prevails in all of its three phases: analysis, design and implementation. The aim of this course is to give the students a firm understanding of basic concepts and notions of object theory and sketch its formal foundations.

Object Oriented Programming

Programming Language Theory

Programming Languages Theory

Logical Reasoning and Programming

The course's aim is to explain selected significant methods of computational logic. These include algorithms for propositional satisfiability checking, logical programming in Prolog, and first-order theorem proving and model-finding. Time permitting, we will also discuss some complexity and decidability issues pertaining to the said methods.

Object Programming and Modeling

Object-oriented approach to software development prevails in all of its three phases: analysis, design and implementation. The aim of this course is to give the students a firm understanding of basic concepts and notions of object theory and sketch its formal foundations.

ACM Advanced Algorithmic and Programming Techniques II.

ACM Advanced Algorithmic and Programming Techniques III.

Programming Interface of Operating Systems

Introduction into system programming for operating systems OSs) Linux and MS Windows. Students learn about basic application programming interfaces (APIs) to OS kernels ( file descriptors, semaphors, sockets, proceses, threads, access rights), about basic graphical APIs (windows and window management, X11, event driven programming), about basic OS libraries, and about principles of safe programming.

ACM Advanced Algorithmic and Programming Techniques V.

ACM Advanced Algorithmic and Programming Techniques III.

ACM Advanced Algorithmic and Programming Techniques I.

Programming Languages for WWW

Survey of the Java and JavaScript languages. Prerequisites: basic course V1, V2. Language specification, description of system libraries and typical examples. Training on Sun/Unix and PC/Windows95, computer-oriented creation of individual application programs and applets.

Machine Oriented Languages

Students will be acquainted with programming techniques typical for assembly programming. Students will be informed about various assembly languages with different characteristics. In such a way they get an idea about forms of programs on very basic level of computer programming. They will use this type of information in various courses during their further study.

Programming in the C++ Language

Basic course of programming in the C++ language. Students are expected to know how to write simple programs (in any programming language). They acquaint with data types in C++, object oriented means, overloading, and with the other features of the C++ language.

Machine Oriented Languages

Architecture of Intel processors, addressing modes, instructions and directives, procedures and macros, input and output operations, interrupts, compilation and machine language, graphical card programming, resident programs, drivers, protected and virtual modes, advanced Intel processors, RISC processors.

Information Technology Applications

The aim of the lectures is to obtain an overview of basic applications of information technology. The lectures comprise three parts. The first one refers to modern technologies of programming, the object oriented approach (classes, interfaces, exceptions, events, GUI and applets). This part is a summary and survey of knowledge in basic algorithm design and their implementation. The second part deals with an introduction to modern information technologies, which are a part of computer literacy - data base, calculation tables, computer graphics, operating systems and above all with Internet. The last part goes into the keystones of language C, as essential for further study.

Programming Language Theory

This course introduces students to the main elements of programming language theory, namely formal semantics and type theory.

Design and Modelling

This course, named Design and Modelling, is not only the introduction to essential scenarios of 2D modelling, but first of all to enhanced 3D modelling, programmatic customization including; CAD systems are a learning platform of the course.

Computer Communications

The course is aimed at computer network architectures, technologies, and methods that enable interconnection of different networks into a single unified system - the Internet. Seminars and laboratories are oriented on network programming and configuration.

Computer Communications

The course is aimed at computer network architectures, technologies, and methods that enable interconnection of different networks into a single unified system - the Internet. Seminars and laboratories are oriented on network programming and configuration.

Computer Communications

The course is aimed at computer network architectures, technologies, and methods that enable interconnection of different networks into a single unified system - the Internet. Seminars and laboratories are oriented on network programming and configuration.

Distributed Systems

Techniques utilised in switching networks (WAN) and in networks that use shared media (LAN). Functions of layered architecture are presented, completed by important standards. Methods of communication (message passing, RPC, distributed shared memory) and survey of important distributed algorithms. Application of principles and use of communication interfaces (UDP/TCP, RPC) in distributed application programming.

Data Structures and Algorithms

Data Structures and Algorithms

Complexity of algorithms. Sorting - taxonomy of methods, Shellsort, Heapsort, Quicksort, Radixsort, searching, hashing, binary search, binary trees, multidimensional trees, geometrical searching. Data type specification and implementation (vector, linked list,, array, table, list, relation, graph). Logical and physical structure of files, sorting sequential files. Recursion and recursive programming. Dynamic programming. Program design methodologies.

Pages found (22):

baylor

<p>Cooperation on research in enterprise application design, software engineering and aspect-oriented programming. Exchange of researchers and internships, doctoral students supervising. Involvement in ACM-ICPC programming contests.</p>

Avast Foundation

<p>Projects for support of excellent students: UPE, ACM ICPC, programming competition.&nbsp;</p>

ACM

<p>Cooperation on conferences and&nbsp;<a href="http://cm.baylor.edu/welcome.icpc" target="_blank">ACM International Collegiate Programming Contest (ICPC)</a>.</p>

CTU Open 2015

<p><strong>CTU Open</strong>, the ACM-ICPC proud contest for the Czech and Slovak region is hosted by FEE, CTU in Prague.&nbsp;</p>

new open position - assistant lecturer

<p>We are <strong>looking for new assistant lecturer for the areas of programming and software engineering</strong>. The start is asap, as the summer semestre starts in the middle of February.&nbsp;</p>

PIS seminar series Steffen Staab

<p>The&nbsp;<a href="http://www.praguecomputerscience.cz/" target="_blank">Prague Computer Science seminar</a> series, coorganized by Department of Computer Science, presents:</p> <p><span style="color: #000000;"><strong><a href="http://praguecomputerscience.cz/index.php?l=en&amp;p=22" target="_blank">Programming with Semantic Broad Data</a> </strong>by<strong>&nbsp;Steffen Staab<br /></strong></span></p> <p><span style="color: #000000;"><strong>Thursday, September 22,&nbsp;</strong> at<strong> 4 p.m. </strong>in room<strong> KNE:107.</strong></span></p>

Božena Mannová received The Europe Distinguished Leadership Award

<p><a href="http://cs.felk.cvut.cz/en/people/mannova" target="_blank">Božena Mannov&aacute;</a> received <strong>The Europe Distinguished Leadership Award</strong>&nbsp;from 2019 ICPC Foundation.</p>

Workshops

History

<p>The Department of Computer Science and Engineering is the oldest department of this kind in the Czech Republic, one of the oldest in Europe and, indeed, the world.</p>

Among the programming elite

<p><strong>Upsilon Pi Epsilon (UPE)</strong> at CTU in Prague sent 6 students from CTU and Charles University to <strong>programmer's training camp in Petrozavodsk</strong>, where they spent 11 intensive days among the best young programmers.</p>

IDA Seminar – Jakub Tolar (University of Minnesota)

<p>Next<strong> IDA Seminar</strong> will welcome <strong>Jakub Tolar</strong> from&nbsp;University of Minnesota.</p>

Researcher Jakub Marecek joined CS department as an extern

<p><strong>Jakub Marecek</strong>, Czech researcher from IBM in Dublin, <strong>joined our Department as an external staff member</strong> and will supervise&nbsp;PhD students.&nbsp;</p>

Summer programming boot camp

<p><strong>Summer programming boot camp</strong> for new students will take place on&nbsp;<strong>16. - 19. 9. 2019</strong>.</p>

Department of Computer Science

<p>Established in 1964, the Department of Computer Science was the first university department with computer science degree program established in the Czech Republic.</p>

Mirza Ramičić will give a talk on reinforcement learning

<p>On <strong>June 10</strong>, <strong>Mirza Ramičić</strong> will give a talk on <strong>reinforcement learning</strong>. Come!</p>

Study programs

<p><a href="https://oi.fel.cvut.cz/en/master-program" target="_blank">Artificial intelligence</a> (OI master),&nbsp;<br /><a href="https://oi.fel.cvut.cz/en/master-program" target="_blank">Bioinformatics</a> (OI master),<br /><a href="https://oi.fel.cvut.cz/en/master-program" target="_blank">Cybernetic Security</a><a href="http://stm.fel.cvut.cz/o-programu-softwarove-technologie-management#Softwarove_inzenyrstvi"> (OI master),</a>&nbsp;<br /><a href="https://oi.fel.cvut.cz/en/master-program" target="_blank">Data Science&nbsp;</a>(OI master),<br /><a href="http://oi.fel.cvut.cz/en/for-students/bachelor-program/software-systems">Software</a>&nbsp;(OI bachelor),<br /><a href="https://oi.fel.cvut.cz/en/master-program" target="_blank">Software engineering</a> (OI master),<br /><a href="http://stm.fel.cvut.cz/o-programu-softwarove-technologie-management#Softwarove_inzenyrstvi">Software engineering</a> (SIT bachelor).</p>

Fulbright Scholar Joe Song will give a talk at the IDA Seminar

<p><strong>Visiting Fulbright scholar Joe Song</strong> will give a lecture on <strong>February 14, 2019</strong>. The topic of this lecture, that takes place within the IDA seminars cycle, will be&nbsp;<strong>Model-free Methods for Inferring Networks in Molecular Biological Systems</strong>. Everyone is welcome</p>

Department in media

<p>&nbsp;</p> <p>&nbsp;</p>

Letní programátorské soustředění 2016

<p><strong>Letn&iacute; program&aacute;torsk&eacute; soustředěn&iacute;</strong> pro &uacute;pln&eacute; zač&aacute;tečn&iacute;ky i pokročilej&scaron;&iacute; program&aacute;tory před zač&aacute;tkem semestru.</p> <p><strong>Summer programming training</strong> before semester for beginners or&nbsp;advanced programmers.</p>

Project FRAS is Expanding

<p>Our <strong>US Air Force project</strong>&nbsp;is looking for <strong>new students</strong>! Join our team to work or do your thesis in planning, game theory and AI.</p>

Taxify Challenge Won by a Joint Team of CTU Prague and TU Delf

<p>Congratulations to the team consisting of<strong> Olga Kholkovskaia (OI), Aleksandra Pravednikova (SIT), Martin Schaefer, David Fiedler and Michal Č&aacute;p</strong>. We are so proud of you!</p>

Semestral and software project

<p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p> <p>&nbsp;</p>