Evaluation of the usefulness of a computer‐based learning program to support student learning in pharmacology

This study aims to evaluate the effectiveness of a computer‐based teaching program in supporting and enhancing traditional teaching methods. The program covers the pharmacology of inflammation and has been evaluated with a group of second‐year medical students at a UK university. The study assessed subject‐specific knowledge using a pre‐ and post‐test and surveyed, by questionnaire, students’ perceptions of the usefulness of the program to support learning before and after use. The use of computers for learning amongst this cohort of students was widespread. The results demonstrated an increase in students ‘ knowledge of the pharmacology of inflammation, coupled with a positive attitude towards the CBL program they had used and the advantages that this mode of study may provide in enabling students to manage their own learning. However, students did not feel that the program could substitute for traditional teaching (lectures)

Gauge Theory for Spectral Triples and the Unbounded Kasparov Product

We explore factorizations of noncommutative Riemannian spin geometries over commutative base manifolds in unbounded KK-theory. After setting up the general formalism of unbounded KK-theory and improving upon the construction of internal products, we arrive at a natural bundle-theoretic formulation of gauge theories arising from spectral triples. We find that the unitary group of a given noncommutative spectral triple arises as the group of endomorphisms of a certain Hilbert bundle; the inner fluctuations split in terms of connections on, and endomorphisms of, this Hilbert bundle. Moreover, we introduce an extended gauge group of unitary endomorphisms and a corresponding notion of gauge fields. We work out several examples in full detail, to wit Yang--Mills theory, the noncommutative torus and the $\theta$-deformed Hopf fibration over the two-sphere.Comment: 50 pages. Accepted version. Section 2 has been rewritten. Results in sections 3-6 are unchange

Moduli Spaces of Instantons on Toric Noncommutative Manifolds

We study analytic aspects of U(n) gauge theory over a toric noncommutative manifold $M_\theta$. We analyse moduli spaces of solutions to the self-dual Yang-Mills equations on U(2) vector bundles over four-manifolds $M_\theta$, showing that each such moduli space is either empty or a smooth Hausdorff manifold whose dimension we explicitly compute. In the special case of the four-sphere $S^4_\theta$ we find that the moduli space of U(2) instantons with fixed second Chern number $k$ is a smooth manifold of dimension $8k-3$.Comment: 44 pages, no figure

A scientific forum on the Gulf of Mexico: The Islands in the Stream Concept. Proceedings of the Forum: 23 January 2008, Keating Education Center, Mote Marine Laboratory, Sarasota, Florida

The Scientific Forum on the Gulf of Mexico: The Islands in the Stream Concept took place in January 2008 in Sarasota, Florida. The purpose of the meeting was to bring together scientists and managers from around the Gulf of Mexico to discuss a range of topics on our knowledge of the Gulf of Mexico, from its geology to larger-scale connectivity to the Caribbean region, and their applications to the concept of a more integrated approach to area-based management. The forum included six panels of invited experts who spoke on the oceanographic and biological features in the Gulf of Mexico, including connections with Mexico and the Mesoamerican barrier reef system, and the legal and regulatory structure currently in place. The charge to the group was to share information, identify gaps in our knowledge, identify additional potential areas for protection, and discuss available science about connectivity and the potential value of establishing a marine protected area network in the Gulf of Mexico. (PDF has 108 pages.

The ADHM Construction of Instantons on Noncommutative Spaces

We present an account of the ADHM construction of instantons on Euclidean space-time $\mathbb{R}^4$ from the point of view of noncommutative geometry. We recall the main ingredients of the classical construction in a coordinate algebra format, which we then deform using a cocycle twisting procedure to obtain a method for constructing families of instantons on noncommutative space-time, parameterised by solutions to an appropriate set of ADHM equations. We illustrate the noncommutative construction in two special cases: the Moyal-Groenewold plane $\mathbb{R}^4_\hbar$ and the Connes-Landi plane $\mathbb{R}^4_\theta$.Comment: Latex, 40 page

The JKind Model Checker

JKind is an open-source industrial model checker developed by Rockwell Collins and the University of Minnesota. JKind uses multiple parallel engines to prove or falsify safety properties of infinite state models. It is portable, easy to install, performance competitive with other state-of-the-art model checkers, and has features designed to improve the results presented to users: inductive validity cores for proofs and counterexample smoothing for test-case generation. It serves as the back-end for various industrial applications.Comment: CAV 201

Simulated kinetic effects of the corona and solar cycle on high altitude ion transport at Mars

Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/99008/1/jgra50358.pd

Food & Beverage Studies II

Exam paper for second semester Food & Beverage Studies I

Learning from the past with experiment databases

Thousands of Machine Learning research papers contain experimental comparisons that usually have been conducted with a single focus of interest, and detailed results are usually lost after publication. Once past experiments are collected in experiment databases they allow for additional and possibly much broader investigation. In this paper, we show how to use such a repository to answer various interesting research questions about learning algorithms and to verify a number of recent studies. Alongside performing elaborate comparisons and rankings of algorithms, we also investigate the effects of algorithm parameters and data properties, and study the learning curves and bias-variance profiles of algorithms to gain deeper insights into their behavior