Miracle-dz/UniFAR-FTUs huggingface dataset:
Optimal Adaptive Modulation for QoS Constrained Wireless Networks with Renewable Energy Sources

In this paper we derive the optimal policy to minimize the average number of dropped packets for a delay constrained wireless node with a renewable energy source. The proposed framework employs adaptive modulation for transmission of the optimal number of packets towards satisfying the Quality of Service (QoS) constraints. This framework is formulated as a Markov Decision Process (MDP) which minimizes the long term packet drop rate. Further, we demonstrate that the optimal policy is monotone with respect to each of the joint state components of the MDP. Simulation results are presented to validate the monotone structure and superior performance of the proposed policy with respect to the existing schemes.
Systemic Reduction of Interleukin-4 or Interleukin-10 Fails to Reduce the Frequency or Severity of Experimental Cytomegalovirus Retinitis in Mice with Retrovirus-Induced Immunosuppression

Interleukin-4 (IL-4) and interleukin-10 (IL-10) are key cytokines whose increased production during systemic HIV infection has been associated with decreased cellular immunity during AIDS. We examined whether HIV-induced stimulation of IL-4 or IL-10 production leads to increased susceptibility to AIDS-related human cytomegalovirus retinitis. It was confirmed that there were increased amounts of IL-4 and IL-10 mRNA levels in mice with MAIDS of 10 weeks duration when most susceptible to MCMV retinitis. Surprisingly, however, MCMV-infected eyes of IL-4 –/– and IL-10 –/– mice with MAIDS of 8 weeks duration exhibited retinitis and infectious virus equivalent to that observed in MCMV-infected eyes of wild-type mice with MAIDS. We conclude that neither IL-4 nor IL-10 alone play a role in increased susceptibility to MAIDS-related MCMV retinitis, but may work collectively with other retrovirus-induced immunosuppressive factors to allow for retinal disease.
In Situ Natural Product Discovery via an Artificial Marine Sponge

There is continuing international interest in exploring and developing the therapeutic potential of marine–derived small molecules. Balancing the strategies for ocean based sampling of source organisms versus the potential to endanger fragile ecosystems poses a substantial challenge. In order to mitigate such environmental impacts, we have developed a deployable artificial sponge. This report provides details on its design followed by evidence that it faithfully recapitulates traditional natural product collection protocols. Retrieving this artificial sponge from a tropical ecosystem after deployment for 320 hours afforded three actin–targeting jasplakinolide depsipeptides that had been discovered two decades earlier using traditional sponge specimen collection and isolation procedures. The successful outcome achieved here could reinvigorate marine natural products research, by producing new environmentally innocuous sources of natural products and providing a means to probe the true biosynthetic origins of complex marine–derived scaffolds.
Phrases to Complex Logical Forms for Semantic Parsing : Exploring Named Entity Recognition

Semantic parsing is the task of matching natural language utterances to formal language representations. Annotated logical forms are usually expensive to acquire and semantic parse, as shown in SEMPRE [2], which learns through question-answer pairs. Question answering systems build a coarse mapping from phrases to predicates using a knowledge base and a large text corpus. They use a bridging operation to generate additional predicates based on neighboring predicates. An example of this is Quora, which is a popular question answering website. Questions asked on the website often lack structure and recommending similar questions requires identifying named entities in agreement with the semantic category expected by a given question. NER is the task of locating and classifying atomic elements in text into predefined categories such as the names of persons, organizations, locations, expressions of times, quantities, monetary values, percentages, etc. In SEMPRE [2], NER forms a large part of the algorithm to align the question. Named entity recognition has been studied mostly for information extraction and it’s use case has not been assessed in a question answering environment. Questions have different inherent structures than free text, which makes the task nontrivial. We performed some initial experimentation and made the following observations:
A Practical Behavior Analysis of Video Application Users on Smart Phones

Mobile network operators are keeping a watchful eye on video applications because of their high impact on traffic volume. For optimum mobile network design it is desirable to know more about the characteristics of video traffic, which depend on the behavior of the video application users who generates that traffic. We conducted a practical behavior analysis of video application users on smart phones, using a traffic analysis approach that scales up well. We also present our findings about typical user behavior in video applications from a traffic analysis standpoint.
Recreational Participation and Perceived Stress Levels of College Students and if Leisure Satisfaction Mediates Their Relationship

