Populations III.1 and III.2 gamma-ray bursts: constraints on the event rate for future radio and X-ray surveys

Aims. We calculate the theoretical event rate of gamma-ray bursts (GRBs) from the collapse of massive first-generation (Population III; Pop III) stars. The Pop III GRBs could be super-energetic with the isotropic energy up to E(iso) greater than or similar to 10(55-57) erg, providing a unique probe of the high-redshift Universe. Methods. We consider both the so-called Pop III.1 stars (primordial) and Pop III.2 stars (primordial but affected by radiation from other stars). We employ a semi-analytical approach that considers inhomogeneous hydrogen reionization and chemical evolution of the intergalactic medium. Results. We show that Pop III.2 GRBs occur more than 100 times more frequently than Pop III.1 GRBs, and thus should be suitable targets for future GRB missions. Interestingly, our optimistic model predicts an event rate that is already constrained by the current radio transient searches. We expect similar to 10-10(4) radio afterglows above similar to 0.3 mJy on the sky with similar to 1 year variability and mostly without GRBs (orphans), which are detectable by ALMA, EVLA, LOFAR, and SKA, while we expect to observe maximum of N < 20 GRBs per year integrated over at z > 6 for Pop III.2 and N < 0.08 per year integrated over at z > 10 for Pop III.1 with EXIST, and N < 0.2 for Pop III.2 GRBs per year integrated over at z > 6 with Swift.

Radio-frequency spectroscopy of (6)Li p-wave molecules: Towards photoemission spectroscopy of a p-wave superfluid

We study rf spectroscopy of a lithium gas with the goal to explore the possibilities for photoemission spectroscopy of a strongly interacting p-wave Fermi gas. Radio-frequency spectra of quasibound p-wave molecules and of free atoms in the vicinity of the p-wave Feshbach resonance located at 159.15G are presented. The spectra are free of detrimental final-state effects. The observed relative magnetic-field shifts of the molecular and atomic resonances confirm earlier measurements realized with direct rf association. Furthermore, evidence of molecule production by adiabatically ramping the magnetic field is observed. Finally, we propose the use of a one-dimensional optical lattice to study anisotropic superfluid gaps as most direct proof of p-wave superfluidity.

A Functional Verification Methodology Based on Parameter Domains for Efficient Input Stimuli Generation and Coverage Modeling

Modern Integrated Circuit (IC) design is characterized by a strong trend of Intellectual Property (IP) core integration into complex system-on-chip (SOC) architectures. These cores require thorough verification of their functionality to avoid erroneous behavior in the final device. Formal verification methods are capable of detecting any design bug. However, due to state explosion, their use remains limited to small circuits. Alternatively, simulation-based verification can explore hardware descriptions of any size, although the corresponding stimulus generation, as well as functional coverage definition, must be carefully planned to guarantee its efficacy. In general, static input space optimization methodologies have shown better efficiency and results than, for instance, Coverage Directed Verification (CDV) techniques, although they act on different facets of the monitored system and are not exclusive. This work presents a constrained-random simulation-based functional verification methodology where, on the basis of the Parameter Domains (PD) formalism, irrelevant and invalid test case scenarios are removed from the input space. To this purpose, a tool to automatically generate PD-based stimuli sources was developed. Additionally, we have developed a second tool to generate functional coverage models that fit exactly to the PD-based input space. Both the input stimuli and coverage model enhancements, resulted in a notable testbench efficiency increase, if compared to testbenches with traditional stimulation and coverage scenarios: 22% simulation time reduction when generating stimuli with our PD-based stimuli sources (still with a conventional coverage model), and 56% simulation time reduction when combining our stimuli sources with their corresponding, automatically generated, coverage models.

Skin Coverage of the Middle-Distal Segment of the Leg With a Pedicled Perforator Flap

