bluuebunny/crossref_metadata_2025 huggingface dataset:
Reconciling high-level optimizations and low-level code in LLVM
Authors: Lee Juneyoung , Hur Chung-Kil , Jung Ralf , Liu Zhengyang , Regehr John , Lopes Nuno P.
Published: October 2018

LLVM miscompiles certain programs in C, C++, and Rust that use low-level language features such as raw pointers in Rust or conversion between integers and pointers in C or C++. The problem is that it is difficult for the compiler to implement aggressive, high-level memory optimizations while also respecting the guarantees made by the programming languages to low-level programs. A deeper problem is that the memory model for LLVM's intermediate representation (IR) is informal and the semantics of corner cases are not always clear to all compiler developers. We developed a novel memory model for LLVM IR and formalized it. The new model requires a handful of problematic IR-level optimizations to be removed, but it also supports the addition of new optimizations that were not previously legal. We have implemented the new model and shown that it fixes known memory-model-related miscompilations without impacting the quality of generated code.
Horn-ICE learning for synthesizing invariants and contracts
Authors: Ezudheen P. , Neider Daniel , D'Souza Deepak , Garg Pranav , Madhusudan P.
Published: October 2018

We design learning algorithms for synthesizing invariants using Horn implication counterexamples (Horn-ICE), extending the ICE-learning model. In particular, we describe a decision-tree learning algorithm that learns from nonlinear Horn-ICE samples, works in polynomial time, and uses statistical heuristics to learn small trees that satisfy the samples. Since most verification proofs can be modeled using nonlinear Horn clauses, Horn-ICE learning is a more robust technique to learn inductive annotations that prove programs correct. Our experiments show that an implementation of our algorithm is able to learn adequate inductive invariants and contracts efficiently for a variety of sequential and concurrent programs.
Gradual liquid type inference
Authors: Vazou Niki , Tanter Éric , Van Horn David
Published: October 2018

Refinement types allow for lightweight program verification by enriching types with logical predicates. Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, making it unsuitable for inference of modular code components and prohibiting its applicability to library code, and (2) inference failure results in obscure error messages. These difficulties seriously hamper the migration of existing code to use refinements.

This paper shows that
gradual liquid type inference
–a novel combination of liquid inference and gradual refinement types–addresses both issues. Gradual refinement types, which support imprecise predicates that are optimistically interpreted, can be used in argument positions to constrain liquid inference so that the global inference process effectively infers modular specifications usable for library components. Dually, when gradual refinements appear as the result of inference, they signal an inconsistency in the use of static refinements. Because liquid refinements are drawn from a finite set of predicates, in gradual liquid type inference we can enumerate the textitsafe concretizations of each imprecise refinement,
i.e.,
the static refinements that justify why a program is gradually well-typed. This enumeration is useful for static liquid type error explanation, since the safe concretizations exhibit all the potential inconsistencies that lead to static type errors.

We develop the theory of gradual liquid type inference and explore its pragmatics in the setting of Liquid Haskell. To demonstrate the utility of our approach, we develop an interactive tool, GuiLT, for gradual liquid type inference in Liquid Haskell that both infers modular types and explores safe concretizations of gradual refinements. We report on the use of GuiLT for error reporting and discuss a case study on the migration of three commonly-used Haskell list manipulation libraries into Liquid Haskell.
Optimal stateless model checking under the release-acquire semantics
Authors: Abdulla Parosh Aziz , Atig Mohamed Faouzi , Jonsson Bengt , Ngo Tuan Phong
Published: October 2018

We present a framework for the efficient application of stateless model checking (SMC) to concurrent programs running under the Release-Acquire (RA) fragment of the C/C++11 memory model. Our approach is based on exploring the possible program orders, which define the order in which instructions of a thread are executed, and read-from relations, which specify how reads obtain their values from writes. This is in contrast to previous approaches, which also explore the possible coherence orders, i.e., orderings between conflicting writes. Since unexpected test results such as program crashes or assertion violations depend only on the read-from relation, we avoid a potentially significant source of redundancy. Our framework is based on a novel technique for determining whether a particular read-from relation is feasible under the RA semantics. We define an SMC algorithm which is provably optimal in the sense that it explores each program order and read-from relation exactly once. This optimality result is strictly stronger than previous analogous optimality results, which also take coherence order into account. We have implemented our framework in the tool Tracer. Experiments show that Tracer can be significantly faster than state-of-the-art tools that can handle the RA semantics.
Incrementalizing lattice-based program analyses in Datalog
Authors: Szabó Tamás , Bergmann Gábor , Erdweg Sebastian , Voelter Markus
Published: October 2018

Program analyses detect errors in code, but when code changes frequently as in an IDE, repeated re-analysis from-scratch is unnecessary: It leads to poor performance unless we give up on precision and recall. Incremental program analysis promises to deliver fast feedback without giving up on precision or recall by deriving a new analysis result from the previous one. However, Datalog and other existing frameworks for incremental program analysis are limited in expressive power: They only support the powerset lattice as representation of analysis results, whereas many practically relevant analyses require custom lattices and aggregation over lattice values. To this end, we present a novel algorithm called DRedL that supports incremental maintenance of recursive lattice-value aggregation in Datalog. The key insight of DRedL is to dynamically recognize increasing replacements of old lattice values by new ones, which allows us to avoid the expensive deletion of the old value. We integrate DRedL into the analysis framework IncA and use IncA to realize incremental implementations of strong-update points-to analysis and string analysis for Java. As our performance evaluation demonstrates, both analyses react to code changes within milliseconds.
Precision-guided context sensitivity for pointer analysis
Authors: Li Yue , Tan Tian , Møller Anders , Smaragdakis Yannis
Published: October 2018

