bluuebunny/crossref_metadata_2025_split huggingface dataset:
Evaluation of standing low-field magnetic resonance imaging for diagnosis of advanced distal interphalangeal primary degenerative joint disease in horses: 12 cases (2010–2014)
Authors: Rovel Tibor , Audigié Fabrice , Coudry Virginie , Jacquet-Guibon Sandrine , Bertoni Lélia , Denoix Jean-Marie 
Published: January 2019

Abstract
OBJECTIVE To report history, findings from clinical examinations and diagnostic imaging, treatment, and outcomes associated with distal interphalangeal primary degenerative joint disease (DIP-PDJD) and to evaluate diagnostic usefulness and limitations of standing low-field MRI, relative to radiography and ultrasonography, for the diagnosis of DIP-PDJD in horses.
DESIGN Retrospective case series with nested evaluation study.
ANIMALS 12 client-owned horses.
PROCEDURES Medical records were reviewed, and data were collected regarding signalment, history, results of physical and diagnostic imaging examinations, treatments, and outcomes of horses that underwent radiography, ultrasonography, and standing MRI for DIP-PDJD. Findings from radiography, ultrasonography, and MRI were recorded, and abnormal findings were graded. The diagnostic usefulness of MRI, relative to radiography and ultrasonography, in the diagnosis of DIP-PDJD in horses was evaluated.
RESULTS A diagnosis of DIP-PDJD was established in 12 of 176 (6.8%) horses that underwent MRI examination of a foot for locomotor disorders. Radiography and ultrasonography enabled confirmation of DIP-PDJD in 3 of the 12 horses, and standing MRI enabled confirmation of DIP-PDJD in the remaining 9. Mean grade for thinning joint space and cartilage were significantly greater when determined with MRI, compared with radiography. Mean grade for osteophytes and periarticular bone remodeling were significantly greater when determined with radiography and ultrasonography, compared with MRI.
CONCLUSIONS AND CLINICAL RELEVANCE Results indicated that DIP-PDJD can be challenging to detect with routine imaging, especially when synovial effusion and periarticular new bone formation are absent. Standing low-field MRI represents a potentially useful diagnostic tool to diagnose advanced DIP-PDJD in horses.
Exceptionally well-preserved Early Cretaceous leaves of Nilssoniopteris from central Mongolia
Authors: Herrera Fabiany , Shi Gongle , Tsolmon Gombosuren , Ichinnorov Niiden , Takahashi Masamichi , Crane Peter R. , Herendeen Patrick S. 
Published: January 2019

AbstractTwo new Early Cretaceous (Aptian-Albian) species of fossil bennettitalean leaves are described from central Mongolia and assigned to the genus Nilssoniopteris. Nilssoniopteris tomentosa F.Herrera, G.Shi, Tsolmon, Ichinnorov, Takahashi, P.R.Crane, et Herend. sp. nov., isolated from bulk sediment samples collected for mesofossils in the Tevshiingovi Formation at the Tevshiin Govi opencast coal mine, is distinctive in having a dense, well-developed indumentum composed of branched, flattened multicellular trichomes on the abaxial leaf surface. This species provides the first direct evidence of complex multicellular trichomes in Bennettitales and adds to the evidence of leaf anatomical features in the group that were probably advantageous in increasing water use efficiency and/or perhaps had other functions such as deterring insect herbivory. Comparison with other well-preserved leaves of Bennettitales, including Nilssoniopteris shiveeovoensis F.Herrera, G.Shi, Tsolmon, Ichinnorov, Takahashi, P.R.Crane, et Herend. sp. nov., collected as hand specimens from the Khukhteeg Formation at the Shivee Ovoo locality, suggests that the trichome bases seen commonly on the abaxial cuticle of bennettitalean leaves bore trichomes with very low fossilization potential. In some cases these trichomes may have been shed as the leaves matured, but in other cases they probably decayed during diagenesis or were destroyed during the standard processes by which fossil leaf cuticles are prepared.
Effect of Biobutanol-Sunflower Oil-Diesel Fuel Blends on Combustion Characteristics of Compression Ignition Engine
Authors: Čedík Jakub , Pexa Martin , Peterka Bohuslav , Holůbek Michal , Mader Daniel , Pražan Radek 
Published: January 2019

