In-class common-reporting workshops in computer science

Instructors optimize the use of class time for quantity and depth of learning. Technology has opened new opportunities in these respects. The technique reported on here, In-class Common-reporting Workshops (INCREWs) consist of teams of up to three students tackling a creative class-relevant problem and displaying their evolving results on a common, projected spreadsheet format in real time. We report on surveys, which have shown a positive reception for INCREWs.Accepted manuscrip

Incremental UML for Agile development: embedding UML class models in source code

Agile methods favor "working software over comprehensive documentation." The latter presumably includes Unified Modeling Language. UML is expensive to maintain, and it lacks good drill-down mechanisms, however, UML affords very useful visualizations. This paper describes a discipline for incrementally embedding graphical UML class models within source code for continuous agile development. The approach consists of identifying a main function, and having it drive the piece-wise creation of UML by explicitly including in its postconditions the placement of functions corresponding directly to requirements. The approach thus introduces higher order pre-and postconditions. A specific process is provided for carrying this out, together with examples. It enables UML class model visualization in rapid development, especially when tool-supported

Generalizing Morley’s and other theorems with automated realization

A new approach is shown that mechanically proves various theorems in plane geometry by recasting them in terms of constraint satisfaction. A Python 3 implementation called GEOPAR affords transparent proofs of well-known theorems as well as new ones, including a generalization of Morley’s Theorem

Surface spin waves in superconducting and insulating ferromagnets

Surface magnetization waves are studied on a semi-infinite magnetic medium in the perpendicular geometry. Both superconducting and insulating ferromagnets are considered. Exchange and dipole energies are taken into account, as well as retardation effects. At large wave vectors, the spectrum for a superconductor and insulator is the same, though for the former the branch is terminated much earlier than for the latter due to excitation of plasmons. At small wave vectors, the surface wave is more robust in the superconductor since it is separated from the bulk continuum by a finite gap.Comment: 4 pages, 2 figure

Triplet Josephson effect with magnetic feedback

We study AC Josephson effect in a superconductor-ferromagnet heterostructure with a variable magnetic configuration. The system supports triplet proximity correlations whose dynamics is coupled to the magnetic dynamics. This feedback dramatically modifies the behavior of the junction. The current-phase relation becomes double-periodic at both very low and high Josephson frequencies $\omega_J$. At intermediate frequencies, the periodicity in $\omega_J t$ may be lost.Comment: 4 pages, 3 figure

Articulatory features for speech-driven head motion synthesis

This study investigates the use of articulatory features for speech-driven head motion synthesis as opposed to prosody features such as F0 and energy that have been mainly used in the literature. In the proposed approach, multi-stream HMMs are trained jointly on the synchronous streams of speech and head motion data. Articulatory features can be regarded as an intermediate parametrisation of speech that are expected to have a close link with head movement. Measured head and articulatory movements acquired by EMA were synchronously recorded with speech. Measured articulatory data was compared to those predicted from speech using an HMM-based inversion mapping system trained in a semi-supervised fashion. Canonical correlation analysis (CCA) on a data set of free speech of 12 people shows that the articulatory features are more correlated with head rotation than prosodic and/or cepstral speech features. It is also shown that the synthesised head motion using articulatory features gave higher correlations with the original head motion than when only prosodic features are used. Index Terms: head motion synthesis, articulatory features, canonical correlation analysis, acoustic-to-articulatory mappin

The University of Edinburgh Head-Motion and Audio Storytelling (UoE-HAS) Dataset

Abstract. In this paper we announce the release of a large dataset of storytelling monologue with motion capture for the head and body. Initial tests on the dataset indicate that head motion is more dependant on the speaker than the style of speech

Walking the Second Mile: Women, Religion and Philanthropy

Explore Dr. Braude’s lecture and embrace the ways religious women continue to impact the world of philanthropy. Awaken a deep appreciation for women’s historical role in philanthropy. Explore how changes in society have molded current practices. Create new conversation partners about religion and philanthropy and expand your knowledge base to improve philanthropy to improve the world