NeuroML is an XML-based model description language, which provides a powerful common data format for defining and exchanging models of neurons and neuronal networks. In the latest version of NeuroML, the structure and behavior of ion channel, synapse, cell, and network model descriptions are based on underlying definitions provided in LEMS, a domain-independent language for expressing hierarchi...

Pilot-Jobs support effective distributed resource utilization, and are arguably one of the most widely-used distributed computing abstractions – as measured by the number and types of applications that use them, as well as the number of production distributed cyberinfrastructures that support them. In spite of broad uptake, there does not exist a well-defined, unifying conceptual model of Pilot...

We describe a new algorithm for analysing security protocols that use XOR, such as key-management APIs. As a case study, we consider the IBM 4758 CCA API, which is widely used in the ATM (cash machine) network. Earlier versions of the CCA API were shown to have serious flaws, and the fixes introduced by IBM in version 2.41 had not previously been formally analysed. We first investigate IBM’s pr...

There are many reports on the appearance of a typical isoenzyme of alkaline phosphatase (EC 3.1.3.1; API)2 in serum of patients suffering from biliary obstruction. According to the characteristics observed in various studies, this API has variouslybeen termed “high molecular weight” (1), “origin,” “stationary,” “particulate” (2), “bile,” “cholestatic,” “pathological biliary” (3, 4), and “koinoz...

Creating interactive audio applications for web browsers often involves challenges such as time synchronization between non-audio and audio events within thread constraints and format-dependent mapping of data to synthesis parameters. In this paper, we describe a unique approach for these issues with a data-driven symbolic music application programming interface (API) for rapid and interactive ...

The Integrated Technical Reference Model (I-TRM) for an autonomous Wireless Sensor Network (WSN) has been developed to be used as a guideline to develop a unified and standardized architecture for a diverse array of multi-platform WSNs. Based on the I-TRM proposed by Michel and Fortier, there are three planes to this reference model: The Information Plane, the Control Plane and the Behavior Pla...

Context: Modeling tools are traditionally delivered as monolithic desktop applications, optionally extended by plug-ins or special purpose central servers. This delivery model suffers from several drawbacks, ranging from poor scalability to difficult maintenance and the proliferation of “shelfware”. Objective: In this paper we investigate the conceptual and technical feasibility of a new softwa...

Monitoring the electrodermal activity is increasingly accomplished in agent-based experimental settings as the skin is believed to be the only organ to react only to the sympathetic nervous system. This physiological signal has the potential to reveal paths that lead to excitement, attention, arousal and anxiety. However, electrodermal analysis has been driven by simple feature-extraction, inst...

Most applications need to invoke some Application Programming Interfaces (APIs), e.g. JDK (Java Development Kit) API. When invoking those APIs, applications must follow some API constraints. Violation of these constraints will lead to some severe program defects. To detect this kind of defects, lots of static and dynamic approaches are explored, using formally described API constraints. While m...

API-1 (pyrido[2,3-d]pyrimidines) is a novel small-molecule inhibitor of Akt, which acts by binding to Akt and preventing its membrane translocation and has promising preclinical antitumor activity. In this study, we reveal a novel function of API-1 in regulation of cellular FLICE-inhibitory protein (c-FLIP) levels and TRAIL-induced apoptosis, independent of Akt inhibition. API-1 effectively ind...