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...
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...
It is well known that laminated composite materials are prone to impact damage caused by foreign objects and exhibit poor damage resistance in through the thickness direction. By drawing inspiration from naturally occurring...
|< |
< |
1 |