Context sensitivity is an essential technique for ensuring high precision in Java pointer analyses. It has been observed that applying context sensitivity partially, only on a select subset of the methods, can improve the balance between analysis precision and speed. However, existing techniques are based on heuristics that do not provide much insight into what characterizes this method subset. In this work, we present a more principled approach for identifying precision-critical methods, based on general patterns of value flows that explain where most of the imprecision arises in context-insensitive pointer analysis. Accordingly, we provide an efficient algorithm to recognize these flow patterns in a given program and exploit them to yield good tradeoffs between analysis precision and speed.

Our experimental results on standard benchmark and real-world programs show that a pointer analysis that applies context sensitivity partially, only on the identified precision-critical methods, preserves effectively all (98.8%) of the precision of a highly-precise conventional context-sensitive pointer analysis (2-object-sensitive with a context-sensitive heap), with a substantial speedup (on average 3.4X, and up to 9.2X).
Test generation for higher-order functions in dynamic languages
Authors: Selakovic Marija , Pradel Michael , Karim Rezwana , Tip Frank
Published: October 2018

Test generation has proven to provide an effective way of identifying programming errors. Unfortunately, current test generation techniques are challenged by higher-order functions in dynamic languages, such as JavaScript functions that receive callbacks. In particular, existing test generators suffer from the unavailability of statically known type signatures, do not provide functions or provide only trivial functions as inputs, and ignore callbacks triggered by the code under test. This paper presents LambdaTester, a novel test generator that addresses the specific problems posed by higher-order functions in dynamic languages. The approach automatically infers at what argument position a method under test expects a callback, generates and iteratively improves callback functions given as input to this method, and uses novel test oracles that check whether and how callback functions are invoked. We apply LambdaTester to test 43 higher-order functions taken from 13 popular JavaScript libraries. The approach detects unexpected behavior in 12 of the 13 libraries, many of which are missed by a state-of-the-art test generator.
Renal tubular effects of prolonged therapy with the GLP-1 receptor agonist lixisenatide in patients with type 2 diabetes mellitus
Authors: Tonneijck Lennart , Muskiet Marcel H. A. , Blijdorp Charles J. , Smits Mark M. , Twisk Jos W. , Kramer Mark H. H. , Danser A. H. J. , Diamant Michaela , Joles Jaap A. , Hoorn Ewout J. , van Raalte Daniël H.
Published: October 2018

Glucagon-like peptide-1 (GLP-1) receptor agonists (RAs) are well-established glucose-lowering drugs for type 2 diabetes mellitus (T2DM) management. Acute GLP-1RA administration increases urinary excretion of sodium and other electrolytes. However, the renal tubular effects of prolonged GLP-1RA treatment are largely unknown. In this secondary analysis of a randomized trial, we determined the renal tubular effects of 8-wk treatment with 20 μg lixisenatide, a short-acting (prandial) GLP-1RA, versus titrated once-daily insulin glulisine in 35 overweight T2DM-patients on stable insulin glargine background therapy (age: 62 ± 7 yr, glycated hemoglobin: 8.0 ± 0.9%, estimated glomerular filtration rate: >60 ml·min−1·1.73 m−2). After a standardized breakfast, lixisenatide increased absolute and fractional excretions of sodium, chloride, and potassium and increased urinary pH. In contrast, lixisenatide reduced absolute and fractional excretions of magnesium, calcium, and phosphate. At week 8, patients treated with lixisenatide had significantly more phosphorylated sodium-hydrogen exchanger isoform 3 (NHE3) in urinary extracellular vesicles than those on insulin glulisine treatment, which suggested decreased NHE3 activity in the proximal tubule. A rise in postprandial blood pressure with lixisenatide partly explained the changes in the urinary excretion of sodium, potassium, magnesium, and phosphate and the changes in urinary pH. In conclusion, lixisenatide affects postprandial urinary excretion of several electrolytes and increases urinary pH compared with insulin glulisine in T2DM patients after 8 wk of treatment. This is most likely explained by a drug-induced rise in blood pressure or direct inhibitory effects on NHE3 in the proximal tubule.
Development of human electrophysiological brain networks
Authors: Briley Paul M. , Liddle Elizabeth B. , Groom Madeleine J. , Smith Helen J. F. , Morris Peter G. , Colclough Giles L. , Brookes Matthew J. , Liddle Peter F.
Published: October 2018

