We have developed a formalism for describing distributed multi-agent processes semantically. The formalism is a novel combination of π-calculus [14] and SHIQ(D) description logic [11] with DL-safe rules [15] and allows describing functional properties (schema, data and behaviour) and non-functional properties (QoS attributes and credentials) of processes in a unifying way [2, 4, 7]. In particul...

Current theories of muscle contraction propose that the power stroke of a myosin motor is the sole source of mechanical energy driving the sliding filaments of a contracting muscle. These models exclude titin, the largest protein in the human body, which determines the passive elasticity of muscles. Here, we show that stepwise unfolding/folding of titin immunoglobulin (Ig) domains occurs in the...

Open source software is changing not only the way the software industry works, but also the way work gets done. In the open source software model, individuals and companies collaborate together to produce software. They learn new ways of getting work done that are based on meritocracy and little management. In addition, they learn ways of communication that work well across large groups and vir...

Ehrenfest's theorem is used to derive the rate of change of kinetic energy induced by an external field. The expression for the power is valid for any electromagnetic field in arbitrary gauge. We discuss the applicable conditions for the Mott-Davis and Moseley-Lukes form of the Kubo-Greenwood formula (KGF) for the electrical conductivity which has been implemented in ab initio codes. We show th...