bluuebunny/crossref_metadata_2025_split huggingface dataset:
Attitudes to perinatal postmortem: parental views about research participation: Table 1
Authors: Breeze Andrew C G , Statham Helen , Hackett Gerald A , Jessop Flora A , Lees Christoph C 
Published: February 2011

ObjectiveTo study parental attitudes to participating in questionnaire research about perinatal postmortem immediately after late miscarriage, stillbirth and termination for fetal abnormality.DesignProspective self-completion questionnaire.SettingUK fetal medicine and delivery unit.Patients35 women and their partners after second or third trimester pregnancy loss, making decisions about having a postmortem.MethodsParticipants were asked to complete a questionnaire about postmortem decision-making which included questions about their attitudes to taking part in research. Prior to giving full approval for the study, the Research Ethics Committee (REC) requested feedback after 10 questionnaires had been returned.ResultsResponses from the first 10 participants were positive about the research and the REC allowed the study to continue. 31 questionnaires were received from parents of 17 babies (49% of those asked; 16 from mothers, 15 from fathers). Of the 22 participants who answered a question about the impact of participating in this research, 73% stated that completing the questionnaire had helped them feel better about the decision whether or not to consent to postmortem and none reported any adverse effect of completing the questionnaire. Additional comments made by 19 participants supported this finding.ConclusionResearch into this sensitive area of perinatal medicine where there is a poor outcome is possible and is indeed well received by many parents. RECs should not automatically take a negative stance towards studies of this type.
Hinterland-foreland zonation of the Variscan orogen in the Central Pyrenees: comparison with the northern part of the Iberian Variscan Massif
Authors: García-Sansegundo J. , Poblet J. , Alonso J. L. , Clariana P. 
Published: February 2011

Abstract
A new sequence of Variscan deformations is proposed for the Palaeozoic rocks of the Central Pyrenees. The non-metamorphic units include south-directed thrust systems and related folds with a poorly developed cleavage. In the metamorphic units north-verging, recumbent to inclined folds (D1), associated with a subhorizontal to south dipping cleavage, are refolded by south-verging, upright to inclined folds (D2), with a subvertical to north-dipping axial plane cleavage, and offset by south-directed thrusts approximately coeval with D2. The structural evolution of these units suggests a subdivision of the Variscan Central Pyrenees into two different regions consistent with the zones known for a long time in the core of the Ibero-Armorican or Asturian arc (northern part of the Iberian Variscan Massif). The structure of the Pyrenean non-metamorphic units has foreland affinities and is comparable to that of the Cantabrian Zone, whereas the deformation observed in the Pyrenean metamorphic units is characteristic of the hinterland and is consistent with the features of the West Asturian–Leonese Zone or Central–Iberian Zone. Since the Pyrenean non-metamorphic units are located southwards of the metamorphic ones and the Variscan thrusts are south-directed, we tentatively correlate the Variscan Pyrenees with the northern branch of the Ibero-Armorican or Asturian arc.
Logical types for untyped languages
Authors: Tobin-Hochstadt Sam , Felleisen Matthias 
Published: February 2011

Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such method to reason about the type behavior of their programs. Our type system for Scheme accommodates common reasoning methods by assigning variable occurrences a subtype of their declared type based on the predicates prior to the occurrence, a discipline dubbed
occurrence typing
. It thus enables programmers to enrich existing Scheme code with types, while requiring few changes to the code itself.

Three years of practical experience has revealed serious shortcomings of our type system. In particular, it relied on a system of ad-hoc rules to relate combinations of predicates, it could not reason about subcomponents of data structures, and it could not follow sophisticated reasoning about the relationship among predicate tests, all of which are used in existing code.
In this paper, we reformulate occurrence typing to eliminate these shortcomings. The new formulation derives propositional logic formulas that hold when an expression evaluates to true or false, respectively. A simple proof system is then used to determine types of variable occurrences from these propositions. Our implementation of this revised occurrence type system thus copes with many more untyped programming idioms than the original system.
Total parser combinators
Authors: Danielsson Nils Anders 
Published: February 2011

