Export 9208 results:
Sort by: Author Title Type [ Year  (Desc)]
2009
Alferes, {José Júlio Alves}. "Evolution and Reactivity in the Semantic Web." Lecture Notes in Computer Science. Eds. F. Bry, and J. Maluszynski. Vol. 5500. Springer, 2009. 161-200. Abstract
n/a
Royval, {Alfredo Gabaldon}, {João Alexandre Carvalho Pinheiro} Leite, and {José Júlio Alves} Alferes. "A Logic Programming System for Evolving Programs with Temporal Operators." Lecture Notes in Computer Science. Vol. 5816. 2009. 101-112. Abstract
n/a
Mateus, Octávio. "New specimens of Angolasaurus bocagei and comments on the early radiations of plioplatecarpine mosasaurs. Journal of Vertebrate Paleontology." Journal of Vertebrate Paleontology. 29 (2009): 165A. Abstract

NEW SPECIMENS OF ANGOLASAURUS BOCAGEI AND COMMENTS ON THE EARLY RADIATIONS OF PLIOPLATECARPINE MOSASAURS POLCYN, Michael, SMU, Dallas, TX, USA; JACOBS, Louis, SMU, Dallas, TX, USA; MATEUS, Octávio, Museu da Lourinhã, Lourinhã, Portugal; SCHULP, Anne, Natuurhistorisch Museum Maastricht, Maastricht, Netherlands New, well preserved material of the Turonian mosasaur Angolasaurus bocagei from the Tadi Beds of the Itombe Formation in northern Angola, allows detailed redescription of its morphology and reassessment of its phylogenetic relationships. Angolasaurus had been previously referred to the genus Platecarpus; however, phylogenetic analysis confirms the valid taxonomic status of A. bocagei, and reconstructs that taxon within a clade that also includes the genera Selmasaurus and Ectenosaurus. These forms are united by an elaborated infrastapedial process of the quadrate and a unique ridge-like descending process of the parietal forming the supraoccipital articulation, but also retain a relatively plesiomorphic configuration of the braincase. That clade is united with all other plioplatecarpines by a number of derived characters including the presence of a novel basicranial circulation pattern. In Africa, North and South America, early plioplatecarpines are known by the Middle Turonian and Angolasaurus and closely related forms appear by the Upper Turonian. Selmasaurus and Ectenosaurus are a rare faunal component of the Santonian and Campanian of North America. Platecarpus planifrons appears in the Coniacian of North America and represents the plesiomorphic condition of the clade containing the remaining species of Platecarpus and Plioplatecarpus, that appears in the Santonian and persist until the end of the Cretaceous, reaching global distribution. The temporal and geographic distribution of these radiations suggest influence of paleogeography and eustatic sea levels.

Mateus, Octávio. "Preparation techniques applied to a stegosaurian Dinosaur from Portugal." Journal of Paleontological Techniques. 5 (2009): 1-24. Abstract
n/a
Alferes, {José Júlio Alves}. "Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling." Lecture Notes in Computer Science. Vol. 5823. 2009. 1-16. Abstract
n/a
Leite, {João Alexandre Carvalho Pinheiro}, and {José Júlio Alves} Alferes. "Resource allocation with answer-set programming." IFAAMAS. Eds. C. Sierra, C. Castelfranchi, KS Decker, and JS Sichman. Vol. 1. IFAAMAS, 2009. 649-656. Abstract
n/a
Mateus, Octávio. "The sauropod Turiasaurus riodevensis in the Late Jurassic of Portugal." Journal of Vertebrate Paleontology. 29 (2009): 144A. Abstract

THE SAUROPOD DINOSAUR TURIASAURUS RIODEVENSIS IN THE LATE JURASSIC OF PORTUGAL MATEUS, Octávio, New University of Lisbon (CICEGe-FCT) & Museum of Lourinhã, Lisboa, Portugal A partial sauropod was found in 1996 in Vale Pombas, north of Lourinhã, Central West of Portugal, in the Lourinhã Formation, top of Amoreira Porto Novo member dated as c. 150 M.a. (Early Tithonian, Late Jurassic) and is currently housed at Museum of Lourinhã, in Portugal. The specimen (ML368) comprises a complete tooth with root, anterior chevron and almost complete right forelimb including partial scapula, complete coracoid, humerus, ulna, radius, metacarpals I, III and V, phalanx, and ungual phalanx I. It can be ascribed to Turiasaurus riodevensis, which was previously described from the Villar del Arzobispo Formation at Riodeva (Teruel, Spain). Characters shared with T. riodevensis holotype include: curvature and asymmetry of tooth crown, expansion of crown, outline of humerus, medial deflection of the proximal end of humerus, shape and prominence of deltopectoral crest, vertical ridge in the distal half of the ulna (considered as diagnostic of Turiasauria), configuration of metacarpals, and bone proportions. It differs from T. riodevensis holotype by the smaller size and the more rectangular ungual phalanx in lateral view. The sediments from which the Riodeva specimen was recovered were previsouly thought to be Tithonian to Berriasian in age. The presence of this species in Portugal, in beds confidently dated as Early Tithonian, may allow a more precise date for the Riodeva type locality of early Tithonian in age. The humerus of the Portuguese T. riodevensis is 152 cm long. Although shorter than the Spanish specimen (790 mm), it represents a large individual. All adult sauropods recovered in Portugal thus far are very large individuals: Dinheirosaurus (estimated body length is 20- 25 m), Lusotitan (humerus length estimated to be 205 cm), Lourinhasaurus (femur length: 174 cm), and Turiasaurus here reported. The lack of of small or medium adult body-size sauropods in the Late Jurassic of Portugal, suggests browsing niches thought to be occupied by smaller forms, could be have been available for other dinosaurs, like the long necked stegosaur Miragaia longicollum.

