In this correspondence we investigate the performance of the Lempel–Ziv incremental parsing scheme on nonstationary sources. We show that it achieves the best rate achievable by a finite-state block coder for the nonstationary source. We also show a similar result for a lossy coding scheme given by Yang and Kieffer which uses a Lempel–Ziv scheme to perform lossy coding.

We present the first thorough practical study of the Lempel-Ziv-78 and the Lempel-Ziv-Welch computation based on trie data structures. With a careful selection of trie representations we can beat well-tuned popular trie data structures like Judy, m-Bonsai or Cedar.

Symbolic representations have attracted significant attention in optimal planning. Binary Decision Diagrams (BDDs) form the basis for symbolic search algorithms. Closely related are Algebraic Decision Diagrams (ADDs), used to represent heuristic functions. Also, progress was made in dealing with models that take state-dependent action costs into account. Here, costs are represented as Edge-valu...

Multi-electrode array recordings reveal complex structures in the firing of spatially distributed neurons. The analysis of this neuronal network activity demands a classification of neurons according to similarities in their firing behavior. If similar spike patterns do not occur synchronously, but have unknown delays within spike trains, this processing step is difficult. To solve this problem...

* Correspondence author. Abstract The fuzzy multi-attribute decision making problems are investigated, in which the attribute values are given as intervalvalued intuitionistic fuzzy numbers and the attribute weight information is incomplete. Some operational laws of interval-valued intuitionistic fuzzy numbers, score function and accuracy function of interval-valued intuitionistic fuzzy numbers...

organizations need to evaluate project proposals and select the ones that are the most effective in reaching the strategic goals by considering sustainability issue. in order to enhance the effectiveness and the efficiency of project oriented organizations, in this paper a new multi-objective decision making (modm) approach of sustainable project portfolio selection is proposed which applies in...

In this paper we present quaternary and ternary routing tracks for FPGAs, and their implementation in 28nm FDSOI technology. We discuss the transistor level design of multi-valued repeaters, multiplexers and translators, and specific features of FDSOI technology which make it possible. Next we compare the multi-valued routing architectures with equivalent single driver two-valued routing archit...

This paper proposes a stack of three Byzantine-resistant protocols aimed to be used in practical distributed systems: multi-valued consensus, vector consensus and atomic broadcast. These protocols are designed as successive transformations from one to another. The first protocol, multi-valued consensus, is implemented on top of a randomized binary consensus and a reliable broadcast protocol. Th...

We present a framework for fully automated compositional verification of μ-calculus specifications over multi-valued systems, based on multivalued abstraction and refinement. Multi-valued models are widely used in many applications of model checking. They enable a more precise modeling of systems by distinguishing several levels of uncertainty and inconsistency. Successful verification tools su...