Jiejun KONG's Bookmarks

Courses, Life, And Membership Activities

CSC 505, Spring 1998

Thesis

NC State University Graduate School Homepage
NC State Graduate School Thesis Preparation Workshops
CSC 114: Home Page
JDK 1.1.5 Documentation
Knowledge Interchange Format (KIF)
IBM Agent Building Environment
IBM Agent Building Environment (local copy)
IBM ABE Developer's Toolkit (builtin Adapters)
Database Laboratory

Multimedia Lab Home Page

Knowledge Representation and Inference
Expert Systems
Efficient Forward Chaining for Declarative Rules in a Multi-Agent Modelling Language
SICStus Prolog User's Manual - Constraint Logic Programming over Finite Domains
Constraints Archive -- Article from BYTE

dMARS Product Brief
Agents and Multi-agents
Bezant Object Technology

CSC432: Database Management Systems
ACS Unix Systems Group
Index of /faculty/mpsingh/local/432/info/
CSC591J - Distributed Systems

NCSU IEEE Student Branch
IEEE Home Page
ACM, The First Society in Computing
The HTML Writers Guild

The M.Sc. in Computation at Oxford University
University of Cambridge Computer Lab Home Page
Peter Stone's Papers
Soccer Server System

I'm a DEVELOPER (more details in Programming section)

The AWT in 1.0 and 1.1

InstallShield JavaTM Edition
InstallShield JavaTM help
Java Compiler Compiler (JavaCC) - The Java Parser Generator
JavaCC Documentation
ANTLR 2.10 Reference Manual
Paul Tarau's Works
BinProlog 5.75 User Guide

Database

Database Systems & Logic Programming
Coral Database Project
Foundations of Deductive Object-Oriented Databases
ConceptBase
R O C K & R O L L
XSB Group Home Page

Resource

Experts Exchange Home Page
Calculi for Mobile Processes
New Page 2
Active Database Project's Home Page
Directory listing of /afs/eos/info/csc/dblab/workflows/clin/tfm/ver0310
Directory of /pub/chinese/fonts/gb/pcf
Progress Report Presentation
Directory of /pub (Xerox PARC)
NCSU/CSC: Project 25 Courses in Computer Science

Computer Science

THE HISTORY OF COMPUTING
History of Computing Information
The Virtual Museum of Computing
Computers: History and Development

Theory

Computational Mathetics
Schneider and Kay, 1994
John Perry Barlow Interview

Big Guys

C.A.R. Hoare
Robin Milner's ftp pointer
Martin Abadi - Home Page
Leslie Lamport - Home Page
Publications - Leslie Lamport

Jerome H. Saltzer's home page
Nancy Lynch's Home Page
Marvin Minsky Home Page
Alan Turing - Home Page
W. Richard Stevens' Home Page
UCLA CS Dept: Carlo ZAniolo
K. Mani Chandy

Organizations

ACM, the association for computing
IEEE Home Page
NCSU IEEE STUDENT BRANCH

Operating System

UNIX & Linux

Linux Applications and Utilities Page
Java-Linux
The Linux Laptop Home Page
The Linux Programmer's BouncePoint
Useful tools for Sun workstations and Solaris
DLR Fresh Archive - linux/src

Windows 3.x, 95, NT

Directory of /pub/ntemacs
Directory of /pub/gnu-win32

Hacker

http://main.succeed.net/~kill9/hack/
Index of /code
The Hacker's Layer

