Experimental control and detection of atoms molecules often rely on optical transitions between different electronic states. In many cases, substructure such as hyperfine or spin-rotation structure leads to the need for multiple frequencies spaced by MHz GHz. The task creating -- spectral engineering becomes challenging when number large, a situation that one could encounter in complex large ma...

Computer-generated holography (CGH) is a notoriously difficult computation problem, simulating numerical diffraction, where every scene point can affect hologram pixel. To tackle this challenge, specialized software instructions and hardware solutions are developed to significantly reduce calculation time power consumption. In work, we propose novel algorithm for high-performance point-based CG...

Although the process of establishing a memory of a location is necessary for navigation, relatively little is known about the information that humans use when forming place memories. We examined the relative importance of distance and angular information about landmarks in place learning. Participants repeatedly learned a target location in relation to three distinct landmarks in an immersive c...

As a response to a number of notable contemporary aesthetic tendencies, this paper introduces the notion of an infrainstrument as a kind of ‘new interface for musical expression’ worthy of study and systematic design. In contrast to hyper-, metaand virtual instruments, we propose infra-instruments as devices of restricted interactive potential, with little sensor enhancement, which engender sim...

The human ability to express and recognize emotions plays an important role in face-to-face communication, and as technology advances it will be increasingly important for computer-generated avatars to be similarly expressive. In this paper, we present the detailed development process for the Lifelike Responsive Avatar Framework (LRAF) and a prototype application for modeling a specific individ...

Using a certification procedure for Abel-type sums, we present a computerized proof of Abel’s identity. Abel’s identity [1],[2] can be proved in many ways, including the elegant combinatorial methods of [3]. Here we present the first computer-generated proof using the methods introduced in [4]. Theorem([1]; [2], p.128). For n ≥ 0:

This research builds on the literature on information technology and organizations to suggest an alternative to the current understanding of the production of computer-generated representations of work. This literature sees computer-generated representations of work as automatic outcomes of information technology that managers use to scrutinize employees. We present a ethnography of a desk-base...