The purpose of this study was to examine the relationship between campus recreation participation and perceived stress in college students and if leisure satisfaction mediates their relationship. Participants for this research were 342 college students at a southeastern university. Students completed a survey about their demographics, perceived stress (PSS-10), campus recreation participation and their leisure satisfaction (LSS). Correlations and mediation was then calculated using the statistical analysis program SPSS. Participants of recreational services perceived stress was not significantly correlated with students who do not use recreational services. Leisure satisfaction was inversely correlated with perceived stress in the participants. Out of the leisure satisfaction subscales, participants who scored higher in relaxation, psychological, and social scored lower on the PSS-10. This research gives evidence that leisure satisfaction through campus recreation can be used as a stress reliever or coping strategy for college students.
Evidence for nonmigrating thermal tides in the Mars upper atmosphere from the Mars Global Surveyor Accelerometer Experiment

Mars Global Surveyor Accelerometer Experiment density measurements indicate the presence of planetary‐scale wave structure in the Mars upper atmosphere (∼130 km). In particular, Phase 2 aerobraking observations reveal large amplitude zonal wave 2 and 3 variations in dayside density between ±60° latitude. These spatial variations (in a fixed local solar time reference) can be qualitatively reproduced by a Mars general circulation model and are identified as a manifestation of eastward propagating nonmigrating thermal tides with long vertical wavelengths. The simulated wave 2 variation is dominated by a diurnal period wave 1 Kelvin mode while the principal components of the simulated zonal wave 3 structure are a diurnal period wave 2 Kelvin mode and a wave 1 semidiurnal tide. The characterization of these waves is important for understanding the structure and variability of the martian atmosphere at aerobraking altitudes.
Automatic versus User-Controlled Methods of Briefly Interrupting Telephone Calls

Some future telephone services will require that ongoing calls be interruptedbriefly so that one of the parties can receive data transmitted over the voice path. For example, the new service Caller ID on Call Waiting (CIDCW) will allow subscribers who are off-hook and engaged in conversation to receive data indicating the name and telephone number of a new caller, but the data transmission will produce a break of approximately 1s. The question arises, then, as to what method should be used to interrupt calls to transmit data. In an automatic form ofCIDCW, data would be sent without user control once there is a new call, producing an unexpected break in ongoing conversations. In a user-controlled form, users would hear a tone when there is a new call and initiate the data transmission by pressing a button. Astudy was conducted to examine how subjects would react to breaks in their telephone conversations and to determine which form of CIDCW was more favorable. Subjects acting as CIDCW subscribers liked both forms of the service, but they preferred the automatic form, which was also rated as more acceptable and easier to use. Furthermore, compared with the user-controlled form, automatic CIDCW resulted in quick, error-free performance. Subjects acting as the far-end party also favored the automatic form, provided that they heard silence during the interruptions rather than a tone. Generally the automatic approach was found to be the better way to introduce a I-s break into telephone calls.
Unifying View on Min-Max Fairness, Max-Min Fairness, and Utility Optimization in Cellular Networks

We are concerned with the control of quality of service (QoS) in wireless cellular networks utilizing linear receivers. We investigate the issues of fairness and total performance, which are measured by a utility function in the form of a weighted sum of link QoS. We disprove the common conjecture on incompatibility of min-max fairness and utility optimality by characterizing network classes in which both goals can be accomplished concurrently. We characterize power and weight allocations achieving min-max fairness and utility optimality and show that they correspond to saddle points of the utility function. Next, we address the problem of the difference between min-max fairness and max-min fairness. We show that in general there is a (fairness) gap between the performance achieved under min-max fairness and under max-min fairness. We characterize the network class for which both performance values coincide. Finally, we characterize the corresponding network subclass, in which both min-max fairness and max-min fairness are achievable by the same power allocation.
Mechatronics of electrostatic microactuators for computer disk drive dual-stage servo systems

A decoupled control design structure and discrete time pole placement design method are proposed for MEMS-based dual-stage servo control design in magnetic disk drives. Dual-stage track following controllers are designed using a decoupled three-step design process: the voice coil motor (VCM) loop design, the microactuator (MA) inner loop design, and the MA outer loop design. Both MIMO (when the MA relative position sensing is available) and SIMO (when the MA relative position sensing is not available) designs are considered. The effect of MA resonance mode variations on the stability and performance of the controllers are analyzed. Self-tuning control and online identification of the MA model are developed to compensate for the variations in the MA's resonance mode.
Academic performance prediction based on voting technique

Student's grade has always been critical issues that occur quite often in universities providing high learning education. Currently there are many techniques to predict student's grade. In this paper we compare the accuracy of data mining methods to classifying students in order to predicting student's class grade. These predictions are more useful for identifying weak students and assisting management to take remedial measures at early stages to produce excellent graduate that will graduate at least with second class upper. Firstly we examine single classifiers accuracy on our data set and choose the best one and then ensembles it with a weak classifier to produce simple voting method. We present results show that combining different classifiers outperformed other single classifiers for predicting student performance.
Medical treatment of nasal polyps: a review

