In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a {multimap}-schedule, and the similar notion of ⊗-schedule, both structures describing interleavings of...
In 2007, Harmer, Hyland and Melliès gave a formal mathematical foundation for game semantics using a notion they called a {multimap}-schedule, and the similar notion of ⊗-schedule, both structures describing interleavings of...
We study the global existence of solutions of a discrete (ODE-based) model on a graph describing the formation of biological transportation networks, introduced by Hu and Cai. We propose an adaptation of this model so that a...
Motivated by recent papers describing the formation of biological transport networks we study a discrete model proposed by Hu and Cai consisting of an energy consumption function constrained by a linear system on a graph. For...
|< |
< |
1 |