4,855 research outputs found
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
- …