Functional activity in the human brain is intrinsically organized into independently active, connected brain regions. These networks include sensorimotor systems, as well as higher-order cognitive networks such as the default mode network (DMN), which dominates activity when the brain is at rest, and the frontoparietal (FPN) and salience (SN) networks, which are often engaged during demanding tasks. Evidence from functional magnetic resonance imaging (fMRI) suggests that although sensory systems are mature by the end of childhood, the integrity of the FPN and SN develops throughout adolescence. There has been little work to corroborate these findings with electrophysiology. Using magnetoencephalography (MEG) recordings of 48 participants (aged 9–25 yr) at rest, we find that beta-band functional connectivity within the FPN, SN, and DMN continues to increase through adolescence, whereas connectivity in the visual system is mature by late childhood. In contrast to fMRI results, but replicating the MEG findings of Schäfer et al. (Schäfer CB, Morgan BR, Ye AX, Taylor MJ, Doesburg SM. Hum Brain Mapp 35: 5249–5261, 2014), we also see that connectivity between networks increases rather than decreases with age. This suggests that the development of coordinated beta-band oscillations within and between higher-order cognitive networks through adolescence might contribute to the developing abilities of adolescents to focus their attention and coordinate diverse aspects of mental activity.

NEW & NOTEWORTHY Using magnetoencephalography to assess beta frequency oscillations, we show that functional connectivity within higher-order cognitive networks increases from childhood, reaching adult values by age 20 yr. In contrast, connectivity within a primary sensory (visual) network reaches adult values by age 14 yr. In contrast to functional MRI findings, connectivity between cognitive networks matures at a rate similar to within-network connectivity, suggesting that coordination of beta oscillations both within and between networks is associated with maturation of cognitive skills.
Choline and NMDG directly reduce outward currents: reduced outward current when these substances replace Na+is alone not evidence of Na+-activated K+currents
Authors: Thuma Jeffrey B. , Hooper Scott L.
Published: October 2018

Choline chloride is often, and N-methyl-d-glucamine (NMDG) sometimes, used to replace sodium chloride in studies of sodium-activated potassium channels. Given the high concentrations used in sodium replacement protocols, it is essential to test that it is not the replacement substances themselves, as opposed to the lack of sodium, that cause any observed effects. We therefore compared, in lobster stomatogastric neurons and leech Retzius cells, the effects of applying salines in which choline chloride replaced sodium chloride, and in which choline hydroxide or sucrose was added to normal saline. We also tested, in stomatogastric neurons, the effect of adding NMDG to normal saline. These protocols allowed us to measure the direct effects (i.e., effects not due to changes in sodium concentration or saline osmolarity or ionic strength) of choline on stomatogastric and leech currents, and of NMDG on stomatogastric currents. Choline directly reduced transient and sustained depolarization-activated outward currents in both species, and NMDG directly reduced transient depolarization-activated outward currents in stomatogastric neurons. Experiments with lower choline concentrations showed that adding as little as 150 mM (stomatogastric) or 5 mM (leech) choline reduced at least some depolarization-activated outward currents. Reductions in outward current with choline chloride or NMDG replacement alone are thus not evidence of sodium-activated potassium currents.

NEW & NOTEWORTHY We show that choline or N-methyl-d-glucamine (NMDG) directly (i.e., not due to changes in extracellular sodium) decrease outward currents. Prior work studying sodium-activated potassium channels in which sodium was replaced with choline or NMDG without an addition control may therefore be artifactual.
The TNF Family of Ligands and Receptors: Communication Modules in the Immune System and Beyond
Authors: Dostert Catherine , Grusdat Melanie , Letellier Elisabeth , Brenner Dirk
Published: October 2018

The tumor necrosis factor (TNF) and TNF receptor (TNFR) superfamilies (TNFSF/TNFRSF) include 19 ligands and 29 receptors that play important roles in the modulation of cellular functions. The communication pathways mediated by TNFSF/TNFRSF are essential for numerous developmental, homeostatic, and stimulus-responsive processes in vivo. TNFSF/TNFRSF members regulate cellular differentiation, survival, and programmed death, but their most critical functions pertain to the immune system. Both innate and adaptive immune cells are controlled by TNFSF/TNFRSF members in a manner that is crucial for the coordination of various mechanisms driving either co-stimulation or co-inhibition of the immune response. Dysregulation of these same signaling pathways has been implicated in inflammatory and autoimmune diseases, highlighting the importance of their tight regulation. Investigation of the control of TNFSF/TNFRSF activities has led to the development of therapeutics with the potential to reduce chronic inflammation or promote anti-tumor immunity. The study of TNFSF/TNFRSF proteins has exploded over the last 30 yr, but there remains a need to better understand the fundamental mechanisms underlying the molecular pathways they mediate to design more effective anti-inflammatory and anti-cancer therapies.
Thick Ascending Limb Sodium Transport in the Pathogenesis of Hypertension
Authors: Gonzalez-Vicente Agustin , Saez Fara , Monzon Casandra M. , Asirwatham Jessica , Garvin Jeffrey L.
Published: October 2018

