3,557 research outputs found
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
. At intermediate frequencies, the periodicity in 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
- …