This paper showcases MDSheet, a framework aimed at improving the engineering of spreadsheets. This framework is model-driven, and has been fully integrated under a spreadsheet system. Also, its practical interest has been demonstrated by several empirical studies.

n/a

n/a

The paleontological richness of Morocco has been scientifically known since at least the early 20th century. The region of the Middle Atlas, more specifically the Boulemane area, has been however only sparsely studied since the 1960s when it provided vertebrate fossils from the Middle Jurassic. In September 2013, a Moroccan-Portuguese expedition to the village of Taghrout, Boulemane, made excavations in a Pleistocene fossil site that once was a small high-altitude sedimentary basin, uncharted in previous geological maps. The excavations yielded bone material from large mammals, the most common findings are elephants ascribed to Elephas, but artiodactyls, turtles, and in-situ Acheulean tools were also collected. This represents a new and important paleontological and archeological site. In addition to the discoveries of Taghrout, the expedition also retrieved Quaternary vertebrate material from a nearby cave and found new Jurassic localities, with arcosaur bones and dinosaur footprints, in El Mers.

Motivated by the need to describe bear-bull market regime switching in stock prices, we introduce and study a stochastic process in continuous time with two regimes, threshold and delay, given by a stochastic differential equation. When the difference between the regimes is simply given by a different set of real valued parameters for the drift and diffusion coefficients, with changes between regimes depending only on these parameters, we show that if the delay is known there are consistent estimators for the threshold as long we know how to classify a given observation of the process as belonging to one of the two regimes. When the drift and diffusion coefficients are of geometric Brownian motion type we obtain a model with parameters that can be estimated in a satisfactory way, a model that allows differentiating regimes in some of the NYSE 21 stocks analyzed and also, that gives very satisfactory results when compared to the usual Black–Scholes model for pricing call options.

Transactional memory (TM) is an increasingly popular technique for synchronising threads in multi-threaded programs. To address both correctness and performance-related issues of TM programs, one needs to monitor and analyse their execution. However, monitoring concurrent programs (including TM programs) may have a non-negligible impact on their behaviour, which may hamper the objectives of the intended analysis. In this paper, we propose several approaches for monitoring TM programs and study their impact on the behaviour of the monitored programs. The considered approaches range from specialised lightweight monitoring to generic heavyweight monitoring. The implemented monitoring tools are publicly available to the scientific community, and the implementation techniques used for lightweight monitoring of TM programs may be used as an inspiration for developing other specialised lightweight monitors.

Regime switching processes are usually defined with an external random source driving the regime changes. In this article, we define and study a regime switching diffusion considering two thresholds, and regime switching occurring, by a change in the diffusion drift and volatility, whenever the trajectory touches the upper threshold after having crossed, or touched, the lower threshold or touches the lower threshold after having crossed, or touched, the upper threshold. We develop an estimation procedure for the thresholds and for the regime parameters of the diffusions. We show that a generalized Black–Scholes model with the regime switching diffusion as the law of the risky asset is arbitrage free and complete under an additional hypothesis on the diffusion coefficients of the two regime diffusions.

One possibility for strengthening existing flat slabs consists on gluing fibre reinforced polymers (FRPs) at the concrete surface. When applied on top of slab-column connections, this technique allows increasing the flexural stiffness and strength of the slab as well as its punching strength. Nevertheless, the higher punching strength is associated to a reduction on the deformation capacity of the slab-column connection, which can be detrimental for the overall behaviour of the structure (leading to a more brittle behaviour of the system). Design approaches for this strengthening technique are usually based on empirical formulas calibrated on the basis of the tests performed on isolated test specimens. However, some significant topics as the reduction on the deformation capacity or the influence of the whole slab (accounting for the reinforcement at mid-span) on the efficiency of the strengthening are neglected. In this paper, a critical review of this technique for strengthening against punching shear is investigated on the basis of the physical model proposed by the Critical Shear Crack Theory (CSCT). This approach allows taking into account the amount, layout and mechanical behaviour of the bonded FRP's in a consistent manner to estimate the punching strength and deformation capacity of strengthened slabs. The approach is first used to predict the punching strength of available test data, showing a good agreement. Then, it is applied in order to investigate strengthened continuous slabs, considering moment redistribution after concrete cracking and reinforcement yielding. This latter study provides valuable information regarding the differences between the behaviour of isolated test specimens and real strengthened flat slabs. The results show that empirical formulas calibrated on isolated specimens may overestimate the actual performance of FRP's strengthening. Finally, taking advantage of the physical model of the CSCT, the effect of the construction sequence on the punching shear strength is also evaluated, revealing the role of this issue which is also neglected in most empirical approaches.

