Miracle-dz/UniFAR-FTUs huggingface dataset:
Microstructure and Mechanical Properties of Cast Ti25Nb3Mo3Zr2Sn Alloy

The microstructure and mechanical properties of a cast near β type titanium alloy, Ti-25Nb-3Zr-3Mo-2Sn, have been investigated in this paper. In the as cast condition, the alloy possesses coarse, equiaxed β grains and Transmission Electron Microscopy(TEM) observations showed the ω phase is also present in this condition. The alloy in the as cast condition has low strength and is highly ductile. Direct ageing at 450°C for 4 hours leads to the formation of a large number of fine scale α phase precipitates. The alloy in the aged condition is less ductile but exhibits significantly enhanced strength.
Influence of S and AlN on hot ductility of high Al, TWIP steels

Abstract The hot ductility of a high Al, twin induced plasticity austenitic steel with S levels of 0·003, 0·010 and 0·023% has been examined after heating to 1250°C and cooling at 60 K min−1 to test temperatures in the range of 700–1100°C. Ductility as measured by reduction of area (R of A) was very poor, (∼20%R of A) in the two higher S steels in the temperature range of 950–1100°C but was better at lower temperatures of 700–900°C reaching 30–40%R of A. For the very low S steel, ductility was similar for the temperature range of 700–900°C but improved in the higher temperature range of 950–1100°C to 50–55%R of A. In the higher S steels (0·01 and 0·023%S), ductility was poor because of the presence of long, coarse dendritic AlN rods situated at both the dendrite, but, more importantly, the austenite grain boundaries, the latter being particularly detrimental for encouraging intergranular failure. AlN seems to need MnS inclusions as nuclei in the melt for it to precipitate in the form of these detrimental long rods, and a reasonable volume fraction of MnS (equivalent to having more than 0·003%S present) is required for this to happen. If the S level is low (⩽0·003%), there are only a few MnS nucleation sites, and the AlN precipitates out in the form of coarse hexagonal plates. These precipitates end up mainly within the austenite matrix and have little influence on the hot ductility. It is therefore very important commercially in these high Al steels to limit the S level to ⩽0·003% to avoid transverse cracking.
Platelets do not adsorb HLA class I molecules during storage of pooled platelet concentrates

summary. The origin of HLA class I molecules on platelets is still under discussion. Adsorption of HLA molecules on platelets using specific experimental conditions has been described. The study presented investigates whether there is a significant elution and adsorption of HLA class I molecules on platelets during storage of pooled random platelet concentrates (PRPC) under routine conditions.
Stateless HOL

We present a version of the HOL Light system that supports und oing definitions in such a way that this does not compromise the soundness of the logic. In our sy stem the code that keeps track of the constants that have been defined thus far has been moved out of the kernel. This means that the kernel now is purely functional. The changes to the system are small. All existing HOL Light de velopments can be run by the stateless system with only minor changes. The basic principle behind the system is not to name constant s by strings, but bypairsconsisting of a string and adefinition. This means that the data structures for the terms are all mer ged into one big graph. OCaml – the implementation language of the sys tem – can use pointer equality to establish equality of data structures fast. This allows the system to run at acceptable speeds. Our system runs at about 85% of the speed of the stateful version o f HOL Light.
Effect of Cavitation Number on the Improvement of Fatigue Strength of Carburized Steel Using Cavitation Shotless Peening

Peening can be used to produce a layer of compressive residual stress at the surface of components which are subject to fatigue or stress corrosion, thereby retarding crack initiation and/or impeding the development of new cracks and hence improving their fatigue life. We have developed a new peening method, Cavitation Shotless Peening (CSP), which makes use of cavitation impacts induced by the collapse of the cavitation bubbles to produce compressive residual stress and work hardening on the material surface. CSP is a surface enhancement technique which differs with shot peening in that shots are not used. CSP uses a submerged high-speed water jet with cavitation, herein referred to as a cavitating jet, whose intensity and occurring region can be controlled by parameters such as upstream pressure and nozzle size. Cavitation number , which is defined by the ratio of upstream pressure to downstream pressure, is the main parameter of the cavitating jet. In this paper, the pit distribution on the specimen was observed with cavitating numbers  = 0.0057 and  = 0.0142. The improvement of fatigue strength and introduction of residual stress were investigated for both conditions using carburized alloy steel (JIS SCM415). It was evident from a comparison between non-peened and cavitation shotless peened specimens that the cavitation number has influence on the fatigue strength of metallic materials. Comparison of shot peened and CSP specimens has also been discussed.
Speech-Based Retrieval Using Semantic Co-Occurrence Filtering

