Reviews on software engineering literature have shown an insufficient experimental validation of claims, when compared to the standard practice in other well-established sciences. Poor validation of software engineering claims increases the risks of introducing changes in the software process of an organization, as the potential benefits assessment is based on hype, rather than on facts. The community lacks highly disseminated experimental best practices. We contribute with a model of the experimental software engineering process that is aligned with recent proposals for best practices in experimental data dissemination. The model can be used in the definition of software engineering experiments and in comparisons among experimental results.

Given graphs G and H, an H-decomposition of G is a partition of the edge set of G such that each part is either a single edge or forms a graph isomorphic to H. Let φH(n) be the smallest number φ such that every graph G of order n admits an H-decomposition with at most φ parts. In the paper it is proved that φH(n)=tr−1(n)+o(n2) for every graph H of chromatic number r≥3, where tr(n) is the maximum size of an r-partite graph of order n. Moreover, when H is bipartite, the authors determine φH(n) with a constant additive error.

The devices analyzed in this work present an S-shape J-V characteristic when illuminated. By changing the light flux a non linear dependence of the photocurrent with illumination is observed. Thus a low intensity light beam can be used to probe the local illumination conditions, since a relationship exists between the probe beam photocurrent and the steady state illumination. Numerical simulation studies showed that the origin of this S-shape lies in a reduced electric field across the intrinsic region, which causes an increase in the recombination losses. Based on this, we present a model for the device consisting of a modulated barrier recombination junction in addition to the p-i-n junction. The simulated results are in good agreement with the experimental data. Using the presented model a good estimative of the LSP signal under different illumination conditions can be obtained, thus simplifying the development of applications using the LSP as an image sensor, with advantages over the existing imaging systems in the large area sensor fields with the low cost associated to the amorphous silicon technology. © 2007 Materials Research Society.

Although occurrences of marine reptiles have been previously reported from Angola, with the exception of two Turonian taxa, these reports were based largely on isolated teeth. Fieldwork in 2005 and 2006 yielded well-preserved remains of marine reptiles including plesiosaurs, turtles, and mosasaurs. The mosasaurs discussed here were recovered from two field areas: Turonian sediments at Iembe along the north coast and Maastrichtian sediments at Bentiaba on the south coast. The Turonian section near Iembe produced at least two new specimens of Angolasaurus bocagei and one fragmentary specimen of Tylosaurus iembeensis. One of the Angolasaurus specimens is represented by a well preserved, complete and articulated skull and partial postcrania, including portions of the forelimbs and pectoral girdle. The preservation of material from the Bentiaba locality is remarkable due to the grain support of the entombing sandstone, which preserves fine anatomical details with little apparent crushing, and in the number of articulated, semi-articulated, and associated skeletons. Identifications from the field and preliminary preparation show the Bentiaba mosasaur fauna is represented by at least five genera including Mosasaurus, Prognathodon, Globidens, Plioplatecarpus and Halisaurus. Collectively, these new specimens greatly expand our knowledge of the anatomy and systematics of Angolan mosasaurs.

n/a

n/a