An emerging trend in the field of Graphics Processing Unit (GPU) computing is the harnessing of multiple devices to cope with scalability and performance requirements. How- ever, multi-GPU execution adds new challenges to the al- ready complex world of General Purpose computing on GPUs (GPGPU), such as the efficient problem decomposition, and dealing with device heterogeneity. To this extent, we pro- pose the use of the Marrow algorithmic skeleton framework (ASkF) to abstract most of the details intrinsic to the pro- gramming of such platforms. To the best of our knowledge, Marrow is the first ASkF to support skeleton nesting on single and (now) multiple GPU systems. In this paper we present how it can transparently distribute the execution of skeleton compositions among a set of, possibly, hetero- geneous devices. An experimental evaluation assesses the proposal’s effectiveness, from a scalability and performance perspective, with good results.

http://docentes.fct.unl.pt/lblm/files/inorgchem-2014-53-12799.pdf

Mosasaurs are marine squamates with a 32.5 million-year history from their appearance at 98 Ma to their extinction at the K-Pg boundary (65.5 Ma). Using a database of 43 generic and 94 species-level taxa, we compare the taxonomic diversity and patterns of morphological disparity in mosasaurs with sea level, sea surface temperature, and stable carbon isotope curves for the Upper Cretaceous to explore factors that may have influenced their evolution. No single factor unambiguously accounts for all radiations, diversification, and extinctions; however, the broader patterns of taxonomic diversification and
morphological disparity point to niche differentiation in a “fishing up” scenario under the influence of “bottom-up” selective pressures. The most likely driving force in mosasaur evolution was high productivity in the Late Cretaceous, driven by tectonically controlled sea levels and climatically controlled ocean stratification and nutrient delivery. When productivity collapsed at the end of the Cretaceous, coincident with bolide impact, mosasaurs became extinct.

We present a stratigraphic log supporting a preliminary magnetostratigraphy of a Tithonian–Berriasian section in Porto da Calada (Portugal). Based on biostratigraphy and reversed and normal magnetostratigraphy, the location of the Tithonian–Berriasian boundary is tentatively located at ca. 52 m, not in disagreement
with former proposals. Due to the occurrence of later remagnetization (diagenesis), the magnetostratigraphic definition of the Tithonian–Berriasian section at the Cabo Espichel (Portugal) location was not able to be established.

n/a

Some asymptotic expansions not necessarily related to the central limit theorem are studied. We first observe that the smoothing inequality of Esseen implies the proximity, in the Kolmogorov distance sense, of the distributions of the random variables of two random sequences satisfying a sort of general asymptotic relation. We then present several instances of this observation. A first example, partially motivated by the the statistical theory of high precision measurements, is given by a uniform asymptotic approximation to gX + nn∈, where g is some smooth function, X is a random variable and nn∈ is a sequence going to infinity; a multivariate version is also stated and proved. We finally present a second class of examples given by a randomization of the interesting parameter in some classical asymptotic formulas; namely, a generic Laplace’s type integral, randomized by the sequence nXn∈, X being a Gamma distributed random variable.

Software refactoring is a well-known technique that provides transformations on software artifacts with the aim of improving their overall quality. In this paper we present a set of refactorings for ClassSheets, a modeling language that allows to specify the business logic of a spreadsheet in an object-oriented fashion. The set of refactorings that we propose allows us to improve the quality of these spreadsheet models. Moreover, it is implemented in a setting that guarantees that all model refactorings are automatically carried to all the corresponding (spreadsheet) instances, thus providing an automatic evolution of the data so it is always synchronized with the model.

Despite being staggeringly error prone, spreadsheets are a highly flexible programming environment that is widely used in industry. In fact, spreadsheets are widely adopted for decision making, and decisions taken upon wrong (spreadsheet-based) assumptions may have serious economical impacts on businesses, among other consequences. This paper proposes a technique to automatically pinpoint potential faults in spreadsheets. It combines a catalog of spreadsheet smells that provide a first indication of a potential fault, with a generic spectrum-based fault localization strategy in order to improve (in terms of accuracy and false positive rate) on these initial results. Our technique has been implemented in a tool which helps users detecting faults. To validate the proposed technique, we consider a well-known and well-documented catalog of faulty spreadsheets. Our experiments yield two main results: we were able to distinguish between smells that can point to faulty cells from smells and those that are not capable of doing so; and we provide a technique capable of detecting a significant number of errors: two thirds of the cells labeled as faulty are in fact (documented) errors.