Bookmarks

Algoritmos e Estruturas de Dados 6.046 Introduction to Algorithms 605.202 Data Structures - Course Handouts A List of Courses on Algorithms Analise de Algoritmos, USP, MAC5711, ano 2000 BGU-CS: Algorithms CMU 15-451 (Algorithms) Fall 1999 COM 3390 Home Page Contents CPS230 Algorithms CS170, SPRING 2000 CS328: Abstract Data Types CSE 421, Introduction to Algorithms CSE 421: Introduction to Algorithms, W '00 Data Compression Fundamental Algorithms Home Page Handbook of Algorithms and Data Structures ICS311 Lecture Notes #7 (2/04/97) Joao's Algorithms Page MACS-406: Design and Analysis of Algorithms Source Links -- Data Structures The Art of Computer Programming Tutorial de Oracle
Bancos Yahoo! Mail - The best free web-based email! Correio :: Bem-vindo ao webmail IBTA
Buscadores AltaVista - Welcome Biblioteca "Carlos Benjamin de Lyra"/IME Cora Research Paper Search DBLP Bibliography Dicionário da Língua Portuguesa On-line Electronic Notes in Theoretical Computer Science, Author Index (Elsevier Science) Google HomePageSearch Index Bibliotecas ResearchIndex [NEC Research Institute; Steve Lawrence, Kurt Bollacker, Lee Giles; Computer Science] SibiNet The Collection of Computer Science Bibliographies WebInfo OnLine Yahoo! Portal Periódicos / CAPES
Computacao em Geral Códigos e Tutoriais DevShed - MySQL Our Program - Rolling Stone Programming Texts/Tutorials Software Resources sokoban Educação 2 plus 2: The Home of Mathematically Correct MIT OpenCourseWare | OCW Home Textos Didáticos em Ciência da Computação What is Changing in Math Ed? World Lecture Hall Textos Didáticos em Ciência da Computação PEDAGOGIA Jogos Análise de Sistemas Latex Fonts for mathematics Freeware Mac Logic Fonts Help On LaTeX Commands http://www.dsg.technion.ac.il/heblatex/README.html Introdução ao LATEX LaTeX LaTeX help 1.1 - Table of Contents LaTeX Symbols Local LaTeX 2e Classes at dcs.ed.ac.uk LyX - How to Get It Textures, LaTeX, and babel Códigos de classificação de assuntos ACM Compiladores SableCC parser generator
Filosofia/Literatura http://publish.uwo.ca/~dmashaye/philo/main.html Jean Paul Sartre Jean-Paul Sartre, Philosophy & Existentialism «??JØRÑÅ£_ÐÅ_PØ£SI@??» Jornal de Poesia - Index literatura1900 Mulheres e Literatura - Sumário Mundo dos Filósofos Philosophy@ucl.ac.uk Simone theory
Geral AIESEC-FGV A Música Nordestina e a Nova MPB Apontador.com.br - o Primeiro Site de Localização e Rotas do Brasil Arquivo MPB artepaubrasil virtual (POSTAIS VIRTUAIS) ARUNA YOGA Atibaia Hotel Fazenda Recanto da Paz Carlos Oliveira HP Centro Cultural São Paulo CULTVOX eGroups : nempb Folha Online - Interação Folha Online - Mapas Fortaleza Gatos do Gustavo Greeting Cards from 123Greetings.com, postcards, love GuiaSP Instituto de Psicologia - USP Oftalmo Santa Casa SP Pousada Paraty Radix. - A Internet na sua Língua!! SAMBA DO BOMBRIL ::: Secretaria da Cultura e Desporto do Ceará SESC ON LINE - Unidade Virtual do SESC SP soros foundations network TIME.com - Music Goes Global Time Zone Converter - time conversion Universo Online - Índice Geral do Universo Online - Busca por palavra e por estações Vejinha on-line Welcome to the American Association of University Women www.tvcultura.com.br - FPA
IA e Prolog Agentes Agent Amplified Communication - Kautz, Milewski, Selman (ResearchIndex) Agent Info A Logic Programming Infrastructure for Internet Programming, Mobile Code and Agents Autonomous Agents and Multi-Agent Systems 2002 Carnegie Mellon University Robotics Institute - Intelligent Software Agents Cognitive/Agent Architecture: Title Page FIPA - Intelligent agents from theory to practice Intelligent Software Agents on the Internet: An Inventory of Currently Offered Functionality in the Information Society and a Prediction of (Near) Future Developments Intelligent Software Agents on the Internet: An Inventory of Currently Offered Functionality in the Information Society and a Prediction of (Near) Future Developments Java(tm) Agent Template, Version 0.3 Jinni: Intelligent Mobile Agent Programming at the Intersection of Java and Prolog MIT Media Lab: Software Agents: Publications Multi-agent Systems [ResearchIndex; NEC Research Institute; Steve Lawrence, Kurt Bollacker, Lee Giles] Multi-Engine Horn Clause Prolog The Info Agent: an Interface for Supporting Users in Intelligent Retrieval Conferencias Autonomous Agents 2002 KAW'98 Proceedings SBIA-IBERAMIA'2000 Submitted papers: KAW'99 Workshop on PSMS for KBSs Engenharia de Conhecimento AltaVista - Web Page Results for: CommonKADS Artigo do KADS/KS IBROW homepage SMI-91-0398 Técnicas Baseadas em Conhecimento na Construção - Final Using an Intelligent Agent to Enhance Search Engine Performance Using Explicit Ontologies in KBS Development 1 KS An Agent-Based System for Handling Distributed Design Constraints D'Agent Papers (by topic) Distributed intelligence at DISA/IRST First Monday Vol.2 No.3 ICDE 1991: 248-256 Intelligent Agent Researches in the world Interoperability between Digital Libraries Knowledge Sharing Knowledge Sharing Links Knowledge Sharing Papers Ph.D. Project - Thesis Story Premises and Challenges of Research and Development in Information Agent Technology in Europe Roles for Electronic Brokers The Knowledge Sharing Effort The Role of Formal Methods in Knowledge Sharing Welcome to the AskMe Corporation Logica Bibliography on Logical Frameworks DESCRIPTION LOGICS course Logic and Computation Group Maarten de Rijke : Modal Logic Ontologias Bob Wielinga http://www.swi.psy.uva.nl/wondertools/ Ian Horrocks: software KBS/Ontology Projects Worldwide Loom OntoBroker Homepage Ontology Ontology Sources Retrospective on Loom Sharable Ontologies Library SHOE Welcome to the OIL-Page Pessoas Alon Halevy's Home Page Andrzej Tarlecki Asuncion Gomez-Perez Bernhard Nebel Books and journal papers by Toby Walsh Craig Boutilier's web page Craig Knoblock's Homepage David A. Plaisted's Home Page Directory Listing of: ftp:pub:Papers:Peter Ed Durfee's Homepage Fausto Giunchiglia's selected publication list Frank Dignum Home Page & Baha'i information Frank Pfenning / Publications Gerhard Lakemeyer Gerhard Wickler's Home Page Gio Wiederhold's homepage Hamish Taylor's Publications Homepage Dieter Fensel http://ftp.cs.ruu.nl/people/dignum/ http://www.cs.mu.oz.au/~leon/profActiv.html http://www.lcmi.ufsc.br/gia/iaft Index of /~neuhaus/papers/trautwein Jaime Simão SICHMAN James Harland's Home Page John Searle Mark Ryan: publications Marvin Minsky: Entrevista Marvin Minsky Home Page Michel Benaroch -- Publications Mike Wooldridge - Publications Munindar P. Singh Papers by Ron Fagin Papers of Roberta Gori Professor Victor Lesser (lesser@cs.umass.edu) Prof. Paul R. Cohen(cohen@cs.umass.edu) Publications Publications of Catholijn Jonker Richard's Home Site Suzanne Embury's Home Page USC - TommyCam Wamberto W Vasconcelos: Home Page Yannis Labrou's homepage Yannis Labrou's homepage Zbigniew W. Ras The home page of Patrick Henry Winston Hector Levesque's Papers REASONING ABOUT ACTION - PEOPLE Programacao em Logica Archive of Logic Programming Cetus Links -- Prolog Computational Intelligence - Online Code Computational Intelligence - Online Code Library of Logic Based Systems and Test Cases (UKoLa AI Research Group) Lygon Manual do Ciao Prolog Overview of AIMA Code PC AI - Free Demos Prolog Guide - Implementations Can Logic Programming Execute as Fast as Imperative Programming? Capability Description Language CLIP Group Locally (Co-)Developed Software CS218 and CS318: Higher-Order Logic Programming DAI Database: Documents from: 1999 Generated Documentation (Untitled) IIIA Journal of Artificial Intelligence Research MIT OpenCourseWare | OCW Home Planning Protocols for the construction of a knowledge repository by multiple users Reports of CSD UCLA
Ingles Amby's GRE Prep English language practice English - Portuguese On-line Dictionary Englishtown - Talk to the world http://webster.commnet.edu/HP/pages/darling/grammar.htm http://www.aitech.ac.jp/~itenlj/ESL3.html http://www.aitech.ac.jp.~iteslj/quizzes/ http://www.francophonie.hachette-livre.fr/content.html http://www.teleport.com/~mgroves/ NEW English Workbook--Daily Worksheet The EServer: Accessible Online Publishing WWWebster Dictionary AltaVista's Babel Fish Translation Service The Perfect Paper: A Self-Evaluation Checklist
Linguagem C An introduction to C Bob Stout's SNIPPETS Large File Support LUATCS '99 Summer School Homepage The GNU C Library - Introduction First C++ Template Programming Workshop (Proceedings)
Links Evangélicos Lagoinha.com Primeira Igreja Batista em São José dos Campos .: Mar´Junior - O Teatro Evangélico :.
Linux e Redes ATM Simulator dlpsim: a data link protocol simulator Educational uses of ns and nam Revista do Linux Simmcast Tangram - II Telecommunications Tutorials The cnet network simulator (v2.0.5) The Network Simulator - ns-2 Voz sobre IP www.HelloDirect.com - Tutorial: A Comparative Analysis of Next Generation Phone Systems Projeto de redes Unix Guru Universe The Linux Home Page at Linux Online
Logic approximation Approximate Terminological Reasoning @ VU Effcient Tableaux Logic Logic Text Open Directory - Science: Math: Logic and Foundations: Software Software, Theorem Provers TPTP Material Didático
Orientação a Objetos Análise e Projeto de Sistemas Orientados a Objetos utilizando UML Class Hierarchy Globalcode - The Developers Company http://www.cultura.ufpa.br/clima/OO_UML_RUP.htm JavaOne[sf2001] - Adding Generics to the JavaTM Programming Language java.sun.com - The Source for Java(TM) Technology JDK 1.1.x Documentation MÉTODOS AVANÇADOS DE PROGRAMAÇÃO: Programa Monografia em Análise OO O que é a Orientação a Objetos? The Pedagogical Patterns Project - Teaching/Learning Element Index TUTORIAL: Comp 373/473: Object-Oriented Programming Resources - Articles - Jakarta Struts OOPWeb.com - Java Directory - Programming Tutorials, References, Guides... Papers & Tutorials GJ: Generic Java Karl Lieberherr's HP (aspect-oriented and adaptative systems) Joseph Goguen Overview (Java 2 Platform SE v1.4.2) ANÁLISE E PROJETO ORIENTADOS A OBJETO - Programa