Miracle-dz/UniFAR-FTUs huggingface dataset:
The initial-boundary-value problem for the 1D nonlinear Schrödinger equation on the half-line

We prove, by adapting the method of Colliander-Kenig (9), local well- posedness of the initial-boundary value problem for the one-dimensional nonlinear Schrodinger equation i@tu+@ 2 xu+�u|u| � 1 = 0 on the half-line under low boundary regularity assumptions.
Power, Conflict, and Cooperation: Toward a Micropolitics of Coaching

According to Jones, Wells, Peters, and Johnson (1993), being political is a necessary part of a coach's repertoire, because a coach's effectiveness and longevity may depend not only on a favorable win–loss record but also on an individual's ability to gain the approval of contextual power brokers (e.g., athletes, other coaches, or owners). Although only limited research has been done examining power and interpersonal relationships in coaching, there remains a paucity of work investigating the micropolitics inherent in such relationships. The aim of this article is to make the case for how the adoption of a micropolitical perspective could serve to further our understanding of the power-ridden, contested nature of sports coaching. After an introductory examination of the concept of micropolitics in the educational literature, a discussion of how such practice is beginning to emerge in recent ethnographic coaching research is presented. The literature addressing the micropolitical nature of teachers' interactions and relationships with other pedagogical stakeholders is then explored in terms of providing future avenues of critical investigation into the social complexity of coaching. Finally, a concluding section summarizes the main points and highlights their implications for future work.
Optimal Sensor Placement for Time-Dependent Systems: Application to Wind Studies around Buildings

Warm climates pose challenges to building energy consumption and pedestrian comfort. Knowledge of the wind flow around buildings can help address these issues through improving natural ventilation, energy use, and outdoor thermal comfort. Computational fluid dynamics (CFD) simulations are widely used to predict wind flow around buildings, despite the large discrepancies that often occur between model predictions and actual measurements. Wind speed and direction exhibit a high degree of variability that adds uncertainties in modeling and measurements. Although some studies focus on methods to evaluate and minimize modeling uncertainties, sensor placement has been mostly based on subjective judgment and intuition; no systematic methodology is available to identify optimal sensor locations prior to field measurement. This work proposes a methodology for systematic sensor placement for situations when no measurement data are available and knowledge of the wind environment around buildings is limited. Sequential sensor placement algorithms and criteria are used to identify sensor configurations based on CFD simulation predictions at plausible locations. Optimal sensor configurations are compared for their ability to improve wind speed predictions at another location where no measurements are taken. The methodology is applied to two full-scale building systems of varying size. Results show that the methodology can be applied prior to field measurement to identify optimal configurations of a limited number of sensors that improve wind speed predictions at unmeasured locations. (C) 2015 American Society of Civil Engineers.
INVARIANT EINSTEIN METRICS ON GENERALIZED FLAG MANIFOLDS WITH TWO ISOTROPY SUMMANDS

Abstract Let M=G/K be a generalized flag manifold, that is, an adjoint orbit of a compact, connected and semisimple Lie group G. We use a variational approach to find non-Kähler homogeneous Einstein metrics for flag manifolds with two isotropy summands. We also determine the nature of these Einstein metrics as critical points of the scalar curvature functional under fixed volume.
Performance Analysis of Heterodyne-Detected OCDMA Systems Using PolSK Modulation over a Free-Space Optical Turbulence Channel

This paper presents a novel model of heterodyne-detected optical code-division multiple-access (OCDMA) systems employing polarization shift keying (PolSK) modulation over a free-space optical (FSO) turbulence channel. In this article, a new transceiver configuration and detailed analytical model for the proposed system are provided and discussed, taking into consideration the potential of heterodyne detection on mitigating the impact of turbulence-induced irradiance fluctuation on the performance of the proposed system under the gamma-gamma turbulence channel. Furthermore, we derived the closed-form expressions for the system error probability and outage probability, respectively. We determine the advantages of the proposed modeling by performing a comparison with a direct detection scheme obtained from an evaluation of link performance under the same environment conditions. The presented work also shows the most significant impact factor that degrades the performance of the proposed system and indicates that the proposed approach offers an optimum link performance compared to conventional cases.
Stochastic Gradient-Push for Strongly Convex Functions on Time-Varying Directed Graphs

