Miracle-dz/UniFAR-FTUs huggingface dataset:
Taguchi Approach for Achieving Better Machinability in Unreinforced and Reinforced Polyamides

Polyamide composites find wide applications in engineering fields due to favorable properties and hence replaced many traditional metallic materials. In order to increase the properties, the glass fibers are added to unreinforced polyamides. Even though polyamides are produced as near net shapes, machining is required to get the finished products. Thus, the selection of tool and cutting conditions is important in the machining of unreinforced and reinforced polyamides. This article presents the application of Taguchi's quality loss function approach, a multi-response optimization method, for achieving better machinability during turning of both unreinforced polyamide (PA6) and reinforced polyamide with 30% of glass fibers (PA66 GF30). The analysis of means (ANOM) and analysis of variance (ANOVA) on multi-response signal to noise (S/N) ratio are employed to determine the optimal parameter levels and to identify the level of importance of the parameters. The ANOVA results showed that the cutting speed is the most significant factor affecting machinability. Taguchi optimization results suggest that the optimal value of feed rate and cutting speed should be kept at a low level, whereas a polycrystalline diamond (PCD) tool is beneficial over cemented carbide (K10) for machining of both PA6 and PA66 GF30 polyamides to achieve better machinability.
Dislocation loop-free zones around grain boundaries in quenched aluminium and aluminium alloys

Abstract Measurements have been made of the width of the dislocation loop-free zones formed around 〈100〉 tilt boundaries in quench-aged pure aluminium and some dilute aluminium solid solutions as a result of vacancy-loss to the boundary during cooling. The width is found to increase as the quench-rate decreases except for the slowest quench-rate used. The data are analysed in terms of the vacancy-concentration profile derived for simple monovacancy diffusion and a linear quench rate, and assuming that a critical vacancy concentration is required for loop nucleation. This critical concentration is derived from nucleation theory. Reasonable agreement between measured and calculated zones is obtained. The model suggests a linear relationship between the square of the zone width and the reciprocal of the (linear) quench rate. The zone width decreases rapidly as the boundary tilt angle decreases below ∼ 3° and this is interpreted in terms of a loss of sink efficiency at small misorientations. The model indicat.
Safety Analysis Based on Stochastic Time Petri Nets

After analyzing the shortcomings of current researches combining Petri Net with safety analysis, this paper proposed a system safety analysis method based on stochastic Time Petri Nets. System model built by stochastic Time Petri Nets is neither limited to exponential and deterministic transitions nor to enabling restriction for generally distributed transitions. Steady-State Safety and path based safety measurements can be calculated through generating stochastic state classes graph, transient analysis and Markov theory. Finally, an application example is given to show the usability and reasonability of the method.
Effects of the Processing Temperature of Centrifugal Casting on the Mechanical Properties of Al-Al3Ti FGMs

Formation of the compositional gradient in FGMs fabricated by centrifugal casting method depends mainly on the processing temperature and the applied centrifugal force. According to the initial state of the dispersed second phase at the processing temperature, CCM-FGMs can be classified into two categories. One is the FGM fabricated by centrifugal solid-particle method, and the other one is the FGM made by centrifugal in-situ method. In previous study, it has been reported that microstructure of Al-Al3Ti FGMs by centrifugal in-situ method was different from that by centrifugal solid-particle method. However, difference of mechanical property due to processing method is still unclear. In this study, mechanical properties, such as hardness and wear property of Al-Al3Ti FGMs fabricated by centrifugal solid-particle method and in-situ method were evaluated.
Inhibitory NK Receptor Recognition of HLA-G: Regulation by Contact Residues and by Cell Specific Expression at the Fetal-Maternal Interface

