A comparison between local and global recoding algorithms for achieving microdata -sensitive -anonymity.
A comparison of evidential networks and compositional models
Several counterparts of Bayesian networks based on different paradigms have been proposed in evidence theory. Nevertheless, none of them is completely satisfactory. In this paper we will present a new one, based on a recently introduced concept of conditional independence. We define a conditioning rule for variables, and the relationship between conditional independence and irrelevance is studied with the aim of constructing a Bayesian-network-like model. Then, through a simple example, we will...
A comparison of Jacobian-based methods of inverse kinematics for serial robot manipulators
The objective of this paper is to present and make a comparative study of several inverse kinematics methods for serial manipulators, based on the Jacobian matrix. Besides the well-known Jacobian transpose and Jacobian pseudo-inverse methods, three others, borrowed from numerical analysis, are presented. Among them, two approximation methods avoid the explicit manipulability matrix inversion, while the third one is a slightly modified version of the Levenberg-Marquardt method (mLM). Their comparison...
A comparison of monoprogramming and multiprogramming with static partitioned memory
A comparison of multiobjective evolutionary algorithms.
A complete characterization of primitive recursive intensional behaviours
We give a complete characterization of the class of functions that are the intensional behaviours of primitive recursive (PR) algorithms. This class is the set of primitive recursive functions that have a null basic case of recursion. This result is obtained using the property of ultimate unarity and a geometrical approach of sequential functions on N the set of positive integers.
A completeness theorem in the modal logic of programs
A Complexity Calculus for Recursive Tree Algorithms
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.