We investigate the convergence rate of the recently proposed subgradient-push method for distributed optimization over time-varying directed graphs. The subgradient-push method can be implemented in a distributed way without requiring knowledge of either the number of agents or the graph sequence; each node is only required to know its out-degree at each time. Our main result is a convergence rate of O((ln t)/t) for strongly convex functions with Lipschitz gradients even if only stochastic gradient samples are available; this is asymptotically faster than the O((ln t)/√t) rate previously known for (general) convex functions.
Mapping a Subfield’s Sociology of Science: A 25-Year Network and Bibliometric Analysis of the Knowledge Construction of Sports Crisis Communication

Sport crisis communication research has emerged as a substantial subfield of communication, sport communication, and crisis communication. The purpose of this study is to assess the development and diffusion of the subfield’s scholarly works to uncover the influential authors, theories, and journals central to the subfield’s knowledge construction process. We chart the development of the subfield by combining network analysis and bibliometric methods. Our analysis of 25 years of scholarship in 25 journals reveals seven major areas of focus in sport crisis communication with an emphasis on applied and critical cultural scholarship. Furthermore, our research indicates that the Journal of Sport & Social Issues played an integral and interdisciplinary role in supporting the emergence of this area of study. We argue the subfield holds great opportunity for future growth, most notably in empirical research.
A Bayesian hierarchical model for allele frequencies

Genetic epidemiological methodologies, such as linkage analysis, often require accurate estimates of allele frequencies. When studies involve multiple sub‐populations with different evolutionary histories, accurate estimates can be difficult to obtain because the number of subjects per sub‐population tends to be limited. Given allele counts for a collection of loci and sub‐populations, we propose a Bayesian hierarchical model that extends existing empirical Bayesian approaches by allowing for explicit inclusion of prior information about both allele frequencies and inter‐population divergence. We describe how such information can be derived from published data and then incorporated into the model via prior distributions for model parameters. By analysis of simulated data, we highlight how the hierarchical model, as implemented in the publicly available program AllDist, combines prior information with the observed data to refine allele frequency estimates. Genet. Epidemiol. 20:17–33, 2001. © 2001 Wiley‐Liss, Inc.
Bearing only Target Tracking using Single and Multisensor: A Review

The brief review of methods used for estimating the target state in single and multi-sensor bearing only tracking (BOT) is presented in this paper. It deals with the target state estimation using bearing only measurements. BOT is difficult because of its poor observability in target state and nonlinearity in measurements. The complete survey is done on existing techniques, involved to overcome the difficulties caused by BOT. Here, the target tracking scenarios are divided into three different categories based on the nature of target motion and the number of target and sensors involved. The existing techniques involved are reviewed in detail. Finally the future trends for BOT are also discussed.
Variants in GLIS3 and CRY2 Are Associated with Type 2 Diabetes and Impaired Fasting Glucose in Chinese Hans

Background Recent genome-wide association studies have identified a number of common variants associated with fasting glucose homeostasis and type 2 diabetes in populations of European origin. This is a replication study to examine whether such associations are also observed in Chinese Hans. Methods We genotyped nine variants in or near MADD, ADRA2A, CRY2, GLIS3, PROX1, FADS1, C2CD4B, IGF1 and IRS1 in a population-based cohort including 3,210 unrelated Chinese Hans from Beijing and Shanghai. Results We confirmed the associations of GLIS3-rs7034200 with fasting glucose (beta = 0.07 mmol/l, P = 0.03), beta cell function (HOMA-B) (beta = −3.03%, P = 0.009), and type 2 diabetes (OR [95%CI] = 1.27 [1.09–1.49], P = 0.003) after adjustment for age, sex, region and BMI. The association for type 2 diabetes remained significant after adjusting for other diabetes related risk factors including family history of diabetes, lipid profile, medication information, hypertension and life style factors, while further adjustment for HOMA-B abolished the association. The A-allele of CRY2-rs11605924 was moderately associated with increased risk of combined IFG/type 2 diabetes (OR [95%CI] = 1.15[1.01–1.30], P = 0.04). SNPs in or near MADD, ADRA2A, PROX1, FADS1, C2CD4B, IGF1, and IRS1 did not exhibit significant associations with type 2 diabetes or related glycemic traits (P≥0.10). Conclusions In conclusion, our results indicate the associations of GLIS3 locus with type 2 diabetes and impaired fasting glucose in Chinese Hans, partially mediated through impaired beta-cell function. In addition, we also found modest evidence for the association of CRY2-rs11605924 with combined IFG/type 2 diabetes.
LTSG: Latent Topical Skip-Gram for Mutually Learning Topic Model and Vector Representations

