We propose that workflow software can be coupled with existing simulation frameworks (particularly agent-based ones) to provide three broad benefits: an improved modelling process due to the separation of concerns and rich scheduling syntax; interchangeable human and AI agents at minimal development cost; a common conceptual and software base for multi-model, comparative studies of the same sys...

The paper presents a new stiffness modelling method for overconstrained parallel manipulators, which is applied to 3-d.o.f. translational mechanisms. It is based on a multidimensional lumped-parameter model that replaces the link flexibility by localized 6-d.o.f. virtual springs. In contrast to other works, the method includes a FEA-based link stiffness evaluation and employs a new solution str...

The META-PP server (http://cubic.bioc.columbia.edu/meta/) simplifies access to a battery of public protein structure and function prediction servers by providing a common and stable web-based interface. The goal is to make these powerful and increasingly essential methods more readily available to nonexpert users and the bioinformatics community at large. At present META-PP provides access to a...

Before trusting a communications security protocol with potentially critical or sensitive information, it is necessary to have some degree of assurance that the protocol fulfils its intended objectives. To provide this assurance it is necessary to use formal verification techniques, as intuitive reasoning does not satisfactorily guarantee complete freedom from protocol errors. In this paper, a ...

With the recent interest in closed-loop control using standard wireless networks, there is need for accurate network modelling to study the dynamic interaction between the network protocol and the control system. We present a co-simulation tool, written as a C MEX S-function within Simulink, that emulates a networked control system (NCS) with mixed-traffic stations on an IEEE 802.11b wireless n...

We describe new algorithms and modules for protein structure prediction available as part of the PROTINFO web server. The modules, comparative and de novo modelling, have significantly improved back-end algorithms that were rigorously evaluated at the sixth meeting on the Critical Assessment of Protein Structure Prediction methods. We were one of four server groups invited to make an oral prese...

This paper reviews the recent theoretical literature on heterogeneous firms and trade, which emphasizes firm selection into international markets and reallocations of resources across firms. We discuss the empirical challenges that motivated this research and its relationship to traditional trade theories. We examine the implications of firm heterogeneity for comparative advantage, market size,...

The antiplasmodial active extract of Xanthium cavanillesii contains 3,4-dicaffeoyl quinic acid (3,4-DCQA), 3,5-dicaffeoyl quinic acid (3,5-DCQA) and 1,3,5-tricaffeoyl quinic acid (1,3,5-TCQA). These results inspired us to investigate the interaction of these molecules with a promising validated target of Plasmodium, PfATP6 orthologue of mammalian Ca+2-ATPase. Models of this receptor were obtain...

In this paper, we present a comparative study that focus on Supercapacitor (SC) thermal cycling and calendar ageing under constant voltage tests. The impacts of cycling temperature on SC performance and degradation rate are studied. Obtained results from thermal cycling ageing test are compared with those coming from simple calendar ageing test at constant voltage and constant temperature. The ...

The study of fungal physiology is set to change dramatically in the next few years as highly scalable technologies are deployed allowing accurate measurement and identification of metabolites, proteins and transcripts within cells. The advent of next-generation DNA-sequencing technologies will also provide genome sequence information from large numbers of industrially relevant and pathogenic fu...