Miracle-dz/UniFAR-FTUs huggingface dataset:
False-name-proof mechanism design without money

Mechanism design studies how to design mechanisms that result in good outcomes even when agents strategically report their preferences. In traditional settings, it is assumed that a mechanism can enforce payments to give an incentive for agents to act honestly. However, in many Internet application domains, introducing monetary transfers is impossible or undesirable. Also, in such highly anonymous settings as the Internet, declaring preferences dishonestly is not the only way to manipulate the mechanism. Often, it is possible for an agent to pretend to be multiple agents and submit multiple reports under different identifiers, e.g., by creating different e-mail addresses. The effect of such false-name manipulations can be more serious in a mechanism without monetary transfers, since submitting multiple reports would have no risk. In this paper, we present a case study in false-name-proof mechanism design without money. In our basic setting, agents are located on a real line, and the mechanism must select the location of a public facility; the cost of an agent is its distance to the facility. This setting is called the facility location problem and can represent various situations where an agent's preference is single-peaked. First, we fully characterize the deterministic false-name-proof facility location mechanisms in this basic setting. By utilizing this characterization, we show the tight bounds of the approximation ratios for two objective functions: social cost and maximum cost. We then extend the results in two natural directions: a domain where a mechanism can be randomized and a domain where agents are located in a tree. Furthermore, we clarify the connections between false-name-proofness and other related properties.
Effect of some proliferative and environmental factors on the toxicity of mitomycin C to tumor cells in vitro

Mitomycin C (MC) was more toxic to EMT6 mouse mammary tumor cells in vitro under hypoxia than under aerobic conditions. This was evidenced both in survival curves defining the toxicity of treatment with a constant dose of MC given for different periods of time and in survival curves defining the effect of a 1‐hr treatment with different concentrations of MC. Cultures preincubated for different periods from 1 to 6 hr in hypoxia all had similar MC sensitivities. In contrast, cultures preincubated in hypoxia for 4 hr then “reoxygenated” before MC treatment had the same sensitivities as cultures which had never been hypoxic. This shows that the oxygenation at the time of MC exposure, rather than the preincubation protocol, was the parameter determing cell sensitivity. Exponentially‐growing (proliferating) and plateau‐phase (quiescent) cultures had similar MC survival curves; neither type of culture repaired potentially lethal damage when held for up to 24 hr in HBSS after MC treatment. The sensitivity of the cells increased as the pH of the culture medium was decreased to low values (pH 7.0–6.0), but extracellular pH had no significant effect on the cytotoxicity of MC over the physiologic range (7.0–7.4). These data suggest that differences in the metabolic characteristics of cells that are hypoxic and aerobic during MC treatment, rather than perturbations of the cell proliferation patterns, the PLDR capacity of the cells, or the extracellular pH during the hypoxic incubation, are responsible for the different sensitivities of aerobic and hypoxic cells to MC in vitro.
Huntington’s disease: roles of huntingtin‐interacting protein 1 (HIP‐1) and its molecular partner HIPPI in the regulation of apoptosis and transcription

Huntingtin protein (Htt), whose mutation causes Huntington’s disease (HD), interacts with large numbers of proteins that participate in diverse cellular pathways. This observation indicates that wild‐type Htt is involved in various cellular processes and that the mutated Htt alters these processes in HD. The roles of these interacting proteins in HD pathogenesis remain largely unknown. In the present review, we present evidence that Htt‐interacting protein 1 (HIP‐1), an endocytic protein, together with its interacting partner HIPPI, regulates apoptosis and gene expression, both processes being implicated in HD. Further studies are necessary to establish whether the HIPPI–HIP‐1 complex or other interacting partners of HIPPI regulate apoptosis and gene expression that are relevant to HD.
Single‐Strip Triangulation of Manifolds with Arbitrary Topology

