Piecewise Latent Variables for Neural Variational Text Processing

Advances in neural variational inference have facilitated the learning of powerful directed graphical models with continuous latent variables, such as variational autoencoders. The hope is that such models will learn to represent rich, multi-modal latent factors in real-world data, such as natural language text. However, current models often assume simplistic priors on the latent variables - such as the uni-modal Gaussian distribution - which are incapable of representing complex latent factors efficiently. To overcome this restriction, we propose the simple, but highly flexible, piecewise constant distribution. This distribution has the capacity to represent an exponential number of modes of a latent target distribution, while remaining mathematically tractable. Our results demonstrate that incorporating this new latent distribution into different models yields substantial improvements in natural language processing tasks such as document modeling and natural language generation for dialogue.Comment: 19 pages, 2 figures, 8 tables; EMNLP 201

PLACES'10: The 3rd Workshop on Programmng Language Approaches to concurrency and Communication-Centric Software

Paphos, Cyprus. March 201

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Engagement Patterns of Peer-to-Peer Interactions on Mental Health Platforms

Mental illness is a global health problem, but access to mental healthcare resources remain poor worldwide. Online peer-to-peer support platforms attempt to alleviate this fundamental gap by enabling those who struggle with mental illness to provide and receive social support from their peers. However, successful social support requires users to engage with each other and failures may have serious consequences for users in need. Our understanding of engagement patterns on mental health platforms is limited but critical to inform the role, limitations, and design of these platforms. Here, we present a large-scale analysis of engagement patterns of 35 million posts on two popular online mental health platforms, TalkLife and Reddit. Leveraging communication models in human-computer interaction and communication theory, we operationalize a set of four engagement indicators based on attention and interaction. We then propose a generative model to jointly model these indicators of engagement, the output of which is synthesized into a novel set of eleven distinct, interpretable patterns. We demonstrate that this framework of engagement patterns enables informative evaluations and analysis of online support platforms. Specifically, we find that mutual back-and-forth interactions are associated with significantly higher user retention rates on TalkLife. Such back-and-forth interactions, in turn, are associated with early response times and the sentiment of posts.Comment: Accepted to ICWSM 202

cJoin: join with communicating transactions

This paper proposes a formal approach to the design and programming of Long Running Transactions (LRT). We exploit techniques from process calculi to define cJoin, which is an extension of the join calculus with few well-disciplined primitives for LRT. Transactions in cJoin are intended to describe the transactional interaction of several partners, under the assumption that any partner executing a transaction may communicate only with other transactional partners. In such case, the transactions run by any party are bound to achieve the same outcome (i.e., all succeed or all fail). Hence, a distinguishing feature of cJoin, called dynamic joinability, is that ongoing transactions can be merged to complete their tasks and when this happens either all succeed or all abort. Additionally, cJoin is based on compensations, i.e., partial executions of transactions are recovered by executing user-defined programs instead of providing automatic roll-back. The expressiveness and generality of cJoin is demonstrated by many examples addressing common programming patterns. The mathematical foundation is accompanied by a prototype language implementation, which is an extension of the jocaml compiler

Quality of experience in telemeetings and videoconferencing: a comprehensive survey

Telemeetings such as audiovisual conferences or virtual meetings play an increasingly important role in our professional and private lives. For that reason, system developers and service providers will strive for an optimal experience for the user, while at the same time optimizing technical and financial resources. This leads to the discipline of Quality of Experience (QoE), an active field originating from the telecommunication and multimedia engineering domains, that strives for understanding, measuring, and designing the quality experience with multimedia technology. This paper provides the reader with an entry point to the large and still growing field of QoE of telemeetings, by taking a holistic perspective, considering both technical and non-technical aspects, and by focusing on current and near-future services. Addressing both researchers and practitioners, the paper first provides a comprehensive survey of factors and processes that contribute to the QoE of telemeetings, followed by an overview of relevant state-of-the-art methods for QoE assessment. To embed this knowledge into recent technology developments, the paper continues with an overview of current trends, focusing on the field of eXtended Reality (XR) applications for communication purposes. Given the complexity of telemeeting QoE and the current trends, new challenges for a QoE assessment of telemeetings are identified. To overcome these challenges, the paper presents a novel Profile Template for characterizing telemeetings from the holistic perspective endorsed in this paper

Experimental investigation into novel methods of reliable and secure on-body communications with low system overheads

Until recently the concept of wearable biosensors for purposes of medical monitoring was restricted to wired sensor applications. Recent advances in electronics and wireless communications have made the possibility of removing the wire from sensor applications a possibility. These advances have led to the development of small scale, wearable, sensing and communication platforms that can be placed on the human body creating the foundation for a Body Sensor Network (BSN). Body Sensor Networks aim to remove the restrictions that traditional wired sensors impose. The anticipation is that BSNs will permit the monitoring of physiological signals in any environment without limitation, giving Physicians the ability to monitor patients more closely and in environments that they cannot monitor today. Even with the recent advancements of electronics and wireless communications there are still many unanswered questions for practical solutions of BSNs that prevent BSNs from replacing traditional wired systems altogether. There is a great need for research into BSN architectures to set the standard for wireless sensor monitoring. In this work a development platform has been created for the investigation into the design and implementation of practical BSN solutions. The platform is used to compare BSN architectures and provide quantifiable results. From this work BSN architecture components that provide optimizations in system performance, energy, network lifetime and security are recommended. In Chapter 3 BSN network architectures employing the use of relaying of creeping waves is investigated. The investigation includes experimental analysis of various test environments. Experimentation demonstrates that the relaying of creeping waves offers considerable performance gains when compared to non-relay networks. For example, relaying is shown to increase network-lifetime by a factor of 13, decrease energy-per-bit requirements by 13 dB and provide the ability for the network to compensate for considerably wider fade margins. In Chapter 4 utilizing the randomness of the wireless channel for securing on-body communications with low overheads is considered. A low-complexity algorithm for establishing symmetric encryption keys is presented and validated. The algorithm relies on readily available RSSI measurements obtained from existing packets being sent and received in the network. The generated bit sequences from the algorithm are evaluated for matching between two communicating parties and mismatching with a malicious eavesdropper. It is shown that the algorithm produces long sequences of highly random bits that are perfectly matched between legitimate parties and highly mismatched with the eavesdropper