The thick ascending limb plays a key role in maintaining water and electrolyte balance. The importance of this segment in regulating blood pressure is evidenced by the effect of loop diuretics or local genetic defects on this parameter. Hormones and factors produced by thick ascending limbs have both autocrine and paracrine effects, which can extend prohypertensive signaling to other structures of the nephron. In this review, we discuss the role of the thick ascending limb in the development of hypertension, not as a sole participant, but one that works within the rich biological context of the renal medulla. We first provide an overview of the basic physiology of the segment and the anatomical considerations necessary to understand its relationship with other renal structures. We explore the physiopathological changes in thick ascending limbs occurring in both genetic and induced animal models of hypertension. We then discuss the racial differences and genetic defects that affect blood pressure in humans through changes in thick ascending limb transport rates. Throughout the text, we scrutinize methodologies and discuss the limitations of research techniques that, when overlooked, can lead investigators to make erroneous conclusions. Thus, in addition to advancing an understanding of the basic mechanisms of physiology, the ultimate goal of this work is to understand our research tools, to make better use of them, and to contextualize research data. Future advances in renal hypertension research will require not only collection of new experimental data, but also integration of our current knowledge.
Undescended Testes and Laparoscopy: Experience from the Developing World
Authors: Dar Shabir Ahmad , Bali Rajandeep Singh , Zahoor Yawar , Rashid Kema Arshad , Bhardwaj Rajni
Published: October 2018

Background. Cryptorchidism or undescended testes is the most common disorder of the male endocrine glands in children. With the advancements in laparoscopic techniques and instruments, laparoscopic orchidopexy has become the standard procedure in the management of nonpalpable undescended testes. Aim. To evaluate and determine the therapeutic role, sensitivity, and specificity of laparoscopy in localizing nonpalpable testes and the mean operative time, the conversion rate (and reasons thereof), postoperative wound infection, postoperative stay, and time taken for return to daily activities following laparoscopic orchidopexy or orchidectomy. Materials and Methods. This was a prospective study carried out in the Postgraduate Department of Surgery, Government Medical College, Srinagar, J&K, India, from May 2008 to August 2011. All patients who presented to the outpatient department with complaints of absent testes were examined, and the ones with nonpalpable testes were included in the study. Results. The mean operative time for bilateral and unilateral nonpalpable testis was 102.76 and 53.67 minutes, respectively. Minor postoperative wound infections were noted in 4 of our patients. Mean duration of hospital stay was 14.23 hrs for unilateral cases and 16.27 hrs for bilateral cases. Patients who underwent laparoscopic orchidopexy resumed their normal activities within 4 ± 1 days. Conclusion. Laparoscopy clearly demonstrates the anatomy and provides visual information upon which a definitive decision can be made for further management of the undescended nonpalpable testis.
Dynamic Behavior of Soft Subgrade Soils Treated with Boron Waste
Authors: Okur Volkan , Akinci Kubra
Published: October 2018

A series of laboratory tests using resonant column and dynamic torsional shear tests were conducted on kaolinite and montmorillonite clays treated with boron waste. The effect of the boron waste on the dynamic characteristics of two clays was studied considering the effects of the plasticity index. Pulverized boron waste was mixed with the clay soils in different proportions. It has been seen that treatment with boron waste improved the dynamic properties of the two clays. However, increasing the amount of boron waste does not affect the dynamic characteristics of the samples in the same proportions. Increasing the amount of boron waste in the mixture increased the initial shear modulus of the montmorillonite clay up to 300% compared to untreated samples, whereas the reaction of the kaolinite clay with boron waste treatment was moderate. Degradation curves of treated and untreated soils in regard to shear strain are presented. In general treatment, success is dependent on the amount of boron waste and the clay type. The continuous increase with the amount of boron waste in the shear modulus and damping ratio is apparent on both clays.
Vesicouterine Fistula (VUF) as a Rare Urogenital Complication Managed with Delayed Surgical Repair: A Case Report and Review of the Literature
Authors: Symeonidis Evangelos N. , Sdralis Elias , Symeonidis Asterios , Georgiadis Christos , Kalyvas Vasileios , Malioris Apostolos , Papathanasiou Michail
Published: October 2018

Vesicouterine fistula (VUF) represents a rare urogenital complication. It is considered to be the least common type of urogenital fistulas. Iatrogenic reasons have been shown to be the most prominent cause, with lower segment caesarean section accounting for approximately two-thirds of the cases. The highest incidence concerns young females of reproductive age. VUF can present with clinical symptoms varying from cyclic hematuria, amenorrhea, and vaginal leakage of urine to secondary infertility and first-trimester abortion. Quality of life (QoL) for patients having this pathology is strongly affected due to the psychological burden. Surgical excision of the fistula remains the mainstay of treatment, as less than 5% of patients respond to conservative therapy. Recently laparoscopic and robotic-assisted VUF repair started gaining ground with comparable results to open surgery. Herein, we presented the successful delayed surgical repair of VUF in a 32-year-old female patient. A review of the published literature was also performed, summarizing all the available evidence regarding this rare clinical entity.
Feasibility, Safety, and Efficacy of Pressurized Intraperitoneal Aerosol Chemotherapy (PIPAC) for Peritoneal Metastasis: A Registry Study
Authors: Kurtz Florian , Struller Florian , Horvath Philipp , Solass Wiebke , Bösmüller Hans , Königsrainer Alfred , Reymond Marc A.
Published: October 2018

