Miracle-dz/UniFAR-FTUs huggingface dataset:
Interval Neutrosophic Sets and Logic: Theory and Applications in Computing

This book presents the advancements and applications of neutrosophics. Chapter 1 first introduces the interval neutrosophic sets which is an instance of neutrosophic sets. In this chapter, the definition of interval neutrosophic sets and set-theoretic operators are given and various properties of interval neutrosophic set are proved. Chapter 2 defines the interval neutrosophic logic based on interval neutrosophic sets including the syntax and semantics of first order interval neutrosophic propositional logic and first order interval neutrosophic predicate logic. The interval neutrosophic logic can reason and model fuzzy, incomplete and inconsistent information. In this chapter, we also design an interval neutrosophic inference system based on first order interval neutrosophic predicate logic. The interval neutrosophic inference system can be applied to decision making. Chapter 3 gives one application of interval neutrosophic sets and logic in the field of relational databases. Neutrosophic data model is the generalization of fuzzy data model and paraconsistent data model. Here, we generalize various set-theoretic and relation-theoretic operations of fuzzy data model to neutrosophic data model. Chapter 4 gives another application of interval neutrosophic logic. A soft semantic Web Services agent framework is proposed to faciliate the registration and discovery of high quality semantic Web Services agent. The intelligent inference engine module of soft Semantic Web Services agent is implemented using interval neutrosophic logic.
Dietary Supplementation of Magnesium Sulfate during Late Gestation and Lactation Affects the Milk Composition and Immunoglobulin Levels in Sows

This experiment was conducted to investigate the effects of dietary supplementation of magnesium sulfate (MgSO4) during late gestation and lactation on sow and litter performance, fecal moisture, blood biochemistry parameters, immunoglobulin levels and milk composition in sows. Forty-eight sows (Yorkshire×Landrace, 4th to 5th parity) were randomly allocated to 1 of 4 dietary treatments supplemented with 0, 200, 400, or 600 mg/kg MgSO4 (n = 12). The experiment started on day 90 of gestation and continued through day 21 of lactation. Blood samples were collected on day 107 of gestation, day 0 (farrowing) and 21 (weaning) of lactation for the analyses of the blood biochemistry parameters and immunoglobulin levels. The colostrum and milk samples were obtained on day 0 and 14 of lactation, respectively. Fecal samples were collected from the sows on day 107 of gestation as well as day 7 and 20 of lactation to determine fecal moisture content. The results showed that the survival percentage of piglets and the litter weight at weaning were decreased linearly (p<0.05) and other parameters of the sow or litter performance were not influenced (p>0.05) by MgSO4 supplementation. The fecal moisture content of the sows were increased (p<0.05) linearly as dietary MgSO4 increased on day 7 and 20 of lactation. Supplementation with MgSO4 increased the plasma magnesium (Mg) level linearly (p<0.05) and had a trend to increase total protein level (p>0.05 and p<0.10). However, an increase in the dietary MgSO4 level resulted in a linear decrease in the colostrum fat content (p<0.05). Dietary MgSO4 supplementation enhanced the immunoglobulin G (IgG) level (linear, p<0.05) in plasma on day of farrowing and immunoglobulin A (IgA) level in colostrum (quadratic, p<0.05) and milk (linear, p<0.05) of the sows. These results indicated that supplementation with MgSO4 during late gestation and lactation may have the potential to prevent sow constipation, but may also result in some negative effects.
Characterization of Three Mycobacterium spp. with Potential Use in Bioremediation by Genome Sequencing and Comparative Genomics

