4103 search results - page 24 / 821 » Some results on the Collatz problem |
RTA
2009
Springer
14 years 1 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...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
MOC
1998
13 years 7 months ago
1998
In this paper we consider various multi-component splittings based on the trapezoidal rule and the implicit midpoint rule. It will be shown that an important requirement on such me...
APPML
2011
13 years 2 months ago
2011
In this article we present a model of insect infestation of grape vines and consider the optimal control of the pest through the use of egg pesticides. We show existence and uniqu...
ELPUB
2003
ACM
14 years 19 days ago
2003
ACM
This text presents a set of reflections about the use of electronic publishing in African countries, as a means of access to scientific information. It includes brief remarks abou...