On characterizations of the input-to-state stability property

We show that the well-known Lyapunov sufficient condition for “input-to-state stability” (ISS) is also necessary, settling positively an open question raised by several authors during the past few years. Additional characterizations of the ISS property, including one in terms of nonlinear stability margins, are also provided.     

Search based constrained test case selection using execution effort

Software testing is essential to guarantee high quality products. However, it is a very expensive activity, particularly when manually performed. One way to cut down costs is by reducing the input test suites, which are usually large in order to fully satisfy the test goals. Yet, since large test suites usually contain redundancies (i.e., two or more test cases (TC) covering the same requirement/piece of code), it is possible to reduce them in order to respect time/people constraints without severely compromising coverage. In this light, we formulated the TC selection problem as a constrained search based optimization task, using requirements coverage as the fitness function to be maximized (quality of the resultant suite), and the execution effort (time) of the selected TCs as a constraint in the search process. Our work is based on the Particle Swarm Optimization (PSO) algorithm, which is simple and efficient when compared to other widespread search techniques. Despite that, besides our previous works, we did not find any other proposals using PSO for TC selection, neither we found solutions treating this task as a constrained optimization problem. We implemented a Binary Constrained PSO (BCPSO) for functional TC selection, and two hybrid algorithms integrating BCPSO with local search mechanisms, in order to refine the solutions provided by BCPSO. These algorithms were evaluated using two different real-world test suites of functional TCs related to the mobile devices domain. In the performed experiments, the BCPSO obtained promising results for the optimization tasks considered. Also, the hybrid algorithms obtained statistically better results than the individual search techniques.     

Iterative sound synthesis by means of cross-coupled digital oscillators

Abstract

Musicians have long been interested in using iterative processes to aid the composition of musical forms (macrostructure) and to synthesize sounds (microstructure). This paper introduces a new sound synthesis method exploring the non-linear behaviour of two iterative cross-coupled digital oscillators. It begins with a brief introduction to iterative systems followed by background information on previous attempts at using them for synthesizing sounds (e.g. feedback frequency and amplitude modulations). Next, it introduces our synthesis method and briefly explains how it has been implemented in a system for real-time composition and performance. The paper concludes with a discussion on how the system has been put into practice to compose and perform a number of works.     

Augmented reality annotations to assist persons with Alzheimers and their caregivers

Persons with Alzheimer’s disease (AD) and their caregivers implement diverse strategies to cope with memory loss. A common strategy involves placing tags on drawers or removing cabinet doors to make their contents visible. This study describes the Ambient aNnotation System (ANS), aimed at assisting people suffering from AD and their caregivers with this task. The system has two main modules: The tagging subsystem allows caregivers to create and manage ambient annotations in order to assist people with memory problems. The second subsystem allows people with AD to use a mobile phone to recognize tags in the environment and to receive relevant information in the form of audio, text, or images. The identification of these tags is performed in real time by uploading images from the mobile phone to a server, which uses the SURF algorithm for object recognition. We describe the design and implementation of the system as well as results of the evaluation of its performance and efficiency. ANS can process query images approximately every 2 s and is able to locate users in their homes with a precision of 0.93. A usability study conducted with six subjects determined that audio notifications are more effective than vibrating notifications to alert the user about tags in the environment.     

Growth factor delivery-based tissue engineering: general approaches and a review of recent developments

The identification and production of recombinant morphogens and growth factors that play key roles in tissue regeneration have generated much enthusiasm and numerous clinical trials, but the results of many of these trials have been largely disappointing. Interestingly, the trials that have shown benefit all contain a common denominator, the presence of a material carrier, suggesting strongly that spatio-temporal control over the location and bioactivity of factors after introduction into the body is crucial to achieve tangible therapeutic effect. Sophisticated materials systems that regulate the biological presentation of growth factors represent an attractive new generation of therapeutic agents for the treatment of a wide variety of diseases. This review provides an overview of growth factor delivery in tissue engineering. Certain fundamental issues and design strategies relevant to the material carriers that are being actively pursued to address specific technical objectives are discussed. Recent progress highlights the importance of materials science and engineering in growth factor delivery approaches to regenerative medicine.     

Fly ash addition in clayey materials to improve the quality of solid bricks

The technical quality of two compositionally different groups of solid bricks fired between 800 and 1000 °C was evaluated. Five weight percentage of fly ash was added to both groups and they were compared with similar bricks with no added fly ash.The textures of the bricks with fly ash were very similar to the textures of those without it, except that the samples with the additive contained spherical fly ash particles with diameters ranging from 0.1 to 10 μm. These particles led to a reduction in the density of the bricks and a substantial improvement in their durability, with less decay being caused by salt crystallization in the pores. This is because fly ash causes a reduction in the number of micropores, the pores that make porous materials most vulnerable to salt-induced decay. Use of this additive could have practical implications as a means of recycling and for achieving cost savings in brick production.     

Tests of Random Walk: A Comparison of Bootstrap Approaches

This paper compares different versions of the multiple variance ratio test based on bootstrap techniques for the construction of empirical distributions. It also analyzes the crucial issue of selecting optimal block sizes when block bootstrap procedures are used. The comparison of the different approaches using Monte Carlo simulations leads to the conclusion that methodologies using block bootstrap methods present better performance for the construction of empirical distributions of the variance ratio test. Moreover, the results are highly sensitive to methods employed to test the null hypothesis of random walk.