Introduction. Pressurized intraperitoneal aerosol chemotherapy (PIPAC) is a novel drug delivery system with superior pharmacological properties for treating peritoneal metastasis (PM). Safety and efficacy results of PIPAC with cisplatin/doxorubicin or oxaliplatin from a registry cohort are presented. Methods. IRB-approved registry study. Retrospective analysis. No predefined inclusion criteria, individual therapeutic recommendation by the interdisciplinary tumor board. Safety assessment with CTCAE 4.0. Histological assessment of tumor response by an independent pathologist using the 4-tied peritoneal regression grading system (PRGS). Mean PRGS and ascites volume were assessed at each PIPAC. Results. A total of 142 PIPAC procedures were scheduled in 71 consecutive patients with PM from gastric (n=26), colorectal (n=17), hepatobiliary/pancreatic (n=9), ovarian (n=6), appendiceal (n=5) origin, pseudomyxoma peritonei (n=4), and other tumors (n=3). Mean age was 58 ± 13 years. Patients were heavily pretreated. Mean PCI was 19 ± 13. Laparoscopic nonaccess rate was 11/142 procedures (7.7%). Mean number of PIPAC/patient was 2. All patients were eligible for safety analysis. There was no procedure-related mortality. There were 2.8% intraoperative and 4.9% postoperative complications. 39 patients underwent more than one PIPAC and were eligible for efficacy analysis, and PRGS could be assessed in 36 of them. In 24 patients (67%), PRGS improved or remained unchanged at PIPAC#2, reflecting tumor regression or stable disease. Ascites was present in 24 patients and diminished significantly under therapy. Median survival was 11.8 months (95% CI: 7.45–16.2 months) from PIPAC#1. Conclusion. PIPAC is feasible, safe, and well-tolerated and can induce histological regression in a significant proportion of pretreated PM patients. This trial is registered with NCT03210298.
Development of a Mixing Process Using an HB-Type Impeller to Easily Achieve Scale-Up by Maintaining Geometrical Similarity
Authors: Kato Yoshihito , Furukawa Haruki , Ikeda Yasuyuki , Nakanishi Toshikazu , Sano Tadashi , Tomioka Kenji
Published: October 2018

In recent years, a novel home base-type (HB-type) impeller was developed to be based on observation of the streak line pattern. An HB impeller must be simple, speedy, and stable (3S). When an HB impeller is used on the laboratory beaker scale, the mixing performance of the HB impeller is better than that of a normal cylindrical stirring bar. In addition, an industrial-scale HB impeller has been constructed based on the observation of the streak line and isolated mixing regions in the vessel. The present authors believe that scale-up of the mixing process is very easy because the geometrical shape of the impeller can be kept consistent when scaling up from the laboratory scale to the industrial scale.
Shape Stability of Polyethylene Glycol/Acetylene Black Phase Change Composites for Latent Heat Storage
Authors: Zhang Jingjing , Li Hairong , Tu Junyang , Shi Ruonan , Luo Zhiping , Xiong Chuanxi , Jiang Ming
Published: October 2018

Sufficient shape stability is essential for a high‐performance phase change material (PCM). Although significant advances have been made to develop form‐stable composites, technical development in the field of polymer‐based PCMs is currently limited by an incomplete understanding of the shape stability. Form‐stable polyethylene glycol/acetylene black (PEG/AB) PCMs containing PEGs with different average molecular weights have been obtained by melt mixing to investigate the shape stability of the PEG/AB composites. It was found that the phase change behaviors of the PEG/AB composites were not only attributed to the interactions between the AB and PEG, but also to the intermolecular interactions of the PEG chains, depending on the varying molecular weights of the PEGs. Physically crosslinked structure with temporary junctions was formed through hydrogen bonding, capillary, surface tension forces, intermolecular friction, and macromolecular entanglement, which contributed to the constrained chain motion and thus the solid‐solid phase change behavior of the PEG/AB composites. The physically crosslinked structure was more stable with longer length of the PEG molecular chains, resulting in higher critical impregnated contents of the PEG into the AB and thus improved latent heat.
New Method to Design Coal Pillar for Lateral Roof Roadway Based on Mining‐Induced Stress: A Case Study
Authors: Wang Feng , Chen Shaojie , Xu Jialin , Ren Mengzi
Published: October 2018

The traditional method to design coal pillar for lateral roof roadway was established based on the mining‐induced strata movement contour which is considered as a straight line, while ignoring the variations of the internal strata deformation law as well as stress distribution characteristics. In order to make up for this deficiency, in this study, evolution of mining‐induced stress in the overlying strata was simulated using physical and numerical simulations, and a method to design coal pillar for lateral roof roadway based on mining‐induced stress was proposed. The results indicate that the stress of the overlying strata is redistributed during excavation, and the stress distribution can be divided into a stress‐relaxation area, a stress‐concentration area, and an in situ stress area. The contour line of 1.05 times the in situ stress is used to define the mining‐induced stress contour. Stress inside the contour is redistributed while outside the contour the overlying strata are still within the in situ stress area. Mining‐induced stress contour presents a concave‐upward type from coal seam to the overlying strata that cannot be merged into a straight one due to their different characteristics of movement and deformation. With this in mind, this study proposed a method to design the width of coal pillar for lateral roof roadway according to the mining‐induced stress contour. According to mining‐induced stress contour, the width of coal pillar for lateral roof roadway of longwall panel 31100 is 160 m, and the maximum deformation of the roadway is 270 mm. The new method can definitely meet engineering demands.
A Novel Thermostable GH3β-Glucosidase fromTalaromyce leycettanuswith Broad Substrate Specificity and Significant Soybean Isoflavone Glycosides-Hydrolyzing Capability
Authors: Li Xinxin , Xia Wei , Bai Yingguo , Ma Rui , Yang Hong , Luo Huiying , Shi Pengjun
Published: October 2018

