Miracle-dz/UniFAR-FTUs huggingface dataset:
Supporting Active User Involvement in Prototyping

The term prototyping has in recent years become a buzzword in both research and practice of system design due to a number of claimed advantages of prototyping techniques over traditional specification techniques. In particular it is often stated that prototyping facilitates the users' involvement in the development process. But prototyping does not automatically imply active user involvement! Thus a cooperative prototyping approach aiming at involving users actively and creatively in system design is proposed in this paper. The key point of the approach is to involve users in activities that closely couple development of prototypes to early evaluation of prototypes in envisioned use situations. Having users involved in such activities creates new requirements for tool support. Tools that support direct manipulation of prototypes and simulation of behaviour have shown promise for cooperative prototyping activities. Examples of such tools are given and the ways that they support cooperative prototyping within various use domains are discussed.
Sorption Isotherm of Southern Yellow Pine—High Density Polyethylene Composites

Temperature and relative humidity (RH) are two major external factors, which affect equilibrium moisture content (EMC) of wood-plastic composites (WPCs). In this study, the effect of different durability treatments on sorption and desorption isotherms of southern yellow pine (SYP)-high density polyethylene (HDPE) composites was investigated. All samples were equilibriumed at 20 °C and various RHs including 16%, 33%, 45%, 66%, 75%, 85%, 93%, and100%. EMCs obtained from desorption and absorption for different WPC samples were compared with Nelson’s sorption isotherm model predictions using the same temperature and humidity conditions. The results indicated that the amount of moisture absorbed increased with the increases in RH at 20 °C. All samples showed sorption hysteresis at a fixed RH. Small difference between EMC data of WPC samples containing different amount of ultraviolet (UV) stabilizers were observed. Similar results were observed among the samples containing different amount of zinc borate (ZB). The experimental data of EMCs at various RHs fit to the Nelson’s sorption isotherm model well. The Nelson’s model can be used to predicate EMCs of WPCs under different RH environmental conditions.
ScholarWorks@UMass Amherst

A crucial consideration in environmentswhere data is broadcast to clients is the low bandwidth available for clients to communicate with servers. Advanced applications in such environments do need to read data that is mutually consistent as well as current. However, given the asymmetric communication capabilities and the needs of clients in mobile environments, traditional serializability-based approaches are too restrictive, unnecessary, and impractical. We thus pro-pose the use of a weaker correctness criterion called update consistency and outline mechanisms based on this criterion that ensure (1) the mutual consistency of data maintained by the server and read by clients, and (2) the currency of data read by clients. Using these mechanisms, clients can obtain data that is current and mutually consistent \o(cid:11) the air", i.e., without contacting the server to, say, obtain locks. Experimental results show a substantial reduction in response times as compared to existing (serializability-based) approaches. A further attractive feature of the approach is that if caching is possible at a client, weaker forms of currency can be obtained while still satisfying the mutual consistency of data.
HAFIX: Hardware-Assisted Flow Integrity eXtension

Code-reuse attacks like return-oriented programming (ROP) pose a severe threat to modern software on diverse processor architectures. Designing practical and secure defenses against code-reuse attacks is highly challenging and currently subject to intense research. However, no secure and practical system-level solutions exist so far, since a large number of proposed defenses have been successfully bypassed. To tackle this attack, we present HAFIX (Hardware-Assisted Flow Integrity Extension), a defense against code-reuse attacks exploiting backward edges (returns). HAFIX provides fine-grained and practical protection, and serves as an enabling technology for future control-flow integrity instantiations. This paper presents the implementation and evaluation of HAFIX for the Intel® Siskiyou Peak and SPARC embedded system architectures, and demonstrates its security and efficiency in code-reuse protection while incurring only 2% performance overhead.
NXY-059 for the Treatment of Acute Stroke: Pooled Analysis of the SAINT I and II Trials

