We study the classi cation of recursive predicates and languages. In particular, we compare the classi cation of predicates and languages with the classi cation of arbitrary recursive functions and with learning. Moreover, we re ne our investigations by introducing classi cation with a bounded number of mind changes and establish a new hierarchy. Furthermore, we introduce multi{classi cation an...

In this article we introduce (combinatorial) multi{color discrepancy and generalize some classical results from 2{color discrepancy theory to c colors. We give a recursive method that constructs c{colorings from approximations to the 2{color discrepancy. This method works for a large class of theorems like the six{standard{deviation theorem of Spencer, the Beck{Fiala theorem and the results of ...

This paper deals with the k-way ratio cut hypergraph partitioning utilizing the Mixed discrete continuous variant of the Bayesian Optimization Algorithm (mBOA). We have tested our algorithm on three partitioning taxonomies: recursive minimum ratio cut, multi-way minimum ratio cut and recursive minimum cut bisection. We have also derived a new approach for modeling of Boolean functions using bin...

In order to gain insights on equalization design in the wireless mobile communication systems, we compare the performance of several multi-channel MLSE equalizers which adaptively track the fast-fading channels. Commonly-used channel tracking schemes, Decision-Directed Recursive Least Square (DD/RLS), Per-Survivor Processing Recursive Least Square (PSP/RLS) and other reduced-complexity MLSE alg...

We study the limiting distribution of the degree of a given node in a scaled attachment random recursive tree, a generalized random recursive tree, which is introduced by Devroye et. al (2011). In a scaled attachment random recursive tree, every node $i$ is attached to the node labeled $lfloor iX_i floor$ where $X_0$, $ldots$ , $X_n$ is a sequence of i.i.d. random variables, with support in [0,...

A new metric, the Multi-Dimensional aperiodic Merit Factor, is presented, and various recursive quadratic sequence constructions are given for which both the one and multi-dimensional aperiodic Merit Factors can be computed exactly. In some cases these constructions lead to Merit Factors with non-vanishing asymptotes.

Since the invention of the mobile phone, a new generation of mobile communication standard has emerged every 10 years. Upgrading the technology of mobile networks in all areas takes few years. Hence, mobile phones should support the previous communication standards as well as the latest standards. Realizing a multi-standard mobile phone by multiple transceivers in parallel is neither a size-eff...

The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt to make the presentation realistic. Recursive functions on event sequences are used to define state dependent functions and variables in ordinary (non-formal-method) algebra.

In this paper, we propose one low-computation cycle and power-efficient recursive discrete Fourier transform (DFT)/inverse DFT (IDFT) architecture adopting a hybrid of input strength reduction, the Chebyshev polynomial, and register-splitting schemes. Comparing with the existing recursive DFT/IDFT architectures, the proposed recursive architecture achieves a reduction in computation-cycle by ha...