Rocha, H. Knowledge for Teaching Mathematics with Technology - a new framework of teacher knowledge. Proceedings of the 37th Conference of the International Group for the Psychology of Mathematics Education. Kiel, Germany: PME, 2013.
AbstractKnowledge for Teaching Mathematics with Technology (KTMT) is a theoretical model that seeks to articulate previously existing models on professional knowledge and the conclusions that the investigation around the integration of technology has achieved. KTMT is a dynamic knowledge, informed by the practice, that develops from the knowledge on the base domains (Mathematics, Teaching and Learning, Technology and Curriculum), evolving as knowledge in the base domains interacts and as this promotes the development of inter-domain knowledge, which continue to interact, strengthening relations and leading to the development of an integrated knowledge, where knowledge on the base domains and on the two sets of inter-domains appears deeply integrated into a global knowledge.
Strganac, Christopher, Louis L. Jacobs, Kurt M. Ferguson, Michael J. Polcyn, Octávio Mateus, Anne S. Schulp, and Maria Luísa Morais Late Cretaceous marine reptiles and cooling at the South Atlantic coast inferred through stable oxygen isotopes of Inoceramus from the Namibe Basin, Angola. Geological Society of America Abstracts with Programs. Vol. 45, No. 7, p.0., 2013.
Pereira, Pedro, Helena Fino, Mourad Fakhfakh, Fernando Coito, and Mário Ventim-Neves. "
LC-VCO Design Challenges in the Nano-Era."
Analog/RF and Mixed-Signal Circuit Systematic Design. Eds. Mourad Fakhfakh, Esteban Tlelo-Cuautle, and Rafael Castro-Lopez. Vol. 233. Lecture Notes in Electrical Engineering, 233. Springer Berlin Heidelberg, 2013. 363-379.
AbstractThe progressive scaling of CMOS technology towards nanometre sizes has made the implementation of highly integrated systems for the wireless communication systems possible. Additionally, higher speed, lower power consumption and area reduction has been reached. Due to the high-density integration needs, as well as to low cost fabrication, RF applications, such as the LC-voltage controlled oscillator (LC-VCO), are usually implemented in CMOS technology. The complexity of designing LC-VCOs has lead to the development of several design methodologies. This chapter introduces an optimization based methodology for the design of LC-VCOs, where its efficiency is granted by the use of analytical models to characterize the active and passive elements’ behaviour.
Soares, João, João M. Lourenço, and Nuno Preguiça. "
MacroDB: Scaling Database Engines on Multicores."
Euro-Par 2013 Parallel Processing. Eds. Felix Wolf, Bernd Mohr, and Dieter Mey. Vol. 8097. Lecture Notes in Computer Science, 8097. Springer Berlin Heidelberg, 2013. 607-619.
Abstract
Polcyn, M. J., LL Jacobs, O. Mateus, AS Schulp, C. Strganac, R. Araújo, JF Graf, D. Vineyard, and TS Myers A marine vertebrate assemblage from the Campanian-Maastrichtian boundary at Bentiaba, Angola. Geological Society of America Abstracts with Programs. Vol. 45, No. 7, p.0., 2013.