In this paper we demonstrate that speech recognition can be effectively applied to information retrieval (IR) applications. Our system exploits the fact that the intended words of a spoken query tend to co-occur in text documents in close proximity whereas word combinations that are the result of recognition errors are usually not semantically correlated and thus do not appear together. Termed "Semantic Co-occurrence Filtering" this enables the system to simultaneously disambiguate word hypotheses and find relevant text for retrieval. The system is built by integrating standard IR and speech recognition techniques. An evaluation of the system is presented and we discuss several refinements to the functionality.
Wildcard: A wearable virtual reality storytelling tool for children with intellectual developmental disability

Our research aims at supporting existing therapies for children with intellectual and developmental disorders (IDD). The personal and social autonomy is the desired end state to be achieved to enable a smooth integration in the real world. We developed and tested a framework for storytelling and learning activities that exploits an immersive virtual reality viewer to interact with target users. We co-designed our system with experts from the medical sector, identifying features that allow patients to stay focused on exercises to perform. Our approach triggers a learning process for a seamless assimilation of common behavioral skills useful in every day's life. This paper highlights the technologic challenges in healthcare and discusses cutting-edge interaction paradigms.
Use of a Ni60Ti shape memory alloy for active jet engine chevron application: II. Experimentally validated numerical analysis

A shape memory alloy (SMA) composition of Ni60Ti40 (wt%) was chosen for the fabrication of active beam components used as cyclic actuators and incorporated into morphing aerospace structures. The active structure is a variable-geometry chevron (VGC) designed to reduce jet engine noise in the take-off flight regime while maintaining efficiency in the cruise regime. This two-part work addresses the training, characterization and derived material properties of the new nickel-rich NiTi composition, the assessment of the actuation properties of the active beam actuator and the accurate analysis of the VGC and its subcomponents using a model calibrated from the material characterization. The second part of this two-part work focuses on the numerical modeling of the jet engine chevron application, where the end goal is the accurate prediction of the VGC actuation response. A three-dimensional (3D) thermomechanical constitutive model is used for the analysis and is calibrated using the axial testing results from part I. To best capture the material response, features of several SMA constitutive models proposed in the literature are combined to form a new model that accounts for two material behaviors not previously addressed simultaneously. These are the variation in the generated maximum actuation strain with applied stress level and a smooth strain–temperature constitutive response at the beginning and end of transformation. The accuracy of the modeling effort is assessed by comparing the analysis deflection predictions for a given loading path imposed on the VGC or its subcomponents to independently obtained experimental results consisting of photogrammetric data. For the case of full actuation of the assembled VGC, the average error in predicted centerline deflection is less than 6%.
An efficient BIST method for testing of embedded SRAMs

We have developed an algorithm to enable conventional microprocessors to test their on-chip SRAM using their existing hardware and software resources. This test method utilizes a mixture of existing memory testing techniques, which cover all important memory faults. This is achieved by writing a routine called BIST Program which only uses the existing ROM and creates no additional hardware overhead. BIST Program implements the "length 9N" test algorithm. The proposed test algorithm covers 100% of faults under the fault model plus a data retention test. A memory faults diagnostic capability is also provided by the BIST Program. This method can be implemented for embedded SRAM testing of all microprocessors, microcontrollers and DSPs. This test algorithm is experimented on 32 K SRAM of the Texas Instruments TMS320C548 DSP.
All T15 Id-positive antibodies (but not the majority of VHT15+ antibodies) are produced by peritoneal CD5+ B lymphocytes.

