Export 4280 results:
Sort by: Author Title Type [ Year  (Desc)]
2015
Pereira, Fernando, Filipe Moutinho, João Paulo Barros, Anikó Costa, and Luís Gomes. "Executable models for Embedded Controllers Development - {A} Cloud Based Development Framework." Proceedings of the MoDELS 2015 Demo and Poster Session co-located with {ACM/IEEE} 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 27, 2015. 2015. 40-43. Abstract

n/a

Goulão, Miguel, and Santiago Matalonga Experimental Software Engineering Latin America Workshop (ESELAW 2015). CIbSE 2015. Lima, Peru, 2015.
Cain, A. J., R. D. Gray, and A. Malheiro. "Finite Gröbner-Shirshov bases for plactic algebras and biautomatic structures for plactic monoids." J. Algebra. 423 (2015): 37-53. AbstractWebsite

This paper shows that every Plactic algebra of finite rank admits a finite Gröbner--Shirshov basis. The result is proved by using the combinatorial properties of Young tableaux to construct a finite complete rewriting system for the corresponding Plactic monoid, which also yields the corollaries that Plactic monoids of finite rank have finite derivation type and satisfy the homological finiteness properties left and right $\mathrm{FP}_\infty$. Also, answering a question of Zelmanov, we apply this rewriting system and other techniques to show that Plactic monoids of finite rank are biautomatic.

Baptista, Susana, Maria Isabel Gomes, Laureano Escudero, Pedro Medeiros, and Filipe Cabrita. "A Fix-and-Relax Algorithm for Solving Parallel and Sequential Versions of a Multi-period Multi-product Closed Loop Supply Chain Design and Operation Planning Model." Operations Research and Big Data: IO2015-XVII Congress of Portuguese Association of Operational Research (APDIO). Eds. Barbosa Ana Paula Ferreira Dias Póvoa, and Luis Joao de Miranda. Springer International Publishing, 2015. 9-14. Abstract2015_baptistagomesescuderomedeiroscabrita_io2015.pdf

n/a

Mateus, O., LL Jacobs, M. J. Polcyn, TS Myers, and AS Schulp The fossil record of testudines from angola from the turonian to oligocene. Society of Vertebrate Paleontology Annual Meeting. Dallas, 2015.mateus_et_al_2015_testudines_angola_svp_abstract.pdf
Ferrás, L., N. Ford, J. Nóbrega, M. L. Morgado, and M. Rebelo. "Fractional Pennes’ Bioheat Equation: Theoretical and Numerical Studies." Fractional Calculus and Applied Analysis . 18.4 (2015): 1080-10106.
Xavier, J., J. R. A. Fernandes, J. J. L. Morais, and O. Frazão. "Fracture behaviour of wood bonded joints under modes I and II by digital image correlation and fibre Bragg grating sensors." Ciência & Tecnologia dos Materiais. 27 (2015): 27-35. AbstractWebsite

Abstract Direct identification of cohesive laws in modes I and İI\} of wood bonded joints is addressed by the double cantilever beam (DCB) and end-notched flexure (ENF) tests, respectively. Moreover, the development and extension of fracture process zone (FPZ) ahead of the initial crack tip, is analysed by means of digital image correlation (DIC) and embedded fibre Bragg grating (FBG) sensors. From \{FBG\} spectral response, the spectrum geometric mean is determined and the strain induced by wavelength variation employed to identify the initial and final stages of the FPZ. These stages are used to consistently define the cohesive laws in both modes I and II. Resistance-curves are determined from the compliance-based beam method (CBBM). Besides, the crack tip opening displacements (CTOD) are determined by post-processing displacement field provided by \{DIC\} around the initial crack tip. The strain energy release rate as a function of the \{CTOD\} are then determined for both mode I and mode II. The respective cohesive laws are reconstructed by numerical approximation and differentiation. It is concluded that the proposed data reduction scheme is effective to determine both the \{FPZ\} development phase and the corresponding cohesive laws of wood bonded joints in both mode I and mode II.

