In this paper we present the research that has been done with Linear Dynamical Systems to generate almost uniformly elements from a given set, and thus approximate some hard counting problems. We also indicate how non-linear systems can help to parallelize the computation. We end presenting further applications of linear systems to formalize heuristics.Postprint (published version
summary:Nonlinear iterative methods are investigated and a generalization of a direct method for lin...
This chapter provides a survey of various aspects of the numerical solution of selected problems in ...
Several recent results have implemented a number of deterministic automata (finite-state, pushdown, ...
In this paper we present the research that has been done with Linear Dynamical Systems to generate a...
2This version of the thesis was updated in October 2014. The update only concerns the presentation a...
The following problems related to linear systems are studied: finding a diophantine solution; findin...
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues ...
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focus...
The book deals with dynamical systems, generated by linear mappings of finite dimensional spaces and...
Given complex numbers w1,..,wn, we define the weight w(X) of a set X of 0-1 vectors as the sum of ov...
This chapter provides a survey of various aspects of the numerical solution of selected problems in ...
AbstractThe solution of linear systems continues to play an important role in scientific computing. ...
AbstractUsing predicate logic, the concept of a linear problem is formalized. The class of linear pr...
In this thesis I explore three new topics in Dynamical Systems. In Chapters 2 and 3 I investigate th...
We describe a new algorithm for solving a conjunction of linear diophantine equations, inequations a...
summary:Nonlinear iterative methods are investigated and a generalization of a direct method for lin...
This chapter provides a survey of various aspects of the numerical solution of selected problems in ...
Several recent results have implemented a number of deterministic automata (finite-state, pushdown, ...
In this paper we present the research that has been done with Linear Dynamical Systems to generate a...
2This version of the thesis was updated in October 2014. The update only concerns the presentation a...
The following problems related to linear systems are studied: finding a diophantine solution; findin...
Cette thèse porte sur les techniques d'analyse formelle de systèmes hybrides à dynamiques continues ...
In this thesis, we presented our contributions to the formal analysis of dynamical systems. We focus...
The book deals with dynamical systems, generated by linear mappings of finite dimensional spaces and...
Given complex numbers w1,..,wn, we define the weight w(X) of a set X of 0-1 vectors as the sum of ov...
This chapter provides a survey of various aspects of the numerical solution of selected problems in ...
AbstractThe solution of linear systems continues to play an important role in scientific computing. ...
AbstractUsing predicate logic, the concept of a linear problem is formalized. The class of linear pr...
In this thesis I explore three new topics in Dynamical Systems. In Chapters 2 and 3 I investigate th...
We describe a new algorithm for solving a conjunction of linear diophantine equations, inequations a...
summary:Nonlinear iterative methods are investigated and a generalization of a direct method for lin...
This chapter provides a survey of various aspects of the numerical solution of selected problems in ...
Several recent results have implemented a number of deterministic automata (finite-state, pushdown, ...