Searching for people using semantic soft biometric descriptions

It is not uncommon to hear a person of interest described by their height, build, and clothing (i.e. type and colour). These semantic descriptions are commonly used by people to describe others, as they are quick to communicate and easy to understand. However such queries are not easily utilised within intelligent video surveillance systems, as they are difficult to transform into a representation that can be utilised by computer vision algorithms. In this paper we propose a novel approach that transforms such a semantic query into an avatar in the form of a channel representation that is searchable within a video stream. We show how spatial, colour and prior information (person shape) can be incorporated into the channel representation to locate a target using a particle-filter like approach. We demonstrate state-of-the-art performance for locating a subject in video based on a description, achieving a relative performance improvement of 46.7% over the baseline. We also apply this approach to person re-detection, and show that the approach can be used to re-detect a person in a video steam without the use of person detection.

Neuroimaging and genetics: Exploring, searching, and finding

This issue on the genetics of brain imaging phenotypes is a celebration of the happy marriage between two of science's highly interesting fields: neuroscience and genetics. The articles collected here are ample evidence that a good deal of synergy exists in this marriage. A wide selection of papers is presented that provide many different perspectives on how genes cause variation in brain structure and function, which in turn influence behavioral phenotypes (including psychopathology). They are examples of the many different methodologies in contemporary genetics and neuroscience research. Genetic methodology includes genome-wide association (GWA), candidate-gene association, and twin studies. Sources of data on brain phenotypes include cortical gray matter (GM) structural/volumetric measures from magnetic resonance imaging (MRI); white matter (WM) measures from diffusion tensor imaging (DTI), such as fractional anisotropy; functional- (activity-) based measures from electroencephalography (EEG), and functional MRI (fMRI). Together, they reflect a combination of scientific fields that have seen great technological advances, whether it is the single-nucleotide polymorphism (SNP) array in genetics, the increasingly high-resolution MRI imaging, or high angular resolution diffusion imaging technique for measuring WM connective properties.

Towards formal specification of a distributed computing system

Onboard spacecraft computing system is a case of a functionally distributed system that requires continuous interaction among the nodes to control the operations at different nodes. A simple and reliable protocol is desired for such an application. This paper discusses a formal approach to specify the computing system with respect to some important issues encountered in the design and development of a protocol for the onboard distributed system. The issues considered in this paper are concurrency, exclusiveness and sequencing relationships among the various processes at different nodes. A 6-tuple model is developed for the precise specification of the system. The model also enables us to check the consistency of specification and deadlock caused due to improper specification. An example is given to illustrate the use of the proposed methodology for a typical spacecraft configuration. Although the theory is motivated by a specific application the same may be applied to other distributed computing system such as those encountered in process control industries, power plant control and other similar environments.

Suhteessa kohteeseen ja suhteessa toisiin : Oppiminen ja vuorovaikutus opettajaopiskelijoiden suunnittelutapaamisessa

Objectives. In this research I analyzed the learning process of teacher students in a planning meeting using the expansive learning cycle and types of interaction approaches. In activity theory framework the expansive learning cycle has been applied widely in analyzing learning processes taking several years. However, few studies exist utilizing expansive cycles in analyzing short single meetings. In the activity theory framework talk and interaction have been analyzed using following types of interaction: coordination, cooperation and communication. In these studies single interaction situations have been analyzed, in which the status and power positions of participants has been very different. Interactions of self-directed teams, in which the participants are equal, have been examined very little. I am not aware of any studies, in which both learning actions of the expansive cycle and types of interaction by analyzing the same data would have been utilized. The aim of my study was to describe the process of collaborative innovative learning in a situation where the student group tries to accomplish a broad and ill-defined learning task. I aim to describe, how this planning process proceeds through different phases of learning actions of the expansive cycle. My goal is to understand and describe the transformations in the quality of interaction and transitions which are related to it. Another goal of this study is to specify the possible similarities and differences between expansive learning and types of interactions. Methods. Data of this study consisted of videotaped meetings, which were part of the study module for class teacher degree. The first meeting of the study module was chosen to be the primary research material. Five students were present in the group meeting. Transcription of the conversation was analyzed by classifying the turns of conversation following phases of the expansive cycle. After that the material was categorized again by using types of interaction. Results and conclusions. As a result of this study I was able to trace all the phases of the expansive cycle except one. Also, I was able to identify all interaction types. When I compared the two modes of analysis side by side I was able to find connecting main phases. Thus I was able to identify the interdependence between the two ways of analysis on a higher level, although I was not able to notice correlation on the level of individual phases. Based on this, I conclude that learning of the group was simultaneously specification and formulation of the object at the different phases of expansive learning and transformation of the quality of the interaction while searching for the common object.

Product-library-derived specification parameters in building information models augmentation

This paper conceptualizes a framework for bridging the BIM (building information modelling)-specifications divide through augmenting objects within BIM with specification parameters derived from a product library. We demonstrate how model information, enriched with data at various LODs (levels of development), can evolve simultaneously with design and construction using different representation of a window object embedded in a wall as lifecycle phase exemplars at different levels of granularity. The conceptual standpoint is informed by the need for exploring a methodological approach which extends beyond current limitations of current modelling platforms in enhancing the information content of BIM models. Therefore, this work demonstrates that BIM objects can be augmented with construction specification parameters leveraging product libraries.

Small Log Processing Resource Specification

