Miracle-dz/UniFAR-FTUs huggingface dataset:
Investigation of quenching stress of 42CrMo treated by alternately timed quenching process

ABSTRACT Alternately timed quenching (ATQ) technology includes ATQ process and equipment. ATQ process essentially executes multicycle quenching-partitioning-tempering (MQ-P-T) process by alternative water -quenching and air cooling. Engineering applications indicate that ATQ process not only can replace oil or aqueous polymer solution quenching, but also reach even be superior to the mechanical properties of workpieces quenched by oil or aqueous polymer solution. Since direct water-quenching usually causes the cracking of workpieces, polluting oil quenching or aqueous polymer solution quenching is still used in modern industry. The combination of water-quenching and air-cooling can effectively avoid the cracking of workpieces, but direct water-quenching (DQ) process very easily causes cracking, and this issue puzzles us for a long time. In this work, 42CrMo cylinder with 60 mm in diameter respectively treated by ATQ process and DQ process for comparison is taken an example, and the quenching stress of 42CrMo cylinder is investigated by the finite element simulation (FES) and X-ray diffraction (XRD) measurement, respectively. The results reveals the origin of avoiding cracking of workpieces for ATQ process, that is, ATQ process markedly lowers the quenching tensile stress and raises its uniform distribution compared with DQ process.
Analysis of selected properties of an article made from metal powder using laser additive manufacturing

The article points out the need for knowledge about the relationships of many technological features for items produced by selective laser melting of metal powders. The importance of the orientation of the produced element relative to the work table of the machine both in terms of the effect on the mechanical properties and surface quality of the product is shown. Inaccuracies in shape and representation of the real dimensions of the internal and external outlines are presented. The anisotropy of the structure and the resulting differentiation is shown. Attention is paid to different conditions in the incremental production in the area of one layer where the consolidation of the metal powder takes place in one impact of the laser beam, and the connection with the next layers is carried out by thermal effect from the preceding layer, in a much lower temperature. The ability to remove the anisotropy of the structure by homogenizing annealing is shown. Knowledge of the characteristics of the articles produced with incremental technologies is extremely important when selecting production parameters, especially in case of designing responsible machine parts subjected to higher loads. Analiza wybranych właściwości wyrobu wykonanego z proszków metali metodą laserowego wytwarzania przyrostowego Słowa kluczowe: przyrostowe wytwarzanie, selektywne spiekanie laserowe – SLS, selektywne stapianie laserowe – SLM, proszki metali, struktury porowate, laser. Streszczenie: W artykule wskazano na potrzebę wiedzy o zależnościach wielu cech technologicznych dla elementów wytwarzanych na drodze selektywnego stapiania laserowego z proszków metali. Określono znaczenie zorientowania wytwarzanego elementu względem stołu roboczego maszyny, zarówno w aspekcie wpływu na właściwości mechaniczne wyrobu oraz jakość powierzchni wykonanego kształtu. Wskazano na niedokładności kształtu oraz odwzorowanie wymiarów rzeczywistych wykonanych zarysów wewnętrznych i zewnętrznych. Wykazano anizotropię struktury i wynikające z tego zróżnicowanie. Zwrócono uwagę na różne warunki wytwarzania przyrostowego w obszarze jednej warstwy, gdzie konsolidacja metalicznego proszku przebiega w trakcie jednego oddziaływania wiązki laserowej. Natomiast połączenie ze sobą kolejnych warstw odbywa się poprzez wpływ cieplny powstającej warstwy na poprzednią, w znacznie niższej temperaturze. Wykazano możliwość usunięcia anizotropii struktury przez wyżarzanie ujednorodniające. Wiedza o właściwościach wyrobów wytwarzanych w technologii przyrostowej jest niezwykle istotna przy doborze parametrów wytwarzania, szczególnie w przypadku projektowania odpowiedzialnych części maszyn poddanych większym obciążeniom.
Online Query Answering with Differential Privacy: a Greedy Approach using Bayesian Inference

