bluuebunny/crossref_metadata_2025_split huggingface dataset:
Disaster Health-Related Challenges and Requirements: A Grounded Theory Study in Iran
Authors: Khankeh Hamid Reza , Khorasani-Zavareh Davoud , Johanson Eva , Mohammadi Rakhshandeh , Ahmadi Fazlollah , Mohammadi Reza 
Published: July 2011

AbstractBackground: Despite frequent disasters caused by natural hazards, concern has been raised regarding the effectiveness of disaster health services in disaster-prone countries such as Iran. The purpose of this study was to explore, in relation to health disaster management, the experiences and perceptions of individuals who responded or were affected by a recent Iranian earthquake disaster.Methods: This study was conducted using grounded theory. Study participants included members of a multidisciplinary disaster response team as well as residents of the community affected by the earthquake (n = 29). Data collection included semi-structured interviews, field notes, and reviews of narratives.Results: The findings of this study indicate that the lack of planning, inadequate organizational management of resources, insufficient coordination in the provision of health services during the disaster, and the manner of participation of international relief efforts were the most important barriers to adequate disaster healthcare services delivery during the 2003 Bam Iranian earthquake.Conclusions: This study supports the value of health service managers coordinating the appropriate use of international aid in advance. It is suggested that this can be done by better communication with local and foreign constituents. Further, this study indicates that public education and proper pre-event planning help to bring about an effective response to providing healthcare services during a disaster.
Cancellation of Scheduled Procedures as a Mechanism to Generate Hospital Bed Surge Capacity—A Pilot Study
Authors: Soremekun Olan A. , Zane Richard D. , Walls Andrew , Allen Matthew B. , Seefeld Kimberly J. , Pallin Daniel J. 
Published: July 2011

AbstractBackground: The ability to generate hospital beds in response to a mass-casualty incident is an essential component of public health preparedness. Although many acute care hospitals' emergency response plans include some provision for delaying or canceling elective procedures in the event of an inpatient surge, no standardized method for implementing and quantifying the impact of this strategy exists in the literature. The aim of this study was to develop a methodology to prospectively emergency plan for implementing a strategy of delaying procedures and quantifying the potential impact of this strategy on creating hospital bed capacity.Methods: This is a pilot study. A categorization methodology was devised and applied retrospectively to all scheduled procedures during four one-week periods chosen by convenience. The categorization scheme grouped procedures into four categories: (A) procedures with no impact on inpatient capacity; (B) procedures that could be delayed indefinitely; (C) procedures that could be delayed by one week; and (D) procedures that could not be delayed. The categorization scheme was applied by two research assistants and an emergency medicine resident. All three raters categorized the first 100 cases to allow for calculation of inter-rater reliability. Maximal hospital bed capacity was defined as the 95th percentile weekday occupancy, as this is more representative of functional bed capacity than is the number of licensed beds. The main outcome was the number of hospital beds that could be created by postponing procedures in categories B and C.Results: Maximal hospital bed capacity was 816 beds. Mean occupancy during weekdays was 759 versus 694 on weekends. By postponing Group B and C procedures, a mean of 60 beds (51 general medical/surgical and nine intensive care unit (ICU)) could be created on weekdays, and four beds (three general medical/surgical and one ICU) on weekends. This represents 7.3% and 0.49% of maximal hospital bed capacity and ICU capacity, respectively. In the event that sustained surge is needed, delaying all category B and C procedures for one week would lead to the generation of 1,235 hospital-bed days. Inter-rater reliability was high (kappa = 0.74) indicating good agreement between all three raters.Conclusions: For the institution studied, the strategy of delaying scheduled procedures could generate inpatient capacity with maximal impact during weekdays and little impact on weekends. Future research is needed to validate the categorization scheme and increase the ability to predict inpatient surge capacity across various hospital types and sizes.
The PITA system: Tabling and answer subsumption for reasoning under uncertainty
Authors: RIGUZZI FABRIZIO , SWIFT TERRANCE 
Published: July 2011

