Export 2488 results:
Sort by: Author Title Type [ Year  (Desc)]
2005
Pinto, JV, M. M. Cruz, R. C. da Silva, E. Alves, and M. Godinho. "Magnetic properties of TiO2 rutile implanted with Ni and Co." Journal of Magnetism and Magnetic Materials. 294.2 (2005): E73-E76. AbstractWebsite
n/a
Alferes, {José Júlio Alves}. "Active Rules in the Semantic Web." Lecture Notes in Artificial Intelligence. 2005. 30-44. Abstract
n/a
Alferes, {José Júlio Alves}. "Active rules in the Semantic Web: Dealing with language heterogeneity." RULES AND RULE MARKUP LANGUAGES FOR THE SEMANTIC WEB, PROCEEDINGS. 3791 (2005): 30-44. Abstract
n/a
Alferes, {José Júlio Alves}. "Evolution and reactivity for the Web." Lecture Notes in Artificial Intelligence. Vol. 3564. 2005. 134-172. Abstract
n/a
Alferes, {José Júlio Alves}. "A general language for evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3703. 2005. 101-115. Abstract
n/a
Alferes, {José Júlio Alves}. "An ontology- and resources-based approach to evolution and reactivity in the Semantic Web." Lecture Notes in Computer Science. Vol. 3761. 2005. 1553-1570. Abstract
n/a
Alferes, {José Júlio Alves}. "Operational semantics for DyLPs." Lecture Notes in Artificial Intelligence. Vol. 3808. 2005. 43-54. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "The Refined Extension Principle for Semantics of Dynamic Logic Programming." Studia Logica. 79 (2005): 7-32. Abstract
n/a
Alferes, {José Júlio Alves}. "The well supported semantics for multidimensional dynamic logic programs." Lecture Notes in Computer Science. Vol. 3662. 2005. 356-368. Abstract
n/a
A. Moreira, J. M. Bruel, and J. Araújo. "Adding Behavior Description Support to COTS Components through the Use of Aspects." 2nd Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'05), 8th International Conference on Model-Driven Engineering Languages and Systems (MoDELS’05). Jamaica 2005. Abstract

n/a

A. Moreira, J. Araújo, and A. Rashid. "A Concern-Oriented Requirements Engineering Model." 17th Conference on Advanced Information Systems Engineering. Ed. Falc J. O. Pastor. Lecture Notes in Computer Science. Springer-Verlag, 2005. 293-308. Abstract

n/a

Pinto, I., L. B. Alves, M. D. Ortigueira, and Batista A.G. "ECG Wave Detection and Delineation with Wavelets." Computational Intelligence in Medicine and Healthcare Conference . Biopattern, 2005.
Amaral, P., and P. Barahona. "A Framework for Optimal Correction of Inconsistent Linear Constraints." Constraints. 10:1 (2005): 67-86. Abstract

The problem of inconsistency between constraints often arises in practice as the result, among others, of the complexity of real models or due to unrealistic requirements and preferences. To overcome such inconsistency two major actions may be taken: removal of constraints or changes in the coefficients of the model. This last approach, that can be generically described as ``model corre\-ction" is the problem we address in this paper in the context of linear constraints over the reals. The correction of the right hand side alone, which is very close to a fuzzy constraints approach, was one of the first proposals to deal with inconsistency, as it may be mapped into a linear problem. The correction of both the matrix of coefficients and the right hand side introduces non linearity in the constraints. The degree of difficulty in solving the problem of the optimal correction depends on the objective function, whose purpose is to measure the closeness between the original and corrected model. Contrary to other norms, that provide corrections with quite rigid patterns, the optimization of the important Frobenius norm was still an open problem. We have analyzed the problem using the KKT conditions and derived necessary and sufficient conditions which enabled us to unequivocally characterize local optima, in terms of the solution of the Total Least Squares and the set of active constraints. These conditions justify a set of pruning rules, which proved, in preliminary experimental results, quite successful in a tree search procedure for determining the global minimizer.

