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.
Sallem, Amin, Pedro Pereira, Mourad Fakhfakh, and Helena Fino. "
A Multi-objective Simulation Based Tool: Application to the Design of High Performance LC-VCOs."
Technological Innovation for the Internet of Things. Eds. LuisM. Camarinha-Matos, Slavisa Tomic, and Paula Graça. Vol. 394. IFIP Advances in Information and Communication Technology, 394. Portugal: Springer Berlin Heidelberg, 2013. 459-468.
AbstractThe continuing size reduction of electronic devices imposes design challenges to optimize the performances of modern electronic systems, such as: wireless services, telecom and mobile computing. Fortunately, those design challenges can be overcome thanks to the development of Electronic Design Automation (EDA) tools. In the analog, mixed signal and radio-frequency (AMS/RF) domains, circuit optimization tools have demonstrated their usefulness in addressing design problems taking into account downscaling technological aspects. Recent advances in EDA have shown that the simulation-based sizing technique is a very interesting solution to the ‘complex’ modelling task in the circuit design optimization problem. In this paper we propose a multi-objective simulation-based optimization tool. A CMOS LC-VCO circuit is presented to show the viability of this tool. The tool is used to generate the Pareto front linking two conflicting objectives, namely the VCO Phase Noise and Power Consumption. The accuracy of the results is checked against HSPICE/RF simulations.
Lourenço, João M., and Eitan Farchi Multicore Software Engineering, Performance, and Tools. Eds. João M. Lourenço, and Eitan Farchi. Vol. 8063. Proceedings of the 2nd International Conference on Multicore Software Engineering, Performance, and Tools, MUSEPAT 2013, Saint Petersburg, Russia, August 19–20, 2013, 8063. Springer Berlin Heidelberg, 2013.
Abstract