A monadic parser combinator library which guarantees termination of parsing, while still allowing many forms of left recursion, is described. The library's interface is similar to those of many other parser combinator libraries, with two important differences: one is that the interface clearly specifies which parts of the constructed parsers may be infinite, and which parts have to be finite, using dependent types and a combination of induction and coinduction; and the other is that the parser type is unusually informative.
The library comes with a formal semantics, using which it is proved that the parser combinators are as expressive as possible. The implementation is supported by a machine-checked correctness proof.
Cross-language, type-safe, and transparent object sharing for co-located managed runtimes
Authors: Wegiel Michal , Krintz Chandra 
Published: February 2011

As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming languages and to architect systems that comprise multiple components. Different components are often implemented in different programming languages. In state-of-the-art multicomponent, multi-language systems, cross-component communication relies on remote procedure calls (RPC) and message passing. As components are increasingly co-located on the same physical machine to ensure high utilization of multi-core systems, there is a growing potential for using shared memory for cross-language cross-runtime communication.
We present the design and implementation of Co-Located Runtime Sharing (CoLoRS), a system that enables cross-language, cross-runtime type-safe, transparent shared memory. CoLoRS provides object sharing for co-located OO runtimes for both static and dynamic languages. CoLoRS defines a language-neutral object/classmodel,which is a static-dynamic hybrid and enables class evolution while maintaining the space/time efficiency of a static model. CoLoRS uses type mapping and class versioning to transparently map shared types to private types. CoLoRS also contributes a synchronization mechanism and a parallel, concurrent, on-the-fly GC algorithm, both designed to facilitate cross-language cross-runtime object sharing.
We implement CoLoRS in open-source, production-quality runtimes for Python and Java. Our empirical evaluation shows that CoLoRS extensions impose low overhead. We also investigate RPC over CoLoRS and find that using shared memory to implement co-located RPC significantly improves both communication throughput and latency by avoiding data structure serialization.
Monitor optimization via stutter-equivalent loop transformation
Authors: Purandare Rahul , Dwyer Matthew B. , Elbaum Sebastian 
Published: February 2011

There has been significant interest in equipping programs with runtime checks aimed at detecting errors to improve fault detection during testing and in the field. Recent work in this area has studied methods for efficiently monitoring a program execution's conformance to path property specifications, e.g., such as those captured by a finite state automaton. These techniques show great promise, but their broad applicability is hampered by the fact that for certain combinations of programs and properties the overhead of checking can slow the program down by up to 3500%.
We have observed that, in many cases, the overhead of runtime monitoring is due to the behavior of program loops. We present a general framework for optimizing the monitoring of loops relative to a property. This framework allows monitors to process a loop in constant-time rather than time that is proportional to the number of loop iterations. We present the results of an empirical study that demonstrates that significant overhead reduction that can be achieved by applying the framework to monitor properties of several large Java programs.
A time-aware type system for data-race protection and guaranteed initialization
Authors: Matsakis Nicholas D. , Gross Thomas R. 
Published: February 2011

We introduce a type system based on intervals, objects representing the time in which a block of code will execute. The type system can verify time-based properties such as when a field will be accessed or a method will be invoked.
One concrete application of our type system is data-race protection: For fields which are initialized during one phase of the program and constant thereafter, users can designate the interval during which the field is mutable. Code which happens after this initialization interval can safely read the field in parallel. We also support fields guarded by a lock and even the use of dynamic race detectors.
Another use for intervals is to designate different phases in the object's lifetime, such as a constructor phase. The type system then ensures that only appropriate methods are invoked in each phase.
SPUR
Authors: Bebenita Michael , Brandner Florian , Fahndrich Manuel , Logozzo Francesco , Schulte Wolfram , Tillmann Nikolai , Venter Herman 
Published: February 2011

