Miracle-dz/UniFAR-FTUs huggingface dataset:
CUSP GEOMETRY OF FIBERED 3-MANIFOLDS By DAVID FUTER and SAUL SCHLEIMER

Let F be a surface and suppose that φ : F →F is a pseudo-Anosov homeomorphism, fixing a puncture p of F . The mapping torus M =Mφ is hyperbolic and contains a maximal cusp C about the puncture p. We show that the area (and height) of the cusp torus ∂C is equal to the stable translation distance of φ acting on the arc complex A(F,p), up to an explicitly bounded multiplicative error. Our proof relies on elementary facts about the hyperbolic geometry of pleated surfaces. In particular, the proof of this theorem does not use any deep results from Teichmüller theory, Kleinian group theory, or the coarse geometry of A(F,p). A similar result holds for quasi-Fuchsian manifolds N ∼= F ×R. In that setting, we find a combinatorial estimate for the area (and height) of the cusp annulus in the convex core of N , up to explicitly bounded multiplicative and additive error. As an application, we show that covers of punctured surfaces induce quasi-isometric embeddings of arc complexes.
Numerical modeling and simulation based on finite element method for internal cardiac defibrillation in a human torso

Since the inability of clinical approaches to measure the shock-induced electric field distribution of internal cardiac defibrillation, current clinical applications of the implantable cardioverter defibrillator (ICD) still stay largely empirical. In this study, a finite element modeling and simulation method for solving internal cardiac defibrillation field was proposed. Using this method, the defibrillation shock-induced potential field distribution was solved numerically in the torso of a patient implanted with a widely used transvenous ICD system. Moreover, the defibrillation energy threshold (DFT) for this patient was pre-surgically calculated using the critical mass hypothesis of cardiac defibrillation studies. The obtained results showed a high agreement between the predicted defibrillation thresholds with records observed in clinical. As a conclusion, the proposed method would be a feasible approach for using a further patient-specific optimization of ICD implantation, as part of preoperative planning.
Laparoscopic living-donor nephrectomy.

BACKGROUND In order to increase the number of renal donors, laparoscopic live-donor nephrectomy (LLDN) was first performed 8 years ago. Today, LLDN is a routine procedure in many centres worldwide. We reviewed the literature with regard to extend the use of this method, the feasibility and safety for donor, graft and recipient. Laparoscopic and open-donor nephrectomy are compared, and the impact of LLDN on donors' willingness is evaluated. METHODS Literature search (PubMed, DIMDI, Medline) for the period from 1995 to 2003. RESULTS More than 200 centres worldwide perform LLDN. It is a feasible and safe surgical procedure. For the donor, LLDN has numerous advantages, while graft and recipient outcome are the same as with the open approach. The learning curve on the way to performing this operation safely is long, and surgeons planning to integrate LLDN into their programme must be trained thoroughly. There are some indications that with LLDN the number of donors willing to donate a kidney can be increased. CONCLUSIONS LLDN is widely used and will spread further. It is of the utmost importance to undergo thorough laparoscopic training in general urology prior to performing this procedure.
A low-power wide-bandwidth fully differential operational amplifier with current re-using feedforward frequency compensation

A fully differential operational amplifier (op-amp) is described that simultaneously achieves low power consumption and wide bandwidth by employing current-reusing feedforward compensation scheme. In contrast to the conventional feedfoward frequency compensation, the newly developed scheme re-uses the bias current of the second stage of op-amp and therefore the power consumption is minimized. The op-amp designed in a 0.25/spl mu/m CMOS technology achieves 77dB DC gain, 870MHz unity gain frequency and 56/spl deg/ phase margin for 1pF load capacitance. The op-amp draws 1.8mA from a 2.5V supply.
A Ferroxidation/Permeation Iron Uptake System Is Required for Virulence in Ustilago maydis[W]