Background and Purpose— In animal models of acute ischemic stroke (AIS), the free radical–trapping agent NXY-059 showed promise as a neuroprotectant. SAINT I and II were randomized, placebo-controlled, double-blind trials to investigate the efficacy of NXY-059 in patients with AIS. Methods— Patients with AIS received an infusion of intravenous NXY-059 or placebo within 6 hours from the onset of stroke symptoms. A pooled individual patient analysis was prespecified to assess the overall efficacy and to examine subgroups. The primary end point was the distribution of disability scores measured on the modified Rankin scale (mRS) at 90 days. Neurologic and activities of daily living scores were investigated as secondary end points. We also evaluated whether treatment with NXY-059 would reduce alteplase-related intracranial hemorrhages. Finally, we evaluated possible predictors of good or poor outcome. Results— An intent-to-treat efficacy analysis was based on 5028 patients. Baseline parameters and prognostic factors were well balanced between treatment groups. The distribution of scores on the mRS was not different in the group treated with NXY-059 (n=2438) compared with the placebo group (n=2456): odds ratio for limiting disability=1.02; 95% CI, 0.92 to 1.13 (P=0.682, Cochran-Mantel-Haenszel test). Comparisons at each level of the mRS confirmed an absence of benefit. There was no evidence of efficacy in prespecified subgroups or from the secondary outcome analyses. Mortality was equal in the 2 groups (16.7% vs 16.5%), and adverse event rates were similar. Among patients treated with alteplase, there was no decrease in rates of symptomatic or asymptomatic hemorrhage associated with NXY-059 treatment versus placebo. Subgroup analyses identified National Institutes of Health Stroke Scale score, age, markers of inflammation, blood glucose, and right-sided infarct as predictors of poor outcome. Conclusions— NXY-059 is ineffective for treatment of AIS within 6 hours of symptom onset. This is also true for subgroups and the prevention of alteplase-associated hemorrhage.
Fatty Liver Promotes Fibrosis In Monkeys Consuming High Fructose

Nonalcoholic fatty liver diseases (NAFLD) are related to development of liver fibrosis which currently has few therapeutic options. Rodent models of NAFLD inadequately model the fibrotic aspects of the disease and fail to demonstrate the spectrum of cardiometabolic diseases without genetic manipulation. This study aimed to document a monkey model of fatty liver and fibrosis, which naturally develop cardiometabolic disease pathophysiologies.
Tissue kallikrein alleviates glutamate‐induced neurotoxicity by activating ERK1

Glutamate‐induced neurotoxicity consequent to N‐methyl‐D‐aspartic acid (NMDA) and 2‐amino‐3‐(3‐hydroxy‐5‐methyl‐isoxazol‐4‐yl) propionic acid (AMPA) receptor activation underlies the pathogenesis of a wide range of central nervous system disorders, including brain ischemia. Prevention of ischemia/reperfusion (I/R)‐induced neuronal injury has long been regarded as an effective therapeutic strategy for ischemia. Human tissue kallikrein (TK) gene transfer has been shown to protect neurons against cerebral I/R‐induced apoptosis and oxidative stress, via activation of the brandykinin B2 receptor (B2R). However, little is known about the role of TK on glutamate‐induced neurotoxicity. Here we report that pretreatment of cultured cortical neurons with TK largely prevented glutamate‐induced morphological changes and cell death. We found that TK pretreatment alleviated glutamate‐induced oxidative stress by inhibiting neuronal nitric oxide synthase (nNOS) activity, thereby reducing the generation of nitric oxide (NO) and reactive oxygen species (ROS). Blockage of NMDA and AMPA receptors by their specific antagonists MK801 and CNQX had effects similar to those of TK administration. Furthermore, we found that the extracellular signal‐regulated kinase 1/2 cascade (ERK1/2), particularly ERK1, and nuclear factor‐κB (NF‐κB) were involved in TK neuroprotection against glutamate‐induced neurotoxicity. TK pretreatment activated ERK1 and NF‐κB, leading to enhanced expression of brain‐derived neurotrophic factor (BDNF) mRNA and antiapoptotic gene Bcl‐2 protein. Collectively, these findings demonstrate that TK attenuates glutamate‐induced apoptosis through an intracellular signaling pathway including activation of B2R, ERK1/2, and NF‐κB and up‐regulation of BDNF and Bcl‐2 expression. Thus, TK represents a promising therapeutic strategy for ischemic stroke. © 2009 Wiley‐Liss, Inc.
Vision-based localization algorithm based on landmark matching, triangulation, reconstruction, and comparison

