Incidence, morphology and morphometry of the foramen of Vesalius: complementary study for a safer planning and execution of the trigeminal rhizotomy technique

The foramen of Vesalius (FV) is located in the greater wing of the sphenoid bone between the foramen ovale (FO) and the foramen rotundum in an intracranial view. The FO allows the passage of the mandibular branch of trigeminal nerve, which is the target of the trigeminal radiofrequency rhizotomy. We analyzed its location, morphology, morphometry and interrelation among other foramina. 400 macerated adult human skulls were examined. A digital microscope (Dino-Lite plus(A (R))) was used to capture images from the FV. A digital caliper was used to perform the measurements of the distance between the FV and other foramina (FO, foramen spinosum and the carotid canal) in an extracranial view of the skull base. In the 400 analyzed skulls, the FV was identified in 135 skulls (33.75%) and absent on both sides in 265 skulls (66.25%). The FV was observed present bilaterally in 15.5% of the skulls. The incidence of unilateral foramen was 18.25% of the skulls of which 7.75% on right side and 10.5% on left side. The diameter of the FV was measured and we found an average value of 0.65 mm, on right side 0.63 mm and on the left side 0.67 mm. We verified that positive correlations were statistically significant among the three analyzed distances. This study intends to offer specific anatomical data with morphological patterns (macroscopic and mesoscopic) to increase the understanding of the FV features as frequency, incidence and important distances among adjacent foramina.

Using Theory to Understand the Multiple Determinants of Low Participation in Worksite Health Promotion Programs

Low participation at the employee or worksite level limits the potential public health impact of worksite-based interventions. Ecological models suggest that multiple levels of influence operate to determine participation patterns in worksite health promotion programs. Most investigations into the determinants of low participation study the intrapersonal, interpersonal, and institutional influences on employee participation. Community- and policy-level influences have not received attention, nor has consideration been given to worksite-level participation issues. The purpose of this article is to discuss one macrosocial theoretical perspective—political economy of health—that may guide practitioners and researchers interested in addressing the community- and policy-level determinants of participation in worksite health promotion programs. The authors argue that using theory to investigate the full spectrum of determinants offers a more complete range of intervention and research options for maximizing employee and worksite levels of participation.

Youth unemployment outflow rates and labor market programs: Australian evidence

A matching function methodology is used to investigate the macroeconomic effects of labor market program (LMP) commencements on youth unemployment outflows in Australia using unpublished data that classify commencements and outflows by duration of unemployment. The results indicate that LMPs have had significant effects on outflows from short-term unemployment. There is a net positive effect from LMP commencements on short-term unemployed female outflow rates. However; females experienced negative spillover effects from male LMP commencements. These spillover effects appear to be associated with wage subsidy programs and suggest the net impact Of such programs may have been overstated in previous studies.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.