Yoshida, Nobuko, Vasco T. Vasconcelos, Hervé Paulino, and Kohei Honda. "Session-Based Compilation Framework for Multicore Programming." Frank S. de Boer and Marcello M. Bonsangue and Eric Madelain ed. Vol. 5751. Lecture Notes in Computer Science, 5751. Springer Berlin Heidelberg, 2009. 226-246. Abstract
n/a
C. Silva, J. Castro, J. Araújo, A. Moreira, and F. Alencar. "Support for aspectual modeling to Multiagent system architecture." Aspect-Oriented Requirements Engineering and Architecture Design, ICSE workshop. IEEE, 2009. 38-43. Abstract

n/a

A. Rodrigues, and J. Araújo. "VAODA: A Viewpoint and Aspect-Oriented Domain Analysis Approach." 11th International Conference on Enterprise Information Systems (ICEIS 2009),. ICEIS, 2009. Abstract

n/a

C. Nunes, J. Araújo, V. Amaral, and C. Silva. "A DOMAIN SPECIFIC LANGUAGE FOR THE I* FRAMEWORK." 11th International Conference on Enterprise Information Systems. Springer-Verlag, 2009. Abstract

n/a

Paulino, Hervé, and Carlos Tavares. "SeDeUse: A Model for Service-oriented Computing in Dynamic Environments." Mobile Wireless Middleware, Operating Systems and Applications. Second International Conference, Mobilware 2009, Berlin, Germany, April 28-29, 2009. Ed. Carlo; Magedanz Thomas Bonnin, Jean-Marie; Giannelli. Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engi. Springer-Verlag, 2009. 157-170. Abstract
n/a
A. Dias, Vasco Amaral, and J. Araújo. "Towards a Domain Specific Language for a Goal-Oriented approach based on KAOS." 3rd International Conference on Research Challenges in Information Science (RCIS 2009), Fez, MOROCCO. IEEE, 2009. 409-420. Abstract

n/a

M. Alferez, Vasco Amaral, J. Araújo, and J. Santos MDD Approach for Requirements Refinement to Architecture. Lancaster University, 2009. Abstract

n/a

E. Piveta, J. Araújo, M. Pimenta, A. Moreira, P. Guerreiro, and T. Price. "Representing Refactoring Opportunities." 24th Annual ACM Symposium on Applied Computing (ACM SAC'09). ACM Press, 2009. Abstract

n/a

C. Silva, J. Castro, J. Araújo, and A. Moreira. "Advanced Separation of Concerns in Agent-Oriented Design Patterns." Int. Journal of Agent-Oriented Software Engineering (IJAOSE). 3.2&3 (2009): 306-327. Abstract

n/a

Bonfait, G., I. Catarino, J. Afonso, D. Martins, M. Linder, and L. Duband. "20 K Energy Storage Unit." Cryogenics. 49 (2009): 326-333. Abstract

n/a

Caeiro, F., M. I. Gomes, and D. Pestana Alguns resultados adicionais sobre a variância de um estimador de viés reduzido do índice de cauda.. Eds. Correia Ferreira Dias Braumann E. F. S. e Oliveira, I. Actas do XVI Congresso Anual da Sociedade Portuguesa de Estatística - "Arte de Explicar o Acaso"., 2009. Abstract2009spe_art016.pdf

n/a

Karlovich, Alexei Yu. "Asymptotics of Toeplitz matrices with symbols in some generalized Krein algebras." Modern Analysis and Applications: Mark Krein Centenary Conference, Vol. 1. Operator Theory Advances and Applications, 190. Eds. V. Adamyan, Y. Berezansky, I. Gohberg, M. Gorbachuk, V. Gorbachuk, A. Kochubei, H. Langer, and G. Popov. Basel: Birkhäuser, 2009. 341-359. Abstract

Let \(\alpha,\beta\in(0,1)\) and
\[
K^{\alpha,\beta}:=\left\{a\in L^\infty(\mathbb{T}):\
\sum_{k=1}^\infty |\widehat{a}(-k)|^2 k^{2\alpha}<\infty,\
\sum_{k=1}^\infty |\widehat{a}(k)|^2 k^{2\beta}<\infty
\right\}.
\]
Mark Krein proved in 1966 that \(K^{1/2,1/2}\) forms a Banach algebra. He also observed that this algebra is important in the asymptotic theory of finite Toeplitz matrices. Ten years later, Harold Widom extended
earlier results of Gabor Szegö for scalar symbols and established the asymptotic trace formula
\[
\operatorname{trace}f(T_n(a))=(n+1)G_f(a)+E_f(a)+o(1)
\quad\text{as}\ n\to\infty
\]
for finite Toeplitz matrices \(T_n(a)\) with matrix symbols \(a\in K^{1/2,1/2}_{N\times N}\). We show that if \(\alpha+\beta\ge 1\) and \(a\in K^{\alpha,\beta}_{N\times N}\), then the Szegö-Widom asymptotic trace formula holds with \(o(1)\) replaced by \(o(n^{1-\alpha-\beta})\).

Aelenei, Daniel, and F. M. A. Henriques. "Avaliação do risco de ocorrência de condensações nas fachadas dos edifícios." PATORREB 2009. 2009. Abstract

n/a

Santos, J. P., and Daniel Aelenei. "Avaliação experimental dos níveis de qualidade de ar interior em quartos de dormir." PATORREB 2009. 978-972-752-109-8. 2009. Abstract

n/a

Hussain, A., A. S. Pina, and A. C. A. Roque. "Bio-recognition and detection using liquid crystals." Biosensors & Bioelectronics . 25.1 (2009): 1-8.