In the smut fungus Ustilago maydis, a tightly regulated cAMP signaling cascade is necessary for pathogenic development. Transcriptome analysis using whole genome microarrays set up to identify putative target genes of the protein kinase A catalytic subunit Adr1 revealed nine genes with putative functions in two high-affinity iron uptake systems. These genes locate to three gene clusters on different chromosomes and include the previously identified complementing siderophore auxotroph genes sid1 and sid2 involved in siderophore biosynthesis. Transcription of all nine genes plus three additional genes associated with the gene clusters was also coregulated by iron through the Urbs1 transcription factor. Two components of a high-affinity iron uptake system were characterized in more detail: fer2, encoding a high-affinity iron permease; and fer1, encoding an iron multicopper oxidase. Fer2 localized to the plasma membrane and complemented an ftr1 mutant of Saccharomyces cerevisiae lacking a high-affinity iron permease. During pathogenic development, fer2 expression was confined to the phase of hyphal proliferation inside the plant. fer2 as well as fer1 deletion mutants were strongly affected in virulence. These data highlight the importance of the high-affinity iron uptake system via an iron permease and a multicopper oxidase for biotrophic development in the U. maydis/maize (Zea mays) pathosystem.
EXAFS and XANES analysis of oxides at the nanoscale

This work presents a discussion of the possibilities offered by X-ray absorption spectroscopy (XAS) to study the local structure of nanomaterials. The current state of the art for the interpretation of extended X-ray absorption fine structure (EXAFS), including an advanced approach based on the use of classical molecular dynamics, is described and exemplified in the case of NiO nanoparticles. In addition, the limits and possibilities of X-ray absorption near-edge spectroscopy (XANES) in determining several effects associated with the nanocrystalline nature of materials are also discussed in connection with the development of ZnO-based dilute magnetic semiconductors and iron oxide nanoparticles.
Algorithms and complexity results for #SAT and Bayesian inference

