In this paper we discuss the gap that exists between the caregivers of older adults attempting to age-in-place and sophisticated ”smart-home” systems that can sense the environment and provide assistance when needed. We argue that smart-home systems need to be customizable by end-users, and we present a general-purpose model for cognitive assistive technology that can be adapted to suit many di...

Forensic studies of pavement failures require a clear understanding of the distress observed, a logical approach to examining potential assignable causes, a reasonable connection between the distress and assignable causes, and recommendations to minimize the potential for future failures. The recommendations must be careful to address the cause and to not unduly restrict technology that has a p...

Direct transformation amongst the Walsh, Haar, Arithmetic and Reed-Muller spectral domains is considered. Matrix based techniques are developed and it is shown that these can be implemented as fast in-place transforms. It is also shown that these transforms can be implemented directly on decision diagram representations.

Concrete pavement recycling is a relatively simple process that involves breaking, removing and crushing hardened concrete from an acceptable source to produce recycled concrete aggregate (RCA). The formal process of RCA production typically involves an initial evaluation of the existing source concrete; pavement preparation, which may include removal of an asphalt overlay; pavement breaking, r...

Decisions are often based on the results of quantitative analysis. To gain confidence in these results, some indication of their quality is needed. Measurement uncertainty, as proposed by the International Organization for Standardization (ISO), is a way to express this quality. Most measurement techniques compare references and therefore need to be calibrated. Usually least squares methods ign...

We present an efficient algorithm for the approximate median selection problem. The algorithm works in-place; it is fast and easy to implement. For a large array it returns, with high probability, a very close estimate of the true median. The running time is linear in the length n of the input. The algorithm performs fewer than 4 3 n comparisons and 1 3 n exchanges on the average. We present an...

A framework is described for the automatic synthesis of imperative programs, which may alter data structures and produce destructive side effects as part of their intended behavior. A program meeting a given specification is extracted from the proof of a theorem in a variant of situational logic, in which the states of a computation are explicit objects. As an example, an in-place reverse progr...

We revisit the exact shortest unique substring (SUS) finding problem, and propose its approximate version where mismatches are allowed, due to its applications in subfields such as computational biology. We design a generic in-place framework that fits to solve both the exact and approximate k-mismatch SUS finding, using the minimum 2n memory words plus n bytes space, where n is the input strin...

Effective techniques for organizing and visualizing large image collections are in growing demand as visual search gets increasingly popular. Targeting an online astronomy archive with thousands of images, we present our solution for image search and clustering based on the evaluation of image similarity using both visual and textual information. To lay out images, we introduce iMap, a treemap-...

Objective(s): Some histopathological alterations take place in the ischemic regions following brain ischemia. Recent studies have demonstrated some neuroprotective roles of crocin in different models of experimental cerebral ischemia. Here, we investigated the probable neuroprotective effects of crocin on the brain infarction and histopathological changes after transient model of focal cerebral...