A practical method for specification and analysis of exceptionhandling-a Java/JVM case study

We provide a rigorous framework for language and platform independent design and analysis of exception handling mechanisms in modern programming languages and their implementations. To illustrate the practicality of the method we develop it for the exception handling mechanism of Java and show that its implementation on the Java Virtual Machine (JVM) Is correct. For this purpose we define precise abstract models for exception handling in Java and in the JVM and define a compilation scheme of Java to JVM code which allows us to prove that, in corresponding runs, Java and the JVM throw the same exceptions and with equivalent effect. Thus, the compilation scheme can, with reasonable confidence, be used as a standard reference for Java exception handling compilation     

Low predictive value of intrinsic fibroblast radiosensitivity for fibrosis development following radiotherapy for breast cancer

Nearly 4 million women in the United States were physically hurt by their husbands or boyfriends in 1994. The health and well-being of these women and their children, as well as the women who are overlooked in these statistics, are jeopardized by past and current experiences with abuse within intimate relationships. Strategies for nurses in women's health care settings to screen women for current or past abuse within their intimate personal relationships, guidelines for effective responses to disclosure of abuse, and supportive interventions are described.     

Urban population density functions: Some Belgian evidence

We studied the suburbanisation process in Belgium. First, urban population density functions were calculated for Brussels, Antwerp and Ghent. We explained the historical evolution of the suburbanisation, using income and transport costs as the main determinants. Further, income and transport cost elasticities were calculated for the population of central city and the metropolitan area. The results indicate the sensitivity of the suburbanisation process to changes in these economic factors.Because important changes in income and transport costs can be observed during the last years, we conclude that suburbanization is probable to slow down in the near future.The author is grateful to Walter Nonneman for valuable comments.     

Varying forage type, metabolizable protein concentration, and carbohydrate source affects manure excretion, manure ammonia, and nitrogen metabolism of dairy cows

Effects of forage source, concentration of metabolizable protein (MP), and type of carbohydrate on manure excretion by dairy cows and production of ammonia from that manure were evaluated using a central composite experimental design. All diets (dry basis) contained 50% forage that ranged from 25:75 to 75:25 alfalfa silage:corn silage. Diets contained 10.7% rumendegradable protein with variable concentrations of undegradable protein so that dietary MP ranged from 8.8 to 12%. Starch concentration ranged from 22 to 30% with a concomitant decrease in neutral detergent fiber. A total of 15 diets were fed to 36 Holstein cows grouped in 6 blocks. Each block was a replicated 3 × 3 Latin square resulting in 108 observations. Manure output (urine and feces) was measured using total collection, and fresh feces and urine were combined into slurries and incubated for 48 h to measure NH₃-N production. Feces, urine, and manure output averaged 50.5, 29.5, and 80.1 kg/d, respectively. Manure output increased with increasing dry matter intake (∼3.5 kg of manure/kg of dry matter intake), increased concentrations of alfalfa (mostly via changes in urine output), and decreased concentrations of starch (mostly via changes in fecal output). The amount of NH₃-N produced per gram of manure decreased with increasing alfalfa because excreted N shifted from urine to feces. Increasing MP increased NH₃-N produced per gram of manure mainly because of increased urinary N, but increased fecal N also contributed to the manure NH₃. Manure NH₃-N production per cow (accounts for effects on manure production and NH₃-N produced per unit of manure) was least and milk protein yields were maximal for diets with high alfalfa (75% of the forage), moderate MP (11% of diet dry matter), and high starch (30% of diet dry matter).     

How miRNAs Regulate Schwann Cells during Peripheral Nerve Regeneration—A Systemic Review

A growing body of studies indicate that small noncoding RNAs, especially microRNAs (miRNA), play a crucial role in response to peripheral nerve injuries. During Wallerian degeneration and regeneration processes, they orchestrate several pathways, in particular the MAPK, AKT, and EGR2 (KROX20) pathways. Certain miRNAs show specific expression profiles upon a nerve lesion correlating with the subsequent nerve regeneration stages such as dedifferentiation and with migration of Schwann cells, uptake of debris, neurite outgrowth and finally remyelination of regenerated axons. This review highlights (a) the specific expression profiles of miRNAs upon a nerve lesion and (b) how miRNAs regulate nerve regeneration by acting on distinct pathways and linked proteins. Shedding light on the role of miRNAs associated with peripheral nerve regeneration will help researchers to better understand the molecular mechanisms and deliver targets for precision medicine.     

Reconstruction of Critical Nerve Defects Using Allogenic Nerve Tissue: A Review of Current Approaches

Regardless of the nerve defect length, nerve injury is a debilitating condition for the affected patient that results in loss of sensory and motor function. These functional impairments can have a profound impact on the patient’s quality of life. Surgical approaches for the treatment of short segment nerve defects are well-established. Autologous nerve transplantation, considered the gold standard, and the use of artificial nerve grafts are safe and successful procedures for short segment nerve defect reconstruction. Long segment nerve defects which extend 3.0 cm or more are more problematic for repair. Methods for reconstruction of long defects are limited. Artificial nerve grafts often fail to regenerate and autologous nerve grafts are limited in length and number. Cadaveric processed/unprocessed nerve allografts are a promising alternative in nerve surgery. This review gives a systematic overview on pre-clinical and clinical approaches in nerve allograft transplantation.     

The porosity of particulate mixtures

Experimental measurements are reported of porosities in ternary mixtures of spheres and of coke particles and compared with the data existing in the literature. It was found that the porosities in the systems examined show similar behaviour which is dictated by the porosities of the pseudo-binaries of the two extreme size particles in the mixture.     

Beta-adrenoceptor-mediated inhibition of IFN-gamma, IL-3, and GM-CSF mRNA accumulation in activated human T lymphocytes is solely mediated by the beta2-adrenoceptor subtype

The myocardial infarct size (IS)-limiting effect of CP-060S, a novel cardioprotective drug that prevents Na+-, Ca2+-overload and has Ca2+ channel-blocking activity, was compared with that of diltiazem, a pure Ca2+ antagonist, to determine whether the prevention of Na+-, Ca2+-overload contributes to this IS-limiting effect. Dogs were subjected to 90 min of left circumflex coronary artery (LCx) occlusion followed by 5 h of reperfusion. Either CP-060S (300 microg/kg) or diltiazem (600 microg/kg) was administered intravenously 20 min before the occlusion. CP-060S significantly limited IS compared with that of vehicle (percentage of the area at risk: vehicle, 50.64 +/- 6.08%; CP-060S, 21.13 +/- 3.75%; p < 0.01 vs. vehicle). Although diltiazem exerted a significant decrease in rate-pressure product (RPP; an index of myocardial oxygen consumption) during occlusion equal to that of CP-060S, diltiazem did not significantly reduce IS (33.90 +/- 4.30%). Regional myocardial blood flow (RBF) was not significantly different between any of the groups. Therefore the IS-limiting effect of CP-060S cannot be explained in terms of changes in RPP or RBF. Thus the IS limitation induced by CP-060S is probably the consequence of a direct cardioprotective effect on myocytes. The prevention of Na+-, Ca2+-overload may be the primary reason for this IS-limiting effect.