Tracing just-in-time compilers (TJITs) determine frequently executed traces (hot paths and loops) in running programs and focus their optimization effort by emitting optimized machine code specialized to these traces. Prior work has established this strategy to be especially beneficial for dynamic languages such as JavaScript, where the TJIT interfaces with the interpreter and produces machine code from the JavaScript trace.
This direct coupling with a JavaScript interpreter makes it difficult to harness the power of a TJIT for other components that are not written in JavaScript, e.g., the DOM implementation or the layout engine inside a browser. Furthermore, if a TJIT is tied to a particular high-level language interpreter, it is difficult to reuse it for other input languages as the optimizations are likely targeted at specific idioms of the source language.
To address these issues, we designed and implemented a TJIT for Microsoft's Common Intermediate Language CIL (the target language of C#, VisualBasic, F#, and many other languages). Working on CIL enables TJIT optimizations for any program compiled to this platform. In addition, to validate that the performance gains of a TJIT for JavaScript do not depend on specific idioms of JavaScript that are lost in the translation to CIL, we provide a performance evaluation of our JavaScript runtime which translates JavaScript to CIL and then runs on top of our CIL TJIT.
Language virtualization for heterogeneous parallel computing
Authors: Chafi Hassan , DeVito Zach , Moors Adriaan , Rompf Tiark , Sujeeth Arvind K. , Hanrahan Pat , Odersky Martin , Olukotun Kunle 
Published: February 2011

As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatiblemix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL). However, these models do little to shield developers from the difficult problems of parallelization, data decomposition and machine-specific details. Most programmersare having a difficult time using these programming models effectively. To provide a programming modelthat addresses the productivity and performance requirements for the average programmer, we explore a domainspecificapproach to heterogeneous parallel programming.
We propose language virtualization as a new principle that enables the construction of highly efficient parallel domain specific languages that are embedded in a common host language. We define criteria for language virtualization and present techniques to achieve them.We present two concrete case studies of domain-specific languages that are implemented using our virtualization approach.
Outgrowth of Drug-Resistant Carcinomas Expressing Markers of Tumor Aggression after Long-term TβRI/II Kinase Inhibition with LY2109761
Authors: Connolly Erin C. , Saunier Elise F. , Quigley David , Luu Minh Thu , De Sapio Angela , Hann Byron , Yingling Jonathan M. , Akhurst Rosemary J. 
Published: February 2011

Abstract
TGF-β is produced excessively by many solid tumors and can drive malignant progression through multiple effects on the tumor cell and microenvironment. TGF-β signaling pathway inhibitors have shown efficacy in preclinical models of metastatic cancer. Here, we investigated the effect of systemic LY2109761, a TGF-β type I/II receptor (TβRI/TβRII) kinase inhibitor, in both a tumor allograft model and the mouse skin model of de novo chemically induced carcinogenesis in vivo. Systemic LY2109761 administration disrupted tumor vascular architecture and reduced myofibroblast differentiation of E4 skin carcinoma cells in a tumor allograft. In the 7,12-dimethyl-benzanthracene plus phorbol myristate acetate–induced skin chemical carcinogenesis model, acute dosing of established naive primary carcinomas with LY2109761 (100 mg/kg) every 8 hours for 10 days (100 mg/kg) diminished phospho-Smad2 (P-Smad2) levels and marginally decreased the expression of inflammatory and invasive markers. Sustained exposure to LY2109761 (100 mg/kg/d) throughout the tumor outgrowth phase had no effect on carcinoma latency or incidence. However, molecular analysis of resultant carcinomas by microarray gene expression, Western blotting, and immunohistochemistry suggests that long-term LY2109761 exposure leads to the outgrowth of carcinomas with elevated P-Smad2 levels that do not respond to drug. This is the first description of acquired resistance to a small-molecule inhibitor of the TβRI/TβRII kinase. Resultant carcinomas were more aggressive and inflammatory in nature, with delocalized E-cadherin and elevated expression of Il23a, laminin V, and matrix metalloproteinases. Therefore, TGF-β inhibitors might be clinically useful for applications requiring acute administration, but long-term patient exposure to such drugs should be undertaken with caution. Cancer Res; 71(6); 2339–49. ©2011 AACR.
Novel Functions for mda-7/IL-24 and IL-24 delE5: Regulation of Differentiation of Acute Myeloid Leukemic Cells
Authors: Yang Bin-Xia , Duan Yong-Juan , Dong Cheng-Ya , Zhang Fang , Gao Wei-Feng , Cui Xue-Ying , Lin Yong-Min , Ma Xiao-Tong 
Published: February 2011

