The Microtubule Affinity-Regulating Kinase 4 belongs to a kinases family that phosphorylates the Microtubule[MT]-Associated Proteins, causing their detachment and increasing MT dynamics. MARK4 encodes two alternative spliced isoforms, L and S, which expression is differentially regulated in human tissues. In normal brain the predominant expression of MARK4S has been related to a putative role i...

Many security protocols have the aim of authenticating one agent acting as initiator to another agent acting as responder and vice versa. Sometimes, the authentication fails because of executing several parallel sessions of a protocol, and because an agent may play both the initiator and responder role in parallel sessions. We take advantage of the notion of transition systems to specify authen...

The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant can access and modify a set of global data, which are able to trigger adaptations in the presence of critical changes of values. The use of the par...

From prehistoric times, humans have evolved as pattern seeking and storytelling species. While the capacity to find patterns and infer meanings had obvious advantages for survival, the brain is not always successful in distinguishing meaningful and meaningless patterns. In fact, "pattern finding" and "order seeking" mechanisms form the basis for nearly all existing myths, superstitions, cultura...

We summarize the activities in the spin physics parallel sessions of the 8 conference on intersections between particle and nuclear physics.

Results are given for the inclusive photoproduction of protons and antiprotons measured with the H1 detector in ep collisions at HERA. The particle identification is based on dE=dx measurement. A non-vanishing baryon asymmetry has been observed in the photon hemisphere. The baryon asymmetry is studied as a function of the charged particle multiplicity. Abstract: 556 Parallel sessions: 5 Plenary...

We present a search for excited fermions in e+p scattering at HERA using H1 data with an integrated luminosity of 37 pb 1. All electroweak decays of excited leptons, ` ! ` ; `W; `Z0 are considered. The excited quarks are searched for in the q ! q and qW channels. The analysis considers Z0 and W hadronic decays and first generation leptonic decays. No evidence for new particle production is foun...

TCP is one of the main transmission protocols used in the Internet. It has also been recently observed that opening parallel TCP sessions might be of interest for a user in order to increase his overall average throughput. We suggest in this paper to charge users per TCP session, and we investigate the resulting game in a homogeneous context: how many sessions should each user open? Given the d...

We show that a simplification to earlier CSP models designed to prove protocols correct on the FDR model checker is valid. This both allows us to extend the scope of our proofs and produce checks that are enormously more efficient.