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.

We investigated imidazolium-based ionic liquid (IL) interactions with human serum albumin (HSA) to discern the level of cation interactions towards protein stability. STD-NMR spectroscopy was used to observe the imidazolium IL protons involved in direct binding and to identify the interactions responsible for changes in Tm as accessed by differential scanning calorimetry (DSC). Cations influence protein stability less than anions but still significantly. It was found that longer alkyl side chains of imidazolium- based ILs (more hydrophobic) are associated with a higher destabilisation effect on HSA than short-alkyl groups (less hydrophobic). The reason for such destabilisation lies on the increased surface contact area of the cation with the protein, particularly on the hydrophobic contacts promoted by the terminus of the alkyl chain. The relevance of the hydrophobic contacts is clearly demonstrated by the introduction of a polar moiety in the alkyl chain: a methoxy or alcohol group. Such structural modification reduces the degree of hydrophobic contacts with HSA explaining the lesser extent of protein destabilisation when compared to longer alkyl side chain groups: above [C2mim]+. Competition STD-NMR experiments using [C2mim]+, [C4mim]+ and [C2OHmim]+ also validate the importance of the hydrophobic interactions. The combined effect of cation and anion interactions was explored using 35Cl NMR. Such experiments show that the nature of the cation has no influence on the anion–protein contacts, still the nature of the anion modulates the cation–protein interaction. Herein we propose that more destabilising anions are likely to be a result of a partial contribution from the cation as a direct consequence of the different levels of interaction (cation–anion pair and cation–protein).

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.

During the last years several projects and studies have improved the knowledge about Textile Reinforced Mortar (TRM) technology. TRM has already been used in strengthening masonry and reinforced concrete structural elements such as walls, arches, columns and beams. This material is presented as a real alternative to the use of fibre-reinforced polymers (FRP) in situations where these composites have presented some drawbacks or their use is banned. Textile Reinforced Mortar show a complex mechanical behaviour derived from the heterogeneity of the constituent materials. This paper aims to deepen the knowledge of this composite material in terms of tensile behaviour. Following this scope, this paper presents an experimental campaign focused on thirty one TRM specimens reinforced with four different reinforcing ratios. The results are analysed and contrasted with two distinct models. i) the Aveston-Cooper-Kelly theory (ACK) which is based on a tri-linear analytical approach; and ii) a nonlinear numerical simulation with a 3D Finite Element code. The Finite Element Analysis (FEA) of the TRM tensile tests also showed no significant dependence on the basalt-to-mortar interface, i.e., the choice of a bond-slip curve in order to reproduce the bond stresses and slippages along the interface is irrelevant and it can be simply considered as rigid interface.

Nowadays, modern analysis of Civil Engineering structures implies the use of increasingly sophisticated computer models, designed not only to predict the response of actual structures to different loadings, but also to simulate the effects of eventual modifications in their structural configuration. Nevertheless, it is often discovered that, when the numerical simulations are compared with experimental data, the degree of correlation is weak preventing the use of the FE models with confidence in further analyses. In such cases, FE updating techniques are available to correct the FE models, based on dynamic response records of the real structures. These updating processes usually consist of four phases: a preliminary FE modeling, an experimental modal identification, a manual sensitivity analysis and, finally, an updating of the FE model. The present paper presents all four phases of a successful updating process for the FE model of a footbridge structure. It is shown how the last phase of the process can be performed fully automatically, by coupling an optimization routine with a commercial FE analysis program.

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.

Nowadays there is a clear increase of products or tailored solutions with the goal of better adept to the needs of
clients. In another context there is a wide growth of computers’ presence in the class rooms, in order to assist
the teacher to captivate and motivate the students using educational games. However not all teachers have the
advanced computer knowledge that would allow them to personalize games, which would benefit children by
providing tailored solutions to their specific needs. Having this problem into consideration it was designed/idealized a system that relies on a framework of game creation that allows a user with less informatics skills to create a game based on a model. Although there are many games of this type it would be useful and innovative for a teacher to be able to create a game that is personalized to the students’ needs and according to the skills that they wish to develop. This system consists in an interface where the user has to follow some established steps, in order to achieve a file containing all the game features, which is later imported to
a framework. That system allows the creation of different games, as long as these games come under the same game mechanics.

n/a

This paper presents a graphical interface to query model-driven spreadsheets, based on experience with previous work and empirical studies in querying systems, to simplify query construction for typical end-users with little to no knowledge of SQL. We briefly show our previous text based model-driven querying system. Afterwards, we detail our graphical model-driven querying interface, explaining each part of the interface and showing an example. To validate our work, we executed an empirical study, comparing our graphical querying approach to an alternative querying tool, which produced positive results.

