Synchronous products of rewrite systems (extended version)

We present and formalize a concept of synchronous product for rewrite systems, and also a corresponding concept for general transition systems, used as semantics for the former. A series of examples shows their practical usefulness: for the strategic control of systems, and for modular specification and verification.

Children with Special Health Care Needs: Comparison of the Effects of Home Care Setting, Prescribed Pediatric Extended Care Setting, and Long-Term Care Setting on Child and Family Health Outcomes and Health Care Service Use

Technological advances during the past 30 years have dramatically improved survival rates for children with life-threatening conditions (preterm births, congenital anomalies, disease, or injury) resulting in children with special health care needs (CSHCN), children who have or are at increased risk for a chronic physical, developmental, behavioral, or emotional condition and who require health and related services beyond that required by children generally. There are approximately 10.2 million of these children in the United States or one in five households with a child with special health care needs. Care for these children is limited to home care, medical day care (Prescribed Pediatric Extended Care; P-PEC) or a long term care (LTC) facility. There is very limited research examining health outcomes of CSHCN and their families. The purpose of this research was to compare the effects of home care settings, P-PEC settings, and LTC settings on child health and functioning, family health and function, and health care service use of families with CSHCN. Eighty four CSHCN ages 2 to 21 years having a medically fragile or complex medical condition that required continual monitoring were enrolled with their parents/guardians. Interviews were conducted monthly for five months using the PedsQL TM Generic Core Module for child health and functioning, PedsQL TM Family Impact Module for family health and functioning, and Access to Care from the NS-CSHCN survey for health care services. Descriptive statistics, chi square, and ANCOVA were conducted to determine differences across care settings. Children in the P-PEC settings had a highest health care quality of life (HRQL) overall including physical and psychosocial functioning. Parents/guardians with CSHCN in LTC had the highest HRQL including having time and energy for a social life and employment. Parents/guardians with CSHCN in home care settings had the poorest HRQL including physical and psychosocial functioning with cognitive difficulties, difficulties with worry, communication, and daily activities. They had the fewest hours of employment and the most hours providing direct care for their children. Overall health care service use was the same across the care settings.

Rapid detection of β-lactamase-hydrolyzing extended-spectrum cephalosporins in Enterobacteriaceae by use of the new chromogenic βLacta test

The chromogenic βLacta test developed for the rapid detection of β-lactamase-hydrolyzing extended-spectrum cephalosporins in Enterobacteriaceae revealed good performance with extended-spectrum β-lactamase (ESBL) producers (97.5% true-positive results). However, false-negative results occurred with chromosomal AmpC hyperproducers and plasmid AmpC producers, whereas uninterpretable results were mostly due to VIM-1 carbapenemase producers and possibly low levels of expressed ESBLs.

Association of extended-spectrum β-lactamase VEB-5 and 16S rRNA methyltransferase armA in Salmonella enterica from the United Kingdom

Aminoglycosides and beta-lactams are used for the treatment of a wide range of infections due to both Gram-negative and Gram-positive. An emerging aminoglycoside resistance mechanism, methylation of the aminoacyl site of the 16S rRNA, confers high-level resistance to clinically important aminoglycosides such as amikacin, tobramycin and gentamicin. Eight 16S rRNA methyltransferase genes, armA, rmtA, rmtB, rmtC, rmtD, rmtE, rmtF and npmA, have been identified in several species of enterobacteria worldwide (2, 6, 7, 9, 11, 13, 14). Resistance to extended spectrum β-lactams remains additionally an important clinical problem. Apart from the large TEM, SHV, and CTX-M families, several other extended-spectrum β-lactamases (ESBLs) have been identified, including VEB enzymes, which confer high-level resistance to cephalosporins and monobactams. Although 16S rRNA methyltransferases have been frequently identified associated with different ESBLs, there has been no report of association of a 16S rRNA methyltransferase with a VEB enzyme, except for the identification of rmtC with blaVEB-6 (14)

Skeletal maturity and socio-economic status in portuguese children and youths: the Madeira growth study