Abstract
Characterizing genes associated with leukemic cell differentiation may provide help for understanding mechanisms on the leukemia differentiation. The aim of this study is to investigate whether the expression of melanoma differentiation-associated gene-7/interleukin-24 (mda-7/IL-24) could be induced during leukemia differentiation and whether mda-7/IL-24 plays a role in leukemia differentiation. We showed that the expression of mda-7/IL-24 and IL-24 delE5, an mda-7/IL-24 splice variant, was induced in U937 and HL60 cells during 12-O-tetradecanoylphorbol-13-acetate (TPA)-mediated monocytic differentiation. Activation of the mitogen-activated protein kinase/extracellular signal-regulated kinase pathway was required for their induction. Knockdown of mda-7/IL-24 and IL-24 delE5 resulted in significant inhibition of the monocytic differentiation induced by TPA. More importantly, ectopic overexpression of mda-7/IL-24 and IL-24 delE5 significantly induced U937 cells, HL60 cells, and blast cells from patients with acute myeloid leukemia–M5 to differentiate, whereas normal hematopoietic progenitors were not affected. Furthermore, the molecular effector associated with selective differentiation induction by mda-7/IL-24 and IL-24 delE5 may be reactive oxygen species (ROS), and the source of ROS generation was nicotinamide adenine dinucleotide phosphate oxidase. Taken together, our results reveal the mechanism by which TPA induces monocytic differentiation and show for the first time the specific differentiation-inducing effects of mda-7/IL-24 and IL-24 delE5 on human myeloid leukemic cells. Mol Cancer Ther; 10(4); 615–25. ©2011 AACR.
Augmented Expression and Activity of Extracellular Matrix-Degrading Enzymes in Regions of Low Endothelial Shear Stress Colocalize With Coronary Atheromata With Thin Fibrous Caps in Pigs
Authors: Chatzizisis Yiannis S. , Baker Aaron B. , Sukhova Galina K. , Koskinas Konstantinos C. , Papafaklis Michail I. , Beigel Roy , Jonas Michael , Coskun Ahmet U. , Stone Benjamin V. , Maynard Charles , Shi Guo-Ping , Libby Peter , Feldman Charles L. , Edelman Elazer R. , Stone Peter H. 
Published: February 2011

Background—
The molecular mechanisms that determine the localized formation of thin-capped atheromata in the coronary arteries remain unknown. This study tested the hypothesis that low endothelial shear stress augments the expression of matrix-degrading proteases and thereby promotes the formation of thin-capped atheromata.

Methods and Results—
Intravascular ultrasound–based, geometrically correct 3-dimensional reconstruction of the coronary arteries of 12 swine was performed in vivo 23 weeks after initiation of diabetes mellitus and a hyperlipidemic diet. Local endothelial shear stress was calculated in plaque-free subsegments of interest (n=142) with computational fluid dynamics. At week 30, the coronary arteries (n=31) were harvested and the same subsegments were identified. The messenger RNA and protein expression and elastolytic activity of selected elastases and their endogenous inhibitors were assessed. Subsegments with low preceding endothelial shear stress at week 23 showed reduced endothelial coverage, enhanced lipid accumulation, and intense infiltration of activated inflammatory cells at week 30. These lesions showed increased expression of messenger RNAs encoding matrix metalloproteinase-2, -9, and -12, and cathepsins K and S relative to their endogenous inhibitors and increased elastolytic activity. Expression of these enzymes correlated positively with the severity of internal elastic lamina fragmentation. Thin-capped atheromata developed in regions with lower preceding endothelial shear stress and had reduced endothelial coverage, intense lipid and inflammatory cell accumulation, enhanced messenger RNA expression and elastolytic activity of MMPs and cathepsins, and severe internal elastic lamina fragmentation.