We provide the genome sequences of the type strains of the polychlorophenol-degrading Mycobacterium chlorophenolicum (DSM43826), the degrader of chlorinated aliphatics Mycobacterium chubuense (DSM44219) and Mycobacterium obuense (DSM44075) that has been tested for use in cancer immunotherapy. The genome sizes of M. chlorophenolicum, M. chubuense, and M. obuense are 6.93, 5.95, and 5.58 Mb with GC-contents of 68.4%, 69.2%, and 67.9%, respectively. Comparative genomic analysis revealed that 3,254 genes are common and we predicted approximately 250 genes acquired through horizontal gene transfer from different sources including proteobacteria. The data also showed that the biodegrading Mycobacterium spp. NBB4, also referred to as M. chubuense NBB4, is distantly related to the M. chubuense type strain and should be considered as a separate species, we suggest it to be named Mycobacterium ethylenense NBB4. Among different categories we identified genes with potential roles in: biodegradation of aromatic compounds and copper homeostasis. These are the first nonpathogenic Mycobacterium spp. found harboring genes involved in copper homeostasis. These findings would therefore provide insight into the role of this group of Mycobacterium spp. in bioremediation as well as the evolution of copper homeostasis within the Mycobacterium genus.
The Optimal Pricing Model of Commission of China's Futures Exchange: Competition-Oriented or Cost-Oriented

Commission pricing of futures exchange is a very important issue. Based on economics Bertrand oligopoly model, we proposed the optimal pricing model of commission of China’s Futures Exchange. Though the study we found that the optimal pricing strategy of commission of China’s Futures Exchange is the enterprise self oriented cost strategy. Analyzing the futures market transaction data, we investigated the effect of commission adjustments on futures exchange, through which to examine customers’ sensitivity to exchange commission.
How to talk to a hologram

There is a growing need for creating life-like virtual human simulations that can conduct a natural spoken dialog with a human student on a predefined subject. We present an overview of a spoken-dialog system that supports a person interacting with a full-size hologram-like virtual human character in an exhibition kiosk settings. We also give a brief summary of the natural language classification component of the system and describe the experiments we conducted with the system.
Sequence-to-sequence neural net models for grapheme-to-phoneme conversion

Sequence-to-sequence translation methods based on generation with a side-conditioned language model have recently shown promising results in several tasks. In machine translation, models conditioned on source side words have been used to produce target-language text, and in image captioning, models conditioned images have been used to generate caption text. Past work with this approach has focused on large vocabulary tasks, and measured quality in terms of BLEU. In this paper, we explore the applicability of such models to the qualitatively different grapheme-to-phoneme task. Here, the input and output side vocabularies are small, plain n-gram models do well, and credit is only given when the output is exactly correct. We find that the simple side-conditioned generation approach is able to rival the state-of-the-art, and we are able to significantly advance the stat-of-the-art with bi-directional long short-term memory (LSTM) neural networks that use the same alignment information that is used in conventional approaches.
Insurance–based advantages for subordinate co–foundresses in a temperate paper wasp

Recent explanations for the evolution of eusociality, focusing more on costs and benefits than relatedness, are largely untested. We validate one such model by showing that helpers in foundress groups of the paper wasp Polistes dominulus benefit from an insurance–based mechanism known as Assured Fitness Returns (AFRs). Experimental helper removals left remaining group members with more offspring than they would normally rear. Reduced groups succeeded in preserving the dead helpers' investment by rearing these extra offspring, even when helper removals occurred long before worker emergence. While helpers clearly gained from AFRs, offspring of lone foundresses failed after foundress death, so that AFRs represent a true advantage for helpers. Smaller, less valuable offspring were probably sacrificed to feed larger offspring, but reduced groups did not preferentially attract joiners or increase their foraging effort to compensate for their smaller workforce. We failed to detect a second insurance–based advantage, Survivorship Insurance, in which larger groups are less likely to fail than smaller groups. We suggest that through their use of small offspring as a food store to cope with temporary shortages, wasps may be less susceptible than vertebrates to offspring failure following the death of group members.
A Frequency‐Domain Approach to Watermarking 3D Shapes

