Software Transactional Memory algorithms associate metadata with the memory locations accessed during a transactions lifetime. This metadata may be stored in an external table and accessed by way of a function that maps the address of each memory location with the table entry that keeps its metadata (this is the out-place or external scheme); or alternatively may be stored adjacent to the associated memory cell by wrapping them together (the in-place scheme). In transactional memory multi-version algorithms, several versions of the same memory location may exist. The efficient implementation of these algorithms requires a one-to-one correspondence between each memory location and its list of past versions, which is stored as metadata. In this chapter we address the matter of the efficient implementation of multi-version algorithms in Java by proposing and evaluating a novel in-place metadata scheme for the Deuce framework. This new scheme is based in Java Bytecode transformation techniques and its use requires no changes to the application code. Experimentation indicates that multi-versioning STM algorithms implemented using our new in-place scheme are in average 6 × faster than when implemented with the out-place scheme.

Let \(\alpha\) and \(\beta\) be orientation-preserving diffeomorphism (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)\). For \(i,j\in\mathbb{Z}\) we study the simplest weighted singular integral operators with two shifts \(A_{ij}=U_\alpha^i P_\gamma^++U_\beta^j P_\gamma^-\) on \(L^p(\mathbb{R}_+)\), where \(P_\gamma^\pm=(I\pm S_\gamma)/2\) are operators associated to the weighted Cauchy singular integral operator \[ (S_\gamma f)(t)=\frac{1}{\pi i}\int_{\mathbb{R}_+} \left(\frac{t}{\tau}\right)^\gamma\frac{f(\tau)}{\tau-t}d\tau \] with \(\gamma\in\mathbb{C}\) satisfying \(0<1/p+\Re\gamma<1\). We prove that the operator \(A_{ij}\) is a Fredholm operator on \(L^p(\mathbb{R}_+)\) and has zero index if \[ 0<\frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\inf_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma), \quad \frac{1}{p}+\Re\gamma+\frac{1}{2\pi}\sup_{t\in\mathbb{R}_+}(\omega_{ij}(t)\Im\gamma)<1, \] where \(\omega_{ij}(t)=\log[\alpha_i(\beta_{-j}(t))/t]\) and \(\alpha_i\), \(\beta_{-j}\) are iterations of \(\alpha\), \(\beta\). This statement extends an earlier result obtained by the author, Yuri Karlovich, and Amarino Lebre for \(\gamma=0\).

A miniaturized version of the double cantilever beam (DCB) test is used to determine the fracture energy in human cortical bone under pure mode I loading. An equivalent crack length based data-reduction scheme is used with remarkable advantages relative to classical methods. Digital image correlation (DIC) technique is employed to determine crack opening displacement at the crack tip being correlated with the evolution of fracture energy. A method is presented to obtain the cohesive law (trapezoidal bilinear softening) mimicking the mechanical behavior observed in bone. Cohesive zone modeling (CZM) (finite-element method) was performed to validate the procedure showing excellent agreement.

In 1994 fib Commission 6: Prefabrication edited a successful Planning and Design Handbook that ran to approximately 45,000 copies and was published in Spanish and German.Nearly 20 years later Bulletin 74 brings that first publication up to date. It offers a synthesis of the latest structural design knowledge about precast building structures against the background of 21st century technological innovations in materials, production and construction. With it, we hope to help architects and engineers achieve a full understanding of precast concrete building structures, the possibilities they offer and their specific design philosophy. It was principally written for non-seismic structures.

The handbook contains eleven chapters, each dealing with a specific aspect of precast building structures.
The first chapter of the handbook highlights best practice opportunities that will enable architects, design engineers and contractors to work together towards finding efficient solutions, which is something unique to precast concrete buildings.
The second chapter offers basic design recommendations that take into account the possibilities, restrictions and advantages of precast concrete, along with its detailing, manufacture, transport, erection and serviceability stages.
Chapter three describes the precast solutions for the most common types of buildings such as offices, sports stadiums, residential buildings, hotels, industrial warehouses and car parks. Different application possibilities are explored to teach us which types of precast units are commonly used in all those situations.
Chapter four covers the basic design principles and systems related to stability. Precast concrete structures should be designed according to a specific stability concept, unlike cast in-situ structures.
Chapter five discusses structural connections.
Chapters six to nine address the four most commonly used systems or subsystems of precast concrete in buildings, namely, portal and skeletal structures, wall-frame structures, floor and roof structures and architectural concrete facades.
In chapter ten the design and detailing of a number of specific construction details in precast elements are discussed, for example, supports, corbels, openings and cutouts in the units, special features related to the detailing of the reinforcement, and so forth.
Chapter eleven gives guidelines for the fire design of precast concrete structures. The handbook concludes with a list of references to good literature on precast concrete construction.

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.