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:
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
Title: 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: Title: 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: Title: 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.
Title: 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 Title: 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.
Adios project, Zach Solan's thesis webpage. 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: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.
- Flexible record patters (and the derived form of #label) are now first-class patterns, and can therefore used without type constraints, as explained above.
- 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.)- 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.
Selected Bibliography on Mobile Processes -- excellent review and reading list updated through Feb 1998. The sections are: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
- General Ideas of Mobility
- Basics of Mobile Processes
- Encoding of Various Computational Structures
- Asynchronous Pi-calculus
- Expressiveness in pi-calculi
- Types for Mobile Processes
- Programming Languages based on Mobile Processes
- Other Topics
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,
arXiv:
cs,
physics,
math,
qbio,
blog,
baez,
DebianAdmin,
EET,
TRN,
Librenix,
ArsT/
Linux,
NewsForge,
TechReport,
OSOp,
Telepolis,
Cryptome,
infoshop,
DevShed,
DDJ,
HitB,
SourceForge,
Risks,
Giggles:
Doonesbury,
User Friendly,
Dilbert,
SinFest,
Joy of Tech
Science:
SciDaily,
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,
Geekgirl,
Security/
Weekly/
Daily/
distros/