Conclusions—
Low endothelial shear stress induces endothelial discontinuity and accumulation of activated inflammatory cells, thereby augmenting the expression and activity of elastases in the intima and shifting the balance with their inhibitors toward matrix breakdown. Our results provide new insight into the mechanisms of regional formation of plaques with thin fibrous caps.
Impacts of the Tropical Pacific/Indian Oceans on the Seasonal Cycle of the West African Monsoon
Authors: Mohino E. , Rodríguez-Fonseca B. , Mechoso C. R. , Gervois S. , Ruti P. , Chauvin F. 
Published: February 2011

Abstract
The current consensus is that drought has developed in the Sahel during the second half of the twentieth century as a result of remote effects of oceanic anomalies amplified by local land–atmosphere interactions. This paper focuses on the impacts of oceanic anomalies upon West African climate and specifically aims to identify those from SST anomalies in the Pacific/Indian Oceans during spring and summer seasons, when they were significant. Idealized sensitivity experiments are performed with four atmospheric general circulation models (AGCMs). The prescribed SST patterns used in the AGCMs are based on the leading mode of covariability between SST anomalies over the Pacific/Indian Oceans and summer rainfall over West Africa. The results show that such oceanic anomalies in the Pacific/Indian Ocean lead to a northward shift of an anomalous dry belt from the Gulf of Guinea to the Sahel as the season advances. In the Sahel, the magnitude of rainfall anomalies is comparable to that obtained by other authors using SST anomalies confined to the proximity of the Atlantic Ocean. The mechanism connecting the Pacific/Indian SST anomalies with West African rainfall has a strong seasonal cycle. In spring (May and June), anomalous subsidence develops over both the Maritime Continent and the equatorial Atlantic in response to the enhanced equatorial heating. Precipitation increases over continental West Africa in association with stronger zonal convergence of moisture. In addition, precipitation decreases over the Gulf of Guinea. During the monsoon peak (July and August), the SST anomalies move westward over the equatorial Pacific and the two regions where subsidence occurred earlier in the seasons merge over West Africa. The monsoon weakens and rainfall decreases over the Sahel, especially in August.
Evaluation of shunting flow differences in varied conditions in a simulated adult CPB model during normothermia
Authors: Xin Duan  , Bingyang Ji  , Gang Liu  , Qingfeng Li  , Jinping Liu  , Kun Yu  , Yue Tang  , Cun Long  
Published: February 2011

Background: It is well documented that lower pump flow during clinical cardiopulmonary bypass (CPB) procedures may be significantly detrimental to tissues and organs. The major cause of hypoperfusion is due to shunting flow existing in the closed CPB circuits. The purpose of this investigation was to evaluate various shunting flow conditions in a simulated adult CPB model under normothermia. Materials and Methods: The pseudo adult patient undergoing CPB was established with an extracorporeal circuit. The pre-oxygenator flow, post-filter flow and purge line pressure were recorded. The temperature of the circuit was kept around 36°C using a heat-cooler. The pseudo patient was subjected to five pump flow rates ranging from 3000 to 5000 ml/min (500 ml/min increments), and post-filter pressure was varied from 120—220 mmHg (20 mmHg increments) using a single, static roller pump. Four different shunting states were measured with two flowmeters. Results: When the pump flow was constant, the percentage of shunting flow increased as the post-filter pressure increased in State 1. However, when the post-filter pressure was constant, the trend of the shunting flow was the opposite. Purge line pressure increased with the increase of the post-filter pressure at a constant pump flow rate in State 1. The shunting flow for State 2 was the largest of the four states. The shunting flow for State 3 was similar to State 4. Conclusion: During different states of shunt opening, varying degrees of blood flow were diverted away from the arterial line. Shunting of blood flow may, therefore, result in hypoperfusion in the patient.