Miracle-dz/UniFAR-FTUs huggingface dataset:
THE IMPACT OF THE MCU LIFE EXTENSION SOLVENT ON DWPF GLASS FORMULATION EFFORTS

As a part of the Actinide Removal Process (ARP)/Modular Caustic Side Solvent Extraction Unit (MCU) Life Extension Project, a next generation solvent (NG-CSSX), a new strip acid, and modified monosodium titanate (mMST) will be deployed. The strip acid will be changed from dilute nitric acid to dilute boric acid (0.01 M). Because of these changes, experimental testing with the next generation solvent and mMST is required to determine the impact of these changes in 512-S operations as well as Chemical Process Cell (CPC), Defense Waste Processing Facility (DWPF) glass formulation activities, and melter operations at DWPF. To support programmatic objectives, the downstream impacts of the boric acid strip effluent (SE) to the glass formulation activities and melter operations are considered in this study. More specifically, the impacts of boric acid additions to the projected SB7b operating windows, potential impacts to frit production temperatures, and the potential impact of boron volatility are evaluated. Although various boric acid molarities have been reported and discussed, the baseline flowsheet used to support this assessment was 0.01M boric acid. The results of the paper study assessment indicate that Frit 418 and Frit 418-7D are robust to the implementation of the 0.01M boric acid SE into the SB7b flowsheet (sludge-only or ARP-added). More specifically, the projected operating windows for the nominal SB7b projections remain essentially constant (i.e., 25-43 or 25-44% waste loading (WL)) regardless of the flowsheet options (sludge-only, ARP added, and/or the presence of the new SE). These results indicate that even if SE is not transferred to the Sludge Receipt and Adjustment Tank (SRAT), there would be no need to add boric acid (from a trim tank) to compositionally compensate for the absence of the boric acid SE in either a sludge-only or ARP-added SB7b flowsheet. With respect to boron volatility, the Measurement Acceptability Region (MAR) assessments also suggest that Slurry Mix Evaporator (SME) acceptability decisions would not be different assuming either 100% of the B{sub 2}O{sub 3} from the SE were retained or volatilized. More specifically, the 0.84 wt% B{sub 2}O{sub 3} in the SE is so minor that its presence in the SME analysis does not influence SME acceptability decisions. In fact, using the 100% retention and 100% volatilization composition projections, only minor differences in the predicted properties of the glass product occur with all of the glasses being acceptable over a WL interval of 32-42%. Based on the 0.01M boric acid flowsheet, there is very little difference between Frit 418 and Frit 418-7D (a frit that was compositionally altered to account for the 0.84 wt% B{sub 2}O{sub 3} in the SE) with respect to melt temperature. In fact, when one evaluates the composition of Frit 418-7D, it lies within the current Frit 418 vendor specifications and therefore could have been produced by the vendor targeting the nominal composition of Frit 418.
Achieving Better Predictions with Collaborative Neighborhood

Collaborative Filtering (CF) is a popular method that uses machine learning to predict interest overlap between users based on their behavior such as common ratings of items, or common purchasing and browsing patterns [1]. Having an accurate algorithm can mean the difference between better automated predictions or hours of manual post-processing data. We propose a method that improves the quality of collaborative filtering approaches up to a factor of four percent from our baselines. Because of its modular design our method can be tweaked for higher quality or faster prediction. This flexibility makes it a good choice in a wide variety of practical applications
Templated Self‐Assembly of Block Copolymers: Top‐Down Helps Bottom‐Up

One of the key challenges in nanotechnology is to control a self‐assembling system to create a specific structure. Self‐organizing block copolymers offer a rich variety of periodic nanoscale patterns, and researchers have succeeded in finding conditions that lead to very long range order of the domains. However, the array of microdomains typically still contains some uncontrolled defects and lacks global registration and orientation. Recent efforts in templated self‐assembly of block copolymers have demonstrated a promising route to control bottom‐up self‐organization processes through top‐down lithographic templates. The orientation and placement of block‐copolymer domains can be directed by topographically or chemically patterned templates. This templated self‐assembly method provides a path towards the rational design of hierarchical device structures with periodic features that cover several length scales.
The Mre11/Rad50/Nbs1 Complex Limits Adeno-Associated Virus Transduction and Replication

