Export 2520 results:
Sort by: Author Title Type [ Year  (Desc)]
2013
Alferes, José Júlio, Matthias Knorr, and Terrance Swift. "Query-Driven Procedures for Hybrid MKNF Knowledge Bases." ACM Transactions On Computational Logic. 14.2 (2013). Abstracttocl13.pdf

n/a

Alexandre, Fernando, Ricardo Marques, and Hervé Paulino. "Esqueletos Algorítmicos para Paralelismo de Tarefas em Sistemas Multi-GPU." INForum 2013 - Atas do 5º Simpósio de Informática. Eds. João Cachopo, and Beatriz Sousa Santos. Évora, Portugal: Escola de Ciências e Tecnologia da Universidade de Évora, 2013. 238-249. Abstract

A crescente utilização de Unidades de Processamento Gráfico (GPUs) na computação de caráter geral levanta questões de desempenho e de escalabilidade. Para responder a estes requisitos de forma efetiva, cada vez mais se recorre à utilização colaborativa de vários GPUs num só sistema. Esta abordagem introduz, no entanto, novos desafios, tal como a decomposição do domínio do problema e a gestão da possível heterogeneidade dos dispositivos. Neste contexto assume particular relevância a proposta de abstrações que escondam a complexidade da programação destes sistemas. Existe já algum trabalho na área, mas este restringe-se ao paralelismo de dados. Por conseguinte, neste artigo abordamos a utilização de uma biblioteca de esqueletos algorítmicos, Marrow, para a exploração de paralelismo de tarefas em sistemas computacionais com estas características. Os resultados são promissores, apresentado a escalabilidade esperada nos sistemas testados.

Silva, João, Tiago Vale, João M. Lourenço, and Hervé Paulino. "Replicação Parcial com Memória Transacional Distribuída." INForum 2013 - Atas do 5º Simpósio de Informática. Eds. João Cachopo, and Beatriz Sousa Santos. Évora, Portugal: Escola de Ciências e Tecnologia da Universidade de Évora, 2013. 310-321. Abstract

Os sistemas de memória transacional distribuída atuais recorrem essencialmente à distribuição ou à replicação total para distribuir os seus dados pelos múltiplos nós do sistema. No entanto, estas estratégias de replicação de dados apresentam limitações. A distribuição não oferece tolerância a falhas e a replicação total limita a capacidade de armazenamento do sistema. Nesse contexto, a replicação parcial de dados surge como uma solução intermédia, que combina o melhor das duas anteriores com o intuito de mitigar as suas desvantagens. Esta estratégia tem sido explorada no contexto das bases de dados distribuídas, mas tem sido pouco abordada no contexto da memória transacional e, tanto quanto sabemos, nunca antes tinha sido incorporada num sistema de memória transacional distribuída para uma linguagem de propósito geral. Assim, neste artigo propomos e avaliamos uma infraestrutura para replicação parcial de dados para programas Java bytecode, que foi desenvolvida com base num sistema já existente de memória transacional distribuída. A modularidade da infraestrutura que apresentamos permite a implementação de múltiplos algoritmos e, por conseguinte, avaliar em que contextos de utilização (workloads, número de nós, etc.) a replicação parcial se apresenta como uma alternativa viável a outras estratégias de replicação de dados.

Parreira, Daniel, and Hervé Paulino. "Uma Abordagem Alto Nível ao Controlo de Concorrência Componível Centrado nos Dados." INForum 2013 - Atas do 5º Simpósio de Informática. Eds. João Cachopo, and Beatriz Sousa Santos. Évora, Portugal: Escola de Ciências e Tecnologia da Universidade de Évora, 2013. 298-309. Abstract