After adult irradiation and reconstitution with autologous bone marrow, BALB/c and C.B20 mice no longer utilize the T15 Id in response to phosphorylcholine. T15 Id expression can be restored by transfers of peritoneal B cells or by FACS-purified CD5+ IgM+ lymphocytes (but not by T lymphocytes) from syngeneic donors. Using bone marrow and peritoneal cell donors that are congeneic for heavy and light chain allotypes, the exclusive origin of the T15 Id in peritoneal B cells was ascertained. These conclusions have been essentially confirmed by immunization with either anti-T15 Id or anti-VHT15 antibodies conjugated to lipopolysaccharide. Thus, the production of VHT15-positive antibodies continues at control levels in bone marrow-reconstituted animals while no T15 Id production can be stimulated even in this protocol of direct B cell stimulation. These results constitute the first formal demonstration of the exclusive production of and Id by CD5+ B-cells.
Topical dinitrochlorobenzene combined with systemic dacarbazine in the treatment of recurrent melanoma

Fifty-nine selected patients with recurrent melanoma (37 locoregional and 22 locoregional and haematogenic) were treated with a combination of topical dinitrochlorobenzene (DNCB) and systemic dacarbazine (DTIC). The observations were analysed retrospectively. Fifteen patients (25%) (one third with distant spread) experienced a complete response, with a median duration of 10 months (range 3 210 months). Five of these patients, three of them with haematogenic disease, showed prolonged disease-free survival (85, 156, 170, 177 and 210 months). Seven patients (12%) obtained a partial response, and no response was seen in the remaining 37 patients (63%). In the presence of a severe local reaction to topical DNCB application the median survival was 12 months compared with 7 months in cases with a slight or moderate local reaction (P=0.0013). Patients showing a response to the DNCB-DTIC combination had a median survival of 18 months versus 7 months for the non-responders (P<0.0003). In view of the prolonged survival in five patients, this combined treatment schedule yields promising results in the treatment of selected melanoma patients with cutaneous recurrences, whether or not these are associated with other metastases
Compliance of the Human Pulmonary Arterial System in Disease

Pulmonary arterial and pulmonary arterial “wedge” pressures were measured in 35 patients during cardiac catheterization. Pulmonary arterial compliance (C) was calculated from the diastolic pulmonary arterial pressure profile, left atrial pressure, and pulmonary vascular resistance (R). In the pulmonary normotensive group, compliance averaged 2.87 ml/mm Hg; in patients with severe pulmonary hypertension, values as low as 0.7 ml/mm Hg were found. In 16 of these patients, pulmonary capillary blood flow was measured by N2O body plethysmography. In pulmonary normotensive patients the pulsatility of capillary flow, i.e., the ratio of peak-to-mean flow rates, was 2:1; advanced pulmonary hypertension was associated with values as low as 1.2:1, suggesting marked damping of the flow pulse. The pulsatility index correlated well with the RC time constant of the pulmonary arterial system, so that damping of the pulmonary capillary flow pulse was associated with a prolonged time constant. This suggested that in severe pulmonary hypertension the pulmonary arterial walls are stiff and indistensible. A method was developed for estimating mean pulmonary arterial and left atrial pressure from the pulmonary capillary flow pulse, and the relationships between compliance and pressure and pulsatility index and RC time constant. N2O-plethysmography can thus provide a reliable and repeatable, noninvasive method for investigation of the pulmonary vascular bed.
Screening for Lung Cancer With Low-Dose Computed Tomography: A Systematic Review to Update the U.S. Preventive Services Task Force Recommendation