ABSTRACT Adeno-associated virus (AAV) is a parvovirus with a small single-stranded DNA genome that relies on cellular replication machinery together with functions supplied by coinfecting helper viruses. The impact of host factors on AAV infection is not well understood. We explored the connection between AAV helper functions supplied by adenovirus and cellular DNA repair proteins. The adenoviral E1b55K/E4orf6 proteins induce degradation of the cellular Mre11 repair complex (MRN) to promote productive adenovirus infection. These viral proteins also augment recombinant AAV transduction and provide crucial helper functions for wild-type AAV replication. Here, we show that MRN poses a barrier to AAV and that the helper function provided by E1b55K/E4orf6 involves MRN degradation. Using a fluorescent method to visualize the viral genome, we show an effect at the viral DNA level. MRN components accumulate at AAV replication centers and recognize the viral inverted terminal repeats. Together, our data suggest that AAV is targeted by MRN and has evolved to exploit adenoviral proteins that degrade these cellular factors.
A Framework for Detection of Traffic Anomalies Based on IP Aggregation

Traditional traffic analysis is can be performed online only when detection targets are well specified and are fairly primitive. Local processing at measurement point is discouraged as it would considerably affect major functionality of a network device. When traffic is analyzed at flow level, the notion of flow timeout generates differences in flow lifespan and impedes unbiased monitoring, where only n-top flows ordered by a certain metric are considered. This paper proposes an alternative manner of traffic analysis based on source IP aggregation. The method uses flows as basic building blocks but ignores timeouts, using short monitoring intervals instead. Multidimensional space of metrics obtained through IP aggregation, however, enhances capabilities of traffic analysis by facilitating detection of various anomalous conditions in traffic simultaneously.
Stretchability of Prior Cold Worked AISI Type 304 Stainless Steel Sheet

The article presents the results of an investigation of the effect of prior cold work on the stretchability of type 304 stainless steel sheet. The forming limit diagrams show decreased levels with increasing prior work. However, when the limits are plotted as total equivalent strain as a function of strain ratio, the ductility increases with prior cold work. Also, for a substantial range of strain ratios from plane strain towards equibiaxial, sheets with lower levels of prior cold work show sharply increasing ductility. The first observation is explained in terms of the adiabatic temperature rise and the temperature sensitivity of the strain-induced transformation (that occurs in type 304 stainless steel), which influences the strain hardening in the material. The second observation is understood in terms of the kinetics of the transformation, which depends on the state of stress. Finite element simulations using a model taking into account the strain-induced transformation also reveal many of the trends observed in the experiments.
Moving Object Detection on a Vehicle Mounted Back-Up Camera

In the detection of moving objects from vision sources one usually assumes that the scene has been captured by stationary cameras. In case of backing up a vehicle, however, the camera mounted on the vehicle moves according to the vehicle’s movement, resulting in ego-motions on the background. This results in mixed motion in the scene, and makes it difficult to distinguish between the target objects and background motions. Without further treatments on the mixed motion, traditional fixed-viewpoint object detection methods will lead to many false-positive detection results. In this paper, we suggest a procedure to be used with the traditional moving object detection methods relaxing the stationary cameras restriction, by introducing additional steps before and after the detection. We also decribe the implementation as a FPGA platform along with the algorithm. The target application of this suggestion is use with a road vehicle’s rear-view camera systems.
NKG2D recognition mediates Toll-like receptor 3 signaling-induced breakdown of epithelial homeostasis in the small intestines of mice

Toll-like receptors (TLRs) and NK receptors are the two most important receptor families in innate immunity. Although it has been observed that TLR signaling can induce or up-regulate the expression of the ligands for stimulatory NK receptors on monocytes or muscle cells, there is not yet a report indicating whether TLR signaling can break down self-tolerance through NK receptors. The present work reports that TLR3 signaling by polyinosinic–polycytidylic acid stimulation induces intestinal epithelial cells (IECs) to express retinoic acid early inducible-1 (a ligand for NKG2D) and to induce NKG2D expression on CD8αα intestinal intraepithelial lymphocytes by IL-15 derived from TLR3-activated IECs. The blockade of interaction between NKG2D and Rae1 inhibits the cytotoxicity of intraepithelial lymphocytes against IECs in a cell–cell contact-dependent manner and therefore alleviates polyinosinic–polycytidylic acid-induced epithelial destruction and acute mucosal injury of small intestine. These results demonstrate that TLR signaling induces tissue injury through the NKG2D pathway, suggesting that TLR signaling may break down self-tolerance through induction of abnormal expression of ligands for stimulatory NK receptors.
Inference of Beliefs on Billion-Scale Graphs