AbstractMany real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic programs has given rise to the field of Probabilistic Logic Programming (PLP), leading to languages such as the Independent Choice Logic, Logic Programs with Annotated Disjunctions (LPADs), Problog, PRISM, and others. These languages share a similar distribution semantics, and methods have been devised to translate programs between these languages. The complexity of computing the probability of queries to these general PLP programs is very high due to the need to combine the probabilities of explanations that may not be exclusive. As one alternative, the PRISM system reduces the complexity of query answering by restricting the form of programs it can evaluate. As an entirely different alternative, Possibilistic Logic Programs adopt a simpler metric of uncertainty than probability.Each of these approaches—general PLP, restricted PLP, and Possibilistic Logic Programming—can be useful in different domains depending on the form of uncertainty to be represented, on the form of programs needed to model problems, and on the scale of the problems to be solved. In this paper, we show how the PITA system, which originally supported the general PLP language of LPADs, can also efficiently support restricted PLP and Possibilistic Logic Programs. PITA relies on tabling with answer subsumption and consists of a transformation along with an API for library functions that interface with answer subsumption. We show that, by adapting its transformation and library functions, PITA can be parameterized to PITA(IND, EXC) which supports the restricted PLP of PRISM, including optimizations that reduce non-discriminating arguments and the computation of Viterbi paths. Furthermore, we show PITA to be competitive with PRISM for complex queries to Hidden Markov Model examples, and sometimes much faster. We further show how PITA can be parameterized to PITA(COUNT) which computes the number of different explanations for a subgoal, and to PITA(POSS) which scalably implements Possibilistic Logic Programming. PITA is a supported package in version 3.3 of XSB.
Non-termination analysis of logic programs with integer arithmetics
Authors: VOETS DEAN , DE SCHREYE DANNY 
Published: July 2011

AbstractIn the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is limited because most Prolog programs use non-logical features. As a first step towards the analysis of Prolog programs, this paper presents a non-termination condition for Logic Programs containing integer arithmetics. The analyzer is based on our non-termination analyzer presented at International Logic Programming Conference (ICLP) 2009. The analysis starts from a class of queries and infers a subclass of non-terminating ones. In first phase, we ignore the outcome (success or failure) of the arithmetic operations, assuming success of all arithmetic calls. In second phase, we characterize successful arithmetic calls as a constraint problem, the solution of which determines the non-terminating queries.
RedAlert: Determinacy inference for Prolog
Authors: KRIENER JAEL , KING ANDY 
Published: July 2011

AbstractThis paper revisits the problem of determinacy inference addressing the problem of how to uniformly handlecut. To this end a new semantics is introduced forcut, which is abstracted to systematically derive a backward analysis that derives conditions sufficient for a goal to succeed at most once. The method is conceptionally simpler and easier to implement than the existing techniques, while improving the latter's handling ofcut. Formal arguments substantiate correctness and experimental work, and a tool called ‘RedAlert’ demonstrates the method's generality and applicability.
Estimating the overlap between dependent computations for automatic parallelization
Authors: BONE PAUL , SOMOGYI ZOLTAN , SCHACHTE PETER 
Published: July 2011

AbstractResearchers working on the automatic parallelization of programs have long known that too much parallelism can be even worse for performance than too little, because spawning a task to be run on another CPU incurs overheads. Autoparallelizing compilers have therefore long tried to use granularity analysis to ensure that they only spawn off computations whose cost will probably exceed the spawn-off cost by a comfortable margin. However, this is not enough to yield good results, because data dependencies may also limit the usefulness of running computations in parallel. If one computation blocks almost immediately and can resume only after another has completed its work, then the cost of parallelization again exceeds the benefit. We present a set of algorithms for recognizing places in a program where it is worthwhile to execute two or more computations in parallel that pay attention to the second of these issues as well as the first. Our system uses profiling information to compute the times at which a procedure call consumes the values of its input arguments and the times at which it produces the values of its output arguments. Given two calls that may be executed in parallel, our system uses the times of production and consumption of the variables they share to determine how much their executions would overlap if they were run in parallel, and therefore whether executing them in parallel is a good idea or not. We have implemented this technique for Mercury in the form of a tool that uses profiling data to generate recommendations about what to parallelize, for the Mercury compiler to apply on the next compilation of the program. We present preliminary results that show that this technique can yield useful parallelization speedups, while requiring nothing more from the programmer than representative input data for the profiling run.
On the correctness of pull-tabbing
Authors: ANTOY SERGIO 
Published: July 2011

