Miracle-dz/UniFAR-FTUs huggingface dataset:
On-line Ramsey Numbers

Consider the following game between two players, Builder and Painter. Builder draws edges one at a time and Painter colors them in either red or blue, as each appears. Builder's aim is to force Painter to draw a monochromatic copy of a fixed graph $G$. The minimum number of edges which Builder must draw, regardless of Painter's strategy, in order to guarantee that this happens is known as the on-line Ramsey number $\tilde{r}(G)$ of $G$. Our main result, relating to the conjecture that $\tilde{r}(K_t)=o(({r(t)\atop2}))$, is that there exists a constant $c>1$ such that $\tilde{r}(K_t)\leq c^{-t}({r(t)\atop2})$ for infinitely many values of $t$. We also prove a more specific upper bound for this number, showing that there exists a positive constant $c$ such that $\tilde{r}(K_t)\leq t^{-c\frac{\log t}{\log \log t}}4^t$. Finally, we prove a new upper bound for the on-line Ramsey number of the complete bipartite graph $K_{t,t}$.
Edinburgh Research Explorer Identification of androgen receptor phosphorylation in the primate ovary in vivo

The androgen receptor (AR) is a member of the nuclear receptor superfamily, and is important for both male and female reproductive health. The receptor is a target for a number of post-translational modiﬁcations including phosphorylation, which has been intensively studied in vitro . However, little is known about the phosphorylation status of the receptor in target tissues in vivo . The common marmoset is a useful model for studying human reproductive functions, and comparison of the AR primary sequence from this primate shows high conservation of serines known to be phosphorylated in the human receptor and corresponding ﬂanking amino acids. We have used a panel of phosphospeciﬁc antibodies to study AR phosphorylation in the marmoset ovary throughout the follicular phase and after treatment with GNRH antagonist or testosterone propionate. In normal follicular phase ovaries, total AR (both phosphorylated and non-phosphorylated forms) immunopositive staining was observed in several cell types including granulosa cells of developing follicles, theca cells and endothelial cells lining blood vessels. Receptor phosphorylation at serines 81, 308, and 650 was detected primarily in the granulosa cells of developing follicles, surface epithelium, and vessel endothelial cells. Testosterone treatment lead to a modest increase in AR staining in all stages of follicle studied, while GNRH antagonist had no effect. Neither treatment signiﬁcantly altered the pattern of phosphorylation compared to the control group. These results demonstrate that phosphorylation of the AR occurs, at a subset of serine residues, in a reproductive target tissue in vivo , which appears refractory to hormonal manipulations.
Methicillin-Resistant Staphylococcus aureus (MRSA): Risk and Outcome of Colonized vs. Infected Patients

Abstract A retrospective study of 204 patients culture positive for methicillin-resistant Staphylococcus aureus compared infected and colonized patients. Seventy-eight patients were colonized and never developed infection (C), 24 were colonized and subsequently infected (C➧I), and 102 patients had 1 or more nosocomial infections with MRSA at time of first culture (I). The most prevalent sites of infection were wound (26.5%) and bloodstream (20.7%), whereas the respiratory tract and surgical wounds were both frequent sites of colonization. Stepwise discriminant analysis found the most important factors in differentiating likelihood of colonization vs. infection were recent prior hospitalization, history of wound debridement, and number of invasive procedures. Ten percent of (C) died and 25.5% of (I) died. MRSA contributed to death in 57.6% of the (I) deaths (p<.05). These results underscore the importance of differentiating (C) vs. (I) in hospitals where MRSA is endemic so that early specific treatment may be initiated. Risk factors for infection should be discriminated from those for acquisition of the organism.
Human Cdc45 is a proliferation‐associated antigen