How do we scale up the inference of graphical models to billions of nodes and edges? How do we, or can we even, implement an inference algorithm for graphs that do not t in the main memory? Can we easily implement such an algorithm on top of an existing framework? How would we run it? And how much time will it save us? In this paper, we tackle this collection of problems through an ecient parallel algorithm for Belief Propagation(BP) that we developed for sparse billion-scale graphs using the Hadoop platform. Inference problems on graphical models arise in many scientic domains; BP is an ecient algorithm that has successfully solved many of those problems. We have discovered and we will demonstrate that this useful algorithm can be implemented on top of an existing framework | the crucial observation in the discovery is that the message update process in BP is essentially a special case of GIM-V(Generalized Iterative Matrix-Vector multiplication) [10], a primitive for large scale graph mining, on a line graph induced from the original graph. We show how we formulate the BP algorithm as a variant of GIM-V, and present an ecient algorithm. We experiment with our parallelized algorithm on the largest publicly available Web Graphs from Yahoo! , with about 6.7 billion edges, on M45, one of the top 50 fastest supercomputers in the world, and compare the running time with that of a single-machine, disk-based BP algorithm.
Atmospheric pattern recognition of human activities on ubiquitous sensor network using data stream mining algorithms

Ubiquitous sensor networks gain tremendous popularity nowadays with practical applications such as detection of natural disasters. These applications collect real-time data about the atmospheric measurements from sensors that are installed in the field. In this paper we argue that traditional data mining methods run short of accurately analysing the activity patterns from the sensor data stream. We evaluate the successor of these algorithms which is known as data stream mining by using an example of an indoor ubiquitous sensor network. They measure various atmospheric values that are supposedly prone to the influences of different human activities. Superior result is shown in the experiment that runs on this empirical data stream. The contribution of this paper is on a comparative study between using traditional and data stream mining algorithms, in a scenario where different atmospheric patterns are to be recognised from streaming sensor data.
The archetype Pseudomonas aeruginosa proteins TssB and TagJ form a novel subcomplex in the bacterial type VI secretion system

In Pseudomonas aeruginosa three type VI secretion systems (T6SSs) coexist, called H1‐ to H3‐T6SSs. Several T6SS components are proposed to be part of a macromolecular complex resembling the bacteriophage tail. The T6SS protein HsiE1 (TagJ) is unique to the H1‐T6SS and absent from the H2‐ and H3‐T6SSs. We demonstrate that HsiE1 interacts with a predicted N‐terminal α‐helix in HsiB1 (TssB) thus forming a novel subcomplex of the T6SS. HsiB1 is homologous to the Vibrio cholerae VipA component, which contributes to the formation of a bacteriophage tail sheath‐like structure. We show that the interaction between HsiE1 and HsiB1 is specific and does not occur between HsiE1 and HsiB2. Proteins of the TssB family encoded in T6SS clusters lacking a gene encoding a TagJ‐like component are often devoid of the predicted N‐terminal helical region, which suggests co‐evolution. We observe that a synthetic peptide corresponding to the N‐terminal 20 amino acids of HsiB1 interacts with purified HsiE1 protein. This interaction is a common feature to other bacterial T6SSs that display a TagJ homologue as shown here with Serratia marcescens. We further show that hsiE1 is a non‐essential gene for the T6SS and suggest that HsiE1 may modulate incorporation of HsiB1 into the T6SS.
Classification via group sparsity promoting regularization

Recently a new classification assumption was proposed in [1]. It assumed that the training samples of a particular class approximately form a linear basis for any test sample belonging to that class. The classification algorithm in [1] was based on the idea that all the correlated training samples belonging to the correct class are used to represent the test sample. The Lasso regularization was proposed to select the representative training samples from the entire training set (consisting of all the training samples). Lasso however tends to select a single sample from a group of correlated training samples and thus does not promote the representation of the test sample in terms of all the training samples from the correct group. To overcome this problem, we propose two alternate regularization methods, Elastic Net and Sum-Over-l2-norm. Both these regularization methods favor the selection of multiple correlated training samples to represent the test sample. Experimental results on benchmark datasets show that our regularization methods give better recognition results compared to [1].
Effect of interleukin‐1β and lipoxin A4 in human endometriotic stromal cells: Proteomic analysis

Lipoxin A4 (LXA4) can function as an endogenous ‘breaking signal’ in inflammation and plays an important role in the progression of endometriosis. The proteome responses to interleukin‐1β (IL‐1β) or LXA4 in human endometriotic stromal cells (ESC) are not well understood.
Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer

A digital computer is generally believed to be an efficient universal computing device; that is, it is believed to be able to simulate any physical computing device with an increase in computation time by at most a polynomial factor. This may not be true when quantum mechanics is taken into consideration. This paper considers factoring integers and finding discrete logarithms, two problems that are generally thought to be hard on classical computers and that have been used as the basis of several proposed cryptosystems. Efficient randomized algorithms are given for these two problems on a hypothetical quantum computer. These algorithms take a number of steps polynomial in the input size, for example, the number of digits of the integer to be factored.
Aspect-oriented techniques for web services: a model-driven approach