Moura, Rita, Alexandre Pinto, and Fernando F. S. Pinho. "Fundações." Caderno de síntese tecnológica. Reabilitação de edifícios. ISBN 978-989-20-6183-2. Lisboa: Plataforma Tecnológica Portuguesa da Construção, 2015. 48.
Barreto, J., D. Martins, Borges P. de Sousa, S. Kar, G. Bonfait, and I. Catarino Gas gap heat switch for a Cryogen-free magnet system., 2015.
Strganac, Christopher, Louis Jacobs, Mike Polcyn, Octávio Mateus, Timothy Myers, Ricardo Araújo, Kurt M. Fergunson, António Olímpio Gonçalves, Maria Luísa Morais, Anne S. Schulp, Tatiana Silva da Tavares, and Johanna Salminen. "Geological Setting and Paleoecology of the Upper Cretaceous Bench 19 Marine Vertebrate Bonebed at Bentiaba, Angola." Netherlands Journal of Geosciences. 94.1 (2015): 121-136. Abstractstrganac_et_al_2014_geological_setting_bentiaba_angola.pdfWebsite

The Bench 19 Bonebed at Bentiaba, Angola, is a unique concentration of marine vertebrates preserving six species of mosasaurs in sediments best correlated by magnetostratigraphy to chron C32n.1n between 71.4 and 71.64 Ma. The bonebed formed at a paleolatitude near 24°S, with an Atlantic width at that latitude approximating 2700 km, roughly half that of the current width. The locality lies on an uncharacteristically narrow continental shelf near transform faults that controlled the coastal outline of Africa in the formation of the South Atlantic Ocean. Biostratigraphic change through the Bentiaba section indicates that the accumulation occurred in an ecological time dimension within the 240 ky bin delimited by chron 32n.1n. The fauna occurs in a 10 m sand unit in the Mocuio Formation with bones and partial skeletons concentrated in, but not limited to, the basal 1–2 m. The sediment entombing the fossils is an immature feldspathic sand shown by detrital zircon ages to be derived from nearby granitic shield rocks. Specimens do not appear to have a strong preferred orientation and they are not concentrated in a strand line. Stable oxygen isotope analysis of associated bivalve shells indicates a water temperature of 18.5°C. The bonebed is clearly mixed with scattered dinosaur and pterosaur elements in a marine assemblage. Gut contents, scavenging marks and associated shed shark teeth in the Bench 19 Fauna indicate biological association and attrition due to feeding activities. The ecological diversity of mosasaur species is shown by tooth and body-size disparity and by δ13C analysis of tooth enamel, which indicate a variety of foraging areas and dietary niches. The Bench 19 Fauna was formed in arid latitudes along a coastal desert similar to that of modern Namibia on a narrow, tectonically controlled continental shelf, in shallow waters below wave base. The area was used as a foraging ground for diverse species, including molluscivorus Globidens phosphaticus, small species expected near the coast, abundant Prognathodon kianda, which fed on other mosasaurs at Bench 19, and species that may have been transient and opportunistic feeders in the area.

Teixeira, João, Nuno Neuparth, Amalia Botelho, Ana Papoila, Pedro Martins, Paulo Paixão, Iolanda Caires, Daniel Aelenei, João Viegas, Manuela Cano, and Ana Mendes GERIA - Geria Study in Portugal on Health Effects of Air Quality in Elderly Care Centers. Eds. Jo Teixeira, Nuno Neuparth, Am Botelho, Ana Papoila, Pedro Martins, Paix, Iolanda Caires, Daniel Aelenei, Jo Viegas, Manuela Cano, and Ana Mendes. Published by Instituto de Sa: ISPUP - Instituto de Saúde Pública da Universidade do Porto, 2015. AbstractWebsite

As people have become increasingly aware, the age of the European population is rising and the percentage of adults aged 65 years and older is expected to increase. In addition, older people spend about 20 hours per day indoors, and many of them spend essentially their time in elderly care centers (ECC). In this sense, the study of indoor environments and how elder people may be particularly at risk of adverse health effects from pollutants, even at low exposures, due to multiple underlying chronic diseases is becoming an important issue to be addressed by research. Such conditions are highly prevalent, multifactorial, and associated with multiple comorbidities and poor outcomes, such as increased disability and decreased quality of life. The importance of this topic was heightened in 2012 by the World Health Day in 2012 Ageing and health with the theme "Good health adds life to years" and also the ?European Year for Active Ageing and Solidarity between Generations?. Accordingly, this project is suitable to integrate these initiatives and to ensure greater recognition of what older people bring to society and create more supportive conditions for them. To our knowledge, this is the first study in Portugal to assess effects of indoor air contaminants on health status and quality of life in older persons living in ECC. The aim of GERIA project is to carry out a risk assessment, often difficult for older people, involving the identification of multiple factors potentially affecting health and quality of life, the quantification of human exposure to pollutants, and the evaluation of the individual?s response to these stimuli. The results of this project contribute to the understanding of health effects due to indoor environment variables and to provide health benefits to ECC residents with relatively simple measures.

