In previous work, we invented the notion of functional strategies, that is, first-class generic functions which can traverse into terms of any type while mixing uniform and type-specific behaviour. In the present paper, we reconstruct functional strategies in Haskell in an extremely compact style relying on just two combinators: adho for type-based function dispatch, and hfoldr for folding over...

Statistical approaches to Artificial Intelligence are behind most success stories of the field in the past decade. The idea of generating non-trivial behaviour by analysing vast amounts of data has enabled recommendation systems, search engines, spam filters, optical character recognition, machine translation and speech recognition, among other things. As we celebrate the spectacular achievemen...

A flow meter generates flow data which contains information about each connection observed on a network from a stream of observed packets. Flow meters can be implemented in standalone measurement devices or inline on packet forwarding devices, such as routers. YAF (Yet Another Flowmeter) was created as a reference implementation of an IPFIX Metering and Exporting Process, and to provide a platf...

We present a preconditioning technique, called support-graph preconditioning, and use it to analyze two classes of preconditioners. The technique was first described in a talk by Pravin Vaidya, who did not formally publish his results. Vaidya used the technique to devise and analyze a class of novel preconditioners. The technique was later extended by Gremban and Miller, who used it in the deve...

Researchers have investigated how coaches, from the recreational to the elite level of coaching, learn to coach. Many different learning situations have been identified in the research, yet the question remains: How is it that one coach’s learning path emphasizes certain learning situations as key, and yet another coach’s learning path emphasizes quite different situations? Fifteen Canadian Oly...

Micro-blogging is yet another dynamic information channel where the user needs assistance to manage incoming and outgoing information streams. In this paper, we present our Twitter assistant called Tadvise that aims to help users to know their followers / communities better. Tadvise recommends well-connected topic-sensitive followers, who may act as hubs for broadcasting a tweet to a larger rel...

Inducing general functions from specific training examples is a central problem in the machine learning. Using sets of If-then rules is the most expressive and readable manner. To find If-then rules, many induction algorithms such as ID3, AQ, CN2 and their variants, were proposed. Sequential covering is the kernel technique of them. To avoid testing all possible selectors, Entropy gain is used ...

In quantum information theory, there are several important open problems which center around whether certain quantities are additive or not. Especially, additivity conjecture about Holevo capacity and additivity/strong superadditivity conjecture about entanglement of formation have been attracting many researchers. It recently turned out that these are equivalent to the additivity of the minimu...

Daniel B. Kopans, MD Mammographic screening is one of the major, unrecognized, medical advances of the past 35 years. Prior to 1990, the death rate from breast cancer had remained unchanged in the United States for at least 50 years. In the middle of the 1980s, the decrease in breast cancer deaths reported from the Swedish Two-County Trial, which was a randomized, controlled trial, led to the o...