We present logic based methods for constructing XP and FPT graph algorithms, parameterized by tree-width or clique-width. We will use fly-automata introduced in a previous article. They make it possible to check properties that are not monadic second-order expressible because their states may include counters, so that their set of states may be infinite. We equip these automata with output func...

Unsupervised learning methods have been tremendously successful in extracting knowledge from genomics data generated by high throughput experimental assays. However, analysis of each dataset in isolation without incorporating potentially informative prior knowledge is limiting the utility of such procedures. Here we present a novel probabilistic model and computational algorithm for semi-superv...

—As the availability and scope of social networks and relational datasets increase, learning latent structure in complex networks has become an important problem for pattern recognition. To contract compact and flexible representations for weighted networks, a Weighted Infinite Relational Model (WIRM) is proposed to learn from both the presence and weight of links in networks. As a Bayesian no...

We propose a nonparametric Bayesian factor regression model that accounts for uncertainty in the number of factors, and the relationship between factors. To accomplish this, we propose a sparse variant of the Indian Buffet Process and couple this with a hierarchical model over factors, based on Kingman’s coalescent. We apply this model to two problems (factor analysis and factor regression) in ...

In this paper algorithms for model checking CSL (continuous stochastic logic) against infinite-state continuous-time Markov chains of so-called quasi birth-death type are developed. In doing so we extend the applicability of CSL model checking beyond the recently proposed case for finite-state continuous-time Markov chains, to an important class of infinite-state Markov chains. We present synta...

We consider model identification for infinite variance autoregressive time series processes. It is shown that a consistent estimate of autoregressive model order can be obtained by minimizing Akaike’s information criterion, and we use all-pass models to identify noncausal autoregressive processes and estimate the order of noncausality (the number of roots of the autoregressive polynomial inside...

By the past two decades IPMCs have been intensively studied because of their special capabilities for actuation and sensing.This paper presents a theoretical physics based model for analyzing the behavior of IPMC sensors in fluid environments. The mechanical vibration of the IPMC strip is described by the classical Euler–Bernoulli beam theory. The model also takes in to account the physical pro...

in this paper we consider the group algebra $r(c_2times‎ ‎d_infty)$‎. ‎it is shown that $r(c_2times d_infty)$ can be‎ ‎represented by a $4times 4$ block circulant matrix‎. ‎it is also‎ ‎shown that $mathcal{u}(mathbb{z}_2(c_2times d_infty))$ is‎ ‎infinitely generated‎.