Many generic position-estimation algorithms are vulnerable to ambiguity introduced by nonunique landmarks. Also, the available high-dimensional image data is not fully used when these techniques are extended to vision-based localization. This paper presents the landmark matching, triangulation, reconstruction, and comparison (LTRQ global localization algorithm, which is reasonably immune to ambiguous landmark matches. It extracts natural landmarks for the (rough) matching stage before generating the list of possible position estimates through triangulation. Reconstruction and comparison then rank the possible estimates. The LTRC algorithm has been implemented using an interpreted language, onto a robot equipped with a panoramic vision system. Empirical data shows remarkable improvement in accuracy when compared with the established random sample consensus method. LTRC is also robust against inaccurate map data.
Perceived learning constructs and interaction patterns in a social networking site

This article reports on results of a study perceived learning constructs in a Social Networking Site (SNS) based on a two-round data collection from undergraduate Computer Science Education (CSE) studies.The first phase involved distribution of questionnaires to a total of 219 undergraduate students ranging from non-engineering (n=80) to engineering (n=139) that resulted in identification of three measured learning constructs: Social Bonding, Social Bridging and Social Intention.In phase two, evaluation of students’ learning transcripts in SNS were performed.Results identify 22 interaction patterns which then are further grouped into four learning dimensions of Participative, Interactive, Social and Cognitive.The findings indicated support for social connectivism, which promotes knowledge being distributed across a network of connections for each group of students.
Welfare and Profit Maximization with Production Costs

Combinatorial Auctions are a central problem in Algorithmic Mechanism Design: pricing and allocating goods to buyers with complex preferences in order to maximize some desired objective (e.g., social welfare, revenue, or profit). The problem has been well-studied in the case of limited supply (one copy of each item), and in the case of digital goods (the seller can produce additional copies at no cost). Yet in the case of resources -- oil, labor, computing cycles, etc. -- neither of these abstractions is just right: additional supplies of these resources can be found, but at increasing difficulty (marginal cost) as resources are depleted. In this work, we initiate the study of the algorithmic mechanism design problem of combinatorial pricing under increasing marginal cost. The goal is to sell these goods to buyers with unknown and arbitrary combinatorial valuation functions to maximize either the social welfare, or the seller's profit, specifically we focus on the setting of posted item prices with buyers arriving online. We give algorithms that achieve constant factor approximations for a class of natural cost functions -- linear, low-degree polynomial, logarithmic -- and that give logarithmic approximations for more general increasing marginal cost functions (along with a necessary additive loss). We show that these bounds are essentially best possible for these settings.
Reduced Mucosal Associated Invariant T-Cells Are Associated with Increased Disease Severity and Pseudomonas aeruginosa Infection in Cystic Fibrosis

Background Primary defects in host immune responses have been hypothesised to contribute towards an inability of subjects with cystic fibrosis (CF) to effectively clear pulmonary infections. Innate T-lymphocytes provide rapid pathogen-specific responses prior to the development of classical MHC class I and II restricted T-cell responses and are essential to the initial control of pulmonary infection. We aimed to examine the relationship between peripheral blood lymphocyte phenotype and clinical outcomes in adults with CF. Methods We studied 41 subjects with CF and 22, age matched, non-smoking healthy control subjects. Lymphocytes were extracted from peripheral blood samples and phenotyped by flow-cytometry. Lymphocyte phenotype was correlated with sputum microbiology and clinical parameters. Results In comparison to healthy control subjects, mucosal associated invariant T (MAIT)-lymphocytes were significantly reduced in the peripheral blood of subjects with CF (1.1% versus 2.0% of T-lymphocytes, P = 0.002). MAIT cell concentration was lowest in CF subjects infected with P. aeruginosa and in subjects receiving treatment for a pulmonary exacerbation. Furthermore a reduced MAIT cell concentration correlated with severity of lung disease. Conclusion Reduced numbers of MAIT cells in subjects with CF were associated with P. aeruginosa pulmonary infection, pulmonary exacerbations and more severe lung disease. These findings provide the impetus for future studies examining the utility of MAIT cells in immunotherapies and vaccine development. Longitudinal studies of MAIT cells as biomarkers of CF pulmonary infection are awaited.
The oral clearance of zinc and triclosan after delivery from a dentifrice

Oral delivery and retention of zinc and triclosan were measured in man after use of an anti‐plaque dentifrice containing these antibacterial agents. Triclosan (25% of the dose) and zinc (24%) were retained in the mouth immediately after toothbrushing and a single mouthrinse. Salivary concentrations fell from 7ṁ5 μg g−1 (triclosan) and 7ṁ0 μg g−1 (zinc) after 5 min to 0ṁ5 μg g−1 (triclosan) and 1ṁ2 μg g−1 (zinc), 2 h after brushing.
New Tolerance Analysis Model for Normal Mean Shift in Manufacturing Process

In this paper, we discuss the tolerance analysis methods for the component with a mean shift or drift. A new tolerance analysis model that assumes the mean shift in normal distribution rather than in uniform distribution is proposed. Simulation shows that the difference between the uniform distribution and normal distribution is 1.7%, which can be ignored, for mean shift to one standard deviation (σ). However, the difference becomes significant when the mean shift increases. The difference increases to 5.2% with 1. 5σ shift, to 10.9% for 2σ shift, and up to 30.4% for 3σ shift. As normal distribution is a better model for statistical mean shift in manufacturing process, this investigation shows that the proposed tolerance analysis model can give a better model compared to conventional models.
Combination Treatment With Anti-CD20 and Oral Anti-CD3 Prevents and Reverses Autoimmune Diabetes

Type 1 diabetes (T1D) is a T cell–mediated autoimmune disease, although B cells also play an important role in T1D development. Both T cell– and B cell–directed immunotherapies have shown efficacy in the prevention and reversal of T1D. However, whether the combined strategy of targeting both T and B cells could further improve therapeutic efficacy remains to be explored. We show that combined treatment with intravenous antihuman CD20 (hCD20) and oral anti-CD3 significantly delays diabetes development in prediabetic hCD20 transgenic NOD mice. More importantly, the combined treatment reverses diabetes in >60% of mice newly diagnosed with diabetes. Further mechanistic studies demonstrated that the addition of oral anti-CD3 to the B-cell depletion therapy synergistically enhances the suppressive function of regulatory T cells. Of note, the oral anti-CD3 treatment induced a fraction of interleukin (IL)-10–producing CD4 T cells in the small intestine through IL-10– and IL-27–producing dendritic cells. Thus, the findings demonstrate that combining anti-CD20 and oral anti-CD3 is superior to anti-CD20 monotherapy for restoring normoglycemia in diabetic NOD mice, providing important preclinical evidence for the optimization of B cell–directed therapy for T1D.
Enhancement of CW THz Wave Power Under Noncollinear Phase-Matching Conditions in Difference Frequency Generation

We investigated methods for improvement of continuous-wave (CW) terahertz (THz) output power by laser diode (LD) pumping in noncollinear phase-matched difference frequency generation (DFG). The effects of interaction length and beam spot size of input lasers (near-IR) in GaP crystals were studied. The THz wave power dependence on various sizes of GaP crystals was investigated and it was observed that an output power of 4 nW was obtained with a 20 mm long GaP crystal at 1.5 THz. Also, the THz wave absorption coefficient was dominant for longer GaP crystals at high frequencies (above 2.5 THz). The THz wave power dependence on beam spot size (1.2 mm-300 mum) of near-IR lasers at 1.62 THz was studied, and an improvement of THz wave power being seen with a 500 mum beam spot size, while the beam divergence effect was dominant for beam spot sizes below 500 mum.
BUFFER LOADING AND CHUNKING IN SEQUENTIAL KEYPRESSING

Thirty-six participants practiced a task in which they continuously cycled through a fixed series of nine keypresses, each carried out by a single finger (cf. Keele & Summers, 1976). The results of the first experimental phase, the practice phase, support the notion that pauses between successive keypresses at fixed locations induces the development of integrated sequence representations (i.e., motor chunks) and reject the idea that a rhythm is learned. When different sequences were produced in the transfer phase, performance dropped considerably unless the sequence was relatively short and there was ample time for preparation. This demonstrates that motor chunks are content specific and that the absence of motor chunks shows when there is no time for advance loading of the motor buffer or the capacity of the motor buffer is insufficient to contain the entire keypressing sequence.
Noncompetitive Inhibition of 5-HT3 Receptors by Citral, Linalool, and Eucalyptol Revealed by Nonlinear Mixed-Effects Modeling

Citral, eucalyptol, and linalool are widely used as flavorings, fragrances, and cosmetics. Here, we examined their effects on electrophysiological and binding properties of human 5-HT3 receptors expressed in Xenopus oocytes and human embryonic kidney 293 cells, respectively. Data were analyzed using nonlinear mixed-effects modeling to account for random variance in the peak current response between oocytes. The oils caused an insurmountable inhibition of 5‐HT–evoked currents (citral IC50 = 120 µM; eucalyptol = 258 µM; linalool = 141 µM) and did not compete with fluorescently labeled granisetron, suggesting a noncompetitive mechanism of action. Inhibition was not use‐dependent but required a 30-second preapplication. Compound washout caused a slow (∼180 seconds) but complete recovery. Coapplication of the oils with bilobalide or diltiazem indicated they did not bind at the same locations as these channel blockers. Homology modeling and ligand docking predicted binding to a transmembrane cavity at the interface of adjacent subunits. Liquid chromatography coupled to mass spectrometry showed that an essential oil extracted from Lippia alba contained 75.9% citral. This inhibited expressed 5‐HT3 receptors (IC50 = 45 µg ml−1) and smooth muscle contractions in rat trachea (IC50 = 200 µg ml−1) and guinea pig ileum (IC50 = 20 µg ml−1), providing a possible mechanistic explanation for why this oil has been used to treat gastrointestinal and respiratory ailments. These results demonstrate that citral, eucalyptol, and linalool inhibit 5-HT3 receptors, and their binding to a conserved cavity suggests a valuable target for novel allosteric modulators.
A Study of Soiling and Soil Retention in Textile Fibers

media has been contributed to by many authors, including Kubelka and Munk [13, 14], Duntley [7], Gurevic [9], Amy [ 1 ] , and others. These studies, however, do not relate the optical factors of the systems in question to the amount or concentration of light-absorbing material. This has been attempted by Derby [6) , Nolan [16], Foote [8], and Preston and Tsien [17] in the case of dyed fabrics and papers, but not in the case of pigmented systems such
Limitations of Cyclosporin A Inhibition of the Permeability Transition in CNS Mitochondria

Activation of the mitochondrial permeability transition may contribute to excitotoxic neuronal death (Ankarcrona et al., 1996;Dubinsky and Levi, 1998). However, cyclosporin A (CsA), a potent inhibitor of the permeability transition in liver mitochondria, only protects against neuronal injury by limited doses of glutamate and selected ischemic paradigms. The lack of consistent CsA inhibition of the mitochondrial permeability transition was analyzed with the use of isolated brain mitochondria. Changes in the permeability of the inner mitochondrial membrane were evaluated by monitoring mitochondrial membrane potential (Δψ), using the distribution of tetraphenylphosphonium, and by monitoring mitochondrial swelling, using light absorbance measurements. Metabolic impairments, large Ca2+ loads, omission of external Mg2+, or low doses of palmitic acid or the protonophore FCCP exacerbated Ca2+-induced sustained depolarizations and swelling and eliminated CsA inhibition. BSA restored CsA inhibition in mitochondria challenged with 50 μm Ca2+, but not with 100 μm Ca2+. CsA failed to prevent Ca2+-induced depolarization or to repolarize mitochondria when mitochondria were depolarized excessively. Similarly, CsA failed to prevent mitochondrial swelling or PEG-induced shrinkage after swelling when the Ca2+ challenge produced a strong, sustained depolarization. Thus in brain mitochondria CsA may be effective only as an inhibitor of the permeability transition and the Ca2+-activated low permeability state under conditions of partial depolarization. In contrast, ADP plus oligomycin inhibited both permeabilities under all of the conditions that were tested. In situ, the neuroprotective action of CsA may be limited to glutamate challenges sufficiently toxic to induce the permeability transition but not so severe that mitochondrial depolarization exceeds threshold.