Miracle-dz/UniFAR-FTUs huggingface dataset:
Hyperreals and Their Applications

NSA can be introduced in multiple ways. Instead of choosing one option, these notes include three introductions. Section 1 is best-suited for those who are familiar with logic, or who want to get a flavor of model theory. Section 2 focuses on some common ingredients of various axiomatic approaches to NSA, including the star-map and the Transfer principle. Section 3 explains the ultrapower construction of the hyperreals; it also includes an explanation of the notion of a free ultrafilter. 1 Existence proofs of non-standard models 1.1 Non-standard models of arithmetic The second-order axioms for arithmetic are categoric: all models are isomorphic to the intended model ⟨N, 0,+1⟩. Dedekind was the first to prove this [Dedekind, 1888b]; his ‘rules’ for arithmetic were turned into axioms a year later by Peano, giving rise to what we now call “Peano Arithmetic” (PA) [Peano, 1889]. The first-order axioms for arithmetic are non-categoric: there exist nonstandard models ⟨∗N, ∗0, ∗+∗1⟩ that are not isomorphic to ⟨N, 0,+1⟩. Skolem proved this based on the Compactness property of first-order logic (FOL) [Skolem, 1934]. With the Löwenheim-Skolem theorem, it can be proven that there exist models of any cardinality. ∗N contains finite numbers as well as infinite numbers. We now call ∗N a set of hypernatural numbers. For a discussion of the order-type of countable non-standard models of arithmetic, see e.g. [Boolos et al., 2007, Chapter 25, p. 302–318] and [McGee, 2002]. More advanced topics can be found in this book: [Kossak and Schmerl, 2006]. 1.2 Non-standard models of real closed fields The second-order axioms for the ordered field of real numbers are categoric: all models are isomorphic to the intended model ⟨R,+,×,≤⟩. A “real closed field” (RCF) is a field which has the same first-order properties as R. Robinson realized that Skolem’s existence proof of nonstandard models of arithmetic could be applied RCFs too. He thereby founded the field of non-standard analysis (NSA) [Robinson, 1966]. The axioms for RCFs (always in FOL) are non-categoric: there exist non-standard models ⟨∗R, ∗+, ∗×, ∗ ≤⟩ that are not isomorphic to ⟨R,+,×,≤⟩. With the Löwenheim-Skolem theorem it can be proven that there exist models of any cardinality; in particular, there are countable models (cf. Skolem ‘paradox’ [Skolem, 1922]).
Intimin-dependent binding of enteropathogenic Escherichia coli to host cells triggers novel signaling events, including tyrosine phosphorylation of phospholipase C-gamma1

Enteropathogenic Escherichia coli (EPEC) interactions with HeLa epithelial cells induced the tyrosine phosphorylation of a host protein of approximately 150 kDa, Hp150. Phosphorylation of this protein band was dependent on the interaction of the EPEC protein intimin with epithelial cell surfaces and was correlated with pedestal formation. Hp150 phosphorylation was specifically inhibited by the addition of cytochalasin D, an inhibitor of actin polymerization, although this appeared to be an indirect effect preventing interaction of intimin with its receptor, tyrosine-phosphorylated Hp90, and thus triggering Hp150 phosphorylation. This suggests the involvement of an actin-based movement of membrane-bound tyrosine-phosphorylated Hp90 to allow its interaction with intimin. Analysis of the tyrosine-phosphorylated Hp150 protein demonstrated that it is heterogeneous in composition, with phospholipase C-gamma1 (PLC-gamma1) being a minor component. Activation of PLC-gamma1 by tyrosine phosphorylation leads to inositol triphosphate and Ca2+ fluxes, events detected following EPEC infection. EPEC also induced tyrosine dephosphorylation of host proteins, including a 240-kDa host protein (Hp240), following EPEC infection. Protein dephosphorylation appears to be a signaling event which occurs independently of intimin. Inhibition of host tyrosine dephosphorylation events by the addition of the tyrosine phosphatase inhibitor sodium vanadate did not prevent actin accumulation beneath the adherent bacteria. We conclude that EPEC induces two sets of signaling events following infection. One set is dependent on EPEC proteins secreted by the type III secretion pathway (EspA and EspB) which induces Hp90 tyrosine phosphorylation and dephosphorylation of host phosphotyrosine proteins. The second set, which is also dependent on the first signaling events, requires intimin interaction with its receptor, tyrosine-phosphorylated Hp90, to trigger Hp150 and PLC-gamma1 tyrosine phosphorylation as well as pedestal formation. Inhibition of pedestal formation by tyrosine kinase inhibitors indicates an important role for tyrosine phosphorylation events during EPEC subversion of host processes.
Robust techniques for pre- and post-surgical voice analysis