Topic models have been widely used in discovering latent topics which are shared across documents in text mining. Vector representations, word embeddings and topic embeddings, map words and topics into a low-dimensional and dense real-value vector space, which have obtained high performance in NLP tasks. However, most of the existing models assume the result trained by one of them are perfect correct and used as prior knowledge for improving the other model. Some other models use the information trained from external large corpus to help improving smaller corpus. In this paper, we aim to build such an algorithm framework that makes topic models and vector representations mutually improve each other within the same corpus. An EM-style algorithm framework is employed to iteratively optimize both topic model and vector representations. Experimental results show that our model outperforms state-of-art methods on various NLP tasks.
Dynamic Texture Enlargement

A simple fast approach for dynamic texture synthesize that realistically matches given color or multispectral texture appearance and respects its original optic flow is presented. The method generalizes the prominent static double toroid-shaped texture modeling method to the dynamic texture synthesis domain. The analytical part of the method is based on optimal overlapping tiling and subsequent minimum boundary cut. The optimal toroid-shaped dynamic texture patches are created in each spatial and time dimension, respectively. The time dimension tile border is derived from the optical flow of the modeled texture. The toroid-shaped tiles are created in the analytical step which is completely separated from the synthesis part. Thus the presented method is extremely fast and capable to enlarge a learned natural dynamic texture spatially and temporally in real-time.
Formal consistency verification between BPEL process and privacy policy

Despite the increased privacy concerns in the Internet, not much attention has been paid into enforcing privacy policies of organisations who collect and consume personal data using automatic means (e.g., Web services). In this paper, we propose a graph-transformation based framework to check whether an internal business process (implemented using a standard Web service composition language such as BPEL) adheres to the organisation's privacy policies. The graph-based specification formalism combines the advantages of an intuitive visual framework with rigorous semantical foundation that allows consistency checking between a business process and privacy policy. The privacy consistency verification framework is defined by a set of rules to build the system state and sets of constraints (positive and negative) to specify the wanted and unwanted substates.
coexistence of emeRging bacteRial patHogens in Ixodes rIcInus ticks in seRbia 1

