We characterized single primer amplification reaction (SPAR) molecular markers from 20 genotypes of Anthurium andraeanum Lind., including 3 from commercial varieties and 17 from 2 communities in the State of Espírito Santo, Brazil. Twenty-four SPAR, consisting of 7 random amplified polymorphic DNA and 17 inter-simple sequence repeat markers were used to estimate the genetic diversity of 20 Anth...

Stream-based systems are representative of several different application domains including video, networking, audio, graphic processing, etc. Stream parallel programs may run on different kinds of parallel architectures (desktop, servers, cell phones, and supercomputers) and represent significant workloads on our current computing systems. Nevertheless, most of them are still not parallelized. ...

We study free-floating point absorption wave generators, consisting of an assemblage of one or a few (mostly heaving) spar buoys, housing at least one short-stroke linear generator (SSLG), made of a magnet, suspended to a spring, and oscillating within a coil. This system is aimed at producing low and renewable wave power (up to kW) for marine coastal surveillance systems. Both scale model expe...

This document is the ACI SATIN mid-term report. It presents the joint activities of the research teams involved, in the framework of the project: in particular for the development of formal models and tools, and the study of the same applications under different approaches. Besides presenting the achievements/evolution of the various project tasks, we also give some perspectives.

Phase-shifting interferometry is a coherent optical method that combines high accuracy with high measurement speeds. This technique is therefore desirable in many applications such as the efficient industrial quality inspection process. However, despite its advantageous properties, the inference of the object amplitude and the phase, herein termed wavefront reconstruction, is not a trivial task...

The shortcomings of Human Reliability Analysis (HRA) have been a topic of discussion for over two decades. Repeated attempts to address these limitations have resulted in over 50 HRA methods, and the HRA research community continues to develop new methods. However, there remains a gap between the methods developed by HRA researchers and those actually used by HRA practitioners. Bayesian Network...

Mobile computing devices, such as personal digital assistants and mobile phones, are becoming increasingly popular, smaller, more capable and even fashionable personal items. Combined with the recent advent of wireless networking techniques, users are equipped with mobile devices of significant computational abilities, which are able to wirelessly access information by dynamically connecting to...