Export 9208 results:
Sort by: Author Title Type [ Year  (Desc)]
2010
Mateus, Octávio. "Tectonic Drift, Climate, and Paleoenvironment of Angola Since the Cretaceous." Journal of Vertebrate Paleontology. 2010. 02. Abstract

Africa is the only continent that now straddles arid zones located beneath the descending limbs of both the northern and southern Hadley cells, and it has done so since it became a distinct continent in the Early Cretaceous. Since that time, Africa has drifted tectonically some 12 degrees north and rotated approximately 45 degrees counterclockwise. This changing latitudinal setting and position of the landmass under the relatively stable Hadley Cells is manifested as southward migration of climatic zones over the past 132 million years. Data from kerogen, X-ray diffraction analysis of sedimentary matrix, carbon isotopes from shell samples and tooth enamel,new 40Ar/39Ar radiometric dates, pollen and plant macrofossils, and fossil vertebrates indicate a productive upwelling system adjacent to a coastal desert since the opening of the South Atlantic Ocean; however, the position of the coastal desert has migrated southward as Africa drifted north, resulting in today's Skeleton Coast and Benguela Current. This migration has had a profound effect on the placement of the West African coast relative to areas of high marine productivity and resulting extensive hydrocarbon deposits, on the placement of arid zones relative to the continent especially the Skeleton Coast desert, on the climatic history of the Congo Basin (which shows a Late Cretaceous decrease in aridity based on the relative abundance of analcime in the Samba core), and in reducing the southern temperate region of Africa from 17{%} of continental area during the Cretaceous to 2{%} today. We show here that these related geographic and environmental changes drove ecological and evolutionary adjustments in southern African floras and faunas, specifically with respect to the distribution of anthropoid primates, the occurrence of modern relicts such as the gnetalean Welwitschia mirabilis, endemism as in the case of ice plants, and mammalian adaption to an open environment as in springhares. Africa's tectonic drift through climate zones has been a first-order environmental determinant since the Early Cretaceous.

J. Santos, A. Moreira, J. Araujo, and M. Goulão. "Increasing Quality in Scenario Modelling with Model-Driven Development." International Conference on the Quality of Information and Communications Technology (QUATIC) 2010. IEEE, 2010. 204-209. Abstract

n/a

C. Oliveira, J. Araújo, and C. Silva. "Integração de KAOS com Cenários Aspectuais." XV Jornadas de Ingenieria de Software y Bases de Datos. JISBD, 2010. Abstract

n/a

Domingues, Miguel Brazão, and J. C. Seco. "LiveWeb - Core Language for Web Applications." Proceedings of InForum 2010. Universidade do Minho, 2010.
Dias, Ricardo, J. C. Seco, and J. M. S. Lourenço. "Snapshot Isolation Anomalies Detection in Software Transactional Memory." Proceedings of InForum 2010. Universidade do Minho, 2010.
Paulino, Hervé. "On the Definition of Service Abstractions for Parallel Computing." Parallel Processing and Applied Mathematics, 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Revised Selected Papers, Part II. Eds. Konrad Karczewski Roman Wyrzykowski, Jack Dongarra, and Jerzy Wasniewski. Lecture Notes in Computer Science. Springer-Verlag, 2010. 74-81. Abstract
n/a
Duro, Nuno, Rui Santos, João M. Lourenço, Hervé Paulino, and João André Martins. "Open virtualization framework for testing Ground Systems." Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Ed. Shmuel Ur João Lourenço, Eitan Farchi. ACM Electronic Library, 2010. 67-73. Abstract
n/a
Aguiar, Hugo Menino, J. C. Seco, and Lúcio Ferrão. "Profiling of Real-World Web Applications." Proceedings of the International Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging. Ed. Shmuel Ur João Lourenço, Eitan Farchi. ACM Electronic Library, 2010.
S. Firmenich, G. Rossi, M. Urbieta, S. Gordillo, C. Challiol, J. Nanard, M. Nanard, and J. Araújo. "Engineering Concern-Sensitive Navigation Structures, Concepts, Tools and Examples." Journal of WebEngineering. 9 (2010): 157-185. Abstract

n/a

I. Simão, and J. Araújo. "Adaptação da Abordagem Theme para Linhas de Produtos de Software." XIII Congresso Ibero-americano em Software Engineering CIbSE. CIbSE2010, 2010. Abstract

n/a

I. S. Brito, A. Moreira, J. M. Lopes, and J. Araújo. "A Metamodel for Aspect-Oriented Analysis Approach." XIII Congresso Ibero-americano em Software Engineering. CIbSE2010, 2010. Abstract

n/a

M. Pimenta, and J. Araújo. "Viewpoint and Goals: Towards an Integrated Approach." XIII Congresso Ibero-americano em Software Engineering . CIbSE2010, 2010. Abstract