BACKGROUND Lung cancer is the leading cause of cancer-related death in the United States. Because early-stage lung cancer is associated with lower mortality than late-stage disease, early detection and treatment may be beneficial. PURPOSE To update the 2004 review of screening for lung cancer for the U.S. Preventive Services Task Force, focusing on screening with low-dose computed tomography (LDCT). DATA SOURCES MEDLINE (2000 to 31 May 2013), the Cochrane Central Register of Controlled Trials and Cochrane Database of Systematic Reviews (through the fourth quarter of 2012), Scopus, and reference lists. STUDY SELECTION English-language randomized, controlled trials or cohort studies that evaluated LDCT screening for lung cancer. DATA EXTRACTION One reviewer extracted study data about participants, design, analysis, follow-up, and results, and a second reviewer checked extractions. Two reviewers rated study quality using established criteria. DATA SYNTHESIS Four trials reported results of LDCT screening among patients with smoking exposure. One large good-quality trial reported that screening was associated with significant reductions in lung cancer (20%) and all-cause (6.7%) mortality. Three small European trials showed no benefit of screening. Harms included radiation exposure, overdiagnosis, and a high rate of false-positive findings that typically were resolved with further imaging. Smoking cessation was not affected. Incidental findings were common. LIMITATIONS Three trials were underpowered and of insufficient duration to evaluate screening effectiveness. Overdiagnosis, an important harm of screening, is of uncertain magnitude. No studies reported results in women or minority populations. CONCLUSION Strong evidence shows that LDCT screening can reduce lung cancer and all-cause mortality. The harms associated with screening must be balanced with the benefits. PRIMARY FUNDING SOURCE Agency for Healthcare Research and Quality.
Distribution of flux vacua around singular points in Calabi-Yau moduli space

We study the distribution of type-IIB flux vacua in the moduli space near various singular loci, e.g. conifolds, ADE singularities on P1, Argyres-Douglas point etc, using the Ashok-Douglas density det (R+ω). We find that the vacuum density is integrable around each of them, irrespective of the type of the singularities. We study in detail an explicit example of an Argyres-Douglas point embedded in a compact Calabi-Yau manifold.
Sustained and "sleeper" effects of group metacognitive training for schizophrenia: a randomized clinical trial.

IMPORTANCE Cognitive interventions increasingly complement psychopharmacological treatment to enhance symptomatic and functional outcome in schizophrenia. Metacognitive training (MCT) is targeted at cognitive biases involved in the pathogenesis of delusions. OBJECTIVE To examine the long-term efficacy of group MCT for schizophrenia in order to explore whether previously established effects were sustained. DESIGN, SETTING, AND PARTICIPANTS A 2-center, randomized, controlled, assessor-blind, parallel group trial was conducted. A total of 150 inpatients or outpatients with DSM-IV diagnoses of schizophrenia spectrum disorders were enrolled. All patients were prescribed antipsychotic medication. The second follow-up assessment took place 3 years later after the intervention phase was terminated. INTERVENTIONS Group MCT targeting cognitive biases vs neuropsychological training (COGPACK). Patients received a maximum of 16 sessions. MAIN OUTCOMES AND MEASURES The primary outcome measure was a delusion score derived from the Positive and Negative Syndrome Scale (PANSS). The PANSS positive syndrome and total scores, the Psychotic Symptom Rating Scales, the jumping to conclusions bias, self-esteem, and quality of life served as secondary outcome measures. RESULTS The intention-to-treat analyses demonstrated that patients in the MCT group had significantly greater reductions in the core PANSS delusion score, after 3 years compared with the control group (η2partial = .037; P = .05). Among the secondary outcomes, the intention-to-treat analyses also demonstrated that patients in the MCT group had significantly greater reductions in the PANSS positive syndrome score (η2partial = .055; P = .02) and the Psychotic Symptom Rating Scales delusion score (η2partial = .109; P = .001). Significant group differences at the 3-year follow-up were also found on measures of self-esteem and quality of life, which did not distinguish groups at earlier assessment points. Attention was improved in the neuropsychological training group relative to the MCT group. The completion rate was 61.3% after 3 years. CONCLUSIONS AND RELEVANCE Metacognitive training demonstrated sustained effects in the reduction of delusions, which were over and above the effects of antipsychotic medication. Moreover, there were some unanticipated ("sleeper") effects as both self-esteem and quality of life were improved after 3 years. Effects on self-esteem and well-being were found even in the absence of an improvement on the jumping to conclusions bias. TRIAL REGISTRATION isrctn.org Identifier: ISRCTN95205723.
Windowed Ping: an Ip Layer Performance Diagnostic I. Rationale

