Cynbe's Humongous Hotlist:
Mixed Net Knowledge, Knick-Knacks & Nuts

Cynbe ru Taren

Viva la Net! Viva la Net libre! :)
See: A Declaration of the Independence of Cyberspace.
See also my personal comments on obscenity and censorship.
Or check out George Washington on Practical Slavery,
the US Supreme Court on Patents or the Rev Davidson Loehr on that newly essential American survival skill -- Living Under Fascism.

The most important paper you'll ever ignore: Risk Charts

(NB: Computer vision papers have been moved to a separate page.)

To read:
2010-03-10 Nonlinear Filter Based Image Denoising Using AMF Approach
Facial Gesture Recognition Using Correlation And Mahalanobis Distance
A GA based Window Selection Methodology to Enhance Window based Multi wavelet transformation and thresholding aided CT image denoising technique
2010-03-07: Min st-Cut Oracle for Planar Graphs with Near-Linear Preprocessing Time -- first subquadradic algorithm, courtesy of Gomory-Hu trees.
Learning by random walks in the weight space of the Ising perceptron "simple to implement", "efficient"
2010-03-05: A student's guide to searching the literature using online databases
2010-03-03: Statistical and Computational Tradeoffs in Stochastic Composite Likelihood
2010-02-25: Nonparametric Estimation and On-Line Prediction for General Stationary Ergodic Sources
Deterministic Sample Sort For GPUs
2010-02-23: Mergeable Dictionaries
Load Balancing via Random Local Search in Closed and Open systems
CLD-shaped Brushstrokes in Non-Photorealistic Rendering -- impressionistic paint-by-numbers.
2010-02-22: A Hough Transform based Technique for Text Segmentation
An Optimal High Probability Algorithm for the Contextual Bandit Problem
2010-02-18: A new approach to content-based file type detection -- using PCA (Principal Component Analysis).
Improved subspace estimation for multivariate observations of high dimension: the deterministic signals case
Convergent and Correct Message Passing Schemes for Optimization Problems over Graphical Models: Replacing MAP with algorithms which actually converge -- to the right answer, even.
Asymptotically Stable Walking of a Five-Link Underactuated 3D Bipedal Robot
A Directly Public Verifiable Signcryption Scheme based on Elliptic Curves
Finding Associations and Computing Similarity via Biased Pair Sampling -- order of magnitude speed-ups on real data.
Range Reporting for Moving Points on a Grid
Hardware-Accelerated Global Illumination by Image Space Photon Mapping -- Best Paper 2009 Conference on High Performance Graphics.
2010-02-16: PageRank: Stand on the shoulders of giants
A Fully Abstract Symbolic Semantics for Psi-Calculi -- beyond the fusion calculus.
2010-02-14: A Generalization of the Chow-Liu Algorithm and its Application to Statistical Learning
Optimal Projective Algorithms for the List Update Problem
Feature Level Fusion of Face and Fingerprint Biometrics
Removing Local Extrema from Imprecise Terrains
2010-02-11: Medical Image Compression using Wavelet Decomposition for Prediction Method
Reverse Engineering Financial Markets with Majority and Minority Games using Genetic Algorithms
Markets are efficient if and only if P = NP
The Violation Heap: A Relaxed Fibonacci-Like Heap -- "simple ... efficient practical" ... "pairing heaps are more efficient than Fibonacci heaps" ... "relaxed heaps are good candidates for ... parallel computations"...."fat heaps achieve same worst-case bounds"..."thin heaps"...
2010-02-10: Estimating and Sampling Graphs with Multidimensional Random Walks
Cuspidal and Noncuspidal Robot Manipulators
Position Analysis of the RRP-3(SS) Multi-Loop Spatial Structure for robot manipulators.
Refinement and Verification of Real-Time Systems such as phone systems.
Recursive tilings and space-filling curves with little fragmentation: a new Daun.
Ultrametric watersheds: a bijection theorem for hierarchical edge-segmentation -- with efficient algorithms yet.
Image Retrieval Techniques based on Image Features, A State of Art approach for CBIR -- the latest in Content-Based Image Retrieval.
2010-02-07: Odds-On Trees -- raytracing support.
Framework for Visualizing Model-Driven Software Evolution and its Application
Understanding Formulation of Social Capital in Online Social Network Sites
Ball-Scale Based Hierarchical Multi-Object Recognition in 3D Medical Images
2010-02-05: High-Dimensional Matched Subspace Detection When Data are Missing -- useful stuff, actually.
Towards Social Profile Based Overlays -- P2P (peer-to-peer) social networking.
Session-Based Programming for Parallel Algorithms: Expressiveness and Performance: Pushing Java beyond MPI.
Programming Idioms for Transactional Events: Pressing forward on the CML (Concurrent ML) front.
Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
A Unified Algebraic Framework for Fuzzy Image Compression and Mathematical Morphology -- quantale categories at work.
Quantale Modules and their Operators, with Applications
2010-02-03: Face Identification by SIFT-based Complete Graph Topology -- using SIFT features invariant under rotation, translation and scaling.
Face Recognition by Fusion of Local and Global Matching Scores using DS Theory: An Evaluation with Uni-classifier and Multi-classifier Paradigm
SIFT-based Ear Recognition by Fusion of Detected Keypoints from Color Similarity Slice Regions -- let's hear it for ears!
Feature Level Fusion of Biometrics Cues: Human Identification with Doddingtons Caricature
Fusion of Multiple Matchers using SVM for Offline Signature Identification
Feature Level Clustering of Large Biometric Database -- life beyond k-means.
Detecting Motifs in System Call Sequences
Random Indexing K-tree -- better document clustering.
2010-01-31: An in-place truncated Fourier transform and applications to polynomial multiplication
2010-01-30: Evolution of Adaptive Behaviour in Robots by Means of Darwinian Selection -- slashdot was impressed. :-)
2010-01-22: On Fast Algorithm for Computing Even-Length DCT
2010-01-19: Strong Robustness of Randomized Rumor Spreading Protocols
Succinct Dictionary Matching With No Slowdown
2010-01-15: Stable Principal Component Pursuit : "classical Principal Component Analysis (PCA), optimal for small i.i.d. noise, can be made robust to gross sparse errors"
Dense Error Correction for Low-Rank Matrices via Principal Component Analysis "[tweaked] Principal Component Pursuit ... exactly recovers the low-rank matrix even if "almost all" of its entries are arbitrarily corrupted ..."
A Little More, a Lot Better: Improving Path Quality by a Simple Path Merging Algorithm -- better motion planning by merging many mediocre paths to produce one good one.
2010-01-13: Divide & Concur and Difference-Map BP Decoders for LDPC Codes -- is Divide and Concur a general-purpose alternative to Belief Propagation?
Fast Set Intersection and Two Patterns Matching
Matching Shapes Using the Current Distance -- a fast alternative to feature matching?
Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank
Optimal Exploration of Terrains with Obstacles
Vandalism Detection in Wikipedia: a Bag-of-Words Classifier Approach
A simple construction of almost-Euclidean subspaces of $\ell_1^N$ via tensor products -- pimp your high-dimensional nearest-neighbor searches.
The Geodesic Diameter of Polygonal Domains -- points to papers allowing robot path planning in linear time when there are no interior holes (obstacles, furniture) in room, and presents a new polynomial time algorithm for when there are holes (furniture).
2010-01-10: Boosting k-NN for categorization of natural scenes
Decisional Processes with Boolean Neural Network: the Emergence of Mental Schemes
Optimal topological simplification of discrete functions on surfaces
2010-01-08: An Empirical Evaluation of Four Algorithms for Multi-Class Classification: Mart, ABC-Mart, Robust LogitBoost, and ABC-LogitBoost
An Unsupervised Algorithm For Learning Lie Group Transformations -- efficiently inducing continuous transforms from pixel data.
Measuring Latent Causal Structure
Principal manifolds and graphs in practice: from molecular biology to dynamical systems
Redundancy in Systems which Entertain a Model of Themselves: Interaction Information and the Self-organization of Anticipation
Stability of multidimensional persistent homology with respect to domain perturbations -- computer vision with incomplete data.
2010-01-05: A conversion between utility and information (Wow!!)
Extending Karger's randomized min-cut Algorithm for a Synchronous Distributed setting
2009-12-30: Genus Computing for 3D digital objects: algorithm and implementation
High-Speed Signature Matching in Network Interface Device using Bloom Filters
Why so? or Why no? Functional Causality for Explaining Query Answers -- deeper semantics for relational databases.
Computing Principal Components Dynamically with applications to collision detection and fast rendering.
Backyard Cuckoo Hashing: Constant Worst-Case Operations with a Succinct Representation: together again for the first time: constant time -and- constant space.
Time and Memory Efficient Lempel-Ziv Compression Using Suffix Arrays: faster, smaller and "suited for text classification".
Teaching Physical Based Animation via OpenGL Slides
Oriented Straight Line Segment Algebra: Qualitative Spatial Reasoning about Oriented Objects: "fast, constraint-based reasoning"
A Generic Type and Effect System checked in Twelf.
2009-12-25: Interpretations of Directed Information in Portfolio Theory, Data Compression, and Hypothesis Testing
Typing rule-based transformations over topological collections -- generalizing ML pattern-matching.
2009-12-22: Wavelets on Graphs via Spectral Graph Theory
2009-12-19: Simple objects for Standard ML (1996): Reppy + Riecke: subtypes as conservative typesystem extension.
2009-12-08: A New Approach to Cold Start in Peer to Peer File Sharing Networks -- solving the free rider problem.
Nonlinear Effects in Stiffness Modeling of Robotic Manipulators -- Orthoglide goodness.
Context and Keyword Extraction in Plain Text Using a Graph Representation
A survey on algorithmic aspects of modular decomposition -- graphs and combinatorial optimization.
Computing Hulls And Centerpoints In Positive Definite Space: machine learning &tc.
2009-12-04: Sequential Clustering based Facial Feature Extraction Method for Automatic Creation of Facial Models from Orthogonal Views
A New Scheduling Algorithm For Real Time Tasks
Behavior and performance of the deep belief networks on image classification
Isometric Multi-Manifolds Learning
2009-12-02: A Multi-stage Probabilistic Algorithm for Dynamic Path-Planning: A tweak on Rapidly-evolving Random Trees (RRT).
2009-12-01: Maximin affinity learning of image segmentation: Minimizing the Rand index.
Faster and simpler approximation of stable matchings -- O(m) and "much simpler".
Hierarchies in Dictionary Definition Space -- Basic English rides again! :-)
2009-11-30: Untangling Phase and Time in Monophonic Sounds -- pitch-shifting &tc in Haskell.
Rate Distortion and Denoising of Individual Data Using Kolmogorov complexity
2009-11-27: Interactive Model Reconstruction with User Guidance -- 3D model construction in a minute using commodity computer and webcam.
ProFORMA: Probabilistic Feature-based Online Rapid Model Acquisition -- longer paper on same work as previous.
2009-11-26: Hearing the clusters in a graph: A distributed algorithm: Spectral-clustering results via FFT without eigenvector computations.
Non-photorealistic image processing: an Impressionist rendering
Adaptive information filtering for dynamic recommender systems
2009-11-24: Evolution of central pattern generators for the control of a five-link bipedal walking mechanism
Clustering with shallow trees
2009-11-22: Randomized Interior Point methods for Sampling and Optimization: Aspect-ratio independent Markov chain sampling.
Making the road by searching - A search engine based on Swarm Information Foraging: Ant algorithms at work.
Likelihood-based semi-supervised model selection with applications to speech processing
2009-11-19: Re-Pair Compression of Inverted Lists
A Minimal Periods Algorithm with Applications: suffix trees at work.
Fast algorithms for spherical harmonic expansions, III. (Spherical harmonics provide an orthogonal basis for describing oscillations on a sphere which are trivially rotatable -- useful for radiosity and shadowing &tc in 3D graphics, also physics, chem...)
Boosting through Optimization of Margin Distributions: Beating AdaBoost and LPBoost -- the latest wrinkle in boosting.
Musical Genres: Beating to the Rhythms of Different Drums
2009-11-17: On Bregman Distances and Divergences of Probability Measures
A Dynamic Near-Optimal Algorithm for Online Linear Programming
A formally verified compiler back-end
Graph polynomials and approximation of partition functions with Loopy Belief Propagation
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture
2009-11-12: A New Look at the Classical Entropy of Written English -- 1.65 bits/char, 74% redundancy.
An Intuitive Automated Modelling Interface for Systems Biology -- applied pi calculus.
Robust MOdels for Optic Flow Coding in Natural Scenes Inspired by Inset Biology -- supposedly efficient and easy to implement too.
2009-11-09: The relation between Pearson's correlation coefficient r and Salton's cosine measure
2009-11-04: Feature-Weighted Linear Stacking -- how better boosting won second place in Netflix.
Strange Bedfellows: Quantum Mechanics and Data Mining: Wonderful paper full of good intuition starting with the best overview of SVD (singular value decomposition) I've seen.
Novel Intrusion Detection using Probabilistic Neural Network and Adaptive Boosting
Visualizing Graphs with Node and Edge Labels
A $p$-adic RanSaC algorithm for stereo vision using Hensel lifting: Random Sample Consensus recovery of relative pose.
Sound and Complete Type Inference for a Systems Programming Language
2009-11-02: Calibration of 3-d.o.f. Translational Parallel Manipulators Using Leg Observations
From Single-thread to Multithreaded: An Efficient Static Analysis Algorithm
On Pebble Automata for Data Languages with Decidable Emptiness Problem: Searching for more powerful analogues of regular expressions which still preserve their nice properties.
Metric and Kernel Learning using a Linear Transformation
Topological De-Noising: Strengthening the Topological Signal: Analysing high-dimensional datasets.
Sorting under Partial Information (without the Ellipsoid Algorithm) -- first practical algorithms?
A Wavelet-Based Digital Watermarking for Video -- I'm interested less in watermarks than the state of the art in 3D wavelets.
2009-10-29: Anomaly Detection with Score functions based on Nearest Neighbor Graphs
2009-10-26: Mechanizing the Metatheory of LF -- building on recent work by Harper &kith in Twelf for SML.
Adaptive model for recommendation of news ... "outperforms" ... "provides a general social mechanism"
Nonapproximablity of the Normalized Information Distance -- latest news from Vitanyi country.
2009-10-22: Designs, Lessons and Advice from Building Large Distributed Systems at Google (Jeff Dean).
2009-10-20: Pseudorandom Generators for Polynomial Threshold Functions: "first nontrivial PRGs for low-degree PTFs" ... applications from learning to voting theory ... "can help derandomize [e.g.] Goemans-Williamson Max-Cut".
Digital Curvatures Applied to 3D Object Analysis and Recognition: A Case Study: "multi-scale" ... "face recognition"
2009-10-20: The 1.375 Approximation Algorithm for Sorting by Transpositions Can Run in $O(n\log n)$ Time
Exact Inference in Graphical Models: is There More to it? -- pose inference &tc
Iterators, Recursors and Interaction Nets -- visual notations for functional programs.
b-Bit Minwise Hashing: One bit suffices.
Algorithms for Image Analysis and Combination of Pattern Classifiers with Application to Medical Diagnosis -- thesis.
Adaptive model for recommendation of news
2009-10-15: Type Safe Extensible Programming in MLPolyR -- thesis
Accelerating the Execution of Matrix Languages on the Cell Broadband Engine Architecture -- optimizing Octave and Matlab
Positive Semidefinite Metric Learning with Boosting for image classification and retrieval
State of the Art Review for Applying Computational Intelligence and Machine Learning Techniques to Portfolio Optimisation
Expectation Maximization as Message Passing - Part I: Principles and Gaussian Messages
A unifying approach to picture grammars -- polynomial-time (O(grayvals*(pixels**2))) recognition by generalizing Cocke-Kasami-Younger (1967, O(N**3) from 1D to 2D. Grammar class subsumes quadtrees.
Expectation Maximization as Message Passing - Part I: Principles and Gaussian Messages
Bloggers Behavior and Emergent Communities in Blog Space -- via spectral analysis of temporal bipartite blog graphs.
Optimal hash functions for approximate closest pairs on the n-cube: beyond projection: asymptotically random and complete decoding algorithms.
2009-10-12: Towards a Unified Approach to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond
Covering Points by Disjoint Boxes with Outliers
Local and global approaches of affinity propagation clustering for large scale data
Justifying additive-noise-model based causal discovery via algorithmic information theory
Decomposition of forging die for high speed machining
Machining strategy choice: performance VIEWER
Decomposition of forging dies for machining planning
2009-10-09: Simple, efficient maxima-finding algorithms for multidimensional samples: "very simple and easily coded and modified for practical needs"
On the Sample Complexity of Compressed Counting: "extremely useful for estimating Shannon entropy ... very simple algorithm"
Near-Optimal Detection in MIMO Systems using Gibbs Sampling: I suspect Markov Chain Monte Carlo Gibbs samplers likely have wider applications...
Some Thoughts on Hypercomputation: from pure math to pure theology in just ten pages! :-)
2009-10-06: Reduced-Rank Hidden Markov Models ... "robot vision modelling"...
On Metric Skyline Processing by PM-tree: similarity search in multimedia databases.
On the Interesting World of Fractals and Their Applications to Music "the fractal dimension of mustic is about 1.65 and varies between a high of 1.68 and a low of 1.60".
Clustering with shallow trees: "efficient"
Explicit Construction of Optimal Exact Regenerating Codes for Distributed Storage: "practical and easy to maintain" ... "peer-to-peer" ... "can handle multiple simultaneous node failures"
2009-10-05: Supporting Lock-Free Composition of Concurrent Data Objects: Life without deadlock.
Through-Wall Tracking Using Variance-Based Radio Tomography Networks
2009-10-02: Finding Associations and Computing Similarity via Biased Pair Sampling
Hierarchical Approach for Key Management in Mobile Ad hoc Networks
2009-09-29: MACH: Fast Randomized Tensor Decompositions with applications to computer vision &tc -- faster than SVD.
Geometrical Interpretation of Shannon's Entropy Based on the Born Rule -- logarithm of distribution dimension.
2009-09-27: Randomness-optimal Steganography
A Better Reduction Theorem for Store Buffers: the new lock-free concurrency, "TSO", total store order.
Bayesian Algorithmic Mechanism Design
2009-09-24: A Measure of the Connection Strengths between Graph Vertices with Applications: linear time rocks.
Theoretical Performance Analysis of Eigenvalue-based Detection
Higher-dimensional models of networks
Clustering with Obstacles in Spatial Databases
The meta book and size-dependent properties of written language: When Zipf's Law breaks down.
2009-09-21: Randomized Algorithms for Large scale SVMs
Efficient and Error-Correcting Data Structures for Membership and Polynomial Evaluation in the face of adversarial noise.
Fault Identification via Fault Identification via Non-parametric Belief Propagation
2009-09-18: On the largest empty axis-parallel box amidst $n$ points
2009-09-17: Distribution-Specific Agnostic Boosting
2009-09-15: Simple implementation of deletion from open-address hash table
Reducing Network Traffic in Unstructured P2P Systems Using Top-k Queries
2009-09-13: : Overview of contemporary image and video analysis, pursuit strategies, gabor dictionaries. Introduces "Image Folding" and combined use of discrete cosine dictionary and dirac basis imager representations.
Straggler Identification in Round-Trip Data Streams via Newton's Identities and Invertible Bloom Filters
2009-09-10: Kernel Spectral Curvature Clustering (KSCC) for computer vision.
Motion Segmentation by SCC on the Hopkins 155 Database
Building on Quicksand
2009-09-07: The Kalman Like Particle Filter : Optimal Estimation With Quantized Innovations/Measurements
The Euler Path to Static Level-Ancestors
Randomized Shellsort: A Simple Oblivious Sorting Algorithm
Efficient Approximation Algorithms for Minimum Enclosing Convex Shapes
Efficient Learning of Sparse Conditional Random Fields for Supervised Sequence Labelling
Sparse image representation by discrete cosine/spline based dictionaries
2009-09-04: Advances in Feature Selection with Mutual Information
Efficient parameter training for hidden Markov models using posterior sampling training and Viterbi training
2009-09-02: Scale-Based Gaussian Coverings: Combining Intra and Inter Mixture Models in Image Segmentation: k-means and wavelets, oh my.
2009-08-31: Efficient Authenticated Data Structures for Graph Connectivity and Geometric Search Problems
ABC-LogitBoost for Multi-class Classification
Integrating Post-Newtonian Equations on Graphics Processing Units: 50X speedup over CPUs.
2009-08-28: Graph-Theoretic Solutions to Computational Geometry Problems
SocialFilter: Collaborative Spam Mitigation using Social Networks
2009-08-26: Gabor wavelet analysis and the fractional Hilbert transform : "provides an intuitive interpretation...
Fast adaptive elliptical filtering using box splines
2009-08-14: Towards a Theory of Anonymous Networking
A dyadic solution of relative pose problems: "inherently robust"
2009-08-05: Streamed Learning: One-Pass SVMs
2009-08-02: Decidability of higher-order matching -- higher-order unification is undecidable (classical result) but higher-order matching is decidable (new result)
Recursive Estimation of Gauss-Markov Random Fields Indexed over 1-D Space leading to easy derivations of Kalman filters and recursive smoothers.
Geometric Approximation Algorithms, an online book-in-the-making including matrial on quadtrees, nearest neighbor and grid methods.
2009-07-27: Dynamic Deformation of Uniform Elastic Two-Layer Objects: "this thesis presents a two-layer uniform facet elastic object for real-time simulation based on physics modeling[...]"
A Fast Algorithm for Computing Geodesic Distances in Tree Space
Sequential pivotal mechanisms for public project problems (I don't know if this is useful -- need to take a peek).
2009-07-24: Contextual Bandits with Similarity Information and web ad placement.
2009-07-23: Self-adaptive web intrusion detection system applied to HTTP streams.
USUM: Update Summary Generation System: Explaining what's new on the web
Artificial Dendritic Cells: Multi-faceted Perspectives: taking algorithmic inspiration from the immune system.
2009-07-20: Parallel AdaBoost Algorithm for Gabor Wavelet Selection in Face Recognition
Inter Genre Similarity Modelling For Automatic Music Genre Classification
Fully Automatic 3D Reconstruction of Histological Images
Registration of Standardized Histological Images in Feature Space
2009-07-19: Decisions in Motion -- cheap, fast, practical robotic vision?
2009-07-15: GMap: Drawing Graphs as Maps
2009-07-13: Towards the quantification of the semantic information encoded in written language
Online Sorting via Searching and Selection
A class of structured P2P systems supporting browsing: increasing the functionality of distributed hash tables.
A Large-Scale Exploration of Effective Global Features for a Joint Entity Detection and Tracking Model -- pronoun resolution.
2009-07-10: Warren Buffet's favorite leading indicator: FTSI Freight Transportation Services Index: "Since 1979, across four recessions, the index "shows a strong leading relationship to the economy", with an acceleration of freight leading the economy "by an average of approximately 4 to 5 months"", most recent version is July 2009
2009-07-05: Camera Calibration Toolbox for Matlab and more generally Jean-Yves Bouguet's Caltech 3D-shape-from-images computer vision stuffl
Spontaneous organization leads to robustness in evolutionary algorithms
Generalized Collective Inference with Symmetric Clique Potentials: " ... for Potts potentials is an order of magnitude faster..."
2009-06-29: Efficient IRIS Recognition through Improvement of Feature Extraction and subset Selection: contourlets and SVM.
Exact Regenerating Codes for Distributed Storage
Vision Based Navigation for a Mobile Robot with Different Field of Views: experimental evolution of neural controllers.
2009-06-24: Automatic Spatially-Adaptive Balancing of Energy Terms for Image Segmentation: graph-based, MRI brain segmentation example.
A statistical learning approach to color demosaicing
2009-06-20: A Mathematician's Lament -- how K12 kills mathematical talent and curiosity.
2009-06-18: Adaptive Regularization of Ill-Posed Problems: Application to Non-rigid Image Registration
Optimal Constrained Resource Allocation Strategies under Low Risk Circumstances to applications including motion planning and job scheduling.
2009-06-16: Without a 'doubt'? Unsupervised discovery of downward-entailing operators -- unsupervised language semantics learning.
Exact Indexing for Massive Time Series Databases under Time Warping Distance
Combinatorial pyramids and discrete geometry for energy-minimizing segmentation
2009-06-04: Feature Reinforcement Learning: Part I: Unstructured MDPs
Segmentation of Facial Expressions Using Semi-Definite Programming and Generalized Principal Component Analysis
Universal Reinforcement Learning: Lempel-Ziv rides again.
2009-06-04: Optimal Byzantine Resilient Convergence in Asynchronous Robot Networks
Thinning, Entropy and the Law of Thin Numbers
Size dependent word frequencies and translational invariance of books
Distributed elections in an Archimedean ring of processors
2009-05-26: Strong Dependencies between Software Components -- analysing the Debian package graph.
Faster estimation of the correlation fractal dimension using box-counting
The Usefulness of Multilevel Hash Tables with Multiple Hash Functions in Large Databases: "reduces join complexity from O(n2) to O(1)"
The Convergence of Bird Flocking
Statistical Properties of Fluctuations: A Method to Check Market Behavior
Faster Least Squares Approximation
Boosting the Accuracy of Finite Difference Schemes via Optimal Time Step Selection and Non-Iterative Defect Correction
Online Stochastic Matching: Beating 1-1/e: "we solve a max flow problem in a boosted flow graph"
2009-05-25: Two hierarchies of spline interpolations. Practical algorithms for multivariate higher order splines
Quantum Annealing for Clustering: Better than simulated annealing?
2009-05-18: Point-Set Registration: Coherent Point Drift -- looks like a core computer vision result!
Heterogeneous attachment strategies optimize the topology of dynamic wireless networks
Colorization of Natural Images via L1 Optimization
A statistical learning approach to color demosaicing
Approximation Algorithms for Bregman Co-clustering and Tensor Clustering
2009-05-15: Experience-driven formation of parts-based representations in a model of layered visual memory: face recognition made easy?
2009-05-13: Fast computation of the median by successive binning
2009-05-12: Reliable Process for Security Policy Deployment
Making Hand Geometry Verification System More Accurate Using Time Series Representation with R-K Band Learning
Concept Stability for Constructing Taxonomies of Web-site Users
Fast and Near-Optimal Matrix Completion via Randomized Basis Pursuit
A Recommender System to Support the Scholarly Communication Process
Mining Meaning from Wikipedia
Fixing Convergence of Gaussian Belief Propagation
Personalised and Dynamic Trust in Social Networks
John Reppy's Manticore Papers -- turning CML into an efficient parallel language
2009-05-09: BlobSeer: How to Enable Efficient Versioning for Large Object Storage under Heavy Access Concurrency: another wrinkle on P2P and distributed hashtables (DHT).
Characterizing Individual Communication Patterns efficiently inferring double Markov chain models oh my!
2009-05-07: Soft Motion Trajectory Planner for Service Manipulator Robot
Fully-Functional Static and Dynamic Succinct Trees -- range min-max trees, supposedly simple and practical.
2009-05-05: Robust Principal Component Analysis: Exact Recovery of Corrupted Low-Rank Matrices
Gaussian Belief with dynamic data and in dynamic network
Hiding Information in Retransmissions: underhanded uses for TCP/IP mechanisms.
Two-Level Fingerprinting Codes: keeping up with what the RIAA types are up to.
Maximum Flow in Directed Planar Graphs with Vertex Capacities O(N) and O(NlogN) solutions, refutation of competing recent algorithm for undirected case.
Geometric scaling: a simple preconditioner for certain linear systems with discontinuous coefficients: solving systems derived from PDE equations over heterogenous physical media.
2009-05-01: Software Model Checking via Large-Block Encoding -- reducing the exponential search space of software verification abstract reachability trees (ARTs) by using bigger chunks.
Succinct Greedy Graph Drawing in R^2
Collective dynamics of social annotation
Norm-Product Belief Propagation: Primal-Dual Message-Passing for Approximate Inference: generalizing sum-product max-product and tree-reweighted approaches.
2009-04-30: Linear-Space Computation of the Edit-Distance between a String and a Finite Automaton
Robust Regulatory Networks
2009-04-28: Some Aspects of Categories in Computer Science -- scads of great stuff!
2009-04-27: Space Efficient Multi-Dimensional Range Reporting
A data structure for multi-dimensional range reporting
On a very quick skim, the practical solutions of choice may be those from A functional approach to data structures and its use in multidimensional searching : "redesigned range trees and segment trees to use linear storage" "easy to implement".
The standard solutions appear in practice to be kd-trees and interval trees -- the subsequent stuff may all be lily-gilding for most practical purposes.
2009-04-24: Introduction to Machine Learning: Class Notes 67577
Another Virtue of Wavelet Trees: "efficient range-selection queries".
2009-04-20: On Counteracting Byzantine Attacks in Network Coded Peer-to-Peer Networks
Fast Computation of Empirically Tight Bounds for the Diameter of Massive Graphs
Multi-Instance Learning by Treating Instances As Non-I.I.D. Samples
2009-04-18: Geodesic Paths On 3D Surfaces: Survey and Open Problems
2009-04-16: Driven by Compression Progress: A Simple Principle Explains Essential Aspects of Subjective Beauty, Novelty, Surprise, Interestingness, Attention, Curiosity, Creativity, Art, Science, Music, Jokes
A PTAS for Minimum Clique Partition in Unit Disk Graphs -- polynomial-time approximations scheme with a host of practical applications claimed including ad hoc radio networks.
2009-04-15: Simplicial Databases: relational databases through the prism of category theory.
A new Protocol for 1-2 Oblivious Transfer
2009-04-12: On the closed-form solution of the rotation matrix arising in computer vision problems
2009-04-08: 5-axis High Speed Milling Optimisation
2009-04-06: Fast FPT algorithms for vertex subset and vertex partitioning problems using neighborhood unions -- "FPT" == "Fixed Parameter Tractable", one generic class of attacks on NP-complete problems.
Performing Nonlinear Blind Source Separation with Signal Invariants
2009-04-03: Visual approach for data mining on medical information databases using Fastmap algorithm
MIML: A Framework for Learning with Ambiguous Objects
2009-03-31: Time manipulation technique for speeding up reinforcement learning in simulations
Typed Open Programming, Andreas Rossberg's dissertation on his work on Alice ML &tc.
2009-03-27: Graph polynomials and approximation of partition functions with Loopy Belief Propagation
2009-03-24: Pairing Heaps with Costless Meld: "even simpler"
2009-03-23: Combinatorial Ricci Curvature and Laplacians for Image Processing
Computations modulo regular chains: triangular decompositions "orders of magnitude faster"
2009-03-21: Le trading algorithmique
A New Local Distance-Based Outlier Detection Approach for Scattered Real-World Data
2009-03-19: Spatial Skyline Queries: An Efficient Geometric Algorithm
Efficiently Learning a Detection Cascade with Sparse Eigenvectors: better boosting
Markov Random Field Segmentation of Brain MR Images
Norm-Product Belief Propagation: Primal-Dual Message-Passing for Approximate Inference
Matrix Completion With Noise: "a remarkable new field"
Matrix Completion from a Few Entries
2009-03-14: Adaptive Mesh Approach for Predicting Algorithm Behavior with Application to Visibility Culling in Computer Graphics
Analysis of a Bloom Filter Algorithm via the Supermarket Model
Supernodal Analysis Revisited: easier circuit analysis algorithm Better Termination for Prolog with Constraints: dynamic occurs check detection. Used in SWI-Prolog.
Role-Based Access Controls: Better fit to civilian needs.
Rfuzzy framework: claims fuzzy logic is finally getting real.
A Generalization of the Shannon-McMillan-Breiman Theorem and the Kelly Criterion Leading to a Definition of Pragmatic Information: "Fortune's Formula" updated.
Constraint solving for high-level WCET analysis: latest in worst-case execution time analysis for realtime systems.
A Semantics-Aware Editing Environment for Prolog in Eclipse: Might be relevant to writing a Mythryl eclipse plug-in. Or not.
2009-03-10: The Power of Convex Relaxation: Near-Optimal Matrix Completion: solving the Netflix and collaborative filtering problems.
2009-03-03: Mythryl programming language.
Heaps Simplified Haeupler, Sen + Tarjan(!)
Manipulation Robustness of Collaborative Filtering Systems
De-amortized Cuckoo Hashing: Provable Worst-Case Performance and Experimental Results

2009-02-28 Dipole Vectors in Images Processing: proposes using dipoles where gradients would normally be used, but I'm not clear that any advantage is claimed or demonstrated.
2009-02-16: The Forgiving Graph: A distributed data structure for low stretch under adversarial attack
2009-02-13: A formally verified compiler back-end Xavier Leroy -- uses Coq.
Feature Hashing for Large Scale Multitask Learning
2009-02-12: A Spectral Algorithm for Learning Hidden Markov Models -- efficient and simple with applications to natural language learning. Updated 2009-06-09 and 2009-08-22.
2009-02-05: Genetic algorithm based optimization and post optimality analysis of multi-pass face milling
2009-01-20: Beyond word frequency: Bursts, lulls, and scaling in the temporal distributions of words: trucking on down the Zipf trail.
2009-01-15: A mathematical proof of the existence of trends in financial time series
2009-01-04: A Simple, Linear-Time Algorithm for x86 Jump Encoding
2008-12-28: Random Projections for the Nonnegative Least-Squares Problem
2008-12-22: An interface group for process components
A New Approach to Collaborative Filtering: Operator Estimation with Spectral Regularization
2008-12-18: Topological structures in the equities market network
Linearly Parameterized Bandits
2008-12-16: A Growing Self-Organizing Network for Reconstructing Curves and Surfaces
Binary Classification Based on Potentials: "simple and computationally trivial" ... "exceed that of standard Support Vector Machine methods"
2008-12-02: Delaunay Triangulations in Linear Time?
Approximation Algorithms for Bregman Co-clustering and Tensor Clustering: generalizations to Euclidean k-means.
2008-12-02: An Integrated Software-based Solution for Modular and Self-independent Networked Robot
Error-Correcting Data Structures
2008-11-21: A Spectral Algorithm for Learning Hidden Markov Models
2008-11-21: Faster Retrieval with a Two-Pass Dynamic-Time-Warping Lower Bound
Broadcasting in Prefix Space: P2P Data Dissemination with Predictable Performance
2008-11-12: Robust Regression and Lasso -- l^1 regularized least squares
2008-11-10: Coq in a hurry
Adaptive Base Class Boost for Multi-class Classification
NB-FEB: An Easy-to-Use and Scalable Universal Synchronization Primitive for Parallel Programming
Learning to rank with combinatorial Hodge theory
2008-11-08: Who is the best connected computer scientist? -- many good references on applying statistical (&tc) physics techniques to social networks.
Cost-effective Outbreak Detection in Networks -- well publicized CMU algorithm also applied to blogosphere analysis &tc.
2008-11-03: A branch-and-bound feature selection algorithm for U-shaped cost functions
On the Possibility of Learning in Reactive Environments with Arbitrary Dependence
On the Possibility of Learning in Reactive Environments with Arbitrary Dependence -- Gell-Mann improves Komogorov
On the Vocabulary of Grammar-Based Codes and the Logical Consistency of Texts -- re-deriving Zipf's Law at a more profound level.
2008-10-31: A Novel Clustering Algorithm Based on a Modified Model of Random Walk
2008-10-28: Assembling Actor-based Mind-Maps from Text Stream
A Restless Bandit Formulation of Multi-channel Opportunistic Access: Indexablity and Index Policy
2008-10-27: Entropy of Hidden Markov Processes via Cycle Expansion
Efficient Exact Inference in Planar Ising Models "parameter estimation on image denoising and segmentation problems shows our approach to be efficient and effective."
Efficient Algorithmic Techniques for Several Multidimensional Geometric Data Management and Analysis Problems: segment tree, range tree, sweep-line.
Randomization Adaptive Self-Stabilization "constant time Byzantine self-stabilizing clock synchronization"
The Mob core language and abstract machine "syntax and the semantics of a scripting language for programming mobile agents" "prove[d] sound by encoding its semantics into the underlying calculus."
2008-10-25: Bucketing Coding and Information Theory for the Statistical High Dimensional Nearest Neighbor Problem
A Heterogeneous High Dimensional Approximate Nearest Neighbor Algorithm
2008-10-23: Le trading algorithmique
Directed Transmission Method, A Fully Asynchronous Approach to Solve Sparse Linear Systems in Parallel: Claims to be first non-synchronous and thus truly scalable approach.
Quantum reinforcement learning
Classdesc and Graphcode: support for scientific programming in C++: Argues that reflection is unsupported in C++ but critically important for serialization and thus distributed programming, and offers a patch for the problem. May be Mythryl relevant. 2008-10-21: Text as Statistical Mechanics Object
Detecting the Most Unusual Part of a Digital Image
A Minimum Relative Entropy Principle for Learning and Acting
2008-10-16: A Vision-based Computed Torque Control for Parallel Kinematic Machines
Efficient Pattern Matching on Binary Strings
2008-10-13: SOSEMANUK: a fast software-oriented stream cipher
2008-10-09: Peer-to-Peer Secure Multi-Party Numerical Computation
2008-10-08: Soft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm
Clustering and Feature Selection using Sparse Principal Component Analysis
2008-09-30: The Imaginary Sliding Window As a New Data Structure for Adaptive Algorithms
Multi-armed bandits in metric spaces
2008-09-27: Llull and Copeland Voting Computationally Resist Bribery and Control
2008-09-26: Analyzing U.S. 2008 Elections with Mathematica: "gives step by step details for how to import raw data from Mason-Dixon, Rasmussen, and Quinnipiac." (Slashdot)
2008-09-22:
2008-09-19: Hybrid System For Automatic Generation of Style-Specific Accompaniment
2008-09-17: Algorithmic information theory -- Grunwald + Vitanyi.
2008-09-16: Normalized Information Distance -- another Vitanyi/Cilibrasi paper.
One Predictors for Online Rating-Based Collaborative Filtering
SML/NJ exception analyser
2008-09-13: Randomized Distributed Configuration Management of Wireless Networks: Multi-layer Markov Random Fields and Near-Optimality
2008-09-11: Design of a Quadruped Robot Driven by Air Muscles
Evolving Dynamic Gaits on a Physical Robot
2008-09-09: Applications of Universal Source Coding to Statistical Analysis of Time Series: "often the suggested methods and tests are more powerful than known ones when they are applied in practice."
2008-09-02: Transmission capacity: applying stochastic geometry to uncoordinated ad hoc networks
On the nature of long-range letter correlations in texts
Highly accurate recommendation algorithm based on high-order similarities
2008-08-28: A tutorial on support vector machines for pattern recognition (1998)
2008-08-25: Johnny Lee's CMU Wii hacks &tc pages
2008-08-22: Fast Intrinsic Mode Decomposition of Time Series Data
A simple and efficient solution of the identifiability problem for hidden Markov sources
Building an interpretable fuzzy rule base from data using Orthogonal Least Squares
2008-08-21: Accelerating Scientific Computations with Mixed Precision Algorithms
Being accurate is not enough: measuring and optimizing the diversity of recommendations
A Scalable, Commodity Data Center Network Architecture
2008-08-18: A Simple E-Voting Protocol
Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference Function
2008-08-13: Our Brothers' Keepers: Secure Routing with High Performance -- anti-spam distributed hash table.
A Very Efficient Scheme for Estimating Entropy of Data Streams Using Compressed Counting
2008-08-11: Image Steganography, a New Approach for Transferring Security Information, including a review of the field.
An Almost-Surely Terminating Polynomial Protocol for Asynchronous Byzantine Agreement with Optimal Resilience
2008-08-10: Optimally Efficient Prefix Search and Multicast in Structured P2P Networks
Commonsense Knowledge, Ontology and Ordinary Language
2008-08-07: Text Modeling using Unsupervised Topic Models and Concept Hierarchies
2008-08-05: A Public Key Block Cipher Based on Multivariate Quadratic Quasigroups -- fast on intel, faster in FPGA.
Schroedinger-like PageRank equation and localization in the WWW -- faster, non-iterative computation of PageRank.
Coinductive big-step operational semantics by Xavier LeRoy -- all results proved using Coq.
2008-08-01 Accelerated Option Pricing in Multiple Scenarios
Pricing American Options for Jump Diffusions by Iterating Optimal Stopping Problems for Diffusions
2008-07-29 Positive factor networks: A graphical framework for modeling non-negative sequential data: "well suited to modeling the magnitude spectra of audio signals", "straightforward to implementstraightforward to implement"
Improved Algorithms for Approximate String Matching
On Introspection, Metacognitive Control and Augmented Data Mining Live Cycles
2008-07-23 Modularity clustering is force-directed layout
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Fast unfolding of communities in large networks -- roughly linear-time clustering.
2008-07-23 An adaptive embedded architecture for real-time Particle Image Velocimetry algorithms
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2008-07-20 On Probability Distributions for Trees: Representations, Inference and Learning
2008-07-11 Computing approximate tree edit distance using relaxation labeling
2008-07-08 A Computational Study of Cost Reoptimization for Min-Cost Flow Problems
Informed Traders: "Explicit trading strategies leading to statistical arbitrage opportunities, taking advantage of the additional information, are constructed, illustrating how excess information can be translated into profit."
2008-07-15 Latent Topic Models for Hypertext Gruber, M. Rosen-Zvi and Y. Weiss 2008 10p
2008-07-07 Register Allocation in Structured Programs Kannan + Proebsting 1999 16p
Fast Copy Coalescing and Live Range Identification (2002)
Combined Code Motion and Register Allocation using the Value State Graph
2008-07-03 Mapping the Structural Core of Human Cerebral Cortex
Modeling belief systems with scale-free networks
Graph Drawing by force-directed placement
Drawing Graphs Nicely
Network Flow, including pointers to source code, from the excellent online Algorithm Design Manual
Algorithms for drawing graphs: an Annotated Bibliography
2008-06-27 RoboCupRescue -- Robot League Team IUB Rescue, Germany -- nice info on robust robot design.
Scalar Quantization for Audio Data Coding
An Efficient Algorithm for 2D Euclidean 2-Center with Outliers
Space-Efficient Multi-Dimensional Range Reporting
The 1-fixed-endpoint Path Cover Problem is Polynomial on Interval Graph
2008-06-26 Linear Parameter Varying Model Identification for Control of Rotorcraft-based UAV
A comparison of two approaches for polynomial time algorithms computing basic graph parameters
2008-06-22 Intermittent estimation of stationary time series
Nonparametric inference for ergodic, stationary time series
Prediction for discrete time series
Order estimation of Markov chains
Forward estimation for ergodic time series
On estimating the memory for finitarily Markovian processes
Limits to consistent on-line forecasting for ergodic time series
Strongly consistent nonparametric forecasting and regression for stationary ergodic sequences
On Sequential Estimation and Prediction for Discrete Time Series
Weakly Convergent Nonparametric Forecasting of Stationary Time Series
A simple randomized algorithm for sequential prediction of ergodic time series
Boosting Trees for Anti-Spam Email Filtering: AdaBoost
2008-06-16 Exposing Multi-Relational Networks to Single-Relational Network Analysis Algorithms
Approximately Counting Embeddings into Random Graphs
2008-06-14 Max Cut and the Smallest Eigenvalue
Classification of curves in 2D and 3D via affine integral signatures with applications to noisy images.
2008-06-10 Learning Generative Visual Models from Few Training Examples: An Incremental Bayesian Approach Fei-Fei, Fergus + Perona, 2004, Caltech/Oxford, 9p -- vs maximum likelihood.
2008-06-10 Modeling Visual Information Processing in Brain: A Computer Vision Point of View and Approach Diamant 2007
Using Images to create a Hierarchical Grid Spatial Index Machowski + Marwala 2007
2008-06-09 Histograms and Wavelets on Probabilistic Data
Belief Propagation and Beyond for Particle Tracking
2008-06-08 Distinctive Image Features from Scale-Invariant Keypoints David G Lowe 2003 29p -- the "choo-choo" paper. (Somehow I didn't add this paper to this list first time around?!)
2008-06-06 Challenges and Directions for Monitoring P2p File Sharing Networks -or- Why My Printer Received a DMCA Takedown Notice
2008-06-03 Telex: Principled System Support for Write-Sharing in Collaborative Applications -- more good work from INRIA. Leverages commutative operations but supports non-commutative ops. Open source in Java. Multilogs, action-constraint graphs (acg), vofs.
2008-05-30 Exact Matrix Completion via Convex Optimization -- I'm as interested in the references as the content.
Community Detection using a Measure of Global Influence
2008-05-27 The Structure of Narrative: the Case of Film Scripts based on McKee's book "Story: Substance, Structure, Style and the Principles of Screenwriting".
2008-05-24 Learning Hierarchical Models of Scenes, Objects and Parts
Small Codes and Large Image Databases for Recognition -- effectively indexing millions of images in less than a gig of ram (see also popular write-up here and other papers and programs by MIT's Anonio Torralba
Fast Pose Esimation with Parameter-Sensitive Hashing -- cited as a example of using Locality Sensitive Hashing (LSH) to efficiently (approximately) solve the nearest-neighbor problem in high-dimensional euclidean spaces.
2008-05-20 Finger Indexed Sets: New Approaches
The Margitron: A Generalised Perceptron with Margin -- with experimental comparisons to SVM (support vector machines).
2008-05-14 Platform-Independent Firewall Policy Representation
2008-05-13 From opencv-dev: Shape indexing using approximate nearest-neighbor search in high dimensional spaces.
2008-05-09 Clustering of scientific citations in Wikipedia -- I mainly want to understand the methodology, but the sample application is interesting too.
Algorithm for Singular Value Decomposition of Matrices in Blocks -- an attempt to scale beyond the current limits of SVD by exploiting matrix structure.
2008-05-07 Fast Integer Multiplication using Modular Arithmetic
2008-05-05 Discrete Mathematics for Computer Science, Some Notes -- looks like a good review, and I've always been shaky on math. :)
2008-05-04 Morphing of Triangular Meshes in Shape Space
The Tsallis entropy and the Shannon entropy of a universal probability
2008-05-01 Straight Skeletons of Three-Dimensional Polyhedra -- in particular of voxelsets.
Universe Detectors for Sybil Defense in Ad Hoc Wireless Networks
Nonnegative Matrix Factorization via Rank-One Downdate -- riff on a popular data mining technique, demonstrated on realistic datasets.
2008-04-29 High-dimensional analysis of semidefinite relaxations for sparse principal components
2008-04-23 Isotropic PCA and Affine-Invariant Clustering
2008-04-21 A Synthesizer based on square waves "... synthesize complex signals simply in software, using general purpose microprocessors, even in real-time. ..."
Automatic Contour Extraction from 2D Neuron Images
Reconstruction of Multidimensional Signals from Irregular Noisy Samples
Phoneme recognition in TIMIT with BLSTM-CTC -- I mostly want to check out the references for the current state of the art.
A Cultural Market Model
2008-04-18 The Geometry of Musical Chords -- see also this.
2008-04-18 Agner Fog's Software Optimization Resources: Referenced by Intel's OpenCV source code, includes info on finding Intel's docs on their site.
2008-04-15 Linear Time Recognition Algorithms for Topological Invariants in 3D
2008-04-14 An Optimal Bloom Filter Replacement Based on Matrix Solving
On the Extension of Pseudo-Boolean Functions for the Aggregation of Interacting Criteria
2008-04-10 Mechanizing the Metatheory of LF: latest on Twelf &tc.
2008-04-02 From Random Graph to Small World by Wandering -- might be relevant to keeping peer-to-peer networks well connected.
2008-03-31 Human dynamics revealed through Web analytics
Structure and Interpretation of Computer Programs
Succinct Data Structures for Retrieval and Approximate Membership
The Category-Theoretic Arithmetic of Information
2008-03-20 Figuring out Actors in Text Streams: Using Collocations to establish Incremental Mind-maps
An Efficient Spectral Algorithm for Network Community Discovery and Its Applications also Supplementary materials for ``Identifying network communities with a high resolution'', Identifying network communities with a high resolution

Simple, linear-time modular decomposition " fundamental for many important problems in algorithmic graph theory including transitive orientation, the recognition of several classes of graphs" "we present the first simple, linear-time algorithm to compute the modular decomposition tree of an undirected graph."
2008-03-17 GraphStream: A Tool for bridging the gap between Complex Systems and Dynamic Graphs
Graph Sparsification by Effective Resistances
2008-03-07 Incremental Topological Ordering and Strong Component Maintenance
2008-03-05 Network Coding for Distributed Storage Systems -- more efficient peer-to-peer databases.
Fast unfolding of community hierarchies in large networks
2008-03-05 Precomputed Radiance Transfer for Real-Time Rendering in Dynamic, Low-Frequency Lighting Environments
2008-03-03 Polynomial time algorithms for bi-criteria, multi-objective and ratio problems in clustering and imaging. Part I: Normalized cut and ratio regions
2008-03-02 Centroid estimation in discrete high-dimensional spaces with applications in biology -- billed as a fundamental breakthrough replacing maximum likelihood, which fails on large datasets where any individual solution has probability more or less zero.
2008-02-29 Hubs in Languages: Scale Free Networks of Synonyms
Brain architecture: A design for natural computation.
2008-02-26 Time Warp Edit Distance -- timewarping sequences with nonuniform sampling rates.
Wavelet and Curvelet Moments for Image Classification: Application to Aggregate Mixture Grading
2008-02-24 The Forgiving Tree: A Self-Healing Distributed Data Structure -- repairing peer-to-peer networks in the face of hostile node takedowns.
Use of Rapid Probabilistic Argumentation for Ranking on Large Complex Networks -- a roughly linear approximation to PageRank.
PVM-Distributed Implementation of the Radiance Code
Simulation of Free Surface Compressible Flows Via a Two Fluid Model -- cleanly simulating the air/water interface, including handling breaking waves.
Fame Emerges as a Result of Small Memory
2008-02-19 Generic and Typical Ranks of Three-Way Arrays
Multiclass Approaches for Support Vector Machine Based Land Cover Classification
2008-02-14 Combining Expert Advice Efficiently -- meta-Markov stuff.
2008-02-13 Zero Knowledge Authentication Schemes from Actions on Graphs, Groups or Rings
Discrete Complex Structure on Surfel Surfaces -- also has refs to similar work on polyhedral surfaces.
2008-02-11 sLIB open(?) source triangulates NURBS and Bezier surfaces 100X faster than earlier methods, supposedly.
Adaptive Context Trees and Text Clustering Jean-Phillipe Vert 28p 2000 -- improved Markov probability distributions for text.
Copped from a slashdot discussion of webdesign for geeks: Free CSS Templates .org and Open Source Web Design or Web design from scratch
. or Google's CSS Blueprint site. One suggestion: "search for common topics like balance, alignment, contrast, whitespace, optical center, typography, color theory -- or just "graphic design principles". Other suggestions: "rule of thirds" "golden rectangles" "use of circles", "active and passive shapes", "use of intersecting diagonals", "negative space". And The Principles of Beautiful Web Design, Jason Beaird
2008-02-10 Small Is Not Always Beautiful -- piece size optimization in BitTorrent.
2008-02-09 Maintaining Hierarchical Graph Views for Dynamic Graphs Marcus Raitner, 16p 2004
2008-02-07 Distributed Double Spending Prevention
2008-02-05 Multi-Layer Perceptrons and Symbolic Data
2008-02-02 Manufacturing Datatypes, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Dependently Typed Data Structures, Hongwei Xi, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Teaching Monadic Algorithms of First-Year Students, Ricardo Pena et al, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Modular Lazy Search for Constraint Satisfaction Problems, Nordin and Tolmach, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Persistent Triangulations, CMU Gang, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages includes a new convex hull algorithm.
An Algebraic Dynamic Programming Approach to the Analysis of Recombinant DNA Sequences, Giegerich, Kurz & Weiller, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Constructing Red-Black Trees, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
An Experimental Study of Compression Methods for Functional Tries, Iivonen & Tikkanen, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
2008-02-01 Automatic Text Area Segementation in Natural Images
2008-01-29 Face Recognition: A Single View Based HMM Approach -- Hung-Son Le dissertation, Umea U Digital Media Lab 2008 -- latest thing in face stuff, supposedly basis for a soon-to-debut face search engine.
2008-01-28 Stanford 3d-from-photos system using small-patch random markov or some such. (Slashdotted at the moment! :)
Wicked Lasers with a 4100 lumen flashlight &tc.
2008-01-25 Picking up the Pieces: Self-Healing in Reconfigurable Networks
2008-01-19 SIMON, open source speach understanding.
2008-01-14 Synthesis of Large Dynamic Concurrent Programs from Dynamic Specifications
Instant Computing -- A new Computation Paradigm
2008-01-05 Fast Integer Multiplcation using Modular Arithmetic
2008-01-05 Certifying floating-point implementations using Gappa -- practical proofs of numeric programs.
Toward a statistical mechanics of four letter words
Kolmogorov complexity in perspective covering Cilibrasi's work &tc.
2008-01-01 CrystalSpace appears to be the open source 3D game engine of choice at the moment.
A novel set of rotationally and translationally invariant features for images based on the non-commutative bispectrum.
2007-12-31 Judgment -- why A => B is "not just B or not A".
2007-12-21 Clairlib docs Natural Language Processing (NLP), Information Retrieval (IR), and Network Analysis. Its architecture also allows for external software to be plugged in with very little effort. Functionality native to Clairlib includes Tokenization, Summarization, LexRank, Biased LexRank, Document Clustering, Document Indexing, PageRank, Biased PageRank, Web Graph Analysis, Network Generation, Power Law Distribution Analysis, Network Analysis (clustering coefficient, degree distribution plotting, average shortest path, diameter, triangles, shortest path matrices, connected components), Cosine Similarity, Random Walks on Graphs, Statistics (distributions, tests), Tf, Idf, Community Finding.
Universal Intelligence: A Definition of Machine Intelligence
Compressed Text Indexes:From Theory to Practice
Graph kernels between point clouds "We derive polynomial time dynamic programming recursions and present applications to recognition of handwritten digits and Chinese characters from few training examples."
2007-12-09 Efficient Modularity Optimization: Multi-Step Greedy Algorithm and Vertex Mover Refinement
2007-12-07 Dimensionality Reduction and Reconstruction using Mirroring Neural Networks and Object Recognition based on Reduced Dimension Characteristic Vector
Automatic Pattern Classification by Unsupervised Learning Using Dimensionality Reduction of Data with Mirroring Neural Networks
2007-12-03 Context Free Art, courtesy of Drake.
2007-12-03 Harmony.org.uk: A hacker with a physics doctorate analyses chord progressions via phrase structure grammars -- just my cup of tea! :)
2007-11-22 Improved Fully Dynamic Reachability Algorithm for Directed Graph
Fourvector algebra for 3D rotations and orientations, this non-commutative, non-associative algebra allegedly combines the best of quaternions and matrices. In particular, supposedly more numerically stable, so single precision rotations might be more practical.
2007-11-12 Coding facial Expressions with Gabor Wavelets, br> Automatic classification of Single Facial Images, Michael J Lyons, Julien Budynek, Shigeru Akamatsu 1999
2007-11-12 Empirical Evaluation of Four Tensor Decomposition Algorithms -- SVD works great, but only for problems with two modes: This paper explores extending the approach to (e.g.) three-mode problems.
A Polynomial Time Algorithm for Graph Isomorphism. Note that this is not about SUBgraph isomorphism, which known to be NP-hard. Paper also points to previously known algorithms which efficiently detect graph isomorphism in most practical cases.
NB: May have been refuted in A Family of Counter Examples to an Approach to Graph Isomorphism
2007-11-12 Data Structures for Mergeable Trees
2007-11-11 Optimal Solutions for Sparse Principal Component Analysis
2007-11-04 Faster Algorithms for Online Topological Ordering
2007-11-03 Stix Fonts -- major project releasing fonts for science and engineering.
2007-11-01 A Tutorial on Spectral Clustering
Clustering with Transitive Distance and K-Means Duality -- claims spectral-clustering like results but with O(N**2) cost instead of O(N**3) [Added 2007-11-26]
2007-10-31 Code Similarity on High Level Programs -- this looks like a good entrypoint into the recent literature on Fast Dynamic Time Warping. (FDTW)
A Query-by-Singing System Based on Dynamic Programming Jang + Gao 2000 5p -- this is the FDTW paper referenced by the above.
2007-10-29 Escalating The War On SPAM Through Practical POW Exchange
Neutrosophic Relational Data Model -- handling inconsistent AND incomplete information within the relation paradigm.
2007-10-27 The BinDCT: Fast Multiplierless Approximation of the DCTTrac D Tran 2000 7p
2007-10-24 Complex Queries in DHT-based Peer-to-Peer Networks: Describes briefly how to ab/use DHTs to do substring-match lookups, before diving into attempting to implement SQL on them.
Looking up data in P2P systems Balakrishnan et al: Looks like a decent entrypoint into the literature on current distributed hash table praxis in the peer-to-peer world.
2007-10-23 A quick search method for audio signals based on a piecewise linear representation of feature trajectories
Beyond Feedforward Models Trained by Backpropagation: a Practical Training Tool for a More Efficient Universal Approximator
2007-10-22 On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course Timetabling -- good overview of the state of graph coloring generally, references a 1994 paper on register assignment in particular.
2007-10-17 Recommendation model based on opinion diffusion.
2007-10-16 Geometric Analogue of Holographic Reduced Representation *blink*.
An efficient reduction of ranking to classification" -- "nlogn" is music to my ears, and being able to learn non-transitive preference sets is also cool.
2007-10-12 Lossless Representation of Graphs using Distributions -- this sounds esoteric, but gives a way to reduce graphs to sortable keys which can be used for searching and sorting, which is very practical indeed!
2007-10-11 Comparison and Combination of State-of-the-art Techniques for Handwritten Character Recognition: Topping the MNIST Benchmark
2007-10-10 An Extensible Theory of Indexed Types 12p 2008 Daniel R Licata + Robert Harper: Practical-looking approach to going beyond simple type systems to allow programmer-defined LF-based assertions and proofs.
2007-10-09 Designing a commutative replicated data type -- simple, practical shared text editing?
Mined from the above:
"Weak-consistency group communication and membership" Golding, 1992 UCSC thesis: "efficient implementation of stability that compacts acknowledgements for all past operations into a single vector clock or matrix clock."
Consensus on transaction commit Jim Gey and Leslie Lamport, Mar 2006: fault-tolerant distributed commit protocol.
The part-time parliament Leslie Lamport, May 1998: Distributed concensus (Paxos).
Generalized consensus and Paxos Leslie Lamport 2004: Follow-up to above
Flexible Update Propagation for Weakly Consistent Replication14p 1997: Epidemic communication ensuring causality.
2007-10-04 Colour image segmentation by the vector-valued Allen-Cahn phase-field model: a multigrid solution
A Fast Heuristic Algorithm Based on Verification and Elimination Methods for Maximum Clique Problem"
2007-10-01 High-Order Nonparametric Belief-Propagation for Fast Image Inpainting
2007-09-30 Practical Multiwriter Lock-Free Queues for "Hard Real-Time" Systems without CAS
2007-09-26 Classification of Images Using Support Vector Machines
2007-09-25 Self-organizing maps and symbolic data -- adapting SOM to non-vector input data.
Resampling methods for parameter-free and robust feature selection with mutual information
Functional Multi-Layer Perceptron: a Nonlinear Tool for Functional Data Analysis -- looks like a good entrypoint into the perceptron state of the art.
Algorithmic and topological aspects of semi-algebraic sets defined by quadratic polynomial new, efficient connected components algorithm &tc (thesis).
2007-09-23 Speeding up Simplification of Polygonal Curves using Nested Approximations
2007-09-17 On Universal Prediction and Bayesian Confirmation -- time I caught up on the state of the art, this looks like a good entrypoint.
2007-09-17 Bregman Voronoi Diagrams: Properties, Algorithms and Applications "...information-theoretic Voronoi diagrams...show how to compute them efficiently...of interest in the context of computational geometry and machine learning"
Using Data Compressors to Construct Rank Tests
Simple Algorithmic Principles of Discovery, Subjective Beauty, Selective Attention, Curiosity & Creativity
2007-09-15 Fully persistent lists with catenation, Driscoll, Sleator, Tarjan. See also Persistent Datastructures (MIT open course) and Making Data-Structures Persistent by James R. Driscoll, Neil Sarnak, Daniel D. Sleator, Robert E. Tarjan and VLists (Wikipedia), a 2002 innovation.
2007-09-14 Distribution of PageRank Mass Among Principal Components of the Web -- has a good description of the PageRank algorithm, for starters.
Toward Psycho-robots ... "Evolution of ideas is described by dynamical systems in metric mental space." ...
2007-09-10 An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
Using RDF to Model the Structure and Process of Systems
Belief-Propagation for Weighted b-Matchings on Arbitrary Graphs and its Relation to Linear Programs with Integer Solutions
Efficient Algorithms for Node Disjoint Subgraph Homeomorphism Determination
A Class of Parallel Tiled Linear Algebra Algorithms for Multicore Architectures
The rank-width of Directed Graphs
Constraint optimization and landscapes
2007-09-10 On Ultrametric Algorithmic Information <--ESSENTIAL READING! Haar wavelets, face recognition, much much more.
2007-06-29 Radix Sorting With No Extra Space
User driven applications -- new design paradigm
Unison as a Self-Stabilizing Wave Stream Algorithm in Asynchronous Anonymous Networks
Faster algorithms for finding lowest common ancestors in directed acyclic graphs, Artur Czumaj, Miroslaw Kowaluk, Andrzej Lingas 2005, 14p -- good recent Tarjan type stuff with good references.
A Locally Adaptive Data Compression Scheme Jon Louis Bentley, Daniel D Sleator, Robert E Tarjan, Victor K Wei, 1986 11p
NB: Should check out all of Google Scholar's hits on "Tarjan" one of these days...
2007-06-18 The XVision2 Project -- Yale vision library used by the Haskell FVision folx.
FVision: A Declarative Language for Visual Tracking (2001) -- Haskell for scripting, C++ library for crunching.
2007-06-16 Information-theoretic security without an honest majority
A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
Dualheap Selection Algorithm: Efficient, Inherently Parallel and Somewhat Mysterious
2007-06-08Two Simplified Algorithms for Maintaining Order in a List -- Dietz-Sleator order maintainance without the tears (complexity): short version. Also see the original 1988 Dietz-Sleator paper
2007-06-06 Inferring the Composition of a Trader Population in a Financial Market
2007-06-03 Open Source Business Models
2007-05-31 Truecluster Matching
Computing Integer Powers in Floating-Point Arithmetic
World-Set Decompositions: Expressiveness and Efficient Algorithms
On the Kolmogorov-Chaitin Complexity for short sequences
Google Similarity DistanceRudi Cilibrasi, Paul M B Vitanyi
2007-05-29 The Distance Geometry of Music
2007-05-22 Toward a Quantum Programming Language Peter Selinger 2002 56p -- his explanation of von Neuman density matrices is the first thing to give me any intuition about quantum entanglement and EPR.
2007-05-21 Computations Intelligence for Condition Monitoring
2007-05-19 Informatics Carnot Machine "entropy under certain conditions is information
2007-05-15 Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems
Improvements to the Psi-SSA representation to support predicated instruction sets.
2007-05-12 Principal Component Analysis and Automatic Relevance Determination in Damage Identification -- they report that PCA and ARD seem to be complementary techniques for their purposes, each working well when the other does not...
2007-05-12 Processing.org open source software, possible alternative to reading people tracker code?
2007-05-07 Succinct Indexable Dictionaries with Applications to Encoding $k$-ary Trees, Prefix Sums and Multisets "We give a data structure that supports [Rank and Select] operations in O(1) time ..."
2007-05-07 Iterative Rounding for the Closest String Problem
2007-05-07 Clustering Co-occurence of Maximal Frequent Patterns in Streams
2007-05-07 NodeTrix: Hybrid Representation for Analysing Social Networks
2007-05-05 Edges and Switches, Tunnels and Bridges -- drawing nonplanar graphs readably.
Multiresolution Approximation of Polygonal Curves in Linear Complexity
2007-05-02 The Parameter-Less Self-Organizing Map -- latest neural network tweak.
2007-04-29 McRT-STM: A High Performance Software Transactional Memory System for a Multi-Core Runtime
Bratin Saha, Ali-Reza Adl-Tubatabai, Richard L Hudson, Chi Cao Minh, (all Intel) Benjamin Hertzberg (Stanford)
2006, 11p (PPoPP'06)
Compiler and Runtime Support for Efficient Software Transactional MemoryAli-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman (all Intel)
2006, 12p (PLDI'06)
2007-04-19 Bounded Pushdown dimension vs Lempel Ziv information density: "we construct a sequence that LZ fails to compress signicantly, but that is compressed by at least a factor 2 by a BPD compressor."
2007-04-15 Nyquist, A Sound Synthesis and Composition Language -- yet another cool Berkeley-licensed software package out of CMU, this one based on XLISP driving C, much like Skandha5. I'd love to translate this into Mythryl...
2007-04-12 Bandit Algorithms for Tree Search: Pierre-Arnaud Coquelin (CMAP), Rémi Munos (INRIA Futurs) with applications to Go :)
2007-04-04"Supervised Learning of Semantic Classes for Image Annotation and Retrieval", G Carneiro, AB Chan, PJ Moreno, N Vasconcelos. (Appears not to be available free online as yet.) 2007-04-02 On-line Viterbi Algorithm and Its Relationship to Random Walks -- cuts space from O(m*n) to \Theta(mlogn), allowing use on DNA & continuous data.
2007-03-30 Computer Science and Game Theory: A Brief Survey
2007-03-28 Structure induction by lossless graph compression
2007-03-26 Self-adaptive Gossip Policies for Distributed Population-based Algorithms
2007-03-24 Clustering and Sharing Incentives in BitTorrent Systems
2007-03-21 Copula Component Analysis, a proposed refinement of Independent Component Analysis.
2007-03-19 Cultural Route to the emergence of linguistic categories
2007-02-27 An Optimal Linear Time Algorithm for Quasi-Monotonic Segmentation
Linking Microscopic and Macroscopic Models for Evolution: Markov Chain Network Training and Conservation Law Approximations
Succinct Sampling on Streams
A Landscape Analysis of Constraint Satisfaction Problems
2007-02-24 Exploiting social networks dynamics for P2P resource organisation
Efficient Searching and Retrieval of Documents in PROSA
2007-02-18 What Every Computer Scientist Should Know About Floating Point Arithmetic (1991) reccommended by Xavier Leroy
2007-02-15 Social Behaviours Applied to P2P Systems: An efficient Algorithm for Resource Organisation "...smoothly evolves to a small--world graph, where queries for resources are efficiently and effectively routed."
A kernel method for canonical correlation analysis Trying for the best of classical linear and modern SVM approaches.
2007-01-30 Ontology from Local Hierarchical Structure in Text
2007-01-24 Principal Type Schemes for Modular ProgramDerek Dreyer + Matthias Blume 2007 16p
2007-01-23 Universal Algorithmic Intelligence: A mathematical top->down approach
A complete set of rotationally and translationally invariant features for images
Complex networks and human language
Time and the Prisoner's Dilemma
2007-01-16 Statistical Cryptography using a Fisher-Schrödinger Model
2007-01-10 Cooperative Optimization for Energy Minimization: A Case Study of Stereo Matching
2007-01-09 Recursion Schemes as Abstract Interfaces Daniel C Wang, Tom Murphy circa 2003
2007-01-08 Compression-based methods for nonparametric density estimation, on-line prediction, regression and classification for time series
2007-01-08 Bootstrap for neural model selection
2006-12-30 A type and effect system for atomicity Cormac Flanagan + Shaz Qadeer sigplan 2003. ConcurrentJava. This looks like a practical alternative to software transactional memory which moves the work from runtime to compiletime.
Type and Effect Systems Flemming Nielson + Hanne Riis Nielson 1999
2006-12-27 Stratification in P2P Networks - Application to BitTorrent
2006-12-24 The Missing Link -- Dynamic Components for ML Andreas Rossberg 2006: This is what Alice does. Sounds good!
2006-12-19 Failure Resilient Distributed Commit for Web Services Atomic Transactions
An asynchronous, decentralised commitment protocol for semantic optimistic replication
Goedel Machines: Self-Referential Universal Problem Solvers Making Provably Optimal Self-Improvements
2006-12-15 OO Programming styles in ML Bernard Berthomieu LAAS Report #2000111, March 2000 (148p). (Found on the excellent MLton references page
An Extension of ML with First-Class Abstract Types This is the paper on adding abstract types to ML which is referenced by the above paper. NB: No syntax changes required(!)
Dynamics in ML Xavier Leroy &al also cited by above OOP paper.
2006-12-11 OLPC Human Interface Guidelines -- "Makes MacOS look like what it is -- boring and unoriginal" according to the slashdot reviewer.
2006-12-04 About the Lifespan of Peer to Peer Networks -- another Rudi Calibrasi paper!
2006-12-04 Michaels Tcl/Tk Extensions (interesting because stuff that plugs into Tcl/Tk will work nicely with Mythryl's tk7).
TkOGL, OpenGL-in-Tk solution favored by Michael above.
tclogl claims to be an improvement on TkOGL
tcl3d brings together the above plus many similar extensions.
RELAX NJ XML specs with a fraction of the verbosity. ISO standard.
2006-11-29The INRIA Reactive Programming page has a bunch of good stuff. In particular, the SugarCubes project described here was the basis for the SML/NJ reactive programming library (for which Tim Bourke has some comments and patches). (Note that SugarCubes has been superceded by the apparently much more efficient Junior project -- if I start using the SML/NJ reactive library stuff, I should look at updating it to Junior's algorithm.) The award-winning Icobj graphic-programming stuff also looks worth study.
2006-11-28 Scale-Free Overlay Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks
Genetic Programming for Kernel-based Learning with Co-evolving Subsets Selection
Neural Computation with Rings of Quasiperiodic Oscillators
Why the Maxwellian Distribution is the Attractive Fixed Point of the Boltzmann Equation
BOSAM: A topology visualisation tool for large-scale complex networks
2006-11-23 Channel Coding: The Road to Channel Capacity
Very Sparse Stable Random Projections, Estimators and Tail Bounds for Stable Random Projections
A higher-order active contour model of a `gas of circles' and its application to tree crown extraction
Discovering Network Topology in the Presence of Byzantine Faults
Heap Reference Analysis Using Access Graphs
2006-11-14 Linear-Time Pointer-Machine Algorithms for Path-Evaluation Problems on Trees and Graphs "Our algorithms compute nearest common ancestors off-line, verify and construct minimum spanning trees, do interval analysis on a flowgraph, find the dominators of a flowgraph, and build the component tree of a weighted tree."
Multivariate Integral Perturbation Techniques - I (Theory)Brief comments on potential applications in finance are given, including options, models for credit risk and derivatives, and correlation sensitivities.
Advances in Self Organising Maps ... "the most popular artificial neural algorithm for use in unsupervised learning..."
On the Solution-Space Geometry of Random Constraint Satisfaction Problems "our results establish rigorously one of the two main hypotheses underlying Survey Propagation, a heuristic introduced by physicists in recent years that appears to perform extraordinarily well on random constraint satisfaction problems.
How to Authenticate and Encrypt
2006-11-11 Adaptive Software Transactional Memory VJ Marathe, WN Scherer III, ML Scott 2005 15p
Software Transactional Memory for Dynamic-Sized Data Structures Hirlihy, Moir, Luchangco, Scherer 2003 10p This implements DSTM described in ASTM paper above.
Concurrent Programming Without Locks K Fraser, T Harris 2004 48p This implements the OSTM described in ASTM paper above. Source code is here
Composable memory transactions Tim Harris, Simon Marlow, SIMON PEYTON JONES, and Maurice Herlihy. ACM Conference on Principles and Practice of Parallel Programming 2005 (PPoPP'05). -- the Haskell transaction system implementation.
2006-11-09 Lambda Types on the Lambda Calculus with Abbreviations this looks like a beautiful piece of work which simplifies typed lambda calculus by increasing the symmetry between term- and type-level functions and expressions.
2006-11-09 On Conditional Branches in Optimal Decision Trees -- compiling switch statements taking into account processors with predictive branching &tc.
2006-11-08 Efficient, Dynamic Indexing and Aggregation of Moving Objects
Nonextensive Pythagoras' Theorem
2006-11-03Jerry pointed out: Web 3.0 and the Widgetized Web -- webcrawling without ever leaving Google thanks to the various optional widgets one can add to a start page there. 2006-11-02 Efficient constraint propagation engines
Hedgin predictions in machine learning
2006-10-31 A Review of Bayesian Restoration of Digital Images Employing Markov Chain Monte Carlo
2006-10-30 A Taxonomy of Peer-to-Peer Based Complex Queries: a Grid perspective
ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics
Information filtering via Iterative Refinement
Low-complexity modular policies: learning to play Pac-Man and a new framework beyond MDPs
Nonlinear Estimators and Tail Bounds for Dimension Reduction in $l_1$ Using Cauchy Random Projections
2006-10-25 Metric learning pairwise kernel for graph inference
2006-10-20 Inference in Binary Pair-wise Markov Random Fields through Self-Avoiding Walks
2006-10-16 Vector field visualization with streamlines
An Application of the Mobile Transient Internet Architecture to IP Mobility and Inter-Operability
A Mobile Transient Internet Architecture
2006-10-11 sml_tk: Functional Programming for Graphical User Interfaces
2006-10-11 CR-precis: A deterministic summary structure for update data streams
2006-10-11 Towards a Bayesian framework for option pricing
2006-10-11 Streaming Max-Min Filter Using No More than 3 Comparisons per Element
2006-10-10(from Stephen Weeks:) Adding Threads to Standard ML http://mlton.org/References#CooperMorrisett90
A Distributed Concurrent Implementation of Standard ML http://mlton.org/References#Matthews91
Procs and locks: a portable multiprocessing platform for Standard ML of New Jersey.http://mlton.org/References#MorrisettTolmach93
2006-10-09 A kernel for time series based on global alignments
2006-10-04 ABCD: Eliminating Array-Bounds Checks on Demand Bodik, Gupta Sarkar
2006-10-02 Conditional Expressions for Blind Deconvolution: Multi-point form "The CE can detect multiple blur all at once. We illustrate the multiple blur-detection by using a test image.
Simple method to eliminate blur based on Lane and Bates algorithm "A simple search method for finding a blur convolved in a given image is presented. The method can be easily extended to a large blur. The method has been experimentally tested with a model blurred image."
2006-09-29 Tina's Randum Number Generator Library, apparently very well-analysed, well-founded, distributable LFSR based pseudo-random number generator library. (http://arxiv.org/abs/cond-mat/0609584)
2006-09-28 Efficient Open World Reasoning for Planning
2006-09-25 Support Vector Machine Tutorial by UMD's Christopher J.C. Burges.
Motion Primitives for Robotic Flight Control
2006-09-21 Approximating Rate-Distortion Graphs of Individual Data: Experiments in Lossy Compressino and Denoising
2006-09-06 Anonymous Authentication Protocol in Mobile Ad hoc Networks including a distributed reputation algorithm.
2006-09-01 The Tree Inclusion Problem: In Linear Space and Faster
2006-08-30 TreeP: A Tree-Based P2P Network Architecture
2006-08-01 An Introduction to the DSm Theory for the Combination of Paradoxical, Uncertain, and Imprecise Sources of Information
2006-07-31 Hidden Markov Process: ...
Escape Analysis by Abstract Interpretation
Topological Grammers for Data Approximation
Leading strategies in competitive online prediction online regression -- USEFUL FOR STOCK TRADING?
2006-07-28 Expressing Implicit Semantic Relations without supervision
Security Policies as Membranes in Systems for Global Computing
2006-07-17 Cepstral speach-to-text is proprietary, but might be a good indication of the state of the art, and benchmark comparison for open source equivalents.
2006-07-09 Punch "LSA" (Latent Semantic Analysis) into arXiv.org/cs.
Look up Princeton musician Dmitri Tymoczko's 2006-Jul-07 music theory article in Science -- first one they have ever published.
2006-06-05 Getting started with Wacom tablets in Linux
2006-06-01 A parent-centered radial http://www.cs.cornell.edu/Info/Projects/NuPrl/cs611/fall94notes/cn14/section3_4.html layout algorithm for interactive graph visualization and animation
General Compact Labeling Schemes for Dynamic Trees with applications to efficient distributed computation.
2006-05-29 Classification of Ordinal Data with applications to support vector machines and neural networks.
2006-05-23 A direct formulation for sparse PCA using semidefinite programming -- sounds somewhat interesting in itself, but mainly, looks like a good pointer into the literature on principal component analysis.
Distributed Selfish Load Balancing -- sounds potentially very useful!
2006-05-14 What's the secret sauce in Ruby on Rails: Finally, a thoughtful, knowledgable, useful, balanced third-party review of what's right about Ruby on Rails. E.g., relative to similar frameworks, it sacrifices flexibility for conciseness, substituting conventions for vast configuration files. I like the sound of that. :)
2006-05-11 Strong Atomicity for Java Without Virtual-Machine Support 2006 from the UW WASP project 2006. Efficient compile-time optimization of multiprocessed transactions -- LOOKS WORTH CAREFUL STUDY.
Continuations, proofs and tests -- types for CPS (continuation-passing-style) code translation.
2006-05-09 A Formal Measure of Machine Intelligence
2006-05-04 On the Foundations of Universal Sequence Prediction"
2006-04-23 An O(n**2.75) algorithm for online topological ordering. Friedrich 2006-Apr-20 Good for interactive pointer loop detection and such. Also has a good review of other topological sort algorithms.
2006-04-16 Program Verification for Optimized Byte Copy Edoardo S Biagioni 1994 19p CMU-CS-94-172 (The Hello OS prof.)
Sequence Types for Functional Languages Edoardo S Biagioni 27p 1995 CMU-CS-95-180. (The Hello OS prof)
Biologically Inspired Hierarchical Model for Feature Extraction and LocalizationLiang Wu, 4p, 2006 Apr
2006-04-10 An O(n^3)-Time Algorithm for Tree Edit Distance
Music Theory .net
The FLux OSKit: A Substrate for Kernel and Language Research.
Might be an architecture template to base an ML OS upon? Not in ML, but they implement SML on the bare metal. :) 2006-03-31 A Portable, Unobtrusive Garbage Collection for Multiprocessor Systems Damien Doligez POPL 1994 14p
(I believe this is the basis of the Ocaml garbage collector.)
2006-03-24 Topological Grammars for Data Approximation Gorban Sumner Zinovyev
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML Atsushi Ohori + Nobuaki Yoshida 1999 12p
(The SML# folx.) Claims to relax the value restriction and eliminate the exponential-time typechecking cases while generalizing the type system -- sounds cool!
2006-03-21 Peer-to-peer communication across network translators "This paper documents and analyzes one of the simplest but most robust and practical NAT traversal techniques, commonly known as "hole punching." Essential reading! See also:
The hole trick: How Skype &Co get around firewalls
Packrat Parsing: "Simple, powerful, lazy, linear time."
Concensus Propagation -- basic distributed computing.
Yet another efficient unification algorithm More essential reading.
2006-03-05 Better networking with SCTP. Supposedly a superior replacement for TCP, already in the Linux 2.6 kernel.
Solution of the crystallographic phase problem by iterated projections V. Elser 2003 -- presents the general "difference map" algorithm which also solves Sudoku puzzles and such according to the ScienceDaily writeup
2006-02-21 Implementing Type Classes Peterson + Jones 1993 10p
"This paper is meant to serve as a practical guid for the implementation of type classes."
2006-02-15 How to Beat the Adaptive Multi-Armed Bandit Dani, Hayes 2006-02-14
Emergence Explained Abbot 2006-02-12
Multilevel Threshholding for Image Segmentation through a Fast Statistical Recursive Algorithm Arora Acharya Verma Panigrahi 2006-02-12
2006-02-12 The Fusion Machine Gardner Laneve Wischik 2002-03-27 18p "There have been only two distributed [pi-calculus type] implementations": Facile and JoCaml.
The Fusion Calsulus: Expressiveness and Symmetry in Mobile Processes Parrow + Victor Dec 5 1997 UUppsala 28p -- this appears to be the original fusion calculus paper.
A Calculus of Mobile Agents Fornet Gonthier Levy Maranget Remy (INRIA) 1996 16p The original "distributed join calculus" paper.
The reflexive CHAM and the join-calculus Fournet Gonthier (INRIA) 1995-Oct 32p -- The original "join calculus" paper.
The Chemical Abstract Machine Berry + Boudol (INRIA) 1992 13p
Pict: A Programming Language Based on the Pi-Calculus Pierce + Turner (Indiana U) 1997-03-19 26p
No Assembly Required: Compiling Standard ML to C Tarditi + Lee & Acharya (CMU) 1992 17p -- in SML/NJ with 50% speed penalty: "sml2c".
Dependent types with subtyping and late-bound overloading Castagna + Chen 1998-06-23 76p -- looks like a good overview/tutorial too
2006-02-07 Explaining Constraint Programming
Information Theory and Thermodynamics
2006-01-31 Understanding and Evolving the ML Module System Derek Dreyer (thesis, Harper, Crary, Lee, MacQueen) 2005 May 262p
TIL: A type-directed optimizing compiler for ML, Tarditi, Morriset, Cheng, Stone, Harper, Lee 1996, 25p
2006-01-30 A Separate Compilation Extension to Standard ML 2006 58p
2006-01-28 Sound and Complete Elimination of Singleton Kinds Karl Crary 2000 25p
"a translation from a language with singleton kinds to one without ... useful for type-preserving compilers... by normalizing type equivalnet derivations using Stone and Harper's type equivalent decision procedure..."
Perl Golf book -- be nice to analyse what techniques are most often used, with possible application to ML.
2006-01-26 Nonequilibrium Thermodynaimcs of Wealth Condensation
2006-01-25 Artificial Sequences and Complexity Measures
Extracting in an automatic and agnostic way, information from a generic string of characters. ... use data compression techniques to define a measure of remoteness and distances between pairs of sequences... applies to any kind of corporate independently of the type of coding behind them ... results for language recognition, authoriship attribution ...
Fast Lexically Constrained Virterbi Algorithm (FLCVA): Simultaneous Optimization of Speed and Memory"
Sharing intermediate results between separate Hidden Markov Models HMM. Simultaneous computation of the a posteriori probabilities of all the words in the lexicon.
2006-01-24 Topology of covert conflict Nagarja 2006 13p Attacking and defending peer-to-peer networks
Formal Verification of Dead Code Elimination in Isabelle/HOL Blech Gesellensetter Glesner 2005 10p
Includes the result that dead code elimination, normally cubic, is only quadradic on code in SSA form.
Dependent types ensure partial correctness of theorem provers Appel + Felty 2004 17p
Automation for Interactive Proof: First PrototypeMeng + Quigley, Paulson UCambridge 2005 26p. (NB: last author is Isabelle's creator.)
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL"Blech + Glesner + Leitner Mulling, U Karlsruhe 2005 18p (use Konqueror not Mozilla)
2006-01-22 Proofs, Programs and Executable Specifications in Higher Order Logic thesis of Stefan Berghofer 2003 143p -- based on Isabelle and SML/NJ. (Try xpfd if gv crashes on the .pdf)
Isabelle/HOL tutorial -- Nipkow + Paulson + Wenzel, 2005 235p(!)
Executing Verified Compiler Specification Okuma + Minamide 17p 2003
Found above after poking around a bit for the state of the art in compiling natural semantics definitions. Uses Isabelle/HOL to autogenerate SML/NJ code. Scheme-like source language compiled to Java bytecodes -- clearly a proof-of-principle level of achievement.
2006-01-17 Singleton Kinds and Singleton Types Christopher Stone 2000 174p (Thesis)
2005-12-31 Wobbly types: type inference for generalized algebraic data types Peyton Jones + Washburn + Weirich 2004 POPL 15p: "Generalized algebraic data types (GADTs), sometimes know as guarded recursive datatypes" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and ML..."
Compare to: Programming with Static Invariants in OmegaLinger + Sheard 2004 18p, which (e.g.) shows that a binomial heap implementation can be proved largely correct by the SML/Haskell typechecker using such techniques.
(Also among Sheard's recent papers is Languages of the Future OOPSLA 2004 14p -- sounds like it obsoletes MetaML.)
First-Class Phantom Types, Cheney and Hinze, 32p circa 2004. They credit the phantom types idea to Domain Specific Embedded CompilersLeijen and Meijer 1999 14p.
2005-12-30 A Type-Theoretic Interpretation of Standard ML, Robert Harper and Christopher Stone, 1999 29p.
and its companion tech report (1997, 78 pages) which appears to obsolete the previous year's A Type-Theoretic Account of Standard ML 1996 (Version 2) Harper + Chone Sep 10, 1996 82p. In updated form, this looks poised to become the standard semantics for successor ML, "sML".
Also worth checking out are recent papers (including 2002 thesis) by Stone and Harper papers such as (on callcc) Typing First-Class Continuations in ML (Harper Duba MacQueen 1993 15p)
(not to mention Andrew W Appel) such as Implementing the TILT internal language 2000 and A type system for higher-order modules Dreyer+Crary+Harper 2004 65p.
Bidirectional Type Checking 2005 9p looks at first blush at least to be a breakthrough in typed intermediate languages. Peyton Jones comments "Bidirectional type inference is one powerful tool" in his wobbly types paper.
Also worth a peek: Twelf User's Guide V1.4 2002 98p
"The Wizard of TILT" Tom Murphy 2002 22p CMU-CS-02-120 senior thesis w Harper + Crary mentions Wadler's "views" for pattern-matching ADTs. Pattern Matching and Abstract Data Types Tom Murphy VII 2002 36p slideset gives more detail, gives Views: A Way For Pattern Matching To Cohabit With Data Abstraction Wadler 1986 18p (which has a nice overview of "join lists", which support linear time appends) as the reference, then gives as an improvement Active Patterns ( A New Look at Pattern Matching in Abstract Data Types Pedro, Pena, Nunez 1996 12p and a without-language-extensions (but with-performance-hit) approach "Programming with Recursion Schemes" Wang + Murphy 2002.
Existential types are introduced in Abstract Types Have Existential Type Mitchell + Plotkin 1988 33p

Linear Types can change the world!Philip Wadler 1990 21p
A Prettier Printer Philip Wadler 22p, 1997 revised 1998 an improvement on Hugh's prettyprinter. Try Konqueror if gv won't render it.
Wadler's homepage

2005-12-14 IPP2P, filter used to kill/restrict "peer-to-peer" traffic. Should study it before designing any new peer-to-peer protocol, to make sure we can evade ipp2p abuse.
2005-10-30 Compiling with Proofs, George Ciprian Necula under Robert Harper &tc 1998 CMU Thesis 277p
2005-10-24 SECURING DEBIAN MANUAL
2005-10-21 Solipsis, a shared virtual world in python posted by JCLawrence to mud-dev, download page here. Built on xw-python, twisted, and the python imaging library PIL.
WordseyeOn Tuesday, Bob Coyne, one of the developers of Symbolics' S-Paint system, will be speaking at the next meeting of Lisp NYC about his new project, WordsEye [via Jim Thompson].

WordsEye allows untrained users to spontaneously and interactively create 3D scenes by simply describing them. By using natural language, ordinary users can quickly create 3D scenes without having to learn special software, acquire artistic skills, or even touch a desktop window-oriented interface. Creating graphics with natural language gives a new sense of power to words and suggests applications in education and creative play as well as the creation of visual art itself. WordsEye relies on a large database of 3D models and images to depict objects and surface textures. WordsEye is written in Common Lisp and runs on Linux

(Posted to mud-dev by JCLawrence)
2005-10-17J Furuse'sG'Caml stuff, in particularGeneric polymorphism in ML. If the INRIA parentage isn't recommendation enough, Stephen Weeks also sounded very impressed on the MLton list.
2005-10-04 NILFS, a linux log-structured filesystem released by NTT, supporting access to past states of the filesystem.
2005-10-03 hOp/House -- Haskell User's Operating System and Environment.
Design and Implementation of an Operating System in Standard ML 1999-09 Fu (UHawaii MS Thesis) 46p describes the Hello operating system kernel. A shorter version is here and the source code here.
2005-09-01 Shimon Edelman, David Horn, Eytan Ruppin, Zach Solan, "Unsupervised Learning of Natural Languages", Proceedings of the National Academy of Sciences Vol 102 No 33, introducing their ADIOS (Automatic Distillation of Structure) method.
Zach Solan's thesis and related work may be found here). This is the "crazy israeli" paper -- my favorite paper of the last decade.
2005-08-31 Jon Smirl's 2005-08-31 The State of Linux graphics -- an extremely good summary with lots of context, links to further reading, and recommendations.
2005-06-22 Tim Sheard's stuff on Omega, equality qualified types and such -- some are generalizations of his MetaML.
2005-06-14"Scout: A Hardware-Accellerated System for Quantitatively Driven Visualization and Analysis", McCormick, Inman, Ahrens, Hansen & Roth, 2004 IEEE" -- using GPUs to attain 12X speedup over CPU.
2005-05-10 Dual Photography -- using Helmholtz duality to generate images of a scene from the light source's point of view (a video projector)...!
2005-04-20 Unix System Programming with Standard ML Including a webserver!! Version 0.1 Mar 2002 -- may be mostly vaporware, not sure.
2005-04-17 Standard ML# of Kansai: SML# extends SML with polymorphic field selection and polymorphic non-destructive field update operation. Furthermore, polymorphic field accesses are always complied into efficient index operations. (For a formal description of SML#, see my paper "A Compilation Method for ML-style Polymorphic Record Calculi", POPL 1992 (its dvi file can be found in this directory.) I hope that the extensions embodied in SML# (or something like them) be integrated in the standard of future Standard ML.
SYNTAX OF SML#. It is the same as Standard ML except:

1. Flexible record patters (and the derived form of #label) are now first-class patterns, and can therefore used without type constraints, as explained above.
2. The expression constructor of the form

           #> exp => {lab1=exp1,---,labn=expn}
   

   is added. (The sequence #> is now a reserved word and cannot be used as an identifier.)
3. A type variable can be constrained with a record kind by the syntax:

           'a # {label_1:type_1,---,label_n:type_n,....}
   

   The trailing "..." is optional.

2005-04-12 Fusions: "Bjorn Victor and Joachim Parrow invented the fusion calculus in 1996-1998. Their inspiration was two-fold: to simplify and make symmetric the pi calculus, and to model concurrent constraint programming. Meanwhile, independently, Yuxi Fu invented the chi calculus, essentially the same as the fusion calculus." Other keywords mentioned: equators and solos calculus.
Selected Bibliography on Mobile Processes -- excellent review and reading list updated through Feb 1998. The sections are:

1. General Ideas of Mobility
2. Basics of Mobile Processes
3. Encoding of Various Computational Structures
4. Asynchronous Pi-calculus
5. Expressiveness in pi-calculi
6. Types for Mobile Processes
7. Programming Languages based on Mobile Processes
8. Other Topics

2005-03-13 Distinctive Image Features from Scale Invariant Keypoints -- realtime feature-matching, used in his SIFT Keypoint Detector and for Object recognition and generating panoramas and 3D scene reconstruction from video
2005-03-02 Debian Cluster Components -- we'll be clustering sooner or later, plus their selection of (e.g.) Shorewall is a strong third-party recommendation.
2005-02-23 Kevin Knight's home page -- mainly I want to read up on the machine translation by automated learning from matched text corpi stuff.
2005-02-19: Protein Interaction Databases
2005-02-16: GNU TeXmacs, which is available as a standard Debian package.
2005-02-15: Paje "a graphical tool that displays traces produced during the execution of multithreaded programs."
2005-02-05: Glitz -- 2D widget type stuff built on OpenGL for hardware accelleration!
2005-01-29: Automatic Meaning Discovery Using Google -- another Rudi Cilibrasi gem!
2005-01-22: Open 3D Visualization Toolkit from the Science Museum of Minnesota.
2005-01-21: Ruby on Rails, some sort of website development package.
2004-12-26: "JAVELIN: A Flexible, Planner-Based Architecture for Question Answering" -- CMU goes beyond LCC and Piquant.
"IBM's PIQUANT II in TREC2004"
"Retrieving Definitions from Scientific Text in the Salmon Fish Domain by Lexical Pattern Matching" BS thesis at ULimerick Jan 2004 -- NB that Chapter 2 is a valuable literature review: Chapter 1 2, 3, 4, 5, 6, Appendices
2004-12-01: mGTK: An SML binding of Gtk+, Larsen & Niss, DIKU, 6p freenix2004 (LGPL source on sourceforge.)
SML-Gtk: Gtk+ bindings for SML/NJ 2003 Allen Leung (he says he also has bindings for OpenGL, ncurses and other, but the links are dead :(
2004-11-10: Nonparametric inference for ergodic, stationary time series, Morvai, Yakowitz and Gyorfi Ann Statist 1996 9p
2004-11-02: ProofPower, a GPL "suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation."
2004-10-27: Tiny C Compiler -- "C Scripting Everywhere Small! Fast! Unlimited! Safe!"
2004-10-16: Inkulator9000: Comic-style "drawings" from 3D meshes. C++/Windows, but GPL open source on SourceForge.
2004-10-12: Croquet, a Squeak+OpenGL-based project oriented towards shared telepresence and collaboration of large numbers of people -- currently mostly vaporware.
WorldForge an (overly?) ambitious open-source MMPORG game engine effort. Says no playable games generated yet as of 2004-10. Looks worth checking back from time to time.
3D Outside The Box shareware app, I mostly want to check out the excellent linklist at some point.
WizzyTeX "is an emacs minor mode for incrementally viewing LaTeX documents that you are editing."
advi: "Active-DVI is a presenter and previewer for texts or slides written in LaTeX, hence the presentation tool of choice for the discriminating hacker."
GODIVA tool for generating GODI (ocaml) packages.
Gnome Human Interface Guidelines 2.0
Correctness proof for a full copying gc(!)
Chris Osaki's practical examples of 3rd, 4th, 5th and 6th-order functions. Also see here. Stats on use of higher-order functions arehere

Graphviz and particularly its dot tool recommended on caml list for directed graph presentation. POMAP is an example of using it from Ocaml. Tulip was also mentioned. And later AGD ("built on top of LEDA").

Tom Lord's arch. I've always detested CVS. Tom sounds like he has his head screwed on straight. Worth investigating. Ditto David Roundy's "Theory of Patches"-based Haskell-implemented darcs

NASA's World Wind planetary viewer and 3D display engine: "World Wind allows any user to zoom from satellite altitude into any place on Earth, leveraging high resolution LandSat imagery and SRTM elevation data to experience Earth in visually rich 3D, just as if they were really there."
Nebula2I 3D C++ game engine with MIT-style license.
Irrlicht 3D C++ game engine with BSD-style license -- supposedly impressive and with big user community.
GlSurf: ocaml app displaying surfaces from implicit specs via OpenGL.
sip-typed-applets.ps.gz -- sandboxing ocaml.
PPMd 64-bit bugs
distcc: a fast, free distributed C/C++ compiler
Variational Shape Approximation -- fast, mathematically sound 3D mesh simplification.
Independent Component Analysis of EEG data in realtime
GPUs as CPUs at UW CSci
Regular Expressions in Haskell
RMS, the (Haskell) Robust Mail Store
Metasploit
Free Culture: How Big Media Uses Technology and the law to lock down culture and control creativity by Larry Lessig
Sphinx, CMU open-source high-quality speech recognition
Fault Tolerant Shell (2004-03-15)
PiceSpy Social Network Bot: Inferring and Visualizing Social Networks on IRC
Mnemonics -- figure alphabet
How to Memorize&tc
Caml
PARC's Obje Software Architecture
Anti-Spam Solutions and Security, Part 1 and Part 2
The Spam-Filtering Accuracy Plateau at 99.9% Accuracy and How to Get Past It Dobly spam filter.
Deep Inside KDE 3.2
subversion
Mark Newman's slick percolation algorithm for analysing social networks.
Converting an existing development system to the 2.6 kernel
Migrating to Linux kernel 2.6 -- Part 2: Migrating device drivers to Linux kernel 2.6
CD-Writing HOWTO
NILO, the GNU network boot loader.
NdisWrapper to run Windows Centrino drivers under Linux -- or pay $20 for the Linuxant solution
5,000,000 hi-res WW II RAF aerial photos
Genius and Autism
One Day Glass
md5 disk tuning
Office Display Cabinet
GNU/Linux AMD64 HOWTO
Debian AMD64 page
AMD64 fixes for 2.6.0
State of linux on AMD64
BrookGPU
Econ stats
bacterial evolution
Verse Virtual Collaboration Server
Nil
Loqairou the 3D Sketchpad
Connector
"Good-Turing estimator and Alon Orlitsky's improvements
Exercises
Hacker's Diet
low back exercises and Taking Care of Your Back, from the American Phystical Therapy Association
Real-Time Soft Shadows Project
MUTE
WINW and BadBlue
Mayo clinic on exercise
Open Source Desktop Technology Road Map
Intel's open-sourcePNL, "provides, for the first time in science, a formal way of describing causality"

Note: This list is primarily a personal mechanism to find things that interest me quickly, such as:
Search: Alta Vista/ Raging, Gettyimages, Goo/ img, T10, NatGeo images, DejaNews, FTP Search, CiteSeer, Which RPM, FAQs, PGP Keys, Austin/ Seattle weather,
Prices: PRICEWATCH, Froogle, PriceGrabber, shopping.com, shopper.com, mySimon, DealInfo,
Reputations: bizrate, reseller ratings, ePinions
Lookup: EB, OneLook, Dicts (+Chinese), NZ Library,
PR: Goo, BBC, CNN, Reuters, AsiaTimes, NewsTrust, Spiegel, CSMon, IHT, AmChron, Economist, WaInd, TStar, NBER, HenryCKLiu, Max Fraad Wolff, SwissInfo, Briefing, SCSentinel, SJMercury, Newsblaster, Yahoo headlines/ /news/ biz/ airfares, pda,
Gossip: Slashdot, Register, Inquirer, Hacker News, arXiv: cs, physics, math, qbio, blog, Moore, baez, DebianAdmin, EET, TRN, Librenix, ArsT/ Linux, NewsForge, TechReport, OSOp, Telepolis, C, Cryptome, infoshop, DevShed, DDJ, HitB, SourceForge, Risks,
Giggles: Doonesbury, User Friendly, Dilbert, SinFest, Joy of Tech
Science: SciDaily, PLoS/CompBio, Express, Nature, PhysOrg, SciBriefs, NewInSci, NewScientist, Mixed States, UTexasPhysSem, +CSciSem, PLoS Biology, PhysWeb, AIP, UW CSE
Overseas: Copenhagen Post, LeMonde, Spiegel, repubblica, laStampa, ilGiorno, elMund
Debian: Weekly, debian.org/ diagram
Linux: Devices/ KernelTrap/ Watch/ Linux docs and HOW-TOs, Ency, Programmingl, Security/ Weekly/ Daily/ distros/ doc/ guru/ Gram/ kernel/ traffic, source, Today/ Org/ Planet/ Power/ HQ/ Gazette/ World,
Perl: Perl/ guts/ timeline/ PDL/ mod/ news/ archives/ modules/ doc/ CPAN/ Tk/ Tix/ Gtk perl tut ref, kibitz,
Language: Ruby, Tcl /cookbook Togl, Python /Qt,
Graphics: RenderMan Spec, Repository, FAQ, GNU, SIG2000. RenderMania, Raytracing News,
Apps: FreshMeat, AppWatch, Gimp/ plugins/ .com, Grokking, My. Gnus, procmail, NetPBM, Xanim Xemacs, /Gtk, lisp, Qt, Gnome, /intro Kdevelop, KLPP, Esd, VNC, Compression FAQ,
Indy, Mon, AP, aJ ViWes, asia, ABC, CBS, bush, TechWeb
ET(UK) Nando, OutThere, Prosa, Skeldale, TheNation, Zmag(w Chomsky), MoscowT, counterpunch, OpenSecrets + FundRace
NEC, Bell Labs, Lucent, LBO, FedTimes, Detroit, Star, NewsWorks, Scripting, ISF
coSrc, bazaar, HelpWanted, RJava, JWorld, INews, NavalArch, News.com, totalNews, SeattleTimes, BizWeek,
wirednews, CRN/R, CNet, ZiffD, PCWeek, InfoWorld,
Asahi, JT, Nikkei, Kyodo, Hong Kong, China, Taiwan, Korea, Bangkok, Singapore, Philippines, Malaysia, Melbourne, Oz, Russia Today, Central Europe, St Petersburg, Canoe, Globe+Mail, Africa, Hindu, Iraq, ArabView, JPost, Ha'aretz, Law, Palest., Hezbollah, PLO, IINS, Palestine, Jordan, PSQ,
EurekAlert, TR, SciAm, SciGuide, SciCentral, Cornell/Sci, Nature, amateur, Science, NewScientist, GPGPU, UW CS&E, Econs,
Nasdaq, NewsAlert, WorldlyInvestor, Individual, Datek, ETrade, EchoTrade, ESchwab, Barron's, Granma, NewsPage, NewsLink, LightWave, UNPO, Oneworld, APC/PGS, Nunatsiaq News, Stanford Daily,
NOAA weather, UW weather page, SantaCruz weather Internet Weather Report,
Austin movies/ TV, SC movies Seattle traffic and movies (also Universal, Paramount, Warner Brothers Disney, MGM, 20thC Fox), Meteosat,
ONSALE/ SurplusAuction/ Chip/ TMQ/ Intervest/ IME/ pcZoo, Intol CDW SurplusD,
and semi/live images of SF Exploratorium, WWall, Dublin, Red Square (UW), the Seattle Harbor,
San Francisco, the Fish Cam, Saas Fee(!!), san diego Banff/ banffcam San Diego (& Qualcomm!:), Copper Mountain, CO Hong Kong,
Biodome Penguins, Geek haven! (+from air), MB KelpCam/ MBARI, UCSC, SF Bay Bridge, Norway, Santa Monica, Niagara Falls, Sydney, Weather Cams, &tc. Today in History,
And the Astronomy Picture of the Day!

I recommend searching it for a keyword of interest, if looking for something specific. Also fun: switchboard white-pages, USWest yellow pages, the search page, myfreeemailsearch, See also Net Indices below.
cynbe@muq.org

Hotlist Menu

• Net Indices
• What's New?
• Best of the Web
• Favorite Astropics
• Institutions
• HTML and kin
• Nonstupids
• Telnet RFCs
• Other RFCs
• Technical Reference
• Quantum Computing
• Artificial Intelligence
• Space Development
• Better Living
• General Reference
• Realtime Information
• Friends, Loves and Relatives
• Virtual Communities
• Net Data Archives
• Net Code Sources
• Crypto/Authentication
• Linux
• Unix Security
• GNU/Unix ports to Windows NT
• Java
• JavaBeans
• XML
• Perl/WWW
• Solaris
• Online Periodicals
• Outrages
• Contagious Mental Diseases
• People
• Investment
• Jobs
• Telecommute
• Housing
• Real Estate
• Cars
• R/C Gliders & Microcontrollers
• For Sale: Books, CDROMs &tc
• Amusements
• Readings

Net Indices

What's New?

Best of the Web

Best nerdic humor page.

Most stunning computer graphics: 3-D strange attractors, quaternion fractals and chaotic kin. A definite "must see"!

Most stunning photographs: Chinese Scenery.

Best dolphin page.

Most important single Web site: International PGP Page, defending civil rights in the electronic age.

Best research collection: The Silk Road virtual collection, with thousands of maps, paintings, photos &tc &tc.

Best charity page: The Hunger Site: Every click feeds someone, somewhere.

Best Popular Mathematics Page: The MacTutor History of Mathematics archive, covering Greek math through General Relativity with great biographical material.

Best online daily news: Electronic Telegraph(UK): Not just the usual wire feed, but good stuff with lots of hotlinks.

Best Weather Service: Intellicast, "Your online guide to weather, ski and ocean conditions,", including a Seattle page.

Most thought-provoking: Anders Main Page, my personal pick for overall best Web page. Check out the transhuman page in particular. I still don't believe in traversable wormholes, but this is good stuff to get the mental gears turning!
First runner-up: The Telson Spur, A Way Station for Snark Hunters, with oodles of good science fiction quotes and science links.

Most intriguing science site: Astronomy picture of the day. Consistently smashing!
See also: Snow Crystals.

Best voice of reason keeping tabs on the psychos: Fascist New World Order page.

Best search engine: Alta Vista. I used to like the WebCrawler and Lycos, but Alta Vista is in an entirely different class. DEC has thrown a dozen people and CPUS at the problem and the result is simply amazing.

Best browsable index: Yahoo. I was reading their What's New daily for awhile.

Best under construction sign. (Originally found on CubaWeb.)

Best documentary/photo essay: Bosnia: Uncertain paths to peace.

Favorite Astropics

Institutions

Nonstupids

Paul Graham

John Walker

HTML and kin

The Cyberview 3D Document Generator Paul Burchard/The Geometry Center, Minneapolis, MN, US: The Cyberview 3D Document Generator is a new WWW server add-on that makes it easy to create HTML documents with inline, rotatable, hyperlinked 3D images (3D imagemaps). These 3D pages are created using ordinary HTML (together with one special IMG3D tag to inline the 3D data), and can be viewed with any HTML 2.0-compatible Web browser. Binaries for selected server platforms are freely available from The Geometry Center.

Icons, the Stanford collection.
fix-html.pl a perl script to legitimize old HTML files into SGML-abiding HTML.
Filters to and from html. Also editors, including Phoenix for X.
Pushpull.html: Periodically updated HTML docs, driven from server or client end.
Docfinder, NCSA perl/freeWAIS package to heavily index an html document set and allow online searching of the resulting db.
Making transparent .gifs.
Online gif transparencies while you wait.
MIME Test Page: Test your external viewers. One of everything.
NCSA Mosaic and QuickTime, "A How To Guide", from the Yahoo Computers: Multimedia: Video: Technical Information page.
Mail to web filters.
HTML Writer's Guild.
Writing secure CGI scripts. (Note that the list of unsafe chars given to remove is incomplete: One must also remove newlines!)

Telnet RFCs

RFC854: Telnet Protocol.
RFC855: Telnet option specifications. 1983 May; .
RFC856: Telnet binary transmission. 1983 May; .
RFC857: Telnet echo option. 1983 May; .
RFC858: Telnet Suppress Go Ahead option. 1983 May; .
RFC859: Telnet status option. 1983 May; .
RFC860: Telnet timing mark option. 1983 May; .
RFC861: Telnet extended options: List option. 1983 May; .
RFC885: Telnet end of record option. 1983 December; .
RFC927: TACACS user identification Telnet option. 1984 December;.
RFC933: Output marking Telnet option. 1985 January;.
RFC946: Telnet terminal location number option. 1985 May;.
RFC1041: Telnet 3270 regime option. 1988 January;.
RFC1043: Telnet Data Entry Terminal option: DODIIS implementation. 1988 February;.
RFC1053: Telnet X 3 PAD option. 1988 April;.
RFC1073: Telnet window size option. 1988 Octr.
RFC1079: Telnet terminal speed option. 1988 December.
RFC1080: Telnet remote flow control option. 1988 November;.
RFC1091: Telnet Terminal Type option. 1989 Feb.
RFC1096: Telnet X display location option. 1989 March.
RFC1097: Telnet subliminal-message option. 1989 Apr; .
RFC1116: Telnet Linemode Option. 1989 Aug; .
RFC1143: Q method of implementing Telnet option negotiation. 1990 February; .
RFC1184: Telnet Linemode option. 1990 October.
RFC1372: Telnet Remote Flow Control Option. 1992Oct.
RFC1408: Telnet Environment Option 1993 Jan.
RFC1409: Telnet Authentication 1993 Jan.
RFC1411: Telnet Authentication: Kerberos Version 4. 1993 Jan.
RFC1412: Telnet Authentication: SPX. 1993 January;.
RFC1416: Telnet Authentication Option. 1993 February. (See also the draft telnet encryption/authentication standard.)
RFC1571: Telnet Environment Option Interoperability Issues at sunsite.unc.edu.
RFC1572: Telnet Environment Option at sunsite.unc.edu.

Other RFCs

www.protocols.com has a wide-ranging and up-to-date set of RFCs &tc indexed.

A good general RFC index is available at graphcomp, another is at ohio-state, a simpler (but often more up to date?) index here.
(I've given two links per RFC: If one is lagging, try the other.)

RFC602: "The Stockings Were Hung by the Chimney with Care".
RFC706: On the Junk Mail Problem.
RFC789: Vulnerabilities of Network Control Protocols: An Example.
RFC791: IP (Internet Protocol).
RFC792: ICMP (Internet Control Message Protocol).
RFC793: TCP (Transmission Control Protocol).
RFC821: SMTP (Simple Mail Transfer Protocol).
RFC822: Internet Text Message Format Standard.
RFC864: Character Generator Protocol.
RFC913: SMTP (Simple Mail Transfer Protocol).
RFC959: FTP (File Transfer Protocol).
RFC968: 'Twas the Night Before Start-up'.
RFC977: NNTP (Network News Transfer Protocol).
RFC1013: X Window System Protocol v 11.
RFC1014: XDR (Xternal Data Representation).
RFC1019: Representation of equations.
RFC1045: VMTP: Versatile Message Transaction Protocol, a 1988 reliable datagram proposal.
RFC1057: RPC (Remote Procedure Call).
RFC1112: Multicasting.
RFC1118: The Hitchhikers Guide to the Internet.
RFC1121: Act One - The Poems.
RFC1149: CPIP: Carrier Pigeon Internet Protocol.
RFC1180: TCP/IP Tutorial.
RFC1217: Memo from the Consortium for Slow Commotion Research (CSCR).
RFC1281: Guidelines for secure operation of the Internet.
RFC1288: Finger.
RFC1296: Internet Growth 1981-91.
RFC1305: NTP (Network Time Protocol).
RFC1321: "The MD5 Message-Digest Algorithm.
RFC1393: Traceroute.
RFC1421: Mail Encryption and Authentication.
RFC1422: Mail: Certificate-Based Key Management.
RFC1423: Mail: Algorithms, Modes, and Identifiers.
RFC1424: Mail: Key Certification and Related Services.
RFC1436: Gopher Protocol.
RFC1459: Internet Relay Chat.
RFC1480: The US Domain.
RFC1510: Kerberos.
Telnet RFCs.
RFC 1521: Mime Pt I.
RFC 1522: Mime Pt II.
RFC 1563: Mime text/enriched content type.
RFC 1661: PPP (Point to Point Protocol).
RFC1700: ASSIGNED NUMBERS 1994 Oct;.
RFC 1713: DNS Debugging Tools.
RFC 1737: Uniform Resource Names.
RFC 1738: Uniform Resource Locators.
RFC1750: Randomness Recommendations for Security.
RFC1752: The Recommendation for the IP Next Generation Protocol.
RFC1769: SNTP (Simple Network Time Protocol).
RFC1780: Internet Official Protocol Standards.
RFC1790: Sun/Internet XDR/RPC agreement.
RFC1798: Connection-less Lightweight Directory Access Protocol.
RFC1800: INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC1805: Location-Independent Data/Software Integrity Protocol.
RFC1806: Communicating Presentation Information in Internet Messages: The Content-Disposition Header.
RFC1807: A Format for Bibliographic Records.
RFC1808: Relative Uniform Resource Locators.
RFC1809: Using the Flow Label Field in IPv6.
RFC1810: Report on MD5 Performance.
RFC1812: Requirements for IP Version 4 Routers.
RFC1813: NFS Version 3 Protocol.
RFC1814: Unique Addresses are Good.
RFC1815: Character Sets ISO-10646 and ISO-10646-J-1.
RFC1816: U.S. Government Internet Domain Names.
RFC1818: Best Current Practices.
RFC1819: Internet Stream Protocol Version 2 (ST2) Protocol Specification - Version ST2+.
RFC1824: The Exponential Security System TESS: An Identity-Based Cryptographic Protocol for Authenticated Key-Exchange (E.I.S.S.-Report 1995/4).
RFC1825: Security Architecture for the Internet Protocol.
RFC1826: IP Authentication Header.
RFC1827: IP Encapsulating Security Payload (ESP).
RFC1828: IP Authentication using Keyed MD5.
RFC1829: The ESP DES-CBC Transform.
RFC1830: SMTP Service Extensions for Transmission of Large and Binary MIME Messages.
RFC1831: RPC: Remote Procedure Call Protocol Specification Version 2.
RFC1832: XDR: External Data Representation Standard.
RFC1833: Binding Protocols for ONC RPC Version 2.
RFC1844: Multimedia E-mail (MIME) User Agent checklist.
RFC1846: SMTP 521 reply code.
RFC1847: Security Multiparts for MIME: Multipart/Signed and Multipart/Encrypted.
RFC1848: MIME Object Security Services.
RFC1851: The ESP Triple DES-CBC Transform.
RFC1852: IP Authentication using Keyed SHA.
RFC1853: IP in IP tunnelling.
RFC1950: ZLIB Compressed Data Format Specification version 3.3.
RFC2068: Hypertext Transfer Protocol -- HTTP/1.1.
RFC2069: An Extension to HTTP : Digest Access Authentication.
RFC2083: PNG (Portable Network Graphics) Specification.
RFC2144: The CAST-128 Encryption Algorithm (also here). See also Constructing Symmetric Ciphers using the CAST Design Procedure and CAST Encryption Algorithm Related Publications.
RFC2151: A Primer On Internet and TCP/IP Tools and Utilities.
RFC2152: UTF-7 A Mail-Safe Transformation Format of Unicode.
RFC2154: OSPF with Digital Signatures.
RFC2181: Clarifications to the DNS Specification.
RFC2182: Selection and Operation of Secondary DNS Servers.
RFC2195: IMAP/POP AUTHorize Extension for Simple Challenge/Response.
RFC2196: Site Security Handbook.
RFC2200: INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC2202: Test Cases for HMAC-MD5 and HMAC-SHA-1.
RFC2222: Simple Authentication and Security Layer (SASL).
RFC2223: Instructions to RFC Authors.
RFC2228: FTP Security Extensions.
RFC2244: ACAP -- Application Configuration Access Protocol -- possibly useful for presence also?
RFC2289: A One-Time Password System -- S/Key, with 2048-word English integer encodings?
RFC2324: Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0).
RFC index at www.cis.ohio-state.edu.
RFC collection at sunsite.unc.edu.

See also Ohio State RFC Search Page and http://ds.internic.net/std/ and http://ds.internic.net/rfc/ , and the Internic internet-drafts archive at internic, and Current Internet-Drafts at IETF.

Also useful: The FEDERAL INFORMATION PROCESSING STANDARDS (FIPS) at NIST.
Mail Standards at Internet Mail Consortium.
News Standards at Internet Mail Consortium.
Architectural Considerations for Mobile Mesh Networking.

Technical Reference

Iowa Electronics Markets
Intrade
Hollywood Stock Exchange

"Resources in Interaction Design is a comprehensive listing of useful information for designers involved in the development of GUIs, information kiosks, CD-ROMs, CD-Is, Interactive TV, consumer electronic products and games. The listings are very much practice oriented and covers user interface design tools, conferences and trade shows, design schools, professional publications, useful net sources and user interface job announcements."

Hierarchical Segmentation Satisfying Constraints, promising paper Greg Heil pointed out to me.
National Imagery Transmission Format Standards board. Military implementations of JPEG and such.
Kerberos FAQ at OpenVision. Bibliography includes a good ATT critique.
Draft C++ standard.
Modula-3 docs in HTML, courtesy of DEC.
PixelPlanes (now "PixelFlow") project at unc, incl "Programmable Shading".
"The Graphics Page!" -- raytracing hotlist: software, docs, pics...
The Renderman Web Page.
RenderMan Repository.
POV-ray (Persistence Of Vision) homepage. An online manual is here POVbjects is archive of 3D programs, models and other resources.
Creative GPU Uses
Comp.Answers/Graphics FAQ at rtfm.mit.edu, including lots of intersection and raytracing pointers.
Hercules Monitor Database: Scan rates &tc for 100s of SVGA tubes.
madison.tdsnet.com with good monitor spec db.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Introduction to the Internet Protocols, Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Introduction to the Internet Protocols, Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
Relaxed Balance Home Page, research on less synchronous updating of balanced trees, including b-trees and avl trees.
Introduction to the Internet Protocols, Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript. The official source is export.lcs.mit.edu/R5contrib, but you may have more luck getting through to mirror site gatekeeper.dec.com/pub/X11-contrib.
UW CAC Unix security checklist.
Unicode specs at stonehand.com. The official unicode site is unicode.org.
Computers, History at yahoo, including a nice Multics page. LLNL's Wavelet page, incl pointer to Yale Mathematics page of wavelet code and papers.
Natural Language Processing page at Yahoo.
Animal genome databases.
The Speaker Building Page formulas, software, tutorials &tc on building amplifiers and speakers.
NSFNET Transition/ New NSF Architecture, including Internet/NSFnet backbone traffic statistics. See also Internet Growth Graphs by MIDS.
comp.speech FAQ, including software, hardware, speech processing, speech synthesis, and speech recognition, such as Myers' Hidden Markov Model software, copyleft C++ code, the rsynth speech-synthesis package (available from svr-ftp.eng.cam.ac.uk) , and AT&T Voices.
Lockpicking Guide, disowned by the MIT Hackers.
Rensselaer's List of Chemical Databases.
"Network-BasedElectronic Publishing of Scholarly Works: A Selective Bibliography".
Introduction to Videoconferencing and the MBONE.
Computer and Communication Standards Documentation Wow! Pointers to standards from dozens of organizations from ACM through W3 Communications, ANSI through X.400!

Security stuff:
Cert Advisories.
SunOs Public Patches.
HPUX Patches & Support.
Unix System Security Checklist "This is a GOOD one!"
Satan program.
Nipple survey results.
FDA, including consumer advice on nutrition.
Prospero protocol V5, including ARDP (Asynchronous Reliable Delivery Protocol).
Spec Table: Big collection of computer benchmark results.
Revised Code of Washington: State of Washington laws.
rs.internic.net, with instructions on getting your own internet domain name.
X window access controls writeup by the UW's Dave Dittrich.
The XFree86-benchmarks Survey (xstones).
Video Card FAQ, with nice opinionated reviews.
Intel Secrets: Undocumented opcodes &tc.
System Optimization with PC chipset info, BIOS manuals, overclocking info...
Wim Sweldens has some nice papers on Kraig's Fountain of Wisdom.
Metric system, including "peta" and "exa".
Neuropsychology Central. -Brain Imaging- tutorials &tc, with a pointer to Ray Ballinger's Introduction to MRI.
Perl FAQ at ohio-state. See also Perl FAQ and Perl Docs at perl.com, Dylan Reference Manual.
UCSC (UC Santa Cruz) Perceptual Science Laboratory, with a nice facial animation section. Jack is a commercial articulation animation system (including facial animation?) from the UPenn Computer and Information Science Dept.
. HITLab Human Modelling page. Another human animation resource is VLNet (Virtual Life).
Physics FAQ.
Mosaic X Resources.
Tree of Live: "A distributed Internet project containing nformation about phylogeny and biodiversity".
PNG -- Portable Network Graphics, the probable replacement for .gif files.
Association of Lisp Users, with various lisp faq's &tc.
ODE User's Guide.
Eigenfaces at MIT (reference Kevin gave me). See also .
National Standards Systems Network (NSSN), central repository for ANSI and other standards.
Are We Cruising a Hypothesis Space?, a very intriguing sketch of Information Geometry.

Quantum Computing

Artificial Intelligence

Space Development

I'm interested in three critical technologies: biotechnology, artificial intelligence, and space development. Of the three, biotechnology is going great guns, artificial intelligence is waiting for better hardware, and I'd thought space development was dead in the water until I discovered:

SpaceDev, a public corporation devoted to exploring (and then developling) the asteroids.

Space Studies Institute, Gerard K O'Neill's space colonies outfit, has done a lot of great work both popularizing the concept and also developing the technology.

Better Living

Textile experts at Cornell University tell How To Remove 250 Stains From Clothes And Textiles
Repetitive Strain Injury: Using keyboards without getting crippled.
Typing Injury FAQ, including keyboard alternatives.
Coalition for Positive Sexuality, with their Just Say Yes page.
Dr Ruth's SexNet.
SawStop -- stops a table-saw in 5 milliseconds upon encountering a finger.
Memory improvement.
Medinet runs a background check on your doctor for $15.
BAT chord keyboards.
ErgoWEB: Ergonomics pages..
Aura from Poetic Technologies -- the ultimate ergonomic chair and workstation? :)
Chord keyboards.
VI Powered page, logo and resources.

General Reference

Japanese Online, free language lessons. Sarasota Country Florida Property Appraiser, with online searches and Travis Country, Texas searchable tax assessor records
ditto for boston, dc and Long Island -- with pictures. courtclerk.org.

Learning Japanese

LASIK surgeon track records.

Quotation Home Page -- I especially like the -- href="http://www.geocities.com/~spanoudi/quote-05.html"> Proverbial Wisdom section. "Vulnerant omnia, ultima necat." (You'll have to look!)
Get Home Prices
Physicist Sornette predicts stock anti/bubble evolution using log-periodic fits.
Mortgage rates -- shop for the best rates via FSA!
Free Trip -- fantastic cartrip planner! See also MapQuest.
MacTutor History of Mathematics archive, a wonderful popular resource covering Greek math through general relativity.
The Net Advance of Physics: Review Articles and Tutorials in an Encyclopaedic Format.
Superstrings! Links.
M-theory, the theory formerly known as Strings.
CarWizard, with online pics and prices for most new models.
Family Search genealogy website with 400,000,000 names, provided by the Mormon church.
WordBot turns your browsers into a multi-language dictionary with definitions for any world available at a keystroke.
Directory of Mark Twain's maxims, quotations, and various opinions, nicely sorted by topic.
German dictionary.
Roget's theosaurus.
TheWord Detective.
Nine Planets.
CIA: World Maps &tc from the top terrorists.
Xerox PARC Map Viewer: world 54.03N 5.64W (34.1X)
How Far Is It? -- computes distance between two given locations.
The Roman Forum: Through the Ages.
UW Libraries.
Atlas of Canadian Communities.
Netnews FAQs.
History of Computing.
Ancient World web at evsc.virginia.edu.
Classical texts at the UW (TeX format).
Classic Greek art, archeology & literature at Tufts.
Classics online at U Michigan.
Classics online at Oxford.
Oxford Text Archive.
The classics online: Homer, Herodotus, Aristophanes...
Koran.
Classics: Ancient Greece and Rome, net resource index.
Project Gutenberg.
Mutopia, with free musical scores.
Online Book Initiative.
CMU online books, including a banned books online section.
Athena: Authors and Texts, an index of classic online books &tc.
Collected works of Aristotle at Houston Community College System's library.
Familiar Quotations, 1901 ed.
Graphion's Online Type Museum: Typography biographies and essays.
Hernias.
The Geology of Orcas Island, Washington, from the yahoo Regional Information: States: Washington page.
"The ancient city of Athens is a photographic archive of the archaeological and architectural remains..."
Virtual Museum of Computing.
The Otter.
A Chronology of United States Historical Documents at The University of Oklahoma Law Center, from The Iroquois Constitution (reputed source of the US Constitution) through M.L. King'S "I have a dream" speech.
Blind Links, resources for the blind, including The Archimedes Project, the Equal Access to Software and Information page, the Australian Royal Society Interface for Blind Users, and the Design of HTML (Mosaic) Pages to Increase Their Accessibility to Users With Disabilities page.
Warren Bloomer's (excellent!) Machine Learning page.

Locksley Hall by Tennyson (ca 1842):

For I dipt into the future, far as human eye could see,
Saw the Vision of the world, and all the wonder that would be;
Saw the heavens fill with commerce, argosies of magic sails,
Pilots of the purple twilight dropping down with costly bales;
Heard the heavens fill with shouting, and there rain'd a ghastly dew
From the nations' airy navies grappling in the central blue;

Realtime Information

Friends, Loves and Relatives

Virtual Communities

Net Data Archives

(More code sources are also in specific sections such as Linux or Crypo.)

Computer Vision Software, an excellent linkset at CMU.
Freeware Central.

Net Code Sources

NCSA DTM (Data Transfer Mechanism) "is a message-passing library. It is designed to simplify the task of interprocess communication and to facilitate the creation of sophisticated distributed applications in a heterogeneous computing environment. To accomplish this, DTM provides a method of interconnecting applications at run-time and reliable message-passing complete with synchronization and transparent data conversion. DTM has been optimized for large messages (100 Kbytes and up), but is also efficient for smaller messages. DTM is available on most platforms that support Berkeley sockets library, including Cray Systems, CONVEX, TMC CM-2 and CM-5, most UNIX-based workstations, Macintoshes, and MS-DOS machines."

asWedit "an easy to use HTML 3 text editor for X Window System and Motif. In addition to standard text editing features it offers a context-sensitive HyperText Mark-up Language (HTML) mode for editing files used on the World Wide Web (WWW)."

xdvik via ftp, cited by GNU autoconfig author djm@va.pubnix.com (David J. MacKenzie) as an example of X window autoconfiguration.
djgpp: DJ Delories' port of gcc to dos. A standard, and a good one. One reason I gave up writing a 386 C compiler.
SGI ftp sites.
Proxima, comp.answers/graphics/algorithms-recommended 3D collision-detection code in C++.
WebLib: Perl+C support for WWWeb interfaces to mixed doc dbs.
perlWWW, an index of Perl-based WWWeb libraries.
ImageEngineis a multi-user, objected-oriented, client-server database system for the storage, retrieval, integration and sharing of a wide range of medical images." -- U Pitts, NLM funded.
ohio-state elisp archive -- this is the central Emacs lisp archive. (If it is busy, here is a mirror.) Also fun is hm-html mode.
xanim, the Quicktime (&tc) viewer for unix, with source.
Hylafax, a top-quality copyleft FAX package for unix by Sam Leffler, author of libTIFF and much, much more :).
BIND, Berkeley Internet Name Domain, from the Internet Software Consortium, including a FAQ.
ACM SIGMOD Index of publicly available database software(!!)
ML: Free x-based IMAP mailer with some mosaic/netscape support.
CU-SeeMe overview at Cornell (originator). See also CU-SeeMe overview at NCSU, indstate CU-SeeMe overview and FAQ, and NASA TV.
WAFE, a tcl/athena widget X inteface toolkit, by one of my favorite hacking gurus. His latest great hack is Cineast, an extensible WWWeb browser.
CMU CommonLisp implementation.

"Jon's WWW server include access counter": Hack to publish text count of accesses to your HTML page. If you like graphic counts, he recommends Eugene E. Devereaux's counters. See also Access Counts on yahoo's Computers: World Wide Web: Programming page, and Counter 3.2.

UW ftp.cac.washington.edu FTP archive, including dial-ip software for UW PPP lines.

EPA 'dbf' utilities -- translating data between dBASE dbf, ASCII, and ARC/INFO formats.

GMT is a free, public-domain collection of ~50 UNIX tools that allow users to manipulate (x,y) and (x,y,z) data sets (including filtering, trend fitting, gridding, projecting, etc.) and produce Encapsulated PostScript File (EPS) illustrations ranging from simple x-y plots through contour maps to artificially illuminated surfaces and 3-D perspective views in black and white, gray tone, hachure patterns, and 24-bit color. GMT supports 20 common map projections plus linear, log, and power scaling. INCLUDES 57MByte COASTLINE DB.

pthreads at MIT: Copyleft, relatively portable parallel threads package for unix based on POSIX1003.4a Draft 8, with online docs here and canonical archives here and here.

Phantom "is a new interpreted language designed to address some of the problems presented by large-scale, interactive, distributed applications such as distributed conferencing systems, multi-player games, and collaborative work tools," with homepage here.

Obliq " is a lexically-scoped untyped interpreted language that supports distributed object-oriented computation. An Obliq computation may involve multiple threads of control within an address space, multiple address spaces on a machine, heterogeneous machines over a local network, and multiple networks over the Internet. Obliq objects have state and are local to a site. Obliq computations can roam over the network, while maintaining network connections."

3-D Reconstruction page at NASA Ames Biocomputation Center.

Info-Mac HyperArchive Root.
The Ghostscript (a postscript clone) home page. Curiously, prep.ai.mit.edu doesn't seem to be tracking recent releases.
dbCGI, "An embedded SQL toolkit for connecting databases to the World Wide Web".
cs.purdue.edu/pub, with lots of good stuff including tools/unix/netmon/netman/sgi network monitoring tools etherman, geotraceman, interman and packetman.

mSQL, written by miniManual, a canonical FTP archive, and a mailing list: mSQL-list-request@bont.edu.au.

ftp.cs.berkeley.edu, a UW-recommended source for Eric Allman's BSD sendmail 8.7.1 which "works great on our SunOS, Solaris, HPUX, IRIX, and Linux platforms".

NetSound is an MIT Media Lab project using CSound, a PD standard+software for synthesizing music, and MIDI.

Multi-resolution Java curve editing, courtesy of Greg Heil.

Fuzzball, the mudserver for FurryMuck maintained by Garth Minnette ( Foxen, Revar) is available from belfry.com and best.com.
Free translators into VRML format at ocnus.com, starting from alias, 3dstudio, wavefront, softimage, iges, dxf. See also the SGI translators.
Free Widget Foundation home page.
Hurd (GNU unix kernel) home page.
GIMP, General Image Manipulation Package for Linux &tc.
LessTif homepage: LessTif is a copyleft clone of Motif.
Garnet, the Cadillac of Lisp user interface toolkits.
RTIME, a 3D world kit based on the quarter-billion dollar SIMNET/DIS military effort.
BrainMap effort.
MOMspider, a promising-looking Perl package for detecting obsoleted links &tc on your web site.
Image Processing & Assorted Graphics Source Code and Links including marching cubes algorithm descriptions and source code links.
Amanda, the Advanced Maryland Automatic Network Disk Archiver, for doing backups.

Crypto/Authentication

There's crypto/authentication stuff all over here, of course -- see in particular Other RFCs. The Crypto/Authentication section is for stuff that didn't fit better elsewhere. The Java JDK now includes MD5, SHA and DSA; PGP of course is a popular free crypto/authentication package. Rumor says the RSA patents expire shortly?

The RSA FAQ is an excellent overview. RSA Labs also publishes CryptoBytes, a nice newsletter of relevant developments.

International Cryptography page -- looks very comprehensive.

Crypto Resources page.

Cryptome carries daily crypto newslinks.

Sources for Spooks has pointers to code sources including RIPEMD-160, DES and Blowfish.

cryptlib includes source code for "DES, triple DES, IDEA, MDC/SHS, RC2, RC4, RC5, SAFER, SAFER-SK, Blowfish, and Blowfish-SK conventional encryption, MD2, MD4, MD5, RIPEMD-160 and SHA hash algorithms, and Diffie-Hellman, DSA, and RSA public-key encryption." with home page here in NZ.

Wei Dai's Crypto++ 2.2 Page has C++ source for damn near everything cryptographic: symmetric block ciphers: IDEA, DES, DES-EDE, RC5, Blowfish, Diamond2, TEA, SAFER, 3-WAY, GOST, SHARK, CAST-128, Square generic cipher modes: CBC, CFB, OFB, counter mode stream ciphers: SEAL, WAKE, Sapphire, BlumBlumShub public key cryptography: RSA, DSA, ElGamal, Diffie-Hellman, BlumGoldwasser, Rabin, LUC, LUCDIF, LUCELG, Elliptic Curve Cryptosystems padding schemes for public-key systems: PKCS1, OAEP, PSSR one-way hash functions: SHA, MD5, HAVAL, RIPE-MD160, Tiger message authentication codes: MD5-MAC, HMAC, XOR-MAC hash functions as ciphers: Luby-Rackoff, MDC pseudo random number generators (PRNG): ANSI X9.17 appendix C, PGP's RandPool Shamir's secret sharing and Rabin's information dispersal scheme DEFLATE (gzip compatible) compression/decompression fast multi-precision integer operations prime number testing and generation various miscellaneous modules such as base 64 coding and 32-bit CRC A high level interface for most of the above, using a filter/pipeline metaphor benchmarks and validation testing

The Cryptographic Software page has lots of good stuff including an excellent Cryptographic Libraries section with libdes, alodes, SSLeay, Crypto++, CryptoLib, Wincrdll, CryptLib, RSAREF, &tc &tc &tc.

cryptolib source at stanford.

The Crypto-Log is a very comprehensive index including a big list of source code (&tc) archives including Mike Johnson's massive code archive.

Ron Rivest's excellent Cryptography and Security page, which includes an excellent Software archives section.

JCrypt 0.1 is one of the few Java crypto offerings at present. MD5, DES, RSA, Diffie-Hellman. See also Jef Poskanzer's free Java code, including some nice crypto stuff: IDEA, SHA-1, DES, Blowfish, and of course Rot13. See also the big, free Cryptix-Java suite (MD5, SHA, Blowfish, IDEA...) from Systemics, and its excellent list of More Java Crypto. The leading commercial Java crypto offering seems at the moment to be J/Crypto.

home page of IEEE P1363: Standard for Public-Key Cryptography also has lots of pointers to recent work and proposals, including SRP: Secure Remote Password.

Public-Key Infrastructure Standards at NIST.

PKIX drafts at internic.

International PGP Home Page. See also MIT PGP Distribution site.

PGP Attack FAQ.

IDEA HomePage.

Diffie Hellman is a very pretty, well established way of establishing a shared secret between two parties separated by an untrusted channel: http://www.rsa.com/rsalabs/newfaq/q24.html, http://www.racal.com/rdg/products/diffie.htm. JavaDoc for one grad student's implementation: http://www.cs.princeton.edu/courses/cs461/jdoc/AcmeNet.Assn3.DiffieHellman.html .

SKIP(Simple Key-management for Internet Protocols is a pretty key-management system based on Diffie-Hellman.

Enhanced Diffie Hellman with X.509 Certificates.

A Secure Talk Client, Final Report has a good overview of available algorithms in appendix G. Includes C source, including for IDEA.(?)

Another survey of Strong Cryptographic Algorithms.

The Shortcomings of X.509 Certificates.

Public Key Infrastructures and related topics (SSL X.509 X.500 &tc).

Public-Key Infrastructure, Internet Drafts.

FIPS180 contains a spec for the SHA-1 Secure Hash Algorithm.

Code for RIPEMD, an alternative to SHA-1, was published in Dr Dobs, Jan 1997, code is online as the rmd160 package.

SSLeay contains C source for lots of crypto stuff.

SSL 3.0 IETF draft document..

The ESP CAST128-CBC Algorithm is a fast symmetric encryption algorithm free of patent restrictions, proposed as an internet draft standard. A free C implementation by Peter Gutmann is available for use with his cryptlib
.

Pate Williams's page has lots of good crypto/bignum/prime related C code posted, with pointers to specialist-level books.

Linux

Death of peer-to-peer?

Pascal Brisset's Linux kernel source code development 3D animations, source code and related links.

Ultimate Linux Machine spec by ers, Darryl Straus and Rick Moen

History of Unix page with big family tree and lots of good links.

Scientific Applications on Linux: Thousands of apps neatly indexed!

Linux in Business -- Case Studies.

IBM Developerworks on setting upjournalling and ReiserFS on linux 2.4, plus tmpfs and other good stuff.

i-opener faq.

As of 2000Jul or so at least, free FrameMaker beta releases for Linux were downloadable from Adobe.

Munitions "a mega-archive of cryptographic software for the linux operating system."

Open Inventor has been released by SGI underl LGPL and ported to Linux! here.

Linux Distribution Db -- search for the one that meets your needs.

KDE Linux Packaging Project.

The C10K problem by Dan Kegel has a good discussion of asynchronous I/O techniques under Linux. The KAIO FAQ describes an SGI (?) implementation of AIO in the Linux kernel.

NSA Security-Enhanced Linux(SELinux/SE-Linux).

Index of Documentation for People Interested in Writing and/or Understanding the Linux Kernel..

Sunsite Linux C development tools, including ccmalloc-0.2.3.tar.gz An easy to use memory profiling and malloc debugger and the similar mpr-2.2.tar.gz package and lots more goodies.

Linux firewall configuration tool, by author of Linux Firewalls.

Pocket Linux.

US Linux User's Groups, including two near me, the Santa Cruz Linux User Group and the Silicon Valley Linux User Group.

The CVS Book, free online or available as treeware with bonus chapters.

Creative Labs Linux Soundblaster Support page.

Linux MIDI+Sound pages.

Open Sound System, a commercial implementatiuon of OSS, the evolving open (?) sound standard for Linux, BSD &tc.

Raid-1,4,5 for Linux! Beta kernel support for distributing data across multiple disks so that no single disk dying costs you data.

WINE(Windows on Unix emulator).

Linux filesystem defragger.

GVD homepage. The GNU Visual Debugger is an alternative to DDD, written for Linux in Ada.

Crystal Space is a LGPL C++ 3D game engine running on Linux and Windows, on top of Glide, OpenGL and others. Scripting, reflections, everything good.

Linux Applications and Utilities (also here). Also see the Linux Mall.

MultiGIF, a cross-platform utilty for creating animated GIF images.

Davide's Linux Resources, with lots of good security stuff.

Linux Applications and Utilities Page, a nicely organized index.

Linux Network Monitor.

PcDen, with some of nice Linux links.

Linux Machine, an excellent index of Linux docs and resources.
Linux applications, another good index.
Bill Adams' Linux Compatible Software is yet another good list.
Linux on IBM 770x Thinkpad.
Linux International specializes in promoting Linux via outreach and fundraising.
GGI is an exceedingly cool-sounding project to put a new low-level API between apps and the video hardware -- safe, fast app access to video ram! :) :) ;) Plus lots more good cleanup/abstraction.
Enlightenment, an exceedingly cool-looking X window manager. See also here.
Inti is a RedHat developed GUI toolkit build on GTK+ (the GTK C library) as a simpler alternative to Gtk--.

Linux Information at SSC - Specialized Systems Consultants, Inc in Seattle, publisher of the excellent Linux Journal. They also have a nice Linux distributions compared table.

Here's an excellent Debian Links page.

Debian Linux (the version I run), which has canonical ftp archive here and primary ftp backup sites include microworld.net and tsx. For a positive review, see the databus's Debian GNU/Linux: The User-Community Developed Distribution of Linux. Debian mirror-2.8-5 at ftp://rosebud.sps.queensu.ca/pub/Debian.
The story of the PING program, by its author.
(iConnect sells Debian Linux CDROMs for $30, updated daily.)
OSF Linux: Linux on top of Mach for Intel and PowerMac platforms. See also the Apple page and the Linux/MIPS FAQ.
ens12.univ-mrs.fr: Linux.
www.linux.org: Linux.
Linux ftp archive at sunsite.unc.edu (also available in HTML); See also tsx-11.mit.edu:/pub/linux (with HOWTOs) and the canonical archive ftp.funet.fi:pub/OS/Linux/. See also the Linux Publicity Project.
Linux-FT (ELF version) at "Lasermoon, the Unix freeware specialists", Linux International, Seattle/PugetSound Linux User's Group, Linux Journal (with HOWTOs) , Linux Installation and Getting Started online (and printed) book, and the LinuxNET developer's mailing list archives. For commercial Linux support including WordPerfect for Linux &tc, see Caldera. For Java on Linux, see the Java-HOWTO.
Linux for Hams, a Linux distribution with packet radio stuff &tc.
Due to US export restrictions, Linux SSH (Secure Socket Handler, I think) is distributed from Europe, here and here. "ssh - a replacement for rlogin, rsh, rcp, and rdist Ssh (Secure Shell) is a program to log into another computer over a network, to execute commands in a remote machine, and to move files from one machine to another. It provides strong authentication and secure communications over insecure channels. It is intended as a replacement for rlogin, rsh, rcp, and rdist." More on mastering the secure shell" is a SunWorld article on installing and configuring ssh. Getting started with SSH appears to be the "official" user tutorial. Purdue SSH Links list, including the "Official" SSH Homepage . Also has a lot of cracker-oriented links. NiftySSH is a free SSH for the Max.

Vortex Linux drivers for 3c595 cards, from the Beowulf Project, a nasa 16-processor Linux cluster workstation. [LATER: These are now standard with recent Linux kernels.]
Xfree86 is the free X Window System release for PC boxes: The home page is mirrored at: http://xfree86.pacificrim.net/XFree86, http://x.physics.usyd.edu.au/, http://www.uni-paderborn.de/mirrors/xfree86/, http://www.xtreme.it/xfree86/, http://sunsite.mff.cuni.cz/XFree86/, and http://www.redhat.com/xfree86/.
RedHat security update RPMs and installation instructions.
FreeBSD, another free Unix.
Compaq test-drive -- free developer software evaluation shell accounts on 64-bit Alpha Debian (&tc) systems.
Beta RealPlayer for Linux.

Linux Hardware Reviews

Duke Of Url.

Unix Security

Nagios "is a host and service monitor designed to inform you of network problems before your clients, end-users or managers do."

Info on securing Linux, especially securiting Red Hat: http://packetstorm.securify.com/papers/unix/Securing-Optimizing-RH-Linux-1_2.pdf.
Info on blocking email relays: href="http://weber.u.washington.edu/~dittrich/misc/spam/email.blocking.txt
http://weber.u.washington.edu/~dittrich/misc/spam/relay.rejection.txt
http://www.sendmail.org/antispam.html
TCP Wrappers home site. (Note that ftp://ftp.win.tue.nl/pub/security is no longer maintained and has been compromised.)
Tripwire home site.
ssh home site cs.hut.fi.
sudo home site.
crack/a> home site.
tamuk/a> (Texas A&M University security package, including TIGER diagnostic scripts) home site.
swatch syslog filter/report tool.
npasswd tool.
And for something completely different: Linux Loving Sluts.

GNU/Unix ports to Windows NT

Java

HotJava specs &tc (official). I get faster response from WebRunner, however -- I find the programmer docs particularly useful. See also the digital focus Java Developer page, especially the How Do I? subpage. For Java demos, see Gamelan.com.
CAB files, Microsoft's subverion of JAR archives.

On-line magazines:
Java Developer's Journal
Javology
Javaworld
JavaBeans Advisor

Web Sites: Java Financial Objects Exchange
The Java Oasis
Cup o' Joe
Geocities Java Zone
http://www.wco.com/~sharenet/enternet/java.html
Gamelan, The official Java Repository
Sun Java Developer Connection
ditto (?)

JavaSoft
"Java Tools!!!" - IDE's at a glance, Available Tools, etc...
SunSITE UTK Java SITE
The Java Repository
Microsoft's Java Center
Java Applet Rating Service(JARS)
Javology
Java News
Que's Java Resource Center

Books:
The Java Programming Language Ken Arnold, Gosling (Addison-Wesley)
The Java Application Programming Interface, Volume I, II Gosling, Yellin, Java Team (Addison-Wesley)
Java Networking and AWT SuperBible Maso, Srinivasan, Nagaratnam (Waite Group)
Core Java Cornell, Horstmann (SunSoft Press)
Graphic Java: Mastering the AWT Geary, McClellan (SunSoft Press)
The Java Class Libraries, An Annotated Reference Chan, Lee (Addison-Wesley)

Online Books: Special Edition Using Java, 2nd Edition
Java Quick Reference

NewsGroups:
comp.lang.javacomp.lang.java.*
comp.lang.java.api
comp.lang.java.programmer
comp.lang.java.tech
comp.lang.java.announce
comp.lang.java.security
comp.lang.java.misc
comp.lang.java.setup
comp.lang.advocacy

Mailing lists:
advanced-java@xcf.berkeley.edu
How to Subscribe:
Send mail to majordomo@xcf.berkeley.edu
Body:
subscribe advanced-java
end

Sun's Mailing Lists: http://java.sun.com/mail.html

CD-ROMS:
An introduction to programming Java Applets (MindQ)
Java Programming & Core Class Libraries (MindQ)

GNUish Java efforts underway include the guavac bytecode compiler and the GROW Java to Scheme translator. (Is this the same as the Kawa Scheme-to-Java-bytecode compiler?) See also Jaja, another Scheme written in java, and SILK, "Scheme in 50KB in Java".
Programming Languages for the Java Virtual Machine.
Cygnus is building A Gcc-based Java Implementation for good native performance.

JavaBeans

Beans/Components Catalog http://components.sun.com/
http://www.developer.com/directories/pages/dir.java.html (link to JavaBeans->General for lists of Beans and tools)

Beans/Components Tools List http://java.sun.com/beans/tools.html
http://www.javaworld.com/javaworld/tools/jw-tools-index.html
http://www.developer.com/directories/pages/dir.java.html (link to JavaBeans->General for lists of Beans and tools)

Examples of companies with Tools and/or Beans: BulletProof Corporation's JDesignerPro 2.1; Corda Technologies, Inc. http://www.corda.com
HotObject Inc. http://www.hotobject.com
Imperial Software Technology's Visaj Infospace, Inc SpaceSQL http://www.infospace-inc.com/
KonaSoft's KonaSoft Packajar 1.1 KL Group Inc http://www.klg.com
Lighthouse Design's JavaPlan NetDynamic's NetDynamic 4.0 (was JRad Technologies' j.rad) NetFactory, Inc. http://www.netcharts.com
NovaLink USA Corporation http://infoweb.novalink.com/
ObjectSoft's BrewMaster s1.10 Objectshare, a division of ParcPlace http://www.objectshare.com
OMNIS Software's OMNIS Studio v. 1.0 Penumbra's Super Mojo Quadbase Systems Inc http://www.quadbase.com
Rogue Wave Software, Inc http://www.roguewave.com
SFS Software's Iavadraw SunSoft's Java Studio Taligent, Inc. http://www.taligent.com
The Connection Factory http://www.tcf.nl Unify's Vision Visix Software's Vibe Visual Engineering, Inc. http://www.cdrom.com/pub/viseng.html
Visual Numerics, Inc. http://www.vni.com
Visualize, Inc. http://www.visualizetech.com
Webvibe Corporation http://www.webvibe.com

XML

Perl/WWW

Solaris

Online Periodicals

Outrages

This is less an outrage than just self-destructive stupidity: A statistical overview of software patents., a follow-on to , both part of the EFF Intellectual Property page.
O'Reilly associates exposes some Microsoft lies: Gates is charging hundreds of dollars more for Windows NT Server than Workstation, which differ only in two internal switch settings. Anything to rip off the public, apparently!

Grassroots

Contagious Mental Diseases

This section is dedicated to memory all the untold millions killed by contagious mental diseases.

I mourn the hundreds slaughtered by Moses immediately after being told "Thou Shalt Not Kill." (Are they the first such victims known to history, if history it be?)

I mourn the thousands slaughtered indiscriminately in the Temple by the Crusaders, "until the blood ran high as a horse's bridle."

I mourn the millions slaughtered in Europe during the Dark Ages for the hideous crime of being perhaps non-Christian.

I mourn the thousands of children dead after being sent to walk through minefields on the promise of a shortcut to "heaven".

I mourn the dozens who died at Heaven's Gate.

I mourn the handful who died at Salem.

I mourn those who died alone, victims of cult-crazed bombers and assassins.

I mourn them all.

I mourn not only the dead, but those otherwise caught as "collateral damage" in these mad maelstroms:

I mourn the thousands of children lost to the Children's Crusade.

I mourn the needless obsessive compulsives wasting their lives in fruitless rituals.

Not least, I mourn the billions of minds stunted for life by ruthless childhood indoctrination, and the guarantees of future deaths, hatreds, obsessions and insanities they carry within them.

AFF Cultic Studies keeps track of some of the most dangerous, offers treatment advice for friends of victims, and conducts education and research.
The Cult Awareness Network has been driven into bankruptcy by 50 Scientologist lawsuits over a four year period.
Christian Hall of Shame.
The Reading of the Riddle, Neo-Tech Home Page, PRIVACY JURISPRUDENCE AND THE APARTHEID OF THE CLOSET, 1946-1961 and Northwesten University Korea University are four of the five hits Alta Vista returns for the query "contagious mental disease" (the fifth is a dead link); Alta Vista returns no hits whatever to "contagious mental diseases". Appears to be a quite amazingly effective suppression of a problem affecting billions of people and responsible for untold millions of of pointless deaths.

People

Investment

Jobs

Next three were cited in a web article as TI's favorite EE recruiting spots:
CareerMosaic.
E-span employment listings/services/resources.
Online Career Center.

IEEE Salary level charts.
IEEE job listings.
Electronic Commerce Resource Center 'ECRC' Bremerton, WA, USA.

Telecommute