The non-classical HLA-G protein is distinguished from the classical MHC class I molecules by its expression pattern, low polymorphism and its ability to form complexes on the cell surface. The special role of HLA-G in the maternal-fetal interface has been attributed to its ability to interact with specific receptors found on maternal immune cells. However this interaction is restricted to a limited number of receptors. In this study we elucidate the reason for this phenomenon by comparing the specific contact residues responsible for MHC-KIR interactions. This alignment revealed a marked difference between the HLA-G molecule and other MHC class I molecules. By mutating these residues to the equivalent classical MHC residues, the HLA-G molecule regained an ability of interacting with KIR inhibitory receptors found on NK cells derived either from peripheral blood or from the decidua. Functional NK killing assays further substantiated the binding results. Furthermore, double immunofluorescent staining of placental sections revealed that while the conformed form of HLA-G was expressed in all extravillous trophoblasts, the free heavy chain form of HLA-G was expressed in more distal cells of the column, the invasion front. Overall we suggest that HLA-G protein evolved to interact with only some of the NK inhibitory receptors thus allowing a control of inhibition, while permitting appropriate NK cell cytokine and growth factor production necessary for a viable maternal fetal interface.
Accurate modeling of aggressive speculation in modern microprocessor architectures

Computer architects utilize cycle simulators to evaluate microprocessor chip design tradeoffs and estimate performance metrics. Traditionally, cycle simulators are either trace-driven or execution-driven. In this paper, we describe ValueSim, a software layer that is interposed between a cycle simulators and either a functional simulator or a value-enhanced trace. By writing to the ValueSim API, the cycle simulator can run in either trace-driven mode or execution-driven mode, allowing it to exploit the advantages of both approaches. The ValueSim API allows a cycle simulator to accurately model a complete range of aggressive speculative mechanisms developed by computer architects, even in the trace-driven mode. Using ValueSim, we illustrate, for three key commercial applications, the significant underestimation of off-chip bandwidth, queuing delays and cache pollution when modern speculative mechanisms are not accurately modeled, highlighting the importance of accurately modeling these mechanisms in chip multiprocessor designs.
Collaborative Visualization of an Archaeological Excavation

We are developing a collaborative system for offsite visualization of an archaeological dig site through both virtual and augmented reality. Multiple users, wearing tracked, head-worn, see-through displays, can interact with the environment using tracked, instrumented gloves, a multi-user, multi-touch, projected table surface, large wall displays and tracked hand-held displays. We take advantage of our ongoing work on 3D multimodal interaction [14,20] to allow users to combine speech with head, hand, and arm gestures to aid them in their tasks. Although the dig site can be visualized as a purely virtual environment, when users collaborate using the projected table, their see-through head-worn displays allow them to see personalized overlaid material in context with the shared, projected table surface.
Contemporary Concepts in Spine Care: Epidural Steroid Injections

Epidural steroid injections are commonly used for the management of lumbosacral radicular syndromes. The literature is replete with case reports and noncontrolled studies, but relatively few controlled studies exist. The well-designed studies that are available, however, do show a significantly positive pain reducing benefit from lumbar epidural steroid injections. This Contemporary Concepts review summarizes theoretic concepts, clinical applications, and data from the literature regarding the use of lumbar epidural steroid injections and provides current recommendations and suggestions for future research.
Cryptanalysis and improvement of the Lee-Lee identity-based key agreement protocol

Authenticated key agreement protocols are essential for secure communications in open and distributed environments. The protocol design is, however, extremely error-prone due to the inherent complexity of this problem. In this paper, we revisit an efficient identity-bas ed (ID-based) authenticated key agreement protocols due to Lee and Lee. We reveal previously unpublished flaws in the protocol, whereby we demonstrate that it is vulnerable to key control attacks which violate its claimed security attributes. We then put forward an improved protocol to fix the identified security problem.
Evidence-based protocol for structural rehabilitation of the spine and posture: review of clinical biomechanics of posture (CBP) publications.