Triangle strips have been widely used for efficient rendering. It is NP‐complete to test whether a given triangulated model can be represented as a single triangle strip, so many heuristics have been proposed to partition models into few long strips. In this paper, we present a new algorithm for creating a single triangle loop or strip from a triangulated model. Our method applies a dual graph matching algorithm to partition the mesh into cycles, and then merges pairs of cycles by splitting adjacent triangles when necessary. New vertices are introduced at midpoints of edges and the new triangles thus formed are coplanar with their parent triangles, hence the visual fidelity of the geometry is not changed. We prove that the increase in the number of triangles due to this splitting is 50% in the worst case, however for all models we tested the increase was less than 2%. We also prove tight bounds on the number of triangles needed for a single‐strip representation of a model with holes on its boundary. Our strips can be used not only for efficient rendering, but also for other applications including the generation of space filling curves on a manifold of any arbitrary topology.
Cornoid Lamella-Like Structures in HIV-Associated Epidermodysplasia Verruciformis: A Unique Histopathologic Finding

Abstract:Epidermodysplasia verruciformis (EV) is an uncommon inherited skin condition with increased vulnerability to widespread infection by certain human papillomavirus types, resulting in extensive verruca plana-like papules coalescing to large confluent plaques. Since the AIDS epidemic starting in the 1980s, an acquired type of EV has been described in patients infected with human immunodeficiency virus. The histopathologic features of EV consist of papillated epidermal hyperplasia with hypergranulosis and a distinct bluish-gray color in the large human papillomavirus-infected keratinocytes in the stratum granulosum. The authors present a case of HIV-associated EV with a unique histopathologic finding of multiple cornoid lamella-like structures. To the authors' knowledge, this finding has not been previously described in the literature.
Role of laminin in the attachment and metastasis of murine tumor cells.

We have studied the attachment of two murine metastatic cell lines and of a transformed, nonmetastatic sarcoma cell line to type IV (basement membrane) collagen. The metastatic cells attached preferentially to type IV collagen, whereas the nonmetastic cells attached best to type I collagen. Laminin increased both the rate and the number of metastatic cells attaching to type IV collagen, while fibronectin had no effect. Antibodies to laminin prevented the attachment of metastatic cells to type IV collagen, while antibodies to fibronectin prevented the attachment of the nonmetastatic cells. The number of pulmonary metastases which formed after i.v. injection of cells into C57BL mice was used to measure the metastatic propensity of these cell lines. A subpopulation of the metastatic cells selected for by their ability to attach to type IV collagen in the presence of laminin produced more metastases than did unattached cells or cells attached with fibronectin. In addition, incubation of metastatic cells with antibody to laminin prior to injection into mice markedly reduced the number of lung metastases. These data suggest that laminin promotes the attachment of metastatic tumor cells to basement membrane during the metastaatic process.
Electroacupuncture at PC6 or ST36 Influences the Effect of Tacrine on the Motility of Esophagus

Aim. To investigate the mechanisms of gastrointestinal side effects of tacrine, and find treatment methods with electroacupuncture (EA). Methods. Twenty-five healthy cats were randomly divided into 5 groups: gastric-distention group (model group), tacrine group (cholinesterase inhibitor), tacrine + sham acupoint group (control group), tacrine + PC6 (neiguan) group, and tacrine + ST36 (zusanli) group, with 5 cats in each group. Saline 2 mL i.p. was given 30 min before gastric distention in model group. Tacrine 5.6 mg/kg i.p. was given 30 minutes before gastric distention in the other groups. Tacrine + sham acupoint group (control group), tacrine + PC6 group, and tacrine + ST36 group received EA at corresponding acupoints during gastric distention. The frequency of TLESRs and LESP were recorded by using a perfused sleeve assembly. Results. Compared with the model group, tacrine significantly increased the frequency of gastric distention-induced TLESR (P < 0.05) but did not influence the rate of common cavity during TLESR. Tacrine significantly increased the LESP, which could not remain during gastric distention. EA at PC6 could decrease the frequency of TLESR and maintain the increase of LESP, but EA at ST36 did not have these effects. Conclusion. Tacrine can significantly increase the gastric distention-induced transient lower esophageal sphincter relaxations (TLESRs). Electroacupuncture (EA) at PC6 may reverse the above side effect.
Tandem Internal Carotid Artery/Middle Cerebral Artery Occlusion: An Independent Predictor of Poor Outcome After Systemic Thrombolysis