Bayesian inference is an important problem with numerous applications in probabilistic reasoning. Counting satisfying assignments is a closely related problem of fundamental theoretical importance. In this paper, we show that plain old DPLL equipped with memorization (an algorithm we call #DPLLCache) can solve both of these problems with time complexity that is at least as good as state-of-the-art exact algorithms, and that it can also achieve the best known time-space tradeoff. We then proceed to show that there are instances where #DPLLCache can achieve an exponential speedup over existing algorithms.
Generalized sine-Gordon model and baryons in two-dimensional QCD

We consider the sl(3,C) affine Toda model coupled to matter (Dirac spinor) (ATM) and through a gauge fixing procedure we obtain the classical version of the generalized sl(3,C) sine-Gordon model (cGSG) which completely decouples from the Dirac spinors. The GSG models are multifield extensions of the ordinary sine-Gordon model. In the spinor sector we are left with Dirac fields coupled to cGSG fields. Based on the equivalence between the U(1) vector and topological currents, which holds in the theory, it is shown the confinement of the spinors inside the solitons and kinks of the cGSG model providing an extended hadron model for "quark" confinement [JHEP0701(2007)027]. Moreover, the solitons and kinks of the generalized sine-Gordon (GSG) model are shown to describe the normal and exotic baryon spectrum of two-dimensional QCD. The GSG model arises in the low-energy effective action of bosonized QCD2 with unequal quark mass parameters [JHEP0703(2007)055]. The GSG potential for three flavors resembles the potential of the effective chiral lagrangian proposed by Witten to describe low-energy behavior of four dimensional QCD. Among the attractive features of the GSG model are the variety of soliton and kink type solutions for QCD2 unequal quark mass parameters. Exotic baryons in QCD2 [ Ellis and Frishman, JHEP0508(2005)081] are discussed in the context of the GSG model. Various semi-classical computations are performed improving previous results and clarifying the role of unequal quark masses. The remarkable double sine Gordon model also arises as a reduced GSG model bearing a kink(K) type solution describing a multi-baryon.
Rodent Models for Metabolic Syndrome Research

Rodents are widely used to mimic human diseases to improve understanding of the causes and progression of disease symptoms and to test potential therapeutic interventions. Chronic diseases such as obesity, diabetes and hypertension, together known as the metabolic syndrome, are causing increasing morbidity and mortality. To control these diseases, research in rodent models that closely mimic the changes in humans is essential. This review will examine the adequacy of the many rodent models of metabolic syndrome to mimic the causes and progression of the disease in humans. The primary criterion will be whether a rodent model initiates all of the signs, especially obesity, diabetes, hypertension and dysfunction of the heart, blood vessels, liver and kidney, primarily by diet since these are the diet-induced signs in humans with metabolic syndrome. We conclude that the model that comes closest to fulfilling this criterion is the high carbohydrate, high fat-fed male rodent.
Long-range correlations in the mechanics of small DNA circles under topological stress revealed by multi-scale simulation

Abstract It is well established that gene regulation can be achieved through activator and repressor proteins that bind to DNA and switch particular genes on or off, and that complex metabolic networks determine the levels of transcription of a given gene at a given time. Using three complementary computational techniques to study the sequence-dependence of DNA denaturation within DNA minicircles, we have observed that whenever the ends of the DNA are constrained, information can be transferred over long distances directly by the transmission of mechanical stress through the DNA itself, without any requirement for external signalling factors. Our models combine atomistic molecular dynamics (MD) with coarse-grained simulations and statistical mechanical calculations to span three distinct spatial resolutions and timescale regimes. While they give a consensus view of the non-locality of sequence-dependent denaturation in highly bent and supercoiled DNA loops, each also reveals a unique aspect of long-range informational transfer that occurs as a result of restraining the DNA within the closed loop of the minicircles.
Improving Service Quality for Parking Lot Users Using Intelligent Parking Reservation Policies

Various smart parking solutions have recently become available. They typically utilize specific technological components in their operations including RFID and various other sensors. The information gathered using such means can be processed to provide useful indicators (e.g. parking occupancy) which can be exploited by both the operators as well as the drivers. In this paper, we propose an intelligent parking reservation management architecture which is based on an optimization strategy that exploits interval scheduling principles. The aim is to improve service quality for the drivers while increasing parking lot utilization.
Motion synthesis based on dimensionality reduction

In this paper we propose a method for human motion synthesis based on dimensionality reduction. The human motion can be considered as lying on a low dimensional intrinsic structure because of the coordination between the body parts, such as the arms and legs. Based on this assumption, new motion sequences can be generated from motion capture data by learning linear dynamic models of motion segments on the resulted space of dimensionality reduction. The synthesized motions are compared with the original motion, and good performance is observed.
Barriers and Facilitators for Sustainability of Tele-Homecare Programs: A Systematic Review.

OBJECTIVE To identify the barriers and facilitators for sustainability of tele-homecare programs implemented by home health nursing agencies for chronic disease management. DATA SOURCES English-language articles on home telehealth in the CINAHL, PubMed/MEDLINE, PsychInfo, Web of Science, and Cochrane Reviews databases published from January 1996 to December 2013. STUDY DESIGN We performed a systematic literature review. Data extraction using PRISMA guidelines and quality appraisal using the Mixed Methods Appraisal Tool (MMAT) were conducted on relevant empirical studies. Thematic analysis across the studies and narrative summaries were used to synthesize the findings from the included studies. PRINCIPAL FINDINGS Of the initial 3,920 citations, we identified 16 articles of moderate quality meeting our inclusion criteria. Perceptions on effectiveness of tele-homecare programs for achieving intended outcomes; tailoring of tele-homecare programs to patient characteristics and needs; relationship and communication between patient, nurse, and other health care professional users of tele-homecare; home health organizational process and culture; and technology quality, capability, and usability impacted the sustainability of tele-homecare programs. CONCLUSIONS The findings of this systematic review provide implications for sustained usage of tele-homecare programs by home health nursing agencies and can help such programs realize their potential for chronic disease management.
DRAFT : A REFINED BLOCK-LEVEL FEATURE SET FOR CLASSIFICATION , SIMILARITY AND TAG PREDICTION

In our submission we use a set of so-called block-level features (BLF) for three different tasks, namely genre classification, tag classification and music similarity estimation. Compared to the submission in 2010 two additional feature were added to the feature set. This abstract gives an overview on the feature set and presents some specific details of the submitted algorithms.
Improving the feedback loop between the knowledge business and the core business

Knowledge management (KM) and process orientation (PO) constitute two important parts of developing an organisation, being the knowledge business part and the core process part. In order to stay competitive and to increase the customer value of their products, organisations must maintain close links between these two parts. This can be made by establishing a feedback loop, and this loop must be bi-directed. Knowledge and KM concepts must be introduced in organisations, but the way of working in organisations must also affect the knowledge residing in them. This paper analyses one approach taken to relate the core business and the knowledge business, and identifies where improvements can be made to ensure the bi-directional nature of the feedback loop. The use of data warehouse technology is suggested as an enabler of business process evolvement, since the feedback loop between the business processes and the KM application data warehouse may be seen as a subset of activities in the feedback loop between the core business and the knowledge business.
Development of an automatic managing system of wide-area distributed networks with defined network specification

Software-Defined Networking (SDN) attracts attention as a technology to control and manage IP networks, which are inherently designed to be operated autonomously and decentralized, in a centralized manner. There have been proposed some SDN protocols like OpenFlow, but they have a restriction that existing legacy network devices which do not support SDN protocols are not controllable. In this paper, we allow an administrator to manage a wide-area distributed network composed of campus networks and data-center networks in which network devices do not have SDN features, in a single unitary policy, under an assumption that the backbone network supports SDN protocols like OpenFlow. We propose a network management system which generates necessary configuration based on defined network specification and sets the configuration to devices automatically and reactively, based on our Service-Defined Networking (SvDN) concept.
Structural Bayesian language modeling and adaptation

We propose a language modeling and adaptation framework using Bayesian structural maximum a posteriori (SMAP) principle, in which each n-gram event is embedded in a branch of a tree structure. The nodes in the first layer of this tree structure represent the unigrams, and those in the second layer represent the bigrams, and so on. Each node in the tree structure has an associated hyper-parameter representing the information about the prior distribution, and a count representing the number of times the word sequence occurs in the domain-specific data. In general, the hyper-parameters depend on the observation frequency of not only the node event but also its parent node of lower order n-gram event. Our automatic speech recognition experiments using the Wall Street Journal corpus verify that the proposed SMAP language model adaptation achieves a 5.6% relative improvement over maximum likelihood language models obtained with the same training and adaptation data sets.
A method for personalized ranking of items based on similarity between Twitter users

According to the remarkable progress of Web technologies, people search various types of items such as movies, books, and CDs on the Internet. Items that are returned as search results would be ranked based on objective criteria such as rating scores. Such rankings are not personalized to a user based on his/her interests and preferences. In this paper, we introduce a method for ranking items that are specified by users. Our method does not request users to specify their interests and preference manually. Our method focuses on the users who have posted tweets about the items and extracts features of the users. Items are ranked according to the preferences of the user based on the similarities of twitter users. The effectiveness of the proposed method is evaluated with experimental results on subjects.
Is the validity of conscientiousness stable across time? Testing the role of trait bandwidth

Among the Five Factor Model (FFM) of personality traits, conscientiousness has received support as a valid predictor of job performance (Hurtz & Donovan, 2000; Salgado, 1997; Salgado, Anderson, & Tauriz, 2015). Yet, because the FFM is hierarchical, a debate emerged concerning the appropriate bandwidth at which conscientiousness should be measured (Ones & Viswesvaran, 1996; Paunonen, Rothstein, & Jackson, 1999). Was it the broad factor, or only particular facets, that predicted job performance? To address this question, research has compared the magnitude of global vs. facet conscientiousness validities at a single point in time (Dudley, Orvis, Lebiecki, & Cortina, 2006; Salgado, Moscoso, & Berges, 2013). Although larger validities are desirable, it is also
A Major Controversy in Codon-Anticodon Adaptation Resolved by a New Codon Usage Index

Two alternative hypotheses attribute different benefits to codon-anticodon adaptation. The first assumes that protein production is rate limited by both initiation and elongation and that codon-anticodon adaptation would result in higher elongation efficiency and more efficient and accurate protein production, especially for highly expressed genes. The second claims that protein production is rate limited only by initiation efficiency but that improved codon adaptation and, consequently, increased elongation efficiency have the benefit of increasing ribosomal availability for global translation. To test these hypotheses, a recent study engineered a synthetic library of 154 genes, all encoding the same protein but differing in degrees of codon adaptation, to quantify the effect of differential codon adaptation on protein production in Escherichia coli. The surprising conclusion that “codon bias did not correlate with gene expression” and that “translation initiation, not elongation, is rate-limiting for gene expression” contradicts the conclusion reached by many other empirical studies. In this paper, I resolve the contradiction by reanalyzing the data from the 154 sequences. I demonstrate that translation elongation accounts for about 17% of total variation in protein production and that the previous conclusion is due to the use of a codon adaptation index (CAI) that does not account for the mutation bias in characterizing codon adaptation. The effect of translation elongation becomes undetectable only when translation initiation is unrealistically slow. A new index of translation elongation ITE is formulated to facilitate studies on the efficiency and evolution of the translation machinery.
Fault Detection and Diagnosis Using Wavelet Based T Ransient Curren T Analysis

We pr esent a novel integrated method for fault detection and localization using wavelet transform of transient current (IDD) waveform. The time-frequency resolution property of wavelet helps us detect as well as localize faults in digital CMOS circuits. Experiments performed on an 8-bit ALU show promising results for both detection and localization.
Dose-dependent embryotrophic effect of recombinant granulocyte-macrophage colony-stimulating factor and brain-derived neurotrophic factor in culture medium for mouse preimplantation embryo

Objective To evaluate the dose effect of recombinant mouse granulocyte-macrophage colony-stimulating factor (rmGM-CSF) or brain-derived neurotrophic factor (BDNF) in culture medium on the development of in vitro fertilized mouse embryos. Methods Mature oocytes were retrieved from superovulated female BDF1 mice and inseminated by sperm from male BDF1 mice. On day 1, two-cell stage embryos were divided and cultured until day 5 in the embryo maintenance medium supplemented with 0, 1, 2, 5, or 10 ng/mL of rmGM-CSF or supplemented with 0, 5, 10, or 20 ng/mL of BDNF. Blastocyst formation rate and their cell numbers were assessed. Results The blastocyst formation rate and the total cell count in blastocyst was similar in all the rmGM-CSF treatment groups when compared with the control. However, the blastocyst formation rate and the total cell count was significantly higher in the group supplemented with 10 ng/mL of BDNF compared with the control (63.9%, 45.8±11.5 vs. 52.3%, 38.0±6.8; P<0.05, respectively). Conclusion Supplementation of 10 ng/mL of BDNF enhanced the developmental potential of mouse preimplantation embryos, but supplementation of rmGM-CSF did not.
Text Clustering Based on Domain Ontology and Latent Semantic Analysis

One key step in text mining is the categorization of texts, i.e., to put texts of the same or similar contents into one group so as to distinguish texts of different contents. However, traditional word-frequency-based statistical approaches, such as VSM model, failed to reflect the complicated meaning in texts. This paper ushers in domain ontology and constructs new conceptual vector space model in the pre-processing stage of text clustering, substituting the initial matrix (lexicon-text matrix) in the latent semantic analysis with concept-text matrix. In the clustering analysis stage, this model adopts semantic similarity, partially overcoming the difficulty in accurately and effectively evaluating the degree of similarity of text due to simply taking into account the frequency of words and/or phrases in the text. Experimental results indicate that this method is helpful in improving the result of text clustering.