This paper presents a robust watermarking algorithm with informed detection for 3D polygonal meshes. The algorithm is based on our previous algorithm [ 22] that employs mesh‐spectral analysis to modify mesh shapes in their transformed domain. This paper presents extensions to our previous algorithm so that (1) much larger meshes can be watermarked within a reasonable time, and that (2) the watermark is robust against connectivity alteration (e.g., mesh simplification), and that (3) the watermark is robust against attacks that combine similarity transformation with such other attacks as cropping, mesh simplification, and smoothing. Experiment showed that our new watermarks are resistant against mesh simplification and remeshing combined with resection, similarity transformation, and other operations.
Relationship between the margin of manoeuvre and the return to work after a long-term absence due to a musculoskeletal disorder: an exploratory study

Purpose. The application of the margin of manoeuvre (MM) concept in work rehabilitation is new. It allows for variations in both health status and work demands, and the interaction between the two, to be taken into account. The objective of this exploratory study was to document the relationship between the presence of an MM in the workplace and the return to work (RTW), after a long-term absence. Methods. This study used the data collected during an earlier study that sought to identify the dimensions and indicators of the MM. The data were analysed on three levels, and the convergences and divergences in the MM indicators and dimensions in relation to the RTW were grouped accordingly. Results. Eleven workers and five clinicians participated in this study. The results support the proposition that the presence of a sufficient MM in the workplace is associated with RTW of individuals at the end of a rehabilitation programme despite a long-term absence (n == 6), and conversely, that its absence would appear to be associated with a non-return to work (n == 4). Conclusions. A better understanding of this concept will help further the development of a tool to assist clinicians in their task of assessing a worker's capacity to return to a given job.
Causal Bandits: Learning Good Interventions via Causal Inference

We study the problem of using causal models to improve the rate at which good interventions can be learned online in a stochastic environment. Our formalism combines multi-arm bandits and causal inference to model a novel type of bandit feedback that is not exploited by existing approaches. We propose a new algorithm that exploits the causal feedback and prove a bound on its simple regret that is strictly better (in all quantities) than algorithms that do not use the additional causal information.
Functional Characterization of a Higher Plant Sphingolipid Δ4-Desaturase: Defining the Role of Sphingosine and Sphingosine-1-Phosphate in Arabidopsis1[W][OA]

The role of Δ4-unsaturated sphingolipid long-chain bases such as sphingosine was investigated in Arabidopsis (Arabidopsis thaliana). Identification and functional characterization of the sole Arabidopsis ortholog of the sphingolipid Δ4-desaturase was achieved by heterologous expression in Pichia pastoris. A P. pastoris mutant disrupted in the endogenous sphingolipid Δ4-desaturase gene was unable to synthesize glucosylceramides. Synthesis of glucosylceramides was restored by the expression of Arabidopsis gene At4g04930, and these sphingolipids were shown to contain Δ4-unsaturated long-chain bases, confirming that this open reading frame encodes the sphingolipid Δ4-desaturase. At4g04930 has a very restricted expression pattern, transcripts only being detected in pollen and floral tissues. Arabidopsis insertion mutants disrupted in the sphingolipid Δ4-desaturase At4g04930 were isolated and found to be phenotypically normal. Sphingolipidomic profiling of a T-DNA insertion mutant indicated the absence of Δ4-unsaturated sphingolipids in floral tissue, also resulting in the reduced accumulation of glucosylceramides. No difference in the response to drought or water loss was observed between wild-type plants and insertion mutants disrupted in the sphingolipid Δ4-desaturase At4g04930, nor was any difference observed in stomatal closure after treatment with abscisic acid. No differences in pollen viability between wild-type plants and insertion mutants were detected. Based on these observations, it seems unlikely that Δ4-unsaturated sphingolipids and their metabolites such as sphingosine-1-phosphate play a significant role in Arabidopsis growth and development. However, Δ4-unsaturated ceramides may play a previously unrecognized role in the channeling of substrates for the synthesis of glucosylceramides.
Numerical Investigation of Pulsed Chemical Vapor Deposition of Aluminum Nitride to Reduce Particle Formation

