15,761 research outputs found
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
Recommended from our members
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 EuTiO 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.Comment: Significantly revised for clarit
Ferroelectricity in the Dion-Jacobson CsBiNbO from first principles
We have studied ferroelectricity in Dion-Jacobson CsBiNbO 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 CsBiNbO is a ferroelectric with a polarization
of P=40C cm. We propose further experiments to clarify this
point
- …