A novelβ-glucosidase gene (Bgl3B) of glycoside hydrolase (GH) family 3 was cloned from the thermophilic fungusTalaromyce leycettanusJM12802 and successfully expressed inPichia pastoris. The deduced Bgl3B contains 860 amino acid residues with a calculated molecular mass of 91.2 kDa. The purified recombinant Bgl3B exhibited maximum activities at pH 4.5 and 65°C and remained stable at temperatures up to 60°C and pH 3.0−9.0, respectively. The enzyme exhibited broad substrate specificities, showingβ-glucosidase, glucanase, cellobiase, xylanase, and isoflavone glycoside hydrolase activities, and its activities were stimulated by short-chain alcohols. The catalytic efficiencies of Bgl3B were 693 and 104/mM/s towardspNPG and cellobiose, respectively. Moreover, Bgl3B was highly effective in converting isoflavone glycosides to aglycones at 37°C within 10 min, with the hydrolysis rates of 95.1%, 76.0%, and 75.3% for daidzin, genistin, and glycitin, respectively. These superior properties make Bgl3B potential for applications in the food, animal feed, and biofuel industries.
Automated Detection and Segmentation of Nonmass-Enhancing Breast Tumors with Dynamic Contrast-Enhanced Magnetic Resonance Imaging
Authors: Illan Ignacio Alvarez , Ramirez Javier , Gorriz J. M. , Marino Maria Adele , Avendano Daly , Helbich Thomas , Baltzer Pascal , Pinker Katja , Meyer-Baese Anke
Published: October 2018

Nonmass-enhancing (NME) lesions constitute a diagnostic challenge in dynamic contrast-enhanced magnetic resonance imaging (DCE-MRI) of the breast. Computer-aided diagnosis (CAD) systems provide physicians with advanced tools for analysis, assessment, and evaluation that have a significant impact on the diagnostic performance. Here, we propose a new approach to address the challenge of NME lesion detection and segmentation, taking advantage of independent component analysis (ICA) to extract data-driven dynamic lesion characterizations. A set of independent sources was obtained from the DCE-MRI dataset of breast cancer patients, and the dynamic behavior of the different tissues was described by multiple dynamic curves, together with a set of eigenimages describing the scores for each voxel. A new test image is projected onto the independent source space using the unmixing matrix, and each voxel is classified by a support vector machine (SVM) that has already been trained with manually delineated data. A solution to the high false-positive rate problem is proposed by controlling the SVM hyperplane location, outperforming previously published approaches.
Efficacy of Sulphachloropyrazine, Amprolium Hydrochloride, Trimethoprim-Sulphamethoxazole, and Diclazuril against Experimental and Natural Rabbit Coccidiosis
Authors: Ogolla Kennedy O. , Gathumbi Peter K. , Waruiru Robert M. , Okumu Paul O. , Chebet Joyce , Kitala Philip M.
Published: October 2018

There are no anticoccidial drugs labelled for rabbits in Kenya and those available are used as extra labels from poultry. The drugs are used in rabbits with limited knowledge of their efficacy and safety. The aim of this study was to determine the efficacy of sulphachloropyrazine, amprolium hydrochloride, and trimethoprim-sulphamethoxazole relative to diclazuril when used curatively against experimental and natural rabbit coccidiosis. In a controlled laboratory trial, sixty (60) rabbits were randomly allocated to six treatment groups, namely, 1A, 2B, 3C, 4D, 5E, and 6F, each with 10 rabbits. Groups 2B, 3C, 4D, 5E, and 6F were experimentally infected with mixed Eimeria species while group 1A served as uninfected-untreated (negative) control group. Four of the infected groups were treated with sulphachloropyrazine (5E), amprolium hydrochloride (2B), trimethoprim-sulphamethoxazole (6F), and diclazuril (4D) using dosages recommended by manufacturers. Group 3C served as infected-untreated (positive) control. A field efficacy trial in naturally infected rabbits was then undertaken. The results revealed that sulphachloropyrazine and diclazuril were effective against rabbit clinical coccidiosis by significantly reducing oocyst counts from 149.00±110.39 x 104 to 3.31±0.86 x 104 Eimeria spp. oocysts per gram of feces (opg) and 59.70±12.35 x 104 to 0.0±0.0 x 104 opg, respectively, in the laboratory trial. Similarly, sulphachloropyrazine and diclazuril recorded reduced oocyst counts in the field trial from 280.33±44.67 x 103 to 0.44±0.14 x 103 opg and 473.44±176.01 x 103 to 0.0±0.0 x 103 opg, respectively. Still, sulphachloropyrazine and diclazuril showed superior efficacy by registering lesion scores and fecal scores close to those of uninfected untreated control group. Trimethoprim-sulphamethoxazole recorded a satisfactory efficacy in the field trial by recording reduced oocyst counts from 266.78±37.03 x 103 to 0.75±0.11 x 103 opg but was not efficacious in the laboratory trial. Amprolium hydrochloride was not efficacious against clinical coccidiosis in both the experimental and field trials.
Characterization of Colombian Clay and Its Potential Use as Adsorbent
Authors: Macías-Quiroga Iván Fernando , Giraldo-Gómez Gloria Inés , Sanabria-González Nancy Rocío
Published: October 2018

