Export 9208 results:
Sort by: Author Title Type [ Year  (Desc)]
2010
Carvalho, G., R. Marques, A. R. Lopes, C. Faria, J. P. Noronha, A. Oehmen, O. C. Nunes, and M. A. M. Reis. "Biological treatment of propanil and 3,4-dichloroaniline: Kinetic and microbiological characterisation." Water Research. 44.17 (2010): 4980-4991.Biological Treatment of Propanil and 3,4-Dichloroaniline - Kinetic and Microbiological Characterisation 2010.pdf
Faria, Duarte, António Ramos, and Válter Lúcio. "Bond Behaviour of Prestress Steel Strands Bonded with an Epoxy Adhesive and a Cement Grout for Flat Slab Strengthening Purposes – Experimental Study." 3rd fib International Congress - 2010. Washington: fib, 2010. 1-10. Abstract

n/a

Correia, Isabel, Stefan Nickel, and Francisco Saldanha-da-Gama. "The capacitated single-allocation hub location problem revisited: A note on a classical formulation." European Journal of Operational Research. 207 (2010): 92-96. Abstract

n/a

Amarante dos Santos, F. P., and C. Cismaşiu. "Comparison Between Two SMA Constitutive Models for Seismic Applications." Journal of Vibration and Control. 16.6 (2010): 897-914 . AbstractWebsite

This paper analyses and compares the dynamic behavior of superelastic shape memory alloy (SMA) systems based on two different constitutive models. The first model, although being able to describe the response of the material to complex uniaxial loading histories, is temperature and rate independent. The second model couples the mechanical and kinetic laws of the material with a balance equation considering the thermal effects. After numerical validation and calibration, the behavior of these two models is tested in single degree of freedom dynamic systems, with SMAs acting as restoring elements. Different dynamic loads are considered, including artificially generated seismic actions, in a numerical model of a railway viaduct. Finally, it is shown that, in spite of its simplicity, the temperature- and rate-independent model produces a set of very satisfying results. This, together with its robustness and straightforward computational implementation, yields a very appealing numerical tool to simulate superelastic passive control applications.

