Miracle-dz/UniFAR-FTUs huggingface dataset:
1 An Additional Observation on Strict Derivational Minimalism

We answer a question which, so far, was left an open problem: does— in terms of derivable string languages—the type of a minimalist grammar (MG) as originally introduced in Stabler 1997 defines a proper superclass of the revised type of an MG and, therefore, the type of a strict MG both introduced in Stabler 1999, and known to be weakly equivalent? For both the revised as well as the strict MG-type, the essential difference to the original MG-definition consists in imposing—in addition to the corresponding implementation of the shortest move condition—a second condition on the move-operator providing a formulation of the specifier island condition, and as such, restricting (further) the domain to which the operator can apply. It has been known already that this additional condition, in fact, ensures that—in terms of derivable string languages—the revised and, therefore, the strict MG-type both constitute a subclass of the original MG-type. We here present a string language proving that the inclusion is proper.
Energy expenditure is associated with age, anthropometric indicators and body composition in children with spastic cerebral palsy.

INTRODUCTION proper estimation of energy requirements in children with cerebral palsy (CP) is essential in ensuring that their energy needs are optimally met. OBJECTIVE therefore, the purpose of this study was to demonstrate that resting energy expenditure (REE) and total energy expenditure (TEE) are associated with age, anthropometric indicators and body composition in children with spastic cerebral palsy. METHODS a cross-sectional study included 79 participants with spastic CP from 24 months to 16 years nine months. Weight and height (estimated by lower leg length) were obtained; body composition and energy expenditure were estimated by bioelectrical impedance analysis. ANOVA, post hoc tests, the Pearson correlation and determination coefficients (R2) were performed. RESULTS significant gradual increases according to age in REE and TEE (both in kcal/d) were observed. There were highly significant positive correlations between REE and TEE (kcal/d, kcal/cm/d) with fat-free mass (FFM) and fat mass (FM), but negative correlations between REE (kcal/ kg/d) with body composition and energy indicators. FFM and total body water, and to a lesser extent FM, explained a high percentage of the direct variability of REE and TEE in kcal/d and the inverse in kcal/kg/d. CONCLUSIONS as age increased, energy expenditure also increased. The estimated energy expenditure in kcal/cm/d did not differ with age and sex. The estimated energy expenditure, based on height, would be a practical and reliable method for estimating energy expenditure and ensuring adequate nutritional status.
SND-MAC: an efficient media access control method for integrated services in high speed wireless networks

With the development of wireless communication technology a wide range of services such as voice, video, and data communication should be provided to users. To support integrated services, efficient medium access control (MAC) methods should be developed. In this paper a new MAC, reservation-scheme and contention-scheme combined, termed the Sequence Number based Dynamic MAC (SND-MAC), is proposed to efficiently realize the integrated service in wireless communication networks. The SND-MAC can fit the integrated service overload in the network adaptively to keep the performance good. The reservation scheme used in the Heavy Overload Mode (HOM) of the SND-MAC is different from traditional ones in the sense that wireless terminals need not send reserve requests which will cause collisions to the control center. The method can greatly improve the channel utility under the HOM of the SND-MAC, there are no collisions during the communication. No slots will be wasted and the frame can be fully utilized. Moreover no hidden terminal problems will happen. The SND-MAC will improve the system performance significantly especially in the case where the integrated communication overload in the wireless network is heavy. It allows the voice, video and data terminals to share the wireless channel efficiently and makes it possible to realize integrated services based on wireless networks efficiently. The SND-MAC can also be applied to wired networks with the control center; such as HFC (Hybrid of Fiber and Cable) networks.
Energy security in a developing world

Energy security, a fuzzy concept, has traditionally been used to justify state control over energy and a reluctance to deal with energy issues at global level. However, over time, the concept is acquiring different meanings that are applicable at different levels of governance. Many of the elements of the new definitions also imply a number of inherent contradictions. Against this background, this article explores the dimensions of energy security with a special focus on the developing world. It argues that (1) within developing countries (DCs), energy security implies both access to modern energy services by the poorest as well as access by the rapidly developing industrial, services, and urban sectors. Lack of adequate resources has implied trade‐offs in terms of who gets access and in terms of taking into account the social and ecological consequences of specific energy sources. Furthermore, (2) the growing DCs' need for energy is impacted by industrialized country perceptions of the various dimensions of energy security—recognizing the need for access to the poorest; industrialized countries are increasingly implicitly questioning the right of DCs to use fossil fuels because of its implications for climate change; or to build large dams because of ecological and social security concerns or expand nuclear energy because of its potential security implications. The development of reliable, continuous, affordable, and environmentally sound provision of energy services combined with a focus on energy efficiency and conservation is the only way of alleviating the various multi‐level dimensions of energy security. WIREs Clim Change 2011 2 627–634 DOI: 10.1002/wcc.118
Functional nanomaterials for optoelectric conversion and energy storage