Data privacy issues frequently and increasingly arise for data sharing and data analysis tasks. In this paper, we study the problem of online query answering under the rigorous diﬀer-ential privacy model. The existing interactive mechanisms for diﬀerential privacy can only support a limited number of queries before the accumulated cost of privacy reaches a certain bound. This limitation has greatly hindered their applicability, especially in the scenario where multiple users legitimately need to pose a large number of queries. We propose a greedy algorithm using Bayesian statistical inference for online query answering, which minimizes the use of privacy budget when answering each query with a utility requirement. The key idea is to keep track of the query history and use Bayesian inference to answer a new query using previous query answers if the inference result satisﬁes the utility requirement; Otherwise the query is answered with the minimal privacy budget corresponding to its utility requirement. The Bayesian inference algorithm provides both optimal point estimation and optimal interval estimation given the observations of the query. We show that our approach maintains lower privacy budget usage, answers more queries, achieves a longer system life span and provides more accurate estimations than traditional approach through extensive experiments on diﬀerent real-life data sets.
On the efficient application of the repeated Richardson extrapolation technique to option pricing

Richardson extrapolation (RE) is a commonly used technique in financial applications for accelerating the convergence of numerical methods. Particularly in option pricing, it is possible to refine the results of several approaches by applying RE, in order to avoid the difficulties of employing slowly converging schemes. But the effectiveness of such a technique is fully achieved when its repeated version (RRE) is applied. Nevertheless, its application in financial literature is pretty rare. This is probably due to the necessity to pay special attention to the numerical aspects of its implementation, such as the choice of both the sequence of the stepsizes and the order of the method. In this contribution, we consider several numerical schemes for the valuation of American options and investigate the possibility of an appropriate application of RRE. As a result, we find that, in the analyzed approaches in which the convergence is monotonic, RRE can be used as an effective tool for improving significantly the accuracy.
Examining the Relationship between Preordering and Word Order Freedom in Machine Translation