Pina, A. S., C. R. Lowe, and A. C. A. Roque. "Comparison of fluorescence labelling techniques for the selection of affinity ligands from solid-phase combinatorial libraries." Separation Science and Technology. 45.15 (2010): 2187-2193.
"Computational modelling in science, technology, engineering and mathematics education." Proceedings of the EIMI 2010 Conference: Educational interfaces between mathematics and industry. Bedford, MA: Centro Internacional de Matemática & Comap Inc, 2010. 387-397.
"Computers, modelling and meaningful learning in science and mathematics." 1º Encontro Internacional TIC e Educação - Inovação Curricular com TIC. Lisboa: Instituto de Educação, Universidade de Lisboa, 2010. 569-574.
Cardoso, E., AG Batista, R. Rodrigues, and M. D. Ortigueira. "A Contribution for the Automatic Sleep Classification Based on the Itakura-Saito Spectral Distance." 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems. EMERGING TRENDS IN TECHNOLOGICAL INNOVATION Book Series, 2010.
Teixeira, Bruno, João M. Lourenço, Eitan Farchi, Ricardo J. Dias, and Diogo Sousa. "Detection of Transactional Memory Anomalies using Static Analysis." Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging (PADTAD'10). {PADTAD}'10. New York, NY, USA: ACM, 2010. 26-36. Abstractpadatad-teixeira-2010.pdf

Transactional Memory allows programmers to reduce the number of synchronization errors introduced in concurrent programs, but does not ensures its complete elimination. This paper proposes a pattern matching based approach to the static detection of atomicity violation, based on a path-sensitive symbolic execution method to model four anomalies that may affect Transactional Memory programs. The proposed technique may be used to to bring to programmer's attention pairs of transactions that the programmer has mis-specified, and should have been combined into a single transaction. The algorithm first traverses the AST tree, removing all the non-transactional blocks and generating a trace tree in the path sensitive manner for each thread. The trace tree is a Trie like data structure, where each path from root to a leaf is a list of transactions. For each pair of threads, erroneous patterns involving two consecutive transactions are then checked in the trace tree. Results allow to conclude that the proposed technique, although triggering a moderate number of false positives, can be successfully applied to Java programs, correctly identifying the vast majority of the relevant erroneous patterns.

Bernardo, M., M. Gonçalves, N. Lapa, and B. Mendes. "Determination of alkylphenols in eluates from pyrolysis solid residues using dispersive liquid-liquid microextraction." Chemosphere. 79.11 (2010): 1026-1032. AbstractWebsite

Dispersive liquid–liquid microextraction (DLLME) coupled with gas chromatography–mass spectrometry (GC–MS) was applied for the determination of 11 alkylphenols in eluates of chars produced in the co-pyrolysis of different wastes.

The optimized DLLME procedure, 4 mL of sample solution, 15 μL of trichloroethylene as extraction solvent, 1 mL of acetone as dispersion solvent and addition of 15% (w/v) of NaCl, was validated. Under the optimum conditions, the enrichment factors were in the range of 82–180. Calibration curves were constructed for each analyte in pure water in the concentration range of 0.5–8 μg/L with correlation coefficients higher than 0.999. The limits of detection were between 0.07 and 0.17 μg/L. The repeatability of the method was evaluated using water samples fortified with the analyte mixture at two concentration levels: the relative standard deviation (RSD) values were between 3.7% and 8.0% for a concentration of 0.5 μg/L, and between 4.2% and 6.4% for a concentration of 3 μg/L. The recoveries of the analytes evaluated by fortification of real eluate samples were in the range of 67.9–97.9% for eluate 1 (obtained from a decontaminated char) and in the range of 61.9–101.4% for eluate 2 (obtained from the untreated char). o-Methylphenol presented low recoveries for both eluates showing a possible matrix effect. The results obtained show that this method is adequate for the determination of alkylphenols in environmental aqueous samples and presents itself as a fast and inexpensive technique, using minor amounts of organic solvents.

Correia, Isabel, Luís Gouveia, and Francisco Saldanha-da-Gama. "Discretized formulations for capacitated location problems with modular distribution costs." European Journal of Operational Research. 204 (2010): 237-244. Abstract

n/a

Almeida, G., H. Biscaia, C. Chastre, J. Fonseca, and F. Melício Displacement Estimation of a RC beam test based on TSS algorithm. CISTI'2010 - 5ª Conferencia Ibérica de Sistemas y Tecnologías de Información. Santiago de Compostela, 2010. Abstract

The traditional methodology used in civil engineering measurements requires a lot of equipment and a very complex procedure especially if the number of target points increase. Since the beginning of the current century, several studies have been conducted in the area of photogrametry using digital image
correlation associated with block motion algorithms to estimate displacements in reinforced concrete (RC) beams during a load test. Using image processing techniques it is possible to measure the whole area of interest and not only a few points of the tests materials. In this paper, block-matching algorithms are used in order to compare the results from photogrametry techniques and the data obtained with linear voltage displacement transducer (LVDT) sensors during the load tests of RC beams, which are very common to find in civil engineering laboratories.

Gabriel, Pedro, Miguel Goulão, and Vasco Amaral. "Do Software Languages Engineers Evaluate their Languages?" XIII Congreso Iberoamericano en "Software Engineering" (CIbSE'2010), ISBN: 978-9978-325-10-0. Eds. Xavier Franch, Itana Maria Sousa de Gimenes, and Juan-Pablo Carvallo. Cuenca, Ecuador: Universidad del Azuay, 2010. 149-162. Abstractgabrielgoulaoamaralcibse2010.pdf

Domain Speci c Languages (DSLs) can contribute to increment productivity, while reducing the required maintenance and programming expertise. We hypothesize that Software Languages Engineering (SLE) developers consistently skip, or relax, Language Evaluation. Based on the experience of engineering other types of software products, we assume that this may potentially lead to the deployment of inadequate languages. The fact that the languages already deal with concepts from the problem domain, and not the solution domain, is not enough to validate several issues at stake, such as its expressiveness, usability,
eff ectiveness, maintainability, or even the domain expert's productivity while using them. We present a systematic review on articles published in top ranked venues, from 2001 to 2008, which report DSLs' construction, to characterize the common practice. This work con rms our initial hypothesis and lays the ground for the discussion on how to include a systematic approach to DSL evaluation in the SLE process.

Morais, J. J. L., M. F. S. F. de Moura, F. A. M. Pereira, J. Xavier, N. Dourado, M. I. R. Dias, and J. M. T. Azevedo. "The double cantilever beam test applied to mode I fracture characterization of cortical bone tissue." Journal of the Mechanical Behavior of Biomedical Materials. 3 (2010): 446-453. Abstract

n/a

SCUTARU, G., F. SANDU, E. COCORADA, M. PAVALACHE, D. KRISTALY, L. Gomes, F. Coito, A. K. MÖRSKY-LINDQUIST, S. CSEREY, M. DASCĂLU, and others EDUCATIONAL REPORT., 2010. Abstract

n/a

Ferreira, I. M. P. L. V., O. Pinho, D. Monteiro, S. Faria, S. Cruz, A. Pereira, A. C. A. Roque, and P. Tavares. "Effect of kefir grains on proteolysis of major milk proteins." Journal of Dairy Science. 93.1 (2010): 27-31.
Emerging Trends in Technological Innovation: First IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, Costa de Caparica, Portugal, February 22. Eds. L. M. Camarinha-Matos, P. Pereira, and L. Ribeiro. Vol. 314. Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010, 314. Costa de Caparica - Portugal: Springer-Verlag New York Inc, 2010.
Beckwith, Laura, Jácome Cunha, João Paulo Fernandes, and João Saraiva End Users Productivity in Model-based Spreadsheets: An Empirical Study. CCTC, Departamento de Informática, Universidade do Minho, 2010. Abstracttr_study.pdf

Spreadsheets are widely used by end users, and studies have shown that most end-user spreadsheets contain non-trivial errors. To improve end users productivity, recent research proposes the use of a model-driven engineering approach to spreadsheets. In this paper we conduct the first systematic empirical study to assess the effectiveness and efficiency of this approach. A set of spreadsheet end users worked with two different model-based spreadsheets, and we present and analyze the results achieved.

Fernandes, Vítor H., M. M. Jesus, V. Maltcev, and J. D. Mitchell. "Endomorphisms of the semigroup of order-preserving mappings." Semigroup Forum. 81 (2010): 277-285.Website
Fernandes, V. H., M. M. Jesus, V. Maltcev, and J. D. Mitchell. "Endomorphisms of the semigroup of order-preserving mappings." Semigroup Forum. 81 (2010): 277-285. Abstract

n/a

Jorge, André, João Guerreiro, Pedro Pereira, João Martins, and Luís Gomes. "Energy Consumption Monitoring System for Large Complexes." Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2010. Eds. Luis Camarinha-Matos, Pedro Pereira, and Luis Ribeiro. Vol. 314. IFIP Advances in Information and Communication Technology, 314. Costa de Caparica - Portugal: Springer Boston, 2010. 419-426. Abstract

This paper describes the development of an open source system for monitoring and data acquisition of several energy analyzers. The developed system is based on a computer with Internet/Intranet connection by means of RS485 using Modbus RTU as communication protocol. The monitoring/metering system was developed for large building complexes and was validated in the Faculdade de Ciências e Tecnologia University campus. The system considers two distinct applications. The first one allows the user to verify, in real time, the energy consumption of any department in the complex, produce load diagrams, tables and print, email or save all available data. The second application keeps records of active/reactive energy consumption in order to verify the existence of some anomalous situation, and also monthly charge energy consumption to each corresponding department.

"Enhancing science and mathematics education with computational modelling." Journal of Mathematical Modelling and Application. 1.2 (2010): 2-15.Website
Paias, Joana, and António Ramos. "Estudo Experimental do Punçoamento em Lajes de Betão Reforçado com Fibras de Aço." Encontro Nacional Betão Estrutural 2010. Ed. GPBE. Lisbon: LNEC, 2010. Abstract

n/a

Gomes Jorge: Ramos, António. "Estudo Experimental do Punçoamento em Lajes Reforçadas com Armadura Transversal Aderente Pós-Instalada." Encontro Nacional Betão Estrutural 2010. Ed. GPBE. LNEC, 2010. Abstract

n/a