Nasal polyp is macroscopic edematous mass and it is a most common nasal complaint of the patients. The exact etiology is still unknown and controversial, but the main causes are assumed to be the inflammatory conditions and allergy. Their clinical presentations are obstruction, rhinorrhea, postnasal drip. Nasal polyp is more common in allergic patients with asthma. Treatment of this complication is associated with both medical treatment and surgery. Corticosteroids (systemic and topical) are shown to be beneficial in reducing the size of nasal polyp. Corticosteroids are also used as a primary treatment and postoperative management for avoiding recurrence. The rate of leukotrienes is increased in polyps. It is reported that leukotriene receptor antagonists (antileukotriene) have a beneficial effect on nasal polyp treatment. Montelukast is an antileukotriene. It can be used to modify the symptoms of nasal polyp. There is no significant difference between corticosteroids and montelukast clinical efficacy.
March Test Algorithm for 3-Coupling Faults in Random Access Memories

A new efficient march test algorithm for detecting 3-coupling faults in Random Access Memories is given in this paper. To reduce the length of the test only the 3-coupling faults between physically adjacent memory cells have been considered. The proposed test algorithm needs 34N operations. Simulation results with regard to the coupling fault coverage of the march tests, obtained based on a fault injection mechanism, are also presented in this paper. This work improves the results presented in [1] where the same problem is dealt with and a march test with 38N operations is given. Key-Words: RAM, memory testing, functional faults, coupling faults, march test, fault coverage
Partial Inlining

Technical Summary 1 Motivation Subprogram inlining is an optimization that has been studied extensively in the By replacing a procedure call with a copy of the body of the called procedure, it ooers a number of beneets: the overhead associated with the procedure call is eliminated; the inlined code can be optimized for the particular call site that was expanded; and the caller's code can potentially be improved because of the additional information about the called code, which is usually not available in the absence of inter-procedural program analysis, that becomes available due to inlining. Nevertheless, it has long been recognized that careless inlining can give rise to a host of problems that can lead to a loss in performance. Davidson and Holler show that inattention to register allocation considerations can cause inlining to result in a decrease in execution speed 8]. Inlining, even when it is guided by proole information, can also cause increases in code size|in extreme cases, of over an order of magnitude 8, 11, 12]; this can increase the time and space requirements during compilation and optimization and adversely aaect the quality of the code generated. 1 These problems can, however, be addressed by a combination of attention to register allocation considerations, use of proole information to determine which call sites to select for inline expansion, use of budgets to prevent excessive code growth, and proole-guided code layout to mitigate any loss in locality due to inlining 2, 5, 16]. Assuming that proole information is used to guide inlining decisions, a call site will be chosen for inline expansion only if its execution count is suuciently high. This means that the resulting expanded code is also executed a large number of times, and therefore is worth optimizing well. It turns out that very often, the code for a function consists of a relatively small (in terms of the number of instructions it contains) \critical path" that is executed most of the time, together with other, often much larger, pieces of code that are executed relatively infrequently, usually to deal with atypical inputs, handle exceptions, etc. As an example, the sqrt() library function, used in many scientiic programs, has a hot spot that covers only a third of its code, spanning two basic blocks and 69 instructions out of a total of 14 basic blocks and 205 instructions. 2 In the SPEC-95 benchmark fpppp, for example, each …
Compact printed monopole antenna array for dualband WLAN application

This paper presents a printed two C-shaped monopoles antennas array for dual-band WLAN application. The two antenna elements are closely spaced at a distance of only 0. 09λ2.4GHz. High isolation between these two radiation elements is achieved by using the neutralization technique, which has been demonstrated as an effective way to increase the isolation for single band PIFA antennas [1, 2]. In this work, the neutralization technique has been implemented to the printed monopole antenna design. We demonstrate that by introducing two RF switches, we can not only design a compact monopole antenna array with high isolation for single band operation but also can extend this method to design a compact dual band antenna array. The proposed antenna array contains two C-shaped monopoles with a shorting line, on which two RF switches were integrated, connecting two arms of the antenna elements. Experiment results indicate that the proposed antenna array has a −10dB bandwidth that covers the required frequencies for dual-band WLAN applications (2.4/5.2GHz) with isolation higher than 15dB over both operation bands. The proposed antenna has been designed and optimized using Ansoft HFSS.
LBI Cut Elimination Proof with BI-MultiCut