Programming (Developer's heaven)

The WWW Virtual Library: Computing, Programming Languages
Resources for Programming Language Research
Programming and Computational Languages -- A Subject Catalogue
Catalog of Compiler Construction Tools

Logic Programming

starting
Logic Programming
SEM242 Introduction
Logic Programming and Learning
Paul Tarau's Home Page
CMU Artificial Intelligence Repository
Directory of /pub/prolog
Directory of /packages/prolog-pd-software

Database: (relational)

http://cs.wwc.edu/KU/DB/DB2.3.html

SQL

SQL Tutorial
Oracle: SQL*Plus Tutorial

Concurrent & Distributed Programming

Concurrent Programming Using the Java Language
The World Wide Web Virtual Library: Concurrent Systems
Distributed Object Computing and CORBA Documents
The Object
Pthreads:General Information
(UNIX network programming)Directory of /published/books
ONC RPC for Windows NT

Object-Oriented Programming

Java & C++

Java Documentation

Documentation (complete links)

JDK 1.1.5 Documentation (local)
The Java Language Specification
Javadoc Home Page

LEX/YACC/BISON in JAVA

Java Compiler Compiler (JavaCC) - The Java Parser Generator
ANTLR Home Page
BYACC/Java Home Page
CUP Parser Generator for Java
ftp://ftp.cs.colorado.edu/pub/cs/distribs/arcadia/jb.txt

Tools: Jax: Scanner Generator
JLex: A Lexical Analyzer Generator for Java(TM)

SW-Technologies - Java
The Java Tutorial
The Java Oasis: Top Index
JavaWorld - IDG's magazine for the Java community - April 1997

Java(tm) Based Constructor of Useful Parsers (CUP) Home Page

DMD index of JAVA stuff
Gamelan

JavaScript Guide
JavaScript Authoring Guide

EckelOBJECTives

ANSI X3J16 C++ Standard

Smalltalk

Smalltalk FAQ
Smalltalk FAQ: Info & Contents
UIUC Smalltalk Archive
Introduction to VisualWorks: Table of Contents

Functional Programming

ML

On-line Information about Standard ML
Standard ML Basis Library

LISP -- my favorite language

An Introduction and Tutorial for Common Lisp
CLHS: Chapter Index
Common Lisp the Language, Second Edition
Uncommon Lisp - a lisp interpreter in Java

Haskell

The Haskell Home Page
Functional Programming at Yale
The Glasgow Haskell Compiler
Directory of /pub/haskell/chalmers
Directory of /nott-fp/languages/gofer

System Programming

File Formats, Programming Techs

x2ftp.oulu.fi - formats
Davin's collection of unix programming links
Directory of /pub/OS/bsd-sources
X Font
The Great Ascii Art Library

Perl

The Perl Language Home Page
PERL -- Practical Extraction and Report Language
Perl Tutorial
Learning Perl: References
Perl reference materials

Scripting Languages

Tk/Tcl

The World-Wide Web Virtual Library: Tcl and Tk
Tcl/Tk Project At Sun Microsystems Laboratories

HTML

Yahoo! - Computers and Internet:Information and Documentation:Data Formats:HTML
So you want to Be a WebMaster ehh.
HTML Converters

Raw Materials

IconBAZAAR
Gilbert's Icon Archive:
The Museum of Counter Art
The Museum of Counter Art: Web Counter Information
JZ Presents: Pardon My Icons
Ace of Space - Bordertown

Guides & Tutorials

Introduction to HTML and URLs

NCSA Internet Documentation
NCSA Mosaic Web Index

Yale Style Manual-Table of Contents
Wade's WWW Tutorials

Frames -An Introduction
THE Netscape Frames Tutorial(tm)
Framing the Web - webreference.com

The Common Gateway Interface
Carlos' FORMS Tutorial 2
Web Communications HTML Tutorial

Hypertext Markup Language - 2.0 - Table of Contents
HyperText Markup Language Specification 3.0

HTML ASCII

TeX, LaTeX, SliTex family

Other on-line LaTeX information
TeX and Friends
LaTeX Typesetting System (NCSU local page)

Text Processing using LaTeX ****
Introduction to LaTeX
latex.hlp
Getting Started with LaTeX
Latex Tutorial
Document Preparation with LaTeX

Hypertext Help with LaTeX
Interesting TeX-related URLs
Don Knuth's Home Page

The LyX Homepage
XForms Home Page

All About LaTeX2HTML

Parallel Computing

PVM: Parallel Virtual Machine
Yale Linda Group

Research Assistantship

JKQML & Aglets

IBM Aglets Workbench - Home Page
IBM Aglets Workbench - Home Page (local document)
Package Index (jkqml)
Package Index (kqmlsample)
Package Index (protocol)

Dr. Singh

Munindar P. Singh's Activities of Local Interest
Database Laboratory
Bio for Munindar P. Singh
Index of /faculty/mpsingh/papers/mas/
http://www4.ncsu.edu/eos/info/dblab/www/mpsingh/papers/mas/ipccc-92.ps
http://www4.ncsu.edu/eos/info/dblab/www/mpsingh/papers/mas/ijcai-91.ps
http://badaam.csc.ncsu.edu/aj/p-t120/PresentationSlides.htm

FIPA Home page
AgenTalk Reference Manual (Draft) - Table of Contents
AgenTalk Home Page
Directory of /people/durfee
Van Parunak's White Papers and Preprints
Terry Winograd
http://centaurus.cs.umass.edu/icmas/program.html#bf
http://centaurus.cs.umass.edu/icmas/program.html#mk

Petri Nets

Pointers to Petri Net on-line info

World of Petri Nets
Coloured Petri Nets
Coloured Petri Nets at University of Aarhus
Design/CPN Online

Classification of Petri Nets: General Graph
Petri Nets of Tu-berlin, DE
Meta Software Corporation BPR Homepage
Petri Nets
Pointers to Petri Net on-line info
Petrinet

Online Help & Teaching Materials

Intelligent Software Agents on the Internet - Title page
Intelligent Agents: Theory and Practice
CORBA info
Ontolingua Guided Tour

Practical Agents

NetWatch Top Ten - Intelligent Agents / Information Agents
OPEN SESAME - Music, Movies, Books, Concerts, TV, and More!
JATLite
Java(tm) Agent Template
WebGlimpse home page
JKP, the Java KIF Parser

IBM Web Browser Intelligence

Information Centers

ARPA Knowledge Sharing Effort public library
The @gency
Intelligent Software Agents
Intelligent Software Agents
Agent Info
UMBC Agent Web
CORBA (Common Object Request Broker Architecture) and the OMG (Object Management Group)

Academic & Commercial Groups

Stanford

ABE Research Group
Stanford Knowledge Systems Laboratory home page
The Logic Group
Center for Information Technology
Michael Genesereth
Tom Gruber's Home Page

MIT

MIT Media Lab, Software Agents Group: Research
The Context Interchange Project

UC, Berkeley

Java-To-Go
David G. Messerschmitt Homepage
Cyberhome of Weiyi Li

University of Washington

Internet Softbot Research
Ahoy! The Homepage Finder
go2net | MetaCrawler

InfoSleuth Project Index
SIMS Project
Cooperative Information Gathering
Open Agent Architecture (OAA)

KQML

UMBC KQML Web
KQML Papers and presentations

Autonomous Agent & Database System
Database Laboratory
Java(tm) Agent Template, Version 0.3
IBM Aglets Workbench - Home Page

Everyday life

Eos/Unity System News
Zippo Dot Com
feedME.org - Free Usenet/Newsgroup Access
Merriam-Webster's Word of the Day
Sell Your Book For More

Encyclopedia & Virtual Libraries

The World-Wide Web Virtual Library: Subject Catalogue
The Collection of Computer Science Bibliographies
BIBLIOMANIA, The Network Library: Home Page
InterNIC Directory and Database Services

Online Infos & Tutorials

ITI Online Training Center
Programming Parallel Algorithms
UNIX Reference Desk
EXSPECT Executable Specification Tool! (Petri Nets)
Petri Nets of Ryerson, CA
X WINDOWS
Common Lisp Info
The Gnu Info Tree
Mailcrypt: An Emacs/PGP Interface
JACAL - Table of Contents
Einstein's Revenge
Netscape Data Security
Securing Communications White Paper
The Linux Documentation Project: Homepage

Design/CPN Online Manuals
Index of /designCPN/man/X_2.0/
Index of /designCPN/man/Misc/

Search Engines

Yahoo!
AltaVista Search: Main Page
WebCrawler Searching
Infoseek
Welcome to Magellan!

All-in-One Search Page
BlueSkyTecs Best of the Internet

Free Softwares

Solaris 2.5 Freeware
Free Database List
Download Free AIX Software
Directory of /aix
Welcome to DOS World!
Walnut Creek CDROM
SYBEX DOWNLOADS

FSF & GNU

GNU Software Index
GNU Software Online Documentation

GNU Hurd

GNU Hurd information - GNU Project - Free Software Foundation (FSF)

GNU Emacs & XEmacs

The Java Oasis: Emacs modes - Index
Anders Lindgren's Emacs page
Emacs Goodies
Directory of /pub/gnu/emacs/elisp-archive
texi2html - a Texinfo to HTML Translator

Emacs JDE Home Page
JDE User's Guide

Mathmatics & Self Reproductivity

e-MATH Home Page
History of Mathematics
Logic
Self-Organizing Systems FAQ for Usenet group comp.theory.self-org-sys compiled by Chris Lucas
The Avida Artificial Life Group Home Page
Polyhedral Solution to the Pickup and Delivery Problem

Chinese

Magazines

Internet Distributed Chinese Magazines
Chinese Net Magazines
Xin Yu Si (New Threads) Home Page
HXWZ index
China Monthly
Guo Feng
ah may's chinese world

Organizations

Chinese Students and Scholar Friendship Association
NCSU Chinese Student Association
CCTV

Information Center

Chinese Astrology
Chinese Horoscope Index

Cseek刲坰竘э忑珜
Sunrise Chinese Library
gopher://sunrise.cc.mcgill.ca/
Chinese Sport Daily
Welcome to China Fax
History of China
SinaNet News Center
Inside China Today Home Page
Directory of /pub/china-studies
STONE RICHSIGHT
陲昹鰍控蹦抭

Books

砫歇抎踱
陝 嶺 抶 抎 挌
China, china, china, china, and Chinese(study chinese, Chinese Culture, Chinese Entertainment, Chinese Music, China News and Publication, and Chinese Newyear)
XYS Electronic Library
Jin Yong's Emprise Novels 踢蚢挕狨苤佽
Wang-Bang Ancient Book Resources (Big5)
Xiaoyu's Collection of Chinese Language Files
Index of /~xwliu/novel/
Chinese Report Novels Collections
Mall of China

Music

Index of /pub/multimedia/chinese-music
Music... Nonestop!!!
http://nt1.phys.columbia.edu/AUDIO/
Songs in TV Series adapted from Jin-Yong novels
Philip's Audio Network 菲 利 普 音 樂 網 絡

Computing

中文軟件表 CNapps LIST
Index of /ftp-pub/software
Directory of /pub
The Chinese HOWTO
Directory of /pub/simpson/chinese
UCSD Multilingual Web Server: Software
Ocrat Chinese Pages
Chinese LED
Display Chinese on Java Applets

Playing Mahjong(HongKong/Taiwan/Japan),Spade2,Bridge on Internet and PC LAN --- SOCKET Client/Server Multi-Player Game Series
~ P a t r i c k C y b e r D o m a i n - Tips (Setup Netscape & MSIE to display Chinese, Japanese, Korean and Pan Euro without external viewer) ~
My Wife's Favorite Tetris !!
阿波羅資訊網 -- 台灣最大的民營ISP
Directory of /chinese/input/dayi

Immigration

范 毅 禹 律 師 事 務 所
Attorney Murthy : U.S. Immigration Law
Tech Solutions Express - An Immigration Consultant on the Web

Personal Homepages

Jiejun KONG at NC State University
Information about Dr. Shi-Kuo Chang.
Home Page for Yong Wang
Haixun Wang
Tao Ye
Yuan, Donglei
Welcome to Dan Yao's Home Page
Hongwei's Home Page

Hot Guys

LITTLE ANT's Homepage
hzhang's Home Page
Fuhu Xia's Homepage
Yu Mingjian's Homepage

Hobbies & Entertainment

Philosophy

Su Tzu's Chinese Philosophy Page

Joke & Humor

Belly laughs, jokes and stories - The Caffeinated Chef

Movies

All-Movie Guide Main Page
All-Movie Guide
Mr. Showbiz Movie Guide
Milla Jovovich
Ashley's Altar: The Unofficial Ashley Judd Home Page
Ashley Judd : An Absolute Tribute
The Madeleine Stowe Web Page

Music

The International Lyrics Server
Startseite Titel

Sports

Basketball

NC State Athletics Homepage
NBA.com: The Official Site of the National Basketball Association

Golf


Bowling


Computer Games & Entertainment Software

The Linux Game Tome
Welcome to Xia Ke Xing Home Page
Index of /pub/msdos/games/romulus/
Wolverine's game page

SoftPEG?[Overview]
Xing - XingMPEG NOW!

Misc

Weather for Raleigh/Durham, NC

Dictionaries

ARTFL Project: Webster Search Form
ARTFL Project: ROGET'S Thesaurus Search Form
WWWebster Dictionary - Search screen
WWWebster Thesaurus - Search screen
Hypertext Webster Interface
Hypertext Thesaurus Interface
Princeton's WordNet
Chinese Character Genealogy - Zhongwen Zipu
Free On-line Dictionary of Computing

Financial

American Express University
Credit Card Network News
Car Buying Tips: How to buy a new car and avoid dealer scams-- car buying tips, automotive links
Kelley Blue Book - New and Used Car Price Reports
Edmund's Automobile Buyer's Guides
The News & Observer Transportation Online

Employment

University Career Center

InstallShield Software Corporation
Welcome to QDS!

a Sapient Corporation
Welcome to National Instruments

Apply

1997 Graduate School Rankings: USNews - edu
Computing Research Association (CRA)

UCLA Prospective Students
Graduate Admissions Application Pay by Credit
Professor Carlo Zaniolo
Professor Richard R. Muntz
UCLA Data Mining Laboratory Home Page v1
Professor Wesley Chu

UIUC's Performability Engineering Research Group
Performability Engineering Research Group Members
Professor William H. Sanders

Yale Linda Group
David Gelernter
Nicholas Carriero

Stanford Database Group Projects
The Logic Group
Michael Genesereth
Center for Information Technology

MIT AI lab projects and publications
MIT Media Lab, Software Agents Group

CMU Text Learning Group

U.Washington's Internet Softbot Research


Urgency

ATAL-97 CALL FOR PAPERS
Second IFCIS International Conference on Cooperative Information Systems
lvrfy: A HTML Link Verifier

NCSU Computer Based Education Lab Home Page
RTCPP Lectures and Courses

Personal Toolbar Folder

Internet

Lookup

People
Yellow Pages

New&Cool

What's New
What's Cool

home