Sawing studies of mixed species and age plantation hardwoods representing potential early resource flows available to plantation sawlog processing industry. Provide information needed to underpin a business case to invest in small log sawing infrastucture.

Searching for common threads in threadfins: phylogeography of Australian polynemids in space and time

Proper management of marine fisheries requires an understanding of the spatial and temporal dynamics of marine populations, which can be obtained from genetic data. While numerous fisheries species have been surveyed for spatial genetic patterns, temporally sampled genetic data is not available for many species. We present a phylogeographic survey of the king threadfin Polydactylus macrochir across its species range in northern Australia and at a temporal scale of 1 and 10 yr. Spatially, the overall AMOVA fixation index was Omega(st) = 0.306 (F-st' = 0.838), p < 0.0001 and isolation by distance was strong and significant (r(2) = 0.45, p < 0.001). Temporally, genetic patterns were stable at a time scale of 10 yr. However, this did not hold true for samples from the eastern Gulf of Carpentaria, where populations showed a greater degree of temporal instability and lacked spatial genetic structure. Temporal but not spatial genetic structure in the Gulf indicates demographic interdependence but also indicates that fishing pressure may be high in this area. Generally, genetic patterns were similar to another co-distributed threadfin species Eleutheronema tetradactylum, which is ecologically similar. However, the historical demography of both species, evaluated herein, differed, with populations of P. macrochir being much younger. The data are consistent with an acute population bottleneck at the last glacio-eustatic low in sea level and indicate that the king threadfin may be sensitive to habitat disturbances.

VisArchive: a time and relevance based visual interface for searching, browsing, and exploring project archives

Background Project archives are becoming increasingly large and complex. On construction projects in particular, the increasing amount of information and the increasing complexity of its structure make searching and exploring information in the project archive challenging and time-consuming. Methods This research investigates a query-driven approach that represents new forms of contextual information to help users understand the set of documents resulting from queries of construction project archives. Specifically, this research extends query-driven interface research by representing three types of contextual information: (1) the temporal context is represented in the form of a timeline to show when each document was created; (2) the search-relevance context shows exactly which of the entered keywords matched each document; and (3) the usage context shows which project participants have accessed or modified a file. Results We implemented and tested these ideas within a prototype query-driven interface we call VisArchive. VisArchive employs a combination of multi-scale and multi-dimensional timelines, color-coded stacked bar charts, additional supporting visual cues and filters to support searching and exploring historical project archives. The timeline-based interface integrates three interactive timelines as focus + context visualizations. Conclusions The feasibility of using these visual design principles is tested in two types of project archives: searching construction project archives of an educational building project and tracking of software defects in the Mozilla Thunderbird project. These case studies demonstrate the applicability, usefulness and generality of the design principles implemented.

Frechet distance based approach for searching online handwritten documents

We propose a novel, language-neutral approach for searching online handwritten text using Frechet distance. Online handwritten data, which is available as a time series (x,y,t), is treated as representing a parameterized curve in two-dimensions and the problem of searching online handwritten text is posed as a problem of matching two curves in a two-dimensional Euclidean space. Frechet distance is a natural measure for matching curves. The main contribution of this paper is the formulation of a variant of Frechet distance that can be used for retrieving words even when only a prefix of the word is given as query. Extensive experiments on UNIPEN dataset(1) consisting of over 16,000 words written by 7 users show that our method outperforms the state-of-the-art DTW method. Experiments were also conducted on a Multilingual dataset, generated on a PDA, with encouraging results. Our approach can be used to implement useful, exciting features like auto-completion of handwriting in PDAs.

Searching the inclusive ℓγE̸T+b-quark signature for radiative top quark decay and non-standard-model processes

In a search for new phenomena in a signature suppressed in the standard model of elementary particles (SM), we compare the inclusive production of events containing a lepton, a photon, significant transverse momentum imbalance (MET), and a jet identified as containing a b-quark, to SM predictions. The search uses data produced in proton-antiproton collisions at 1.96 TeV corresponding to 1.9 fb-1 of integrated luminosity taken with the CDF detector at the Fermilab Tevatron. We find 28 lepton+photon+MET+b events versus an expectation of 31.0+4.1/-3.5 events. If we further require events to contain at least three jets and large total transverse energy, simulations predict that the largest SM source is top-quark pair production with an additional radiated photon, ttbar+photon. In the data we observe 16 ttbar+photon candidate events versus an expectation from SM sources of 11.2+2.3/-2.1. Assuming the difference between the observed number and the predicted non-top-quark total is due to SM top quark production, we estimate the ttg cross section to be 0.15 +- 0.08 pb.

Specification-driven approach for protocol design of distributed computing systems

An important issue in the design of a distributed computing system (DCS) is the development of a suitable protocol. This paper presents an effort to systematize the protocol design procedure for a DCS. Protocol design and development can be divided into six phases: specification of the DCS, specification of protocol requirements, protocol design, specification and validation of the designed protocol, performance evaluation, and hardware/software implementation. This paper describes techniques for the second and third phases, while the first phase has been considered by the authors in their earlier work. Matrix and set theoretic based approaches are used for specification of a DCS and for specification of the protocol requirements. These two formal specification techniques form the basis of the development of a simple and straightforward procedure for the design of the protocol. The applicability of the above design procedure has been illustrated by considering an example of a computing system encountered on board a spacecraft. A Petri-net based approach has been adopted to model the protocol. The methodology developed in this paper can be used in other DCS applications.