Objective: This is a clinical study of our experience using pedicle perforator flaps to cover skin defects in the middle and distal segment of the leg. Design: Prospective study. Setting: University hospital. Patients/Intervention: Twenty-four patients underwent treatment of a skin defect in the middle or distal segment of the leg by means of pedicled flaps based on perforating arteries. The perforating arteries were located before the operation by means of echo-Doppler examination. The flaps were planned in propeller fashion (21 cases) and as advancement (three cases). Main Outcome Measurements: The results were evaluated according the origin of perforator flap, size of the flap, and donor area and viability of the flap. The success rate of the echo-Doppler to identify the location of perforator vessel was also evaluated. Results: In nine cases, the perforating vessels originated from the fibular artery, in 10 the posterior tibial artery, and in five the anterior tibial artery. The mean size of the flaps was 5 cm in width by 12 cm in length. The success rate using an echo-Doppler was 87%. The flaps were fully viable in 20 cases and partially viable in four cases. Conclusion: On the basis of these results, it is concluded that perforating flaps are a good choice of treatment for skin losses, especially in the distal segment of the leg, and could be an alternative option for the use of free microsurgical flaps.

The Versatile Adani`s Flap for Fingertip Coverage Indications and Case Reports

Heterodigital pedicle flaps have 2 possible patters of vascularization: anterograde flow (Littler) or reverse flow (Adani). The Adani`s flap uses the Y-V pedicle lengthening principle. The flap is raised from the adjacent uninjured finger based on the digital artery. The common digital artery is ligated and a long pedicle is formed from the 2 converging digital arteries to supply a reverse flow flap. Four patients with severe fingertips injuries were submitted to surgical treatment with the Adani`s flap. All flaps integrated and provided skin coverage. The Adani`s flap has a long vascular pedicle that allows a wide arch of transposition. An easier vascular dissection in a site distant from the trauma which evolves a higher diameter digital artery and proximal interphalangeal arterial system promotes a high survival rate and good functional results. Adani`s flap is a reliable technique for severe fingertip injuries.

Tagging Giant Otters (Pteronura brasiliensis) (Carnivora, Mustelidae) for radio-telemetry studies

Memphis Zoo, U.S. Forest Service, Conselho Nacional de Desenvolvimento Cientifico e Tecnologico CNPq, Earthwatch Institute

Subepithelial connective tissue graft for root coverage in smokers and non-smokers: A clinical and histologic controlled study in humans

Background: The aim of this study was to evaluate root coverage of gingival recessions and to compare graft vascularization in smokers and non-smokers. Methods: Thirty subjects, 15 smokers and 15 non-smokers, were selected. Each subject had one Miller Class I or II recession in a non-molar tooth. Clinical measurements of probing depth (PD), relative clinical attachment level (CAL), gingival recession (GR), and width of keratinized tissue (KT) were determined at baseline and 3 and 6 months after surgery. The recessions were treated surgically with a coronally positioned flap associated with a subepithelial connective tissue graft. A small portion of this graft was prepared for immunohistochemistry. Blood vessels were identified and counted by expression of factor VIII-related antigen-stained endothelial cells. Results: Intragroup analysis showed that after 6 months there a was gain in CAL, a decrease in GR, and an increase in KT for both groups (P<0.05), whereas changes in PD were not statistically significant. Smokers had less root coverage than non-smokers (58.02% +/- 19.75% versus 83.35% +/- 18.53%; P<0.05). Furthermore, the smokers had more GR (1.48 +/- 0.79 mm versus 0.52 +/- 0.60 mm) than the nonsmokers (P<0.05). Histomorphometry of the donor tissue revealed a blood vessel density of 49.01 +/- 11.91 vessels/200x field for non-smokers and 36.53 +/- 10.23 vessels/200x field for smokers (P<0.05). Conclusion: Root coverage with subepithelial connective tissue graft was negatively affected by smoking, which limited and jeopardized treatment results.

Comparison between two surgical techniques for root coverage with an acellular dermal matrix graft

Aim: The aim of this randomized, controlled, clinical study was to compare two surgical techniques with the acellular dermal matrix graft (ADMG) to evaluate which technique could provide better root coverage. Material and Methods: Fifteen patients with bilateral Miller Class I gingival recession areas were selected. In each patient, one recession area was randomly assigned to the control group, while the contra-lateral recession area was assigned to the test group. The ADMG was used in both groups. The control group was treated with a broader flap and vertical-releasing incisions, and the test group was treated with the proposed surgical technique, without releasing incisions. The clinical parameters evaluated before the surgeries and after 12 months were: gingival recession height, probing depth, relative clinical attachment level and the width and thickness of keratinized tissue. Results: There were no statistically significant differences between the groups for all parameters at baseline. After 12 months, there was a statistically significant reduction in recession height in both groups, and there was no statistically significant difference between the techniques with regard to root coverage. Conclusions: Both surgical techniques provided significant reduction in gingival recession height after 12 months, and similar results in relation to root coverage.

Particle acceleration and magnetic field structure in PKS 2155-304: optical polarimetric observations

In this paper, we present multiband optical polarimetric observations of the very-high energy blazar PKS 2155-304 made simultaneously with a HESS/Fermi high-energy campaign in 2008, when the source was found to be in a low state. The intense daily coverage of the data set allowed us to study in detail the temporal evolution of the emission, and we found that the particle acceleration time-scales are decoupled from the changes in the polarimetric properties of the source. We present a model in which the optical polarimetric emission originates at the polarized mm-wave core and propose an explanation for the lack of correlation between the photometric and polarimetric fluxes. The optical emission is consistent with an inhomogeneous synchrotron source in which the large-scale field is locally organized by a shock in which particle acceleration takes place. Finally, we use these optical polarimetric observations of PKS 2155-304 at a low state to propose an origin for the quiescent gamma-ray flux of the object, in an attempt to provide clues for the source of its recently established persistent TeV emission.

Comparing finite state machine test coverage criteria

To plan testing activities, testers face the challenge of determining a strategy, including a test coverage criterion that offers an acceptable compromise between the available resources and test goals. Known theoretical properties of coverage criteria do not always help and, thus, empirical data are needed. The results of an experimental evaluation of several coverage criteria for finite state machines (FSMs) are presented, namely, state and transition coverage; initialisation fault and transition fault coverage. The first two criteria focus on FSM structure, whereas the other two on potential faults in FSM implementations. The authors elaborate a comparison approach that includes random generation of FSM, construction of an adequate test suite and test minimisation for each criterion to ensure that tests are obtained in a uniform way. The last step uses an improved greedy algorithm.

A pointcut-based coverage analysis approach for aspect-oriented programs

Aspect-oriented programming (AOP) is a promising technology that supports separation of crosscutting concerns (i.e., functionality that tends to be tangled with, and scattered through the rest of the system). In AOP, a method-like construct named advice is applied to join points in the system through a special construct named pointcut. This mechanism supports the modularization of crosscutting behavior; however, since the added interactions are not explicit in the source code, it is hard to ensure their correctness. To tackle this problem, this paper presents a rigorous coverage analysis approach to ensure exercising the logic of each advice - statements, branches, and def-use pairs - at each affected join point. To make this analysis possible, a structural model based on Java bytecode - called PointCut-based Del-Use Graph (PCDU) - is proposed, along with three integration testing criteria. Theoretical, empirical, and exploratory studies involving 12 aspect-oriented programs and several fault examples present evidence of the feasibility and effectiveness of the proposed approach. (C) 2010 Elsevier Inc. All rights reserved.

Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs ""radio-hybrid"" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluorescence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request. (C) 2011 Elsevier B.V. All rights reserved.

Yellow fever vaccination coverage among children in Brazilian capitals

Brazil recommends universal yellow fever (YF) vaccination for children who reside in or travel to endemic areas. We conducted a household survey to calculate YF vaccine coverage among children 18-30 months of age in 27 capital cities. A total of 9285 children were surveyed in the 15 cities with YF fever universal vaccination; 7290(79%) had documented evidence of YF vaccination by 12 months of age, 7996 (86%) by 18 months of age, and 8479 (91%) prior to the survey. In 12 cities with selective YF vaccination coverage was only 1% by 18 months of age. YF fever vaccination can be improved to reach all children where vaccine is recommended. (C) 2010 Elsevier Ltd. All rights reserved.