Cell division cycle protein 45 (Cdc45) plays a critical role in DNA replication to ensure that chromosomal DNA is replicated only once per cell cycle. We analysed the expression of human Cdc45 in proliferating and nonproliferating cells. Our findings show that Cdc45 protein is absent from long‐term quiescent, terminally differentiated and senescent human cells, although it is present throughout the cell cycle of proliferating cells. Moreover, Cdc45 is much less abundant than the minichromosome maintenance (Mcm) proteins in human cells, supporting the concept that origin binding of Cdc45 is rate limiting for replication initiation. We also show that the Cdc45 protein level is consistently higher in human cancer‐derived cells compared with primary human cells. Consequently, tumour tissue is preferentially stained using Cdc45‐specific antibodies. Thus, Cdc45 expression is tightly associated with proliferating cell populations and Cdc45 seems to be a promising candidate for a novel proliferation marker in cancer cell biology.
Amantadine extended release for levodopa‐induced dyskinesia in Parkinson's disease (EASED Study)

ADS‐5102 is a long‐acting, extended‐release capsule formulation of amantadine HCl administered once daily at bedtime. This study investigated the safety, efficacy, and tolerability of ADS‐5102 in Parkinson's disease (PD) patients with levodopa‐induced dyskinesia. This was a randomized, double‐blind, placebo‐controlled, parallel‐group study of 83 PD patients with troublesome dyskinesia assigned to placebo or one of three doses of ADS‐5102 (260 mg, 340 mg, 420 mg) administered daily at bedtime for 8 weeks. The primary efficacy analysis compared change from baseline to week 8 in Unified Dyskinesia Rating Scale (UDysRS) total score for 340 mg ADS‐5102 versus placebo. Secondary outcome measures included change in UDysRS for 260 mg, 420 mg, Fatigue Severity Scale (FSS), Movement Disorder Society Unified Parkinson's Disease Rating Scale (MDS‐UPDRS), patient diary, Clinician's Global Impression of Change, and Parkinson's Disease Questionnaire (PDQ‐39). ADS‐5102 340 mg significantly reduced dyskinesia versus placebo (27% reduction in UDysRS, P = 0.005). In addition, ADS‐5102 significantly increased ON time without troublesome dyskinesia, as assessed by PD patient diaries, at 260 mg (P = 0.004), 340 mg (P = 0.008) and 420 mg (P = 0.018). Adverse events (AEs) were reported for 82%, 80%, 95%, and 90% of patients in the placebo, 260‐mg, 340‐mg, and 420‐mg groups, respectively. Constipation, hallucinations, dizziness, and dry mouth were the most frequent AEs. Study withdrawal rates were 9%, 15%, 14%, and 40% for the placebo, 260‐mg, 340‐mg, and 420‐mg groups, respectively. All study withdrawals in the active treatment groups were attributable to AEs. ADS‐5102 was generally well tolerated and resulted in significant and dose‐dependent improvements in dyskinesia in PD patients. © 2015 Adamas Pharmaceuticals, Inc. Movement Disorders published by Wiley Periodicals, Inc. on behalf of International Parkinson and Movement Disorder Society.
Use of a Computer to Take Booking Histories in a Hospital Antenatal Clinic: Acceptability to Midwives and Patients and Effects on the Midwife-Patient Interaction

An interactive computer system was used by midwives to acquire a full patient history at the first antenatal visit. The clinical efficacy of the system had been previously established. The present evaluation examined the effects of computer use on the interview process and on midwife-patient communications, and its acceptability to midwives and patients. Data included video recordings of 32 conventional interviews and of 63 interviews in which the computer was used, each with associated questionnaires assessing patients' reactions. Midwives' views were obtained through a structured discussion session. Computer use had no effects on patients' reactions to the interview, and midwives were enthusiastic. Detailed analysis of the video recordings using established quantitative techniques did not reveal any negative psychologic effects that would preclude the use of nurse-patient interactive computers. However, midwives were inclined to give less information to patients, especially when they were new to the computer, and to use more closed questions and leading questions. The findings have important implications for the future use of similar computer systems. These are presented in the form of guidelines for future systems design and implementation.
Jump-oriented programming: a new class of code-reuse attack