We study the relationship between word order freedom and preordering in statistical machine translation. To assess word order freedom, we first introduce a novel entropy measure which quantifies how difficult it is to predict word order given a source sentence and its syntactic analysis. We then address preordering for two target languages at the far ends of the word order freedom spectrum, German and Japanese, and argue that for languages with more word order freedom, attempting to predict a unique word order given source clues only is less justified. Subsequently, we examine lattices of n-best word order predictions as a unified representation for languages from across this broad spectrum and present an effective solution to a resulting technical issue, namely how to select a suitable source word order from the lattice during training. Our experiments show that lattices are crucial for good empirical performance for languages with freer word order (English‐German) and can provide additional improvements for fixed word order languages (English‐
Activated leukocyte cell adhesion molecule (ALCAM) is a marker of recurrence and promotes cell migration, invasion, and metastasis in early‐stage endometrioid endometrial cancer

Endometrial cancer is the most common gynaecological cancer in western countries, being the most common subtype of endometrioid tumours. Most patients are diagnosed at an early stage and present an excellent prognosis. However, a number of those continue to suffer recurrence, without means of identification by risk classification systems. Thus, finding a reliable marker to predict recurrence becomes an important unmet clinical issue. ALCAM is a cell–cell adhesion molecule and member of the immunoglobulin superfamily that has been associated with the genesis of many cancers. Here, we first determined the value of ALCAM as a marker of recurrence in endometrioid endometrial cancer by conducting a retrospective multicentre study of 174 primary tumours. In early‐stage patients (N = 134), recurrence‐free survival was poorer in patients with ALCAM‐positive compared to ALCAM‐negative tumours (HR 4.237; 95% CI 1.01–17.76). This difference was more significant in patients with early‐stage moderately–poorly differentiated tumours (HR 9.259; 95% CI 2.12–53.47). In multivariate analysis, ALCAM positivity was an independent prognostic factor in early‐stage disease (HR 6.027; 95% CI 1.41–25.74). Then we demonstrated in vitro a role for ALCAM in cell migration and invasion by using a loss‐of‐function model in two endometrial cancer cell lines. ALCAM depletion resulted in a reduced primary tumour size and reduced metastatic local spread in an orthotopic murine model. Gene expression analysis of ALCAM‐depleted cell lines pointed to motility, invasiveness, cellular assembly, and organization as the most deregulated functions. Finally, we assessed some of the downstream effector genes that are involved in ALCAM‐mediated cell migration; specifically FLNB, TXNRD1, and LAMC2 were validated at the mRNA and protein level. In conclusion, our results highlight the potential of ALCAM as a recurrent biomarker in early‐stage endometrioid endometrial cancer and point to ALCAM as an important molecule in endometrial cancer dissemination by regulating cell migration, invasion, and metastasis. Copyright © 2016 Pathological Society of Great Britain and Ireland. Published by John Wiley & Sons, Ltd.
Practical forms of type theory

Russell's theory of types, though probably not providing the soundest possible foundation for mathematics, follows closely the outlook of most mathematicians. The present paper is an attempt to present the theory of types in forms in which the types themselves only play a rather small part, as they do in ordinary mathematical argument. Two logical systems are described (called the “nested-type” and “concealed-type” systems). It is hoped that the ideas involved in these systems may help mathematicians to observe type theory in proofs as well as in doctrine. It will not be necessary to adopt a formal logical notation to do so.
Assessing the nature and role of substrate influence in the formation and development of the creoles of Suriname

Over the last 30 years or so, a significant amount of research has been carried out on the genesis and development of creoles. This research has shown that the creators of creoles’ first languages made an important contribution to creole grammars, but that their overall role in any specific case was largely dependent on the social circumstances in which the creole emerged. This suggests that substrate influence always interacted with other sources. However, to date, relatively little research has been done on the various ways in which the creators’ first languages influenced specific creole features and how this interaction was determined or constrained by other processes and sources. The aim of this paper is to investigate these issues in more detail in the light of ongoing research on the formation and development of the Tense, Mood and Aspect system of the creoles of Suriname.
A Novel Approach toward Fuzzy Generalized Bi-Ideals in Ordered Semigroups

In several advanced fields like control engineering, computer science, fuzzy automata, finite state machine, and error correcting codes, the use of fuzzified algebraic structures especially ordered semigroups plays a central role. In this paper, we introduced a new and advanced generalization of fuzzy generalized bi-ideals of ordered semigroups. These new concepts are supported by suitable examples. These new notions are the generalizations of ordinary fuzzy generalized bi-ideals of ordered semigroups. Several fundamental theorems of ordered semigroups are investigated by the properties of these newly defined fuzzy generalized bi-ideals. Further, using level sets, ordinary fuzzy generalized bi-ideals are linked with these newly defined ideals which is the most significant part of this paper.
Selective Proteolysis of Arrestin by Calpain

Visual arrestin (48 kDa) plays a role in the deactivation of rhodopsin by binding to the light-activated, phosphorylated form of the receptor. In bovine rod outer segments that were prepared in the presence of protease inhibitors, two faster migrating forms of arrestin, with apparent molecular masses of 46 and 44 kDa, were observed by Western blot analysis. The 46-kDa form was more evident in rod outer segments of eyes kept in the light than those placed in darkness and was found to be identical to that generated by in vitro proteolysis of arrestin by pure retinal calpain II. In vitro analysis showed that arrestin was proteolyzed only when bound to rhodopsin; soluble arrestin was not significantly cleaved by calpain. Proteolysis involves sequential cleavage at two, possibly three sites, resulting in the removal of 27 amino acids from the COOH terminus. The remaining 46-kDa protein was resistant to further proteolysis by calpain. Unlike intact arrestin, the 46-kDa truncated arrestin was not readily released from the receptor after the receptor had lost its chromophore, nor was it released upon the addition of 11-cis-retinal to regenerate the receptor. Truncated arrestin was found to inhibit receptor dephosphorylation to the same extent as intact arrestin. In conclusion, these results provide evidence that a 46-kDa form of arrestin in rod outer segments is a product of selective proteolysis by calpain. Furthermore, they suggest that this proteolysis may provide a mechanism for prolonging the phosphorylated state of the visual receptor.
M-Statistic for Kernel Change-Point Detection

Detecting the emergence of an abrupt change-point is a classic problem in statistics and machine learning. Kernel-based nonparametric statistics have been proposed for this task which make fewer assumptions on the distributions than traditional parametric approach. However, none of the existing kernel statistics has provided a computationally efficient way to characterize the extremal behavior of the statistic. Such characterization is crucial for setting the detection threshold, to control the significance level in the offline case as well as the false alarm rate (captured by the average run length) in the online case. In this paper we focus on the scenario when the amount of background data is large, and propose two related computationally efficient kernel-based statistics for change-point detection, which we call "$M$-statistics". A novel theoretical result of the paper is the characterization of the tail probability of these statistics using a new technique based on change-of-measure. Such characterization provides us accurate detection thresholds for both offline and online cases in computationally efficient manner, without the need to resort to the more expensive simulations such as bootstrapping. Moreover, our $M$-statistic can be applied to high-dimensional data by choosing a proper kernel. We show that our methods perform well in both synthetic and real world data.
On Parallelizing Dual Decomposition in Stochastic Integer Programming

For stochastic mixed-integer programs, we revisit the dual decomposition algorithm of Caroe and Schultz from a computational perspective with the aim of its parallelization. We address an important bottleneck of parallel execution by identifying a formulation that permits the parallel solution of the master program by using structure-exploiting interior-point solvers. Our results demonstrate the potential for parallel speedup and the importance of regularization (stabilization) in the dual optimization. Load imbalance is identified as a remaining barrier to parallel scalability.
Dibucaine Mitigates Spreading Depolarization in Human Neocortical Slices and Prevents Acute Dendritic Injury in the Ischemic Rodent Neocortex

Background Spreading depolarizations that occur in patients with malignant stroke, subarachnoid/intracranial hemorrhage, and traumatic brain injury are known to facilitate neuronal damage in metabolically compromised brain tissue. The dramatic failure of brain ion homeostasis caused by propagating spreading depolarizations results in neuronal and astroglial swelling. In essence, swelling is the initial response and a sign of the acute neuronal injury that follows if energy deprivation is maintained. Choosing spreading depolarizations as a target for therapeutic intervention, we have used human brain slices and in vivo real-time two-photon laser scanning microscopy in the mouse neocortex to study potentially useful therapeutics against spreading depolarization-induced injury. Methodology/Principal Findings We have shown that anoxic or terminal depolarization, a spreading depolarization wave ignited in the ischemic core where neurons cannot repolarize, can be evoked in human slices from pediatric brains during simulated ischemia induced by oxygen/glucose deprivation or by exposure to ouabain. Changes in light transmittance (LT) tracked terminal depolarization in time and space. Though spreading depolarizations are notoriously difficult to block, terminal depolarization onset was delayed by dibucaine, a local amide anesthetic and sodium channel blocker. Remarkably, the occurrence of ouabain-induced terminal depolarization was delayed at a concentration of 1 µM that preserves synaptic function. Moreover, in vivo two-photon imaging in the penumbra revealed that, though spreading depolarizations did still occur, spreading depolarization-induced dendritic injury was inhibited by dibucaine administered intravenously at 2.5 mg/kg in a mouse stroke model. Conclusions/Significance Dibucaine mitigated the effects of spreading depolarization at a concentration that could be well-tolerated therapeutically. Hence, dibucaine is a promising candidate to protect the brain from ischemic injury with an approach that does not rely on the complete abolishment of spreading depolarizations.
Metrology and microscopic picture of the integer quantum Hall effect

Since 1990, the integer quantum Hall effect has provided the electrical resistance standard, and there has been a firm belief that the measured quantum Hall resistances are described only by fundamental physical constants—the elementary charge e and the Planck constant h. The metrological application seems not to rely on detailed knowledge of the microscopic picture of the quantum Hall effect; however, technical guidelines are recommended to confirm the quality of the sample to confirm the exactness of the measured resistance value. In this paper, we give our present understanding of the microscopic picture, derived from systematic scanning force microscopy investigations on GaAs/(AlGa)As quantum Hall samples, and relate these to the technical guidelines.
Detecting shared congestion of flows via end-to-end measurement

Current Internet congestion control protocols operate independently on a per-flow basis. Recent work has demonstrated that cooperative congestion control strategies between flows can improve performance for a variety of applications, ranging from aggregated TCP transmissions to multiple-sender multicast applications. However, in order for this cooperation to be effective, one must first identify the flows that are congested at the same set of resources. In this paper, we present techniques based on loss or delay observations at end-hosts to infer whether or not two flows experiencing congestion are congested at the same network resources. We validate these techniques via queueing analysis, simulation, and experimentation within the Internet.
Cytotoxic and Anti-Inflammatory Metabolites from the Soft Coral Scleronephthya gracillimum

Five new pregnane-type steroids, sclerosteroids J–N (1–5), and a diterpenoid with a new chemotype 3-methyl-5-(10′-acetoxy-2′,6′,10′-trimethylundecyl)-2-penten-5-olide (6), have been isolated from a soft coral Scleronephthya gracillimum. The structures of the metabolites were determined by extensive spectroscopic analysis. Compound 4 exhibited cytotoxicity against HepG2, A549, and MDA-MB-231 cancer cell lines. Furthermore, steroids 2 and 4 were found to significantly inhibit the accumulation of the pro-inflammatory iNOS protein, and 1, 2, 4 and 5 could effectively reduce the accumulation of COX-2 protein in LPS-stimulated RAW264.7 macrophage cells.
When microbes and consumers determine the limiting nutrient of autotrophs: a theoretical analysis

Ecological stoichiometry postulates that differential nutrient recycling of elements such as nitrogen and phosphorus by consumers can shift the element that limits plant growth. However, this hypothesis has so far considered the effect of consumers, mostly herbivores, out of their food-web context. Microbial decomposers are important components of food webs, and might prove as important as consumers in changing the availability of elements for plants. In this theoretical study, we investigate how decomposers determine the nutrient that limits plants, both by feeding on nutrients and organic carbon released by plants and consumers, and by being fed upon by omnivorous consumers. We show that decomposers can greatly alter the relative availability of nutrients for plants. The type of limiting nutrient promoted by decomposers depends on their own elemental composition and, when applicable, on their ingestion by consumers. Our results highlight the limitations of previous stoichiometric theories of plant nutrient limitation control, which often ignored trophic levels other than plants and herbivores. They also suggest that detrital chains play an important role in determining plant nutrient limitation in many ecosystems.
GPS Data Based Urban Guidance

In many metropolitan areas, traffic congestion is an escalating problem which causes a significant waste of money and time. Nowadays, cars equipped with GPS devices become widespread. The location information of those cars is very useful for estimate traffic condition in the complex city road network. Using the accurate and real time traffic condition, we can provide dynamic route guidance to ease traffic congestion. In this paper, we proposed a speed pattern model, called two phase piecewise linear speed model (2PEED), to estimate traffic condition and represent speed pattern in a road network using GPS data collected vehicles. With the estimated traffic condition and speed pattern, a proposed classification-based route guidance approach using machine learning technique provides dynamic routing for drivers. Using both current traffic data and the experience learned from history data, our route guidance approach is able to accurately predict the future traffic condition and selects a best route. We give simulation results to show that the proposed approach is able to select and dynamically update a route to prove drivers a best (e.g., less traffic and shortest travel time) route to their destination.