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.

n/a

n/a

n/a

An edge-coloured path is rainbow if its edges have distinct colours. The rainbow connection number of a connected graph G, denoted by rc(G), is the minimum number of colours required to colour the edges of G so that any two vertices of G are connected by a rainbow path. The function rc(G) was first introduced by Chartrand et al.~[Math.~Bohem., 133(1) (2008), pp.85-98], and has since attracted considerable interest. In this paper, we introduce two extensions of the rainbow connection number to hypergraphs. We study these two extensions of the rainbow connection number in minimally connected hypergraphs, hypergraph cycles and complete multipartite hypergraphs.