Appropriate small scale mechanization

Poster prepared for a share fair, Addis Ababa, May 201

A Logic-Independent IDE

The author's MMT system provides a framework for defining and implementing logical systems. By combining MMT with the jEdit text editor, we obtain a logic-independent IDE. The IDE functionality includes advanced features such as context-sensitive auto-completion, search, and change management.Comment: In Proceedings UITP 2014, arXiv:1410.785

Infinite majesty : disabled and athletic métis in David Foster Wallace’s tennis writing

As John Jeremiah Sullivan remarks in his introduction to String Theory, a collection of David Foster Wallace’s essays on tennis, tennis “may be [Wallace’s] most consistent theme at the surface level.” As once an elite junior professional himself, Wallace reflects on and writes from his own involvement in the sport, with the conditioning, strategy, and body-mind training that goes into it. In other essays of String Theory, Wallace reaches beyond his personal playing experience, observes professional tennis players with their incredible grace, and creates his own tennis playing students in Infinite Jest. Throughout these fictional and nonfictional accounts, he conceptualizes what such eminent athleticism entails. This paper will show that celebrated athleticism in Wallace’s work exhibits an embodimental métis, or an acute, crafty body-mind knowledge of its movement through space. Beyond only characterizing athletic movement, however, this paper argues that the same concept of métis extends to people with disabilities, including characters with disabilities in Infinite Jest. The same hyperawareness of corporeality, versatile methods of adjusting to oppositional contexts, and extraordinary complexity are shared by both groups. Using rhetorical scholarship on métis and disability theories of embodiment and social representation, this paper will draw parallels between the moving body-minds of athletic and disabled bodies and trace the implications of this analogy for Wallace’s work and disability studies.Englis

Magnetic and electric phase control in epitaxial EuTiO3_3 from first principles

We propose a design strategy - based on the coupling of spins, optical phonons, and strain - for systems in which magnetic (electric) phase control can be achieved by an applied electric (magnetic) field. Using first-principles density-functional theory calculations, we present a realization of this strategy for the magnetic perovskite EuTiO$_3$.Comment: Significantly revised for clarit

Ferroelectricity in the Dion-Jacobson CsBiNb2_2O7_7 from first principles

We have studied ferroelectricity in Dion-Jacobson CsBiNb$_2$O$_7$ from first principles. Using group-theoretical analysis and first-principles density functional calculations of the total energy and phonons, we perform a systematic study of the energy surface around a paraelectric prototypic phase. Our results suggest that CsBiNb$_2$O$_7$ is a ferroelectric with a polarization of P$_s$=40$\mu$C cm$^{-2}$. We propose further experiments to clarify this point