A. Moreira, A. Rashid, and J. Araújo. "Multi-Dimensional Separation of Concerns in Requirements Engineering." 13th IEEE International Requirements Engineering Conference. Requirements Engineering. IEEE Computer Society, 2005. 285-296. Abstract

n/a

A. Rashid, A. Moreira, J. Araújo, and P. Sawyer. "A Multi-Dimensional, Model-Driven Approach to Concern Identification and Traceability." 1st Workshop on Models and Aspects, na 19th European Conference on Object-Oriented Programming (ECOOP 2005). Glasgow, Scotland 2005. Abstract

n/a

Amado, Miguel Pires Planeamento Urbano Sustentável. Casal de Cambra - Portugal: Caleidoscópio_Edição e Artes Gráficas, SA, 2005.
J. Araújo, and M. Toro Proceedings of VIII Workshop in Requirements Engineering. Eds. J. Ara, A. Toro, and J. F. Cunha. Porto, Portugal: FEUP, 2005. Abstract

n/a

Henriques, F. M. A., M. P. Amado, and M. P. Faria. "Reflexões sobre Ficha Técnica da Habitação." Revista Engenharia e Vida. 16 (2005).
Marques, C., A. Wemans, M. J. P. Maneira, A. Kozanecki, R. C. da Silva, and E. Alves. "Site location and optical properties of Eu implanted sapphire." Nuclear Instruments & Methods in Physics Research Section B-Beam Interactions with Materials and Atoms. 240.1-2 (2005): 409-414.
Amado, Miguel P. "Sustainable Urban Planning." Sustainable Development and Planning II. Ed. Kungolos Others ISBN: A. G. - and 972-9027-31-5. Sussex - UK: WIT Press, 2005. Vol.1, pp. 181-191.
Phillips, AJL, A. Alves, A. Correia, and J. Luque. "Two new species of Botryosphaeria with brown, one-septate ascospores and Dothiorella anamorphs." Mycologia. 97 (2005): 513-529.
Sanguino, P., O. M. N. D. Teodoro, M. Niehus, C. P. Marques, A. M. C. Moutinho, E. Alves, and R. Schwarz. "{Structural and composition analysis of GaN films deposited by cyclic-PLD at different substrate temperatures}." Sensors and Actuators A: Physical. 121 (2005): 131-135. Abstract2005_ganfilms_sensors.pdfWebsite

GaN films were deposited by cyclic pulsed laser deposition (cyclic-PLD) at different substrate temperatures between 400 and 600◦C. Alignment of the films along the c-axis, grain size, roughness and conductivity increased with temperature. Surface elemental ratio N/Ga was determined by X-ray photoelectron spectroscopy (XPS) and was smaller for films deposited at higher temperature. A decrease of the resistivity of the films agreed with higher metallic (Ga) surface concentration. Bulk elemental ratio N/Ga, determined by Rutherford backscattering spectroscopy (RBS), was higher than the XPS ratio and showed a very small tendency to decrease with deposition temperature. At 600 ◦C, there was evidence of contamination of the films by oxygen probably resulting from diffusion from the sapphire (Al2O3) substrate. These results suggest that adjustments in the deposition conditions are needed in order to have high crystal alignment, large grain size and good N/Ga ratio.

Acosta, DR, H. Gomez, M. Adachi, J. Jiu, T. Aernouts, HZ Chen, H. Aguas, S. Zhang, MM Ahmed, KS Karimov, and others. "Acciarri, M., S. Binetti, M. Bollani, A. Comotti, L. Fumagalli, S. Pizzini and H. von Kanel." Solar Energy Materials & Solar Cells. 87 (2005): 825-834. Abstract
n/a
Zhang, S., L. Raniero, E. Fortunato, L. Pereira, H. Aguas, I. Ferreira, and R. Martins. "Amorphous silicon based piin structure for color sensor." MRS Proceedings. 862.1 (2005). Abstract
n/a
Zhang, S., L. Raniero, E. Fortunato, L. Pereira, H. Aguas, I. Ferreira, and R. Martins. "Amorphous silicon based piin structure for color sensor." MRS Proceedings. Vol. 862. Cambridge University Press, 2005. A9-5. Abstract
n/a