Abstract Particles of aluminum nitride (AlN) have been observed to form during epitaxial growth of AlN films by metal organic chemical vapor deposition (MOCVD). Particle formation is undesirable because particles do not contribute to the film growth, and are detrimental to the hydraulic system of the reactor. It is believed that particle formation is triggered by adducts that are formed when the group-III precursor, namely tri-methyl-aluminum (TMAl), and the group-V precursor, namely ammonia (NH 3 ), come in direct contact in the gas-phase. Thus, one way to eliminate particle formation is to prevent the group-III and the group-V precursors from coming in direct contact at all in the gas-phase. In this article, pulsing of TMAl and NH 3 is numerically investigated as a means to reduce AlN particle formation. The investigations are conducted using computational fluid dynamics (CFD) analysis with the inclusion of detailed chemical reaction mechanisms both in the gas-phase and at the surface. The CFD code is first validated for steady-state (non-pulsed) MOCVD of AlN against published data. Subsequently, it is exercised for pulsed MOCVD with various pulse widths, precursor gas flow rates, wafer temperature, and reactor pressure. It is found that in order to significantly reduce particle formation, the group-III and group-V precursors need to be separated by a carrier gas pulse, and the carrier gas pulse should be at least 5–6 times as long as the precursor gas pulses. The studies also reveal that with the same time-averaged precursor gas flow rates as steady injection (non-pulsed) conditions, pulsed MOCVD can result in higher film growth rates because the precursors are incorporated into the film, rather than being wasted as particles. The improvement in growth rate was noted for both horizontal and vertical reactors, and was found to be most pronounced for intermediate wafer temperature and intermediate reactor pressure.
Myogenic Nature of Increase in Intestinal Vascular Resistance with Venous Pressure Elevation

These studies attempted to distinguish between the various intrinsic mechanisms which might be responsible for the increase in vascular resistance seen in the intestine with venous pressure elevation (the venous-arteriolar response). Intra-arterial infusion of procaine did not block the response, indicating that a local reflex is not involved. However, the resistance increase was greatly modified during infusion of a smooth muscle relaxant (papaverine). Cyanide and ischemia were more effective than papaverine, resistance remaining unchanged as venous pressure was elevated. The tone of the intestinal wall was not increased with venous pressure elevation. In preparations perfused with an oil-kerosene mixture, resistance decreased as venous pressure was elevated, although intravascular and extravascular fluid accumulation was quantitatively the same as in the blood-perfused control. It is concluded that the venous-arteriolar response is not dependent upon neural mechanisms, nor is it due to purely physical factors. It is suggested that elevation of venous pressure causes sufficient increase of arteriolar pressure to induce a myogenic response of the resistance vessels.
An Infeasible Primal-Dual Algorithm for Total Bounded Variation-Based Inf-Convolution-Type Image Restoration

In this paper, a primal-dual algorithm for total bounded variation (TV)--type image restoration is analyzed and tested. Analytically it turns out that employing a global $\boldsymbol{L}^s$-regularization, with $1 < s \leq 2$, in the dual problem results in a local smoothing of the TV-regularization term in the primal problem. The local smoothing can alternatively be obtained as the infimal convolution of the $\ell_r$-norm, with $r^{-1} + s^{-1} = 1$, and a smooth function. In the case $r = s = 2$, this results in Gauss-TV--type image restoration. The globalized primal-dual algorithm introduced in this paper works with generalized derivatives, converges locally at a superlinear rate, and is stable with respect to noise in the data. In addition, it utilizes a projection technique which reduces the size of the linear system that has to be solved per iteration. A comprehensive numerical study ends the paper.
The Gamma-limit of the two-dimensional Ohta-Kawasaki energy. II. Droplet arrangement at the sharp interface level via the renormalized energy

