Sessão Laboratorial 2 Nesta sessão pretende se tomar conhecimento com conceitos básicos da linguagem Haskell , nomeadamente: expressões e sua avaliação, ...
Sessão Laboratorial 1 Nesta primeira sessão pretende se familiarizar os alunos com o ambiente de programação que será utilizado nesta unidade curricular. Admite se ...
Notícias Laboratórios Informática I em Engenharia Informática 1º Ano 1º Semestre Ano lectivo 2006/2007 Apresentação Na actual estrutura da Licenciatura ...
T (2005.02.21) : Apresentação da Disciplina. Noção de refinamento. TP (2005.02.22, 2005.02.24) : Apresentação e marcação de turnos. Generalização das construções ...
Em principio quando é que sairão as notas da primeira chamada? Seria possivel disponibilizarem na página o exame da primeira chamada? Seria bastante util para quem ...
Métodos de Programação I 2005 2006 (anexo) ATENÇÃO: A página oficial da disciplina está alojada em http://www.di.uminho.pt/~jno/html/mpi.html . Esta página destina ...
XML to SQL Conversion Tool Student : RicardoVilaca Project Introduction In this project I have to develop a tool to XML SQL Conversion based on Haskell/Strafunski ...
The following is a list of Undergraduate Project Proposals in the context of the Research.PURe project Grammar Engineering Location: Vrije Universiteit or CWI ...
Haskell Biding to GraphViz Student : João Paulo Barbosa Overview This project consists of creating a Haskell binding to AT T's library. This involves using a Foreign ...
TWiki.Education/Archive Web Preferences The following settings are web preferences of the TWiki.Education/Archive web. These preferences overwrite the site level ...
Strategic Querying of XML Documents Student : VitorRodrigues In this project you will develop a set of combinators for querying XML documents expressed in the strafunski ...
News Welcome to our Education.Archive Wiki! This Wiki is maintained by the LMF research group. If you need help using the Wiki goto the TWiki Web. If you want to ...
Terão lugar (no anfiteatro A1 do DI) as seguintes sessões de esclarecimento de dúvidas: 2a.fa. 14 Fev 10:00, com possibilidade de consulta dos exames (1a. chamada ...
Sessão Laboratorial 3 Assuntos abordados nesta sessão: Obs.: Este guião tem seguimento no da próxima sessão. Definição de funções recursivas A recursividade é um ...
Sessão Laboratorial 4 Este Guião é a continuação do da sessão anterior. Assuntos abordados nesta sessão: Funções de ordem superior simples Nas funções realizadas ...
Os exames de recurso podem ser consultados no próximo dia 10 de Março (6ªfeira) das 15h00 às 16h00 no anfiteatro DI A1 (piso 0, junto à recepção). MariaJoaoFrade ...
Devemos nos restringir unicamente aos operadores Pointfree indicados no enunciado (não há o Either, por exemplo)? Claro que não! Faltam todos os operadores das somas ...
18 Out Já saíram as notas do exame da época especial. 27 Jul Já saíram as notas das orais. 22 Jul Já saíram as notas do exame de recurso. As orais serão no dia ...
Notícias Elementos Lógicos da Programação 3 Licenciatura em Matemática e Ciências da Computação 3º Ano 2º Semestre Ano lectivo 2004 2005 Responsável ...
Notícias Métodos de Programação II 2004 2005 Sugestão de Leitura Robert Floyd, um grande Cientista da Computação, recordado aqui nas palavras de outro grande cientista ...
Ensaios de Jeana Costa, Pedro Bastos e Ana Nunes A criminalidade Informática nos tribunais Gestão do Conhecimento Pay Pal Voto Electrónico Segurança da Informa ...
Ensaios de Elisa Faria, Susana Dourado e Vanessa Silva Sindicância de Dados Pessoais Formas de sindicância do cidadão comum sob os seus dados pessoais constantes ...
Ensaios de Claudio Carvalho, Elsa Barbosa e Silvia Silva A ASSINATURA DIGITAL Cartões Inteligentes Voto Electrónico Protecção dos Dados Pessoais Correio Electr ...
Ensaios de Silvia Vilas Boas Dias, Ana Rita Freitas e Angélica Sofia Campos Preservação da Proriedade Industrial Privacidade dos Dados Clínicos Voto Electrónico ...
Ensaios de Bruno Silva Voto Electrónico A Democracia nos dedos dos Cidadãos. Este trabalho é muito extenso (não respeitou os limites indicados) e repete muito ...
Ensaios de Andreia Leite, Angela Santos e Vera Silva Base de Dados de Recolha Genética (2ª versão) Trabalho bem apresentado focando os argumentos essenciais deste ...
Ensaios de Ana Pereira e Daniela Seixas Ética Hacker trabalho interessante mas acaba por dar pouca informação mesmo sobre eventuais pricípios éticos JoseManuelValenca ...
Ensaios de Albina Pinheiro A INTERNET NA REALIZAÇÃO DE ESCRITURAS E OUTROS ACTOS NOTARIAIS ATÉ QUE PONTO SERÁ FIÁVEL E RECOMENDÁVEL O RECURSO A ESTA FERRAMENTA ...
Ensaios de Henrique Cunha, Cristina Ferreira e Mafalda Magalhães Esteganografia no Processo Civi MafaldaMagalhaes 08 Jun 2005 MafaldaMagalhaes 08 Jun 2005 ...
Ensaios de Eva Sousa, Pedro Miguel Sousa e Manuela Silva Cartão Único AngelicaCampos 06 Jun 2005 Assinatura Digital Voto Electrónico O avanço tecnológico no ...
Ensaios de Susana Dias Tecnologias da Informação e Comunicação na Saúde A Progressiva Informatização no Direito (RE) PENSAR A SOCIEDADE DE INFORMAÇÃO E COMUNICA ...
Ensaios de Bebiana Rafaela Ribeiro, Carla Aguiar e Filipa Martins A informática na saúde Assinatura Digital Cartão Único do Cidadão Criptografia O perfil gen ...
Ensaios de Carla Moreira, Silvia Fonseca e Vera Casto Identificação de dados pessoais sob o ponto vista financeiro Cartão Único Voto Electrónico Violação de Direitos ...
Ensaios de Adelaide Cerqueira e Sandra Pereira Criptografia e Assinatura Digital AdelaideCerqueira 23 May 2005 Segurança Informática Dados Pessoais Escritura ...
Ensaios de Casimiro Rosa e Abilio Ribeiro A INternet e os Direitos de Autor Assinatura Digital Internet: Meio de Ultrapassar Barreiras Phishing: Alerta Máximo ...
Ensaios de Vitor Novo, Manuel Almeida e João Varela Privacidade dos Dados Clínicos Agentes e Eventos A Questão Humana na Segurança da Informacão (parte 1) Faz ...
Ensaios de Jorge Serralheiro, Pedro Lima e Luis Cantanhede Bilhete de Identidade Electrónico BIOMETRIA: “SERÃO MESMO OS OLHOS O ESPELHO DA ALMA” OS DIREITOS DE ...
Ensaios de Catia Matos, Cecilia Cerqueira e Lucia Fernandes Criptografia de Chave Pública: Confidencialidade e Autenticação A Internet: Um Espaço de Comunicação ...
Ensaios de Karina Silva e Eva Mendes Privacidade dos dados clínicos O voto electrónico A assinatura digital O correio electrónico A sociedade da informação ...
Elementos Lógicos da Programação III Projecto Prático Pretende se que modele e analise os dois problemas seguintes usando redes de petri e a ferramenta de model ...