Export 2389 results:
Sort by: Author Title Type [ Year  (Desc)]
2014
Ferrás, L., N. Ford, L. Morgado, and M. Rebelo. "A numerical method for the solution of the time-fractional diffusion equation." Computational Science and Its Applications – ICCSA 2014. Eds. B. M. Torre, S. Misra, A. M. A. C. Rocha, C. Torre, J. G. Rocha, M. I. Falcão, D. Taniar, B. Apduhan, and O.Gervasi. Switzerland: Springer International Publishing, 2014. 117-131.
Franco, N., C. Chastre, and H. C. Biscaia. "Análise do desempenho à flexão de vigas de betão armado reforçadas com armaduras de aço inoxidável." JPEE2014 – 5ª Jornadas Portuguesas de Engenharia de Estruturas, Encontro Nacional Betão Estrutural 2014. LNEC, Lisboa. 2014. Abstractartigo_jpee_2014_franco_chastre_biscaia.pdf

Apresentam-se neste artigo os resultados dos ensaios realizados à escala real de um conjunto de vigas de betão armado com secção em T, levados a cabo para avaliar o desempenho das armaduras de aço inoxidável no reforço à flexão de vigas de betão armado com armaduras pós-instaladas aplicadas com as técnicas de reforço EBR (Externally Bonded Reinforcement), NSM (Near Surface Mounted) e EBR com ancoragens metálicas nas extremidades. Os ensaios realizados demonstraram que as técnicas de reforço utilizadas permitem aumentar a rigidez à flexão em regime elástico. Porém, a viga reforçada através da técnica EBR teve uma rotura prematura antes de atingir o valor da carga de cedência da viga não reforçada. Já as vigas reforçadas com as técnicas NSM e EBR com ancoragens mecânicas superaram o valor da carga de cedência da viga de referência, e as ancoragens mecânicas proporcionaram bastante ductilidade à viga reforçada com esta técnica.

Mamede, Nuno, Duarte Faria, and António Ramos. "Análise Numérica Não Linear do Punçoamento em Lajes Fungiformes – Calibração." Revista Internacional Tech ITT. 12.35 (2014): 4-13.
Mamede, Nuno, Duarte Faria, and António Ramos. "Análise Numérica Não Linear do Punçoamento em Lajes Fungiformes – Estudo Paramétrico." Revista Internacional Tech ITT. 12.35 (2014): 14-24.
Faísca Phillips, Ana Maria. "Applications of carbohydrate-based organocatalysts in enantioselective synthesis." Eur. J. Org. Chem. (2014): 7291-7303.
Barreira, Gustavo, Ana S. D. Ferreira, Pedro Vidinha, Joaquim M. S. Cabral, José M. G. Martinho, João Carlos Lima, Eurico J. Cabrita, and Susana Barreiros. "Assessing diffusion in enzyme loaded sol–gel matrices." RSC Advances. 4 (2014): 25099-25105. AbstractWebsite

Pulsed field gradient spin echo high resolution magic angle spinning nuclear magnetic resonance spectroscopy is a powerful technique to characterize confined biosystems. We used this approach to assess the diffusion of solvent and reaction species within sol–gel matrices differing in enzyme loading.

Strganac, C., J. Salminen, LL Jacobs, KM Ferguson, M. J. Polcyn, O. Mateus, AS Schulp, ML Morais, TS Tavares, and AO. Gonçalves. "Carbon isotope stratigraphy and 40Ar/39Ar age of the Cretaceous South Atlantic coast, Namibe Basin, Angola." Journal of African Earth Sciences. onine (2014): 1-11. Abstractstrganac_et_al_2014_carbon_isotope_stratigraphy_magnetostratigraphy_and_40ar_39ar_age_of.pdfWebsite

We present the δ13C and paleomagnetic stratigraphy for marine strata at the coast of southern Angola, anchored by an intercalated basalt with a whole rock 40Ar/39Ar radiometric age of 84.6 ± 1.5 Ma, being consistent with both invertebrate and vertebrate biostratigraphy. This is the first African stable carbon isotope record correlated to significant events in the global carbon cycle spanning the Late Cenomanian to Early Maastrichtian. A positive ∼ 3‰ excursion seen in bivalve shells below the basalt indicates the Cenomanian-Turonian Boundary Event at 93.9 Ma, during Oceanic Anoxic Event 2. Additional excursions above the basalt are correlated to patterns globally, including a negative ∼ 3‰ excursion near the top of the section interpreted as part of the Campanian-Maastrichtian Boundary Events. The age of the basalt ties the studied Bentiaba section to a pulse of Late Cretaceous magmatic activity around the South Atlantic and significant tectonic activity, including rotation, of the African continent.

