Numerous metrics have been developed that attempt to assess the reliability of phylogenetic trees. Several of these commonly used measures of tree and tree branch support are desc...
The complexity of pedestrian spatio-temporal behaviour calls for the combination of several complementary empirical methods in order to comprehensively understand human motion beha...
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
: The objective of our research is to computationally model word production and its disorders by means of artificial neural networks. In the current study we develop and analyze an...
We present a two-stage method for obtaining both phase and object estimates from phase-diversity time series data. In the first stage, the phases are estimated for each time frame...