Mota, Bruna, Ana Carvalho, Maria Isabel Gomes, and Ana Paula Barbosa-povoa Green Supply Chain Design and Planning. Eds. J. M. Framinan, P. Perez Gonzalez, and A. Artiba. Proceedings of 2015 International Conference on Industrial Engineering and Systems Management (IESM),. I4 e2 - M. Goudalier, 2015. Abstract2015_motacarvalhogomesbpovoa_iesm2015.pdf

A Mixed Integer Linear Programming model for the design and planning of green supply chains is developed. Strategic and tactical decisions are taken, namely on facility location and capacity installation, supplier selection, technology selection, transportation network definition, supply planning, and product recovery. The aim of this work is to study the use of environmental indicators in these decisions while accounting for profit objectives. Different objective functions concerning environmental aspects are implemented. ReCiPe quantifies the environmental performance of the supply chain and combinations of ReCiPe’s midpoint categories allow a deeper analysis of the impact of these categories in strategic and tactical decisions. The goal is to understand if focusing on selected categories affects supply chain decisions and overall supply chain environmental impact. Net Present Value quantifies the economic performance and is used for lexicographic optimization. The model is applied to a case-study and important managerial insights are obtained. From a holistic point of view, it answers the question: how should supply chain environmental impact be assessed? From a case-study perspective, insights are obtained regarding what type of improvements should be implemented to reduce the environmental impact and how this would affect supply chain strategic and tactical decisions, along with economic performance.

Paulino, Hervé, and Eduardo Marques. "Heterogeneous Programming with Single Operation Multiple Data." Journal of Computer and System Sciences. 81.1 (2015): 16-37. AbstractWebsite

Heterogeneity is omnipresent in today’s commodity computational systems, which comprise at least one multi-core Central Processing Unit (CPU) and one Graphics Processing Unit (GPU). Nonetheless, all this computing power is not being exploited in mainstream computing, as the programming of these systems entails many details of the underlying architecture and of its distinct execution models. Current research on parallel programming is addressing these issues but, still, the systems’ heterogeneity is exposed at language level.
This paper proposes a uniform framework, grounded on the Single Operation Multiple Data model, for the programming of such heterogeneous systems. The model is declarative, empowering the compiler to generate code for multiple architectures from the same source. To this extent, we designed a simple extension of the Java programming language that embodies the model, and developed a compiler that generates code for both multi-core CPUs and GPUs. A performance evaluation attests the validity of the approach that, despite being based on a simple programming model, is able to deliver performance gains on par with hand-tuned data parallel multi-threaded Java applications.

Marzola, M., J. Russo, and O. Mateus. "Identification and comparison of modern and fossil crocodilian eggs and eggshell structures." Historical Biology. 27.1 (2015): 115-133. Abstractmarzola_et_al_2015_identification_and_comparison_of_modern_and_fossil_crocodilian_eggs_and_eggshell_structures.pdfWebsite

