n/a

Spreadsheets are widely used not only to define mathematical expressions, but also to store large and complex data. To query such data is usually a difficult task to perform, usually for end user. In this work we embed the textual query language in the model-driven spreadsheet environment as a spreadsheet itself. The result is an expressive and powerful query environment that has knowledge of the business logic defined by the spreadsheet data (the spreadsheet model) to guide end users constructing correct queries.

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system. This means that we enable the creation and evolution of spreadsheet models under a spreadsheet system. More precisely, we embed ClassSheets, a visual language with a syntax similar to the one offered by common spreadsheets, that was created with the aim of specifying spreadsheets. Our embedding allows models and their conforming instances to be developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved. Finally, we have designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

This paper proposes and validates a model-driven software engineering technique for spreadsheets. The technique that we envision builds on the embedding of spreadsheet models under a widely used spreadsheet system, so that models and their conforming instances are developed under the same environment. In practice, this convenient environment enhances evolution steps at the model level while the corresponding instance is automatically co-evolved. Finally, we have designed and conducted an empirical study with human users in order to assess our technique in production environments. The results of this study are promising and suggest that productivity gains are realizable under our model-driven spreadsheet development setting.

This paper presents ES-SQL, an embedded tool for visually constructing queries over spreadsheets. This tool provides an expressive query environment which has knowledge on the business logic of spreadsheets, and by this knowledge it assists the user in defining the intended queries.

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.

Given a monoid defined by a presentation, and a homotopy base for the derivation graph associated to the presentation, and given an arbitrary subgroup of the monoid, we give a homotopy base (and presentation) for the subgroup. If the monoid has finite derivation type (FDT), and if under the action of the monoid on its subsets by right multiplication the strong orbit of the subgroup is finite, then we obtain a finite homotopy base for the subgroup, and hence the subgroup has FDT. As an application we prove that a regular monoid with finitely many left and right ideals has FDT if and only if all of its maximal subgroups have FDT. We use this to show that a finitely presented regular monoid with finitely many left and right ideals satisfies the homological finiteness condition FP3 if all of its maximal subgroups satisfy the condition FP_3.

http://docentes.fct.unl.pt/lblm/files/chemrev-2014-114-5273_0.pdf

Previous researches on punching of post-tensioned slabs have shown a number of phenomena significantly influencing their strength and behaviour. However, no general agreement is yet found on a physical theory (either in codes of practice or in design models) suitably describing the influence of prestressing and how should it be accounted on the punching shear behaviour. In this paper, the authors present the results of tests on 15 slabs (3000. ??. 3000. ??. 250. mm) tested to failure under different loading conditions. The aim of the tests was to investigate in a separate manner the different actions induced by prestressing on the punching shear strength (in-plane forces, bending moments and bonded tendons). These results are finally investigated on the basis of the physical model of the Critical Shear Crack Theory. The fundamentals of this theory are presented and adapted to post-tensioned slabs, providing a rational explanation of the observed phenomena and measured strengths. ?? 2014 Elsevier Ltd.

The lipoxygenase (LOX) products have been identified as mediators of a series of inflammatory diseases, namely rheumatoid arthritis, inflammatory bowel disease, psoriasis, allergic rhinitis, atherosclerosis and certain types of cancer. Hence, LOX inhibitors are of interest for the modulation of these phenomena and resolution of the inflammatory processes. During LOX activity, peroxyl radical complexes are part of the reaction and may function as sources of free radicals. Thus antioxidants, such as flavonoids, capable of inhibiting lipid peroxidation and scavenging free radicals, may act as LOX inhibitors. The aim of this work was to assess the structure–activity relationship among a series of flavonoids concerning 5-LOX inhibition, through a systematic study of the inhibition of the formation of LTB4 in human neutrophils. The type of inhibition of the flavonoids was further studied using soybean LOX, type I, and Saturation Transfer Difference 1H NMR (STD-1H NMR) was used to characterize the binding epitopes of the compounds to LOX-1. The obtained results reinforce flavonoids as effective inhibitors of LTB4 production in human neutrophils. It was also possible to establish a structure/activity relationship for the inhibitory activity and the type of inhibition.