Objective measure and tracking of the most relevant voice parameters is obtained for voice signals coming from patients that underwent thyroplasty implant. Due to the strong noise component and high non-stationarity of the pre-surgical signal, robust methods are proposed, capable to recover the fundamental frequency, tracking formants, and quantify the degree of hoarseness as well as the patient’s functional recovery in an objective way. Thanks to its high-resolution properties, autoregressive parametric modelling is considered, with modifications required for the present application. The method is applied to sustained /a/ vowels, recorded from patients suffering from unilateral vocal cord paralysis. Pre- and post-surgical parameters are evaluated, that allow the physician quantifying the effectiveness of the Montgomery thyroplasty implant.
Effective Straggler Mitigation: Attack of the Clones

Small jobs, that are typically run for interactive data analyses in datacenters, continue to be plagued by disproportionately long-running tasks called stragglers. In the production clusters at Facebook and Microsoft Bing, even after applying state-of-the-art straggler mitigation techniques, these latency sensitive jobs have stragglers that are on average 8 times slower than themedian task in that job. Such stragglers increase the average job duration by 47%. This is because current mitigation techniques all involve an element of waiting and speculation. We instead propose full cloning of small jobs, avoiding waiting and speculation altogether. Cloning of small jobs only marginally increases utilization because workloads show that while the majority of jobs are small, they only consume a small fraction of the resources. The main challenge of cloning is, however, that extra clones can cause contention for intermediate data. We use a technique, delay assignment, which efficiently avoids such contention. Evaluation of our system, Dolly, using production workloads shows that the small jobs speedup by 34% to 46% after state-of-the-artmitigation techniques have been applied, using just 5% extra resources for cloning.
A phase II trial of IPI-504 (retaspimycin hydrochloride), a novel Hsp90 inhibitor, in patients with relapsed and/or refractory stage IIIb or stage IV non-small cell lung cancer (NSCLC) stratified by EGFR mutation status.

8073 Background: IPI-504 (retaspimycin hydrochloride) is a potent, water-soluble heat shock protein 90 (Hsp90) inhibitor. IPI-504 causes the degradation of mutated epidermal growth factor receptor (mtEGFR) kinase and cMET in NSCLC cell lines. IPI-504 also significantly reduces tumor growth in murine xenograft models, including tumors resistant to tyrosine kinase inhibitors (TKIs). METHODS This phase II trial is investigating the safety and antitumor activity of intravenous (IV) 400 mg/m2 IPI-504 given twice weekly for 2 out of 3 weeks. Eligible patients (pts) had stage IIIb (w/ malignant effusion) or stage IV NSCLC that progressed after TKI treatment. EGFR mutation analysis was performed on all pts. Two cohorts (n=10 each) were initially enrolled and stratified by EGFR status (mtEGFR or wtEGFR). Planned cohort expansion to 29 pts occurred if ≥ 1 pt from that cohort had a best response of stable disease (SD) ≥12 wks or partial response (PR). Pts were evaluated for safety and RECIST response every 6 weeks. Central, independent radiology review was performed for all imaging studies. RESULTS 43 pts have been enrolled: 10 mtEGFR, 17 wtEGFR, 12 pending analysis, and 4 EGFR-failed samples. 19 pts are currently on study. Median age is 62 yrs (range 31-77). Median no. of prior therapies is 3. Common related adverse events are fatigue, nausea, and diarrhea. Anti-tumor activity has been observed, see table. Both cohorts have been expanded. CONCLUSIONS IPI-504 monotherapy has been well tolerated, with evidence of anti-tumor activity, particularly and unexpectedly in the wtEGFR cohort. These data suggest that IPI-504 may have antitumor activity in heavily pretreated pts with advanced NSCLC. Further evaluation continues in the expansion phase of the trial. [Table: see text] [Table: see text].
Role of alcohol dehydrogenase activity and the acetaldehyde in ethanol- induced ethane and pentane production by isolated perfused rat liver.

