303 search results - page 21 / 61 » Discrete Mathematics for Computer Science, Some Notes |
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Mathematical modeling of growing multicellular structures creates the problem of solving systems of equations in which not only the values of variables, but the equations themselv...
GG
2010
Springer
13 years 8 months ago
2010
Springer
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
ENTCS
2006
13 years 8 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
STACS
2000
Springer
14 years 1 days ago
2000
Springer
We prove that several global properties (global convergence, global asymptotic stability, mortality, and nilpotence) of particular classes of discrete time dynamical systems are un...
WSC
2008
13 years 10 months ago
2008
A tenure-track appointment is a wonderful thing, but it really should come with an instruction manual. This article is a loosely-coupled collection of thoughts and advice on survi...