Abstract
Based on many regulations the biofuels are widely used in combustion engines. The operational parameters, such as performance parameters or emission production, are often monitored. The essence of changes to these operational parameters is related to the effect of biofuels on the course of cylinder pressure inside the combustion chamber. The contribution deals with the effect of biobutanol-sunflower oil-diesel fuel blends on the performance parameters, the behaviour of the cylinder pressure of the compression ignition engine during combustion, and exhaust gas temperature. Biobutanol-sunflower oil-diesel fuel blends in ratios of 10–20–70% and 20–20–60% were used as test fuels, with diesel fuel used as a reference. Turbocharged four-cylinder inline CI engine Zetor 1204 installed in the tractor Zetor Forterra 8642 was used for measurement. Based on the results, it can be stated that with higher amount of butanol in the fuel mixture, the maximum value of cylinder pressure decreases, especially at a high engine load.
Empirical Models and Process Optimization for Prediction of Nutritional Parameters of Stored Cowpea Variety (IT96D-610K)
Authors: Sunmonu Musliu Olushola , Odewole Michael Mayokun , Oyeleke Ibukunolowa Omotola , Otitodun Grace Olufunke , Omobowale Mobolaji , Ogundare Moses Odunayo 
Published: January 2019

Abstract
This paper presents a study carried out to develop empirical models and process optimization for prediction of nutritional parameters of stored cowpea variety (IT96D-610K). Twelve small scale prototype silos made of two different materials (wooden and galvanised mild steel) were constructed and used in the storage of the cowpea for a 4-month period. Seven kilograms of cowpea at 9.88% moisture content admixed with DE having two different particle sizes (7.5 × 10−5 m and 9 × 10−5 m) and three different concentrations (0.0001 kg, 0.00005 kg and 0 kg) in varying combinations were loaded into each prototype silo structure. The control (zero/no concentration) was set without the use of DE in each of the wooden and galvanised mild steel structures, respectively. Temperature, relative humidity and moisture content within the storage structures were monitored. Nutritional parameters such as ash, crude protein, fat, crude fibre, and carbohydrate content were also measured alongside moisture. Significant differences (P <0.05) were observed between the control sample and treated samples. Six model equations using Essential Regression Software package were further generated to determine the relationship between input and output parameters, and were checked for adequacy and validity. The model equations developed were used to get the optimum values of output parameters which are: minimum moisture content (8.87%), minimum ash content (4.07%), maximum crude protein (22.86%), maximum fat (2.04%), maximum crude fibre (2.26%) and maximum carbohydrate (60.31%) of the stored cowpea at various conditions. Study results show that all the storage conditions had significant effects at P <0.05.
Deformation of Exposed Tool Parts for Crushing of Undesirable Advance Growth
Authors: Ťavodová Miroslava , Džupon Miroslav , Kalincová Daniela , Hnilicová Michaela 
Published: January 2019

Abstract
Tools for crushing of undesirable advance growth and mulching wood are subjected to heavy wear in operation with the need for their frequent replacement shortly after deployment. It is important to address the problem of their wear due to price of tools, as well as the time necessary for their replacement. Tool life is shortened because of deformation taking place due to the loss of wolfram-carbide (WC) tips, what is an undesirable phenomenon. Solutions for increasing the tool lifetimes were designed on the basis of analysis of wear mechanisms that cause this deformation. Furthermore, effect of deformed layer was evaluated by measuring hardness and microhardness. It was found that there was a strain hardening the surface due to cyclic loading. Size and extent of deformation of the entire tool with the loss of material on the functional part were documented using an optical scanning sensor system. Effect of the deformation on the material structure change, as well as topography and extent of surface area affected by abrasive wear under impact loads, were assessed by means of light and electron scanning microscopy. On the basis of these analyses, an option for increasing the lifetime of exposed areas on the tool by application of hardfacing to increase the tool wear resistance was proposed. Prerequisite for extending their work lifetime in the field is creation of a sufficient coarse layer or multiple layers of wear resistant material at specific tool areas.
Flow Analysis of Powell-Eyring Fluid Over an Off-Centered Porous Rotating Disk
Authors: Khan Najeeb Alam , Khan Sidra 
Published: January 2019

