GRI 2005-06-30UM Descrição: Official length - 5 years/10 semesters/40 weeks of full-time study per year/300 ECTS credits. It includes one semester of practical training / individual project/seminar.Access requirements - Secondary School and Higher Education Entry Examinations (Mathematics and Physics).Programme requirements - The Licenciatura in Computer Science and Systems Engineering offers two specializations: - Information Technologies (ICT); - Systems. Each specialization offers a group of compulsory core subjects, a group of subjects from the specific specialization field (Networks, Computer Communications or Architectures within the Specialization in Information Technologies and Production within the Specialization in Systems), one project assignment and a group of electives. Both specializations include a one-semester curricular training period/placement, which is jointly supervised by the University and an external organization and is subject to formal assessment. The subjects from the specific specialization field correspond to approximately 25% of all ECTS Credit Units.Access to further study - The Licenciado degree allows access to postgraduate studies, according to the terms described at http://www.dges.mces.pt/naric_suplemento_8_en.htm.Professional status - The Licenciatura is recognized by the Engineers Professional Body. The professional title of Engineer demands formal enrolment at the Engineers Professional Body. Local Funcionamento: Campus of Gualtar, BragaDirector: João Miguel Lobo FernandesCoordenadores ECTS José Francisco Creissac Freitas Campos Alberto José Gonçalves Carvalho Proença Ano Código Unidade Curricular Regime ECTS 1 5301P2 Discrete Mathematics I S1 5 1 5301P1 Linear Algebra and Analytical Geometry S1 6 1 5301N6 Mathematical Analysis I S1 7,5 1 5301N9 Physics I S1 6,5 1 5301P3 Programming Paradigms I S1 5 1 5302O4 Discrete Mathematics II S2 5 1 5302O6 Introduction to Computer Systems S2 5,5 1 5302N4 Mathematical Analysis II S2 7,5 1 5302N6 Physics II S2 7 1 5302O5 Programming Paradigms II S2 5 2 5303P1 Complements of Mathematical Analysis S1 5,5 2 5303O6 Computer Architecture I S1 5 2 5303Q4 Economics Engineering I S1 3,5 2 5303P2 Electricity and Magnetism S1 6 2 5303O7 Programming Methods I S1 5 2 5303O8 Programming Paradigms III S1 5 2 5304O3 Digital Systems I S2 6 2 5304P3 Economics Engineering II S2 3,5 2 5304O9 Electronics S2 5,5 2 5304O4 Programming Methods II S2 5 2 5304O5 Programming Paradigms IV S2 5 2 5304O8 Statistical Methods S2 5 3 5305O4 Digital Systems II S1 5 3 5305O2 Fundamentals of Telecommunications S1 4,5 3 5305O5 Numerical Methods I S1 4,5 3 5305O3 Operating Systems I S1 5 3 5305O8 Operational Research I S1 6,5 3 5305O1 Programming Methods III S1 4,5 3 5306N1 Applied Statistics S2 4,5 3 5306O3 Computer Architecture II S2 4,5 3 5306O4 Language Processing I S2 4,5 3 5306O1 Networks and Data Communication S2 5 3 5306O2 Operating Systems II S2 5 3 5306N9 Operational Research II S2 6,5 4 5307N6 Computer Communications I S1 5 4 53019A Cultural Option I S1 3 4 5307O9 Databases S1 4,5 4 5307N7 Distributed Operating Systems I S1 4,5 4 5307N5 Knowledge Representation S1 4,5 4 5307P1 Option I S1 4 4 5307O7 Option TI S1 4,5 4 53019B Cultural Option II S2 3 4 5308O6 Data Acquisition Systems S2 5,5 4 5308O7 Information Systems Development S2 5,5 4 5308O5 Intelligent Systems S2 5,5 4 5308N9 Option II S2 5,5 4 5308O8 Option T II S2 5 5 5309O1 Option III S1 6 5 5309P1 Option IV S1 6 5 5309P3 Option T III S1 6 5 5309P4 Option T IV S1 6 5 5309Q9 Option TV (Distributed Operating Systems II) S1 6 5 5310N1 Professional Practice/Project S2 30 [pic] 5301P2 - Discrete Mathematics I Regime: S1 Tipo: Compulsory Programa: Logical preliminaries. Introduction to Set Theory. Relations. Functions. Equivalence relations. Order relations. Denumerable sets. Induction and recursion on natural numbers. Pré-requisitos: None Resultados de Aprendizagem: Introduction to logical/mathematical language and reasoning. Introduction to the fundamental, mathematical concepts of set, function and relation. Introduction to proofs by induction and definitions by recursion. Bibliografia: A.J. Franco de Oliveira, Teoria de Conjuntos, Livraria Escolar Editora, 1980. - P. Halmos, Naive Set Theory, Springer-Verlag, 1974. - P.A. Fejer, D.A. Simovici, Mathematical Foundations of Computer Science, Springer-Verlag, 1991. Docentes: Maria Teresa Cerqueira Coelho Silva José Carlos Soares Espírito Santo Carga Horária: 4 Métodos de Ensino: 2 hours lecturing + 2 hours labs Métodos de Avaliação: Written exam Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5301P1 - Linear Algebra and Analytical Geometry Regime: S1 Tipo: Compulsory Programa: Matrices: vector spaces; systems of linear equations; determinants; eigenvalues and eigen vectors; analytic geometry; vector calculus, straight lines and planes, quadric surfaces. Pré-requisitos: None. Resultados de Aprendizagem: This course unit is intended to provide the students with a brief course in Linear Algebra and Analytical Geometry, helping them to develop new methods of resolution of various problems and providing some essential notions for understanding subjects which will subsequently arise. Bibliografia: Introdução à Álgebra Linear, Valença, M.R., 1992, Universidade do Minho; Notas de Geometria Analítica, Soares, M.J., 1992, Universidade do Minho; Basic Linear Algebra, Blyth, T.S., Robertson, E.F, 1998, McGraw-Hill. Docentes: Maria Teresa Cerqueira Coelho Silva José Carlos Cruz Costa Carga Horária: 5 Métodos de Ensino: Theoretical and practical classes. Métodos de Avaliação: Final exam (80%) and  written test (20%). Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5301N6 - Mathematical Analysis I Regime: S1 Tipo: Compulsory Programa: The real numbers. Real functions of one variable. Integral calculation in IR: definite integral and antiderivative. Sequences and numerical series. Taylor polynomials. Pré-requisitos: None Resultados de Aprendizagem: Identify properties of real numbers; analyse the derivative in geometrical and physical terms; analyse the definite integral in geometrical and physical terms; Bibliografia: Carvalho e Silva, Jaime. Princípios de Análise Matemática Aplicada - Ed. McGraw Hill. Salas, Hille, Anderson. Calculus (one and several variables), Ed. Wiley Docentes: José Rodrigues Sampaio Olga Maria Vaz Moreira Carga Horária: 6 Métodos de Ensino: 3 hours lectures and 3 hours tutorial/week Métodos de Avaliação: Written exam and tutorial tests Língua de Instrução: Portuguese Créditos ECTS: 7,5 [pic] 5301N9 - Physics I Regime: S1 Tipo: Compulsory Programa: Time and space - Dynamics of point particle - Work and energy - Introduction to computation in physics - Linear and angular momentum – conservation laws - Relativity from Galileu to Einstein. Pré-requisitos: School Algebra and Calculus. Resultados de Aprendizagem: Intuitive elementar knowledge of energy and linear and angular momentum - Introductory Special Relativity. Bibliografia: J.D. de Deus, M. Pimenta, A. Noronha, T. Peña, P. Brogueira, Introdução à Física, 2ª Ed., McGraw-Hill (2000). - P.M. Fishbane, S. Gasiorowicz, S.T. Thornton, Physics for Scientists and Engineers, Prentice Hall (1996). - R.A. Serway, Physics for Scientists and Engineers, 4th Ed., Saunders (1996). - D. Halliday, R. Resnick, J. Walker Fundamentals of Physics, 4th Ed. Extended, Wiley (1993). - C.H. Holbrow, J.N. Lloyd, J.C. Amato, Modern Introductory Physics, Springer (1999). - J.D. de Deus, Viagens no Espaço-Tempo, Gradiva (1998). - L. Bloomfield, How Things Work, The Physics of Everyday Life, 2nd. Ed., JohnWiley (2001). Docentes: António Mário Lourenço Fonseca Almeida Maria Jesus Matos Gomes Eduardo Jorge Nunes Pereira Carga Horária: 5 Métodos de Ensino: 3 hours of lectures and 2 hours examples classes. Métodos de Avaliação: Final examination. Língua de Instrução: Portuguese Créditos ECTS: 6,5 [pic] 5301P3 - Programming Paradigms I Regime: S1 Tipo: Compulsory Programa: Models for functional programming; expressions, data types and basic data structures; induction and recursivity; higher order programming; polymorphism; computation with state (monads). Pré-requisitos: None. Resultados de Aprendizagem: Introduction to the basic models of computation and the strategies for building them; functional programming with the Haskell language. Bibliografia: Fundamentos da Computação, Livro II: Programação Funcional, José Manuel Valença e José Bernardo Barros, Universidade do Minho, 1998. - Introduction to Functional Programming, Richard Bird and Philip Wadler, Prentice-Hall, 1988 - Introduction to Functional Programming using Haskell, Richard Bird, Prentice-Hall, 1998 - The Craft of Functional Programming, Simon Thompson, Addison-Wesley, 1996. Docentes: Maria João Gomes Frade Manuel Bernardo Martins Barbosa José Bernardo Santos Monteiro Vieira Barros Olga Maria Gomes Martins Pacheco Carga Horária: 4 Métodos de Ensino: 2 theoretical classes/week; 2 hours examples classes, with a programming project. Métodos de Avaliação: Written exam ; tutorial exercises and project evaluation. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5302O4 - Discrete Mathematics II Regime: S2 Tipo: Compulsory Programa: Propositional logic: syntax and semantics. Natural deduction for propositional logic. Completeness theorem. Predicate logic: syntax and semantics. Natural deduction for predicate logic. Completeness theorem. Pré-requisitos: Discrete Mathematics I Resultados de Aprendizagem: Introduction to logic and formal systems. Bibliografia: D.van Dalen, Logic and Structure, Springer, 1997. - A. Hamilton, Logic for Mathematicians, Cambridge University Press, 1995 - E. Mendelson, Introduction to Mathematical Logic, Wadsworth & Brooks, 1997 Docentes: José Carlos Soares Espírito Santo Carla Albertina Carvalhinho Silva Mendes Carga Horária: 4 Métodos de Ensino: 2 hours lecturing + 2 hours labs Métodos de Avaliação: Written exam Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5302O6 - Introduction to Computer Systems Regime: S2 Tipo: Compulsory Programa: I. Basic concepts in computer architecture: data representation, computer organisation and structure; abstraction layers and conversion mechanisms, instruction set architecture. II. Basic concepts in operating systems; structure of an operating system; management of processes and resources (CPU, memory, I/O); process communication and synchronisation; introduction to distributed systems. III. Introduction to the Internet architecture, services and applications; email: addressing, MIME, co-operative work and news; information services: FTP, Archie, Gopher, WAIS; WWW: hypermedia, browsers, security. Pré-requisitos: None. Resultados de Aprendizagem: To get the basic understanding of how a computer system works and how Internet works. Bibliografia: I.Computer Organization and Architecture - Designing for Performance, William Stallings, Prentice Hall, 6th Ed., 2002; II.Modern Operating Systems, A. Tanenbaum, Prentice-Hall International, 1992; III. Internet: Guia Prático do Cibernauta, A. Costa et al, Campo das Letras, 1995. Docentes: Francisco Coelho Soares Moura Joaquim Melo Henriques Macedo Paulo Sérgio Soares Almeida Bruno Alexandre Fernandes Dias Rui Carlos Mendes Oliveira Alberto José Gonçalves Carvalho Proença Carga Horária: 4 Métodos de Ensino: 28 hours lectures and 28 hours tutorials. Métodos de Avaliação: Written exam. Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5302N4 - Mathematical Analysis II Regime: S2 Tipo: Compulsory Programa: Real functions of n variables. Diferential calculus in IRn. Integral calculus in IR2 and IR3. Systems of coordinates. Vector Calculus.Line integrals and surface integrals. Pré-requisitos: None. Resultados de Aprendizagem: Identify functions of 2 and 3 variables; identify surfaces as graphical representations of functions; acquire calculation techniques in derivatives and integration; visualize graphics in 2D and 3D; apply the acquired techniques in new situations; develop critical spirit. Bibliografia: Carvalho e Silva, Jaime. Princípios de Análise Matemática Aplicada - Ed. McGraw Hill; Salas, Hille, Anderson. Calculus (one and several variables), Ed. Wiley. Docentes: Lucile Arlette Guilaine Vandembroucq Olga Maria Vaz Moreira Carga Horária: 6 Métodos de Ensino: 3 hours lectures and 3 hours tutorial/week. Métodos de Avaliação: Written exam and tutorial exercises. Língua de Instrução: Portuguese Créditos ECTS: 7,5 [pic] 5302N6 - Physics II Regime: S2 Tipo: Compulsory Programa: Oscilatory motion: simple, damped and forced harmonic motion Wave motion: mecanical, electromagnetical, progressiva, stationary, tranversal and longitudinal waves. Waves – sound: Doppler effect. Waves – light: Doppler effect and elementary geometrical optics. Pré-requisitos: School Algebra and Calculus. Resultados de Aprendizagem: Intuitive elementar knowledge of energy and linear and angular moment - Introductory Special Relativity. Bibliografia: J.D. de Deus, M. Pimenta, A. Noronha, T. Peña, P. Brogueira, Introdução à Física, 2ª Ed., McGraw-Hill (2000). - P.M. Fishbane, S. Gasiorowicz, S.T. Thornton, Physics for Scientists and Engineers, Prentice Hall (1996). - R.A. Serway, Physics for Scientists and Engineers, 4th Ed., Saunders (1996). - D. Halliday, R. Resnick, J. Walker Fundamentals of Physics, 4th Ed. Extended, Wiley (1993). - R.A. Serway, Física para Cientistas e Engenheiros, 3ª Ed., LTC - Livros Técnicos e Cientificos (1996). Vol. 1: Mecânica e Gravitação e Vol. 4 Física Moderna, Relatividade, Física Atómica e Nuclear. - P. Tipler, Física para Cientistas e Engenheiros, 3ª Ed., LTC - Livros Técnicos e Cientificos (1995). Vol. 1: Mecânica e Vol. 4 Ótica e Física Moderna. - D. Halliday, R. Resnick, Física, 4ª Ed., LTC - Livros Técnicos e Cientificos (1984). Vol. 1: Mecânica. - L. Bloomfield, How Things Work, The Physics of Everyday Life, 2nd. Ed., JohnWiley (2001). Docentes: Ricardo Pedro Lopes Martins Mendes Ribeiro Eduardo Jorge Nunes Pereira Carga Horária: 5 Métodos de Ensino: 3 hours of lectures and 2 hours examples classes. Métodos de Avaliação: Final examination. Língua de Instrução: Portuguese Créditos ECTS: 7 [pic] 5302O5 - Programming Paradigms II Regime: S2 Tipo: Compulsory Programa: Procedural (Imperative) programming The C language. Searching & Sorting. Recursion and Try-and-error algorithms. Linear Data Structures, static and dynamic (arrays and linked-lists): concepts and algorithms Pré-requisitos: None. Resultados de Aprendizagem: Make the students understand clearly the concepts of algorithm, programming and modularity under the procedural point of view, using recursion and developing linear data structures; became familiar with the Linux programming environment. Bibliografia: Kernighan & Ritchie, The C Programming Language (ANSI C), 2nd edition, Prentice Hall Software series, 1988 P. Guerreiro, Elementos de Programação com C, FCA – Editora de Informática, 2001; L. Damas, Linguagem C, FCA – Editora de Informática, 1999; Leendert and Ammeraal, Programas e Estruturas de dados em C, Editora Presença, 1994; A.N. Ribeiro e J. Pina Miranda, Notas Práticas de Algorimtos e Estrruturas de Dados, Notas peda-gógicas, Univ. do Minho, 1995; J. A. Saraiva & A. N. Ribeiro, Estruturas de Dados: Listas ligadas dinâmicas. Notas peda-gógicas, Univ. do Minho, 1995. Docentes: Jorge Gustavo Pereira Bastos Rocha José Carlos Leite Ramalho João Alexandre Baptista Vieira Saraiva Pedro Manuel Rangel Santos Henriques José João Antunes Guimarães Dias Almeida Carga Horária: 4 Métodos de Ensino: Theorical and practical classes. Métodos de Avaliação: Theory mark (x 0.60) and practice mark (x 0.40). Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5303P1 - Complements of Mathematical Analysis Regime: S1 Tipo: Compulsory Programa: Ordinary Differential Equations; the Laplace transform; differential equations with partial derivatives; Fourier series. Pré-requisitos: Calculus of one and more variables. Resultados de Aprendizagem: Acquirement of fundamentals techniques of resolution of differential equations. Bibliografia: Diferential Equations, S. L. Ross, 1984 - Um curso de Cálculo, vol. 4. H. L. Guidorizzi, 1999. Docentes: Marta Susana Ribeiro Ferreira Thomas Walter Kahl Carga Horária: 5 Métodos de Ensino: Lectures and tutorial sessions. Métodos de Avaliação: Written test during the semester and written final exam Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5303O6 - Computer Architecture I Regime: S1 Tipo: Compulsory Programa: Introduction to computer architecture and organization; The instruction set architecture; Support to high level languages; The instruction set architecture: RISC vs. CISC; Computer benchmarking; Memory hierarchy; Interface with peripherals; the processor micro-architecture. Pré-requisitos: None. Resultados de Aprendizagem: The students will understand some fundamental concepts about a computer, such as: a computer organization and structure, the processor interface with programs written in high level imperative languages, the processor interface with other components of the computer (memory, I/O), computer benchmarking, acceleration mechanisms: memory hierarchy and pipeline. Bibliografia: "Computer Organization and Design: the hardware/software interface", D.Patterson, J.Henessy, Morgan Kaufmann Publishers, 2a. Ed, 1997; "Computer Systems: A Programmer's Perspective", Randal E. Bryant, David R. O'Hallaron, Prentice-Hall; ISBN 013034074X; Agosto, 2002. Docentes: João Miguel Lobo Fernandes António Joaquim André Esteves Carlos Manuel Machado Carga Horária: 4 Métodos de Ensino: 2 hours lecturing + 2 hours labs. Métodos de Avaliação: Examination + 3 intermediate tests. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5303Q4 - Economics Engineering I Regime: S1 Tipo: Compulsory Programa: Demand, supply and the price mechanism. Consumer theory (utility and indifference) and the theory of the firm (production function and costs). Profit maximization in different market structures. Pré-requisitos: None Resultados de Aprendizagem: To understand consumer and firm economic behaviour Bibliografia: Samuelson/Nordhaus, Economia , MacGraw-Hill, 1988. Sousa, Alfredo, Análise Económica, Universidade Nova de Lisboa, 1988. Lipsey & Strinon, Economics. Docentes: Manuel José Lopes Nunes Filipa Marina Lisardo Dionisio Vieira António Maria Vieira Paisana Carga Horária: 3 Métodos de Ensino: Lectures and classes Métodos de Avaliação: Exam Língua de Instrução: Portuguese Créditos ECTS: 3,5 [pic] 5303P2 - Electricity and Magnetism Regime: S1 Tipo: Compulsory Programa: Electric field; Gauss law; Electric potential; Capacity and dielectrics; Current and resistance; DC circuits; Magnetic fields; Sources of the magnetic field; Faraday law; Inductance; AC circuits. Pré-requisitos: 1st year classes in Algebra and Calculus, Physics I and II. Resultados de Aprendizagem: Get acquainted with the main ideas behind the phenomena of electromagnetism and its implications and applications. Bibliografia: Electromagnetismo, Jaime E. Villate. Physics (vol 3), Serway. Physics (vol 3) Halliday and Resnich. Introdução ao Electromagnetismo; S. K. Mendiratta; Fundação calouste Gulbenkian. Docentes: Etelvina Matos Gomes Senen Lanceros Mendez José Carlos Viana Gomes Manuel Filipe Pereira Cunha Martins Costa Carga Horária: 5 Métodos de Ensino: 2 hours of lectures, 1 hour of exercises and 2 hours laboratorial classes. Métodos de Avaliação: One final examination, continuous evaluation, report on the practical work and final practical examinations. Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5303O7 - Programming Methods I Regime: S1 Tipo: Compulsory Programa: An introduction to theory and method in programming. Reasoning about programs. Compositionality. Program combinators. Programming packages and software components. * Functional programming: motivation and historical background. The Haskell language and libraries. * Function composition. Abstraction and isomorphism. Introduction to the Hindley-Milner type system. Basic data/function combinators and properties (universal, reflection, fusion, absorption, cancellation, functorhood). Algebra of a datatype. Exchange law. McCarthys conditional. * An introduction to inductive regular datatypes. Functor algebras and the «cata-ana-hilo» triology. Polinomial recursion patterns. Case study: sorting algorithms. * Rules for encoding Haskell data definitions in the C programming language. Expressiveness and compatcness of a programming language. * Parametric polymorphism. Generic programming. Type functors. Introduction to polytypism. * Functional programming using monads. `Input/output'. Exceptions. Monad laws. Pré-requisitos: Programming Paradigms (I,II) courses Resultados de Aprendizagem: This course teaches a constructive method for functional programming based on a selected library of combinators and associated calculus. This introduces students to the Algebra of Programming and pointfree reasoning, as well as to polytypism and genericity. Bibliografia: [Bir98] R. Bird. Introduction to Functional Programming Using Haskell . Series in Computer Science. Prentice-Hall International, 2nd edition, 1998. C. A. R. Hoare, series editor. [Hu00] P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia . Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9. [Ol99a] J.N. Oliveira. An Introduction to Pointfree Programming. 37p., Departamento de Informática, Universidade do Minho, 1999. [Ol99b] J.N. Oliveira. Recursion in the Pointfree Style. 33p., Departamento de Informática, Universidade do Minho, 1999. [Ol01a] J.N. Oliveira. A Quick Look at Monads, 2001. Departamento de Informática, Universidade do Minho. Chapter of book in preparation. [VB00] J.M. Valença and J.B. Barros. Fundamentos da Computação II: Programação funcional. Universidade Aberta, 2000. ISBN 972-674-318-4, 234 p. Docentes: José Carlos Bacelar Ferreira Junqueira Almeida Jorge Miguel Matos Sousa Pinto Luís Manuel Dias Coelho Soares Barbosa José Nuno Fonseca Oliveira Carga Horária: 4 Métodos de Ensino: Theory and lab classes Métodos de Avaliação: Individual exam paper + 2 projects (lab assignments) Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5303O8 - Programming Paradigms III Regime: S1 Tipo: Compulsory Programa: Introduction to Logic Programming. Logic Programs. Basic constructions. Facts, Rules and Queries. Computational Model of Logic Programs. Unification. The Prolog Language. Basic constructs. Data objects: Structures and Lists. Matching. Recursive programming. Arithmetic operators and buit-in procedures. Declarative versus Procedural semantics. Execution model of Prolog. Backtracking. Execution trees. Optimization using Cuts: green and red cuts. Negation as failure. Closed world assumption. I/O in Prolog. Dynamic programming: assert and retract. Case studies. Pré-requisitos: There are no formal prerequisites. Resultados de Aprendizagem: To provide students' the ability to program using the logic paradigm. Bibliografia: “The Art of Prolog”, L. Sterling & E. Shapiro, MIT Press, Cambridge, UK, 1986; “Prolog Programming for Artificial Intelligence”, 2nd. Edition, I. Bratko, Addison-Wesley, 1993; “Paradigmas de Programação III: Programação em Lógica – Notas Teóricas”, F. Mário Martins, UM, 1995. Docentes: José Francisco Creissac Freitas Campos António Manuel Nestor Ribeiro Fernando Mário Junqueira Martins Carga Horária: 4 Métodos de Ensino: Lectures and practical classes. Métodos de Avaliação: Final written exam and practical work. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5304O3 - Digital Systems I Regime: S2 Tipo: Compulsory Programa: Introduction; Boolean Algebra; Principles of Combinational Systems; VHDL language; Practical Issues of Combinational Systems; Principles of Sequential Systems; Practical Issues of Sequential Systems; Programmable devices (CPLDs) and memory. Pré-requisitos: None Resultados de Aprendizagem: The main aim consists on showing how computers and periphericals are built at the level immediately below its architecture. This signature aims to expose students to the fundamental concepts and techniques for analysing and synthesizing digital systems, using examples borrowed from the organization of computers. It is also an objective that students acquire a general perspective in relation to the importance of digital systems in the context of computer-based systems. Bibliografia: John F. Wakerly, Digital Design: Principles and Practices, Prentice-Hall, 3rd edition, 2000, ISBN 0-13-082599-9. Docentes: João Miguel Lobo Fernandes António Joaquim André Esteves Carga Horária: 5 Métodos de Ensino: Lectures and practical classes Métodos de Avaliação: 75% written exam + 10% project + 10% 3 short written exams + 5% evaluate 9 short written exams Língua de Instrução: Português Créditos ECTS: 6 [pic] 5304P3 - Economics Engineering II Regime: S2 Tipo: Compulsory Programa: Macroeconomics. National accounts. Agrgegate demand and supply. Keynesian and the monetary theories. Input and output model. Economic activity in Portugal. Pré-requisitos: No Prerequisites Resultados de Aprendizagem: To understand the major macroeconomic variables and their relationship Bibliografia: Samuelson/Nordhaus, Economia , MacGraw-Hill, 1988.- Sousa, Alfredo, Análise Económica, Universidade Nova de Lisboa, 1988. - Wonnacott & Crusius, Economia, McGraw-Hill. Docentes: Manuel José Lopes Nunes Jorge Miguel Oliveira Sá Cunha Carga Horária: 3 Métodos de Ensino: Lectures and classes Métodos de Avaliação: Exams Língua de Instrução: Portuguese Créditos ECTS: 3,5 [pic] 5304O9 - Electronics Regime: S2 Tipo: Compulsory Programa: 1: Introduction to electronics - Types of signals - DC circuit analysis - AC circuit analysis - 2: A system – Introduction - The Black box - Types of systems - 3: Transducers – Introduction - Specifications of Transducers - Typical transducers and their characteristics - Electronic systems components - 4: Basic components - Power Supplies – Amplifiers - Other components and susbsystems. Pré-requisitos: Basic knowledge in Circuit analysis Resultados de Aprendizagem: Give the ability to understand electronic systems specifications, as well as allow ths integration and interface of electronic systems Bibliografia: Main Literature: Textbook on Electronics - Further reading: Boylestad, Robert and Nashelsky, Louis. Electronics - A Survey. Prentice-Hall International, Inc., 1989 (3ª ed.) CARR, Joseph J. Microcomputer - Interfacing: a Practical Guide for Technicians, Engineers, and Scientists. Englewood Cliffs : Prentice-Hall, cop. 1991 - Duncan, Tom. Electronics for Today and Tomorrow. John Murray (Publishers) Ltd., 1985. Frederiksen, Thomas M. Intuitive Analog Electronics. McGraw-Hill Book Company, 1988. - Goslin, W. A First Course in Applied Electronics. The Macmillan Press Ltd., 1975. - Malvino, Albert Paul. Electronica. McGraw-Hill (S. Paulo), 1986. - Malvino, Albert Paul. Principios de electronica. McGraw-Hill (México), 1983 - Tompkins, Willis J. and Webster, John G. Interfacing Sensores to the IBM PC. New Jersey: Prentice-Hall, 1988. - Zanger, Henry. Electronic Systems - Theory and Applications. New Jersey: Prentice-Hall, Inc., 1977. Docentes: José Araújo Mendes Aires Gonçalves Esteves Pedro Manuel Moreira Castro Mota Fernando Jorge Castro Vieira Mendes Carga Horária: 5 Métodos de Ensino: Lectures (2h/week). Tutorials (1h/week). Practical exercises and projects (2h/week) Métodos de Avaliação: Final examination: 75% - Evaluation of practical projects: 25% Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5304O4 - Programming Methods II Regime: S2 Tipo: Compulsory Programa: Introduction to algorithm analysis: execution time analysis; correction analysis; asymptotic complexity analysis; O, Theta and Omega notations; recurrences; basic algorithm design strategies: brute force, greedy algorithms, divide-and-conquer algorithms, etc. Sorting algorithms; sorting in linear time. Classical graph algorithms. Definition of the P and NP problem classes; examples of NP-complete problems. Data structures: efficiency issues in tree searches; AVL trees and hash tables. Data structure implementation in C. Pré-requisitos: Imperative programming (basic concepts); recursion. Resultados de Aprendizagem: At the end of the course students should be capable of selecting appropriate algorihmic strategies, and of designing and analysing algorithms for solving different kinds of problems. Bibliografia: Introduction to Algorithms T H Cormen, C E Leiserson, R L Rivestr and C Stein MIT Press, Cambridge, Mass., second edition, 2001. The Art of Computer Programming: (1) Fundamental Algorithms, (2) Seminumerical Algorithms, (3) Sorting and Searching, volume 1. Donald E Knuth Addison-Wesley, third edition, 1997-98. Data Structures and Program Design in C R L Kruse, B P Leung, and C L Tondo Prentice Hall, second edition, 1997. Docentes: Maria João Gomes Frade Jorge Miguel Matos Sousa Pinto Carga Horária: 4 Métodos de Ensino: Presential lectures (2 weekly hours); accompanied resolutions of problems (2 weekly hours); supervision of small projects. Métodos de Avaliação: Final written examination; 2 small programming projects. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5304O5 - Programming Paradigms IV Regime: S2 Tipo: Compulsory Programa: The Object Oriented Programming Paradigm. - Encapsulation and Modularity. What is a Object? Structure and Behaviour. Messages. Classes, hierarchy and inheritance. - Inheritance versus Composition. Polimorphism. Abstract Classes. - Java. - Java Development Kit. Virtual Machine and ByteCode. - Basic constructs of the language. Simple types. Operators. Control structures. - Classes and instances. Constructors. Methods and instance variables. - Access modifiers. Pre-defined Java classes. Java classes that implement relevant data structures. Class hierarchy. The class Object. Method lookup. - Abstract Java classes. Static versus dynamic type checking. Polimorphism. - The Java Exception mechanism. Java Interfaces as data type specifications. - Data persistency. Streams. ObjectStreams. Java packages. - Graphical user interfaces using SWING. Pré-requisitos: Previous knowledge of programming and data structures. Resultados de Aprendizagem: Understanding the problems and some techniques related with large scale programming. Bibliografia: Programação Orientada aos Objectos em JAVA2, F. Mário Martins, Editora FCA, Série Tecnologias de Informação, ISBN-972-722-196-3, 3ª Edição, Setembro de 2003. - An Introduction to Object Oriented Programming, T. Budd, Addison-Wesley, 2nd Edition, 1997. - Java in a Nutshell, D. Flanagan, O´Reilly & Associates, 1996. - Core Java, G. Cornell, C. Horstmann, Prentice-Hall, 1996. Docentes: António José Borba Ramires Fernandes Fernando Mário Junqueira Martins Carga Horária: 4 Métodos de Ensino: Teaching lessons (2h/week) plus laboratorial classes (2h/week). Métodos de Avaliação: 1 course Project (within a Project group) plus 1 written test. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5304O8 - Statistical Methods Regime: S2 Tipo: Compulsory Programa: Introduction to statistics: study of one and two variables. Probability distributions: probability, distribution, multivariate distributions. Normal distribution: central limit theorem and applications, distributions related to the normal one. Estimation and confidence intervals. Pré-requisitos: None Resultados de Aprendizagem: Understanding the most basic methods of statistical inference Bibliografia: F. Galvão de Melo,Probabilidades e estatística. Conceitos e métodos fundamentais, Escolar Editora, McGraw-Hill 1997. - R.C. Guimarães e J.A.S. Cabral, Estatística, McGraw-Hill 1997. - P.L. Meyer, Probabilidades. Aplicações à estatística, Livros Técnicos e Científicos, Editora 1969 Docentes: Cecília Maria Vasconcelos Costa Castro Azevedo Ana Paula Costa Conceição Amorim Carga Horária: 4 Métodos de Ensino: 2 hours lectures and 2 hours tutorial/week Métodos de Avaliação: Written exam Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5305O4 - Digital Systems II Regime: S1 Tipo: Compulsory Programa: The design flow of VLSI CMOS digital systems, with emphasis on logic design, physical design and fabrication. The 3 domains of design: behavioral, structural and physical. The logic design: n/p networks, TGs, BDDs. The MOSFET electronic level of abstraction and the semiconductor model. The layout of the chip and its computer aided design support. The p artition, floorplaning/placement, global and detailed routing problems. Pré-requisitos: None (Basic knowledge in data structures and programming languages can be assumed). Resultados de Aprendizagem: Present the current VLSI design flow of SOCs (System on a Chip), and the role of CAD/EDA software tools in modern hardware design. Bibliografia: Principles of CMOS VLSI Design, Weste & Eshraghian,Addison Wesley. - “Modern VLSI Design: A Systems Approach”, Wayne Wolf, Prentice Hall, 1994. - "Conceitos Básicos, Problemas e Resoluções sobre Concepção Assistida por Computador, de Desenho Físico em VLSI", José A. Lima, DI/UM, Volumes I e II, 2001-2002. Docentes: José Augusto Domingues Fernandes Lima Carga Horária: 5 Métodos de Ensino: 2 hours of lectures and 2 hours of recitation and computer labs. Métodos de Avaliação: Final examination, layout optimization homework and in class CAL (Computer Aided Labs) questionaires, optional UMLe design automation small project. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5305O2 - Fundamentals of Telecommunications Regime: S1 Tipo: Compulsory Programa: Signals and systems in telecommunications; Modulation; Noise and errors; Digital systems and line coding; Time and Frequency multiplexing; Statistical multiplexing. Multimedia Signals: Audio Fundamentals, Human Visual System and Perception, Multimedia Data Acquisition  Multimedia Signal  Processing Compression: Transforms and sub-band decomposition, Text Representation and Compression, Audio, Image and Video Compression and Processing.   Pré-requisitos: None beyond basic calculus and physics.   Resultados de Aprendizagem: To understand the basic concepts of telecommunication theory, the fundamental limitations to distance communications and the mechanisms underlying current telecommunication systems.  Understand multimedia signals  digitalization, compression and processing.   Bibliografia: Roger Freeman, Fundamentals of Telecommunications, Wiley 1999; William Stallings, Data and Computer Communications, Prentice Hall, 2003; Roger Freeman, Telecommunication Systems Engineering, Wiley, 1996.  Mrinal Mandal, Multimedia Signals and Systems, Kluwer, 2003.   Docentes: Joaquim Melo Henriques Macedo Bruno Alexandre Fernandes Dias Carga Horária: 4 Métodos de Ensino: Two hours of formal presentation and two hour tutorials per week, Homeworks.   Métodos de Avaliação: Five Homeworks using Matalab with a final oral examination. Two hour writen exam at end of semester. Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5305O5 - Numerical Methods I Regime: S1 Tipo: Compulsory Programa: Iterative methods for nonlinear equations. Direct and iterative methods for systems of linear equations. Newton method for nonlinear systems. Function approximation by interpolated polinomials and cubic Splines. Linear least squares approximation. Nonlinear least squares (Gauss-Newton). Numerical integration. Pré-requisitos: Knowledge on Maths/ Linear Algebra Resultados de Aprendizagem: Theoretical and practical competence on numerical methods for engineering problems Bibliografia: E.M.G.P. Fernandes, Computação Numérica, 2ª edição, Universidade do Minho, 1998; S.C. Chapra e R.P. Canale, Numerical Methods for Engineers with Programming and Software Applications, McGraw-Hill, 1998; J.R. Rice, Numerical Methods, Software and Analysis, McGraw-Hill, 1983 Docentes: Maria Teresa Torres Monteiro Isabel Rute Barbosa Proença Ventura Baptista Dias Assunção Edite Manuela Graça Pinto Fernandes Carga Horária: 4 Métodos de Ensino: Lectures/ Practical exercises Métodos de Avaliação: Final Examination Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5305O3 - Operating Systems I Regime: S1 Tipo: Compulsory Programa: Introduction to modern operating systems. Process Management: objectives, scheduling strategies. Concurrent programming: communication and syncronization of processes and threads. Memory management: real and virtual memory, segmentation and paging. Device Management. Pré-requisitos: None Resultados de Aprendizagem: Modern operating system organization and systems programming concepts Bibliografia: A. S. Tanenbaum, Modern Operating Systems, 2nd edition, Prentice Hall, 2001. Docentes: Francisco Coelho Soares Moura Carlos Miguel Ferraz Baquero Moreno José Pedro Garcia Oliveira António Luís Pinto Ferreira Sousa Carga Horária: 5 Métodos de Ensino: 2hours/week lectures; 3 hour/week at computer laboratory Métodos de Avaliação: Final Exam Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5305O8 - Operational Research I Regime: S1 Tipo: Compulsory Programa: Linear, network, integer, quadratic and dynamic programming. Inventory control. Pré-requisitos: None Resultados de Aprendizagem: Develop skills for modelling and solving operations research problems (deterministic models), with emphasis on industrial and systems engineering problems. Bibliografia: A.Guimarães Rodrigues, Investigação Operacional – Modelos determinísticos. Jorge Guerreiro, Alípio Magalhães, Manuel Ramalhete, Programação Linear (Volumes I e II) Mc Graw-Hill Portuguesa. Tavares, L. V., Oliveira, R.C., Themido, I.H. e Correia, F.N., Investigação. Operacional, McGraw-Hill, Lisboa, 1996. Harvey M. Wagner, Principles of Operations Research, Prentice Hall. Hamdy Taha, Operations Research - An Introduction. Collier MacMillan International Editions Docentes: Luís Miguel Silva Dias Filipe Pereira Pinto Cunha Alvelos José Manuel Vasconcelos Valério Carvalho Carga Horária: 6 Métodos de Ensino: Lectures and tutorial classes Métodos de Avaliação: Written exam and coursework Língua de Instrução: Portuguese Créditos ECTS: 6,5 [pic] 5305O1 - Programming Methods III Regime: S1 Tipo: Compulsory Programa: Pattern Based programming: Productions Systems; Regular Expressions and Regurlar Grammars; State transition based programming: State machines; Deterministic and Non-deterministic Finite State Automata; Conversion ER-NDFA-DFA; The Lex System; Context-Free Grammars and Recursive-Descent Parsing;. Combinators based programming. Pré-requisitos: Algorithms and data structures; declarative (haskel) and procedural (C) programming. Resultados de Aprendizagem: Make the students understand the concept of production system and programming using patterns (condition-reaction rules); introduce regular expressions, finte state automata, and context free grammars as support to program development. Bibliografia: L. S. Barbosa, Elementos de Teoria dos Autómatos, Monografia DI-LSB-96:5:1, 1996; - J. Carroll & D. Long, Theory of Finite Automata, Prentice Hall, 1989 - R. N. Moll & M. A. Arbib & A. J. Kfoury, An Introduction to Formal Language Theory, Springer-Verlag, 1988; J.A. Saraiva, Language Processing (with a Functional Flavour, Notas Pedagógicas, DI-UM-2000; J.A. Saraiva, Especificação e Processamento de Linguagens. Technical Report UM-DITA 9503, 1995. Docentes: Jorge Gustavo Pereira Bastos Rocha José Carlos Leite Ramalho João Alexandre Baptista Vieira Saraiva Pedro Manuel Rangel Santos Henriques Carga Horária: 4 Métodos de Ensino: Theorical and practical classes. Métodos de Avaliação: Theory mark (x 0.60) and practice mark (x 0.40). Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5306N1 - Applied Statistics Regime: S2 Tipo: Compulsory Programa: Parameter estimation; Hypothesis testing; Chi-square tests; Analysis of variance; Non-parametrics statistics; regression. Pré-requisitos: None Resultados de Aprendizagem: Knowledge and comprehension of statistical methods Bibliografia: R. Campos Guimarães e J. Sarsfield Cabral, Estatística, McGraw-Hill, 1997. W. Mendenhall and T. Sincich, Statistics for Engineering and the Sciences, M Macmillan, 1992. J. Freund, Mathematical Statistics, John Wiley, 1995 Docentes: Ana Cristina Silva Braga Lino António Antunes Fernandes Costa Carga Horária: 4 Métodos de Ensino: Theoretical and practical lectures. Computational experiments using EXCEL and SPSS. Métodos de Avaliação: Written examinations, practical work on SPSS  and assignment evaluation Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5306O3 - Computer Architecture II Regime: S2 Tipo: Compulsory Programa: Internal architecture of a RISC processor: the control unit; implementation approaches; exceptions and interrupts. Instruction level parallelism (ILP): pipeline on a RISC datapath; resolution of dependency problems; superscalar architectures; performance analysis with memory hierarchy; comparative assessment of commercial CPU's. Parallel processing: taxonomy, shared memory MIMD's, cache coherence, distributed memory MIMD's, interconnection topologies. Pré-requisitos: None Resultados de Aprendizagem: Quantitative approach to computer architecture and scalable computing support. Bibliografia: D.Patterson, J.Henessy, Computer Organization and Design: the hardware/software interface, Morgan Kaufmann Publishers, 2nd Ed., 1997. - D. Patterson and J. Hennessy, Computer Architecture: a Quantitative Approach, Morgan Kaufmann Publishers, 3rd Ed., 2002 Docentes: João Luís Ferreira Sobral Carga Horária: 4 Métodos de Ensino: 2 hours lectures and 2 hours practical classes Métodos de Avaliação: Written exam Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5306O4 - Language Processing I Regime: S2 Tipo: Compulsory Programa: Language processing: basic concepts. Lexical analysis and regular expressions (reactive automatons). Syntatic analysis and context-free grammars (Top-down and Bottom-up Parsers). Semantic analysis: Attribute grammars. Compiler construction and automatic generation. Pré-requisitos: None. Resultados de Aprendizagem: The goals of the language processing course are: - To understand the concepts of analisis and automatic program generation. - To study the concept of context-free grammar and its use in the specification and implementation of formal language processors. - To analise and understand the different parsing techniques: Top-down and Bottom-Up parsing. - To introduce a new programming methodology: Attribute Grammar based programming and its use int he specification and implementation of formal language processors. - To introduce the concept of programming environment and its specification via attribute grammars. - To relate attribute grammars and lazy functional programming. - To strengh the programming skills of the students in order to develop correct and efficient programs. Bibliografia: J. A. Saraiva, Especificação e Processamento de Linguagens, versão 1.0, Textos Pedagógicos, Univ. do Minho, 1995 ; R. G. Crespo, Processadores de Linguagens: da concepção à implementação, IST-Press, 1998 - Aho & Sethi & Ullman, Compiler Principles, Techniques and Tools, Addison-Wesley, 1986; Waite & Carter, An Introduction to Compiler Construction, Harper Collin College Publishers, 1993. – Andrew W. Appel, Modern Compiler Implementation in C, Cambridge University Press, 1997. Docentes: José Carlos Leite Ramalho José João Antunes Guimarães Dias Almeida Carga Horária: 4 Métodos de Ensino: Theory and lab classes. Métodos de Avaliação: 3 writen examinations. Theorical mark (x 0.50) and practical mark (x 0.50). Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5306O1 - Networks and Data Communication Regime: S2 Tipo: Compulsory Programa: Data communication fundamentals. Reference models, OSI and TCP/IP. Elements of protocols: addressing, link, flow and error control. Local area networks. Access protocols and their performance. Internet protocols. Common network applications. Pré-requisitos: None. Resultados de Aprendizagem: To understand the current data communications techniques and principles. To introduce the reference models for networked communications and current communication protocols and services. Bibliografia: J. Kurose and K. Rose, Computer Networking: A Top Down Approach Featuring The Internet, Addison-Wesley, 2ed 2003; W. Richard Stevens, TCP/IP Illustrated vol I: The Protocols, Addisson-Wesley 1996; William Stallings, Data and Computer Communications, Prentice Hall, 7ed 2003. Docentes: Bruno Alexandre Fernandes Dias Óscar Sílvio Marques Almeida Gama Vasco Luís Barbosa Freitas Carga Horária: 5 Métodos de Ensino: Two hour presentation lectures and three hour laboratory practice per week. Métodos de Avaliação: Written exam and evaluation of reports of the laboratory experiments. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5306O2 - Operating Systems II Regime: S2 Tipo: Compulsory Programa: Local and distributed file systems: performance, concurrency control, fault tolerance. Concurrent and distributed programming: shared memory, message passing, client-server. Exercises with processes, threads and sockets. Pré-requisitos: None Resultados de Aprendizagem: Introduction to distributed systems programming Bibliografia: A. S. Tanenbaum, Modern Operating Systems, 2nd edition, Prentice Hall, 2001. Docentes: Francisco Coelho Soares Moura José Pedro Garcia Oliveira António Luís Pinto Ferreira Sousa Carga Horária: 5 Métodos de Ensino: 2hours/week lectures; 3 hour/week at computer laboratory Métodos de Avaliação: Final Exam Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5306N9 - Operational Research II Regime: S2 Tipo: Compulsory Programa: Introduction to stochastic processes. Stochastic dynamic programming. Queuing theory. Forecasting techniques. Inventory management and control. Pré-requisitos: None Resultados de Aprendizagem: Develop skills for modelling and solving operations research problems (stochastic or probabilistic models), with emphasis on industrial and systems engineering problems. Bibliografia: A.Guimarães Rodrigues, Investigação Operacional, Vol. II – Modelos estocásticos, Univ. Minho, 1994. Harvey M. Wagner, Principles of operations Research, Prentice-Hall. Makidrakis, Weelwright and McGee, Forecasting, Wiley. Richard J. Tersine, Principles of inventory and materials management, Prentice-Hall, 1994. Docentes: José Manuel Henriques Telhada Filipe Pereira Pinto Cunha Alvelos Guilherme Augusto Borges Pereira Carga Horária: 6 Métodos de Ensino: Lectures and tutorial classes Métodos de Avaliação: Written examination and course work Língua de Instrução: Portuguese Créditos ECTS: 6,5 [pic] 5307N6 - Computer Communications I Regime: S1 Tipo: Compulsory Programa: Computer communications: architectures, services and protocols. Local network and public networks. Internet Protocols. Network Interconnection. Pré-requisitos: None. Resultados de Aprendizagem: Bibliografia: Computer Networks, 3rd ed., A. Tanenbaum, Prentice-Hall, 1996; Internetworking with TCP/IP, D. Comer & C. Stevens, Prentice-Hall, 1996. Docentes: Bruno Alexandre Fernandes Dias Alexandre Júlio Teixeira Santos Óscar Sílvio Marques Almeida Gama Carga Horária: 5 Métodos de Ensino: Lectures and laboratorial work. Métodos de Avaliação: Written examination and practical work. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 53019A - Cultural Option I Regime: S1 Tipo: Compulsory Programa: Writing Methodologies - 1 - Written language; 2 - The writing process. Planning, transcribing and revising; 3 - Properties of a text; 4 - Writing at the university; 5 - The word processor. Marketing - Concepts of marketing and market. Marketing activities and their impact in textile and clothing companies’ competitiveness. Marketing-mix (Product, Price, Place and Promotion). Marketing-mix strategies. Marketing research. Market segmentation. Market positioning and differentiation of brands and products. History of the European Union - The steps of the European construction: from the Marshall Plan to the Rome, Maastrich and Amsterdam Treats. From the Rome (1957) to Rome (2003) The community politicals: from the common market to the Citizens Europe The European organizations: how they are composed and their duties. Industrial Law - I – Introduction – acts of commerce; II – Notion of trading company; 1. Constitution of trading companies; 2. Different kinds of trading companies; 3. Obligations and rights of partners; 4. The organic of trading companies; 5. Anonymous society and joint-stock company. Technical English I - Information Technology (Linux vs. Microsoft Windows, Networks “It’s all about acceleration”, Outwitting the cybercops); Biotechnology/Genetics ( Brave New Foods: Cloning; DNA). Pré-requisitos: Writing Methodologies - None. Marketing Basic knowledge of economics. History of the European Union -Not applicable. Industrial Law - No Prerequisites. Technical English I - Intermediate level of English. Resultados de Aprendizagem: Writing Methodologies - To understand the importance of written language; to analyse our own writing processes; to develop writing competences; to develop the competence of using written language in academic work. Marketing - Analysis of market competitive dynamics. Analysis of marketing methodologies and techniques as a factor of development towards the increase of sustainable competitiveness and differentiation of products and brands in clothing companies. History of the European Union - Students are expected to obtain a general overview of the several steps given to achieve the European Union. The students also must recognise the European organizations and know their composition and duties. Industrial Law - Give to the students the elementar notions of trade law. Technical English I - Communicate effectively in English both in formal and informal contexts. Develop the different skills. Bibliografia: Writing Methodologies - Carvalho, José A. Brandão (2003). Escrita - Percursos de Investigação. Braga: D.M.E./U.Minho; Mateus, M.ª H.; Brito, A.; Duarte, I. e Faria, I. (1989). Gramática da Língua Portuguesa. Lisboa: Caminho.; Tynjala, P., Mason, L. & Lonka, K. (2001). Writing as a Learning Tool. Dordrecht: Kluwer. Tynjala, P., Mason, L. & Lonka, K. (2001). Writing as a Learning Tool. Dordrecht: Kluwer. Marketing - LENDREVIE, Jacques et al. - Mercator: Teoria e prática do marketing, Lisboa: D. Quixote, 2000; HARLÉ, E., CHEVALIER, G. e D'HOERAENE, J. - Como adaptar a empresa à evolução dos mercados. Lisboa: Publicações D.Quixote, 1992; REIS, Elizabeth e MOREIRA, Raúl - Pesquisa de mercados. Lisboa: Edições Sílabo/INDEG/ISCTE, 1993. History of the European Union - FONTAINE, Pascal (1994), A União Europeia, Edit. Estampa, Lisboa; ROCHA, Isabel (2002), Tratados, Porto Editora, Porto; COVAS, António (1999), A União Europeia. Do Tratado de Amsterdam a um Projecto de Carta Constituinte para o séc. XXI, Celta, Lisboa. Industrial Law - Abreu, Coutinho de – Curso de Direito Comercial, vol.I, Almedina, Coimbra, 2002. Technical English I - Lendinnig, E.; McEwan, J.. Oxford English for Information Technology. Oxford, University Press, 2000; Mascull B., Key Words in Science and Technology, Harper Collins Publishers, 1997; Barrass, R., Scientists must write – A guide to better writing for scientists, engineers and students, Science Paperbacks, 1982; Conrad, S., Biber, D.; Leech, G., Student Grammar of Spoken and Written English, Longman, 2002; Wellman, G., The Heinemann English Wordbuilder, Heinemann, 1992; Articles from “Newsweek” and “Time” (2000 -2003). Docentes: José António Brandão Soares Carvalho Margarida Pereira Varela Santos Montenegro Durães Cláudia Maria Neves Simões Teresa Alexandra Coelho Moreira Maria Salomé Faria Braga Osório Carga Horária: 2 Métodos de Ensino: Writing Methodologies - Lectures; practical work. Marketing - Lectures (2h/week). History of the European Union Lecture and practical classes. Industrial Law - Lecture and exercises. Technical English I - Texts and reading activities; production of instructions, descriptions, explanations, summaries and argumentative texts about topics in computing/IT/Biotechnology; Key points of grammar and key functions. Métodos de Avaliação: Writing Methodologies - Continuous assessment. Marketing - Final exam: 60%; Evaluation of practical projects: 40%; Minimum grade in final exam 8/20. History of the European Union - Final examination (written + oral, if necessary). Industrial Law - Exam. Technical English I - Continuous assessment. Língua de Instrução: Portuguese Créditos ECTS: 3 [pic] 5307O9 - Databases Regime: S1 Tipo: Compulsory Programa: Information Systems and Databases - The Relational Model; The Structured Query Language (SQL); Distributed Databases; Deductive Databases; Database management systems and software development; Datawarehousing; Datamining; Knowledge Extraction on Databases. Pré-requisitos: None. Resultados de Aprendizagem: The student may be able to analyze a problem involving the administration, maintenance and querying of large volumes of information, concerning relational databases. They will develop software applications to access databases, on Windows, Linux and Web frameworks. Distributed object-oriented and deductive databases will also be object of study. Some database engines will be considered, namely Oracle and Informix. Bibliografia: Date C., An Introduction to Database Systems, Volume I, VI Edição, Addison-Wesley Systems Programming Series, 1996. Ullman J., Principles of Database and Knowledge-Base Systems, Volume I:Classical Databases Systems, Computer Science Press, 1988. Date, C.J., Darwen, H., A Guide to the SQL Standard, IV Edição, Addison-Wesley Inc, 1997. Pereira, J.L., Tecnologia de Bases de Dados, FCA - Editora de Informática, 1997. Brathwaite .K, Object-Oriented Database Design, Concepts and Application, Academic Press, 1993.  Bell D., Grimson J., Distributed Database Systems, Addison-Wesley Publishing Company, 1992.  Docentes: António Carlos Silva Abelha José Manuel Ferreira Machado Carga Horária: 4 Métodos de Ensino: 2 T + 2 TP. Métodos de Avaliação: 1 Work (50%) + 1 Exam (50%). Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5307N7 - Distributed Operating Systems I Regime: S1 Tipo: Compulsory Programa: Introduction to distributed systems. Distributed programming paradigms. Client-server paradigm. Heterogeneity resolution. Object-oriented concurrent programming. Distributed objects; middleware case-studies: Java RMI and CORBA. Message oriented middleware. Design patterns and architectural styles in distributed systems. Pré-requisitos: Operating systems; object-oriented programming; concurrency. Resultados de Aprendizagem: Distributed systems concepts and programming paradigms Bibliografia: Wolfgang Emmerich, Engineering Distributed Objects, Willey, 2000; Esmond Pitt, Kathleen McNiff, Java.rmi, The Remote Method Invocation Guide, Addison-Wesley, 2001; Fintan Bolton, Pure CORBA, SAMS, 2001. Docentes: Paulo Sérgio Soares Almeida José Orlando Roque Nascimento Pereira António Luís Pinto Ferreira Sousa Carga Horária: 4 Métodos de Ensino: 2 hours lectures and 2 hours laboratory projects. Métodos de Avaliação: Exam and project assignments. Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5307N5 - Knowledge Representation Regime: S1 Tipo: Compulsory Programa: Predicate Logic; Knowledge Representation and Reasoning; Knowledge about Knowledge and Metaknowledge; Artificial Neural Networks; Evolutionary Computation; Swarm Intelligence; Computational Complexity. Pré-requisitos: None. Resultados de Aprendizagem: One's goal focus on the issues of knowledge representation and reasoning, i.e., the problem will be approached in terms of the conception and formal specification of Symbolic, Artificial Neural Networks, Evolutionary and Swarm Intelligence based systems, making the way to the implementation of intelligent entities (e.g., robots, agents). Bibliografia: - Gallier J., "Logic for Computer Science", London, Harper & Row, Inc., 1986; - Russell S., Norvig P., "Artificial Intelligence - A Modern Approach", Prentice-Hall International, Inc, 1995; - Weihrauch K., "A Simple Introduction to Computable Analysis", Fern Universitat, Hagen, Germany, 1995. Docentes: César Analide Freitas Silva Costa Rodrigues José Carlos Ferreira Maia Neves Carga Horária: 4 Métodos de Ensino: Theoretical lectures and practical classes. Métodos de Avaliação: Final exam and projects. Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 5307P1 - Option I Regime: S1 Tipo: Optional Programa: Systems Administration - Introduction/Infrastructure bootstrap. Network Services. User management. System performance analysis/monitorization. Backup/recovery/automatic instalation procedures Active/passive security. Case studies:Linux, Windows. Parallel Architectures I - Parallel computing in distributed and shared memory systems; parallel algorithms and multithreading in shared memory environments. Programming model in communicating processes; object oriented parallel computing. Load-distribution and grain-size adaptation. Cryptography - Cryptographic terminology; number theory basics; symmetric-key cryptography; public key cryptography based on integer factorization, discrete logarithm problem and eliptic curves (cyphers and digital signature schemes); cryptographic protocols for authentication and key distribution. Strategic Management - The process of strategic management. SWOT analysis. Corporate and competitive strategies. Logistics and Distribution- Introduction and planning. Logistics customer service; Distributions systems; Location strategy; Order processing and Information Systems; Transport planning; Storage and handling decisions. - Forecasting. Introduction. Forecasting methods. Time series methods. Exponential Smoothing. ARIMA modelling. Regression models. Forecasting methods selection. Implementing a forecasting system. Selecting forecasting software. - Inventory management: principles and models. Distribution inventory systems. Formal Methods I- Introduction to high-quality control standards in the software field. * Safety-critical systems. * Formal methods and the formal method life-cycle * Specification versus implementation (and refinement). * The role of abstraction in formal modelling. Sub-specification and nondeterminism. * Languages for formal specification and systems modelling. From the VDM method to the SO/IEC 13817-1 (VDM-SL) standard. Abstract data models: sets, sequences and mappings. Notation and properties. * Relations versus functions. Relational calculus. Semantics of the VDM-SL notation expressed in the relational calculus. Galois connections. Pointfree reasoning. Taxonomy of binary relations. Wellfoundedness and termination. Structural induction. * Formal modelling in the IS context. VDM-SL semantics of ER-diagrams. * Lab sessions: experience with IFAD's VDMTOOLS for Quality Software on Schedule. Formal Methods II- Introduction to program development by calculation. Foundations of data refinement. Abstraction and representation functions/relations. Invertibility. Surjectivity and/or injectivity. Isomorphic data. Data migration using formal methods. * Data refinement by calculation. Repository of laws for data refinement. Recursion removal theorem. Encoding of recursive polynomial data models as pointer-structures in C/C++ style. On grammar-based representations (XML). Object-oriented representation. * Algorithimc data refinement. Simulation and reduction of nondeterminism. Deterministic (functional) implementations. Change of real/virtual data-structures. Fusion laws. Hylomorphisms. Derivation of while/for-loops as hylomorphisms. * Project: from functional specification animation to service prototyping. From algebras to objects. Reactive behaviour. API. Client-server arquitecture. Embedding formal models into foreign language contexts. Experience with VDM++ and the VDMTOOLS® API. Multimedia- Computer Graphics; The OpenGL API;Texturing; Lighting; Realtime CG; Procedural Terrain and Geometry; Distributed Systems I- Introduction to distributed systems. Distributed programming paradigms. Client-server paradigm. Heterogeneity resolution. Object-oriented concurrent programming. Distributed objects; middleware case-studies: Java RMI and CORBA. Message oriented middleware. Design patterns and architectural styles in distributed systems. Scripting- Scripting languages: concepts and goals; Introduction to Perl. Scripting and knowledge representation, programming guided by regular expressions, language precessing and parsing, document processing (XML and HTML), rewriting systems, data persistence, embedding, interface and networking. Introduction to the use and construction of Makefiles, TGZ, RPMS, CVS; programing the editor. e-Commerce - Introduction to e-Commerce; Virtual organization and Virtual Market; Agents and e-Commerce; Negotiation; Agent Mediated e-Commerce; Trust. Bioinformatics - Introduction to Bioinformatics; Computational representation of biological data; Biological databases; Algorithms for alignment of pairs of sequences; Searching databases for similar sequences; Multiple sequence alignment and motif extraction; Phylogenetic prediction; Gene discovery; Tridimensional structures;  Protein classification and structure prediction; Genome analysis; Genetic networks, regulation and functional genomics; Implementation of algorithms in Perl and Java.   Pré-requisitos: Systems Administration - None. Parallel Architectures I - None. Cryptography - None. Strategic Management - None. Logistics and Distribution - None. Formal Methods I - Course 5303O7. Formal Methods II- Course 5307P6. Multimedia- Knowledge of Programming Language C; Algorithms and Data Structures. Distributed Systems I- Operating systems; object-oriented programming; concurrency. Scripting- knowledge of UNIX and imperative programming. e-Commerce - None. Bioinformatics - None. Resultados de Aprendizagem: Systems Administration - To plan and administrate the infastructure of an organization. Parallel Architectures I - Application development and implementation in parallel architectures. Cryptography - Introduction to cryptographic techniques. Strategic Management - To understand the meaning of strategic management and use associated techniques. Logistics and Distribution - To present principles, methods and techniques that are fundamental to good logistics practice. Formal Methods I - Students are expected to develop expertise in abstract modelling supported by animation and in formal reasoning by using the relational calculus. Formal Methods II - The theoretical contents of this course address program development by calculation from formal specification. The (optional) project develops skills in embedding formal specs in other programming environments via the VDMTOOLS® API. Multimedia - Introduction to real time computer graphics. Distributed Systems I - Distributed systems concepts and programming paradigms. Scripting - Fast prototyping of software; building versions for distribution, Use of cooperative software development tools. e-Commerce - The aim of the course is to introduce some of the more fundamental aspects of electronic business. Bioinformatics - To be able to understand, design and implement the main bioinformatics algorithms.   Bibliografia: Systems Administration - The Practice of System and Network Administration; Addison-Wesley Principles of Network and System Administration; Wiley Essential System Administration, 3rd Edition; O'Reilly. Parallel Architectures I - Ian Foster, Designing and Building Parallel Programs, Addison Wesley, 1994. Cryptography - Curso de Criptografia - J.M.Valença - Universidade do Minho - 2000 - Handbook of Applied Cryptography - A.J.Menezes, P.V.van Oorschot, S. A. Vanstone - CRC Press 1996 - Introduction to Cryptography; principles ans applications - H. Delfs, H. Knebl - Springer, 2002 - Cryptography: Theory and Practice - Douglas R. Stinson - CRC Press, 1995. - A Course in Number Theory and Cryptography - Neal Koblitz - Springer-Verlag, 1994. (2nd edition). Strategic Management - Hill, C.W.L. and Jones, G.R. (2001) Strategic management: an integrated approach. Logistics and Distribution - Carvalho, Maria do Sameiro, Apontamentos logística, 2000 - Ballou, Ronald, Business Logistics Management, Prentice Hall ,1998 - Carvalho, J.M. Crespo de, e-Business & e-Commerce, On and Offline, Edições Sílabo, Lisboa, 2001 - Bramel, J., Simchi-levi, D, The logic of logistics, Springer, 1997 - Makridakis, Wheelwright, Mgee, Forecasting, Methods and Applications, J. Wiley &Sons. - Tersine, R. , "Principles of Inventory and Materials Management",Prentice-Hall, 1994. Formal Methods I - J. Fitzgerald and P.G. Larsen. Modelling Systems: Practical Tools and Techniques . Cambridge University Press, 1st edition, 1998. * J.N. Oliveira. An Introduction to Relational Modelling. Departamento de Informática, Universidade do Minho, 2002. * C. B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986. Formal Methods II - [BdM97] R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C. A. R. Hoare, series editor. [Jon86] C. B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986. C. A. R. Hoare. [Mor90] C. Morgan. Programming from Specification. Series in Computer Science. Prentice-Hall International, 1990. C. A. R. Hoare, series editor. [Ol99a] J.N. Oliveira. An Introduction to Pointfree Programming. 37p., Departamento de Informática, Universidade do Minho, 1999. [Ol99b] J.N. Oliveira. Recursion in the Pointfree Style. 33p., Departamento de Informática, Universidade do Minho, 1999. Multimedia - OpenGL Programming Guide", Woo, Neider, Davis and Schneider, Addison Wesley. "Interactive Computer Graphics", Edward Angel, Addison Wesley. "Real-Time Rendering", Moller and Haines. "OpenGL Super Bible". Distributed Systems I - Wolfgang Emmerich, Engineering Distributed Objects, Willey, 2000. Esmond Pitt, Kathleen McNiff, Java.rmi, The Remote Method Invocation Guide, Addison-Wesley, 2001. Fintan Bolton, Pure CORBA, SAMS, 2001. Scripting - Programming Perl, by Larry Wall and Tom Christiansen and Randal L. Schwartz; Domain Specific Languages: An annotated Bibliography, by Arie Deursen, Paul Klint and Joost Visser; Mastering regular expressions, by Jeffrey Friedl; Perl cookbook, by Tom Christiansen and Nathan Torkington. e-Commerce - M. He, N. R. Jennings and H. Leung, On agent-mediated electronic commerce, IEEE Trans on Knowledge and Data Engineering 15 (4) 985-1003, 2003. Brito, L., Novais, P. and Neves, J., The Logic Behind Negotiation: From Pre-Argument Reasoning to Argument-Based Negotiation. Intelligent Agent Software Engineering, Ed. Plekhanova V. Idea Group Publishing, ISBN 1-59140-046-5, Chapter 7, pp 137-159, 2003. S. D. Ramchurn, D. Huynh and N. R. Jennings, Trust in multiagent systems, The Knowledge Engineering Review, 2004. Bioinformatics - D. Mount, Bioinformatics: Sequence and genome analysis, Cold Spring Harbor Laboratory Press,  New York, 2001. C. Gibas e P. Jambeck, Developing Bioinformatics Computer Skills, O'Reilly, 2001. J. Tisdall, Beginning Perl for Bioinformatics, O'Reilly, 2001. J. Tisdall - Mastering Perllfor Bioinformatics, O'Reilly, 2003.   Docentes: Francisco Coelho Soares Moura António José Borba Ramires Fernandes José Manuel Henriques Telhada Paulo Sérgio Soares Almeida César Analide Freitas Silva Costa Rodrigues Rui Manuel Ribeiro Castro Mendes Paulo Jorge Freitas Oliveira Novais José Carlos Bacelar Ferreira Junqueira Almeida Rui Pedro Araújo Sá João Luís Ferreira Sobral Miguel Francisco Almeida Pereira Rocha José João Antunes Guimarães Dias Almeida Maria Sameiro Faria Brandão Soares Carvalho José Pedro Garcia Oliveira Manuel Bernardo Martins Barbosa José Manuel Esgalhado Valença António Maria Vieira Paisana António Luís Pinto Ferreira Sousa Luís Manuel Dias Coelho Soares Barbosa José Carlos Ferreira Maia Neves Manuel Carlos Barbosa Figueiredo José Nuno Fonseca Oliveira Carga Horária: 4 Métodos de Ensino: Systems Administration - 2 hours lecturing + 2 hours labs. Parallel Architectures I - 2 hours lectures and 2 hours practical classes. Cryptography - Theorectical classes and one project. Strategic Management - Lectures and working classes. Logistics and Distribution - Lectures and laboratory sessions. Formal Methods I - Theory and lab classes. Formal Methods II - Theory and lab classes. Multimedia- In class. Distributed Systems I - 2 hours lectures and 2 hours laboratory projects. Scripting- 2 hours lecturing + 2 hours labs. e-Commerce - 2 hours lecturing + 2 hours labs. Bioinformatics - 2 hours lecturing + 2 hours labs. Métodos de Avaliação: Systems Administration - Final exam + projects. Parallel Architectures I - Practical work. Cryptography - Exam plus project evaluation. Strategic Management - Exam. Logistics and Distribution - Team projects. Formal Methods I- Individual exam paper. Formal Methods II- Individual exam paper + optional project. Multimedia- Practical assignement. Distributed Systems I- Exam and project assignments. Scripting- Written exam and practical work. e-Commerce - Individual Practical Work. Bioinformatics - Practical work.   Língua de Instrução: Portuguese Créditos ECTS: 4 [pic] 5307O7 - Option TI Regime: S1 Tipo: Optional Programa: Parallel Architectures I- Parallel computing in distributed and shared memory systems; parallel algorithms and multithreading in shared memory environments. Programming model in communicating processes; object oriented parallel computing. Load-distribution and grain-size adaptation. Multimedia- Computer Graphics; The OpenGL API;Texturing; Lighting; Realtime CG; Procedural Terrain and Geometry; Pré-requisitos: Parallel Architectures I- None Multimedia- Knowledge of Programming Language C; Algorithms and Data Structures. Resultados de Aprendizagem: Parallel Architectures I- Application development and implementation in parallel architectures Multimedia- Introduction to real time computer graphics Bibliografia: Parallel Architectures I- Ian Foster, Designing and Building Parallel Programs, Addison Wesley, 1994. Multimedia- OpenGL Programming Guide", Woo, Neider, Davis and Schneider, Addison Wesley. "Interactive Computer Graphics", Edward Angel, Addison Wesley. "Real-Time Rendering", Moller and Haines. "OpenGL Super Bible". Docentes: António José Borba Ramires Fernandes João Luís Ferreira Sobral Carga Horária: 4 Métodos de Ensino: Parallel Architectures I- 2 hours lectures and 2 hours practical classes Multimedia- In Class Métodos de Avaliação: Parallel Architectures I- Practical work Multimedia- Practical Assignement Língua de Instrução: Portuguese Créditos ECTS: 4,5 [pic] 53019B - Cultural Option II Regime: S2 Tipo: Compulsory Programa: Writing Methodologies - 1 - Written language; 2 - The writing process. Planning, transcribing and revising; 3 - Properties of a text; 4 - Writing at the university; 5 - The word processor. Marketing - Concepts of marketing and market. Marketing activities and their impact in textile and clothing companies’ competitiveness. Marketing-mix (Product, Price, Place and Promotion). Marketing-mix strategies. Marketing research. Market segmentation. Market positioning and differentiation of brands and products. History of the European Union - The steps of the European construction: from the Marshall Plan to the Rome, Maastrich and Amsterdam Treats. From the Rome (1957) to Rome (2003) The community politicals: from the common market to the Citizens Europe The European organizations: how they are composed and their duties. Industrial Law - I – Introduction – acts of commerce; II – Notion of trading company; 1. Constitution of trading companies; 2. Different kinds of trading companies; 3. Obligations and rights of partners; 4. The organic of trading companies; 5. Anonymous society and joint-stock company. Technical English II - Information Technology (Wi-Fi; Information Sciences in today’s society; E-Learning); Biotechnology/Genetics (Health and Illness: Cloning; DNA). Pré-requisitos: Writing Methodologies - None. Marketing Basic knowledge of economics. History of the European Union -Not applicable. Industrial Law - No Prerequisites. Technical English II - Intermediate level of English. Resultados de Aprendizagem: Writing Methodologies - To understand the importance of written language; to analyse our own writing processes; to develop writing competences; to develop the competence of using written language in academic work. Marketing - Analysis of market competitive dynamics. Analysis of marketing methodologies and techniques as a factor of development towards the increase of sustainable competitiveness and differentiation of products and brands in clothing companies. History of the European Union - Students are expected to obtain a general overview of the several steps given to achieve the European Union. The students also must recognise the European organizations and know their composition and duties. Industrial Law - Give to the students the elementar notions of trade law. Technical English II - Communicate effectively in English both in formal and informal contexts. Develop the different skills. Bibliografia: Writing Methodologies - Carvalho, José A. Brandão (2003). Escrita - Percursos de Investigação. Braga: D.M.E./U.Minho; Mateus, M.ª H.; Brito, A.; Duarte, I. e Faria, I. (1989). Gramática da Língua Portuguesa. Lisboa: Caminho.; Tynjala, P., Mason, L. & Lonka, K. (2001). Writing as a Learning Tool. Dordrecht: Kluwer. Tynjala, P., Mason, L. & Lonka, K. (2001). Writing as a Learning Tool. Dordrecht: Kluwer. Marketing - LENDREVIE, Jacques et al. - Mercator: Teoria e prática do marketing, Lisboa: D. Quixote, 2000; HARLÉ, E., CHEVALIER, G. e D'HOERAENE, J. - Como adaptar a empresa à evolução dos mercados. Lisboa: Publicações D.Quixote, 1992; REIS, Elizabeth e MOREIRA, Raúl - Pesquisa de mercados. Lisboa: Edições Sílabo/INDEG/ISCTE, 1993. History of the European Union - FONTAINE, Pascal (1994), A União Europeia, Edit. Estampa, Lisboa; ROCHA, Isabel (2002), Tratados, Porto Editora, Porto; COVAS, António (1999), A União Europeia. Do Tratado de Amsterdam a um Projecto de Carta Constituinte para o séc. XXI, Celta, Lisboa. Industrial Law - Abreu, Coutinho de – Curso de Direito Comercial, vol.I, Almedina, Coimbra, 2002. Technical English II - Lendinnig, E.; McEwan, J.. Oxford English for Information Technology. Oxford, University Press, 2000; Mascull B., Key Words in Science and Technology, Harper Collins Publishers, 1997; Barrass, R., Scientists must write – A guide to better writing for scientists, engineers and students, Science Paperbacks, 1982; Conrad, S., Biber, D.; Leech, G., Student Grammar of Spoken and Written English, Longman, 2002; Wellman, G., The Heinemann English Wordbuilder, Heinemann, 1992; Articles from “Newsweek” and “Time” (2000 -2003). Docentes: José António Brandão Soares Carvalho Margarida Pereira Varela Santos Montenegro Durães Cláudia Maria Neves Simões Teresa Alexandra Coelho Moreira Maria Salomé Faria Braga Osório Carga Horária: 2 Métodos de Ensino: Writing Methodologies - Lectures; practical work. Marketing - Lectures (2h/week). History of the European Union Lecture and practical classes. Industrial Law - Lecture and exercises. Technical English II - Texts and reading activities; production of instructions, descriptions, explanations, summaries and argumentative texts about topics in computing/IT/Biotechnology; Key points of grammar and key functions. Métodos de Avaliação: Writing Methodologies - Continuous assessment. Marketing - Final exam: 60%; Evaluation of practical projects: 40%; Minimum grade in final exam 8/20. History of the European Union - Final examination (written + oral, if necessary). Industrial Law - Exam. Technical English II - Continuous assessment. Língua de Instrução: Portuguese Créditos ECTS: 3 [pic] 5308O6 - Data Acquisition Systems Regime: S2 Tipo: Compulsory Programa: Analog-digital convertion. . Sensors. Introduction to Control Theory Pré-requisitos: Basic electronics (both analog and digital). Resultados de Aprendizagem: How to specify and use data acquisition systems. The use of sensors. Principles of Control. Bibliografia: Principal: Campilho, A., "Instrumentação Electrónica. Métodos e Técnicas de Medição", Edições FEUP, 2000 – Auxiliar: Fraden, Jacob, "Handbook of Modern Sensors: Physics, Designs and Applications", Springer Verlag, New York, 1996, BPG 278974 - Hall, Douglas V., "Microprocessors and Interfacing: Programming and Hardware", McGrawHill , 1986 - Humphries, James T., Sheets, Leslie P., "Industrial Electronics", 3rd Edition, Delmar PublishersInc, 1989, BPG 90424 - Seippel, Robert G., " Transducers, Sensors and Detectors", Reston Publishing (Prentice Hall), 1983,ISBN0-8359-7797 - Seippel, Robert G.," Transducer Interfacing - Signal Conditioning for Process Control", Reston Publishing (Prentice Hall), 1988, ISBN 0-13-928888-0, BPG 134889, CDU 621.375.3 - Daugherty, Kevin M., " Analog to Digital Conversion. A practical approach", McGrawHill, 1995, ISBN0-07-113276-7, BPG 164206, CDU 621.3 - Helfrick, Albert D., Cooper, William D, "Modern Electronic Instrumentation and Measurement Techniques ", Prentice-Hall 1990, ISBN 0-13-593385-4, BPG97907, CDU 621.38 - Klaassen, Klaas, " Electronic Measurement and Instrumentation", Cambridge University Press 1996, ISBN 0-521-47729-8, BPG 185365, CDU 681.2 Docentes: João Carlos Aparício Paulo Fernandes Carga Horária: 4 Métodos de Ensino: Lectures (2h/week). Written exercises (2h/week), Practical exercises (program coding) for data acquisition and control simulation. Métodos de Avaliação: Final exam: 60%, Evaluation of practical projects: 40%, Minimum grade : 8/20 for both components Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5308O7 - Information Systems Development Regime: S2 Tipo: Compulsory Programa: - Introduction to Information Systems: defintion, models, development processes. - Object Oriented Modelling of information systems with UML: Introduction to the Unified Modelling Language (UML); structural modelling; behavioural modelling; architectural modelling; case studies. Pré-requisitos: None Resultados de Aprendizagem: To provide students' the ability to perform object oriented modelling of information systems. Bibliografia: G. Booch, J. Rumbaugh, I. Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998. ; J. Rumbaugh, I. Jacobson, G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999. ;M. Fowler. UML Distilled. Addison-Wesley, 2003. (third edition); P. Stevens, R. Pooley. Using UML. Addison-Wesley, 2000. Docentes: José Francisco Creissac Freitas Campos António José Borba Ramires Fernandes Carga Horária: 4 Métodos de Ensino: Lectures and practical classes. Métodos de Avaliação: Final written exam and practical work. Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5308O5 - Intelligent Systems Regime: S2 Tipo: Compulsory Programa: Introduction to Intelligent Systems; Artificial Intelligence; Machine Learning and Knowledge Discovery; Logic Based Representations for Intelligent Systems; Applications. Pré-requisitos: None. Resultados de Aprendizagem: It is our intention to look at problems related to the issue of software development and analysis in the context of the area that emerges on the intersection of the Distributed Artificial Intelligence, Mathematical Logic, Psychology and The Law, in order to develop intelligent systems. Bibliografia: - Luger G.F. & Stubblefield W.A., "Artificial Intelligence - Structures and Strategies for Complex Problem Solving", Addison-Wesley, 3rd ed., 1998; - Ferber J., "Multi-Agent Systems - An Introduction to Distributed Artificial Intelligence", Addison-Wesley, 1999; - Wooldrige M., "An Introduction to MultiAgent Systems", John Wiley & Sons, 2002. Docentes: César Analide Freitas Silva Costa Rodrigues Paulo Jorge Freitas Oliveira Novais José Carlos Ferreira Maia Neves Carga Horária: 4 Métodos de Ensino: Theoretical lectures and practical classes. Métodos de Avaliação: Final exam and projects. Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5308N9 - Option II Regime: S2 Tipo: Optional Programa: Computer Communications II- Interconnections of networks. Open Systems (OSI and TCP/IP). QoS Architectures: IntServ and DiffServ. Network Management Framework. Analysis of OSI and Internet applications. Numerical Methods II- Numerical methods for unconstrained nonlinear optimization problems. Sequential quadratic programming method and Penalty methods for constrained problems. Primal-dual interior point methods. Software: CONUM, MATLAB, AMPL modeling language, LOQO. Data Warehousing- Introduction to decision support systems. Data warehousing systems environments. Data warehousing systems administration, security, privacy and recovery. Data warehousing systems lifecycle. Data warehousing design, planning and implementation. Metadata management and maintenance. Logical and physical database design for data warehousing systems. Distributed data warehousing systems. Online analytical processing systems. Multi-dimensional database systems. Data warehousing systems development and management tools. Embedded Artificial Intelligence - Modeling and interaction. Symbolic and sub-symbolic reasoning. Particle swarm optimization, neural networks and evolutionary computation.   Pré-requisitos: Computer Communications II- None. Numerical Methods II- Knowledge on Numerical Methods. Data Warehousing- None. Embedded Artificial Intelligence - None. Resultados de Aprendizagem: Computer Communications II- Main objectives are to look into the Internet network core and examining the strengths and weaknesses of the Internet service model, both in IP(v4) and IPv6. Hierarchical inter autonomous systems routing (mainly BGP) is analyzed, as well as QoS (mainly DiffServ) and security (mainly IPsec) topics. Finally network requirements for multimedia applications, basic network services and network management issues are analysed. Pratical laboratory work, with real networking deployment solutions, is used to consolidate concepts. Numerical Methods II- Theoretical and practical competence on numerical methods for nonlinear optimisation and modeling; Data Warehousing- Data Warehousing and Analitical Processing Systems Implementation and Management. Embedded Artificial Intelligence - One intends to study formalisms, algorithms, politics and the impact on society of the embeddedness  of technologies on organizations, with an awareness of the relationships between the representations in the programs, databases or knowledge bases and nonrepresented realities in the outside world.   Bibliografia: Computer Communications II- Data Communications, Computer Networks and Open Systems, 4th ed., F. Halsall, Addison Wesley, 1996. - Computer Networks, 3rd ed., A. Tanenbaum, Prentice-Hall, 1996. Numerical Methods II- E.M.G.P. Fernandes, Computação Numérica, 2ª edição, Universidade do Minho, 1998; J. Nocedal e S.J. Wright, Numerical Optimization, Springer Verlag, 1999; R.J. Vanderbei e D.F. Shanno, An Interior-Point Algorithm for Nonconvex Nonlinear Programming, Computational Optimization and Applications, 1999. Data Warehousing- Kimball, R. Reeves, L., Ross, M., Thornthwait, W., The Data Warehouse Lifecycle Toolkit - Expert Methods for Designing, Developing, and Deploying Data Warehouses, John Wiley & Sons, 1998. - Inmon, W. H., Building the Data Warehouse, John Wiley & Sons, 1996 - Kimball, R., Data Warehouse Toolkit: Practical Techniques for Building Dimensional Data Warehouses, John Wiley & Sons, 1996. - Inmon, W. H., Welch, J. D. Glassey, K. L., Managing the Data Warehouse, John Wiley & Sons, 1997. - Berson, A., Smith, S. J., Data Warehousing, Data Mining, & OLAP, McGraw-Hill, 1997. - Connolly, T., Begg, C., Strachan, A., Database Systems, A Practical Approach to Design, Implementation, and Management, Addison-Wesley, 1998. Embedded Artificial Intelligence - Luger G.F. & Stubblefield W.A., "Artificial Intelligence - Structures and Strategies for Complex Problem Solving", Addison-Wesley, 3rd ed., 1998; Ferber J., "Multi-Agent Systems - An Introduction to Distributed Artificial Intelligence", Addison-Wesley, 1999; Wooldrige M., "An Introduction to MultiAgent Systems", John Wiley & Sons, 2002. Docentes: Alexandre Júlio Teixeira Santos Edite Manuela Graça Pinto Fernandes Orlando Manuel Oliveira Belo José Carlos Ferreira Maia Neves Victor Manuel Rodrigues Alves Carga Horária: 4 Métodos de Ensino: Computer Communications II- Lectures and practical classes. Laboratorial work. Numerical Methods II- Lectures/ Practical exercises / Software usage. Data Warehousing- 2 hours lectures and 2 hours practical classes Embedded Artificial Intelligence - 2 hours lectures and 2 hours practical classes. Métodos de Avaliação: Computer Communications II- Written examination and practical work. Numerical Methods II- Practical Works (30%) + Laboratorial (software) Works (70%). Data Warehousing- Written exam and practical work Embedded Artificial Intelligence - Written exam and practical work. Língua de Instrução: Portuguese Créditos ECTS: 5,5 [pic] 5308O8 - Option T II Regime: S2 Tipo: Optional Programa: Computer Communications II- Interconnections of networks. Open Systems (OSI and TCP/IP). QoS Architectures: IntServ and DiffServ. Network Management Framework. Analysis of OSI and Internet applications Digital Systems Synthesis I- CAD algorithms for Partition, Floorplanning/Placement, Routing and Layout cell problems. Synthesis and scheduling algorithms. Illustrative use of CAD/EDA tools in other areas besides VLSI physical design. Presentation of solution space optimization techniques, namely simulated annealing and genetic algorithms. Pré-requisitos: Computer Communications II- None Digital Systems Synthesis I- None.(Basic knowledge in algorithms, data structures and programming languages can be assumed.) Resultados de Aprendizagem: Computer Communications II- Main objectives are to look into the Internet network core and examining the strengths and weaknesses of the Internet service model, both in IP(v4) and IPv6. Hierarchical inter autonomous systems routing (mainly BGP) is analyzed, as well as QoS (mainly DiffServ) and security (mainly IPsec) topics. Finally network requirements for multimedia applications, basic network services and network management issues are analysed. Pratical laboratory work, with real networking deployment solutions, is used to consolidate concepts. Digital Systems Synthesis I- Present advanced CAD (Computer Aided Design) algorithms and search space methods, and show their application to non-VLSI problems. Bibliografia: Computer Communications II- Data Communications, Computer Networks and Open Systems, 4th ed., F. Halsall, Addison Wesley, 1996. – Computer Networks, 3rd ed., A. Tanenbaum, Prentice-Hall, 1996 Digital Systems Synthesis I- "VLSI Physical Design Automation, Theory and Practice", Sait & Youssef, World Scientific Pub Co, 1st edition, 1999; – “Synthesis and Optimization of Digital Circuits”, De Micheli, McGraw-Hill, 1994; - DAC, ICCAD and ISPD Proceedings. Docentes: Alexandre Júlio Teixeira Santos José Augusto Domingues Fernandes Lima Carga Horária: 6 Métodos de Ensino: Computer Communications II- Lectures and practical classes. Laboratorial work. Digital Systems Synthesis I- 2 hours of lectures and 4 hours of computer lab classes. Métodos de Avaliação: Computer Communications II- Written examination and practical work. Digital Systems Synthesis I- Final examination, and mandatory design project preferibly using the UMLe-SDK CAD/EDA platform. Língua de Instrução: Portuguese Créditos ECTS: 5 [pic] 5309O1 - Option III Regime: S1 Tipo: Optional Programa: Execution of a semester-long project in one of the scientific areas of the LESI programme of studies, under the supervision of a member of faculty. The project is developed locally at the University facilities. Pré-requisitos: None Resultados de Aprendizagem: At the end of the course students will have gained experience in executing and disseminating the results of a middle-sized project. In particular, project management, documentation and presentation skills are trained. Bibliografia: Depends on the selected project Docentes: João Miguel Lobo Fernandes Carga Horária: 4 Métodos de Ensino: Autonomous work accompanied by periodic meetings with the project supervisor. Métodos de Avaliação: Project evaluation has two components: the first is given directly by the project supervisor; the second by a jury (the same for all projects), based on the written documentation and a presentation. Língua de Instrução: Portuguese (although individual supervision meetings may take place in different languages). Créditos ECTS: 6 [pic] 5309P1 - Option IV Regime: S1 Tipo: Optional Programa: Applied Criptography- Terminology: Cryptography, Cryptoanalysis and Cryptology; Ciphers, Keys and Secure Communication; Symmetric Ciphers, Key Agreement and Key Distribution; Asymmetric Ciphers and Public Key Cryptography; Digital Signatures and Message Authentication Codes; Identification. Certification and Public Key Infrastructure (PKI): Certificates and CRLs; Registration Authorities; Certification Authorities; Certificate Chains and Certification Hierarchies; Public Key Cryptography Standards (PKCS). Portable devices in cryptography: Smartcards; iButtons; PDAs. Commercial Cryptographic Protocols and Applications: Pretty Good Privacy (PGP); Secure Sockets Layer (SSL); IPsec; Kerberos; SSH. Structured Document Processing- The markup languages history: SGML, HTML e XML; Structured documents and markup; XML documents: structure and concepts; Document lifecycle: design, editing, validation, formatting and storage; DTD and Schema development; Introduction to selection and filter specification: XPath; Structured document processing: o XSL structure and concepts); XML and Databases: structured information versus half-structured information, relational databases, object oriented databases; XML and information interchange: XMI; XML applications: EAD, DocBook, HL7, MathML, XCSL, XTM. Multi-Agent Systems - Introduction to Intelligent Agents; Artificial Intelligence; Machine Learning and Knowledge Discovery; Software Agent Technologies; Logic Based Representations and Software Agents; Software Agents and the Internet; Applications. Telematic Systems- Audio and Video Fundamentals. Internet Multimedia and Real Time Applications. Group Communications: Internet Multicasting. Network Service Models. Private Networks. Content Delivery Networks. Computer Vision- Digital image properties. Image processing in spatial and Fourier domain. Image compression and restoration. Image segmentation. Morphologic processing. Textures. Region description. Object recognition. Medical Informatics Systems - Distributed Medical Intelligence (i.e., the Docking Station and the Bridge); Community Health Information Networks; Managed Care Information Systems; Hospital Information Systems. Pré-requisitos: Applied Criptography- Basic Java programming experience. Structured Document Processing- None. Multi-Agent Systems- None. Telematic Systems- Computer Communications I. Computer Vision- None. Medical Informatics Systems - None. Resultados de Aprendizagem: Applied Criptography- To study the basic fundamental concepts in Cryptography, Public Key Certificates and Public Key Infrastructures (PKI), commercial applications using Cryptography and the use of portable devices in cryptography. To apply this knowledge to the implementation of secure systems. Structured Document Processing- XML information systems implementation. Multi-Agent Systems- To study multiagent systems and their application to e-commerce, law and machine learning. Telematic Systems- Understand the concepts and technologies behind the Internet support of Real Time Applications with Group Communication and Quality of Service; umderstand the relationships bewteen Quality of Service and Private and Content Delivery Networks. Computer Vision- Computer vision system development. Medical Informatics Systems - To promote the development of an integrative medical communication system which addresses the process of providing expert medical knowledge to the point of need. Bibliografia: Applied Criptography- Applied Cryptography: Protocols, Algorithms and Source Code in C, Bruce Schneier, John Wiley & Sons, Inc. 1995. Cryptography: Theory and Practice , Douglas R. Stinson, CRC Press. 1995. Handbook of Applied Cryptography. A. Menezes, P. van Oorschot, and S. Vanstone, CRC Press, 1996. A Course in Number Theory and Cryptography (2nd Ed.), Neal Koblitz, Springer-Verlag's Graduate Texts in Mathematics, 1994. Structured Document Processing- RH2002, José Carlos Ramalho and Pedro Rangel Henriques,"XML e XSL: da teoria à prática", FCA, 2002, Tecnologias da Informação;- Har2000, Elliotte Rusty Harold and W. Scott Means, "XML in a Nutshell", O'Reilly, 2001;- Tid2001, Doug Tidwell, "XSLT", O'Reilly, 2001;- Will00, Kevin Williams, "Professional XML Databases", Wrox Press, 2000;- CDGMNORTW01, K.Cagle and J.Duckett and O.Griffin and S.Mohr and F.Norton and N.Ozu and I.Rees and J.Tennison and K.Williams, "Professional XML Schemas", "Wrox Press", 2001. Multi-Agent Systems- Wooldrige M., "An Introduction to MultiAgent Systems", John Wiley & Sons, 2002. Gerhard Weiss (ed), Multiagent Systems: A Modern Approach to Distributed Artificial Intelligence, The MIT Press, Cambridge, Massachustess, 1999. L. Brito, P. Novais e J. Neves, The Logic Behind Negotiation: From Pre-Argument Reasoning to Argument-Based Negotiation, Universidade do Minho, 2001. Telematic Systems- Internetworking Multimedia, Jon Crowcroft, Mark Handley, Ian Wakeman, UCL Press, 2000. - Multimedia Communications: Applications, Networks, Protocols and Standards, Fred Halsall, Addison-Wesley, 2000. - Computer Networking: A Top-Down Approach Featuring the Internet, Fred Halsall, James F. Kurose, Keith W. Ross, Addison-Wesley, 2001. - Multimedia Singals and Systems, Mrinal Kr. Mandal, KLUWER ACADEMIC PUBLISHERS, 2003. Computer Vision- R. Gonzalez, R. Woods. Digital Image Processing, 2nd. Ed., Prentice Hall, 2002. Medical Informatics Systems - Shortliffe, E.H., Perreault, L.E., Wiederhold, g., and Fagan, L.M. (eds.). "Medical Informatics: Computer Applications in Health Care and biomedicine", 2nd Edition. New York: Springer-Verlag, 2001. Van Bemmel, J.H. and Musen, M.A. (eds.) "Handbook of Medical Informatics". Heidelberg: Springer-Verlag, 1997. Docentes: Joaquim Melo Henriques Macedo Victor Manuel Rodrigues Alves José Carlos Leite Ramalho César Analide Freitas Silva Costa Rodrigues José António Vasconcelos Oliveira Rui Manuel Ribeiro Castro Mendes Ana Maria Alves Coutinho Rocha João Luís Ferreira Sobral António Ismael Freitas Vaz Manuel Bernardo Martins Barbosa José Carlos Ferreira Maia Neves António Carlos Silva Abelha José Manuel Ferreira Machado Carga Horária: 4 Métodos de Ensino: Applied Criptography- 2 hours of theoretical lectures and 2 hours of lab work, weekly. Structured Document Processing- 2 hours lectures and 2 hours practical classes. Multi-Agent Systems - 2 hours lectures and 2 hours practical classes. Telematic Systems- 2 hours lectures - 2 hours Computer Room Pratical Class - Homeworks. Computer Vision- 2 hours lectures and 2 hours practical classes. Medical Informatics Systems - 2 hours lectures and 2 hours practical classes. Métodos de Avaliação: Applied Criptography- Final written examination. One programming project. Structured Document Processing- Written exam and practical work. Multi-Agent Systems- Practical works. Telematic Systems- Written exam (55%), Pratical class assement( 35%), Homework (10%). Computer Vision- Practical work. Medical Informatics Systems - Written exam and practical work. Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5309P3 - Option T III Regime: S1 Tipo: Optional Programa: Parallel Architectures II- Parallelism and Computation: - Concepts, Process, Tasks and Threads; Design of Parallel Programs, Quantitative Analyse of Algorithms; Scalability and Clustering: - Concepts, Communication Architectures for High-Performance Computing, Single System Images; Platforms and Programming Models for Parallel Computing: - Multhreading, Message passing, MPI and PVM. Telematic Systems- Audio and Video Fundamentals. Internet Multimedia and Real Time Applications. Group Communications: Internet Multicasting. Network Service Models. Private Networks. Content Delivery Networks. Pré-requisitos: Parallel Architectures II- None Telematic Systems- Computer Communications I Resultados de Aprendizagem: Parallel Architectures II- Telematic Systems- Understand the concepts and technologies behind the Internet support of Real Time Applications with Group Communication and Quality of Service; umderstand the relationships bewteen Quality of Service and Private and Content Delivery Networks. Bibliografia: Parallel Architectures II- Kai Hwang e Xu Zhiwei, "Scalable Paralle Computing" Mc Graw Hill, 1998; David Cueller e Jaswinder Pal Sing, "Parallel Computer Archiecture - A Hardware Software Approach".Morgan Kaufmann, 1999; Designing and Building Parallel Programs, Ian Foster, Addison Wesley, 1994; Using MPI: Portable Parallel Programming with the Message-Passing Interface, Gropp, Lusk, and Skjellum, MIT Press, 1994 Telematic Systems- Internetworking Multimedia, Jon Crowcroft, Mark Handley, Ian Wakeman, UCL Press, 2000. - Multimedia Communications: Applications, Networks, Protocols and Standards, Fred Halsall, Addison-Wesley, 2000. - Computer Networking: A Top-Down Approach Featuring the Internet, Fred Halsall, James F. Kurose, Keith W. Ross, Addison-Wesley, 2001. - Multimedia Singals and Systems, Mrinal Kr. Mandal, KLUWER ACADEMIC PUBLISHERS, 2003 Docentes: Joaquim Melo Henriques Macedo António Manuel Silva Pina Carga Horária: 4 Métodos de Ensino: Parallel Architectures II- Lectures (2 hours) and practical/lab (2 hours) classes Telematic Systems- 2 hours lectures - 2 hours Computer Room Pratical Class - Homeworks Métodos de Avaliação: Parallel Architectures II- Final exam 40%. Project reports and presentation 60%. Telematic Systems- Written exam (55%), Pratical class assement( 35%), Homework (10%) Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5309P4 - Option T IV Regime: S1 Tipo: Optional Programa: Applied Criptography- Terminology: Cryptography, Cryptoanalysis and Cryptology; Ciphers, Keys and Secure Communication; Symmetric Ciphers, Key Agreement and Key Distribution; Asymmetric Ciphers and Public Key Cryptography; Digital Signatures and Message Authentication Codes; Identification. Certification and Public Key Infrastructure (PKI): Certificates and CRLs; Registration Authorities; Certification Authorities; Certificate Chains and Certification Hierarchies; Public Key Cryptography Standards (PKCS). Portable devices in cryptography: Smartcards; iButtons; PDAs. Commercial Cryptographic Protocols and Applications: Pretty Good Privacy (PGP); Secure Sockets Layer (SSL); IPsec; Kerberos; SSH. Synthesis of Digital Systems II- Introduction to high level synthesis and abstraction levels; definition of a target architecture, presentation of some reconfigurable systems and the models applied on systems specification; introduction to the VHDL language; the partitioning and schedulling tasks and the applied algorithms Pré-requisitos: Applied Criptography- Basic Java programming experience. Synthesis of Digital Systems II- None Resultados de Aprendizagem: Applied Criptography- To study the basic fundamental concepts in Cryptography, Public Key Certificates and Public Key Infrastructures (PKI), commercial applications using Cryptography and the use of portable devices in cryptography. To apply this knowledge to the implementation of secure systems. Synthesis of Digital Systems II- Study the high level synthesis problem (HLS), introduce the main algorithms used in HLS, learn how to specify and apply codesign to digital systems, apply reconfigurable logic on rapid system prototyping and specifications reuse Bibliografia: Applied Criptography- Applied Cryptography: Protocols, Algorithms and Source Code in C, Bruce Schneier, John Wiley & Sons, Inc. 1995 . Cryptography: Theory and Practice , Douglas R. Stinson, CRC Press. 1995. Handbook of Applied Cryptography. A. Menezes, P. van Oorschot, and S. Vanstone, CRC Press, 1996. A Course in Number Theory and Cryptography (2nd Ed.), Neal Koblitz, Springer-Verlag's Graduate Texts in Mathematics, 1994. Synthesis of Digital Systems II- D. D. Gajski, N. D. Dutt e A. C.-H. Wu, High-Level Synthesis: Introduction to Chip and System Design, 3rd ed: Kluwer Academic Publishers, 1994 *** Y. Hsu, K. F. Tsai e E. S. Lin, VHDL Modeling for Digital Design Synthesis, Kluwer Academic Publishers, 1995 *** P. J. Ashenden, The VHDL Cookbook, First Edition ed: Department of Computer Science, University of Adelaide, South Australia, 1990 Docentes: António Joaquim André Esteves Manuel Bernardo Martins Barbosa Carga Horária: 4 Métodos de Ensino: Applied Criptography- 2 hours of theoretical lectures and 2 hours of lab work, weekly. Synthesis of Digital Systems II- 2 hours lectures and 2 hours practical classes Métodos de Avaliação: Applied Criptography- Final written examination. One programming project Synthesis of Digital Systems II- Practical work and report   Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5309Q9 - Option TV (Distributed Operating Systems II) Regime: S1 Tipo: Optional Programa: Models for Distributed Systems; Time and Global Observation of Distributed Systems; Introduction to Fault Tolerance; Software-based Replication; Group Communication Protocols; Coordination in Distributed Systems. Pré-requisitos: None Resultados de Aprendizagem: Design and implementation of dependable systems and applications. Bibliografia: Sape Mullender (Editor), "Distributed Systems",Addison-Wesley, 1993; Paulo Veríssimo e Luís Rodrigues, "Distributed Systems for System Architects", Kluwer Academic, 2002; Friedemann Mattern, "Logical Time", 1999; Rachid Guerraoui, André Schiper, "Software-based Replication for Fault-Tolerant Systems", IEEE - Computer, 1997; Vassos Hadzilacos and Sam Toueg, "A Modular Approach to Fault-tolerant Broadcasts and Related Problems", Relatório Técnico, Universidade de Cornell, 1994. Docentes: Rui Carlos Mendes Oliveira Carga Horária: 4 Métodos de Ensino: 2 hours lectures and 2 hours practical classes. Métodos de Avaliação: Written exam. Língua de Instrução: Portuguese Créditos ECTS: 6 [pic] 5310N1 - Professional Practice/Project Regime: S2 Tipo: Compulsory Programa: Execution of a semester-long project in one of the scientific areas of the LESI programme of studies, locally or at an external institution. Each project is co-tutoried by a member of faculty and a member of the receiving instituion. Pré-requisitos: None Resultados de Aprendizagem: At the end of the course students will have gained experience in executing projects in the context of a team, in an institutional environment. In particular, documentation and presentation skills are trained. Bibliografia: Depends on the selected project Docentes: João Miguel Lobo Fernandes Carga Horária: 30 Métodos de Ensino: Daily work under supervision from the the project supervisor at the receiving institution, accompanied by periodic meetings with the university supervisor. Métodos de Avaliação: Evaluation by a jury, based on the written documentation, an oral presentation, and on information comunicated by the receiving institution. Língua de Instrução: Portuguese Créditos ECTS: 30