Return-oriented programming is an effective code-reuse attack in which short code sequences ending in a ret instruction are found within existing binaries and executed in arbitrary order by taking control of the stack. This allows for Turing-complete behavior in the target program without the need for injecting attack code, thus significantly negating current code injection defense efforts (e.g., W⊕X). On the other hand, its inherent characteristics, such as the reliance on the stack and the consecutive execution of return-oriented gadgets, have prompted a variety of defenses to detect or prevent it from happening. In this paper, we introduce a new class of code-reuse attack, called jump-oriented programming. This new attack eliminates the reliance on the stack and ret instructions (including ret-like instructions such as pop+jmp) seen in return-oriented programming without sacrificing expressive power. This attack still builds and chains functional gadgets, each performing certain primitive operations, except these gadgets end in an indirect branch rather than ret. Without the convenience of using ret to unify them, the attack relies on a dispatcher gadget to dispatch and execute the functional gadgets. We have successfully identified the availability of these jump-oriented gadgets in the GNU libc library. Our experience with an example shellcode attack demonstrates the practicality and effectiveness of this technique.
Three-phase synchronous PWM for flyback converter with power-factor correction using FPGA ASIC design

The design and development of a synchronous pulsewidth modulation (PWM) generator suitable for the three-phase flyback converter with transformer isolated and power-factor correction using a field-programmable gate array is proposed. The proposed three-phase synchronous PWM makes it possible for the converter to obtain the sinusoidal supply currents with a near-unity power factor. A high-frequency transformer is considered in the design to provide galvanic isolation and serves the dual role of inductor and transformer. Results are provided to demonstrate the effectiveness of the design.
Sex-Sorted Sperm and Fertility: An Alternative View

Abstract Although contemporary methods of physically separating X from Y chromosome-bearing spermatozoa are now very efficient, overall fertility rates following the use of sex-sorted sperm are not as impressive, in spite of many attempts to improve them. At the same time, there are suggestions from evolutionary biology, and from sex allocation theory in particular, that there may need to be a modification to the chance theory of sex determination in mammals. This is because it now appears that the mammalian female could have some influence on the sex of her offspring, and furthermore, that this influence could be preconceptual. If so, this could go some way towards accounting for the putative inefficiencies in fertilization following insemination with sex-sorted sperm.
Multiple Equilibria in Complex Chemical Reaction Networks: Ii. the Species-reaction Graph *

For mass action kinetics, the capacity for multiple equilibria in an isothermal homogeneous continuous flow stirred tank reactor is determined by the structure of the underlying network of chemical reactions. We suggest a new graph-theoretical method for discriminating between complex reaction networks that can admit multiple equilibria and those that cannot. In particular, we associate with each network a species-reaction graph, which is similar to reaction network representations drawn by biochemists, and we show that, if the graph satisfies certain weak conditions, the differential equations corresponding to the network cannot admit multiple equilibria no matter what values the rate constants take. Because these conditions are very mild, they amount to powerful (and quite delicate) necessary conditions that a network must satisfy if it is to have the capacity to engender multiple equilibria. Broad qualitative results of this kind are especially apt, for individual reaction rate constants are rarely known fully for complex reaction networks (if they are known at all). Some concluding remarks address connections to biology. 1. Introduction. The purpose of this article is to provide theory for distinguishing between complex chemical reaction networks that have the capacity to admit multiple positive equilibria and those that do not. In particular, we shall be interested in networks governed by mass action kinetics and operating in the context of what chemical engineers call the continuous flow stirred tank reactor (CFSTR [1]). Models in cell biology sometimes invoke pictures and mathematics reminiscent of CFSTRs [9, 12, 17, 14], so it not unreasonable to expect that theory presented here might ultimately provide insight that is useful in biological applications. Indeed, in biology one rarely has detailed knowledge of reaction rate constants; at the outset, then, it is especially appropriate to seek a qualitative understanding of the relationship between reaction network structure and the capacity for various kinds of behavior (e.g., bista-bility). As we indicated in the first article of this series [4], the connection between the two is quite delicate. The theory offered here is intended to render the relationship between reaction network structure and behavior more concrete. Our principal results will serve to describe very large classes of networks, including highly complex ones, that cannot give rise to multiple steady states regardless of parameter values. These results provide very strong necessary conditions that a network must satisfy if it is to have the capacity to give rise, for example, to bistable behavior.
Identifying Key Factors Associated with Aggression on Acute Inpatient Psychiatric Wards