Abstract
This article presents the study of three-dimensional, stagnation flow of a Powell-Eyring fluid towards an off-centered rotating porous disk. A uniform injection or suction is applied through the surface of the disk. The Darcy law of porous disk for Powell-Eyring fluid is also obtained. The governing partial differential equations and their related boundary conditions are converted into ordinary differential equations by using a suitable similarity transformation. The analytical solution, of the system of equations is solved by using homotopy analysis method. The convergence region of the obtained solution is determined and plotted. The effects of rotational parameter, porosity of the medium, the characteristics of the non-Newtonian fluid and the suction or injection velocity on the velocity distributions is shown by graphical representation.
Dynamics of a spherical bubble rising in gravity, subject to traveling pressure disturbance
Authors: Riccardi Giorgio , De Bernardis Enrico 
Published: January 2019

Abstract
The motion of a spherical bubble rising in a gravitational field in presence of a traveling pressure step wave is investigated. Equations of motion for the bubble radius and center of mass are deduced and several sample cases are analysed by means of their numerical integration. The crucial role played by the traveling speed of the wave front and by the intensity of the pressure step are discussed. A first comparison with the axisymmetric dynamics is discussed.
About Supergraphs. Part II
Authors: Koch Sebastian 
Published: January 2019

Summary
In the previous article [5] supergraphs and several specializations to formalize the process of drawing graphs were introduced. In this paper another such operation is formalized in Mizar [1], [2]: drawing a vertex and then immediately drawing edges connecting this vertex with a subset of the other vertices of the graph. In case the new vertex is joined with all vertices of a given graph G, this is known as the join of G and the trivial loopless graph K
1. While the join of two graphs is known and found in standard literature (like [9], [4], [8] and [3]), the operation discribed in this article is not.
Alongside the new operation a mode to reverse the directions of a subset of the edges of a graph is introduced. When all edge directions of a graph are reversed, this is commonly known as the converse of a (directed) graph.
On Algebras of Algorithms and Specifications over Uninterpreted Data
Authors: Ivanov Ievgen , Korniłowicz Artur , Nikitchenko Mykola 
Published: January 2019

Summary
This paper continues formalization in Mizar [2, 1] of basic notions of the composition-nominative approach to program semantics [13] which was started in [8, 11].
The composition-nominative approach studies mathematical models of computer programs and data on various levels of abstraction and generality and provides tools for reasoning about their properties. Besides formalization of semantics of programs, certain elements of the composition-nominative approach were applied to abstract systems in a mathematical systems theory [4, 6, 7, 5, 3].
In the paper we introduce a definition of the notion of a binominative function over a set D understood as a partial function which maps elements of D to D. The sets of binominative functions and nominative predicates [11] over given sets form the carrier of the generalized Glushkov algorithmic algebra [14]. This algebra can be used to formalize algorithms which operate on various data structures (such as multidimensional arrays, lists, etc.) and reason about their properties.
We formalize the operations of this algebra (also called compositions) which are valid over uninterpretated data and which include among others the sequential composition, the prediction composition, the branching composition, the monotone Floyd-Hoare composition, and the cycle composition. The details on formalization of nominative data and the operations of the algorithmic algebra over them are described in [10, 12, 9].
On an Algorithmic Algebra over Simple-Named Complex-Valued Nominative Data
Authors: Ivanov Ievgen , Korniłowicz Artur , Nikitchenko Mykola 
Published: January 2019

Summary
This paper continues formalization in the Mizar system [2, 1] of basic notions of the composition-nominative approach to program semantics [14] which was started in [8, 12, 10].
The composition-nominative approach studies mathematical models of computer programs and data on various levels of abstraction and generality and provides tools for reasoning about their properties. In particular, data in computer systems are modeled as nominative data [15]. Besides formalization of semantics of programs, certain elements of the composition-nominative approach were applied to abstract systems in a mathematical systems theory [4, 6, 7, 5, 3].
In the paper we give a formal definition of the notions of a binominative function over given sets of names and values (i.e. a partial function which maps simple-named complex-valued nominative data to such data) and a nominative predicate (a partial predicate on simple-named complex-valued nominative data). The sets of such binominative functions and nominative predicates form the carrier of the generalized Glushkov algorithmic algebra for simple-named complex-valued nominative data [15]. This algebra can be used to formalize algorithms which operate on various data structures (such as multidimensional arrays, lists, etc.) and reason about their properties.
In particular, we formalize the operations of this algebra which require a specification of a data domain and which include the existential quantifier, the assignment composition, the composition of superposition into a predicate, the composition of superposition into a binominative function, the name checking predicate. The details on formalization of nominative data and the operations of the algorithmic algebra over them are described in [11, 13, 9].
On Two Alternative Axiomatizations of Lattices by McKenzie and Sholander
Authors: Grabowski Adam , Sawicki Damian 
Published: January 2019

