We describe the Geometer’s Workbench, a graphical front end for Mathematica running on the Interactive Mural, a large high resolution display. Our system bridges the gap between casual whiteboard interaction and the more formal use of a tool like Mathematica. We anticipate that the experience gained from designing and testing such a tool can be generalized to a large class of technical and scie...

Super-resolution without explicit sub-pixel motion estimation is a very active subject of image reconstruction containing general motion. The Non-Local Means (NLM) method is a simple image reconstruction method without explicit motion estimation. In this paper we generalize NLM method to higher orders using kernel regression can apply to super-resolution reconstruction. The performance of the g...

Our work explores the transfer of knowledge at multiple levels of abstraction to improve learning. By exploiting the similarities between objects at various levels of detail, multiresolution learning can facilitate transfer between image classification tasks. We extract features from images at multiple levels of resolution, then use these features to create models at different resolutions. Upon...

We introduce a generalized definition of SLD-resolution admitting restrictions on atom and/or clause selectability. Instances of these restrictions include delay declarations, input-consuming unification and guarded clauses. In the context of such a generalization of SLD-resolution, we offer a theoretical framework to reason about programs and queries such that all derivations are successful. W...

This work starts from the analysis of the literature about the Random Access protocols with contention resolution, such as Contention Resolution Diversity Slotted Aloha (CRDSA), and introduces a possible enhancement, named Generalized Encoding Contention Resolution Diversity Slotted Aloha (GE-CRDSA). The GE-CRDSA aims at improving the aggregated throughput when the system load is less than 50%,...

In our implementation of geometric resolution, the most costly operation is subsumption testing (or matching): One has to decide for a three-valued, geometric formula, if this formula is false in a given interpretation. The formula contains only atoms with variables, equality, and existential quantifiers. The interpretation contains only atoms with constants. Because the atoms have no term stru...

This paper presents a supervised method for resolving metonymies. We enhance a commonly used feature set with features extracted based on collocation information from corpora, generalized using lexical and encyclopedic knowledge to determine the preferred sense of the potentially metonymic word using methods from unsupervised word sense disambiguation. The methodology developed addresses one is...

We undertake a comprehensive study of the inverse square root dependence of spatial resolution on the saturation factor in stimulated emission depletion (STED) microscopy and generalize it to account for various focal depletion patterns. We used an experimental platform featuring a high quality depletion pattern which results in operation close to the optimal optical performance. Its superior i...

We present a Multi-Resolution Dual method based on an incremental octree-based refinement strategy. Our solution is able to generate multi-resolution surfaces from segmented volumetric data. It extends the Dual Marching Cubes algorithm over a generalized octree and guarantees that the produced surfaces are always manifold by introducing a new cell-based criterion for dual vertices generation. M...

The most common technology for seizure detection is with electroencephalography (EEG), which has low spatial resolution and minimal depth discrimination. Optical techniques using near-infrared (NIR) light have been used to improve upon EEG technology and previous research has suggested that optical changes, specifically changes in near-infrared optical scattering, may precede EEG seizure onset ...