The application of aerospace technology to biomedical problems Quarterly report, 15 Jun. - 31 Aug. 1969

Applications of aerospace technology to biomedical problem

Application of aerospace-generated technology to water pollution and other public sector problems Quarterly report, 1 Sep. - 30 Nov. 1968

Aerospace technology utilization to water pollution and weather modification

Biomedical applications of aerospace-generated technology Quarterly report, 1 Sep. - 30 Nov. 1968

Biomedical applications of aerospace generated technolog

The DynAlloy Visualizer

We present an extension to the DynAlloy tool to navigate DynAlloy counterexamples: the DynAlloy Visualizer. The user interface mimics the functionality of a programming language debugger. Without this tool, a DynAlloy user is forced to deal with the internals of the Alloy intermediate representation in order to debug a flaw in her model.Comment: In Proceedings LAFM 2013, arXiv:1401.056

Selective and efficient quantum process tomography in arbitrary finite dimension

The characterization of quantum processes is a key tool in quantum information processing tasks for several reasons: on one hand, it allows one to acknowledge errors in the implementations of quantum algorithms; on the other, it allows one to characterize unknown processes occurring in nature. Bendersky, Pastawski, and Paz [A. Bendersky, F. Pastawski, and J. P. Paz, Phys. Rev. Lett. 100, 190403 (2008)PRLTAO0031-900710.1103/PhysRevLett.100.190403; Phys. Rev. A 80, 032116 (2009)PLRAAN1050-294710.1103/PhysRevA.80.032116] introduced a method to selectively and efficiently measure any given coefficient from the matrix description of a quantum channel. However, this method heavily relies on the construction of maximal sets of mutually unbiased bases (MUBs), which are known to exist only when the dimension of the Hilbert space is the power of a prime number. In this article, we lift the requirement on the dimension by presenting two variations of the method that work on arbitrary finite dimensions: one uses tensor products of maximal sets of MUBs, and the other uses a dimensional cutoff of a higher prime power dimension.Fil: Perito, Ignacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Roncaglia, Augusto Jose. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Física de Buenos Aires. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Física de Buenos Aires; ArgentinaFil: Bendersky, Ariel Martin. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentin