Insights on best teaching practices for promoting students' learning

The Department of Educational Sciences and the Department of Electronic and Telecommunications at the University of Aveiro (Portugal) have been working together with the Department of Computer and Information Sciences at the University of Strathclyde (UK), with the aim of improving the teaching and learning of introductory programming courses. Both institutions belong to the European Consortium of Innovative Universities (ECIU), with a commitment to "developing and implementing new forms of teaching, training, and research; to assuring an innovative culture within their walls; to experimenting with new forms of management and administration; and to sustaining and nurturing internationally-minded staff" (ECIU). Over the past two years, data has been collected through interviews, questionnaires and class observation, to better understand the organization of the different courses and approaches to teaching and learning. Members of academic staff have been actively involved in trying to enhance the students' learning experience through reflection on teaching methods and trying new ideas to aid student success. During this process we have assimilated insights on teaching philosophies, methods and suggestions for course redesign. As an important piece of the "puzzle", students also provided useful feedback on differing aspects of teaching and course organization. The present paper presents a meta-analysis of our findings on the relevance of teaching practices for promoting students' learning. In addition, we discuss the impact that teaching philosophies and course organization may have on best teaching practices

Corps, gestes et vêtements dans l’Antiquité. Les manifestations du politique, J.-B. Bonnard (dir.), avec la collaboration de C. Blonce

Les textes ici rassemblés sont issus de journées d’études tenues à Caen dans le cadre du programme de recherche collectif intitulé « Corps, gestes et vêtements dans les mondes anciens, une lecture anthropologique et historique », mené et animé au long cours par Florence Gherchanoc, Valérie Huet et Jean-Baptiste Bonnard lui-même. La première contribution, signée par Florence Gherchanoc et Valérie Huet, présente les six communications réunies dans le volume, ..

Spin jj Dirac Operators on the Fuzzy 2-Sphere

The spin 1/2 Dirac operator and its chirality operator on the fuzzy 2-sphere $S^2_F$ can be constructed using the Ginsparg-Wilson(GW) algebra [arxiv:hep-th/0511114]. This construction actually exists for any spin $j$ on $S^2_F$, and have continuum analogues as well on the commutative sphere $S^2$ or on $\mathbb{R}^{2}$. This is a remarkable fact and has no known analogue in higher dimensional Minkowski spaces. We study such operators on $S^2_F$ and the commutative $S^2$ and formulate criteria for the existence of the limit from the former to the latter. This singles out certain fuzzy versions of these operators as the preferred Dirac operators. We then study the spin 1 Dirac operator of this preferred type and its chirality on the fuzzy 2-sphere and formulate its instanton sectors and their index theory. The method to generalize this analysis to any spin $j$ is also studied in detail.Comment: 16 pages, 1 tabl

Teratología e imaginación maternal

Dudley WILSON, Signs and Porten : monstrous births from the middle ages to the enlightenment ; Marie-Hélène HUET, Monstrous Imagination ; Dennis TODD, Imagining Monsters. Miscreations of the Self in Eighteenth-Century Englan

Comparing Böhm-Like Trees

Extending the infinitary rewriting definition of Böhm-like trees to infinitary Combinatory Reduction Systems (iCRSs), we show that each Böhm-like tree defined by means of infinitary rewriting can also be defined by means of a direct approximant function. In addition, we show that counterexamples exists to the reverse implication

Hybrid (bolted/bonded) joints applied to aeronautic parts : analytical one-dimensional models of a single-lap joint

The load transfer in hybrid (bolted/bonded) single-lap joint is complex due to the association of two different transfer modes (discrete and continuous) through elements with different stiffness. Analytical methods exist for these two different modes, when considered separately. In this paper two one-dimensional elastic analytical models are presented for the determination of the load transfer in single lap configuration. The first one is developed by using the integration of the local equilibrium equations. From this first method an elastic-plastic approach is presented. The second one uses the Finite Element Method, introducing a new element called “bonded-bar”. These models are robust, easy to use and provide the same results. They allow to analyze the load transfer and to evaluate different geometric and mechanical parameters’ influence. Thus they represent the first step for the design of a hybrid joint able to replace its bolted equivalent used on aircraft

Topical Themes from the Oberkampf Textile Manufactory, Jouy-en-Josas, France, 1760-1821

Translation of Aziza Gril-Mariotte\u27s article from French to English

ICT in Higher Education: a case-study of mediated blended-learning

Teaching in on-line and collaborative situations requires a variety of responses including changes in pedagogy as instructors taking the role of facilitators of information while guiding students toward solutions. In order for online learning to be successful, therefore, teachers as well as learners will need to explore new roles in the teaching-learning relationship. In this paper, the authors propose to examine how educators can mediate instruction by first designing their course goals and objectives and then consider how the on-line environment can best serve the instructional objectives and plan appropriate activities and assessment. We seek to explore the use of online environments as the bridge between real world and reflective knowledge

Middle-Out Reasoning for Logic Program Synthesis

We propose a novel approach to automating the synthesis of logic programs: Logic programs are synthesized as a by-product of the planning of a verification proof. The approach is a two-level one: At the object level, we prove program verification conjectures in a sorted, first-order theory. The conjectures are of the form 8args \Gamma\Gamma\Gamma\Gamma! : prog(args \Gamma\Gamma\Gamma\Gamma! ) $ spec(args \Gamma\Gamma\Gamma\Gamma! ). At the meta-level, we plan the object-level verification with an unspecified program definition. The definition is represented with a (second-order) meta-level variable, which becomes instantiated in the course of the planning