Miracle-dz/UniFAR-FTUs huggingface dataset:
Congruences for the Coefficients of Modular Forms and Applications to Number Theory

A method for creating an electronic document using a pen tool and a computer with a pen-sensitive screen is disclosed. The method is capable of generating the electronic document independently on a screen output display and in a persistent graphics memory. The electronic document is not generated simultaneously because transfer of the electronic document to the persistent graphics memory is a process that takes longer than generating the electronic document on the screen display output. However, this delay is not perceived by the operator because the ability for the screen output display to show what is generated by the operator is nearly simultaneous with the act of creation of the electronic document.
TNFα Altered Inflammatory Responses, Impaired Health and Productivity, but Did Not Affect Glucose or Lipid Metabolism in Early-Lactation Dairy Cows

Inflammation may be a major contributing factor to peripartum metabolic disorders in dairy cattle. We tested whether administering an inflammatory cytokine, recombinant bovine tumor necrosis factor-α (rbTNFα), affects milk production, metabolism, and health during this period. Thirty-three Holstein cows (9 primiparous and 24 multiparous) were randomly assigned to 1 of 3 treatments at parturition. Treatments were 0 (Control), 1.5, or 3.0 µg/kg body weight rbTNFα, which were administered once daily by subcutaneous injection for the first 7 days of lactation. Statistical contrasts were used to evaluate the treatment and dose effects of rbTNFα administration. Plasma TNFα concentrations at 16 h post-administration tended to be increased (P<0.10) by rbTNFα administration, but no dose effect (P>0.10) was detected; rbTNFα treatments increased (P<0.01) concentrations of plasma haptoglobin. Most plasma eicosanoids were not affected (P>0.10) by rbTNFα administration, but 6 out of 16 measured eicosanoids changed (P<0.05) over the first week of lactation, reflecting elevated inflammatory mediators in the days immediately following parturition. Dry matter and water intake, milk yield, and milk fat and protein yields were all decreased (P<0.05) by rbTNFα treatments by 15 to 18%. Concentrations of plasma glucose, insulin, β-hydroxybutyrate, non-esterified fatty acids, triglyceride, 3-methylhistidine, and liver triglyceride were unaffected (P>0.10) by rbTNFα treatment. Glucose turnover rate was unaffected (P = 0.18) by rbTNFα administration. The higher dose of rbTNFα tended to increase the risk of cows developing one or more health disorders (P = 0.08). Taken together, these results indicate that administration of rbTNFα daily for the first 7 days of lactation altered inflammatory responses, impaired milk production and health, but did not significantly affect liver triglyceride accumulation or nutrient metabolism in dairy cows.
Input selection for dynamic RBF models in process monitoring

This paper investigates the monitoring of continuous processes using dynamic nonlinear principal component analysis (NPCA). Previously, it was shown that integrating the RBF networks with principal curves significantly had increased the sensitivity of fault detection for nonlinear processes. Despite this, the previous method may not function well for processes which exhibit strong dynamic characteristics. An effective method of capturing dynamic behaviour is to consider a time-lagged data extension. However, the augmented data matrix may lead to the inclusion of a large number of variables in the RBF network input, and hence increase the computational load and network complexity. To prevent this, an input selection scheme, based on the nonlinear dynamic relationship underlying the process variables, is introduced. This selects the most important and relevant time-lagged variables before constructing the RBF network model. Consequently, a modified dynamic NPCA approach is now proposed. The advantages of this improvement are demonstrated using a benchmark simulation example from the literature.
On-line risk assessment model for aero engine using LS-SVM

The Least Square Support Vector Machine (LS-SVM) is applied in aero engine risk assessment with gas path fault diagnosis. Firstly, the deviations of engine cruise data from flight data recorder are analyzed, and sample data for modeling is obtained. The architecture of fault diagnosis model is established. Secondly, model selection is achieved using Pattern Search method; a real time risk assessment model based on LS-SVM algorithm is composed. Finally, by decoding ACARS report, real time cruise data set is acquired, and the diagnosis model is adopted in processing real time data set. Assessing results of engine gas path are shown. Moreover, the accuracy comparison with RBF ANN shows this method is suitable for risk assessment of gas turbine engine.
Pre-ischemia electro-acupuncture potentiates the expression of Bcl-2 and transforming growth factor-beta 1 in rat brains