n/a

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.

This book contains the outcome of the 9th IFIP WG 5.5 International Summer Workshop on Multimodal Interfaces, eNTERFACE 2013, held in Lisbon, Portugal, in July/August 2013. The 9 papers included in this book represent the results of a 4-week workshop, where senior and junior researchers worked together on projects tackling new trends in human-machine interaction (HMI). The papers are organized in two topical sections. The first one presents different proposals focused on some fundamental issues regarding multimodal interactions, i.e., telepresence, speech synthesis and interactive modeling. The second is a set of development examples in key areas of HMI applications, i.e., education, entertainment and assistive technologies.

n/a

The thermal behavior and transport properties of several ion jellys (IJs), a composite that results from the combination of gelatin with an ionic liquid (IL), were investigated by dielectric relaxation spectroscopy (DRS), differential scanning calorimetry (DSC), and pulsed field gradient nuclear magnetic resonance spectroscopy (PFG NMR). Four different ILs containing the dicyanamide anion were used: 1-butyl-3-methylimidazolium dicyanamide (BMIMDCA), 1-ethyl-3-methylimidazolium dicyanamide (EMIMDCA), 1-butyl-1-methylpyrrolidinium dicyanamide (BMPyrDCA), and 1-butylpyridinium dicyanamide (BPyDCA); the bulk ILs were also investigated for comparison. A glass transition was detected by DSC for all materials, ILs and IJs, allowing them to be classified as glass formers. Additionally, an increase in the glass transition temperature upon dehydration was observed with a greater extent for IJs, attributed to a greater hindrance imposed by the gelatin matrix after water removal, rendering the IL less mobile. While crystallization is observed for some ILs with negligible water content, it was never detected for any IJ upon thermal cycling, which persist always as fully amorphous materials. From DRS measurements, conductivity and diffusion coefficients for both cations (D+) and anions (D–) were extracted. D+ values obtained by DRS reveal excellent agreement with those obtained from PFG NMR direct measurements, obeying the same VFTH equation over a large temperature range (ΔT ≈ 150 K) within which D+ varies around 10 decades. At temperatures close to room temperature, the IJs exhibit D values comparable to the most hydrated (9%) ILs. The IJ derived from EMIMDCA possesses the highest conductivity and diffusion coefficient, respectively, 10–2 S·cm–1 and 10–10 m2·s–1. For BMPyrDCA the relaxational behavior was analyzed through the complex permittivity and modulus formalism allowing the assignment of the detected secondary relaxation to a Johari–Goldstein process. Besides the relevant information on the more fundamental nature providing physicochemical details on ILs behavior, new doorways are opened for practical applications by using IJ as a strategy to produce novel and stable electrolytes for different electrochemical devices.

Sign language is the hearing impaired form of communicating with other people, including listeners. Most cases, impaired people have learned sign language form childhood. The problem arises when a listener comes in contact with an impaired person. For instances, if a couple has a child which is impaired, the parents find a challenge to learn the sign language. In this article, a new playful approach to assist the listeners to learn sign language is proposed. This proposal is a serious game composed of two modes: School-mode and Competition-mode. The first offers a virtual school where the user learns to sign letters and the second offers an environment towards applying the learned letters. Behind the scenes, the proposal contains a sign language recognition system, based on three modules: 1 – the standardization of the Kinect depth camera data; 2 – a gesture library relying on the standardized data; and 3 – the real-time recognition of gestures. A prototype was developed – Kinect-Sign – and tested in a Portuguese Sign-Language school and on eNTERFACE’13 resulting in a joyful acceptance of the approach.

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

Nas últimas décadas, os estudos sobre o desempenho de vigas de betão armado (BA) reforçadas com materiais compósitos de matriz polimérica têm aumentado. Porém, muitas dúvidas e questões persistem, fazendo realçar algumas lacunas sobre o conhecimento adquirido. Um desses aspetos reside na forma de modelar a ligação entre o compósito e o betão. É também sabido que a modelação da abertura de fendas no betão (discreta ou distribuída numa banda) influência o desempenho da ligação entre os materiais colados.
Nesse sentido, apresentam-se, neste trabalho, os resultados numéricos obtidos da modelação numérica não-linear a 3D de vigas de BA sujeitas a flexão de 4 pontos. Os resultados numéricos são confrontados com os experimentais e os diferentes parâmetros que influenciam a ligação analisados e discutidos.