Background and Purpose— Although tandem internal carotid artery/middle cerebral artery (MCA; TIM) occlusion has been associated with low recanalization rate after IV tissue plasminogen activator (tPA), its independent contribution on stroke outcome remains unknown. Moreover, whether the relative resistance to thrombolysis in tandem lesions varies depending on the location of MCA clot remains uncertain. Methods— Two hundred and twenty-one consecutive stroke patients with an acute MCA occlusion treated with IV tPA were studied. Emergent carotid artery ultrasound and transcranial Doppler (TCD) examinations were performed in all patients before treatment. Recanalization was assessed on TCD at 2 hours of tPA bolus. National Institutes of Health Stroke Scale (NIHSS) scores were obtained at baseline and after 24 hours. Modifed Rankin Scale score was used to assess outcome at 3 months. Results— Median prebolus NIHSS score was 16 points. On TCD, 156 (71.6%) patients had a proximal and 65 (29.4%) a distal MCA occlusion. TIM occlusion was identified in 44 (19.9%) patients. Eighteen (41.9%) patients with and 123 (69.5%) without TIM lesions achieved an MCA recanalization (P=0.01). In a logistic regression model, hyperglycemia >140 mg/dL (odds ratio [OR] 3.3, 95% CI, 1.6 to 6.8) and the presence of TIM occlusion (OR 2.8, 95% CI, 1.1 to 6.9) emerged as independent predictors of absence of recanalization. However, the independent contribution of TIM lesions on poor response to thrombolysis varied depending on the location of MCA occlusion. TIM occlusion independently predicted resistance to thrombolysis in patients with proximal (OR 4.63, 95% CI, 1.79 to 11.96), but not in those with distal MCA occlusion. Patients with TIM occlusion had worse short- (P<0.0001) and long-term (P<0.0001) clinical outcome. Conclusions— TIM occlusion independently predicts poor outcome after IV thrombolysis. However, its impact varies depending on the location of MCA clot. Therefore, emergent carotid ultrasound plus TCD examinations may improve the selection of patients for more aggressive reperfusion strategies.
Effects of 6‐meals‐a‐day feeding and 6‐meals‐a‐day feeding combined with adrenalectomy on daily gene expression rhythms in rat epididymal white adipose tissue

The master clock in the hypothalamic suprachiasmatic nucleus (SCN) is assumed to synchronize the tissue‐specific rhythms of the peripheral clocks with the environmental day/night changes via neural, humoral and/or behavioral connections. The feeding rhythm is considered an important Zeitgeber for peripheral clocks, as daytime feeding reverses (clock) gene rhythms in the periphery, but not in the SCN. In this study, we investigated the necessity of a daily feeding rhythm for maintaining gene expression rhythms in epididymal white adipose tissue (eWAT). We showed that 7 of 9 rhythmic metabolic/adipokine genes, but not clock genes, lost their rhythmicity upon exposure to 6‐meals‐a‐day feeding. Previously, we showed comparable effects of adrenalectomy on eWAT; therefore, subsequently we investigated the effect of simultaneous disruption of these humoral and behavioral signaling pathways, by exposing adrenalectomized animals to 6‐meals‐a‐day feeding. Interestingly, under these conditions, all the clock genes and 10 of 11 rhythmic metabolic/adipokine genes lost their rhythmicity. These data indicate that adrenal hormones and feeding rhythm are indispensable for maintaining daily rhythms in metabolic/adipokine gene, but not clock gene, expression in eWAT. In contrast, at least one of these two signals should be present in order for eWAT clock gene rhythms to be maintained.
Modelling the Generation and Propagation of Ultrasonic Signals in Cylindrical Waveguides

