A compositional approach to synchronize two dimensional networks of processors
A Compositional Approach to Synchronize Two Dimensional Networks of Processors
The problem of synchronizing a network of identical processors that work synchronously at discrete steps is studied. Processors are arranged as an array of m rows and n columns and can exchange each other only one bit of information. We give algorithms which synchronize square arrays of (n × n) processors and give some general constructions to synchronize arrays of (m × n) processors. Algorithms are given to synchronize in time n2, , and 2n a square array of (n × n) processors. Our approach...
A computation of positive one-peak posets that are Tits-sincere
A complete list of positive Tits-sincere one-peak posets is provided by applying combinatorial algorithms and computer calculations using Maple and Python. The problem whether any square integer matrix is ℤ-congruent to its transpose is also discussed. An affirmative answer is given for the incidence matrices and the Tits matrices of positive one-peak posets I.
A Computational Framework to Assess the Efficacy of Cytotoxic Molecules and Vascular Disrupting Agents against Solid Tumours
A computational framework for testing the effects of cytotoxic molecules, specific to a given phase of the cell cycle, and vascular disrupting agents (VDAs) is presented. The model is based on a cellular automaton to describe tumour cell states transitions from proliferation to death. It is coupled with a model describing the tumour vasculature and its adaptation to the blood rheological constraints when alterations are induced by VDAs treatment....
A computational perspective on network coding.
A Computer Algebra Application to Determination of Lie Symmetries of Partial Differential Equations
The paper has been presented at the 12th International Conference on Applications of Computer Algebra, Varna, Bulgaria, June, 2006A MATHEMATICA package for finding Lie symmetries of partial differential equations is presented. The package is designed to create and solve the associated determining system of equations, the full set of solutions of which generates the widest permissible local Lie group of point symmetry transformations. Examples illustrating the functionality of the package's tools...
A Concept of an Expert System for Spare Parts Inventory Classification
A conception of optimality for algorithms and its application to the optimal search for a minimum
A concurrency control problem in a time-sharing system with different job types
A conjecture on the concatenation product
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Mal’cev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure – this operation corresponds to passing to the upper level in any concatenation hierarchy. Although this conjecture is probably true in some particular cases, we give a counterexample in the general case. Another...
A conjecture on the concatenation product
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Mal'cev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure – this operation corresponds to passing to the upper level in any concatenation hierarchy. Although this conjecture is probably true in some particular cases, we give a counterexample in the general case....
A connection between Computer Science and Fuzzy Theory: Midpoints and running time of computing.
A Constant Space Representation of Digital Cubic Parabolas
A context-based approach to linguistic hedges
We present a framework of L-fuzzy modifiers for L being a complete lattice. They are used to model linguistic hedges that act on linguistic terms represented by L-fuzzy sets. In the modelling process the context is taken into account by means of L-fuzzy relations, endowing the L-fuzzy modifiers with a clear inherent semantics. To our knowledge, these L-fuzzy modifiers are the first ones proposed that are suitable to perform this representation task for a lattice L different from the unit interval....
A continuous family of automata : the Ising automata
A contribution to the top-to-bottom recognizer rehabilitation
A convenient category for directed homotopy.
A cost-sensitive learning algorithm for fuzzy rule-based classifiers.
Designing classifiers may follow different goals. Which goal to prefer among others depends on the given cost situation and the class distribution. For example, a classifier designed for best accuracy in terms of misclassifications may fail when the cost of misclassification of one class is much higher than that of the other. This paper presents a decision-theoretic extension to make fuzzy rule generation cost-sensitive. Furthermore, it will be shown how interpretability aspects and the costs of...
A course in spatial visualisation.
A criterion for non-automaticity of sequences.