A comparative study for the pair-creation contact process using series expansions

A comparative study between two distinct perturbative series expansions for the pair-creation contact process is presented. In contrast to the ordinary contact process, whose supercritical series expansions provide accurate estimates for its critical behavior, the supercritical approach does not work properly when applied to the pair-creation process. To circumvent this problem a procedure is introduced in which one-site creation is added to the pair-creation. An alternative method is the generation of subcritical series expansions which works even for the case of the pure pair-creation process. Differently from the supercritical case, the subcritical series yields estimates that are compatible with numerical simulations

Generic Subsequence Matching Framework: Modularity, Flexibility, Efficiency

Subsequence matching has appeared to be an ideal approach for solving many problems related to the fields of data mining and similarity retrieval. It has been shown that almost any data class (audio, image, biometrics, signals) is or can be represented by some kind of time series or string of symbols, which can be seen as an input for various subsequence matching approaches. The variety of data types, specific tasks and their partial or full solutions is so wide that the choice, implementation and parametrization of a suitable solution for a given task might be complicated and time-consuming; a possibly fruitful combination of fragments from different research areas may not be obvious nor easy to realize. The leading authors of this field also mention the implementation bias that makes difficult a proper comparison of competing approaches. Therefore we present a new generic Subsequence Matching Framework (SMF) that tries to overcome the aforementioned problems by a uniform frame that simplifies and speeds up the design, development and evaluation of subsequence matching related systems. We identify several relatively separate subtasks solved differently over the literature and SMF enables to combine them in straightforward manner achieving new quality and efficiency. This framework can be used in many application domains and its components can be reused effectively. Its strictly modular architecture and openness enables also involvement of efficient solutions from different fields, for instance efficient metric-based indexes. This is an extended version of a paper published on DEXA 2012.Comment: This is an extended version of a paper published on DEXA 201

Bang-bang dielectrophoretic orientation

Off-on dielectrophoretic propellant orientation in low gravity environmen

Psychosocial outcomes of an inclusive adapted sport and adventurous training course for military personnel.

PURPOSE: To explore the psychosocial outcomes of an inclusive adapted sport and adventurous training course that aims to support the rehabilitation and personal development of military personnel who have sustained physical and/or psychological disability. METHOD: Narrative life story interviews were conducted with 11 men aged 20-43 taking part in one of the 5-day courses. A thematic narrative analysis was conducted, focusing on accounts that provided insights into personally meaningful psychosocial outcomes of the course. FINDINGS: We identified six themes, falling into two distinct clusters. "Bringing me back to myself" was achieved through the themes of (1) returning to activity, (2) rediscovering a sense of purpose, and (3) reconnecting to others. "New rooms to explore" was realised through (4) experiencing new activities, (5) being valued/respected/cared for and (6) being inspired by other people. CONCLUSION: Involvement in the course stimulated a balance of present- and future-oriented psychosocial outcomes through which participants both recreated aspects of themselves that had been lost through injury/trauma and moved forward with their lives as a result of new horizons of possibility. IMPLICATIONS FOR REHABILITATION: This 5-day inclusive adapted sport and adventurous training course offered meaningful psychosocial outcomes among military personnel who had experienced physical and/or psychological disability. The course helped participants recover aspects of their previous life and self through becoming physically active again, rediscovering a sense of purpose and reconnecting to others. Participants describe a broadening of life horizons as a result of the course, through new activities, being valued/respected/cared for, and being inspired by other people

Typing and Compositionality for Security Protocols::A Generalization to the Geometric Fragment

We integrate, and improve upon, prior relative soundness results of two kinds. The first kind are typing results showing that any security protocol that fulfils a number of sufficient conditions has an attack if it has a well-typed attack. The second kind considers the parallel composition of protocols, showing that when running two protocols in parallel allows for an attack, then at least one of the protocols has an attack in isolation. The most important generalization over previous work is the support for all security properties of the geometric fragment

Thermal Impact on Spiking Properties in Hodgkin-Huxley Neuron with Synaptic Stimulus

The effect of environmental temperature on neuronal spiking behaviors is investigated by numerically simulating the temperature dependence of spiking threshold of the Hodgkin-Huxley neuron subject to synaptic stimulus. We find that the spiking threshold exhibits a global minimum in a "comfortable temperature" range where spike initiation needs weakest synaptic strength, indicating the occurrence of optimal use of synaptic transmission in neural system. We further explore the biophysical origin of this phenomenon in ion channel gating kinetics and also discuss its possible biological relevance in information processing in neural systems.Comment: 10 pages, 4 figure

A grid-based infrastructure for distributed retrieval

In large-scale distributed retrieval, challenges of latency, heterogeneity, and dynamicity emphasise the importance of infrastructural support in reducing the development costs of state-of-the-art solutions. We present a service-based infrastructure for distributed retrieval which blends middleware facilities and a design framework to ‘lift’ the resource sharing approach and the computational services of a European Grid platform into the domain of e-Science applications. In this paper, we give an overview of the DILIGENT Search Framework and illustrate its exploitation in the field of Earth Science

X-Ray Scattering at FeCo(001) Surfaces and the Crossover between Ordinary and Normal Transitions

In a recent experiment by Krimmel et al. [PRL 78, 3880 (1997)], the critical behavior of FeCo near a (001) surface was studied by x-ray scattering. Here the experimental data are reanalyzed, taking into account recent theoretical results on order-parameter profiles in the crossover regime between ordinary and normal transitions. Excellent agreement between theoretical expectations and the experimental results is found.Comment: 9 pages, Latex, 1 PostScript figure, to be published in Phys.Rev.

AnBx - Security Protocols Design and Verification

Designing distributed protocols is challenging, as it requires actions at very different levels: from the choice of network-level mechanisms to protect the exchange of sensitive data, to the definition of structured interaction patterns to convey application-specific guarantees. Current security infrastructures provide very limited support for the specification of such guarantees. As a consequence, the high-level security properties of a protocol typically must often be hard-coded explicitly, in terms of low-level cryptographic notions and devices which clutter the design and undermine its scalability and robustness. To counter these problems, we propose an extended Alice & Bob notation for protocol narrations (AnBx) to be employed for a purely declarative modelling of distributed protocols. These abstractions provide a compact specification of the high-level security guarantees they convey, and help shield the design from the details of the underlying cryptographic infrastructure. We discuss an implementation of the abstractions based on a translation from the AnBx notation to the AnB language supported by the OFMC [1,2] verification tool. We show the practical effectiveness of our approach by revisiting the iKP e-payment protocols, and showing that the security goals achieved by our declarative specification outperform those offered by the original protocols