Summary
The main result of the article is to prove formally that two sets of axioms, proposed by McKenzie and Sholander, axiomatize lattices and distributive lattices, respectively. In our Mizar article we used proof objects generated by Prover9. We continue the work started in [7], [21], and [13] of developing lattice theory as initialized in [22] as a formal counterpart of [11]. Complete formal proofs can be found in the Mizar source code of this article available in the Mizar Mathematical Library (MML).
Morphology and Pollen Chemistry of Several Bee Forage Taxa of Family Rosaceae from Garhwal Himalaya, Uttarakhand, India
Authors: Chaudhary Ekta , Tiwari Prabhawati , Uniyal Prem Lal 
Published: January 2019

Abstract
Pollen grains vary widely in pollen shape, size, aperture type and exine sculpture among the taxa and within the taxon, which make them taxonomically important. They also contain several proteins, lipids and vitamins which are essential for the growth and developments of developing bee larvae. Quantification of these chemical constituents is important for the dietary purposes of honey bees. The present study deals with the morphology and chemical constituents of hand-collected pollen from four bee forage plants viz. Prunus cerasoides D.Don, Prunus persica (L.) Batsch, Pyrus pashia Buch.-Ham. ex D.Don and Rosa brunonii Lindl. from Garhwal Himalaya, Uttarakhand. The family represents a homogenous group with a tricolporate pollen aperture type in all the studied taxa. Pollen shape varied from sub-prolate to prolate-spheroidal with a smaller pollen size observed in Pyrus pashia (26.53±0.30 µm polar view and 24.20±1.04 µm equatorial view) and a larger one in Prunus persica (38.39±3.06 µm polar view and 36.41±1.34 µm equatorial view). Exine sculpture was psilate to striato-reticulate. Maximum crude protein (68.33±0.14 mg/g) and starch content (32.98±0.67 mg/g) were recorded in pollen of Prunus cerasoides and maximum free amino acid (13.78±0.71 mg/g) in Pyrus pashia. All chemical constituents were found to be significant except the amino acids which were non-significant at the 0.05* level. Results showed that pollen grains of these Rosaceous members contained high amount of crude protein and phenolic content as a bee food source for brood, which makes this family economically important.
Melliferous Potential of Weedy Herbaceous Plants in Crop Fields of Romania from 1949 to 2012
Authors: Ion Nicoleta , Odoux Jean-François , Vaissière Bernard E. 
Published: January 2019

Abstract
Intensive farming systems have led to reduced food availability for honey bees which could be related to their current decline. A global tool is needed in order to assess the melliferous potential of plant species that could be developed as crops or companion plants in such systems. This review is based upon a survey from an extensive dataset collected in Romania over the last sixty years to record the nectar production of 153 weedy species. While there was considerable variation among these plants, we found that the melliferous potential of such large families as the Brassicaceae was low, that of the Apiaceae, Asteraceae and Fabaceae at an intermediate level, and that of the Lamiaceae and Boraginaceae the highest. High nectariferous potential was found to be an important feature of perennial ruderal species. Within the main flowering season, perennials provided much more nectar than annuals. These results could help to develop new agricultural practices more compatible with honey bee colony survival and honey production, as some of these plant species could provide a solution to enable agriculture and beekeeping to coexist in a sustainable way.
Mitochondrial DNA Variation of Feral Honey Bees (Apis mellifera L.) from Utah (USA)
Authors: Cleary Dylan , Szalanski Allen L. , Trammel Clinton , Williams Mary-Kate , Tripodi Amber , Downey Danielle 
Published: January 2019