infection associant A. phagocytophilum et F. tularensis n'a été observée. R ecognition of ticks and tick-borne diseases as an emerging problem in temperate regions during last decades coincides with increasing human-induced climatic and urban changes in the environment. Among all European tick species, Ixodes ricinus is the most widely distributed. Its wide ecological amplitude and very aggressive and undiscriminating behavior during questing for a host make it one of the main transmitters of causative agents of infectious diseases among humans. The species I. ricinus is usually predominant among ticks originating from Serbia and is one of the most widely distributed (Milutinović, 1992; Milutinović & Radulović, 2002). Fifteen pathogens were identified as emerging in Europe from 2000 to 2006, including bacterial pathogens transmitted by Ixodes ricinus species: Borrelia burgdorferi sensu lato, Ana-plasma phagocytophilum and Francisella tularensis. As all of these agents can exist in ticks, their co-infections have been previously reported (Fingerle et al. Ticks can become infected with multiple pathogens after a single blood meal from a co-infected host or by feeding on single infected hosts during sequential life stages (Levin & Fish, 2000). Co-infection with tick-associated pathogens has the potential to modulate their transmission dynamics at multiple points Summary: The list of tick-borne pathogens is long, varied and includes viruses, bacteria, protozoa and nematodes. As all of these agents can exist in ticks, their co-infections have been previously reported. We studied co-infections of emerging bacterial pathogens (Borrelia burgdorferi sensu lato, Anaplasma phagocytophilum and Francisella tularensis) in Ixodes ricinus ticks in Serbia. Using PCR technique, we detected species-specific sequences, rrf-rrl rDNA intergenic spacer for B. burgdorferi s.l. , p44/msp2 paralogs for A. phagocytophilum, and the 17 kDa lipoprotein gene, TUL4, for F. tularensis, respectively, in total DNA extracted from the ticks. Common infections with more than one pathogen were detected in 42 (28.8 %) of 146 infected I. ricinus ticks. Co-infections with two pathogens were present in 39 (26.7 %) of infected ticks. Simultaneous presence of A. phagocytophilum and different genospecies of B. burgdorferi s.l. complex was recorded in 16 ticks, co-infection with different B. burgdorferi s. l. genospecies was found in 15 ticks and eight ticks harbored mixed infections with F. tularensis and B. burgdorferi s.l. genospecies. Less common were triple pathogen species infections, detected in three ticks, one infected with A. phagocytophilum / B. burgdorferi s.s. / B. lusitaniae and two infected with F. tularensis / B. burgdorferi s.s. …
Management of fibro-osseous lesions of the craniofacial area. Presentation of 19 cases and review of the literature

Introduction: Fibro-osseous lesions constitute a rare benign type of pathology with a non-odontogenic lineage that affect the craniofacial area. According to Waldrom’s classification, these lesions are divided into: fibrous dysplasia (FD), cemento-ossifying fibroma (COF) and desmoplastic fibroma (DF). Material and Methods: A retrospective study was performed on patients diagnosed with fibro-osseous lesions of the craniofacial area at the Hospital Universitario La Fe, Valencia, during 1987-2009. A total of 19 cases were collected: 15 cases compatible with an FD diagnosis, 3 cases with a COF diagnosis and 1 case with a DF diagnosis. Results: In the differential diagnosis, entities having similar clinical manifestations in the maxillofacial area with possible involvement of teeth or manifestations present as an asymptomatic radiolucent image should be ruled out. We hereby present the management and development of patients treated in our hospital for fibro-osseous lesions. Conclusions: Fibro-osseous lesions share many clinical and radiological characteristics in common, with histological features confirming the nature of the lesion. Management of patients should be individualized and case-specific, assessing the clinical evolution of each case and taking into account the benign nature and growth behavior of this type of tumors. Key words:Fibro-osseous, fibrous dysplasia, cemento-ossifying fibroma, desmoplastic fibroma.
Vacuum Structure around Identity-Based Solutions

We explore the vacuum structure in bosonic open string field theory expanded around an identity-based solution parameterized by a (≥ −1/2). Analyzing the expanded theory using level truncation approximation up to level 14, we find that the theory has a stable vacuum solution for a > −1/2. The vacuum energy and gauge invariant overlap numerically approach those of the tachyon vacuum solution with increasing truncation level. We also find that, at a = −1/2, there exists an unstable vacuum solution in the expanded theory and it rapidly becomes the trivial zero configuration just above a = −1/2. The numerical behavior of the two gauge invariants suggests that the unstable solution corresponds to the perturbative open string vacuum. These results reasonably support the expectation that the identity-based solution is a trivial pure gauge configuration for a > −1/2, but it can be regarded as the tachyon vacuum solution at a = −1/2.
Energy-efficient positioning for smartphones using Cell-ID sequence matching