Elongated cylindrical structures like rods, pipes, cable strands or fibers, support the propagation of mechanical waves at ultrasonic frequencies along their axes. This waveguide behaviour is used in a number of scientific and engineering applications: the Non Destructive Evaluation (NDE) of the structural health of civil engineering elements for safety purposes (Rose, 2000), in linear displacement sensors (Seco et al., 2009) for high accuracy absolute linear position estimation, in the evaluation of material properties of metal wires, optical fibers or composites (Nayfeh & Nagy, 1996), and as fluid sensors in pipes transporting liquids (Ma et al., 2007). These applications demand exact quantitative models of the processes of wave generation, propagation and reception of the ultrasonic signals in the waveguides.
Solar-powered drip irrigation enhances food security in the Sudano–Sahel

Meeting the food needs of Africa’s growing population over the next half-century will require technologies that significantly improve rural livelihoods at minimal environmental cost. These technologies will likely be distinct from those of the Green Revolution, which had relatively little impact in sub-Saharan Africa; consequently, few such interventions have been rigorously evaluated. This paper analyzes solar-powered drip irrigation as a strategy for enhancing food security in the rural Sudano–Sahel region of West Africa. Using a matched-pair comparison of villages in northern Benin (two treatment villages, two comparison villages), and household survey and field-level data through the first year of harvest in those villages, we find that solar-powered drip irrigation significantly augments both household income and nutritional intake, particularly during the dry season, and is cost effective compared to alternative technologies.
The Dig Task: A Simple Scent Discrimination Reveals Deficits Following Frontal Brain Damage

Cognitive impairment is the most frequent cause of disability in humans following brain damage, yet the behavioral tasks used to assess cognition in rodent models of brain injury is lacking. Borrowing from the operant literature our laboratory utilized a basic scent discrimination paradigm1-4in order to assess deficits in frontally-injured rats. Previously we have briefly described the Dig task and demonstrated that rats with frontal brain damage show severe deficits across multiple tests within the task5. Here we present a more detailed protocol for this task. Rats are placed into a chamber and allowed to discriminate between two scented sands, one of which contains a reinforcer. The trial ends after the rat either correctly discriminates (defined as digging in the correct scented sand), incorrectly discriminates, or 30 sec elapses. Rats that correctly discriminate are allowed to recover and consume the reinforcer. Rats that discriminate incorrectly are immediately removed from the chamber. This can continue through a variety of reversals and novel scents. The primary analysis is the accuracy for each scent pairing (cumulative proportion correct for each scent). The general findings from the Dig task suggest that it is a simple experimental preparation that can assess deficits in rats with bilateral frontal cortical damage compared to rats with unilateral parietal damage. The Dig task can also be easily incorporated into an existing cognitive test battery. The use of more tasks such as this one can lead to more accurate testing of frontal function following injury, which may lead to therapeutic options for treatment. All animal use was conducted in accordance with protocols approved by the Institutional Animal Care and Use Committee.
Effect of osmotic compression on the force-velocity properties of glycerinated rabbit skeletal muscle cells

The force-velocity relations of single glycerinated rabbit psoas muscle fibers at 5 degrees C were studied at maximum and half-maximum activation in the presence of 0 (control) and 39-145 g/liter dextran T- 70. Resting fiber diameter decreased progressively to approximately 70% of the nondextran control as the dextran concentration was increased. Isometric force at full activation increased to a maximum of 136% of control at 111 g/liter dextran and then fell to 80% of control in 145 g/liter dextran. Maximum velocity, which fell to 49% of the control value in the highest concentration of dextran, was nearly constant at approximately 65% control over the range of 58-111 g/liter dextran. Relative maximum power, which gives an estimate of changes in intermediate velocity, was not significantly reduced by dextran concentrations up to 76 g/liter, but then fell progressively to 62% of control in the highest concentration of dextran. At half-maximum activation, maximum velocity and relative maximum power were not significantly different from the values at full activation. The results obtained at partial activation indicate that the decline of velocity seen in the presence of dextran is not due to a passive internal load and that the dextran does not cause a viscous resistance to shortening. The increased velocity in the absence of dextran can be explained by the reduced ability of cross-bridges to resist shortening, as proposed by Goldman (1987. Biophys. J. 51:57).
Targeting hypoxic microenvironment of pancreatic xenografts with the hypoxia-activated prodrug TH-302

