Export 9195 results:
Sort by: Author Title Type [ Year  (Desc)]
2005
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
Bettini, Lorenzo, Rocco de Nicola, Daniele Falassi, Marc Lacoste, Luís Lopes, Licínio Oliveira, Hervé Paulino, and Vasco T. Vasconcelos. "A Software Framework for Rapid Prototyping Run-Time Systems for Mobile Calculi." Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004, Revised Selected Papers. Ed. Paola Priami, Corrado; Quaglia. Lecture Notes in Computer Science. Springer-Verlag, 2005. 179-207. Abstract
n/a
Paulino, Hervé, and Luís Lopes The Mob Core Language and Abstract Machine. CITI, 2005. 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

Karlovich, Alexei Yu. "Algebras of singular integral operators on Nakano spaces with Khvedelidze weights over Carleson curves with logarithmic whirl points." Izvestiya Vysshih Uchebnyh Zavedeniy. Severo-Kavkazskiy Region. Estestvennye Nauki. Special Issue "Pseudodifferential equations and some problems of mathematical physics". Rostov-on-Don: Rostov University Press, 2005. 135-142. Abstract22_2005_simonenko-70.pdf

We establish a Fredholm criterion for an arbitrary operator in the Banach algebra of singular integral operators
with piecewise continuous coefficients on Nakano spaces (generalized Lebesgue spaces with variable exponent) with Khvedelidze weights over Carleson curves with logarithmic whirl points.

Mestre, D., Rybarczyk Y., Hoppenot P., and Colle E. "Assistance robotics: implementation of human-like visuo-motor synergies on a teleoperated mobile device." 20th Annual International Conference on Technology and Persons with Disabilities. Los Angeles, USA 2005. copy.pdf
Mestre, D., Rybarczyk Y., Hoppenot P., and Colle E. "Assistance robotics: the role of human-like modes of control." 8th Conference of the Association for the Advancement of Assistive Technology in Europe. Lille, France 2005. copy.pdf
Cardoso, R. M. R., and H. R. Waters. "Calculation of finite time ruin probabilities for some risk models." Insurance: Mathematics and Economics. 37.2 (2005): 197-215.
Oliveira, F. "A class of non-local operators for Vorticity waves." Applicable Analysis. 84 (2005): 1287-1302.Website
Baptista, Pedro, Gonçalo Doria, David Henriques, Eulália Pereira, and Ricardo Franco. "Colorimetric detection of eukaryotic gene expression with DNA-derivatized gold nanoparticles." Journal of Biotechnology. 119.- (2005): 111-117.baptista_et_al_j_biotechnol_119_2005_111-117.pdf
Karlovich, Alexei Yu., and Andrei K. Lerner. "Commutators of singular integrals on generalized Lp spaces with variable exponent." Publicacions Matematiques. 49.1 (2005): 111-125. AbstractWebsite

A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized Lp spaces with variable exponent.

Malheiro, A. "Complete rewriting systems for codified submonoids." Int. J. Algebra Comput.. 15 (2005): 207-216. AbstractWebsite

Given a complete rewriting system R on X and a subset X0 of X+ satisfying certain conditions, we present a complete rewriting system for the submonoid of M(X;R) generated by X0. The obtained result will be applied to the group of units of a monoid satisfying H1 = D1. On the other hand we prove that all maximal subgroups of a monoid defined by a special rewriting system are isomorphic.

Chastre Rodrigues, C. Comportamento às acções cíclicas de pilares de betão armado reforçados com materiais compósitos. Eds. Manuel A. G. Silva. Faculdade de Ciências e Tecnologia, Universidade NOVA de Lisboa. Lisboa, 2005. Abstract