AbstractPull-tabbing is an evaluation approach for functional logic computations, based on a graph transformation recently proposed, which avoids making irrevocable nondeterministic choices that would jeopardize the completeness of computations. In contrast to other approaches with this property, it does not require an upfront cloning of a possibly large portion of the choice's context. We formally define the pull-tab transformation, characterize the class of programs for which the transformation is intended, extend the computations in these programs to include the transformation, and prove the correctness of the extended computations.
Splitting and updating hybrid knowledge bases
Authors: SLOTA MARTIN , LEITE JOÃO , SWIFT TERRANCE 
Published: July 2011

AbstractOver the years, nonmonotonic rules have proven to be a very expressive and useful knowledge representation paradigm. They have recently been used to complement the expressive power of Description Logics (DLs), leading to the study of integrative formal frameworks, generally referred to ashybrid knowledge bases, where both DL axioms and rules can be used to represent knowledge. The need to use these hybrid knowledge bases in dynamic domains has called for the development of update operators, which, given the substantially different way DLs and rules are usually updated, has turned out to be an extremely difficult task. In Slota and Leite (2010b Towards Closed World Reasoning in Dynamic Open Worlds.Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue10(4–6) (July), 547–564.), a first step towards addressing this problem was taken, and an update operator for hybrid knowledge bases was proposed. Despite its significance—not only for being the first update operator for hybrid knowledge bases in the literature, but also because it has some applications—this operator was defined for a restricted class of problems where only the ABox was allowed to change, which considerably diminished its applicability. Many applications that use hybrid knowledge bases in dynamic scenarios require both DL axioms and rules to be updated. In this paper, motivated by real world applications, we introduce an update operator for a large class of hybrid knowledge bases where both the DL component as well as the rule component are allowed to dynamically change. We introduce splitting sequences and splitting theorem for hybrid knowledge bases, use them to define a modular update semantics, investigate its basic properties, and illustrate its use on a realistic example about cargo imports.
Structural and mechanistic insight into the ferredoxin-mediated two-electron reduction of bilins
Authors: Busch Andrea W.U. , Reijerse Edward J. , Lubitz Wolfgang , Frankenberg-Dinkel Nicole , Hofmann Eckhard 
Published: July 2011

PEB (phycoerythrobilin) is one of the major open-chain tetrapyrrole molecules found in cyanobacterial light-harvesting phycobiliproteins. In these organisms, two enzymes of the ferredoxin-dependent bilin reductase family work in tandem to reduce BV (biliverdin IXα) to PEB. In contrast, a single cyanophage-encoded enzyme of the same family has been identified to catalyse the identical reaction. Using UV–visible and EPR spectroscopy we investigated the two individual cyanobacterial enzymes PebA [15,16-DHBV (dihydrobiliverdin):ferredoxin oxidoreductase] and PebB (PEB:ferredoxin oxidoreductase) showing that the two subsequent reactions catalysed by the phage enzyme PebS (PEB synthase) are clearly dissected in the cyanobacterial versions. Although a highly conserved aspartate residue is critical for both reductions, a second conserved aspartate residue is only involved in the A-ring reduction of the tetrapyrrole in PebB and PebS. The crystal structure of PebA from Synechococcus sp. WH8020 in complex with its substrate BV at a 1.55 Å (1 Å=0.1 nm) resolution revealed further insight into the understanding of enzyme evolution and function. Based on the structure it becomes obvious that in addition to the importance of certain catalytic residues, the shape of the active site and consequently the binding of the substrate highly determines the catalytic properties.
The invasion of tobacco mosaic virus RNA induces endoplasmic reticulum stress-related autophagy in HeLa cells
Authors: Li Li , Wang Li , Xiao Ruijing , Zhu Guoguo , Li Yan , Liu Changxuan , Yang Ru , Tang Zhiqing , Li Jie , Huang Wei , Chen Lang , Zheng Xiaoling , He Yuling , Tan Jinquan 
Published: July 2011

