ReApp is a mobile, multiplayer game aimed at training people in emotional regulation, specifically in cognitive reappraisal (CR). The game was produced as part of an interdisciplinary research between a group of researchers from the Baruch Ivcher School of Psychology at IDC Prof. Eran Halperin, Lihi Harel, and researchers from the Game Design Program at Shenkar College for Engineering and Desig...

Luca Gammaitoni,1 Markus Löcher,4 Adi Bulsara,2 Peter Hänggi,3 Joseph Neff,4 Kurt Wiesenfeld,4 William Ditto,4 and Mario E. Inchiosa2 1Dipartimento di Fisica, Universitá di Perugia and Instituto Nazionale di Fisica Nucleare, Sezione di Perugia, I-06100 Perugia, Italy 2Space and Naval Warfare Systems Center San Diego, Code D-364, San Diego, California 92152-5001 3Institut für Physik, Universität...

We propose an algorithm for the numerical solution of the Lur’e equations in the bounded real and positive real lemma for stable systems. The recently developed ADI iteration for algebraic Riccati equations is generalized to Lur’e equations. The algorithm provides approximate solutions in low-rank factored form. We prove that the sequence of approximate solutions is monotonically increasing wit...

The convergence of an alternating direction implicit method for Maxwell’s equations on product domains is investigated. Unlike the classical Yee scheme and most other integrators proposed in the literature, this method is both unconditionally stable and computationally cheap. We prove second-order convergence of the time-discretization in the framework of operator semigroup theory. In contrast ...

Inspired from the Identity-based cryptosystem proposed by Adi Shamir, and Boneh and Franklin, this paper designed a new Identity-based digital signature (ECM-IDS) scheme using extended chaotic maps. The ECM-IDS scheme is secure based on the difficulties of integer factorization problem.

s of Papers Presented at SoCS 2016 in the Previously Published Paper Track Jorge Baier and Adi Botea Editors

This paper shows how a well-balanced trade-oo between a generic workstation and dumb but fast reconngurable hardware can lead to a more eecient implementation of a cryptanalysis than a full hardware or a full software implementation. A realistic cryptanalysis of the A5/1 GSM stream cipher is presented as an illustration of such trade-oo. We mention that our cryptanalysis requires only a minimal...

The POWER CHALLENGEarray is a coarse-grained collection of large processor SMP nodes. This creates interesting parallelization opportunities for scalable applications. The NAS BT benchmark is a classical ADI-like application with non-trivial communication requirements. The coarse-grained distributed feature of the POWER CHALLENGEarray provides unique parallelization strategies. We explore the i...

Vlad Demartsev,a Arik Kershenbaum,b Amiyaal Ilany,b Adi Barocas,c Einat Bar Ziv,a Lee Koren,d and Eli Geffena aDepartment of Zoology, Tel Aviv University, PO Box 39040, Tel Aviv 69978, Israel, bNational Institute for Mathematical and Biological Synthesis, 1122 Volunteer Boulevard, Knoxville, TN 37996, USA, cDepartment of Zoology and Physiology and Program in Ecology, University of Wyoming, 1000...

A self-consistent mean-field theory for bosons for T > 0 is used to reconcile predictions of collapse with recent observations of Bose-Einstein condensation of Li. Eigenfunctions of a (non-separable) Hamiltonian that includes the anisotropic external trap field and atom-atom interactions are obtained by an iteration process. A sum over the Bose distribution, and the “alternating direction impli...