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