n/a

A. Penim, and J. Araújo. "Identifying and Modeling Aspectual Scenarios with Theme and MATA." 25th Symposium On Applied Computing (ACM SAC 2010). ACM Press, 2010. Abstract

n/a

F. Alencar, J. Castro, E. Santos, C. Silva, J. Araújo, and A. Moreira. "Towards Modular i* Models." 25th Symposium On Applied Computing (ACM SAC 2010). ACM Press, 2010. Abstract

n/a

Catarino, I., J. Afonso, D. Martins, M. Linder, L. Duband, and G. Bonfait. "6 K solid state Energy Storage Unit." Cryogenics. 50.— Cryogenics (Elsevier) best paper award — (2010): 102-110. Abstract

n/a

Lemos, J. M., L. M. Rato, and R. Neves-Silva. "Adaptive control of distributed collector solar fields." Power Plant Application of Advanced Control Techniques. ProcessEng Engineering GmbH, 2010.
Lemos, J. M., P. O. Shirley, R. Neves-Silva, and B. Costa. "Adaptive predictive control of superheated steam and economic performance." Power Plant Application of Advanced Control Techniques. ProcessEng Engineering GmbH, 2010.
Estêvão M. E., Carvalho L. C., Ribeiro Couto Freitas Gomes Ferreira Fernandes Marques Manuel D. D. M. A. "Antioxidant activity of unexplored indole derivatives: Synthesis and screening." Eur. J. Med. Chem.. 45 (2010): 4869-4878.
Carvalho L. R., Corvo M. C., Enugala Cabrita Marques R. E. J. M. "Application of HR-MAS NMR in the solid-phase synthesis of a glycopeptide using Sieber amide resin." Magn. Reson. Chem.. 48 (2010): 323-330.
S. Agostinho, A. Moreira, A. Marques, J. Araújo, R. Ferreira, R. Raminhos, R. Ribeiro, I. Brito, and P. Chevalley. "Aspect-Oriented Specification: A Case Study in Space Domain." International Journal of Software Engineering and Knowledge Engineering (2010). Abstract

n/a

Micaelo, Rui, Jaime Ribeiro, Maria Azevedo, and Nuno Azevedo. "Asphalt Mixtures Compaction study: Field Tests and Numerical Modelling." 16th IRF – World road Meeting. Lisbon, Portugal: IRF, 2010.
Caeiro, Frederico, and M.Ivette Gomes. "An asymptotically unbiased moment estimator of a negative extreme value index." Discuss. Math., Probab. Stat.. 30 (2010): 5-19. Abstract

{Summary: We consider a new class of consistent semi-parametric estimators of a negative extreme value index, based on the set of the $k$ largest observations. This class of estimators depends on a control or tuning parameter, which enables us to have access to an estimator with a null second-order component of asymptotic bias, and with a rather interesting mean squared error, as a function of $k$. We study the consistency and asymptotic normality of the proposed estimators. Their finite sample behaviour is obtained through Monte Carlo simulation.}

Pereira, Pedro, Helena Fino, Fernando Coito, and Ventim M. Neves Automatic generation of RF integrated inductors analytical characterization. Symbolic and Numerical Methods, Modeling and Applications to Circuit Design (SM2ACD), 2010 XIth International Workshop on. Tunisia: IEEE, 2010.
Cunha, Jácome, Martin Erwig, and João Saraiva. "Automatically Inferring ClassSheet Models from Spreadsheets." Proceedings of the 2010 IEEE Symposium on Visual Languages and Human-Centric Computing. VLHCC '10. Washington, DC, USA: IEEE Computer Society, 2010. 93-100. Abstractvlhcc10.pdf

Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, designing such models is time consuming and requires expertise beyond the knowledge to work with spreadsheets. Legacy spreadsheets pose a particular challenge to the approach of controlling spreadsheet evolution through higher-level models, because the need for a model might be overshadowed by two problems: (A) The benefit of creating a spreadsheet is lacking since the legacy spreadsheet already exists, and (B) existing data must be transferred into the new model-generated spreadsheet. To address these problems and to support the model-driven spreadsheet engineering approach, we have developed a tool that can automatically infer ClassSheet models from spreadsheets. To this end, we have adapted a method to infer entity/relationship models from relational database to the spreadsheets/ClassSheets realm. We have implemented our techniques in the HAEXCEL framework and integrated it with the ViTSL/Gencel spreadsheet generator, which allows the automatic generation of refactored spreadsheets from the inferred ClassSheet model. The resulting spreadsheet guides further changes and provably safeguards the spreadsheet against a large class of formula errors. The developed tool is a significant contribution to spreadsheet (reverse) engineering, because it fills an important gap and allows a promising design method (ClassSheets) to be applied to a huge collection of legacy spreadsheets with minimal effort.