— The dynamic nature of ad hoc networks advocates the use of adaptive schemes to optimize network performance. Such adaptive schemes require local observations of prevailing netw...
Abstract--Link adaptation to dynamically select the data transmission rate at a given time has been recognized as an effective way to improve the goodput performance of the IEEE 80...
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
— This paper explores the space of active modular trusses, ranging from a passive truss with one independent active climbing module to fully self-reconfiguring dynamically contr...
Carrick Detweiler, Marsette Vona, Keith Kotay, Dan...