Web Service technologies offer a successful way for interoperability among applications, but in order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to modelled services. In this regard, we propose first of all a versatile and simple UML profile based on the Service Component Architecture specification for modelling services, in order to provide a model environment in which to add extra-functional properties. Secondly, a new UML profile is proposed to model and reuse the said extra-functional properties in service models. The implemented models based on these profiles will be independent from a final implementation language or platform, thus it is necessary to specify a particular type of model to convert the independent one into in a subsequent step. In order to meet this requirement an object, an aspect and a policy based models are proposed as the intermediate step between the independent model and the final code. We acknowledge that there are tools available which convert Java models into web services' Java code, and it is not our aim to build a tool to fulfil this requirement. Regarding extra-functional properties, aspect-oriented techniques allow them to be easily modularized and reused; in this respect, properties are implemented as aspects in a totally transparent way and avoid the need to modify service code in an intrusive manner on adding extra-functional properties, improving our system maintenance. Furthermore, this way traceability between the model and the code is perfectly maintained in both directions. This work has been developed thanks to the support of CICYT under contract TIN2005-09405-C02-02.
Effects of Grain Size on Fatigue Crack Propagation in Copper Film

Using a fatigue testing method by which fatigue cracks can be initiated and propagated in a film adhered to cover a circular through-hole in a base plate subjected to cyclic loads, annealed copper films of 100m thickness with different crystal grain sizes were fatigued. The fatigue crack propagation in the film with large grains was often decelerated, so the crack propagation rate of the film with the large grain was lower than that of the film with the small grain. When the crack propagation was decelerated, the crack opening displacement obtained from the film with large grain size was smaller than that obtained from the film with small grain size. The relationship between the fatigue crack propagation rate and the stress intensity factor estimated from the crack opening displacement was identical for the cracks in the film with the large grain and the small grain.
Synthesis and characterization of biodegradable polyurethanes for biomedical application

2 Polyurethanes (PUs) chemistry, stucture 3 PU laboratory synthesis 7 Selection of segments for biodegradable PU synthesis 9 Degradation of PUs in biomedical devices 11 Action of degradation of PUs on inflammatory cells 13 3. RESEARCH OBJECTIVES 16 4. SYNTHESIS AND CHARACTERIZATION OF BIODEGRADABLE ELASTOMERIC POLYURETHANE SCAFFOLD FABRICATED BY THE INK-JET TECHNIQUE 18 Abstract 18
QUANTIFIERS AND SHEAVES by

The unity of opposites in the title is essentially that between logic and geometry, and there are compelling reasons for maintaining that geometry is the leading aspect. At the same lime, in the present joint work with Myles Tierney there are important influences in the other direction: a Grothendieck " topology " appears most naturally as a modal operator, of the nature " it is locally the case that ", the usual logical operators such as V, 3, => have natural analogues which apply to families of geometrical objects rather than to propositional functions, and an important technique is to lift constructions first understood for " the " category S of abstract sets to an arbitrary topos. We first sum up the principal contradictions of the Grothendieck-GiraudVerdier theory of topos in terms of four or five adjoint functors, significantly generalizing the theory to free it of reliance on an external notion of infinite limit (in particular enabling one to claim that in a sense logic is a special case of geometry). The method thus developing is then applied to intrinsically define the concept of Boolean-valued model for S (BVM/S) and to prove the independence of the continuum hypothesis free of any use of transfinite induction. The second application of the method outlined here is an intrinsic geometric construction of the Chevalley-Hakim global spectrum of a ringed topos free of any choice of a " site of definition ".
Methodological Quality of Randomized Clinical Trials on Treatment Efficcact in Low Back Pain

Study Design This was a review of criteria-based meta-analyses. Objectives To assess the methodological quality of published randomized clinical trials on the efficacy of commonly used interventions in low back pain. Summary of Background Data During the last several decades, the number of published randomized clinical trials regarding low back pain has continued to grow. For some interventions, considerable numbers of trials are available. Trials have been shown to vary substantially regarding their quality. Methods A computer-aided search was conducted of published randomized clinical trials into the efficacy of spinal manipulation and mobilization, exercise therapy, back schools, bed rest, orthoses, and traction therapy. There was additional screening of journals not covered by Mediline and Embase. The methodological quality of the studies was assessed using a set of predefined criteria. Results Sixty-nine different randomized clinical trials were identified. Methodological secores varied between 16 and 82 points (maximum was 100 points). Methodological quality tended to be associated with the outcomes of the studies. Methodological shortcomings were frequently found-e. g. , small sample sizes, no description of the randomization procedure, no description of drop-outs, no placebo-control group, and lack of blinded outcome assessments. Conclusions Although a considerable number of randomized clinical trials have been carried out to evaluate the effecacy of interventions in low back pain, their methodological quality appears to be disappointingly low. Future trials are clearly needed, but much more attention should be paid to the methods of such studies.