Cut elimination in sequent calculus is indispensable in bounding the number of distinct formulas to appear during a backward proof search. A usual approach to prove cut admissibility is permutation of derivation trees. Extra care must be taken, however, when contraction appears as an explicit inference rule. In G1i for example, a simple-minded permutation strategy comes short around contraction interacting directly with cut formulas, which entails irreducibility of the derivation height of Cut instances. One of the practices employed to overcome this issue is the use of MultiCut (the “mix” rule) which takes into account the eject of contraction within. A more recent substructural logic BI inherits the characteristics of the intuitionistic logic but also those of multiplicative linear logic (without exponentials). Following Pym's original work, the cut admissibility in LBI (the original BI sequent calculus) is supposed to hold with the same tweak. However, there is a critical issue in the approach: MultiCut does not take care of the eject of structural contraction that LBI permits. In this paper, we show a proper proof of the LBI cut admissibility based on another derivable rule BI-MultiCut.
Larval density and the Charnov–Bull model of adaptive environmental sex determination in a copepod

Charnov and Bull suggested that environmentally induced variation in adult body size coupled with sex- specific differences in fitness can select for the evolution of adaptive environmental sex determination (ESD). In this study we determine whether larval density affects sex determination in the copepod Tigriopus californicus (Baker, 1912), as predicted by Charnov and Bull. Individuals reared at low densities developed faster and were significantly larger than siblings reared at high densities. For these laboratory-reared individuals, sexual selection on male body size was stronger than fecundity selection on female body size, but this sex-specific pattern of selection was reversed in the field. Differences in food availability (for females) and the mode of competition (for males) may account for the con- flicting results between laboratory and field. We found a weak effect of larval density on sex determination in a pilot experiment but no effect in a second, more powerful experiment. While larval density did not affect the sex ratio of T. californicus, our sex-specific estimates of selection on adult body size will inform future models of adaptive ESD in this species and other copepods.
SIGNATURES OF BLACK HOLE SPIN IN GALAXY EVOLUTION

We explore the connection between black hole spin and active galactic nucleus (AGN) power by addressing the consequences underlying the assumption in the recent literature that the gap region between accretion disks and black holes is fundamental in producing strong, spin-dependent, horizon-threading magnetic fields. Under the additional assumption that jets and outflows in AGNs are produced by the Blandford–Znajek and Blandford–Payne mechanisms, we show that maximum jet/outflow power is achieved for accretion onto black holes having highly retrograde spin parameters, an energetically excited yet unstable gravitomagnetic configuration.
Neuropathologic Criteria for Diagnosing Alzheimer Disease in Persons with Pure Dementia of Alzheimer Type

Universally accepted neuropathologic criteria for differentiating Alzheimer disease (AD) from healthy brain aging do not exist. We tested the hypothesis that Bielschowsky silver stained total, cored, and neuritic senile plaques (TSPs, CSPs, and NSPs, respectively), rather than neurofibrillary tangles (NFTs), best discriminate between the 2 conditions using rigorously defined nondemented (n = 7) and AD (n = 35) subjects with no known co-morbidities. We compared lesions in 3 neocortical regions, in hippocampal CA1, and in entorhinal cortex in 19 men and 13 women between 74 and 86 years at death. The Clinical Dementia Rating (CDR) was used to assess degree of cognitive impairment within a year of demise. Neocortical TSP measures provided the highest correlation with expiration CDR: area under the curve (AUC) = 0.986 with 97.8% sensitivity at 90% specificity with an estimated cut-point of 6.0 TSP/ mm2. All SP measures yielded higher estimated AUC and sensitivity for 90% specificity compared to NFTs. Derived TSP cut-points applied to 149 persons with clinical AD regardless of their neuropathologic diagnosis yielded a sensitivity of 97% and specificity of 84% for TSPs in the 3 neocortical areas. Thus cut-points based on both diffuse and neuritic SP in neocortical regions distinguished nondemented and AD subjects with high sensitivity and specificity.
High Energy Cosmic Neutrinos Astronomy: The ANTARES Project

Neutrinos may offer a unique opportunity to explore the far Universe at high energy. The ANTARES collaboration aims at building a large undersea neutrino detector able to observe astrophysical sources (AGNs, X-ray binary systems, .) and to study particle physics topics (neutrino oscillation, .). After a description of the research opportunities of such a detector, a status report of the experiment will be made.
Cross-Field Transport in the SOL: Its Relationship to Main Chamber and Divertor Neutral Control in Alcator C-Mod

The sources of neutrals at the outer midplane of the plasma are discussed. We find that both the flux of neutrals escaping the divertor through leaks and ion recycling at main chamber surfaces appear to contribute. The ion flux to the walls is larger than the flux entering the divertor and comparable to recycling at the divertor plate. The cause of these high wall ion fluxes is an enhancement of cross-field particle transport which gives rise to substantial convective heat transport at higher densities. We have further explored main chamber recycling and impurity transport utilizing a novel divertor ‘bypass’, which connects the outer divertor plenum to the main chamber. We find that leakage of neutrals (fuel and recycling impurities) from the divertor appears to be determined primarily by the conductance through the divertor structure, thus indicating that tight baffling would be desirable in a reactor for fuel and helium ash compression.