Skeletal maturity is used to evaluate biological maturity status. Information about the association between socio-economic status (SES) and skeletal maturity is limited in Portugal. Aims: The aim of this study is to document the skeletal maturity of youths in Madeira and to evaluate variation in maturity associated with SES. Subjects and methods: The study involved 507 subjects (256 boys and 251 girls) from the Madeira Growth Study, a mixed-longitudinal study of five cohorts (8, 10, 12, 14 and 16 years of age) followed at yearly intervals over 3 years (1996–1998). A total of 1493 observations were made. Skeletal age was estimated from radiographs of the hand and wrist using the Tanner–Whitehouse 2 method (TW2). Social class rankings were based on Graffar’s (1956) method. Five social rankings were subsequently grouped into three SES categories: high, average and low. Results: Median for the radius, ulna and short finger bones (RUS scores) in the total sample of boys and girls increased curvilinearly across age whereas median for the 7 (without pisiform) carpal bones (Carpal scores) increased almost linearly. The 20-bone maturity scores demonstrated distinctive trends by gender: the medians for boys increased almost linearly while the medians for girls increased curvilinearly. SES differences were minimal. Only among children aged 10–11 years were high SES boys and girls advanced in skeletal maturity. Madeira adolescents were advanced in skeletal maturity compared with Belgian reference values. Conclusion: The data suggests population variation in TW2 estimates of skeletal maturation. Skeletal maturity was not related to SES in youths from Madeira.

Short-term secular change in height, body mass and Tanner-Whitehouse 3 skeletal maturity of Madeira youth, Portugal

Secular trends in height and weight are reasonably well documented in Europe. Corresponding observations for skeletal maturation are lacking. Aim: To assess secular trends in height, body mass and skeletal maturity of Portuguese children and adolescents and to provide updated reference values for skeletal maturity scores (SMSs). Subjects and methods: Data for 2856 children and adolescents of 4–17 years, 1412 boys and 1444 girls, from The ‘Madeira Growth Study’ (MGS; 1996–1998) and from the‘Healthy Growth of Madeira Children Study’ (CRES; 2006) were used. Height and body mass were measured. Skeletal maturity was assessed with the Tanner-Whitehouse 2 and 3 methods. Results: Children from CRES were taller and heavier than peers from MGS. Differences in height reached 5.8cm in boys and 5.5cm in girls. RUS SMSs did not differ consistently between surveys boys, while higher RUS scores were observed in CRES girls. Adult RUS SMSs for MGS and CRES combined were attained at 15.8 years in boys and 14.8 years in girls. Corresponding ages for adult Carpal SMSs were 14.4 and 14.0, respectively. Conclusion: The short-term trends for height and mass were not entirely consistent with the trends in RUS and Carpal SMSs and SAs.

Length at first maturity of two species of lantern sharks (Etmopterus spinax and Etmopterus pusillus) off southern Portugal

Etmoplerus spinax and Etmopterus pusillus are captured in large quantities in some deep-water fisheries along the Portuguesc coast and are always discarded. Specimens were collected from February 2003 to May 2004 from deep-water fisheries and classified as mature or immature. Maturity ogives were fitted and size at first maturity estimated for each sex of each of each species. Both species are late maturing, with the maturity size varying between 75% and 87% of the maximum observed sizes, depending on species and sex. For both species, females tended to mature at and grow to larger sizes than males. The late maturation of these deep-water shark species make these populations extremely vulnerable to increasing fishing mortality.

Size at maturity and length-weight relationships of the blurred lantern shark Etmopterus bigelowi (Squaliformes: Etmopteridae) caught off southeastern Brazil

The blurred lantern shark Etmopterus bigelowi, a deep-water squaloid shark, is globally widespread in temperate and tropical waters, but there is little available information about its biology owing to its relative rarity of capture and taxonomic confusion with its sibling species Etmopterus pusillus. Specimens used in this study were collected from July to December 2004 as by-catch in the commercial deepwater trawl fishery targeting red shrimp Aristaeomorpha foliacea in the southwestern Atlantic. We examined 55 specimens (22 males and 33 females) ranging in total length (TL) from 31.5 to 73 cm and in total weight from 103 to 1600 g. Length-weight relationships were explored for each sex and significant differences were found in the slope coefficients of the male and female regressions. The size at maturity for each sex was evaluated fitting a logistic regression. Females matured at larger sizes than males, with estimated sizes at first maturity of 56.0 cm TL for females and 45.1 cm TL for males. The present study provides important preliminary information about E. bigelowi that can be incorporated in risk assessment and stock assessment models, essential for efficient management practices aimed at avoiding overexploitation of these vulnerable deep-sea sharks.