O controlo da concorrência no acesso a estado partilhado assume actualmente um papel de destaque no desenvolvimento de software. Trabalhos recentes propõem que tal gestão seja expressa ao nível dos dados, em alternativa à usual centralidade no código. A principal vantagem é o acoplamento da gestão da concorrência com a declaração dos dados, eliminando desse modo a descentralização dos erros de concorrência, facilitando a sua correção. No entanto, as abordagens centradas nos dados existentes pecam por não garantirem a ausência de deadlocks em todos os cenários e/ou exigirem do programador a agregação explícita dos recursos que devem ser avaliados atomicamente. A nossa proposta colmata ambas estas limitações. O programador anota isoladamente que zonas de memória requerem acesso exclusivo, sendo que uma análise estática infere quais dessas devem ser agrupadas e adquiridas atomicamente, e garante que o código gerado é ausente de deadlocks. De modo a aferir-se a eficiência da nossa solução, comparamos o seu desempenho e a sua produtividade relativamente à memória transacional e outras abordagens centrada nos dados.

Delgado, Nuno, and Hervé Paulino. "Uma Abordagem Sistema para o Paralelismo Hierárquico em Arquitecturas Multi-core." INForum 2013 - Atas do 5º Simpósio de Informática. Eds. João Cachopo, and Beatriz Sousa Santos. Évora, Portugal: Escola de Ciências e Tecnologia da Universidade de Évora, 2013. 274-285. Abstract

A decomposição correta de um problema paralelo com base na hierarquia de memória onde irá executar pode levar a ganhos de desempenho significativos durante execução do mesmo. No entanto, os subsistemas de memória das arquiteturas multicore modernas apresentam variadas configurações, em termos das suas organizações hierárquicas e da capacidade dos seus diversos níveis de memória. Existem diversas abordagens que permitem adequar a execução de uma aplicação à estratificação hierárquica da memória,. Contudo estas exigem do programador um conhecimento profundo da arquitetura alvo e de programação paralela em geral. A abordagem apresentada neste artigo contrasta com as demais, transpondo esta responsabilidade para o sistema de execução, colocando sobre a sua alçada a decomposição hierárquica da computação. Nessa medida, ao programador cabe apenas expressar de forma genérica os algoritmos de subdivisão do domínio do problema. Avaliamos o desempenho da nossa abordagem relativamente a outra baseada na usual decomposição horizontal do domínio do problema. Os resultados são bons, apresentando ganhos de performance em aplicações que usufruem do tipo de otimização efetuada e desempenhos equiparáveis nas restantes.

Caires, Luís, and João Costa Seco Working Note on a Type Checking Algorithm for Behavioral Separation Types. Universidade Nova de Lisboa, 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.
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.

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
Fino, H., V. Solovyev, and L. Zinchenko Challenges for Students Mobility Between European and Russian Universities. 16th International Conference on 
Interactive Collaborative Learning. IEEE, 2013.
Rybarczyk, Y., Vernay D., Rybarczyk P., Lebret M.C., Duhaut D., Lemasson G., Pesty S., and Lucidarme P. "COCHISE project: an augmented service dog for disabled people." 12th conference of the Association for the Advancement of Assistive Technology in Europe. Vilamoura, Portugal 2013. copy.pdf
Correia, Isabel, Teresa Melo, and Francisco Saldanha-da-Gama. "Comparing classical performance measures for a multi-period, two-echelon supply chain network design problem with sizing decisions." Computers and Industrial Engineering. 64 (2013): 366-380. Abstract

n/a

Cunha, Jácome, João Paulo Fernandes, Jorge Mendes, and João Saraiva. "Complexity Metrics for Spreadsheet Models." The 13th International Conference on Computational Science and Its Applications. Eds. B. Murgante, and et al. Vol. 7972. ICCSA'13, 7972. LNCS, 2013. 459-474. Abstracticcsa-sq13.pdf

This paper proposes a set of metrics for the assessment of the complexity of models defining the business logic of spreadsheets. This set can be considered the first step in the direction of building a quality standard for spreadsheet models, that is still to be defined. The computation of concrete metric values has further been integrated under a well-established model-driven spreadsheet development environment, providing a framework for the analysis of spreadsheet models under spreadsheets themselves.