The expression of the anti-apoptotic molecules Bcl-2 and transforming growth factor-beta 1 is known to confer protective effects on the cerebral ischemia-reperfusion injury. The current study investigated the expression levels of Bcl-2 and transforming growth factor-beta 1 in response to multiple pre-ischemia electro-acupuncture at acupoints Zusanli (ST36) and Fengchi (GB20) stimulation. Rats were divided into five groups: uninjured, control, non-acupoint, GB20 and ST36. Rats in the non-acupoint, GB20 and ST36 groups received 30 minutes (3 times or 18 times) of electro-acupuncture stimulation before experimental cerebral ischemia was induced. Bcl-2 and transforming growth factor-beta 1 were found to be significantly increased in the ST36 groups with either 3 or 18 electro-acupuncture treatments (P < 0.05). The production was higher with 18 electro-acupuncture treatments in the ST36 groups (P < 0.05). In the GB20 groups, significant increase was only observed in transforming growth factor-beta 1 with 18 electro-acupuncture treatments (P < 0.05). No significant elevation of the level of transforming growth factor-beta 1 was observed in the non-acupoint groups. However, the production of Bcl-2 increased with 18 treatments in the non-acupoint groups (P < 0.05). The data suggest that multiple pre-ischemia electro-acupuncture at ST36 was effective in conferring neuroprotective effect on the brain by means of upregulation of Bcl-2 and transforming growth factor-beta 1 and the effect was increase with the number of treatment.
Scintigraphic image segmentation based on grammatical inference and spiral matrix

This paper deals with an image segmentation tool inspired from grammar formalism and based on spiral matrix. We are to set a scintigraphic image as a set of lexemes based on a vocabulary of intensities and a set of grammatical rules. Thus, the endocardium, epicardium and epicardial muscle edges are detected. In addition, a set of quantitative information is also deduced such as endocardium area, endocardium diameter and epicardial muscle thickness. This type of task is intended for medical diagnosis assistance. To validate our method, we have segmented a set of real scintigraphic images.
Towards Building Mobile Device That Behaves According To Contexts

Misbehaviors (e.g. ringing loudly in the middle of a lecture) of mobile phone systems have been increasingly become a disturbing and almost hazard social phenomena. This is simply because existing mobile phone systems including those so called smart-phones do not have a proper computational mechanism which enables them to dynamically adjust their behaviors according to specific contexts (the user of) the mobile phone may be in (such as in a meeting or in a lecture). In this paper, we discuss a context-based approach to automatic regulation of mobile phone behaviors and its initial experimenting implementation on a major mobile phone platform. In this method, various kinds of phone behaviors are articulated and represented in an ontological model. A mobile-phone specific contextual model is also developed to specify taxonomy of the situations the cell phone may reside in. The two models are integrated in the form of semantic network in which they are connected by two kinds of inferential relationships: enable and disable. The preliminary experiments have demonstrated the promising potential of the approach
Depressive Illness in a General Practice. A Demographic Study and a Controlled Trial of Imipramine

The distribution of 93 consecutive cases of depressive illness in a Surrey general practice was found to be non-random. Married women were at risk, while men and unmarried women were largely spared. Married women were prone to the disorder at any time in their lives, and relapse was frequent. There was some suggestion that divorced wives and wives of low social class were particularly predisposed to the disorder. Sixty of the patients took part in a double-blind controlled trial of imipramine. There was no evidence that the drug was superior to a placebo in inducing a remission. It is suggested that imipramine has become established in clinical practice on inadequate evidence and that there is a need for further trials.
The study of super-resolution reconstruction based on visual attention and wavelet analysis

The super-resolution reconstruction is an important method for improving the image quality, which possesses widely application in the fields of video monitoring, remote sensing imaging, medical image processing, etc. In this paper, firstly, the salient edges and the boundaries of salient objects were obtained by using the salient characteristics of visual attention based on computer visual model and wavelet analysis; secondly, the super-resolution image was synthetically acquired by adopting the bilinear interpolation in the contour's internal region and the adaptive interpolation in the boundaries' external region respectively. The simulation results showed that the visual effect of the reconstructed model was more according with human visual characteristics. In addition, the subjective judgment and objective evaluation is better than traditional reconstruction algorithm. The algorithm in this paper achieves good effects and reaches good feasibility and validity.
SATLIB: An Online Resource for Research on SAT