This paper presents a mineralogical and physicochemical characterization of a Colombian clay found in an area with the greatest exploitation potential of smectites and possible use as an adsorbent for the removal of chromium. The clay was characterized by using X-ray diffraction (XRD), cation exchange capacity (CEC), X-ray fluorescence (XRF), Fourier transform infrared spectroscopy (FT-IR), thermal analysis (TGA/DSC), and nitrogen adsorption at 77 K. The homoionized clay was used as an adsorbent for the removal of Cr(III) in an aqueous solution. The homoionized clay was modified with hexadecyltrimethylammonium bromide (HDTMA-Br), and the organoclay obtained was evaluated for the adsorption of Cr(VI) in aqueous solution. The XRD analysis showed that the clay from Armero-Guayabal is primarily constituted by smectite (48 wt%) followed by quartz mineral (21 wt%). The chemical analysis of bulk clay showed that the predominant oxides are SiO2 (55.81 wt%), Al2O3 (16.25 wt%), and Fe2O3 (7.51 wt%), and the nitrogen adsorption indicated that the bulk clay has a specific surface area of 45.1 m2/g. Homoionized clay and organoclay achieved Cr(III) and Cr(VI) removals greater than 85.05 ± 2.04% (pH between 3 and 4) and 82.93 ± 1.03% (pH between 3 and 5), respectively, proving the potential of these materials for the removal of heavy metals in an aqueous solution.
Correlation between Brodsky Tonsil Scale and Tonsil Volume in Adult Patients
Authors: Lu Xiaotong , Zhang Junbo , Xiao Shuifang
Published: October 2018

Purpose. To evaluate the value of Brodsky tonsil scale in predicting the objective tonsil volume and to identify the potential factors that might interfere with the accuracy of prediction. Methods. A total of 87 adult patients who underwent single tonsillectomy or uvulopalatopharyngoplasty (UPPP) procedure including tonsillectomy in our hospital between Jan 2015 and Dec 2016 were included. The data of Brodsky tonsil scale evaluated preoperatively and objective tonsil volume evaluated postoperatively were collected for analysis. Results. Among the 87 adult patients included, 85 patients underwent bilateral tonsillectomy, while only 2 underwent unilateral procedure. Therefore, a total of 172 tonsils were included. Significant positive correlations were established between Brodsky scale and objective volume for either right (R = 0.647), left (R = 0.664), or overall tonsils (R = 0.654) (all p<0.001). However, volume overlaps could be found between 2+ and 3+ tonsils. Age [odds ratio (OR) = 4.053, p=0.003] and body mass index (BMI; OR=1.740, p=0.044) were found to be independent factors that could influence the consistency between the Brodsky scale and objective volume. As a result, a formula “Index = -1.409+1.399×age+0.554×BMI” was constructed for the evaluation of the consistency. Conclusion. Tonsil grading was significantly correlated with tonsil volume; preoperative tonsil grading that reflected the real tonsil volume was regarded as the protocol for the evaluation of the tonsil size. Age and BMI were independent factors that could affect the consistency between tonsil grade and tonsil volume. A mathematical model was estimated to predict the consistency accurately.
Nontraumatic Parapharyngeal Haematoma: A Rare Lesion
Authors: Carneiro de Sousa Pedro , Gambôa Inês , Duarte Delfim , Trigueiros-Cunha Nuno
Published: October 2018

Nontraumatic haematoma of parapharyngeal space is very rare and may cause dysphagia and dyspnea. The authors present a case report of a 74-year-old woman with sudden nontraumatic neck swelling without dyspnea and with left pharyngeal bulging and endolaryngeal displacement. Parathyroid hormone elevation and imaging exams confirmed bleeding from a parathyroid adenoma. Symptoms and signs resolved after one week of conservative treatment. There are few cases of parapharyngeal haematomas caused by parathyroid adenomas. Most patients can be managed without emergent surgery, but close airway monitoring is fundamental.
Quality of Life Is Influenced by Body Weight, Education, and Family Income in Adolescents with Chronic Diseases
Authors: Mota João Felipe , Rezio Marília Arantes , Soares Ronyson Camilo , Pimentel Gustavo Duarte , Coelho Alexandre Siqueira Guedes , Cunha Juliana
Published: October 2018

Objective. To evaluate the health-related quality of life (HRQoL) of adolescents diagnosed with different chronic conditions and to identify demographic, socioeconomic, and health-status outcomes associated with the impairment in HRQoL. Study Design. Cross-sectional study. Methods. We evaluated 276 adolescents (50.7% male) aged 14 ± 2 years that were assisted by healthcare public service and diagnosed with cancer (CA), type 1 diabetes mellitus (DM1), overweight (OW), asthma (AS), and no chronic health condition—control group (CG). Adolescents and parent-proxy completed age-appropriate self-report and/or parent-proxy report on generic HRQoL measures using PedsQL™. Results. Adolescents with CA had lower overall HRQoL as well as poorer scores in all dimensions than either healthy participants or other chronic disease sufferers. HRQoL scores reported by parent-proxy were similar to those reported by adolescents across all chronic diseases. CG members reported better scores in all dimensions. Maternal education, family income, and marital status of parents were correlated with HRQoL scores in all dimensions. The risk of having an affected HRQoL score was higher in adolescents with CA than in adolescents with other chronic diseases. Conclusions. The likelihood of cancer affecting HRQoL was higher when compared to other chronic diseases, and the OW group had a worse overall score compared to CG. Adolescents with CA, AS, and OW reported worse school dimensions when compared to healthy adolescents. The education of adolescents and their parent-proxy, body weight, and family income influence the dimensions of HRQoL in adolescents with chronic diseases.
Fully Automated Delineation of Gross Tumor Volume for Head and Neck Cancer on PET-CT Using Deep Learning: A Dual-Center Study
Authors: Huang Bin , Chen Zhewei , Wu Po-Man , Ye Yufeng , Feng Shi-Ting , Wong Ching-Yee Oliver , Zheng Liyun , Liu Yong , Wang Tianfu , Li Qiaoliang , Huang Bingsheng
Published: October 2018