Eggshells from the three extant crocodilian species Crocodylus mindorensis (Philippine Crocodile), Paleosuchus palpebrosus (Cuvier's Smooth-fronted Caiman or Musky Caiman) and Alligator mississippiensis (American Alligator or Common Alligator) were prepared for thin section and scanning electron microscope analyses and are described in order to improve the knowledge on crocodilian eggs anatomy and microstructure, and to find new apomorphies that can be used for identification. Both extant and fossil crocodilian eggs present an ornamentation that vary as anastomo-, ramo- or the here newly described rugosocavate type. The angusticaniculate pore system is a shared character for Crocodylomorpha eggshells and some dinosaurian and avian groups. Previously reported signs of incubated crocodilian eggs were found also on our only fertilised and hatched egg. Paleosuchus palpebrosus presents unique organization and morphology of the three eggshell layers, with a relatively thin middle layer characterised by dense and compact tabular microstructure.

Ford, N., M. L. Morgado, and M. Rebelo. "An implicit finite difference approximation for the solution of the diffusion equation with distributed order in time." Electronic transactions on numerical analysis ETNA . 44 (2015): 289-305.
Maiti, B. K., L. B. Maia, C. M. Silveira, S. Todorovic, C. Carreira, M. S. Carepo, R. Grazina, I. Moura, S. R. Pauleta, and JJG Moura. "Incorporation of molybdenum in rubredoxin: models for mononuclear molybdenum enzymes." Journal of Biological Inorganic Chemistry. 20 (2015): 821-829. AbstractWebsite
Moniz, António. "Intuitive Interaction Between Humans and Robots in Work Functions at Industrial Environments: The Role of Social Robotics." Social Robots from a Human Perspective. Eds. Jane Vincent, Sakari Taipale, Bartolomeo Sapio, Giuseppe Lugano, and Leopoldina Fortunati. Heidelberg: Springer, 2015. 67-76.
Silva, RJ, L. Quaresma, and R. Micaelo. "Maintenance and Rehabilitation Programming of the Portuguese Road Network: Development of a Cracking Prediction Model ." International Journal of Pavement Research and Technology. 8.6 (2015): 383-394.published_paper_ijprt_2015.pdf
Catarino, I., D. Martins, and R. Sudiwala Materials for damping the PTC-induced thermal fluctuations of the cold-head. Cryogenic Engineering Conference and the Cryogenic Materials Conference . Tucson, AZ, USA, 2015.
Xavier, J., J. R. A. Fernandes, O. Frazão, and J. J. L. Morais. "Measuring mode I cohesive law of wood bonded joints based on digital image correlation and fibre Bragg grating sensors." Composite Structures. 121 (2015): 83-89. Abstract

Abstract This work addresses the experimental identification of mode I cohesive law of wood bonded joints. The approach combines the double cantilever beam (DCB) test with both digital image correlation (DIC) and embedded fibre Bragg grating (FBG) sensors. The spectrum geometric mean of the \{FBG\} reflected spectral response was determined, and the wavelength evolution was used to define the fracture process zone (FPZ) development phase. This evaluation allowed a consistent selection of experimental range of over which the identification procedure of mode I cohesive law is build up. Mode I crack length, Resistance-curve and cohesive law parameters are characterised and discussed. The strain energy release rate (GI) is determined from the P�d curve by the compliance-based beam method (CBBM). The crack tip opening displacement (wI) is determined by post-processing displacements measured by DIC. The cohesive law in mode I (sI�wI) is then obtained by numerical differentiation of the GI�wI relationship.

Pereira, Bruno Claro, Michael J. Benton, Marcello Ruta, and Octávio Mateus. "Mesozoic echinoid diversity in Portugal: Investigating fossil record quality and environmental constraints on a regional scale." Palaeogeography, Palaeoclimatology, Palaeoecology. 424 (2015): 132-146. Abstractpereira_e_al_2015_mesozoic_echinoids_portugal.pdfWebsite

Abstract Several analyses of diversity through geological time use global, synoptic databases, and this practice often makes it difficult to distinguish true signals in changing diversity from regional-scale sampling and/or geological artefacts. Here we investigate how echinoid diversity changed through the Mesozoic of the Lusitanian basin in Portugal based on a comprehensive, revised database, and seek to distinguish biological signal from geological or environmental constraints. The observed diversity pattern is far from having a defined trend, showing many fluctuations that appear to be linked with gaps in the geological record. This study revealed that, independently of the method used, whether correlation tests or model fitting, the diversity signal is not completely explained by the studied sampling proxies. Among the different proxies, marine facies variation in combination with outcrop area best explains the palaeodiversity curve.

Moura, JJG, PV Bernhardt, L. B. Maia, and P. J. Gonzalez. "Molybdenum and tungsten enzymes: from Biology to chemistry and back." Journal of Biological Inorganic Chemistry. 20 (2015): 181-182. AbstractWebsite
Maia, Luisa B., Jose J. G. Moura, and Isabel Moura. "Molybdenum and tungsten-dependent formate dehydrogenases." Journal of Biological Inorganic Chemistry. 20 (2015): 287-309. AbstractWebsite