Visual search tree profiling

Understanding how the search space is explored for a given constraint problem – and how it changes for different models, solvers or search strategies – is crucial for efficient solving. Yet programmers often have to rely on the crude aggregate measures of the search that are provided by solvers, or on visualisation tools that can show the search tree, but do not offer sophisticated ways to navigate and analyse it, particularly for large trees. We present an architecture for profiling a constraint programming search that is based on a lightweight instrumentation of the solver. The architecture combines a visualisation of the search tree with various tools for convenient navigation and analysis of the search. These include identifying repeated subtrees, high-level abstraction and navigation of the tree, and the comparison of two search trees. The resulting system is akin to a traditional program profiler, which helps the user to focus on the parts of the execution where an improvement to their program would have the greatest effect.     

Understanding student participation in undergraduate course communities: A case study

Participation is the cornerstone of any community. Promoting, understanding and properly managing it allows not only keeping the community sustainable, but also providing personalized services to its members and managers. This article presents a case study in which student participation in a course community was motivated using two different extrinsic mechanisms, and mediated by a software platform. The results were compared with a baseline community of the same course, in which participation was not motivated by external means. The analysis of these results indicates that managing a partially virtual course community requires the introduction of monitoring services, community managers and extrinsic mechanisms to motivate participation. These findings allow community managers to improve their capability for promoting participation and keeping the community sustainable. The findings also raise several implications that should be considered in the design of software supporting this kind of community, when managing the participation of its members.     

Structural design using multi-objective metaheuristics. Comparative study and application to a real-world problem

Many structural design problems in the field of civil engineering are naturally multi-criteria, i.e., they have several conflicting objectives that have to be optimized simultaneously. An example is when we aim to reduce the weight of a structure while enhancing its robustness. There is no a single solution to these types of problems, but rather a set of designs representing trade-offs among the conflicting objectives. This paper focuses on the application of multi-objective metaheuristics to solve two variants of a real-world structural design problem. The goal is to compare a representative set of state-of-the-art multi-objective metaheuristic algorithms aiming to provide civil engineers with hints as to what optimization techniques to use when facing similar problems as those selected in the study presented in this paper. Accordingly, our study reveals that MOCell, a cellular genetic algorithm, provides the best overall performance, while NSGA-II, the de facto standard multi-objective metaheuristic technique, also demonstrates a competitive behavior.     

Signage Versus Environmental Affordances: Is the Explicit Information Strong Enough to Guide Human Behavior During a Wayfinding Task?

This study aims to explore how people behave when they have to find a location within a complex building and are confronted with situations where directional signage (i.e., explicit information) is in opposition to environmental affordances that naturally direct users towards a specific path, creating a situation with conflicting information (e.g., a brighter corridor vs. a darker corridor but with a directional sign indicating to follow the darker one). A virtual reality–based methodology was used and a between‐subject design was considered. Thus, participants were given the tasks of finding three publicly accessible central points in a virtual hotel and confronted with a two forced‐choice task of local scenes in which environmental variables (i.e., corridor width and brightness) and signage varied systematically, in two experimental conditions (i.e., neutral and signage). For the signage condition, signs were inserted to explicitly point in the opposite direction than that implicitly suggested by the environmental affordances, creating situations with conflicting information. Results indicate that environmental variables were able to direct people indoors acting as environmental affordances. Users preferred to follow the wider and brighter paths. However, when directional signage pointed in the opposite direction of the paths preferred by the participants, most of them complied with signage.     

Characterizing peers communities and dynamics in a P2P live streaming system

Despite the large number of works devoted to understand P2P live streaming applications, most of them put forth so far rely on characterizing the static view of these systems. In this work, we characterize the SopCast, one of the most important P2P live streaming applications. We focus on its dynamics behavior as well as on the community formation phenomena. Our results show that SopCast presents a low overlay topology diameter and low end-to-end shortest path. In fact, diameter is smaller than 6 hops in almost 90 % of the observation time. More than 96 % of peers’ end-to-end connections present only 3 hops. These values combined may lead to low latencies and a fast streaming diffusion. Second, we show that communities in SopCast are well defined by the streaming data exchange process. Moreover, the SopCast protocol does not group peers according to their Autonomous System. In fact, the probability that a community contains 50 % of its members belonging to the same AS (when we observe the largest AS of our experiments) is lower then 10 %. Peers exchange more data with partners belonging to the same community instead of peers inside the same AS. For the largest AS we have, less than 18 % of peer traffic has been exchanged with another AS partners. Finally, our analysis provides important information to support the future design of more efficient P2P live streaming systems and new protocols that exploit communities’ relationships.     