Faustino, Pedro, Carlos Chastre, and Raquel Paula. "Design model for square RC columns under compression confined with CFRP." Composites Part B: Engineering. 57.February (2014): 187-198. Abstractfaustino_chastre_et_al._2014.pdfWebsite

The enhancement of the mechanical behaviour of reinforced concrete (RC) columns with regard to axial compression is an up-to-date concern, namely if the strengthening of existing structures is to be considered. In view of this, external confinement with FRP systems has been tested in order to become a feasible technique, since it seems to have important advantages over other systems such as its high strength and stiffness in relation to weight and its improvement of strength and ductility while confining RC columns. Square columns confined with FRP show a more complex interpretation of their behaviour, when compared to circular columns. Accordingly, the present work includes the analysis of two experimental programs regarding axial compression on CFRP confined RC columns: one on circular and square specimens with different corner radii; the other on square specimens with side lengths ranging from medium to large. Based on this, modelling equations are proposed to predict maximum axial load, axial strain and lateral strain, as well as the entire behaviour until failure with curves of axial load-axial strain and axial load-lateral strain. The modelling results show that the analytical curves are in general agreement with the presented experimental curves for a wide range of dimensions.

Carção, Tiago, Marco Couto, Jácome Cunha, João Paulo Fernandes, and João Saraiva. "Detecting Anomalous Energy Consumption in Android Applications." Proceedings of the 18th Brazilian Symposium on Programming Languages. SBLP '14. 2014. 77-91. Abstractsblp14.pdf

The use of powerful mobile devices, like smartphones, tablets and laptops, are changing the way programmers develop software. While in the past the primary goal to optimize software was the run time optimization, nowadays there is a growing awareness of the need to reduce energy consumption. This paper presents a technique and a tool to detect anomalous energy consumption in Android applications, and to relate it directly with the source code of the application. We propose a dynamically calibrated model for energy consumption for the Android ecosystem, and that supports different devices. The model is then used as an API to monitor the application execution: first, we instrument the application source code so that we can relate energy consumption to the application source code; second, we use a statistical approach, based on fault-localization techniques, to localize abnormal energy consumption in the source code.

Ramos, Pinho A., Válter J. G. Lúcio, and Duarte M. V. Faria. "The effect of the vertical component of prestress forces on the punching strength of flat slabs." Engineering Structures. 76 (2014): 90-98. Abstract

The use of prestress in flat slabs is a common solution, mainly because it allows larger spans and thinner slabs. Nevertheless, smaller thicknesses near the slab-column connections, along with the superposition of high shear and flexural stresses, arise the question of the slab capacity to resist punching. The punching failure results from the superposition of shear and flexural stresses near the column, and is associated to the formation of a pyramidal plug of concrete which punches through the slab. It is a local and brittle failure. The use of prestress can increase the punching capacity of flat slabs-column connections.This work presents the experimental analysis of flat slab specimens with tendons under punching. Nine slabs were tested using unbonded prestress with high strength steel tendons. The influences on the punching capacity of the vertical component of the prestress forces resulting from inclined tendons near the column and their distance to the column are analysed. The in-plane compression force due to prestress was not applied to the slabs, in order to evaluate only the deviation force influence. This work aims to improve the understanding of the behaviour of prestressed flat slabs under punching load in order to properly evaluate the punching resistance of this kind of structures. The experimental punching loads are compared with the provisions of EC2, ACI 318-11 and MC2010. © 2014 Elsevier Ltd.

Soares, PI, AM Alves, LC Pereira, JT Coutinho, IM Ferreira, CM Novo, and J. P. Borges. "Effects of surfactants on the magnetic properties of iron oxide colloids." J Colloid Interface Sci.. 419 (2014): 46-51. AbstractWebsite

Iron oxide nanoparticles are having been extensively investigated for several biomedical applications such as hyperthermia and magnetic resonance imaging. However, one of the biggest problems of these nanoparticles is their aggregation.

Taking this into account, in this study the influence of three different surfactants (oleic acid, sodium citrate and Triton X-100) each one with various concentrations in the colloidal solutions stability was analyzed by using a rapid and facile method, the variation in the optical absorbance along time.

The synthesized nanoparticles through chemical precipitation showed an average size of 9 nm and a narrow size distribution. X-ray diffraction pattern and Fourier Transform Infrared analysis confirmed the presence of pure magnetite. SQUID measurements showed superparamagnetic properties with a blocking temperature around 155 K. In addition it was observed that neither sodium citrate nor Triton X-100 influences the magnetic properties of the nanoparticles. On the other hand, oleic acid in a concentration of 64 mM decreases the saturation magnetization from 67 to 45 emu/g. Oleic acid exhibits a good performance as stabilizer of the iron oxide nanoparticles in an aqueous solution for 24 h, for concentrations that lead to the formation of the double layer.

Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, Rui Pereira, and João Saraiva. "Embedding Model-Driven Spreadsheet Queries in Spreadsheet Systems." Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing. VLHCC '14. Washington, DC, USA: IEEE Computer Society, 2014. 151-154. Abstractvlhcc14.pdf

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.