The volatile hydrocarbons ethane and n-pentane are produced at increased rates by isolated perfused rat liver during the metabolism of acutely ethanol. The effect is half-maximal at 0.5 mM-ethanol, and its is not observed when inhibitors of alcohol dehydrogenase such as 4-methyl- or 4-propyl-pyrazole are also present. Propanol, another substrate for the dehydrogenase, is also active. Increased alkane production can be initiated by adding acetaldehyde in the presence of 4-methyl- or 4-propyl-pyrazole. An antioxidant, cyanidanol, suppresses the ethanol-induced alkane production. The data obtained with the isolated organ demonstrate that products known to arise from the peroxidation of polyunsaturated fatty acids are formed in the presence of ethanol and that the activity of alcohol dehydrogenase is required for the generation of the active radical species. The mere presence of ethanol, e.g. at binding sites of special form(s) of cytochrome P-450, it not sufficient to elicit an increased production of volatile hydrocarbons by rat liver.
The Impact of Post-Acne Scars on the Quality of Life Among Young Adults in Singapore

Background and Objectives: Post-acne scarring is a common and well-known sequelae of acne vulgaris. We aim to study the impact of post-acne scarring on the quality of life (QOL) among young adults in Singapore. Settings and Design: This was a non-interventional prospective study. Materials and Methods: Patients aged 21-40 years with atrophic and hypertrophic acne scars who attended the National Skin Centre, Singapore were recruited in the study. They answered a simple questionnaire and the clinical severity of their acne scars were assessed by the doctor. Statistical Analysis Used: Descriptive analyses using absolute and percentage frequencies were performed on all data. The test of significance was two-sided and was set at 5% (P ≤ 0.05). Differential analyses were conducted using the parametric, independent two-sample t-test and non-parametric Mann–Whitney U-test. The statistical assessments were performed using SPSS version 18.0. Results: A total of 100 patients were studied. The mean patients’ subjective self-scoring on the severity of their post-acne scars was 5.78/10 and the mean Dermatology Life Quality Index (DLQI) for post-acne scars was 5.61. Many (36%, n = 36) were self-conscious of their acne scars and 24%, (n = 24) felt that their acne scars was affecting their social activities. Conclusions: Our study showed that post-acne scars have a significant negative effect on the QOL of young adults. It highlights the need to increase public awareness of acne vulgaris and its sequelae through education programs and advocating early treatment to reduce the risk of scarring.
Direct Detection and Identification of Enteroviruses from Faeces of Healthy Nigerian Children Using a Cell-Culture Independent RT-Seminested PCR Assay

Recently, a cell-culture independent protocol for detection of enteroviruses from clinical specimen was recommended by the WHO for surveillance alongside the previously established protocols. Here, we investigated whether this new protocol will show the same enterovirus diversity landscape as the established cell-culture dependent protocols. Faecal samples were collected from sixty apparently healthy children in Ibadan, Nigeria. Samples were resuspended in phosphate buffered saline, RNA was extracted, and the VP1 gene was amplified using WHO recommended RT-snPCR protocol. Amplicons were sequenced and sequences subjected to phylogenetic analysis. Fifteen (25%) of the 60 samples yielded the expected band size. Of the 15 amplicons sequenced, 12 were exploitable. The remaining 3 had electropherograms with multiple peaks and were unexploitable. Eleven of the 12 exploitable sequences were identified as Coxsackievirus A1 (CVA1), CVA3, CVA4, CVA8, CVA20, echovirus 32 (E32), enterovirus 71 (EV71), EVB80, and EVC99. Subsequently, the last exploitable sequence was identified as enterobacteriophage baseplate gene by nucleotide BLAST. The results of this study document the first description of molecular sequence data on CVA1, CVA8, and E32 strains present in Nigeria. The result further showed that species A enteroviruses were more commonly detected in the region when cell-culture bias is bypassed.
Effects of Water Absorption on Creep Behavior of Wood—Plastic Composites

The effects of filler loading and immersion in water on the creep/ recovery behavior of composites made from MDF (medium density fiberboard) flour (as natural fiber) and recycled HDPE (high density polyethylene) (as resin) were studied (at 60, 70, and 80% by weight fiber loadings). Nominal density and dimensions of the manufactured panels were 1 g/cm3 and 35 × 35 × 1 cm3, respectively. Maximum values of flexural modulus and strength of panels were obtained at 70 and 60% fiber content, respectively. The creep strain decreased as the lignocellulosic flour level increased. Water absorption has negative effect on creep behavior of MDF flour/HDPE composites. For all filler contents, it can be seen that the creep strain increases when the immersion time increases. This is believed to occur as a result of the cumulative effect of absorbed water on fiber matrix debonding and easier relaxation of the molecules at higher moisture contents leading to larger deformations at longer times.
GaN-on-Si Quasi-Vertical Power MOSFETs