Purpose. In this study, we proposed an automated deep learning (DL) method for head and neck cancer (HNC) gross tumor volume (GTV) contouring on positron emission tomography-computed tomography (PET-CT) images. Materials and Methods. PET-CT images were collected from 22 newly diagnosed HNC patients, of whom 17 (Database 1) and 5 (Database 2) were from two centers, respectively. An oncologist and a radiologist decided the gold standard of GTV manually by consensus. We developed a deep convolutional neural network (DCNN) and trained the network based on the two-dimensional PET-CT images and the gold standard of GTV in the training dataset. We did two experiments: Experiment 1, with Database 1 only, and Experiment 2, with both Databases 1 and 2. In both Experiment 1 and Experiment 2, we evaluated the proposed method using a leave-one-out cross-validation strategy. We compared the median results in Experiment 2 (GTVa) with the performance of other methods in the literature and with the gold standard (GTVm). Results. A tumor segmentation task for a patient on coregistered PET-CT images took less than one minute. The dice similarity coefficient (DSC) of the proposed method in Experiment 1 and Experiment 2 was 0.481∼0.872 and 0.482∼0.868, respectively. The DSC of GTVa was better than that in previous studies. A high correlation was found between GTVa and GTVm (R = 0.99, P<0.001). The median volume difference (%) between GTVm and GTVa was 10.9%. The median values of DSC, sensitivity, and precision of GTVa were 0.785, 0.764, and 0.789, respectively. Conclusion. A fully automatic GTV contouring method for HNC based on DCNN and PET-CT from dual centers has been successfully proposed with high accuracy and efficiency. Our proposed method is of help to the clinicians in HNC management.
Design of a Submarine Vehicle for Higher Natural Frequency Using U  ∗ Index Theory Approach
Authors: Shang Weiyan , Wang Qingguo
Published: October 2018

The natural frequency of a vehicle structure should be far higher than the road excitation frequency in order to avoid dynamic problems caused by structural resonance. Submarine vehicles or robots are facing the same issue as mentioned above. This paper proposed a means to effectively increase the natural frequency of submarine vehicles or robots by using U  ∗ index approach. The U  ∗ theory was originally introduced to investigate load transfer paths within a structure. It is a new design paradigm for vehicle structures. In this study, the U  ∗ index theory was applied to evaluate the internal stiffness distribution of a submarine vehicle structure and then a modified design was achieved based on the U  ∗ analysis. Compared to the original design, the natural frequency of the modified vehicle structure was increased by more than 40% while the weight of the modified vehicle was only raised by 4.6%.
Characteristic Features of the Evolution of a Meiyu Frontal Rainstorm with Doppler Radar Data Assimilation
Authors: Li Hongli , Hu Yang , Zhou Zhimin , Peng Juxiang , Xu Xiangde
Published: October 2018

During the Meiyu period, floods are prone to occur in the middle and lower reaches of the Yangtze River because of the highly concentrated and heavy rainfall, which caused huge life and economic losses. Based on numerical simulation by assimilating Doppler radar, radiosonde, and surface meteorological observations, the evolution mechanism for the initiation, development, and decaying of a Meiyu frontal rainstorm that occurred from 4th to 5th July 2014 is analyzed. Results show that the numerical experiment can well reproduce the temporal variability of heavy precipitation and successfully simulate accumulative precipitation and its evolution over the key rainstorm area. The simulated “rainbelt training” is consistent with observed “echo training” on both spatial structure and temporal evolution. The convective cells in the mesoscale convective belt propagated from southwest to northeast across the key rainstorm area, leading to large accumulative precipitation in this area. There existed convective instability in lower levels above the key rainstorm area, while strong ascending motion developed during the rainstorm process. Combined with abundant water vapor supply, the above condition was favorable for the formation and development of heavy rainstorm. The low-level jet (LLJ) provided sufficient energy for the rainstorm system, and the low-level convergence intensified, which was important for the maintenance of precipitation system and its eventual intensification to rainstorm. At its mature stage, the rainstorm system demonstrated vertically tilted structure with strong ascending motion in the key rainstorm area, which was favorable for the occurrence of rainstorm. In the decaying stage, unstable energy decreased and the rainstorm no longer had sufficient energy to sustain. The rapid weakening of LLJ resulted in smaller energy supply to the convective system, and the stratification tended to be stable in the middle and lower levels. The ascending motion weakened correspondingly, which made it hard for the convective system to maintain.