Aggressive behaviour is a critical issue for modern acute psychiatric services, not just because of the adverse impact it has on patients and staff, but also because it puts a financial strain on service providers. The aim of this study was to assess the relationship of patient violence to other variables: patient characteristics, features of the service and physical environment, patient routines, staff factors, the use of containment methods, and other patient behaviours. A multivariate cross sectional design was utilised. Data were collected for a six month period on 136 acute psychiatric wards in 26 NHS Trusts in England. Multilevel modelling was conducted to ascertain those factors most strongly associated with verbal aggression, aggression toward objects, and physical aggression against others. High levels of aggression were associated with a high proportion of patients formally detained under mental health legislation, high patient turnover, alcohol use by patients, ward doors being locked, and higher staffing numbers (especially qualified nurses). The findings suggest that the imposition of restrictions on patients exacerbates the problem of violence, and that alcohol management strategies may be a productive intervention. Insufficient evidence is available to draw conclusions about the nature of the link between staffing numbers and violence.
Immunoreactivity score using an anti-sst2A receptor monoclonal antibody strongly predicts the biochemical response to adjuvant treatment with somatostatin analogs in acromegaly.

CONTEXT Somatostatin receptor subtype 2 (sst2A) protein expression has been demonstrated to positively correlate with somatostatin analog treatment outcome in GH-secreting adenomas. Recently, a new rabbit monoclonal anti-sst2A antibody (clone UMB-1) has been validated as a reliable method to selectively detect sst2A protein levels in formalin-fixed tissues. OBJECTIVE The aim of the study was to establish whether the evaluation of sst2A protein levels, assessed with a routine reproducible immunohistochemistry protocol using UMB-1 antibody, may predict the successful adjuvant therapy with somatostatin analogs in acromegalic patients. DESIGN, SETTING, AND PATIENTS Thirty-six acromegalic patients from our referral hospital were evaluated retrospectively. Sst2A expression analysis was performed by immunohistochemistry in 25 patients and by quantitative RT-PCR in 26 patients. Sst2A immunoreactivity was evaluated using an immunoreactivity score (IRS), which takes into account both the percentage of positive cells and staining intensity. INTERVENTIONS Patients with persistent disease after surgery (n = 26) were treated with somatostatin analogs for a median duration of 6 months. MAIN OUTCOME MEASURE GH and IGF-I levels were measured before and after postoperative treatment. RESULTS Sst2A IRS showed a significant positive correlation with both GH (P = 0.039) and IGF-I (P = 0.001) suppression by octreotide. Sst2A IRS was negatively associated with IGF-I levels reached after treatment (P = 0.001), and patients that achieved IGF-I normalization showed significantly higher sst2A IRS compared to the group that was not normalized (P = 0.002). A sst2A IRS of at least 5 showed a sensitivity of 86% and a specificity of 91% in predicting IGF-I normalization during adjuvant octreotide treatment. CONCLUSION Sst2A IRS with the anti-sst2A antibody UMB-1 represents a valid tool in the clinical practice to identify acromegalic patients likely to be responders to adjuvant therapy with the currently available somatostatin analogs.
Capacity of MIMO OFDM systems in spatially correlated indoor fading channels

Multiple-input multiple-output (MIMO) wireless systems provide significantly higher capacity compared to the conventional single antenna systems in rich scattering environments. However, the real capacity advantage in a specific channel environment strongly depends on its propagation characteristics. In this paper, we analyze the capacity of an OFDM based spatial multiplexing system for indoor fading channels. We model the channel between the transmitter and receiver arrays by considering two indoor propagation models, the extended Saleh-Valenzuela (ESV) model and the geometrically based single bounce elliptical model (GBSBEM). Spatial correlation matrices for the realizations of the ESV and GBSBEM are obtained for the wideband MIMO fading channels, which are then used for evaluation of the mutual information and outage capacity using Monte Carlo simulations. The behavior of capacity versus outage is investigated for different physical parameters and antenna geometries. Capacity results are discussed here with similar power delay profiles, antenna spacing and angle spreads for uniform linear and circular arrays.
Communicative Inequalities in Online Political Discussion: A Study of Discussion Forums from 54 Societies