Distribution pattern of Galeus atlanticus in the Alborán Sea (south western Mediterranean) and some sexual character comparison with Galeus melastomus

Galeus atlanticus is a small-sized deepwater catshark living on the slope bottom of the Alborán Sea. Given its external similarities with Galeus melastomus, both species are often confused, which makes G. atlanticus a very poorly understood species both in terms of catches and biological aspects. For this study, a total of 741 G. atlanticus specimens, caught during scientific surveys from 1997 to 2003, were analysed. The distributional patterns were described and the reproductive status estimated. Galeus atlanticus occurred throughout the Alborán Sea, between the Strait of Gibraltar and Cape Gata, including the slope of the Island of Alborán. Its bathymetric range extended from 330 to 790 m and no size depth trends have been observed. Mature specimens, both males and females, were caught in all seasons of the year. Size at first maturity was significantly different between sexes, with estimates of 32.9 cm for males and 36.9 cm for females. The differential growth of some secondary sexual characteristics, such as clasper length in males and oviducal gland diameter in females, were compared with those of G. melastomus.

Skeletal maturity and socio-economic status in portuguese children and youths: the Madeira growth study

Skeletal maturity is used to evaluate biological maturity status. Information about the association between socio-economic status (SES) and skeletal maturity is limited in Portugal. Aims: The aim of this study is to document the skeletal maturity of youths in Madeira and to evaluate variation in maturity associated with SES. Subjects and methods: The study involved 507 subjects (256 boys and 251 girls) from the Madeira Growth Study, a mixed-longitudinal study of five cohorts (8, 10, 12, 14 and 16 years of age) followed at yearly intervals over 3 years (1996–1998). A total of 1493 observations were made. Skeletal age was estimated from radiographs of the hand and wrist using the Tanner–Whitehouse 2 method (TW2). Social class rankings were based on Graffar’s (1956) method. Five social rankings were subsequently grouped into three SES categories: high, average and low. Results: Median for the radius, ulna and short finger bones (RUS scores) in the total sample of boys and girls increased curvilinearly across age whereas median for the 7 (without pisiform) carpal bones (Carpal scores) increased almost linearly. The 20-bone maturity scores demonstrated distinctive trends by gender: the medians for boys increased almost linearly while the medians for girls increased curvilinearly. SES differences were minimal. Only among children aged 10–11 years were high SES boys and girls advanced in skeletal maturity. Madeira adolescents were advanced in skeletal maturity compared with Belgian reference values. Conclusion: The data suggests population variation in TW2 estimates of skeletal maturation. Skeletal maturity was not related to SES in youths from Madeira.

Short-term secular change in height, body mass and Tanner-Whitehouse 3 skeletal maturity of Madeira youth, Portugal

Secular trends in height and weight are reasonably well documented in Europe. Corresponding observations for skeletal maturation are lacking. Aim: To assess secular trends in height, body mass and skeletal maturity of Portuguese children and adolescents and to provide updated reference values for skeletal maturity scores (SMSs). Subjects and methods: Data for 2856 children and adolescents of 4–17 years, 1412 boys and 1444 girls, from The ‘Madeira Growth Study’ (MGS; 1996–1998) and from the‘Healthy Growth of Madeira Children Study’ (CRES; 2006) were used. Height and body mass were measured. Skeletal maturity was assessed with the Tanner-Whitehouse 2 and 3 methods. Results: Children from CRES were taller and heavier than peers from MGS. Differences in height reached 5.8cm in boys and 5.5cm in girls. RUS SMSs did not differ consistently between surveys boys, while higher RUS scores were observed in CRES girls. Adult RUS SMSs for MGS and CRES combined were attained at 15.8 years in boys and 14.8 years in girls. Corresponding ages for adult Carpal SMSs were 14.4 and 14.0, respectively. Conclusion: The short-term trends for height and mass were not entirely consistent with the trends in RUS and Carpal SMSs and SAs.