This thesis deals with the analysis of the behaviour of retrofitting reinforced concrete circular columns with FRP materials which were subjected either to axial cyclic compression or axial compression and alternated cyclic horizontal loads. The choice of this topic derived from the need to investigate the behaviour of the strengthening of reinforced concrete columns to seismic actions, especially with new materials such as carbon and glass fibres or polymeric mortars. Another reason for such choice is linked to the strong seismicity of the Portuguese territory.
It has been verified that confined concrete columns with FRP jackets have their resistance and ductility highly increased as these considerably reduce the columns transversal deformation, thus preventing the buckling of longitudinal reinforcement. There has been an increasing use of FRP composites in the strengthening of structures, mainly with GFRP (Glass Fibre Reinforced Plastics) or CFRP (Carbon Fibre Reinforced Plastics). This is due to their attractive characteristics such as high resistance to corrosion, lowratio for weight/strength, moldability, easy application and the fact that there is no need of support structures.
Forty-five experimental tests were carried out, dealing with retrofitting reinforced concrete columns with axial monotonic or cyclic compression reinforced with FRP composites. The column height of 750 mm was maintained in order to evaluate the influence of several parameters in its behaviour: the column geometry (change in its diameter), the type of column (plain or reinforced concrete), transversal reinforcement ratio of concrete columns, the type of external confinement with FRP (C or GFRP), the number of FRP layers and the type of axial loading (monotonic or cyclic).
Twelve additional experimental tests were conducted in order to analyse the behaviour of reinforced concrete columns jacketed with FRP composites and subjected to axial cyclic compression and alternated cyclic horizontal loads. The columns’ dimension was maintained (1500 mm height by 250 mm diameter) and the models were subjected to a series of cyclic and alternated loadings. This enabled the study of the various parameters’ influence in their behaviour such as the type of FRP confinement, the number of FRP layers, the level of axial loading, the jacket’s height or the strengthening of the plastic hinge by replacing the cover concrete with polymeric mortar.
Based on the numerical models presented and experimental analysis carried out, models were proposed and developed to simulate the behaviour of columns jacketed with FRP composites.

Pinho, Fernando F. S., Manuel Baião, and Válter J. G. Lúcio. "Comportamento experimental de modelos de alvenaria de pedra ordinária sujeitos a esforços mecânicos, antes e após reforço estrutural." Revista Construlink. Nº 9 .3 (2005).
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

Fernandes, Vítor H., Gracinda M. S. Gomes, and Manuel M. Jesus. "Congruences on monoids of order-preserving or order-reversing transformations on a finite chain." Glasg. Math. J.. 47 (2005): 413-424.Website
Fernandes, Vítor H., Gracinda M. S. Gomes, and Manuel M. Jesus. "Congruences on monoids of order-preserving or order-reversing transformations on a finite chain." Glasg. Math. J.. 47 (2005): 413-424. Abstract

n/a

K. Kang, and J. Araújo. "Cultural issues on Global Websites and Aspect-Oriented requirements Engineering." 5th International Business Information Management Association Conference: The Internet & Information Tecnology in Modern Organizations (IBIMA 2005). IBIMA, 2005. Abstract

n/a

Sousa, Teresa. "Decompositions of graphs into 5-cycles and other small graphs." Electronic Journal of Combinatorics. 12 (2005): R49, 7 pp. Abstract5-cycle.pdfWebsite

If H is a family of graphs, then an H-decomposition of a graph G is a partition of the edges of G each element of which induces a copy of a graph in G.
This paper addresses the problem of finding the number φ(n,H), the smallest number k such that every graph on n vertices has an H-decomposition with at most k elements. φ(n,H) is found in the cases when H={K2,C5}; when H={K2,C5+e}, where e is a chord of the C5; when H={K2,K4−e}; and when H={K2,K3+e}, where e is a pendant edge added to one vertex in the K3.

Salema, M. I. G., APB Póvoa, and A. Q. Novais. "Design and planning of supply chains with reverse flows." Computer Aided Chemical Engineering. Eds. Luis Puigjaner, and António Espuña. Vol. 20. Elsevier, 2005. 1075-1080. Abstract

A multi-product model for the design of global supply chains with reverse flows is proposed. Two levels of decisions are considered, one strategic and one tactical. The first is modelled through a macro perspective of time where the determination of the network structure and flows is accomplished. At tactical level, a micro perspective of time is considered, where production planning and inventory management are addressed in detail. A mixed integer linear programming formulation is developed which is solved with standard Branch and Bound techniques. The model accuracy and suitability are studied using a case study.

Mateus, O. Dinossauros do Jurássico Superior de Portugal, com destaque para os saurísquios. Universidade Nova de Lisboa. Lisboa, 2005.
Caeiro, Frederico, M.Ivette Gomes, and Dinis Pestana. "Direct reduction of bias of the classical Hill estimator." REVSTAT. 3 (2005): 113-136. Abstract

{Summary: We are interested in an adequate estimation of the dominant component of the bias of ıt B. M. Hill}\,'s estimator [Ann. Stat. 3, 1163–1174 (1975; Zbl 0323.62033)] of a positive tail index $\gamma$, in order to remove it from the classical Hill estimator in different asymptotically equivalent ways. If the second order parameters in the bias are computed at an adequate level $k_1$ of a larger order than that of the level $k$ at which the Hill estimator is computed, there may be no change in the asymptotic variances of these reduced bias tail index estimators, which are kept equal to the asymptotic variance of the Hill estimator, i.e., equal to $\gamma^2$. The asymptotic distributional properties of the proposed estimators of $\gamma$ are derived and the estimators are compared not only asymptotically, but also for finite samples through Monte Carlo techniques.}