Lourenço, Luís Miguel, João Costa Seco, and Francisco Martins Concurrent Typed Intermediate Language. Object Oriented Programming Languages and Systems at 28th Symposium On Applied Computing. Coimbra, 2013.
Ferreira, Paulo, João Costa Seco, and Carla Ferreira Fluxo de Informação em Sistemas com Políticas de Confidencialidade Dinâmicas. INForum 2013. Évora, 2013.
Santos-Tavares, R., JP. Oliveira E. Santin, and J. Goes Gain Enhancement and Input Parasitic Capacitance Reduction of Single-Stage OTAs by Using Differential Voltage Combiners. 20th Int. Conf. Mixed Design of Integrated Circuits and Systems (MIXDES'2013). Gdynia, Poland: IEEE, 2013.
Silva, Manuel A. G., Hugo Biscaia, and Carlos Chastre. "Influence of Temperature Cycles on Bond between GFRP and Concrete." ACI Structural Journal. 110.6 (2013): 977-988. AbstractWebsite

Reinforced concrete (RC) beams externally strengthened with glass fiber-reinforced polymer (GFRP) strips bonded to the soffit may see their load-carrying capacity reduced due to environmental conditions—especially due to the deterioration of bond between the adhesively bonded laminates and concrete, causing premature failure.
More research has been published on the detachment of the laminate progressing from the anchorage zone than on failure induced by the formation of flexural or shear-flexural cracks in the midspan followed by fiber-reinforced polymer (FRP) separation and failure designated as intermediate crack (IC) debonding. An experimental program to study degradation of the GFRP laminate beam specimens after accelerated temperature cycles, namely: 1) freezing-and-thawing type; and 2) cycles of the same amplitude (40°C [104°F]) and an upper limit approximately 70% of the glass vitreous transition temperature of the resin, Tg, is described.
Effects on the bond stress and ultimate capacity are reported. Substantial differences between shear and bending-induced failure and a decrease of bond stresses and engagement of the laminates on the structural response are analyzed.

Bundaleski, N., J. Trigueiro, A. G. Silva, A. M. C. Moutinho, and O. M. N. D. Teodoro. "Influence of the patch field on work function measurements based on the secondary electron emission." JOURNAL OF APPLIED PHYSICS. 113.183720 (2013): 1-11.2013_influence_of_the_patch_field_on_work_function_measurements_based_on_the_secondary_electron_emission.pdf
Strganac, Christopher, Louis L. Jacobs, Kurt M. Ferguson, Michael J. Polcyn, Octávio Mateus, Anne S. Schulp, and Maria Luísa Morais Late Cretaceous marine reptiles and cooling at the South Atlantic coast inferred through stable oxygen isotopes of Inoceramus from the Namibe Basin, Angola. Geological Society of America Abstracts with Programs. Vol. 45, No. 7, p.0., 2013.
Biscaia, Hugo C., Carlos Chastre, and Manuel A. G. Silva. "Linear and nonlinear analysis of bond-slip models for interfaces between FRP composites and concrete." Composites Part B: Engineering. 45 (2013): 1554-1568. AbstractWebsite

The paper analyses different analytical and numerical solutions for the debonding process of the FRP-to-concrete interface on shear tests with the FRP plate submitted to a tensile load in one of its ends. From the point of view of the state of the art, two different ways of finding the bond-slip curve from experiments are discussed and analysed. Essentially, three different linear bond-slip models, one exponential model and another power based function are employed in the numerical process. The results are analysed and compared. The differences found in the stress field along the interface, maximum load, maximum slip, ultimate slip, fracture energy and effective bond length are reported. The load-slip behaviour is also presented for the linear and non-linear models herein studied and the influence of the local bond-slip model on the debonding process is discussed. The numerical integration process used on the present study proved to be coherent with the analytical expressions determined for the linear bond-slip models and allowed to verify that maximum load transmittable to the FRP plate is influenced by the square root of the FRP stiffness and fracture energy even when nonlinear bond-slip models are assumed.

Corcho, A. J., J. D. Silva, and F. Oliveira. "Local and global well-posedness for the critical Schrödinger-Debye system." Proceedings of the American Mathematical Society. 141 (2013): 3485-3499.Website