BACKGROUND Although practice protocols exist for SMT and functional rehabilitation, no practice protocols exist for structural rehabilitation. Traditional chiropractic practice guidelines have been limited to acute and chronic pain treatment, with limited inclusion of functional and exclusion of structural rehabilitation procedures. OBJECTIVE (1) To derive an evidence-based practice protocol for structural rehabilitation from publications on Clinical Biomechanics of Posture (CBP((R))) methods, and (2) to compare the evidence for Diversified, SMT, and CBP((R)). METHODS Clinical control trials utilizing CBP(R) methods and spinal manipulative therapy (SMT) were obtained from searches in Mantis, CINAHL, and Index Medicus. Using data from SMT review articles, evidence for Diversified Technique (as taught in chiropractic colleges), SMT, and CBP((R)) were rated and compared. RESULTS From the evidence from Clinical Control Trials on SMT and CBP((R)), there is very little evidence support for Diversified (our rating = 18), as taught in chiropractic colleges, for the treatment of pain subjects, while CBP((R)) (our rating = 46) and SMT for neck pain (rating = 58) and low back pain (our rating = 202) have evidence-based support. CONCLUSIONS While CBP((R)) Technique has approximately as much evidence-based support as SMT for neck pain, CBP((R)) has more evidence to support its methods than the Diversified technique taught in chiropractic colleges, but not as much as SMT for low back pain. The evolution of chiropractic specialization has occurred, and doctors providing structural-based chiropractic care require protocol guidelines for patient quality assurance and standardization. A structural rehabilitation protocol was developed based on evidence from CBP((R)) publications.
Context dependent acoustic keyword spotting using deep neural network

Language model is an essential component of a speech recogniser. It provides the additional linguistic information to constrain the search space and guide the decoding. In this paper, language model is incorporated in the keyword spotting system to provide the contexts for the keyword models under the weighted finite state transducer framework. A context independent deep neural network is trained as the acoustic model. Three keyword contexts are investigated: the phone to keyword context, fixed length word context and the arbitrary length word context. To provide these contexts, a hybrid language model with both word and phone tokens is trained using only the word n-gram count. Three different spotting graphs are studied depending on the involved contexts: the keyword loop graph, the word fillers graph and the word loop fillers graph. These graphs are referred to as the context dependent (CD) keyword spotting graphs. The CD keyword spotting systems are evaluated on the Broadcasting News Hub4-97 F0 evaluation set. Experimental results reveal that the incorporation of the language model information provides performance gain over the baseline context independent graph without any contexts for all the three CD graphs. The best system using the arbitrary length word context has the comparable performance to the full decoding but triples the spotting speed. In addition, error analysis demonstrates that the language model information is essential to reduce both the insertion and deletion errors.
First Description of KPC-2-Producing Klebsiella oxytoca Isolated from a Pediatric Patient with Nosocomial Pneumonia in Venezuela

During the last decade, carbapenem resistance has emerged among clinical isolates of the Enterobacteriaceae family. This has been increasingly attributed to the production of β-lactamases capable of hydrolyzing carbapenems. Among these enzymes, Klebsiella pneumoniae carbapenemases (KPCs) are the most frequently and clinically significant class-A carbapenemases. In this report, we describe the first nosocomial KPC-2-producing K. oxytoca isolated from a pediatric patient with pneumonia admitted to the intensive care unit at The Andes University Hospital, Mérida, Venezuela. This strain was resistant to several antibiotics including imipenem, ertapenem, and meropenem but remained susceptible to ciprofloxacin, colistin, and tigecycline. Conjugation assays demonstrated the transferability of all resistance determinants, except aminoglycosides. The isolate LMM-SA26 carried a ~21 kb conjugative plasmid that harbored the bla KPC-2, bla CTX-M-8, and bla TEM-15 genes. Although carbapenem resistance in the Enterobacteriaceae is still unusual in Venezuela, KPCs have a great potential to spread due to their localization on mobile genetic elements. Therefore, rapid detection of KPC-carrying bacteria with phenotypic and confirmatory molecular tests is essential to establish therapeutic options and effective control measures.
Does the small CMB quadrupole moment suggest new physics