SATLIB is an online resource for SAT-related research established in June 1998. Its core components, a benchmark suite of SAT instances and a collection of SAT solvers, aim to facilitate empirical research on SAT by providing a uniform test-bed for SAT solvers along with freely available implementations of high-performing SAT algorithms. In this article, we give an overview of SATLIB; in particular, we describe its current set of benchmark problems. Currently, the main SATLIB web site (http://www.informatik.tu-darmstadt.de/AI/SATLIB) and its North Amer- ican mirror site (http://www.cs.ubc.ca/˜hoos/SATLIB) are being accessed frequently by a growing number of researchers, resulting in access rates of about 250 hits per month. To further increase the usefulness of SATLIB as a resource, we encourage all members of the community to utilise it for their SAT-related research and to improve it by submitting new benchmark problems, SAT solvers, and bibliography entries.
Spatial enhancement layer utilisation for SVC in base layer error concealment

The Scalable Video Coding (SVC) has been recently added as an extension to H.264/AVC standard. This extension allows both bit rate and device capability adaptation which are desirable features especially in error-prone wireless heterogeneous networks. This paper investigates the spatio-temporal error concealment techniques for packet losses in wireless IP networks, where scalable video coding (SVC) can be used. Three methods are introduced: pixel-value interpolation, frame copy and a new method, which utilises the correctly received spatial enhancement layer information if the corresponding base layer is missing. Unlike the new method, the traditional methods discard the corresponding enhancement layer data in the case when the base layer is missing. The simulation results indicate that enhancement layer utilisation provides better results in the case of a missing base layer than the traditional error concealment methods improving the image quality on average 2 dB.
Dynamic adaptive Search Based Software Engineering needs fast approximate metrics (keynote)

Search Based Software Engineering (SBSE) uses fitness functions to guide an automated search for solutions to challenging software engineering problems. The fitness function is a form of software metric, so there is a natural and close interrelationship between software metics and SBSE. SBSE can be used as a way to experimentally validate metrics, revealing startling conflicts between metrics that purport to measure the same software attributes. SBSE also requires new forms of surrogate metrics. This topic is less well studied and, therefore, remains an interesting open problem for future work. This paper1 overviews recent results on SBSE for experimental metric validation and discusses the open problem of fast approximate surrogate metrics for dynamic adaptive SBSE.
Arrestins regulate cell spreading and motility via focal adhesion dynamics

Cells lacking both nonvisual arrestins show excessive spreading, defects in focal adhesion disassembly, and sensitivity to microtubules. This phenotype is rescued by wild-type arrestins but not mutants deficient in clathrin binding, suggesting that arrestins regulate focal adhesion disassembly by linking microtubules and clathrin.
Image-based visual seam tracking system for fillet joint

In this paper a compact vision-based seam tracking system is designed for fillet joint. The main consideration in developing this system is its applicability and reliability. Thus programmable logical controller (PLC) is used as the controller and smart camera as the vision sensor. To get reliable image features, laser structured light is used. Besides its hardware structure, the image processing and control algorithm are designed elaboratively. The intercepts of the two lines in the stripe image are selected as the image features to get an approximately uncoupled relationship between the change of image features and the movement of two axes in two directions. New edge detector with fine noise reduction and robust line extraction method are proposed. In addition, the controller is carefully constructed with input filtering and output verification. Finally, a series of experiments were well conducted to verify the performance of the proposed system.
Improved performance in OFDM systems by PAPR reduction techniques

Communication is one of the significant features of existence. All the way through the innovation in era and its expanding burden, swift development has occurred within the communication field. Electrical quantities, which were initially transferred in the continuous sphere, are drived further and further in the discrete sphere in existence. In favor of enhanced diffusion, distinct rate influences are being substituted through multi rates. Multi rate arrangements like CDMA and OFDM are used frequently in practice. Within the OFDM arrangement, orthogonally located subcarriers are used to embrace the information from the spreader side to the recipient side. The complexity of ISI can be overcome by the existence of guard band in this arrangement and by superior amount of subcarriers the effect of noise gets diminished. On the other hand the huge Peak to Average Power Ratio of these pointers has several objectionable possessions on the arrangement. In this paper various methods are proposed to diminish PAPR in the OFDM arrangement as a result this arrangement can be worned further frequently plus successfully.
Adelic constructions of low discrepancy sequences

In [Fr2,Skr], Frolov and Skriganov showed that low discrepancy point sets in the multidimensional unit cube [0, 1)s can be obtained from admissible lattices in Rs. In this paper,we get a similar result for the case of (Fq((x))). Then we combine this approach with Halton’s construction of low discrepancy sequences.
An artist friendly hair shading system

Rendering hair in motion pictures is an important and challenging task. Despite much research on physically based hair rendering, it is currently difficult to benefit from this work because physically based shading models do not offer artist friendly controls. As a consequence much production work so far has used ad hoc shaders that are easier to control, but often lack the richness seen in real hair. We show that physically based shading models fail to provide intuitive artist controls and we introduce a novel approach for creating an art-directable hair shading model from existing physically based models. Through an informal user study we show that this system is easier to use compared to existing systems. Our shader has been integrated into the production pipeline at the Walt Disney Animation Studios and is being used in the production of the upcoming animated feature film Tangled.
A New Algorithm for Transient Stability Emergency Control Based on Power Switching

Emergency control has become a necessary measure to maintain power system stability, for complexity of operating modern power system is continuously increasing. The basic idea proposed by this paper is to find a proper strategy to switch the unbalance power and achieve the goal of exhausting the superfluous energy, which drives system to be unstable. From the view of Newton's second law, the unbalance power is the essential reason, which dominates transient stability. This paper firstly analyzes the relation between the unbalance power and transient stability, the effect of generator tripping. Then a new kind of criterion for transient stability assessment and an index for evaluating control measure are given. The algorithm proposed establishes the direct relation between the original system and controlled system. It doesn't depend on mode identification and avoids blindfold searching. Cascading faults and multi-swing instability can be easily handled. The simulation performed on New England system has proved the rationality of the algorithm
Optimal Packet Scheduling in a Broadcast Channel with an Energy Harvesting Transmitter

In this paper, we investigate the transmission completion time minimization problem in a two-user additive white Gaussian noise (AWGN) broadcast channel, where the transmitter is able to harvest energy from the nature. The harvested energy is modeled to arrive at the transmitters randomly. In this paper, under a deterministic system setting, we assume that the energy harvesting times and harvested energy amounts are known before the transmission starts. The transmitter has a fixed number of packets to be delivered to each receiver. Our goal is to minimize the time by which all of the packets for both users are delivered to their respective destinations. To this end, we optimize the transmit powers and transmission rates intended for both users. We first analyze the structural properties of the optimal transmission policy. We prove that the optimal total transmit power has the same structure as the optimal single-user transmit power. We also prove that there exists a cut-off power level for the stronger user. If the optimal total transmit power is lower than this level, all transmit power is allocated to the stronger user, and when the optimal total transmit power is larger than this level, all transmit power above this level is allocated to the weaker user. Based on these structural properties of the optimal policy, we propose an algorithm that yields the globally optimal off-line scheduling policy.
Towards an ecology of inter-organizational routines: a conceptual framework for the analysis of net-enabled organizations

This paper argues that the adoption of ¿net¿ technology by ¿net-enabled¿ firms can be viewed as a population or network level phenomenon, rather than a firm level phenomenon. Using organizational ecology as a starting point, this paper outlines a framework for studying the ecology of interorganizational routines. The paper defines key concepts and outlines some possibilities for applying this framework in empirical research. The framework emphasizes the role of network structure, technological interdependencies, and institutional factors (e.g., legitimation) in the long-run dynamics of technological change.
High Prevalence of Vitamin D Deficiency in Pregnant Korean Women: The First Trimester and the Winter Season as Risk Factors for Vitamin D Deficiency

We investigated the vitamin D status of Korean women during pregnancy and assessed the effects of vitamin D deficiency on two pregnancy outcomes; preterm births and the births of small for gestational age. We measured the serum 25-hydroxyvitamin D levels in 220 pregnant Korean women who were recruited prospectively and compared these levels with those of 500 healthy non-pregnant women. We analyzed vitamin D status according to patient demographics, season, and obstetrical characteristics; moreover, we also assessed pregnancy outcomes. The overall prevalence of vitamin D deficiency(<20 ng/mL) in pregnant women and healthy non-pregnant women was 77.3% and 79.2%; respectively; and the prevalence of severe vitamin D deficiency (<10 ng/mL) was 28.6% and 7.2%; respectively (p < 0.05). Vitamin D deficiency was more prevalent in the winter (100%) than in the summer (45.5%) in pregnant Korean women. A higher risk of vitamin D deficiency was observed in the first trimester than in the third trimester (adjusted OR 4.3; p < 0.05). No significant association was observed between vitamin D deficiency and any of the pregnancy outcomes examined. Further research focusing on the long-term consequences of vitamin D deficiency during pregnancy in Korean women is warranted.
Induction of the Phase II Detoxification Pathway Suppresses Neuron Loss in Drosophila Models of Parkinson's Disease

α-Synuclein aggregates are a common feature of sporadic Parkinson's disease (PD), and mutations that increase α-synuclein abundance confer rare heritable forms of PD. Although these findings suggest that α-synuclein plays a central role in the pathogenesis of this disorder, little is known of the mechanism by which α-synuclein promotes neuron loss or the factors that regulate α-synuclein toxicity. To address these matters, we tested candidate modifiers of α-synuclein toxicity using a Drosophila model of PD. In the current work, we focused on phase II detoxification enzymes involved in glutathione metabolism. We find that the neuronal death accompanying α-synuclein expression in Drosophila is enhanced by loss-of-function mutations in genes that promote glutathione synthesis and glutathione conjugation. This neuronal loss can be overcome by genetic or pharmacological interventions that increase glutathione synthesis or glutathione conjugation activity. Moreover, these same pharmacological agents suppress neuron loss in Drosophila parkin mutants, a loss-of-function model of PD. Our results suggest that oxidative stress is a feature of α-synuclein toxicity and that induction of the phase II detoxification pathway represents a potential preventative therapy for PD.