The ability of human cells to defend against viruses originating from distant species has long been ignored. Owing to the pressure of natural evolution and human exploration, some of these viruses may be able to invade human beings. If their ‘fresh’ host had no defences, the viruses could cause a serious pandemic, as seen with HIV, SARS (severe acute respiratory syndrome) and avian influenza virus that originated from chimpanzees, the common palm civet and birds, respectively. It is unknown whether the human immune system could tolerate invasion with a plant virus. To model such an alien virus invasion, we chose TMV (tobacco mosaic virus) and used human epithelial carcinoma cells (HeLa cells) as its ‘fresh’ host. We established a reliable system for transfecting TMV-RNA into HeLa cells and found that TMV-RNA triggered autophagy in HeLa cells as shown by the appearance of autophagic vacuoles, the conversion of LC3-I (light chain protein 3-I) to LC3-II, the up-regulated expression of Beclin1 and the accumulation of TMV protein on autophagosomal membranes. We observed suspected TMV virions in HeLa cells by TEM (transmission electron microscopy). Furthermore, we found that TMV-RNA was translated into CP (coat protein) in the ER (endoplasmic reticulum) and that TMV-positive RNA translocated from the cytoplasm to the nucleolus. Finally, we detected greatly increased expression of GRP78 (78 kDa glucose-regulated protein), a typical marker of ERS (ER stress) and found that the formation of autophagosomes was closely related to the expanded ER membrane. Taken together, our data indicate that HeLa cells used ERS and ERS-related autophagy to defend against TMV-RNA.
A fiber loop mirror temperature sensor demodulation technique using a long-period grating in a photonic crystal fiber and a band-pass filter
Authors: Wang Yunpeng , Zhao Chun-Liu , Dong Xinyong , Kang Juan , Jin Shangzhong 
Published: July 2011

A fiber loop mirror (FLM) temperature sensor using a long-period grating (LPG) written in a photonic crystal fiber (PCF) and a band-pass filter as a demodulator is proposed. By utilizing the stable filtering function of the LPG in the PCF, the resonant wavelength variation of the FLM with temperature is transferred effectively to the intensity variation of the output light. By monitoring the light intensity of the band-pass of the filter, temperature applied on the FLM is deduced by an optical power meter. Experiment results show that the temperature sensitivity is high as ∼1.742 dB/ °C when a filter with a full width at half maximum 3 nm and the center at 1545 nm is used.
Mechanism of activation gating in the full-length KcsA K
+
channel
Authors: Uysal Serdar , Cuello Luis G. , Cortes D. Marien , Koide Shohei , Kossiakoff Anthony A. , Perozo Eduardo 
Published: July 2011