Motivated by WMAP's confirmation of an anomalously low value of the quadrupole moment of the CMB temperature fluctuations, we investigate the effects on the CMB of cutting off the primordial power spectrum P(k) at low wave numbers. This could arise, for example, from a break in the inflaton potential, a prior period of matter or radiation domination, or an oscillating scalar field which couples to the inflaton. We reanalyse the full WMAP parameter space supplemented by a low-k cutoff for P(k). The temperature correlations by themselves are better fit by a cutoff spectrum, but including the TE temperature-polarization spectrum reduces this preference to a 1. 4σ effect. Inclusion of large scale structure data does not change the conclusion. If taken seriously, the low-k cutoff is correlated with optical depth so that reionization occurs even earlier than indicated by the WMAP analysis.
Stochastic Gradient MCMC with Stale Gradients

Stochastic gradient MCMC (SG-MCMC) has played an important role in large-scale Bayesian learning, with well-developed theoretical convergence properties. In such applications of SG-MCMC, it is becoming increasingly popular to employ distributed systems, where stochastic gradients are computed based on some outdated parameters, yielding what are termed stale gradients. While stale gradients could be directly used in SG-MCMC, their impact on convergence properties has not been well studied. In this paper we develop theory to show that while the bias and MSE of an SG-MCMC algorithm depend on the staleness of stochastic gradients, its estimation variance (relative to the expected estimate, based on a prescribed number of samples) is independent of it. In a simple Bayesian distributed system with SG-MCMC, where stale gradients are computed asynchronously by a set of workers, our theory indicates a linear speedup on the decrease of estimation variance w.r. t. the number of workers. Experiments on synthetic data and deep neural networks validate our theory, demonstrating the effectiveness and scalability of SG-MCMC with stale gradients.
Silicas for control of the poultry red mite Dermanyssus gallinae

Control of the poultry red mite Dermanyssus gallinae is a challenge for organic as well as conventional egg producers. In organic agriculture, control should be attempted by mechanically acting substances (e.g. oils or diatomaceous earth), before acaricides are applied. Diatomaceous earth (DE) without acaricides was at least as effective as DE supplemented with pyrethrum or essential oils and a liquid formulation of silica in vitro. In on farm experiments, DE was effective during a limited period only, whereas the liquid formulation had a very good residual effect over several weeks.
Subband adaptive array for MIMO-CDMA space-time block coded system

This paper presents an interference suppression using subband adaptive array for space-time block coding (STBC) code division multiple access (CDMA) under the frequency selective fading (FSF) channel. The proposed scheme utilizes CDMA with STBC and receive array antenna with subband adaptive array (SBAA) processing at receiver. The received signal is converted into the frequency domain before despreading and adaptive processing is done at each subband. A novel construction of SBAA is introduced to process CDMA signal based on STBC. Furthermore, to improve the performance of proposed scheme, we also introduce STBC-SBAA adopting spreading codes cyclic prefix (CP). Simulation results demonstrate improved performance of the proposed system in the case of single and multiusers environment compare to competing relatives.
Polarization pinning of a VCSEL array

Polarization control is reported for a 2-D independently addressable VCSEL array. Polarization pinning for emitters on the same die at several orientations is achieved by etching trenches close to the contact metallization of each emitter in the array using focused ion beam etching. Polarization extinction ratios in excess of 50 are achieved over a wide range of orientations and bias currents. No significant effects are observed on threshold current subsequent to the etching of polarization pinning trenches.
Hsp90 Maintains the Stability and Function of the Tau Phosphorylating Kinase GSK3β

Hyperphosphorylation of tau leading to aggregated tau and tangle formation is a common pathological feature of tauopathies, including Alzheimer’s disease. Abnormal phosphorylation of tau by kinases, in particular GSK3β, has been proposed as a pathogenic mechanism in these diseases. In this study we demonstrate that the heat shock protein 90 (Hsp90) maintains the stability and function of the GSK3β. By using both rat primary cortical neurons and COS-7 cells, we show that Hsp90 inhibitors lead to a reduction of the protein level of GSK3β, and that this effect is associated with both a decrease in tau phosphorylation at putative GSK3β sites and an induction in heat shock protein 70 (Hsp70) levels. We further show that Hsp90 associates with the GSK3β regulating its stability and function and preventing its degradation by the proteasome.
Autonomous, Multilevel Ring Tuning Scheme for Post-Silicon Active Clock Deskewing Over Intra-Die Variations