Many emerging location-aware applications require position information. However, these applications rarely use celltower-based localization because of its inaccuracy, preferring instead to use the more energy-hungry GPS. In this paper, we present CAPS, a Cell-ID Aided Positioning System. CAPS leverages near-continuous mobility and the position history of a user to achieve significantly better accuracy than the celltower-based approach, while keeping energy overhead low. CAPS is designed based on the insight that users exhibit consistency in routes traveled, and that cell-ID transition points that the user experiences can, on a frequently traveled route, uniquely identify position. To this end, CAPS uses a cell-ID sequence matching technique to estimate current position based on the history of cell-ID and GPS position sequences that match the current cell-ID sequence. We have implemented CAPS on Android-based smartphones and have extensively evaluated it at different locations, and for different platforms and carriers. Our evaluation results show that CAPS can save more than 90% of the energy spent by the positioning system compared to the case where GPS is always used, while providing reasonably accurate position information with errors less than 20% of the celltower-based scheme.
Parameter Choice Strategies for Multipenalty Regularization

The widespread applicability of the multipenalty regularization is limited by the fact that theoretically optimal rate of reconstruction for a given problem can be realized by a one-parameter counterpart, provided that relevant information on the problem is available and taken into account in the regularization. In this paper, we explore the situation where no such information is given, but still accuracy of optimal order can be guaranteed by employing multipenalty regularization. Our focus is on the analysis and the justification of an a posteriori parameter choice rule for such a regularization scheme. First we present a modified version of the discrepancy principle within the multipenalty regularization framework. As a consequence we provide a theoretical justification to the multipenalty regularization scheme equipped with the a posteriori parameter choice rule. We then establish a fast numerical realization of the proposed discrepancy principle based on a model function approximation. Finally, we pro.
Stability vs. Effectiveness: Improved Sentence-Level Combination of Machine Translation Based on Weighted MBR

We describe an improved strategy to combine the outputs of machine translation on sentence-level balancing the stability and the effectiveness of the combination. The new method alternates the classical MBR-based sentence-level combination with weighted Minimum Bayes Risk (wMBR). During the calculation of the risk, we weight the hypotheses with the performance of the MT system, which is measured by the automatic evaluation metrics on the development data. In experiments, the wMBR-based method stably achieve better results than other sentence-level methods and get the best position in CWMT08 evaluation track outperforming the other word-level and sentence-level combination systems.
A hybrid nearest neighbour and progressive improvement approach for Travelling Salesman Problem

The Travelling Salesman Problem (TSP), one of the most famous combinatorial optimisation problems, has been widely studied for half a century now. The state-of-the-art solutions proposed in recent years seem to have focused on the nature-inspired algorithms. While good performance has been reported for many of these algorithms, they are considerably expensive in terms of computation. In this paper, we describe a hybrid solution based on the nearest neighbour algorithm and the progressive improvement algorithm. The nearest neighbour algorithm is a simple search that quickly yields a short tour for TSP, but its solution is usually not optimal. The progressive improvement algorithm, on the other hand, is an improvement strategy that needs to search through a lot of solutions that are near to the current solution, and derives a better one. We conduct experiments with this hybrid approach based on some major cities and towns in Borneo Island. Our experiments show that the hybrid approach is able to produce optimal or near-optimal results consistently for up to 100 cities/towns.
Enclitic-induced stress shift in Catalan

In this paper we provide a novel and unified formal analysis of the stress microvariation found in verb–enclitic groupings in Barcelona Catalan, with stress stability, in Formentera Catalan, with stress shift to the penultimate and the last syllable of the whole sequence, and in Mallorca and Menorca Catalan, with stress shift to the last syllable. We argue that stress shift in Formentera Catalan conforms directly to the unmarked pattern of nominal stress in Catalan, that is, a right-aligned moraic trochee, with the constraint All-Feet-Right undominated, leading to final and penultimate stress. In Barcelona Catalan, the effects of this constraint are inhibited by an anti-alignment constraint prohibiting the right edge of a foot from coinciding with the right edge of a clitic. In Mallorca and Menorca Catalan, stress shift is also understood as a strategy to meet the unmarked nominal stress pattern of Catalan, although in these dialects the anti-alignment constraint is also undominated, leading to catalexis, in this case a melodically empty mora, and thus to final stress.