The Internet is suuering from multiple eeects of its own rapid growth. Network providers are in the uncomfortable position of deploying new products and technologies into already congested environments without adequate tools to easily assess their performance. In this paper we present a diagnostic that provides direct measurement of IP performance, including queue dynamics at or beyond the onset of congestion. It uses a transport style sliding window algorithm combined with either ping or traceroute to sustain packet queues in the network. It can directly measure such parameters as throughput, packet loss rates and queue size as functions of packet and window sizes. Other parameters, such as switching time per packet or per byte, can also be derived. Many of the measurements can be performed either in a test bed environment (yielding the most accurate results), on single routers in situ in the In-ternet, or along speciic paths in the production Internet. We will illustrate several measurement techniques. The Internet has experienced continuous rapid growth, sustained by the integration of prototype technologies into its production infrastructure. This \rapid deployment" is perhaps the hallmark of the Internet, but is not without its costs. Often, unproven technologies have been innicted upon users who depend on the Internet for their basic activities. The mission of the NSF Supercomputing Centers is to deliver leading edge supercomputing resources and services to a large user community widely dispersed across Internet. The networking eeort at the Centers has always been in support of this mission: to deliver the best possible service at the highest possible performance to users and supercomputering applications. Pure network research often plays a lesser role than the pragmatic diiculties of integrating the newest commercial products in a high performance production environment. The Pittsburgh Supercomputing Center has always been a part of this process, polishing new products and technologies for use in support of high performance applications and access for our users. The PSC was among the rst sites directly attached to each implementation of the NSFnet: 56 kb/s, T1 (1.5 Mb/s) and currently T3 (45 Mb/s). Soon a connection will be installed to the NSF vBNS at OC-3 (155 Mb/s). Throughout its history, the PSC has been an early user of new technology. The need to understand the performance limitations of unproven IP equipment and technologies has driven the development of diagnostics which overcome some of the limitations of traditional IP performance tools. …
HTSstation: A Web Application and Open-Access Libraries for High-Throughput Sequencing Data Analysis

The HTSstation analysis portal is a suite of simple web forms coupled to modular analysis pipelines for various applications of High-Throughput Sequencing including ChIP-seq, RNA-seq, 4C-seq and re-sequencing. HTSstation offers biologists the possibility to rapidly investigate their HTS data using an intuitive web application with heuristically pre-defined parameters. A number of open-source software components have been implemented and can be used to build, configure and run HTS analysis pipelines reactively. Besides, our programming framework empowers developers with the possibility to design their own workflows and integrate additional third-party software. The HTSstation web application is accessible at http://htsstation.epfl. ch.
A large dynamic range radiation-tolerant analog memory in a quarter-micron CMOS technology

An analog memory prototype containing 8*128 cells has been designed in a commercial quarter-micron CMOS process. The aim of this work is to investigate the possibility of designing large dynamic range mixed-mode switched capacitor circuits for high-energy physics (HEP) applications in deep submicron CMOS technologies. Special layout techniques have been used to make the circuit radiation tolerant. The memory cells employ gate-oxide capacitors for storage, permitting a very high density. A voltage write-voltage read architecture has been chosen to minimize the sensitivity to absolute capacitor values. The measured input voltage range is 2.3 V (the power supply voltage V/sub DD/ is equal to 2.5 V), with a linearity of almost 8 bits over 2 V. The dynamic range is more than 11 bits. The pedestal variation is /spl plusmn/0.5 mV peak-to-peak. The noise measured, which is dominated by the noise of the measurement setup, is around 0.8 mV rms. The characteristics of the memory have been measured before irradiation and after 100 kGy (SiO/sub 2/), and they do not degrade after irradiation.