Export 9367 results:
Sort by: Author Title Type [ Year  (Desc)]
2013
Marques, Ricardo, Hervé Paulino, Fernando Alexandre, and Pedro D. Medeiros. "Algorithmic Skeleton Framework for the Orchestration of GPU Computations." Euro-Par 2013 Parallel Processing - 19th International Conference, Euro-Par 2013, Aachen, Germany, August 26-30, 2013. Proceedings. Ed. Dieter Mey an Felix Wolf, Bernd Mohr. Lecture Notes in Computer Science. Aachen, Germany: Springer-Verlag, 2013. 874-885. Abstract

The Graphics Processing Unit (GPU) is gaining popular- ity as a co-processor to the Central Processing Unit (CPU). However, harnessing its capabilities is a non-trivial exercise that requires good knowledge of parallel programming, more so when the complexity of these applications is increasingly rising. Languages such as StreamIt [1] and Lime [2] have addressed the offloading of composed computations to GPUs. However, to the best of our knowledge, no support exists at library level. To this extent, we propose Marrow, an algorithmic skeleton frame- work for the orchestration of OpenCL computations. Marrow expands the set of skeletons currently available for GPU computing, and enables their combination, through nesting, into complex structures. Moreover, it introduces optimizations that overlap communication and computa- tion, thus conjoining programming simplicity with performance gains in many application scenarios. We evaluated the framework from a perfor- mance perspective, comparing it against hand-tuned OpenCL programs. The results are favourable, indicating that Marrow’s skeletons are both flexible and efficient in the context of GPU computing.

Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 2013.
I. Bastos, Oliveira L. B., JP Oliveira, and J. Goes A 1.2 V Low-Noise-Amplifier with Double Feedback for High Gain and Low Noise Figure. Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS’2013). Caparica, Portugal: IFIP Advances in Information and Communication Technology, 2013.
Custódio, J. R., J. Goes, and et al. "A 1.2-V 165-uW 0.29-mm2 Multi-Bit Sigma-Delta ADC for Hearing Aids using Nonlinear DACs and with over 91 dB Dynamic-Range." IEEE Transactions on Biomedical Circuits and Systems (TBCAS). vol. 7.no. 3 (2013): pp. 376-385.
Borrego, R., JP Oliveira, and J. Goes A 2.3-dB NF CMOS Low Voltage LNA Optimized for Medical Applications at 600MHz. 20th Int. Conf. Mixed Design of Integrated Circuits and Systems (MIXDES'2013). Gdynia, Poland: IEEE, 2013.
Carvalho L. C., Pires M. J. D., Marques M. M. B. "6. Pd-catalysed Amination on a Soluble Polymer Support: Arylation of Anilines with PEG-supported Aryl Halides." RSC Advances . 3.- (2013): 25711-25715.
J. R. Custódio, LB. Oliveira, JP. Oliveira, and J. Goes. "A 6.2 mW 0.024 mm2 fully-passive RF downconverter with 12 dB gain enhancement using MOS parametric amplification." Analog Integrated Circuits and Signal Processing. vol. 75.no. 2 (2013): pp. 299-304.
Júnior, Maurıcio Manoel Coelho, Maria Lencastre, and João Araújo. "Abordagem para Reuso de Requisitos Tardios em Sistemas de Informação." ER@BR. 2013. Abstract

n/a

Monteiro, Rui, João Araújo, Vasco Amaral, Miguel Goulão, and Pedro Patrício. "Adding Interoperability to Requirements Models." Software Quality Professional Journal. 15.4 (2013): 16-27. Abstractsqpv15i4monteiro.pdfWebsite

Complex software systems inherently require a variety of models used in all of the development stages. A general concern is to guarantee consistency and traceability among these models. Model-driven development (MDD) can help tackle this concern. Although MDD has been mainly used in later development stages, it is relatively unexplored in requirements engineering. In this article, the authors discuss how to
leverage MDD to support consistency and traceability in requirements modeling. To illustrate this, they apply MDD to goaloriented requirements engineering (GORE) by making bidirectional mappings between two well-known GORE approaches (i* and KAOS). The result is an interoperable framework that can be used to migrate from one goal model to another through automatic model transformations, keeping consistency and traceability, so requirements engineers can make the best use of each approach.

Lita da Silva, J., F. Caeiro, I. Natário, and C. A. Braumann Advances in Regression, Survival Analysis, Extreme Values, Markov Processes and Other Statistical Applications. Berlin Heidelberg: Springer, 2013.productflyer_978-3-642-34903-4.pdf
Costa, Gonçalo, Rui Micaelo, and Adelino Ferreira Análise dos critérios de aceitação/rejeição do caderno de encargos tipo obra para pavimentação. 17.º Congreso Ibero-Latinoamericano del Asfalto. Antigua, Guatemala, 2013.
Santos, Susana, Nuno Lapa, Andreia Alves, João Morais, and Benilde Mendes. "Analytical methods and validation for determining trace elements in red wines." Journal of Environmental Science and Health, Part B: Pesticides, Food Contaminants, and Agricultural Wastes. 48.5 (2013): 364-375. AbstractWebsite

The objective of this work is to quantify As, Hg, Cd, Ni and Pb in Portuguese red wines. First, the methods for the quantification of trace elements in red wines were validated. Several pre-treatments were compared, namely a pre-digestion process with HNO3, a pre-oxidation step with H2O2, and a spiking step of wine samples with a known concentration of the trace elements analyzed. Except for As, it was determined that the quantification of the trace elements does not require a pre-digestion process with HNO3. For all of the trace elements analyzed, a pre-oxidation step with H2O2 may enable an accurate quantification. The techniques chosen for the quantification of trace elements were hydride generation atomic absorption spectrometry (HGAAS) for As and Hg, electrothermal atomic absorption spectrometry (ETAAS) for Cd, and flame atomic absorption spectrometry (FAAS) for Ni and Pb. In the second stage of this work, 25 Portuguese red wines spanning all of the red wine-producing regions were analyzed for all of the five trace elements referred to above. Only Cd and Pb have shown concentrations above the limit values defined by the “Organization Internationale de la Vigne et du Vin.” The Target Hazard Quotient (THQ) equation was used to determine in which wine-producing regions that wine consumption can be a problem for public health in terms of the concentrations of the five trace elements analyzed. THQ values have indicated that for the universe of the 25 red wines analyzed no region produces wines that can pose problems for public health, when the Portuguese red wine standard consumption is considered.

Simões, F., F. Lopes, A. Ferreira, and R. Micaelo Aplicação a Portugal do novo método de dimensionamento de pavimentos rodoviários da AASHTO. 7º Congresso Rodoviário Português. Lisboa, 2013.
Ghiassi, B., J. Xavier, D. V. Oliveira, and P. B. Lourenço. "Application of digital image correlation in investigating the bond between FRP and masonry." Composite Structures. 106 (2013): 340-349. Abstract

n/a

Costa, J., Manuel D. Ortigueira, and Arnaldo Batista ARMA Modelling for Sleep Disorders Diagnose. Technological Innovation for the Internet of Things. Portugal: Springer IFIP AICT series, 2013.
Coelho,(ed) C., and et al Arrábida - al-rábita. Lisboa, 229 pp.: Associação de Município da Região de Setúbal, 2013.
Rocha, H. Aspectos da utilização da tecnologia no ensino da Matemática. Actas do XII Congresso Internacional Galego-Português de Psicopedagogia. Braga, Portugal: CIEd - IEUM, 2013. Abstract

O potencial da tecnologia para o ensino e a aprendizagem é há muito reconhecido. Contudo, cada vez mais surgem estudos que indiciam que a sua utilização fica aquém das expectativas. O acesso à tecnologia, o papel que lhe é atribuído na aprendizagem e as características das tarefas em que é utilizada, encontram-se entre as principais influências identificadas sobre a utilização que é feita da tecnologia e potencialmente responsáveis pelas características dessa utilização. O estudo que aqui se apresenta teve como principal objectivo analisar e compreender a utilização que os professores fazem da tecnologia à luz dos aspectos referidos, procurando identificar de que forma estes definem diferentes tipos de utilização. A abordagem metodológica adoptada foi de natureza qualitativa e interpretativa, com a realização de estudos de caso de duas professoras de Matemática que utilizavam a calculadora gráfica. A recolha de dados foi concretizada através de entrevistas semi-estruturadas, observação de aulas e recolha documental, sendo a análise de dados orientada pelo quadro teórico, conciliado com a interpretação destes. As conclusões do estudo sugerem alguma diversidade tanto nas características das tarefas em que as professoras recorrem à tecnologia (exercícios, explorações, problemas, modelação de situações reais), como no papel que lhe é atribuído (obter informação, efectuar cálculos, experimentar), mas apontam também para uma diversidade com características que se traduzem em perfis de utilização da tecnologia distintos: um mais exploratório e outro mais prescritivo.

Silva, Rui, Jorge Patrício, and Daniel Aelenei. "Avaliação acústica de edifícios habitacionais - análise dos coeficientes de ponderação associados aos índices de comportamento acústico de habitações." European Symposium on Environmental Acoustics and Noise Mapping. 2013. Abstract

n/a

Kullberg, J. C., R. B. Rocha, A. F. Soares, J. Rey, P. Terrinha, A. C. Azerêdo, P. Callapez, Duarte, L.V., M. C. Kullberg, L. Martins, J. R. Miranda, C. Alves, J. Mata, J. Madeira, O. Mateus, M. Moreira, and C. R. Nogueira. "A Bacia Lusitaniana: Estratigrafia, Paleogeografia e Tectónica." Geologia de Portugal no contexto da Ibéria. Volume II. Ed. Terrinha Kullberg A. P. J. C. and Dias, R. Araújo. Lisboa: Escolar Editora, 2013. 195-350.kullberg_et_al_2013_a_bacia_lusitaniana.pdf
Cruz, Carla, Sandra D. Santos, Eurico J. Cabrita, and João A. Queiroz. "Binding analysis between l-histidine immobilized and oligonucleotides by SPR and NMR." International Journal of Biological Macromolecules. 56 (2013): 175-180. AbstractWebsite

Saturation transfer difference (STD) NMR technique and surface plasmon resonance (SPR) are used to study amino acid affinity supports–nucleotides interactions with l-histidine amino acid immobilized on a surface as model support. We have immobilized l-histidine ligand on a carboxymethyldextran- modified gold surface intended for surface plasmon resonance and we analyze the binding profiles of synthetic polynucleotides (1–6 base, sugar and backbone) by determining the equilibrium dissociation constant (KD). The SPR binding profile (square-shaped) is identical for all the complexes and the highest binding affinity can be found for polyA6 followed by polyG6 . As expected, the 5′ -mononucleotides have the lowest affinity. To further study the structural aspects of the interaction we investigate the polynucleotide binding preferences to l-histidine chromatography support by STD-NMR spectroscopy. These results revealed that an increase in the number of bases and backbone to 6 units leads to more contacts with the support, where the main driving force for the interaction with polynucleotides are through the base, except for polyC6 , which is mainly through sugar-phosphate backbone. Therefore, the combination of SPR measurements with STD-NMR technique allowed to establish fine details of the molecular recognition process involved in amino acid affinity supports–nucleotides complexes.

Matos, Pedro, Rui Micaelo, and Cátia Duarte Bituminous mastic behaviour at mixing and paving temperatures: filler and bitumen influence analysis. 5th EATA Conference. Braunschweig, Germany, 2013.
Bianucci, Giovanni, Ismael Miján, Olivier Lambert, Klaas Post, and Octávio Mateus. "Bizarre fossil beaked whales (Odontoceti, Ziphiidae) fished from the Atlantic Ocean floor off the Iberian Peninsula." Geodiversitas. 35.1 (2013): 105-153. Abstractbianucci_et_al_2013_fossil_beaked_whales_iberian_peninsula.pdf

Forty partial fossil skulls belonging to beaked whales (Cetacea, Odontoceti, Ziphiidae) were collected by trawling and long-line fishing on Neogene (probably Late Early to Middle Miocene) layers of the Atlantic floor off the coasts of Portugal and Spain (Asturias and Galicia). e systematic study of the most diagnostic Iberian specimens, those preserving the rostrum and the dorsal part of the cranium, led to the recognition of two new genera (Globicetus n. gen. and Imocetus n. gen.) and four new species (Choneziphius leidyi n. sp., G. hiberus n. gen., n. sp., I. piscatus n. gen., n. sp., and Tusciziphius atlanticus n. sp.).
Based on the matrix of a previous work, the phylogenetic analysis places all the new taxa in the subfamily Ziphiinae Gray, 1850. More fragmentary specimens are tentatively referred to the genera Caviziphius Bianucci & Post, 2005 and Ziphirostrum du Bus, 1868. Among these new ziphiids, extremely bizarre skull morphologies are observed. In G. hiberus n. gen., n. sp. the proximal portion of the rostrum bears a voluminous premaxillary spheroid. In T. atlanticus n. sp. a medial premaxillary bulge is present on the rostrum; together with asymmetric
rostral maxillary eminences at the rostrum base, this bulge displays various degrees of elevation in different specimens, which may be interpreted as sexual dimorphism. Specimens of I. piscatus n. gen., n. sp. bear two sets of even crests: spur-like rostral maxillary crests and longitudinal maxillary crests laterally bordering a wide and long facial basin. A preliminary macroscopic observation of these elements indicates very dense bones, with a compactness comparable with that of cetacean ear bones. Questioning their function, the high medial rostral elements (the premaxillary spheroid of G. hiberus n. gen., n. sp. and the medial bulge of T. atlanticus n. sp.) remind the huge rostral maxillary crests of adult males of the extant Hyperoodon ampullatus (Forster, 1770). In the latter, the crests are very likely related to head-butting. However, they are made of much more spongy bone than in the fossil taxa studied here, and therefore possibly better mechanically suited for facing impacts. Other interpretations of these unusual bone specializations, related to deep-diving (ballast) and echolocation (sound reflection), fail to explain the diversity of shapes and the hypothetical sexual dimorphism observed in at least part of the taxa. e spur-like rostral maxillary crests and long maxillary crests limiting the large facial basin in I. piscatus n. gen., n. sp. and the excrescences on the maxilla at the rostrum base in Choneziphius spp. are instead interpreted as areas of origin for rostral and facial muscles, acting on the nasal passages, blowhole, and melon. From a palaeobiogeographic point of view, the newly described taxa further emphasize the differences in the North Atlantic (including Iberian Peninsula) and South African Neogene ziphiid faunal lists. Even if the stratigraphic context is poorly understood, leaving open the question of the geological age for most of the dredged specimens, these differences in the composition of cold to temperate northern and southern hemisphere fossil ziphiid faunas may be explained by a warm-water equatorial barrier.

dos Santos, Amarante F. P., and C. Cismasiu. "Bridge Hinge-Restrainers Built up of NITI Superelastic Shape-Memory Alloys." New Trends in Smart Technologies . Eds. Christian Boller, and Hartmut Janocha. Saarbrücken: Fraunhofer Verlag, 2013. 195-203.
Santos, Amarante Dos F. P., and Corneliu Cismasiu. "Bridge Hinge-Restrainers Built up of NITI Superelastic Shape-Memory Alloys." New Trends in Smart Technologies . Eds. Christian Boller, and Hartmut Janocha. Saarbrücken: Universität des Saarlandes, Fraunhofer IZFP, 2013. 195-203.urnnbnde0011-n-2564581.pdf