Structure Processing of Web-Based Menus

Grounded in cognitive load theory, levels of processing theory, modes of learning research, and the facets of working memory (WM) framework, the primary goal of this investigation was to seek empirical evidence for a structure processing mechanism in WM that facilitates the coordination of associations made into coherent structures and the role this mechanism might play in performance and retention. This goal was motivated by a gap in the understanding of mental model production and encoding processes in WM. To carry out this goal, two usability studies were conducted to investigate retention, error, and time performance of Web-based menus created with structured or unstructured design. Relationships between these measures and coordination ability in WM, as well as storage and supervision ability, were also assessed. In Study 1, which tested simple Web-based menus, correlations of .28, ?.56, and ?.54 were detected between coordination (CC) and retention scores, CC and errors, and CC and time; in Study 2, which tested commercial Web-based menus, correlations of .46, ?.45, and ?.25 were detected. For Studies 1 and 2, differences in favor of structured design for retention, error, and time performance were highly significant (p < .001).     

An impulse control approach to dike height optimization

This paper determines the optimal timing of dike heightenings as well as the corresponding optimal dike heightenings to protect against floods. To derive the optimal policy, we design an algorithm based on the Impulse Control Maximum Principle. In this way, this paper presents one of the first real-life applications of the Impulse Control Maximum Principle developed by Blaquière. We show that the proposed impulse control (IC) approach performs better than dynamic programming with respect to computational time. This is caused by the fact that IC does not need discretization in time.     

Global structure constrained local shape prior estimation for medical image segmentation

Organ shape plays an important role in clinical diagnosis, surgical planning and treatment evaluation. Shape modeling is a critical factor affecting the performance of deformable model based segmentation methods for organ shape extraction. In most existing works, shape modeling is completed in the original shape space, with the presence of outliers. In addition, the specificity of the patient was not taken into account. This paper proposes a novel target-oriented shape prior model to deal with these two problems in a unified framework. The proposed method measures the intrinsic similarity between the target shape and the training shapes on an embedded manifold by manifold learning techniques. With this approach, shapes in the training set can be selected according to their intrinsic similarity to the target image. With more accurate shape guidance, an optimized search is performed by a deformable model to minimize an energy functional for image segmentation, which is efficiently achieved by using dynamic programming. Our method has been validated on 2D prostate localization and 3D prostate segmentation in MRI scans. Compared to other existing methods, our proposed method exhibits better performance in both studies.     

Probabilistic motion-compensated prediction in distributed video coding

Distributed video coding (DVC) constitutes an original coding framework to meet the stringent requirements imposed by uplink-oriented and low-power mobile video applications. The quality of the side information available to the decoder and the efficiency of the employed channel codes are primary factors determining the success of a DVC system. This contribution introduces two novel techniques for probabilistic motion compensation in order to generate side information at the Wyner-Ziv decoder. The employed DVC scheme uses a base layer, serving as a hash to facilitate overlapped block motion estimation at the decoder side. On top of the base layer, a supplementary Wyner-Ziv layer is coded in the DCT domain. Both proposed probabilistic motion compensation techniques are driven by the actual correlation channel statistics and reuse information contained in the hash. Experimental results report significant rate savings caused by the novel side information generation methods compared to previous techniques. Moreover, the compression performance of the presented DVC architecture, featuring the proposed side-information generation techniques, delivers state-of-the-art compression performance.     

Search combinators

The ability to model search in a constraint solver can be an essential asset for solving combinatorial problems. However, existing infrastructure for defining search heuristics is often inadequate. Either modeling capabilities are extremely limited or users are faced with a general-purpose programming language whose features are not tailored towards writing search heuristics. As a result, major improvements in performance may remain unexplored. This article introduces search combinators, a lightweight and solver-independent method that bridges the gap between a conceptually simple modeling language for search (high-level, functional and naturally compositional) and an efficient implementation (low-level, imperative and highly non-modular). By allowing the user to define application-tailored search strategies from a small set of primitives, search combinators effectively provide a rich domain-specific language (DSL) for modeling search to the user. Remarkably, this DSL comes at a low implementation cost to the developer of a constraint solver. The article discusses two modular implementation approaches and shows, by empirical evaluation, that search combinators can be implemented without overhead compared to a native, direct implementation in a constraint solver.     