Synchronous clock distribution continues to be the dominant timing methodology for VLSI circuit designs. As processes shrink, clock speeds increase, and die sizes grow, an increasingly larger percentage of the clock period is being lost to skew and jitter budgets. Process, voltage, and temperature variations, especially those that are intra-die, increasingly upset the distribution of a synchronized clock signal, even in properly balanced clock tree networks. As a result, active clock deskewing systems are becoming necessary to tune out unwanted clock skew after chip fabrication. This paper first defines the operation of a specially designed phase detector, referred to as an up/down detector (UDD). Next, four of these UDDs are used as links to construct a stable, autonomously locking quadrantal ring tuning (QRT) configuration that effectively joins together four distributed delay-locked loops (DLLs) without the need for any system-level controller. This cyclic, self-controlled, quad-DLL ring tuning technique is then implemented hierarchically to dynamically adjust clock signal delays across an entire chip during normal circuit operation. A simplistic two-level QRT system is presented for a generic H-tree clock distribution network, demonstrating stable locking behavior and more than 50% average reduction in overall clock skew.
Dense disparity features for fast stereo vision

A novel stereo vision algorithm suitable for real-time autonomous robot applications is proposed. The method extracts dense segments of constant disparity using a similarity metric based on the sum of absolute differences. The resolution of matching image segments can be defined adaptively to allow variable detail. The algorithm is tested on reference data-sets and self captured images and is shown to produce promising results. Handling of regions without texture is also discussed.
A Survey of Context Aware Web Service Discovery: From User's Perspective

Web service is one of the fundamental technologies in implementing Service Oriented Architecture (SOA) based applications. One of the essential challenges in web service based applications is how to find a set of suitable web service candidates with regard to a user’s requirement. Currently most web service discovery systems have constrains on the content and format of submitted web service request. Therefore, during the information transformation from a user’s real web service need to formalized request, some useful information is lost implicitly or explicitly. To understand the user’s intention as much as possible, a lot of approaches have been proposed among them context aware methods have shown promising result. In this paper, we present an overview of the field of context aware web service discovery and try to classify current generation of those approaches into different categories. This paper also describes limitations of current context awareness in web service discovery and discusses possible applications that can enhance the overall discovery performance.
Lens Oligomerization with wt a Aand a B-Crystallins Reduces Proteasome-Mediated Degradation of C-Terminally Truncated a A-Crystallin

PURPOSE. We previously demonstrated that the ubiquitinproteasome pathway (UPP) is a general protein quality control system that selectively degrades damaged or abnormal lens proteins, including C-terminally truncated aA-crystallin. The objective of this work was to determine the effects of wt aAand aB-crystallins on the degradation of C-terminally truncated aA-crystallin (aA1–162) and vice versa. METHODS. Recombinant wt aA, aB, and aA1–162 were expressed in Escherichia coli and purified to homogeneity by chromatography. Subunit exchange and oligomerization were detected by fluorescence resonance energy transfer (FRET), multianglelight scattering and coprecipitation assays. Protein substrates were labeled with I and lens epithelial cell lysates were used as the source of the UPP for degradation assays.
Fusion of Heterogeneous Information in Graph-Based Ranking for Query-Biased Summarization

We propose a graph-based ranking method for query-biased summarization in a three-layer graph model consisting of document, sentence and word-layers. The model has a representation that fuses three kinds of heterogeneous information: part-whole relationships between different linguistic units, similarity using the overlap of the Basic Elements (BEs) in the statements, and semantic similarity between words. In an experiment using the text summarization test collection of Nakano et al., our proposed method achieved the best result of the five considered methods, which were based on other graph models with an average R-Precision of 0.338.