PRISM (Polarized Radiation Imaging and Spectroscopy Mission): an extended white paper

PRISM (Polarized Radiation Imaging and Spectroscopy Mission) was proposed to ESA in May 2013 as a large-class mission for investigating within the framework of the ESA Cosmic Vision program a set of important scientific questions that require high res- olution, high sensitivity, full-sky observations of the sky emission at wavelengths ranging from millimeter-wave to the far-infrared. PRISM’s main objective is to explore the distant universe, probing cosmic history from very early times until now as well as the structures, distribution of matter, and velocity flows throughout our Hubble volume. PRISM will survey the full sky in a large number of frequency bands in both intensity and polarization and will measure the absolute spectrum of sky emission more than three orders of magnitude bet- ter than COBE FIRAS. The data obtained will allow us to precisely measure the absolute sky brightness and polarization of all the components of the sky emission in the observed frequency range, separating the primordial and extragalactic components cleanly from the galactic and zodiacal light emissions. The aim of this Extended White Paper is to provide a more detailed overview of the highlights of the new science that will be made possible by PRISM, which include: (1) the ultimate galaxy cluster survey using the Sunyaev-Zeldovich (SZ) e↵ect, detecting approximately 106 clusters extending to large redshift, including a char- acterization of the gas temperature of the brightest ones (through the relativistic corrections to the classic SZ template) as well as a peculiar velocity survey using the kinetic SZ e↵ect that comprises our entire Hubble volume; (2) a detailed characterization of the properties and evolution of dusty galaxies, where the most of the star formation in the universe took place, the faintest population of which constitute the di↵use CIB (Cosmic Infrared Background); (3) a characterization of the B modes from primordial gravity waves generated during inflation and from gravitational lensing, as well as the ultimate search for primordial non-Gaussianity using CMB polarization, which is less contaminated by foregrounds on small scales than thetemperature anisotropies; (4) a search for distortions from a perfect blackbody spectrum, which include some nearly certain signals and others that are more speculative but more informative; and (5) a study of the role of the magnetic field in star formation and its inter- action with other components of the interstellar medium of our Galaxy. These are but a few of the highlights presented here along with a description of the proposed instrument.

Maturity index and cold storage effects on postharvest quality of 'Packham's Triumph' and 'Rocha' pears.

Pears have been grown in the south region of Brazil, where the climatic conditions are favourable. The aim of this work was to determine the harvest maturity index as well as maximum storage period of 'Packham's Triumph? and 'Rocha' pears to maintain quality attributes. The ?Packham?s Triumph? fruit were harvested from a commercial orchard at 7 days intervals and flesh firmness was used as a maturity index (MI1=76, MI2=67 and MI3=58 N). ?Rocha? pears were harvested twice and they were considered as MI1 and MI3 because of the firmness values. The fruit were stored at 1±1C and 90-95% RH for 15, 30, 45 and 60 days and evaluated at the end of each storage period and after five days at room temperature (24±1C), simulating a helflife period. Flesh firmness, water loss, peduncle dehydration, epidermis colour, soluble solids, titratable acidity were measured. ?Packham?s? pears harvested at MI1 and MI2 showed firmness loss after 30 days of cold storage, whereas fruit harvested at MI3 retained the initial values, resulting in firmer fruit after 60 days (P<0.001). Fruit harvested in MI3 had less firmness loss after 5 days at room temperature following 45 and 60 days of cold storage. ?Rocha? pears harvested in MI1 and MI3 showed firmness reduction during cold storage, which was intensified at room temperature. Maximum values of water loss approached 6%. Fruit peduncles of both cultivars dehydrated after 60 days of cold storage, but their colour remained green, independent of harvest maturity index. ?Packham?s Triumph? and ?Rocha? pears harvested at MI3 showed better quality attributes after 60 days of cold storage plus 5 days of shelf-life than fruit harvested at other maturity stages.