Territorial targeting in EU private law

In a series of rulings given in the last few years, the Court of Justice of the European Union (EU) has made use of the concept of targeting by a trader of a particular territorial market as a device for determining the scope of European legislation on private law. The concept is of particular importance in the context of trading activities conducted by means of the Internet, though its significance is not confined to such activities. In particular, the European Court has used the concept of targeting for the purpose of restricting the substantive ambit of intellectual property rights created or harmonised by EU legislation. On the other hand, it has avoided use of the concept of targeting in the context of EU legislation allocating jurisdiction between the courts of the Member States, even in respect of disputes involving intellectual property, except where a legislative text specifically invokes such a concept. The instant paper endeavours to review the position as currently established by the European case-law, and to predict the likely further developments.     

The design of a collision avoidance system for use by Pilots operating on the airport ramp and in taxiway areas

Ground collisions have serious implications from both a safety and a commercial perspective. This paper reports on human computer interaction (HCI) research related to the advancement of a collision avoidance system, for use by Pilots operating on the airport ramp and in taxiway areas. Primarily, this paper focuses on the key findings of this research and the emerging HCI design solution.     

Understanding urban residential end uses of water

The 'end use' of water is a breakdown of the total household water usage such as water used for toilets, showers, washing machines, taps, lawn watering, etc. Understanding end uses of water will enable water planners, water authorities and household owners determine where water is used/wasted, how much and how often. This paper describes the end uses of water from a number of single-family homes in Greater Melbourne, Australia. The study involves the analysis of water consumption data recorded at 5-s intervals from logged households collected by Yarra Valley Water in Melbourne in 2004. The study determines how much water is used for outdoor and indoor purposes in a single-family home in Melbourne and compares the water usage during winter and summer. Hourly patterns of major end uses of water are also developed. The aim of this study is to improve the understanding of the end uses of water and to assist where to focus water conservation efforts that would be most effective financially and environmentally, and be acceptable to everyone.     

Adiabatic quantum optimization with qudits

Most realistic solid state devices considered as qubits are not true two-state systems. If the energy separation of the upper energy levels from the lowest two levels is not large, then these upper states may affect the evolution of the ground state over time and therefore cannot be neglected. In this work, we study the effect of energy levels beyond the lowest two energy levels on adiabatic quantum optimization in a device with a double-well potential as the basic logical element. We show that the extra levels can be modeled by adding additional ancilla qubits coupled to the original logical qubits, and that the presence of upper levels has no effect on the final ground state. We also study the influence of upper energy levels on the minimum gap for a set of 8-qubit spin glass instances.     

Large, huge or gigantic? Identifying and encoding intensity relations among adjectives in WordNet

We propose a new semantic relation for gradable adjectives in WordNet, which enriches the present, vague, similar relation with information on the degree or intensity with which different adjectives express a shared attribute. Using lexical-semantic patterns, we mine the Web for evidence of the relative strength of adjectives like “large”, “huge” and “gigantic” with respect to their attribute (“size”). The pairwise orderings we derive allow us to construct scales on which the adjectives are located. To represent the intensity relation among gradable adjectives in WordNet, we combine ordered scales with the current WordNet dumbbells based on the relation between a pair of central adjectives and a group of undifferentiated semantically similar adjectives. A new intensity relation links the adjectives in the dumbbells and their concurrent representation on scales. Besides capturing the semantics of gradable adjectives in a way that is both intuitively clear as well as consistent with corpus data, the introduction of an intensity relation would potentially result in several specific benefits for NLP.