1,672 research outputs found
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 Dirac Operators on the Fuzzy 2-Sphere
The spin 1/2 Dirac operator and its chirality operator on the fuzzy 2-sphere
can be constructed using the Ginsparg-Wilson(GW) algebra
[arxiv:hep-th/0511114]. This construction actually exists for any spin on
, and have continuum analogues as well on the commutative sphere
or on . This is a remarkable fact and has no known analogue in
higher dimensional Minkowski spaces. We study such operators on and the
commutative 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 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
- âŠ