Previous reports have suggested that the hypoxic microenvironment provides a niche that supports tumor stem cells, and that this might explain clinical observations linking hypoxia to metastasis. To test this, we examined the effects of a hypoxia-activated prodrug, TH-302, on the tumor-initiating cell (TIC) frequency of patient-derived pancreatic xenografts (PDX). The frequencies of TIC, measured by limiting dilution assay, varied widely in 11 PDX models, and were correlated with rapid growth but not with the levels of hypoxia. Treatment with either TH-302 or ionizing radiation (IR), to target hypoxic and well-oxygenated regions, respectively, reduced TIC frequency, and the combination of TH-302 and IR was much more effective in all models tested. The combination was also more effective than TH-302 or IR alone controlling tumor growth, particularly treating the more rapidly-growing/hypoxic models. These findings support the clinical utility of hypoxia targeting in combination with radiotherapy to treat pancreatic cancers, but do not provide strong evidence for a hypoxic stem cell niche.
fMRI Data Predict Individual Differences of Behavioral Effects of Nicotine: A Partial Least Square Analysis

Reorienting of visuospatial attention can be investigated by comparing reaction times to validly and invalidly cued targets (validity effect). The cholinergic agonist nicotine reduces the validity effect and neural activity in the posterior parietal cortex. Behavioral effects of nicotine in nonsmokers are weak and it has been suggested that differences in baseline behavior before nicotine exposure may influence the effect of nicotine. This study investigates whether individual differences in reorienting-related neural activity under placebo may be used to predict individual nicotine effects. Individual nicotine effects are defined as the behavioral effects under nicotine that cannot be predicted by the behavioral data under placebo. Fifteen nonsmoking subjects were given either placebo or nicotine gum (2 mg) prior to performing a cued target detection task inside a magnetic resonance imaging scanner. The results of a partial least square analysis suggest that neural data under placebo can be used to predict individual behavioral effects of nicotine. Neural activity in the left posterior cingulate cortex, the right superior parietal cortex, the right dorsal medial prefrontal cortex, and the left ventral medial prefrontal cortex significantly contributes to that prediction. We conclude that nicotine effects on reorienting attention depend on individual differences in reorienting-related neural activity under placebo and suggest that functional magnetic resonance imaging data can contribute to the prediction of individual drug effects.
Comparison of the hybrid capture tube test and PCR for detection of human papillomavirus DNA in cervical specimens

The strong association of human papillomavirus (HPV) and cervical cancer makes it important to study HPV detection methods that may play a role in cervical cancer screening. We compared two DNA methods that are commonly used for HPV research in the United States: the MY09/MY11 L1 consensus primer PCR-based test and the first-generation Hybrid Capture tube method (HCT). Laboratory assays by each method were performed with 596 cervicovaginal specimens collected from participants in a large cohort study conducted in Portland, Oreg. Included were 499 specimens from women whose cytology was normal and 97 specimens from women with squamous intraepithelial lesions (SILs). The overall HPV DNA positivity for known types was 22.5% by PCR compared to 13.6% by HCT. When the analysis was restricted to the 14 HPV types detectable by both methods, the sensitivity of HCT, with PCR used as the standard for HPV status, was higher for specimens from women with concurrent SILs (81.0%) than for specimens from women with normal cytology (46.7%). Among specimens testing positive by both methods, 97.2% of the time the two methods agreed on whether specimens were positive for cancer-associated HPV types. Both of these HPV test methods provide information that supplements the information provided by the Pap smear. The PCR method has higher analytic sensitivity than HCT in detecting HPV, but HCT may be helpful in identifying women with concurrent SILs.