Bed morphology, flow structure, and sediment transport at the outlet of Lake Huron and in the upper St. Clair River

An integrated multibeam echo sounder and acoustic Doppler current profiler field survey was conducted in July 2008 to investigate the morphodynamics of the St. Clair River at the outlet of Lake Huron. The principal morphological features of the upper St. Clair River included flow-transverse bedforms that appear weakly mobile, erosive bedforms in cohesive muds, thin non-cohesive veneers of weakly mobile sediment that cover an underlying cohesive (till or glacio-lacustrine) surface, and vegetation that covers the bed. The flow was characterized by acceleration as the banks constrict from Lake Huron into the St. Clair River, an approximately 1500-m long region of flow separation downstream from the Blue Water Bridge, and secondary flow connected to: i) channel curvature; ii) forcing of the flow by local bed topography, and iii) flow wakes in the lee side of ship wrecks. Nearshore, sand-sized, sediment from Lake Huron was capable of being transported into, and principally along, the banks of the upper St. Clair River by the measured flow. A comparison of bathymetric surveys conducted in 2007 and 2008 identifies that the gravel bed does undergo slow downstream movement, but that this movement does not appear to be generated by the mean flow, and could possibly be caused by ship-propeller-induced turbulence. The study results suggest that the measured mean flow and dredging within the channel have not produced major scour of the upper St. Clair River and that the recent fall in the level of Lake Huron is unlikely to have been caused by these mechanisms.     

A novel electromyographic signal simulator for muscle contraction studies

Mathematical simulation has been widely used in biomedical and biological sciences. In the case of the surface electromyographic (SEMG) activity, some models have been proposed aiming to study muscle contraction strategies that are used during different tasks and conditions. Most of SEMG simulators are based on energy modulation of a Gaussian noise. This work proposes a novel simulator in which the user-defined parameters are associated with the motor units (MUs) recruitment and their firing rate. Comparison between the mean spectrum of real SEMG signals collected in isometric contraction of the muscle biceps brachii and the mean spectrum obtained from simulated SEMG signals showed a good agreement, pointing the proposed simulator seems to be capable to generate consistent electromyographic signals in time and frequency domains and that can be used in many studies, in particular in the evaluation of automatic methods aimed to detect muscular contraction.     

Influence diagnostics in beta regression

We consider the issue of assessing influence of observations in the class of beta regression models, which is useful for modelling random variables that assume values in the standard unit interval and are affected by independent variables. We propose a Cook-like distance and also measures of local influence under different perturbation schemes. Applications using real data are presented.     

Adaptation and application of multi-objective evolutionary algorithms for rule reduction and parameter tuning of fuzzy rule-based systems

Recently, multi-objective evolutionary algorithms have been applied to improve the difficult tradeoff between interpretability and accuracy of fuzzy rule-based systems. It is known that both requirements are usually contradictory, however, these kinds of algorithms can obtain a set of solutions with different trade-offs. This contribution analyzes different application alternatives in order to attain the desired accuracy/interpr-etability balance by maintaining the improved accuracy that a tuning of membership functions could give but trying to obtain more compact models. In this way, we propose the use of multi-objective evolutionary algorithms as a tool to get almost one improved solution with respect to a classic single objective approach (a solution that could dominate the one obtained by such algorithm in terms of the system error and number of rules). To do that, this work presents and analyzes the application of six different multi-objective evolutionary algorithms to obtain simpler and still accurate linguistic fuzzy models by performing rule selection and a tuning of the membership functions. The results on two different scenarios show that the use of expert knowledge in the algorithm design process significantly improves the search ability of these algorithms and that they are able to improve both objectives together, obtaining more accurate and at the same time simpler models with respect to the single objective based approach.

---

NodeWiz: Fault-tolerant grid information service

Large scale grid computing systems may provide multitudinous services, from different providers, whose quality of service will vary. Moreover, services are deployed and undeployed in the grid with no central coordination. Thus, to find out the most suitable service to fulfill their needs, or to find the most suitable set of resources on which to deploy their services, grid users must resort to a Grid Information Service (GIS). This service allows users to submit rich queries that are normally composed of multiple attributes and range operations. The ability to efficiently execute complex searches in a scalable and reliable way is a key challenge for current GIS designs. Scalability issues are normally dealt with by using peer-to-peer technologies. However, the more reliable peer-to-peer approaches do not cater for rich queries in a natural way. On the other hand, approaches that can easily support these rich queries are less robust in the presence of failures. In this paper we present the design of NodeWiz, a GIS that allows multi-attribute range queries to be performed efficiently in a distributed manner, while maintaining load balance and resilience to failures.