1730 search results - page 96 / 346 » Algebra and Computation |
108
Voted
DCC
2008
IEEE
16 years 8 days ago
2008
IEEE
A system of algebraic equations over a finite field is called sparse if each equation depends on a small number of variables. Finding efficiently solutions to the system is an unde...
RTA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
118
Voted
AB
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we show how to analyze bifurcation and limit cycles for biological systems by using an algebraic approach based on triangular decomposition, Gr¨obner bases, discrim...
94
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
We present a first-order extension of the algebraic theory about processes known as ACP and its main models. Useful predicates on processes, such as deadlock freedom and determini...
84
Voted
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
This article discusses the modelling and the evaluation of process of electronic signature (ES). According to a certain point of view, this process can be shown as a class of Dynam...