We demonstrate the first GaN vertical transistor on silicon, based on a 6.7-<inline-formula> <tex-math notation="LaTeX">$\mu \text{m}$ </tex-math></inline-formula>-thick n-p-n heterostructure grown on 6-inch silicon substrate by metal organic chemical-vapor deposition. The devices consist of trench-gate quasi-vertical metal–oxide–semiconductor field-effect transistors with a 4-<inline-formula> <tex-math notation="LaTeX">$\mu \text{m}$ </tex-math></inline-formula>-thick drift layer, exhibiting enhancement-mode operation with a threshold voltage of 6.3V and an ON/OFF ratio of over 10<sup>8</sup>. A high OFF-state breakdown voltage of 645 V along with a specific ON-resistance of <inline-formula> <tex-math notation="LaTeX">$6.8~\textsf {m}\Omega \cdot \textsf {cm}^{{\textsf {2}}}$ </tex-math></inline-formula> were achieved thanks to the high-quality 4-<inline-formula> <tex-math notation="LaTeX">$\mu \text{m}$ </tex-math></inline-formula>-thick GaN drift layer, presenting a relatively low defect density and very high electron mobility (720 cm<inline-formula> <tex-math notation="LaTeX">$^{{\textsf {2}}}/\textsf {V}\cdot \textsf {s}$ </tex-math></inline-formula>). This excellent performance represents a major step toward the realization of high-performance GaN vertical power transistors on low-cost silicon substrates.
The NIQ of Lopinavir is Predictive of a 48-Week Virological Response in Highly Treatment-Experienced HIV-1-Infected Subjects Treated with a Lopinavir/Ritonavir-Containing Regimen

Objective To investigate the normalized inhibitory quotient (NIQ) of lopinavir (LPV) as a predictor of 48-week virological responses to a lopinavir/ritonavir (LPV/RTV)-containing regimen in highly treatment-experienced patients. Design We calculated the NIQ for 59 patients who completed 48 weeks’ treatment and assessed the factors predicting a week-48 virological response. Methods The NIQ was calculated by dividing each subject's IQ (LPV Ctrough/fold change in LPV susceptibility, as assessed by VirtualPhenotype™) by a reference IQ (mean population LPV Ctrough/fold change in LPV IC50, as assessed by VirtualPhenotype™). HIV-1 RNA was assessed by NASBA (quantification limit: 80 copies/ml). The general linear model and multiple logistic regression, respectively, were used to estimate the independent predictors of a change in viral load and HIV-1 RNA <80 copies/ml. Results The median (interquartile range) baseline levels of CD4+ cells and HIV-1 RNA were 251 (141–385) cells/μl and 4.85 (4.49–5.23) log10 copies/ml, respectively. The median NIQ was 2.2 (0.5–14). At week 48, the median decrease in HIV-1 RNA was 1.4 (0.59–2.79) log10 copies/ml (P<0.0001), with 24 subjects (41%) reaching <80 copies/ml. Baseline HIV-1 RNA (P=0.001), CD4+ cells (P=0.002) and NIQ (P=0.0006) independently predicted the week-48 change in viral load, whereas baseline CD4+ cells (P=0.011) and NIQ (P=0.009) independently predicted a week-48 HIV-1 RNA level of <80 copies/ml. Conclusion The LPV NIQ independently predicts virological responses to an LPV/RTV-containing regimen in highly treatment-experienced HIV-1-infected patients.
Safety Evaluation Method of Design and Control for Human-Care Robots

We propose the world's first general method of evaluating safety for human-care robots. In the case of a careless collision between a robot and a human, impact force and impact stress are chosen as evaluation measures, and a danger-index is defined to quantitatively evaluate the effectiveness of each safety strategy used for design and control. As a result, this proposed method allows us to assess the contribution of each safety strategy to the overall safety performance of a human-care robot. In addition, a new type of three-dimensional robot simulation system for danger evaluation is constructed on a PC. The system simplifies the danger evaluation of both the design and control of various types of human-care robots to quantify the effectiveness of various safety strategies.
Prevalence and Characterization of Heterogeneous Vancomycin-Intermediate Staphylococcus aureus Isolates from 14 Cities in China

