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