4,853 research outputs found
SPS technical issues
The technical issues which would either seriously impact or potentially negate the integrity of a solar power satellite program are enumerated. Issues are identified not only relating to the question of engineering feasibility, but also to the equally important areas of environmental and social acceptability and, especially, economic viability. Specific information required for resolution of the issues was developed and a planned overall approach for resolution was identified. Results of these analyses show that 60% of the technical issues can be resolved with analysis only; 10% require only ground testing for resolution; and the remaining 30% require space experiments or demonstrations for resolution. The results also show that 85% resolution of the issues may be accomplished prior to development of a protoype
Security Theorems via Model Theory
A model-theoretic approach can establish security theorems for cryptographic
protocols. Formulas expressing authentication and non-disclosure properties of
protocols have a special form. They are quantified implications for all xs .
(phi implies for some ys . psi). Models (interpretations) for these formulas
are *skeletons*, partially ordered structures consisting of a number of local
protocol behaviors. Realized skeletons contain enough local sessions to explain
all the behavior, when combined with some possible adversary behaviors. We show
two results. (1) If phi is the antecedent of a security goal, then there is a
skeleton A_phi such that, for every skeleton B, phi is satisfied in B iff there
is a homomorphism from A_phi to B. (2) A protocol enforces for all xs . (phi
implies for some ys . psi) iff every realized homomorphic image of A_phi
satisfies psi. Hence, to verify a security goal, one can use the Cryptographic
Protocol Shapes Analyzer CPSA (TACAS, 2007) to identify minimal realized
skeletons, or "shapes," that are homomorphic images of A_phi. If psi holds in
each of these shapes, then the goal holds
Challenges of breastfeeding preterm infants: A case study. What goes right, what goes wrong, and what can nurses do?
Promoting breastfeeding of preterm infants offers clinical challenges for maternal-child nurses, and requires understanding the experience of the mother. Maternal-child nurses, in collaboration with hospital- and community-based lactation specialists, can meet the unique needs of preterm infants and their mothers. There are several opportunities for nurses to educate other health care professionals in the care of preterm infants and their mothers. The case study in this article presents one mother’s experience of delivering a preterm infant and the many obstacles to breastfeeding that she encountered, and it also offers suggestions for what nurses and other health care professionals can do to make sure other mothers have a more positive experience
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
Health Care Delivery Practices in Huntington's Disease Specialty Clinics : An International Survey
The CHDI Foundation, Inc. funds Enroll-HD and the activities of the Enroll-HD Care Improvement Committee, including the present survey. We would like to acknowledge the Enroll-HD and REGISTRY administrative staff that assisted in the recruitment of sites and sites that completed the survey.Peer reviewedPublisher PD
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
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.
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
Exploration of crime-scene characteristics in juvenile homicide in the French-speaking part of Belgium
This study explores modeling crime-scene characteristics of juvenile homicide in the French-speaking part of Belgium. Multidimensional scaling analysis was carried out on crime-scene characteristics derived from the court files of 67 individuals under 22 years old, who had been charged with murder or attempted murder (1995-2009). Three thematic regions (Expressive: multiple offenders; Instrumental: theft; Instrumental: sex/forensic awareness) distinguished types of aggression displayed during the offense. These themes reaffirm that the expressive-instrumental differentiation found in general homicide studies is valuable when attempting to discriminate juvenile homicides. The proposed framework was found useful to classify the offenses, as 84% of homicides were assigned to a dominant theme. Additionally, associations between crime-scene characteristics and offenders' characteristics were analyzed, but no associations were found, therefore failing to provide empirical support for the homology assumption. Cultural comparisons, as well as the influence of age on the thematic structure are discussed
- …