ABSTRACT The prevalence of heterogeneous vancomycin-intermediate Staphylococcus aureus (hVISA) among 1,012 vancomycin-susceptible methicillin (meticillin)-resistant S. aureus isolates collected from 14 cities in China from 2005 to 2007 was 13 to 16%, as determined by a combination of (i) measurement by the modified population analysis profile-area under the curve method (PAP-AUC) and (ii) estimation from the measured sensitivity and specificity of a screening method. Two hundred isolates from blood were chosen as a subset for measurement of the sensitivities and the specificities of several previously described screening methods by using the results of PAP-AUC as the reference. During this testing, one isolate was found to be a vancomycin-intermediate S. aureus (VISA) strain so was not used in the evaluation of the screening tests. Of the other 199 isolates, 26 (13.1%) were hVISA, as assessed by PAP-AUC. A screening cascade of culturing the isolates on brain heart infusion agar containing teicoplanin (5 mg/liter) and then subjecting the positive isolates to a macro-Etest method was applied to the 812 non-blood isolates, yielding 149 positive results. From these results and by adjusting for sensitivity (0.423) and specificity (0.861), the prevalence was estimated to be 15.7%. The precision of that estimate was assessed by reapplying the screening cascade to 120 randomly selected isolates from the 812 non-blood isolates and simultaneously determining their heterogeneous vancomycin-intermediate susceptibility status by PAP-AUC. Because PAP-AUC is impractical for use with large numbers of isolates, the screening-based estimation method is useful as a first approximation of the prevalence of hVISA. Of the 27 VISA or hVISA isolates from blood, 22.2% and 74.1% were staphylococcal chromosome cassette mec types II and III, respectively, while 77.8% and 22.2% were agr type 1 and agr type 2, respectively; the MIC ranges were 0.5 to 4 mg/liter for vancomycin and 0.25 to 1 mg/liter for daptomycin.
Active reduction of sound transmission through double panel partitions - A physical analysis of the observed phenomena

The paper addresses the active control of the sound transmission through a double panel partition. A literature survey indicates that active cavity control is much more efficient than active structural control. The vibro-acoustic behaviour of the double wall is analysed in light of this observation. This analysis shows that the sound transmission through the double panel is larger than that through a single panel at the resonances of the coupled eigenmodes with the strongest vibro-acoustic coupling between the plate motion and the pressure in the cavity. At frequencies where the double panel radiates much sound energy, the acoustic energy in the cavity is also high. Active control simulations illustrate that the cavity control approach, reducing not only the uncoupled (0,0,0) mode, achieves a considerable reduction of the sound transmission over a large frequency band. Both symmetrical and asymmetrical double panel systems are considered.
Expert opinion: defining response to omalizumab in patients with chronic spontaneous urticaria

Omalizumab (a recombinant, humanized anti-immunoglobulin-E anti-body) has been shown in three pivotal Phase III trials (ASTERIA I, II and GLACIAL) and real-world studies to be effective and well-tolerated for the treatment of chronic spontaneous urticaria (CSU), and is the only licensed third-line treatment for CSU. However, the definition of response to omalizumab treatment often differs between clinical trials, real-world studies, and daily practice of individual physicians globally. As such, a consensus definition of “complete”, “partial” and “non-response” to omalizumab is required in order to harmonize treatment management and compare data. Here, it is proposed that a disease measurement tool, for example, the 7-Day Urticaria Activity Score (UAS7) or Urticaria Control Test (UCT) is required for defining response. The addition of quality of life measurements is helpful to gain insight into a patient’s disease burden and its changes during treatment. A potential omalizumab treatment approach based on speed and pattern of response at 1-3 and 3-6 months is suggested. In cases where there is no response during the first 1-3 months, physicians should consider reassessing the original CSU diagnosis. Moreover, in patients showing partial response at 12 weeks, treatment with omalizumab should be continued in order to maximize the possibility of achieving symptom control. If patients have a UAS7>6 and/or UCT<12, then continued treatment is advised, dependent on physician judgement and patient expectations. In treatment responders, omalizumab treatment can be resumed at a later stage after discontinuation with the same degree of symptom control.
Silent injection for saliency based sensorless control by means of current oversampling

Sensorless control approaches for low and zero speed determine the rotor position by injecting high frequency voltage signals. Current measurement noise and quantization necessitate a minimum amount of injection amplitude, which implies an acoustic noise emission that for many applications is unacceptable. This paper proposes to sample the current with the maximum A/D conversion frequency while processing the data with an FPGA. By means of a recursive least squares method and an algorithmic extension, high precision current slopes are calculated from low injection voltage. Experimental results show that the injection magnitude can be reduced by factor 7 to 10 compared to standard PWM centered current measurement.