Convex Integer Optimization by Constantly Many Linear Counterparts

In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets $S\subset \Z^n$ of integer points presented by an oracle or by linear inequalities. Continuing the line of research advanced by Uri Rothblum and his colleagues on edge-directions, we introduce here the notion of {\em edge complexity} of $S$, and use it to establish polynomial and constant upper bounds on the number of vertices of the projection \conv(WS) and on the number of linear optimization counterparts needed to solve the above convex problem. Two typical consequences are the following. First, for any $d$, there is a constant $m(d)$ such that the maximum number of vertices of the projection of any matroid $S\subset\{0,1\}^n$ by any binary $d\times n$ matrix $W$ is $m(d)$ regardless of $n$ and $S$; and the convex matroid problem reduces to $m(d)$ greedily solvable linear counterparts. In particular, $m(2)=8$. Second, for any $d,l,m$, there is a constant $t(d;l,m)$ such that the maximum number of vertices of the projection of any three-index $l\times m\times n$ transportation polytope for any $n$ by any binary $d\times(l\times m\times n)$ matrix $W$ is $t(d;l,m)$; and the convex three-index transportation problem reduces to $t(d;l,m)$ linear counterparts solvable in polynomial time

Securely measuring the overlap between private datasets with cryptosets

Many scientific questions are best approached by sharing data--collected by different groups or across large collaborative networks--into a combined analysis. Unfortunately, some of the most interesting and powerful datasets--like health records, genetic data, and drug discovery data--cannot be freely shared because they contain sensitive information. In many situations, knowing if private datasets overlap determines if it is worthwhile to navigate the institutional, ethical, and legal barriers that govern access to sensitive, private data. We report the first method of publicly measuring the overlap between private datasets that is secure under a malicious model without relying on private protocols or message passing. This method uses a publicly shareable summary of a dataset's contents, its cryptoset, to estimate its overlap with other datasets. Cryptosets approach "information-theoretic" security, the strongest type of security possible in cryptography, which is not even crackable with infinite computing power. We empirically and theoretically assess both the accuracy of these estimates and the security of the approach, demonstrating that cryptosets are informative, with a stable accuracy, and secure

Design of a simulation environment for laboratory management by robot organizations

This paper describes the basic concepts needed for a simulation environment capable of supporting the design of robot organizations for managing chemical, or similar, laboratories on the planned U.S. Space Station. The environment should facilitate a thorough study of the problems to be encountered in assigning the responsibility of managing a non-life-critical, but mission valuable, process to an organized group of robots. In the first phase of the work, we seek to employ the simulation environment to develop robot cognitive systems and strategies for effective multi-robot management of chemical experiments. Later phases will explore human-robot interaction and development of robot autonomy

An infinite-period phase transition versus nucleation in a stochastic model of collective oscillations

A lattice model of three-state stochastic phase-coupled oscillators has been shown by Wood et al (2006 Phys. Rev. Lett. 96 145701) to exhibit a phase transition at a critical value of the coupling parameter, leading to stable global oscillations. We show that, in the complete graph version of the model, upon further increase in the coupling, the average frequency of collective oscillations decreases until an infinite-period (IP) phase transition occurs, at which point collective oscillations cease. Above this second critical point, a macroscopic fraction of the oscillators spend most of the time in one of the three states, yielding a prototypical nonequilibrium example (without an equilibrium counterpart) in which discrete rotational (C_3) symmetry is spontaneously broken, in the absence of any absorbing state. Simulation results and nucleation arguments strongly suggest that the IP phase transition does not occur on finite-dimensional lattices with short-range interactions.Comment: 15 pages, 8 figure

Emerging Challenges in Technology-based Support for Surgical Training

This paper stipulates several technological research and development thrusts that can assist in modern day approaches to simulated training of minimally invasive laparoscopic and robot surgery. Basic tenets of such training are explained, and specific areas of research are enumerated. Specifically, augmented and mixed reality are proposed as a means of improving perceptual and clinical decision-making skills, haptics are proposed as mechanism not only to provide force feedback and guidance, but also as a means of reflecting a tactile feel of surgery in simulated training scenarios. Learning optimization is discussed to fine tune the difficulty levels of various exercises. All the above elements can serve as the foundation for building computer-based virtual coaching environments that can reduce the training costs and provide a broader access to learning highly complex, technology driven surgical techniques

Low cost catalysts for Water Gas Shift reaction based on CuNi over La promoted ceria

Proton-exchange membrane fuel cells are of great interest for vehicular applications. A highly pure, sustainably obtained H2 stream is desirable to use as the cell feed. In the water gas shift (WGS) process, large amounts of CO, which is a poison for the cell anode, are removed from a bioalcohol-derived H2 stream before it enters the cell. In this study, Cu–Ni catalysts supported on La-doped ceria were analyzed and studied in the WGS reaction. The supports were prepared by the urea thermal decomposition method with different percentages of La as a promoter of ceria. The metal phase was incorporated by incipient wet impregnation. Many characterization techniques were employed in this work (BET, XRD, SEM, ICP, TPR, OSC), and the relationship between the resulting properties and catalytic performance was investigated to determine the effect of La. A mixture of Cu and Ni was found to be the most effective active phase, having considerable activity and selectivity towards the desired reaction. Low degrees of La doping in ceria enhance oxygen mobility in the lattice. A commercial Ce salt containing La as its main impurity (ca. 2 %) is a convenient precursor, given its good performance and low cost compared to a high-purity salt.Fil: Poggio Fraccari, Eduardo Arístides. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles. Universidad de Buenos Aires. Facultad de Ingeniería. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles; ArgentinaFil: Rozenblit, Abigail. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles. Universidad de Buenos Aires. Facultad de Ingeniería. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles; ArgentinaFil: Mariño, Fernando Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles. Universidad de Buenos Aires. Facultad de Ingeniería. Instituto de Tecnologías del Hidrogeno y Energias Sostenibles; Argentin