The present study examines political discussion forums from 54 societies and links communicative inequality to features of cultural traditions, value orientations, and political systems. Results show that inequalities among discussion threads in attracting readers’ attention and responses exist in all discussion forums. Most of the discussion threads received a small number of views and replies while only a fraction of them became popular. Most importantly, we found that communicative inequalities in online political discussion forums are subject to cultural and political influences at the societal level. Discussion threads received relatively more equal treatment in democracies, individualistic cultures, low power distance cultures, and yet less rational societies.
The Moon Mineralogy Mapper (M3) imaging spectrometer for lunar science: Instrument description, calibration, on‐orbit measurements, science data calibration and on‐orbit validation

[1] The NASA Discovery Moon Mineralogy Mapper imaging spectrometer was selected to pursue a wide range of science objectives requiring measurement of composition at fine spatial scales over the full lunar surface. To pursue these objectives, a broad spectral range imaging spectrometer with high uniformity and high signal-to-noise ratio capable of measuring compositionally diagnostic spectral absorption features from a wide variety of known and possible lunar materials was required. For this purpose the Moon Mineralogy Mapper imaging spectrometer was designed and developed that measures the spectral range from 430 to 3000 nm with 10 nm spectral sampling through a 24 degree field of view with 0.7 milliradian spatial sampling. The instrument has a signal-to-noise ratio of greater than 400 for the specified equatorial reference radiance and greater than 100 for the polar reference radiance. The spectral cross-track uniformity is >90% and spectral instantaneous field-of-view uniformity is >90%. The Moon Mineralogy Mapper was launched on Chandrayaan-1 on the 22nd of October. On the 18th of November 2008 the Moon Mineralogy Mapper was turned on and collected a first light data set within 24 h. During this early checkout period and throughout the mission the spacecraft thermal environment and orbital parameters varied more than expected and placed operational and data quality constraints on the measurements. On the 29th of August 2009, spacecraft communication was lost. Over the course of the flight mission 1542 downlinked data sets were acquired that provide coverage of more than 95% of the lunar surface. An end-to-end science data calibration system was developed and all measurements have been passed through this system and delivered to the Planetary Data System (PDS.NASA.GOV). An extensive effort has been undertaken by the science team to validate the Moon Mineralogy Mapper science measurements in the context of the mission objectives. A focused spectral, radiometric, spatial, and uniformity validation effort has been pursued with selected data sets including an Earth-view data set. With this effort an initial validation of the on-orbit performance of the imaging spectrometer has been achieved, including validation of the cross-track spectral uniformity and spectral instantaneous field of view uniformity. The Moon Mineralogy Mapper is the first imaging spectrometer to measure a data set of this kind at the Moon. These calibrated science measurements are being used to address the full set of science goals and objectives for this mission.
Queuing theory and the management of Waiting-time in Hospitals: The case of Anglo Gold Ashanti Hospital in Ghana

Queuing is a major challenge for healthcare services all over the world, but particularly so in developing countries. Application of queuing theory to enhance decision making to improve this problem is not commonly used by managers in developing countries in contrast to their counterparts in the developed world. This study investigates the application of queuing theory and modelling to the queuing problem at the out-patient department at AngloGold Ashanti hospital in Obuasi, Ghana. Using a descriptive, observational and ex-post facto case study approach, data was generated, analysed and used to model five capacity scenarios for the outpatient department. It is established that the optimum system performance can be achieved with eight doctors effectively at post from contrast to the prevailing five doctors that were effectively at post. In sum, the study establishes that applying queuing theory and modelling to queuing and capacity challenges can enhance decision making with regards to what will provide optimal performance.