Using a constitutively active channel mutant, we solved the structure of full-length KcsA in the open conformation at 3.9 Å. The structure reveals that the activation gate expands about 20 Å, exerting a strain on the bulge helices in the C-terminal domain and generating side windows large enough to accommodate hydrated K
+
ions. Functional and spectroscopic analysis of the gating transition provides direct insight into the allosteric coupling between the activation gate and the selectivity filter. We show that the movement of the inner gate helix is transmitted to the C-terminus as a straightforward expansion, leading to an upward movement and the insertion of the top third of the bulge helix into the membrane. We suggest that by limiting the extent to which the inner gate can open, the cytoplasmic domain also modulates the level of inactivation occurring at the selectivity filter.
Targeting the regulation of androgen receptor signaling by the heat shock protein 90 cochaperone FKBP52 in prostate cancer cells
Authors: De Leon Johanny Tonos , Iwai Aki , Feau Clementine , Garcia Yenni , Balsiger Heather A. , Storer Cheryl L. , Suro Raquel M. , Garza Kristine M. , Lee Sunmin , Sang Kim Yeong , Chen Yu , Ning Yang-Min , Riggs Daniel L. , Fletterick Robert J. , Guy R. Kiplin , Trepel Jane B. , Neckers Leonard M. , Cox Marc B. 
Published: July 2011

Drugs that target novel surfaces on the androgen receptor (AR) and/or novel AR regulatory mechanisms are promising alternatives for the treatment of castrate-resistant prostate cancer. The 52 kDa FK506 binding protein (FKBP52) is an important positive regulator of AR in cellular and whole animal models and represents an attractive target for the treatment of prostate cancer. We used a modified receptor-mediated reporter assay in yeast to screen a diversified natural compound library for inhibitors of FKBP52-enhanced AR function. The lead compound, termed MJC13, inhibits AR function by preventing hormone-dependent dissociation of the Hsp90-FKBP52-AR complex, which results in less hormone-bound receptor in the nucleus. Assays in early and late stage human prostate cancer cells demonstrated that MJC13 inhibits AR-dependent gene expression and androgen-stimulated prostate cancer cell proliferation.
Protein self-diffusion in crowded solutions
Authors: Roosen-Runge Felix , Hennig Marcus , Zhang Fajun , Jacobs Robert M. J. , Sztucki Michael , Schober Helmut , Seydel Tilo , Schreiber Frank 
Published: July 2011

Macromolecular crowding in biological media is an essential factor for cellular function. The interplay of intermolecular interactions at multiple time and length scales governs a fine-tuned system of reaction and transport processes, including particularly protein diffusion as a limiting or driving factor. Using quasielastic neutron backscattering, we probe the protein self-diffusion in crowded aqueous solutions of
bovine serum albumin
on nanosecond time and nanometer length scales employing the same protein as crowding agent. The measured diffusion coefficient
D
(
φ
) strongly decreases with increasing protein volume fraction
φ
explored within 7% ≤
φ
≤ 30%. With an ellipsoidal protein model and an analytical framework involving colloid diffusion theory, we separate the rotational
D

r

(
φ
) and translational
D

t

(
φ
) contributions to
D
(
φ
). The resulting
D

t

(
φ
) is described by short-time self-diffusion of effective spheres. Protein self-diffusion at biological volume fractions is found to be slowed down to 20% of the dilute limit solely due to hydrodynamic interactions.
INTENTIONS TO MIGRATE WITHIN THE EUROPEAN UNION: A CHALLENGE FOR SIMPLE ECONOMIC MACRO-LEVEL EXPLANATIONS
Authors: Hadler Markus 
Published: July 2011

ABSTRACT
Individual mobility within the European Union has remained rather low, in spite of large socio-economical differences and the lack of political restrictions for citizens of member states. Taking this as a starting point, this paper sets out to develop a more appropriate view by combing aspects of economic and sociological migration theories both at the macro and micro levels. For this purpose, the Eurobarometer survey 54.2 of 2001 is analysed by applying a three-level regression. Therefore, different characteristics of 15 European countries, 196 nuts-2-regions and about 7,000 respondents aged younger than 45 years are considered. Analyses show that the assumption of push-and-pull models – namely, that people leave less developed places – applies only within countries. In fact, the highest migration intentions can be observed in regions with a developmental gap compared to the overall level of a country. But between countries, the effect is quite the opposite – the highest intentions can be found in highly developed countries. However, the explanatory power of macro-level variables is rather low compared to that of individual characteristics. Therefore, research should place more emphasis on individual characteristics, to estimate a migration potential more accurately.