Abstract
A study was conducted on the mitochondrial DNA genetic diversity of feral colonies and swarms of Apis mellifera from ten counties in Utah by sequencing the intergenic region of the cytochrome oxidase (COI-COII) gene region. A total of 20 haplotypes were found from 174 honey bee colony samples collected from 2008 to 2017. Samples belonged to the A (African) (48%); C (Eastern Europe) (43%); M (Western Europe) (4%); and O (Oriental) lineages (5%). Ten African A lineage haplotypes were observed with two unique to Utah among A lineage haplotypes recorded in the US. Haplotypes belonging to the A lineage were observed from six Utah counties located in the southern portion of the State, from elevations as high as 1357 m. All five C lineage haplotypes that were found have been observed from queen breeders in the US. Three haplotypes of the M lineage (n=7) and two of the O lineage (n=9) were also observed. This study provides evidence that honey bees of African descent are both common and diverse in wild populations of honey bees in southern Utah. The high levels of genetic diversity of A lineage honey bee colonies in Utah provide evidence that the lineage may have been established in Utah before the introduction of A lineage honey bees from Brazil to Texas in 1990.
Effects of Queen Cell Size and Caging Days of Mother Queen on Rearing Young Honey Bee Queens Apis mellifera L.
Authors: Wu Xiaobo , Zhou Linbin , Zou Chuibin , Zeng Zhijiang 
Published: January 2019

Abstract
This study aims to investigate the effect of queen cell size (9.4 mm, 9.6 mm, 9.8 mm and 10.0 mm) and mother queen caged time (0 day, 2 days and 4 days) on rearing young queens without grafting larvae. The birth weight, ovarian tubes, thorax length and width were significantly increased with the increasing diameter of queen cell size. The expression level of Vitellogenin (Vg) in young queen ovaries was also up-regulated with the increased queen cell size diameter. These results indicate that the queen cell size can strongly affect the rearing queen quality and reproductive ability. Moreover, the weight, length and width of laying eggs rose with the mother queen caging time, and young queens reared with the hatched larvae from these eggs were also increased in terms of birth weight, ovarian tubes, thorax length and width. Furthermore, the expression level of Vg in reared queen ovaries was also up-regulated with the caged time. These results reveal that the caged time of queens could significantly influence egg size and their relative queen quality.
Developing of predictive models for pneumonitis with forward variable selection and LASSO logistic model for breast cancer patients treated with 3D-CRT
Authors: Abdali Maede Hasan , Khoshgard Karim , Pashaki Abdolazim Sedighi 
Published: January 2019

Abstract
Purpose: To develop a multiple logistic regression model as normal tissue complication probability model by least absolute shrinkage and selection operator (LASSO) technique in breast cancer patients treated with three-dimensional conformal radiation therapy (3D-CRT), we focused on the changes of pulmonary function tests to achieve the optimal predictive parameters for the occurrence of symptomatic radiation pneumonitis (SRP).
Materials and methods: Dosimetric and spirometry data of 60 breast cancer patients were analyzed. Pulmonary function tests were done before RT, after completion of RT, 3, and 6 months after RT. Multiple logistic regression model was used to obtain the effective predictive parameters. Forward selection method was applied in NTCP model to determine the effective risk factors from obtained different parameters.
Results: Symptomatic radiation pneumonitis was observed in five patients. Significant changes in pulmonary parameters have been observed at six months after RT. The parameters of mean lung dose (MLD), bridge separation (BS), mean irradiated lung volume (ILVmean), and the percentage of the ipsilateral lung volume that received dose of 20 Gy (IV20) introduced as risk factors using the LASSO technique for SRP in a multiple normal tissue complication probability model in breast cancer patients treated with 3D-CRT. The BS, central lung distance (CLD) and ILV in tangential field have obtained as 23.5 (20.9-26.0) cm, 2.4 (1.5-3.3) cm, and 12.4 (10.6-14.3) % of lung volume in radiation field in patients without pulmonary complication, respectively.
Conclusion: The results showed that if BS, CLD, and ILV are more than 23 cm, 2 cm, and 12%, respectively, so incidence of SRP in the patients will be considerable. Our multiple NTCP LASSO model for breast cancer patients treated with 3D-CRT showed that in order to have minimum probability of SRP occurrence, parameters of BS, IV20, ILV and especially MLD would be kept in minimum levels. Considering dose-volume histogram, the mean lung dose factor is most important parameter which minimizing it in treatment planning, minimizes the probability of SRP and consequently improves the quality of life in breast cancer patients.