1 Institute of Mathematics and Physics, Central South University of Forestry and Technology, Changsha, Hunan 410004, China 2 Shanghai Engineering Research Center of Aquatic-Product Processing & Preservation, College of Food Science and Technology, Shanghai Ocean University, Shanghai 201306, China 3 School of Materials and Textiles, Zhejiang Sci-Tech University, Hangzhou, Zhejiang 310018, China 4Department of Macromolecular Science and Engineering, Case Western Reserve University, Cleveland, OH 44106, USA 5Department of Chemical Engineering, New Mexico State University, Las Cruces, NM 88003, USA
ScholarWorks@BGSU ScholarWorks@BGSU

We consider an upwinding covolume or control-volume method for a system of (cid:12)rst order PDEs resulting from the mixed formulation of a convection-di(cid:11)usion equation with a variable anisotropic di(cid:11)usion tensor. The system can be used to model the steady state of the transport of a contaminant carried by a (cid:176)ow. We use the lowest order Raviart{Thomas space and show that the concentration and concentration (cid:176)ux both converge at one-half order provided that the exact (cid:176)ux is in H 1 (›) 2 and the exact concentration is in H 1 (›). Some numerical experiments illustrating the error behavior of the scheme are provided.
Contact Angle of TiO2/SnO2 Thin Films Coated on Glass Substrate

The self-cleaning effect in terms of contact angle value and photocatalytic activity of TiO 2 and TiO 2 /SnO 2 thin films coated on glass substrate was measured. The thin films were prepared using a sol-gel dip coating technique and calcinated at a temperature of 500 °C for 2 h with a heating rate of 10 °C/min. The microstructures of the fabricated thin films were characterized by SEM and XRD techniques. The photocatalytic properties of the thin films were also tested via the degradation of methylene blue (MB) solution under UV irradiation. Finally, the self-cleaning properties of the thin films were evaluated by measuring the contact angle of water droplets on the thin films with and without UV irradiation. It was found that 1 %mol SnO 2 /TiO 2 thin films showed the highest of photocatalytic activity and provided the most self-cleaning properties. doi: 10.14456/WJST.2014. 21
Dietary patterns and changes in body composition in children between 9 and 11 years

Objective Childhood obesity is rising and dietary intake is a potentially modifiable factor that plays an important role in its development. We aim to investigate the association between dietary patterns, obtained through principal components analysis and gains in fat and lean mass in childhood. Design Diet diaries at 10 years of age collected from children taking part in the Avon Longitudinal Study of Parents and Children. Body composition was assessed using dual-energy X-ray absorptiometry at 9 and 11. Setting Longitudinal birth cohort. Subjects 3911 children with complete data. Results There was an association between the Health Aware (positive loadings on high-fiber bread, and fruits and vegetables; negative loadings on chips, crisps, processed meat, and soft drinks) pattern score and decreased fat mass gain in girls. After adjusting for confounders, an increase of 1 standard deviation (sd) in this score led to an estimated 1.2% decrease in fat mass gain in valid-reporters and 2.1% in under-reporters. A similar decrease was found only in under-reporting boys. There was also an association between the Packed Lunch (high consumption of white bread, sandwich fillings, and snacks) pattern score and decreased fat mass gain (1.1% per sd) in valid-reporting but not under-reporting girls. The main association with lean mass gain was an increase with Packed Lunch pattern score in valid-reporting boys only. Conclusions There is a small association between dietary patterns and change in fat mass in mid-childhood. Differences between under- and valid-reporters emphasize the need to consider valid-reporters separately in such studies.
"Parahomologous" gene targeting in Drosophila cells: an efficient, homology-dependent pathway of illegitimate recombination near a target site.

Drosophila cells in culture can be transformed by introducing exogenous DNA carrying a selectable marker. Here we report on the fate of plasmids that contain an extended fragment of Drosophila DNA in addition to the selectable marker. A small minority of the resulting transformants appear to arise from homologous recombination at the chromosomal target. However, the majority of the insertions are the products of illegitimate events in the vicinity of the target DNA, and they often cause mutations in the targeted region. The efficiency of this process, its homology dependence, and the clustering of the products define a novel transformation pathway that we call "parahomologous targeting. "
Get More With Less: Near Real-Time Image Clustering on Mobile Phones

Machine learning algorithms, in conjunction with user data, hold the promise of revolutionizing the way we interact with our phones, and indeed their widespread adoption in the design of apps bear testimony to this promise. However, currently, the computationally expensive segments of the learning pipeline, such as feature extraction and model training, are offloaded to the cloud, resulting in an over-reliance on the network and under-utilization of computing resources available on mobile platforms. In this paper, we show that by combining the computing power distributed over a number of phones, judicious optimization choices, and contextual information it is possible to execute the end-to-end pipeline entirely on the phones at the edge of the network, efficiently. We also show that by harnessing the power of this combination, it is possible to execute a computationally expensive pipeline at near real-time. To demonstrate our approach, we implement an end-to-end image-processing pipeline -- that includes feature extraction, vocabulary learning, vectorization, and image clustering -- on a set of mobile phones. Our results show a 75% improvement over the standard, full pipeline implementation running on the phones without modification -- reducing the time to one minute under certain conditions. We believe that this result is a promising indication that fully distributed, infrastructure-less computing is possible on networks of mobile phones; enabling a new class of mobile applications that are less reliant on the cloud.
Provisioning a virtual private network: a network design problem for multicommodity flow

Consider a setting in which a group of nodes, situated in a large underlying network, wishes to reserve bandwidth on which to support communication. Virtual private networks (VPNs) are services that support such a construct; rather than building a new physical network on the group of nodes that must be connected, bandwidth in the underlying network is reserved for communication within the group, forming a virtual “sub-network. ” Provisioning a virtual private network over a set off terminals gives rise to the following general network design problem. We have bounds on the cumulative amount of traffic each terminal can send and receive; we must choose a path for each pair of terminals, and a bandwidth allocation for each edge of the network, so that any traffic matrix consistent with the given upper bounds can be feasibly routed. Thus, we are seeking to design a network that can support a continuum of possible traffic scenarios. We provide optimal and approximate algorithms for several variants of this problem, depending on whether the traffic matrix is required to be symmetric, and on whether the designed network is required to be a tree (a natural constraint in a number of basic applications). We also establish a relation between this collection of network design problems and a variant of the facility location problem introduced by Karger and Minkoff; we extend their results by providing a stronger approximation algorithm for this latter problem.
HIV, HBV and HCV Coinfection Prevalence in Iran - A Systematic Review and Meta-Analysis

Background worldwide, hepatitis C and B virus infections (HCV and HCV), are the two most common coinfections with human immunodeficiency virus (HIV) and has become a major threat to the survival of HIV-infected persons. The review aimed to estimate the prevalence of HIV, HBV, HCV, HIV/HCV and HIV/HBV and triple coinfections in different subpopulations in Iran. Method Following PRISMA guidelines, we conducted a systematic review and meta-analysis of reports on prevalence of HIV, HBV, HCV and HIV coinfections in different subpopulations in Iran. We systematically reviewed the literature to identify eligible studies from January 1996 to March 2012 in English or Persian/Farsi databases. We extracted the prevalence of HIV antibodies (diagnosed by Elisa confirmed with Western Blot test), HCV antibodies and HBsAg (with confirmatory laboratory test) as the main primary outcome. We reported the prevalence of the three infections and coinfections as point and 95% confidence intervals. Findings HIV prevalence varied from %0.00 (95% CI: 0.00–0.003) in the general population to %17.25 (95% CI: 2.94–31.57) in people who inject drugs (PWID). HBV prevalence ranged from % 0.00 (95% CI: 0.00–7.87) in health care workers to % 30.9 (95% CI: 27.88–33.92) in PWID. HCV prevalence ranged from %0.19 (95% CI: 0.00–0.66) in health care workers to %51.46 (95% CI: 34.30–68.62) in PWID. The coinfection of HIV/HBV and also HIV/HCV in the general population and in health care workers was zero, while the most common coinfections were HIV/HCV (10.95%), HIV/HBV (1.88%) and triple infections (1.25%) in PWID. Conclusions We found that PWID are severely and disproportionately affected by HIV and the other two infections, HCV and HBV. Screenings of such coinfections need to be reinforced to prevent new infections and also reduce further transmission in their community and to others.
A non-photorealistic lighting model for automatic technical illustration

Phong-shaded 3D imagery does not provide geometric information of the same richness as human-drawn technical illustrations. A non-photorealistic lighting model is presented that attempts to narrow this gap. The model is based on practice in traditional technical illustration, where the lighting model uses both luminance and changes in hue to indicate surface orientation, reserving extreme lights and darks for edge lines and highlights. The lighting model allows shading to occur only in mid-tones so that edge lines and highlights remain visually prominent. In addition, we show how this lighting model is modified when portraying models of metal objects. These illustration methods give a clearer picture of shape, structure, and material composition than traditional computer graphics methods. CR Categories: I.3. 0 [Computer Graphics]: General; I.3. 6 [Computer Graphics]: Methodology and Techniques.
Monte Carlo study of aU(1)×U(1)loop model with modular invariance

We study a $U(1)\times U(1)$ system in (2+1)-dimensions with long-range interactions and mutual statistics. The model has the same form after the application of operations from the modular group, a property which we call modular invariance. Using the modular invariance of the model, we propose a possible phase diagram. We obtain a sign-free reformulation of the model and study it in Monte Carlo. This study confirms our proposed phase diagram. We use the modular invariance to analytically determine the current-current correlation functions and conductivities in all the phases in the diagram, as well as at special "fixed" points which are unchanged by an operation from the modular group. We numerically determine the order of the phase transitions, and find segments of second-order transitions. For the statistical interaction parameter $\theta=\pi$, these second-order transitions are evidence of a critical loop phase obtained when both loops are trying to condense simulataneously. We also measure the critical exponents of the second-order transitions.
Efficient Replica Maintenance for Distributed Storage Systems

This paper considers replication strategies for storage systems that aggregate the disks of many nodes spread over the Internet. Maintaining replication in such systems can be prohibitively expensive, since every transient network or host failure could potentially lead to copying a server's worth of data over the Internet to maintain replication levels. The following insights in designing an efficient replication algorithm emerge from the paper's analysis. First, durability can be provided separately from availability; the former is less expensive to ensure and a more useful goal for many wide-area applications. Second, the focus of a durability algorithm must be to create new copies of data objects faster than permanent disk failures destroy the objects; careful choice of policies for what nodes should hold what data can decrease repair time. Third, increasing the number of replicas of each data object does not help a system tolerate a higher disk failure probability, but does help tolerate bursts of failures. Finally, ensuring that the system makes use of replicas that recover after temporary failure is critical to efficiency. Based on these insights, the paper proposes the Carbonite replication algorithm for keeping data durable at a low cost. A simulation of Carbonite storing 1 TB of data over a 365 day trace of PlanetLab activity shows that Carbonite is able to keep all data durable and uses 44% more network traffic than a hypothetical system that only responds to permanent failures. In comparison, Total Recall and DHash require almost a factor of two more network traffic than this hypothetical system.
Effects of incompatible boundary information in EIT on the convergence behavior of an iterative algorithm

In electrical impedance tomography, currents are applied to the body through electrodes that are attached to the surface and the corresponding surface voltages are measured. Based on these boundary measurements, the internal admittivity distribution of the body can be reconstructed. In order to improve the image quality it is necessary and useful to apply physiologically meaningful prior information into the image reconstruction. Such prior information usually can be obtained from other sources. For example, information on the object's boundary shape and internal structure can be obtained from computed tomography and magnetic resonance imaging scan. However, this type of prior information may change from time to time and from person to person. As these changes are limited anatomically and physiologically, the prior information including the possible changes can be presented in a number of variational forms. The aim of this paper is to find which form of prior information is more compatible for a specific imaged object at the time of imaging. This paper proposes a new method for selecting the most appropriate form of prior information, through the procedure of iterative image reconstruction by using the information obtained from boundary measurements. The method is based on the principle that incompatible prior information causes errors which are able to affect the image reconstruction's convergence behavior. In this method, according to the various forms of prior information available, several image reconstruction configurations are designed. Then, through monitoring the convergence behavior in an iterative image reconstruction, the configuration with compatible prior information can be found among those different configurations. As an example, the prior information regarding the imaged object's boundary shape and internal structure was studied by computer simulation. Results were shown and discussed.
Replacement policies for a proxy cache

In this paper, we analyze access traces to a Web proxy, looking at statistical parameters to be used in the design of a replacement policy for documents held in the cache. In the first part of this paper, we present a number of properties of the lifetime and statistics of access to documents, derived from two large trace sets coming from very different proxies and spanning over time intervals of up to five months. In the second part, we propose a novel replacement policy, called LRV, which selects for replacement the document with the lowest relative value among those in cache. In LRV, the value of a document is computed adaptively based on information readily available to the proxy server. The algorithm has no hardwired constants, and the computations associated with the replacement policy require only a small constant time. We show how LRV outperforms least recently used (LRU) and other policies and can significantly improve the performance of the cache, especially for a small one.