| Cs Computer Science Cs3001. Programming techniques Introduction to programming with ANSI C/C++. Object Oriented Programming. System programming on the UNIX platform. Linear Structures. Hierarchical Structures. Data set model. Relational data model. Graphs model. Bibliography:
Basic elements of a computer. Basic description of the components and organizational levels of a computer. Central processing unit. Main memory. Input and output unit. Computer logic and organization. Numerical systems and arithmetic operations. Boolean algebra. Basic logical combinatory circuits. CPU (Central Processing Unit) Organization. ALU (Arithmetic Logic Unit) Design. Memory organization. Design of different memories. Introduction and analysis to sequential circuits. Registers. Organization of the input/output unit. Integration of these concepts in the creation of a computer architecture. Operation of a computer and microprogrammed control units. Fetch cycle and execution. Different types of addressing. Microinstructions types and formats. Microprogramming examples. RISC and CISC computers. Introduction to distributed systems. Pipeline. Bibliography:
Cs4001. C Programming language and simulation Learning the ability of computer programming through the usage of C programming language from mathematical expressions, conditional and looping statements to pointers, files, structures, and bitwise operators. Usage of math libraries and string processing. Data Structures. Basic elementos on the portability of computer programs. Design of projects by combining various source files. Using arguments in commands. Signal processing in multiuser systems. Using probability distributions in computer-based simulation. Writing C programs under UNIX operating system. Writing "shell" programs. Instructor profile: Ph.D. in Computer Science or related field. Experience and publications in programming languages, UNIX operating systems, and simulation. Bibliography:
Cs4002. Advanced programming environments Programming Techniques. Contents: Java language and architecture. Applications and applets development. Graphic user interfaces. RMI architecture. Jini. Jini connection technology. Database connection using JDBC/ODBC. Java3D. Development of 3D graphical applications. Java Beans. Java Servlets. Servlet API. HTTP support. Java Server Pages. CORBA and IDL Bibliography:
Cs4003. Computing fundamentals Finite automatas, Context-free languages, Turing Machines, Computability - solvability and insolvability, Complexity theory, Ordering algorithms, Set manipulation algorithms, Graphs algorithms, Matrices algorithms. Bibliography:
Sense, denotation and semantics, Propositional Logic, Natural deduction, Curry-Howard isomorphism, Predicates logic, Probability fundamentals, Random variables, Probability distributions, Hypothesis proofs, Probabilistic inference and decisions theory, Markov chains, Logic and probability relation. Bibliography:
Cs4005. Web-based applications architectures Objectives:
That the student knows the diverse approaches for the construction
of applications in the surroundings of the electronic businesses;
including elements like development tools of applications, topologies
of communication networks, mechanisms for the security of the information
and calculation infrastructure models. Bibliography: An Introduction to Database Systems/Date/1999. Teaching Scholarship:
Cs4006. Web-based information technology management Objectives: To increase the understanding of the use of Web-based Information Technology (WIT) in teh organizations. To identify the areas of greater potential of applications of WTI to the new circumstances of the organizations, and thus to compete more indeed in itsindustrial segment. To include/understand the abilities required by the CIO to assure that the organization WIT to the reality of the companies. Topics: Application of Web based Information Technology in the organizations, identification of areas of opportunity and continuous improvement; motivation and administration of changing situations; competitiveness in Web surroundings; redesign of administrative stages of WIT in the organization; creation and update management of strategic data bases for decision making Bibliography: Corporate Information Systems Management: The Challenges of Managing in an Information Age/Applegate/1999. Teaching Scholarship:
Cs4007. Information technologies introduction Objectives:
That the student knows the fundamental concepts for the technologies
of information used for the development and management of information
systems for the electronic businesses. Bibliography: Knowledge Management Systems: Information and Communication Technologies for Knowledge Management/ Maier/2002. Teaching Scholarship:
Cs4008.Distributed systems fundamentals 3 0 12 Instructor Profile: Cs4009. Computer and communication performance evaluation 3 0 12 Instructor Profile: Referencias
Bibliográfícas:
3 0 12 Instructor Profile: Referencias
bibliográficas: Blueprints for High Availability: Designing Resilient Distributed Systems, by Evan Marcus (Author), Hal Stern (Author), Publisher: John Wiley & Sons; ; 1 edition (January 31, 2000), ISBN: 0471356018
Cs5001 Analysis of signals and communication systems The course covers the topics of complex variable, Z transform, Fourier analysis, filters and signal distortion, spectral density and correlation, applications on complex variable and special functions. Bibliography:
Instructor Profile : Ph. D. in Mathematics, Electronic Engineering or Telecommunications. Industrial experience or involvement on applied research projects in the digital processing of signals, digital processing of images and applied mathematics.
3D Interactive Graphics (with OpenGL and Java3D), Transformations, Modeling, Interaction, Synthesis process, Animation. Animation, Dynamics, Capture and reuse, Facial animation, Human animation, Clothing animation, IA techniques, Applications. Bibliography:
Human Perception / Usability, Hardware/Software for VR, Creation of virtual worlds, Interactive virtual environments Bibliography:
Equivalence: NT Classical modeling techniques, New tendencies in 3D models, Interfaces, Modelers. Bibliography:
Different paradigms in 3D modeling for graphics (parametric, subdivision, implicit, optimization). Real-time realism. Image-based modeling and synthesis. Advanced subjects on Image Synthesis.. Bibliography:
Cs5007. Advanced graphic subjects Advanced Subjects in Computer Graphics. Bibliography: To be defined by the professor
Cs5008. Fundamentals for artificial intelligence Introduction to Artificial Intelligence, Introduction to Knowledge Representation, Search Techniques, Logic Representation, Production Rules, Structured Objects, Hybrid Representations, Distributed Artificial Intelligence, Qualitative Models, Relational and Temporal Reasoning, Uncertainty Representation, Knowledge Acquisition and Learning, Ontologies, Future tendencies. Bibliography:
Introduction. Formalizing the concept of demonstration. Searching a refutation. Decision procedures to establish inequalities. Term rewriting systems. Rippling calculus. Demonstration planning. Concepts formation. Bibliography:
Introduction. Genetic Algorithms. Genetic Programming. Genetic Classifiers Systems. Applications. Bibliography:
Cs5011. Knowledge discovery and data mining Fundamentals. Classification and clustering. The process of data mining. Integrated discovery systems. Data mining applications. Data mining and other areas. Bibliography:
Introduction. Basic models, Units with threshold, Perceptron, Multiple layer networks, Associative memories, Construction methods in neural networks, Statistical learning, Hybrid models, Statistic data treatment. Bibliography:
Introduction to functional programming, Evaluation cycle, conditionals, and variable management, Function application and recursivity, Global assignments and iterative programs, data structures, data types and macros, CLOS (object-oriented functional programming), IA Applications in Lisp, Introduction to logic programming, Prolog syntax, Backtracking, negation and control mechanisms, Extra-logic operators, differences lists, Definite Clause Grammars, IA Applications in Prolog.. Bibliography:
: : It will cover state-of-the-art subjects in the area of Artificial Intelligence.. Bibliography: To be defined by the professor.
Cs5015. Design and validation of communication protocols Introduction to Communications Protocols. Structure of a Protocol. Error Control. Data flow Control. Model Validation. Protocol Design. Finite State Machines.. Bibliography:
Introduction to data communication. Data communication in networks. Data encoding and modulation. Data communications techniques. Architecture of computer communications. Multiplexing data link control. Data communication over networks. Bibliography:
Introduction. Design and architecture. Distributed systems protocols. Remote Procedure Call (RPC). File and directory services. File servers implementation. Shared files. Server cooperation and duplicate files. Protection and security. Distributed Operative Systems.. Bibliography:
Cs5018. Distributed systems II Distributed algorithms. Process synchronization. Halpern knowledge hierarchy. Design of a distributed algorithm. Mutual exclusion algorithms. Election algorithms. Halting detection algorithms. Interblocking treatment algorithms. Routing algorithms. Minimum expansion tree algorithms. Graph routing algorithms. Distributed recursive algorithms. Maximum flow algorithm. Fault tolerance. Complexity of distributed systems. Bibliography:
Digital transmission of information. Synchronous optical network (SONET) and SDH. Asynchronous Transfer Mode (ATM) principles. ISDN Networks. Frame Relay. Measurement and prevention techniques and tools required for network designers and administrators. Statistical and simulation techniques. OpNET usage. Digital Services Networks: RSDI to integrate multiple services like data, voice and video through the defined interfaces. RDSI typical topology. Communications protocols such as Q.931, Q.921 (LAPD). Physical interfaces like I.430 e I.431. Bibliography:
Security in an organization. Security policies and models. Cryptology. Cryptographic algorithms. Security on Internet. Security on UNIX environments.
Computer Security I. Contents: Basic security elements. Security objectives in an organization. Product evaluation. Security in contemporary systems .
Cs5022. Communication and concurrence Concepts and methods from process algebra including concurrence and interleaving semantics, communication, distribution, mobility, etc. Application of techniques for construction of communications systems and methods on formal analysis of processes, such as bisimulation, temporary modal logic, etc. Parallel introduction to calculus of communication systems (CCS), invented by Milber, which will be used to express and analyze processes; the syntax and semantics of such calculus will be extensively discussed. Bibliography:
Cs5023. Criptology and other security tools. Introduction to the Computational Security. Criptology fundamentals. Private key encription.¨Public key encription. Key's management. Methods for secrets sharing. Methods for public key. Functions and implementations of cryptography. Esteganography. Authentification methods. Intruders detection. Private data networks. Bibliography:
Cs5024. Advanced networking subjects I It will cover state-of-the-art subjects in the area of Computer Networkings. Bibliography: To be defined by the professor.
Cs5025. Advanced networking subjects II It will cover state-of-the-art subjects in the area of Computer Networkings Bibliography: To be defined by the professor
Cs5026. Object-oriented analysis and design Introduction to the object-oriented paradigm. Principles on systems analysis. Principles on systems design. The UML language. Analysis and design of the behavior of an object-oriented system. Analysis and design of data structures in an object-oriented system. Software tools for analysis and design of object-oriented systems Bibliography:
Cs5027. Software testing and quality assurance Software: Process and product. Quality attributes in software processes and products. Metrics and measurements of quality attributes in software processes and products. Statistical approaches for quality of software processes and products. Software testing: planning and strategies. Tools for the testing process. Software improvement. Quality standards and models for the software process. Team work on the quality of the software process. Bibliography:
Introduction to the concept of software development environments. Introduction to the concept of CASE tools. CASE tools (Rational Rose). Development of software projects using CASE tools (Rational Rose) Bibliography:
Cs5029. Software projects administration Basic concepts on project administration. Preliminary evaluation. Proposal processing. Project planning: activities and tasks. Costs analysis in projects. Resources analysis in projects. Control and following of a project. Bibliography:
Cs5030. Advanced computer architecture Equivalence: Cs 95 210 The course objective is to study the techniques for designing high performance computers. The study focuses on uniprocessor systems and multiprocessor systems. The topics of the course are: Computer design fundamentals, instruction set principles, basic processor implementation, pipelining, memory system design, I/O system design and multiprocessors. Bibliography:
Professor background: Ph.D. in electrical engineering or computer engineering. Industry experience or research experience in the high performance computer architecture area
Cs5031. Parallel processing introduction Equivalence: Cs 98 252 The course studies the basic differences between RISC, vectorial and parallel architectures with both shared and distributed memory. The course also covers: system performance evaluation, scalability concept, compilation directives, message passing programming, data structures for message passing programming. Array parallel computing: array-vector multiplying, array multiplying, factorization methods, iterative methods. Algorithms for the shortest way, and Markovian decision. Bibliography
Professor background: Ph.D. in electrical engineering or computer engineering. Industry experience or research experience in the high performance computer architecture and parallel processing areas.
Equivalence: Cs 98 290 The course covers predictive coding of voice, voice processing for communication, Markov chains, syntaxes, semantics and DAGS unification. Bibliography :
Professor background: Ph.D. in electrical engineering or computer engineering. Industry experience or research experience in the digital signal processing area.
Requirements: none. Contents: Computer Vision, Segmentation, Geometry and calibration, 3D Vision, 3D Localization, Camera/object localization. Bibliography:
Cs5034. Intelligent tutoring systems Requirements : None. Contents: The upcoming of ITS from CAI. Domain Knowledge Representation. Knowledge Students Representation. Representation of the Teaching Abilities. Socratic Interactions and Learning by Discovery. Pigetian Learning and Learning Environments. Situated Learning and Cooperative Systems. Pedagogical Agents. Actual and Future Works on ITS. Bibliography:
Cs5035. Human machine interfaces Requirements: None. Contents: Introduction. HMI design centered on the Task. HMI design centered on the User Evaluation (usability) of HMI. Emerging Interfaces. Bibliography:
Cs5036. Electronic payment systems Objetives: In this course, the study of the electronic systems of payment will be deepened, when analyzing several of these mechanisms. The course is designed to stimulate the creative thought of the students with relation to the future of the money and the electronic systems of payment, thus obtaining propose of new more efficient and effective mechanisms. Bibliography: Electronic Payment Systems/O'Mahony/1997. Teaching Scholarship:
Objetives: The electronic businesses take place very quickly in a world that is rich in information, that is inconsistent, incorrect or deceptive in its great majority. The methods of electronic negotiation are analyzed in this course; as much considering the perspective of the human interaction, like the knowledge of known intelligent agents like robots. Topics: Taxonomy of the negotiation, intelligent behaviors of negotiation, auctions, inferences, catalogues and agents of purchase. Bibliography: E-Business: Roadmap for Success/Kalakota/1999. Teaching Scholarship:
Objetives: To identify the objectives of security in an organization. Policies and models of security. Topics: Basic elements of security. Security in Internet. Cryptography. Cryptographic algorithms. Product evaluation. Security in the present systems. Bibliography: Cryptography and Network Security/Stallings/1998. Teaching Scholarship:
Objetives: The intelligent agents are parts of codes that almost run on independent form and provide a specific service to users, or other segments of computacional codes. They are used highly in the electronic businesses, but often they are obvious for us. An example of them is the seeking machines (search engines). During this course, the students will develop intelligent agents to observe how they work. Bibliography: Intelligent Information Agents: Agent-Based Information Discovery and Management on the Internet/Klusch/1999. Teaching Scholarship:
Cs5040. Distributed data bases Contents: Centralized databases. Distributed databases Consults. Transactions. Control of concurrence. Reliability. Parallel databases. Commercial products. Bibliography:
Cs5041. Reasoning under uncertainty Contents: Part I Fundamentals: Introduction, Probability Theory, Graph Theory. Part II Probabilistic Methods : Basic Probabilistic Methods, Hidden Markov Models, Markov Spaces, Bayesian Networks I: Bayesian Networks Representation, Bayesian Networks II: Propagation, Bayesian Networks III: Training, Bayesian Networks IV: Extensions and Applications, Decision Networks, Markov Decision Process. Part III Alternative Methods : Empirical Methods, Dempster-Shafer Theory, Fuzzy Logic, Logic and Probability. Bibliography:
Contents: Introduction to SW architecture. Patterns and Architectural Stiles. Models for Components. The Java-Beans component model. The Enterprise Java-Beans component model. EJB architecture for server applications. State of the Art in component models.
Cs5044. Parellelization techniques 3 0 12 Instructor Profile:
Optimizing Compilers
for Modern Architectures: A Dependence-based Approach
Cs5045. Security technologies for E-Business 3 0 12 At the end of this course, you will be able to recommend, develop, select and implement the newest techniques and methodologies used to conduct business thru E-Business at secure environment. All this based on the knowledge the main security principles and tools such as security techniques used for networks and distributed systems, the operating systems design principles, software design principles, attack features, cryptography fundamentals and applications. Finally, you will also develop the risk analysis and security management of an E-bussiness. Instructor Profile: Referencias
bibliográficas:
Cs5046. Selected topics on computer science 3 0 12 Cs5047. ATM and frame relay networks 3 0 12 Referencias bibliográficas:
Fecha de la última actualización: 12 de enero de 2005(M) |
