This paper presents a tool, dubbed FaultySheet Detective, for aiding in spreadsheet fault localization, which combines the detection of bad smells with a generic spectrum-based fault localization algorithm.

Let $\alpha$ and $\beta$ be orientation-preserving diffeomorphisms (shifts) of $\mathbb{R}_+=(0,\infty)$ onto itself with the only fixed points $0$ and $\infty$, where the derivatives $\alpha'$ and $\beta'$ may have discontinuities of slowly oscillating type at $0$ and $\infty$. For $p\in(1,\infty)$, we consider the weighted shift operators $U_\alpha$ and $U_\beta$ given on the Lebesgue space $L^p(\mathbb{R}_+)$ by $U_\alpha f=(\alpha')^{1/p}(f\circ\alpha)$ and $U_\beta f= (\beta')^{1/p}(f\circ\beta)$. We apply the theory of Mellin pseudodifferential operators with symbols of limited smoothness to study the simplest singular integral operators with two shifts $A_{ij}=U_\alpha^i P_++U_\beta^j P_-$ on the space $L^p(\mathbb{R}_+)$, where $P_\pm=(I\pm S)/2$ are operators associated to the Cauchy singular integral operator $S$, and $i,j\in\mathbb{Z}$. We prove that all $A_{ij}$ are Fredholm operators on $L^p(\mathbb{R}_+)$ and have zero indices.

n/a

n/a

The non-avian saurischians that have associated eggshells and embryos are represented only by the sauropodomorph Massospondylus and Coelurosauria (derived theropods), thus missing the basal theropod representatives. We report a dinosaur clutch containing several crushed eggs and embryonic material ascribed to the megalosaurid theropod Torvosaurus. It represents the first associated eggshells and embryos of megalosauroids, thus filling an important phylogenetic gap between two distantly related groups of saurischians. These fossils represent the only unequivocal basal theropod embryos found to date. The assemblage was found in early Tithonian fluvial overbank deposits of the Lourinhã Formation in West Portugal. The morphological, microstructural and chemical characterization results of the eggshell fragments indicate very mild diagenesis. Furthermore, these fossils allow unambiguous association of basal theropod osteology with a specific and unique new eggshell morphology.

Goal-Oriented Requirements Engineering (GORE) approaches have been developed to facilitate the requirements engineers work by, for example, providing abstraction mechanisms to help eliciting and modeling requirements. One of the well-established GORE approaches is KAOS. Nevertheless, in large-scale systems building KAOS models may result in incomplete and/or complex goal models, which are difficult to understand and change. This may lead to an increase in costs of product development and evolution. Thus, for large-scale systems, the effective management of complexity and completeness of goal
models is vital. In this paper, we propose a metrics framework for supporting the quantitative assessment of complexity and completeness of KAOS goal models. Those metrics are formally specified, implemented and incorporated in a KAOS modeling tool. We validate the metrics with a set of real-world case studies and discuss the identified recurring modeling practices.

Despite more than a century of collecting, resulting in one of the best-studied vertebrate fossil records anywhere in the world, the Upper Jurassic Morrison Formation has produced surprisingly few examples of dinosaur eggs associated with embryonic remains. Even more puzzling, none of these seem to pertain to the theropod Allosaurus, one of the most common and best-understood dinosaur taxa in the formation. Here we report on a dinosaur nest site that has produced both abundant prismatoolithid eggshell and embryonic (or perinatal) bones of Allosaurus from Fox Mesa, Wyoming. This represents the first such discovery for any theropod in the Jurassic of North America. The nest is heavily weathered but contains a few ellipsoid eggshell clusters that suggest an egg size of about 8 x 6.5 cm. Study of the eggshell morphology and microstructure confirms that a single egg type is present throughout, which is indistinguishable from Prismatoolithus coloradensis. All of the identifiable embryonic materials pertain to theropods, and two premaxillae specimens show the five alveoli diagnostic for Allosaurus among Morrison theropods. This confirms the theropod origin of Prismatoolithus eggs and implicates Allosaurus as the specific Morrison parent taxon. As a result, it is now possible to assign several previous discoveries of dinosaur eggs and potential nests to Allosaurus, including the isolated egg from the Cleveland-Lloyd Quarry. This discovery also calls into question prior assignments of Prismatoolithus eggs to ornithopods, and suggests that more detailed study of such sites is warranted. Prismatoolithus eggshells are also associated with the Upper Jurassic theropod Lourinhanosaurus from Portugal, along with larger embryos that exhibit four premaxillary alveoli.

n/a

Despite more than a century of collecting, resulting in one of the best-studied vertebrate fossil records anywhere in the world, the Upper Jurassic Morrison Formation has produced surprisingly few examples of dinosaur eggs associated with embryonic remains. Even more puzzling, none of these seem to pertain to the theropod Allosaurus, one of the most common and best-understood dinosaur taxa in the formation. Here we
report on a dinosaur nest site that has produced both abundant prismatoolithid eggshell and embryonic (or perinatal) bones of Allosaurus from Fox Mesa, Wyoming. This represents the first such discovery for any theropod in the Jurassic of North America. The nest is heavily weathered but contains a few ellipsoid eggshell clusters that suggest an egg size of about 8 x 6.5 cm. Study of the eggshell morphology and microstructure confirms that a single egg type is present throughout, which is indistinguishable from Prismatoolithus coloradensis. All of the identifiable embryonic materials pertain to theropods, and two premaxillae specimens show the five alveoli diagnostic for Allosaurus among Morrison theropods. This confirms the theropod origin of Prismatoolithus eggs and implicates Allosaurus as the specific Morrison parent taxon. As a result, it is now possible to assign several previous discoveries of dinosaur eggs and potential nests to Allosaurus, including the isolated egg from the Cleveland-Lloyd Quarry. This discovery
also calls into question prior assignments of Prismatoolithus eggs to ornithopods, and suggests that more detailed study of such sites is warranted. Prismatoolithus eggshells are also associated with the Upper Jurassic theropod Lourinhanosaurus from Portugal, along with larger embryos that exhibit four premaxillary alveoli.