Multiple questionnaires completed over the semester by 514 students enrolled in a first year psychology course reveal that no single pattern of reliance on print, online, or in-person resources guarantees a high mark. Analyses of the reported and measured frequency of use of various resources correlated against students’, performance on both individual assessments and their final marks suggests...

These are introductory lecture notes on complex geometry, Calabi–Yau manifolds and toric geometry. We first define basic concepts of complex and Kähler geometry. We then proceed with an analysis of various definitions of Calabi–Yau manifolds. The last section provides a short introduction to toric geometry, aimed at constructing Calabi–Yau manifolds in two different ways; as hypersurfaces in to...

Data Types, volume 655 of Lecture Notes in Computer Sci-ence, pages 66–91. Springer, 1993.[Mos96] T. Mossakowski. Using limits of parchments to systematically con-struct institutions of partial algebras. In M. Haveraaen, O.-J. Dahl,and O. Owe, editors, Recent Trends in Data Type Specifications. Se-lected Papers, 11th Workshop on Specification of Abstract Data TypesADT’95...

These Lecture Notes describe the approach to the constructive analysis of computation as developed by Pierangelo Miglioli and his school. This Lecture Notes have been produced as the supporting material for the course in the Application of constructive logics to program analysis, synthesis and verification held in November 2006 at the Mathematisches Institut of the Ludwig Maximillians Universit...

This file of notes serves as a reference for Zeyuan himself about the materials to be delivered in class. It copies a lot of materials from Prof Michel X. Goemans’ lecture notes on 6.854 in 1994, (see http: //www-math.mit.edu/~goemans/notes-lp.ps), and Prof Sven O. Krumke’s report on interior point methods (see http://optimierung.mathematik.uni-kl.de/~krumke/Notes/interior-lecture. pdf). Ye’s i...