We build a lambda model which characterizes completely (persistently) normalizing, (persistently) head normalizing, and (persistently) weak head normalizing terms. This is proved by using the finitary logical description of the model obtained by defining a suitable intersection type assignment system.

Variational inference relies on flexible approximate posterior distributions. Normalizing flows provide a general recipe to construct flexible variational posteriors. We introduce Sylvester normalizing flows, which can be seen as a generalization of planar flows. Sylvester normalizing flows remove the well-known single-unit bottleneck from planar flows, making a single transformation much more ...

We present ongoing work in linguistic processing of hashtags in Twitter text, with the goal of supplying normalized hashtag content to be used in more complex natural language processing (NLP) tasks. Hashtags represent collectively shared topic designators with considerable surface variation that can hamper semantic interpretation. Our normalization scripts allow for the lexical consolidation a...

Bayesian posterior inference is prevalent in various machine learning problems. Variational inference provides one way to approximate the posterior distribution, however its expressive power is limited and so is the accuracy of resulting approximation. Recently, there has a trend of using neural networks to approximate the variational posterior distribution due to the flexibility of neural netw...

Building on the recent extension of dependent type theory with a universe definitionally proof-irrelevant types, we introduce TTobs, new based setoidal interpretation theory. TTobs equips every an identity relation that satisfies function extensionality, propositional and definitional uniqueness proofs (UIP). Compared to other existing proposals enrich these principles, our features notion redu...

DNA microarrays are a powerful tool to investigate differential gene expression for thousands of genes simultaneously. Although DNA microarrays have been widely used to understand the critical events underlying growth, development, homeostasis, behavior and the onset of disease, the management of the resulting data has received little attention. Presently, the fluorescent dyes Cy3 and Cy5 are m...

Few would disagree, but a generation later, the statement remains a prophecy rather than fact. Although 41,000 protein structures are known, there are none for which there is a complete description of the dynamics that is often key to understanding functional mechanism. Despite keen interest in protein dynamics, studies have remained the purview of computer simulation while the challenges of ex...

Multimedia databases have been used in many application fields. As opposed to traditional alphanumeric databases, they need enhanced data models and DBMSs to enable the modeling and management of complex data types. After an initial anarchy, multimedia DBMSs (MMDBMS) have been classified based on standard issues, such as the supported data model, the indexing techniques to support content-based...