Cunha, Jácome, João P. Fernandes, Jorge Mendes, and João Saraiva. "Embedding, Evolution, and Validation of Spreadsheet Models in Spreadsheet Systems." IEEE Transactions on Software Engineering. 41.3 (2014): 241-263. Abstracttse14.pdfWebsite

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.

Cunha, Jácome, João P. Fernandes, Jorge Mendes, and João Saraiva Embedding, Evolution, and Validation of Spreadsheet Models in Spreadsheet Systems. HASLab - High-Assurance Software Laboratory & Universidade do Minho, 2014. Abstracttr_embedding.pdf

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.

Silva, Micael, Angelo Miguel Figueiredo, and Eurico J. Cabrita. "Epitope mapping of imidazolium cations in ionic liquid–protein interactions unveils the balance between hydrophobicity and electrostatics towards protein destabilisation." Phys. Chem. Chem. Phys. . in press (2014). Abstract

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).

Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, Rui Pereira, and João Saraiva. "ES-SQL: Visually Querying Spreadsheets." Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing. VLHCC '14. Washington, DC, USA: IEEE Computer Society, 2014. 203-204. Abstractvlhcc14-td.pdf

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.

Abreu, Rui, Jácome Cunha, João Paulo Fernandes, Pedro Martins, Alexandre Perez, and João Saraiva. "FaultySheet Detective: When Smells Meet Fault Localization." Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution. ICSME '14. Washington, DC, USA: IEEE Computer Society, 2014. 625-628. Abstracticsme14-td.pdf

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.

Ferrás, L., M. Rebelo, and M. L. Morgado. "Fractional modelling of Pennes' bioheat equation using distributed order differential equations." 14th International Conference on Computational and Mathematical Methods in Science and Engineering (CMMSE 2014). 2014.
Donovan, T. O., J. Brown, F. Bsching, Alberto Cardoso, J. Cecílio, J. d O, P. Furtado, P. Gil, A. Klein, W. Poettner, U. Roedig, Jorge Sá Silva, R. M. Silva, C. Sreenan, V. Vassiliou, L. Wolf, and Z. Zinonos. "The GINSENG System for Wireless Monitoring and Control: Design and Deployment Experiences." ACM Transactions on Sensor Networks (2014): n/a. Abstract

n/a

Cunha, Jácome, João Paulo Fernandes, Rui Pereira, and João Saraiva. "Graphical Querying of Model-Driven Spreadsheets." Human Interface and the Management of Information. Information and Knowledge Design and Evaluation. Ed. Sakae Yamamoto. Vol. 8521. Lecture Notes in Computer Science, 8521. Springer International Publishing, 2014. 419-430. Abstracthci14.pdf

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.

Ribeiro, D., M. Freitas, SM Tomé, AM Silva, G. Porto, E. J. Cabrita, M. M. Marques, and E. Fernandes. "Inhibition of LOX by flavonoids: a structure-activity relationship study." European Journal of Medicinal Chemistry. 72 (2014): 137-145. AbstractWebsite

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.

Mateus, O., L. Clemmensen, N. Klein, O. Wings, N. Frobøse, J. Milàn, J. Adolfssen, and E. Estrup. "The Late Triassic of Jameson Land revisited: new vertebrate findings and the first phytosaur from Greenland." Journal of Vertebrate Paleontology. Program and Abstracts, 2014 (2014): 182.mateus_et_al2014-_jameson_land_revisited_-_svp_2014.pdf
Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, Rui Pereira, and João Saraiva. "MDSheet – Model-Driven Spreadsheets." Proceedings of the 1st Workshop on Software Engineering methods in Spreadsheets. Eds. Felienne Hermans, Richard F. Paige, and Peter Sestof. Vol. 1209. SEMS '14, 1209. CEUR, 2014. 31-33. Abstractsems14-td.pdf

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.

Biscaia, H. C., C. Chastre, and N. Franco. "Modelação de vigas de betão armado reforçadas à flexão com materiais compósitos de matriz polimérica." JPEE2014 – 5ª Jornadas Portuguesas de Engenharia de Estruturas, Encontro Nacional Betão Estrutural 2014. LNEC, Lisboa. 2014. Abstractartigo_jpee_biscaia_chastre_franco.pdf

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.