This is the second in a series of papers in which we derive a $\Gamma$-expansion for the two-dimensional non-local Ginzburg-Landau energy with Coulomb repulsion known as the Ohta-Kawasaki model in connection with diblock copolymer systems. In this model, two phases appear, which interact via a nonlocal Coulomb type energy. Here we focus on the sharp interface version of this energy in the regime where one of the phases has very small volume fraction, thus creating small "droplets" of the minority phase in a "sea" of the majority phase. In our previous paper, we computed the $\Gamma$-limit of the leading order energy, which yields the averaged behavior for almost minimizers, namely that the density of droplets should be uniform. Here we go to the next order and derive a next order $\Gamma$-limit energy, which is exactly the Coulombian renormalized energy obtained by Sandier and Serfaty as a limiting interaction energy for vortices in the magnetic Ginzburg-Landau model. The derivation is based on the abstract scheme of Sandier-Serfaty that serves to obtain lower bounds for 2-scale energies and express them through some probabilities on patterns via the multiparameter ergodic theorem. Without thus appealing to the Euler-Lagrange equation, we establish for all configurations which have "almost minimal energy" the asymptotic roundness and radius of the droplets, and the fact that they asymptotically shrink to points whose arrangement minimizes the renormalized energy in some averaged sense. Via a kind of $\Gamma$-equivalence, the obtained results also yield an expansion of the minimal energy for the original Ohta-Kawasaki energy. This leads to expecting to see triangular lattices of droplets as energy minimizers.
A comparative study of displaced midshaft clavicle fracture managed by precontoured locking compression plates and titanium elastic nails

Background: Results of conservatively managed mid-shaft clavicle fractures are not as good as previously thought. This has lead to increasing interest in primary fixation of these fractures. There are two main techniques of internal fixation, namely, plate fixation and intra-medullary nail fixation. We have evaluated pre-contoured locking compression plates and titanium elastic nails for fixation of midshaft clavicle fractures and compared their results Material and Methods: Between July 1 2015 and June 3
A clinical psychotherapy trial for adolescent depression comparing cognitive, family, and supportive therapy.

BACKGROUND Previous studies in nonclinical samples have shown psychosocial treatments to be efficacious in the treatment of adolescent depression, but few psychotherapy treatment studies have been conducted in clinically referred, depressed adolescents. METHODS One hundred seven adolescent patients with DSM-III-R major depressive disorder (MDD) were randomly assigned to 1 of 3 treatments: individual cognitive behavior therapy, systemic behavior family therapy (SBFT), or individual nondirective supportive therapy (NST). Treatments were 12 to 16 sessions provided in as many weeks. Intent-to-treat analyses were conducted using all follow-up data. RESULTS Of the 107 patients enrolled in the study, 78 (72.9%) completed the study, 4 (3.7%) never initiated treatment, 10 (9.3%) had exclusionary criteria that were undetected at entry, 8 (7.5%) dropped out, and 7 (6.5%) were removed for clinical reasons. Cognitive behavior therapy showed a lower rate of MDD at the end of treatment compared with NST (17.1% vs 42.4%; P = .02), and resulted in a higher rate of remission (64.7%, defined as absence of MDD and at least 3 consecutive Beck Depression Inventory scores < 9) than SBFT (37.9%; P = .03) or NST (39.4%; p = .04). Cognitive behavior therapy resulted in more rapid relief in interviewer-rated (vs both treatments, P = .03) and self-reported depression (vs SBFT, P = .02). All 3 treatments showed significant and similar reductions in suicidality and functional impairment. Parents' views of the credibility of cognitive behavior therapy improved compared with parents' views of both SBFT (P = .01) and NST (P = .05). CONCLUSIONS Cognitive behavior therapy is more efficacious than SBFT or NST for adolescent MDD in clinical settings, resulting in more rapid and complete treatment response.