Miracle-dz/UniFAR-FTUs huggingface dataset:
Liver transplantation for argininosuccinic aciduria: Clinical, biochemical, and metabolic outcome

We report successful liver transplantation in a young adult with argininosuccinic aciduria but without cirrhosis. Plasma amino acid profile normalized and brain magnetic resonance spectroscopy indicated improved metabolism after transplantation. The general well‐being of the patient and his quality of life improved. We suggest that orthotopic liver transplantation should be considered for patients with argininosuccinic aciduria even in the absence of cirrhosis, with the aim of correcting (at least in part) central nervous system metabolism, thereby preventing further neurological deterioration. Liver Transpl 14:41–45, 2008. © 2007 AASLD.
Hierarchical Action Selection for Reinforcement Learning in Infinite Mario

In this work, we analyze and improve upon reinforcement learning techniques used to build agents that can learn to play Infinite Mario, an action game. We use the object-oriented representation with the hierarchical RL model as a learning framework. We then extend the idea of hierarchical RL by designing a hierarchy in action selection using domain specific knowledge. Using experimental results, we show that this approach facilitates faster and efficient learning for the domain.
Origin Usage during Euplotes Ribosomal DNA Amplification

ABSTRACT The macronuclear genome of the ciliate Euplotes is comprised of millions of small linear DNA molecules that have telomeres on each end. These molecules are generated during the sexual stage of the life cycle, when the new macronucleus is formed by a series of DNA processing events and multiple rounds of DNA amplification. We have used two-dimensional gels to compare the location of the replication origins used during vegetative growth and the two periods during macronuclear development when DNA amplification takes place. When we examined the pattern of ribosomal DNA (rDNA) replication intermediates, we observed almost identical Y arcs regardless of when in the Euplotes life cycle the DNA was isolated. No bubble or bubble-to-Y arcs could be detected. This indicates that replication of the macronuclear rDNA initiates at or near the telomere even when these molecules are being differentially amplified. Since replication rarely initiated from both ends of the rDNA, we examined the direction of replication fork movement to determine which end of the rDNA served as the origin. Fork movement gels indicated that replication initiated at the 5′ end. As transcription also starts near the telomere at the 5′ end, our findings suggest that the telomere and the promoter region cooperate to recruit Euplotes replication initiation complexes.
GAIT RECOGNITION OF HUMAN USING SVM AND BPNN CLASSIFIERS

Recognition of any individual is a task to identify people. Human identification using Gait is method to identify an individual by the way he walk or manner of moving on foot. Gait recognition is a type of biometric recognition and related to the behavioural characteristics of biometric recognition. Gait recognition is one kind of biometric technology that can be used to monitor people without their cooperation. Controlled environments such as banks, military installations and even airports need to be able to quickly detect threats and provide differing levels of access to different user groups. Gait shows a particular way or manner of moving on foot and gait recognition is the process of identifying an individual by the manner in which they walk. Gait is less unobtrusive biometric, which offers the possibility to identify people at a distance, without any interaction or co-operation from the subject; this is the property which makes it so attractive. In this thesis, firstly binary silhouette of a walking person is detected from each frame. Secondly, feature from each frame is extracted using image processing operation. Here center of mass, step size length, and cycle length are talking as key feature. At last BPNN and SVM technique is used for training and testing purpose. Here all experiments are done on gait database and input video.
Dynamics of superconducting cosmic strings.

We investigate the effect that a current flowing on a superconducting string has on its motion, and demonstrate that for a wide class of models the current can build up so that the tension vanishes, leaving the string behaving more like a ''spring. '' Possible conflicts with both nucleosynthesis and constraints on gravitational radiation are briefly discussed.
Molecular identification of the trematode Paragonimus in faecal samples from the wild cat Prionailurus bengalensis in the Da Krong Nature Reserve, Vietnam

Abstract Conventional identification of Paragonimus species and their natural definitive hosts is based on the morphological features of adult parasites isolated from the lungs of wild mammalian hosts. However, wild animals are protected by strict regulations and sampling is not always possible. Recently, molecular techniques have been developed to identify the internal transcribed spacer (ITS) sequences of Paragonimus eggs in faeces/sputum of human patients. Also, mammalian hosts can be identified using the D-loop sequence of mitochondrial DNA in faecal samples. In this study, we used molecular techniques on faeces from wild animals collected in Da Krong Nature Reserve, Quang Tri province, central Vietnam, where Paragonimus metacercariae are highly prevalent in mountain crabs, to identify Paragonimus species and their natural definitive hosts. The results indicated that wild cats, Prionailurus bengalensis, were infected with at least three different Paragonimus species, P. westermani, P. skrjabini and P. heterotremus. Because all of these species can infect humans in Asian countries, human paragonimiasis should be considered in this area.
Fetal gastroschisis: antepartum fetal heart rate analysis by computerized cardiotocography

Abstract Objectives: To describe the antenatal fetal heart rate (FHR) parameters analyzed by computerizedcardiotocography (cCTG) in fetuses with gastroschisis and compare the FHR parameters with ultrasound gastrointestinal markers. Methods: A retrospective analysis of antepartum cCTG records were conducted in 87 pregnant cases with fetal gastroschisis between 28and 36 weeks (plus 6 days). A comparative analysis of the median distribution of the following FHR parameters was performed: basal FHR, short-term variation (STV), FHR accelerations and decelerations, episodes of high and low variations, and variations in low and high episodes. FHR parameters and ultrasound gastrointestinal markers were also compared. Results: The majority of FHR parameters did not present significant changes throughout gestation. An increased number of records with episodes of low variation (p = 0.019) and an increased number of accelerations >15 bpm (p = 0.001) were the only observed changes throughout gestation. Stomach herniation was significantly associated with a lower STV (p = 0.018) and a higher frequency of records with low episodes (p = 0.049). Conclusions: The cCTG analysis indicated that the FHR parameters in fetuses with gastroschisis presented different patterns from those observed in normal fetuses. Stomach herniation was associated with altered FHR patterns.
Investment Beliefs of Endowments

American university and college endowments now hold close to one-third of their portfolios in private equity and hedge funds. We estimate the implied beliefs of endowments about alternative assets' returns relative to equities and bonds. At the end of 2012, the typical endowment believes that its private equity investments will outperform a portfolio of conventional assets by 3.9% per year and that hedge funds will outperform by 0.7% per year. Out-performance beliefs, particularly for private equity, have increased since 2006. There are significant cross-sectional differences in beliefs and trends: private universities are, on average, less risk averse and have more optimistic beliefs and universities with larger endowments, higher spending rates, and those that rely more on the endowment to meet operational budgets tend to believe that alternatives deliver higher alphas. Taking into account the implied equity exposures in alternative asset positions, the effective equity holding of endowments is approximately 60%.
A mutation in the yeast heat-shock factor gene causes temperature-sensitive defects in both mitochondrial protein import and the cell cycle

Yeast cells containing the recessive mas3 mutation display temperature-sensitive defects in both mitochondrial protein import and the cell division cycle. The import defect is characterized by two pools of mitochondrial precursors and a dramatically slower rate of posttranslational import. The effect of mas3 on cell cycle progression occurs within one cell cycle at the nonpermissive temperature and retards progression through the G2 stage. The mas3 mutation maps to the gene encoding yeast heat-shock transcription factor (HSF), and expression of wild-type HSF complements the temperature-sensitive defects. The mas3 lesion has no apparent effect on protein secretion. In mas3 cells, induction of a major heat-shock gene, SSA1, is defective at 37 degrees C. The properties of the mas3 mutant cells indicate that HSF mediates the response to stress of two basic cellular processes: mitochondrial protein import and cell cycle progression.
Critical Role for CXCR4 Signaling in Progenitor Localization and T Cell Differentiation in the Postnatal Thymus 1

T cell differentiation in the thymus depends on sequential interactions between lymphoid progenitors and stromal cells in discrete regions of the cortex. Here we show that CXCL12/CXCR4 signaling is absolutely required for proper localization of early progenitors into the cortex and thus for successful steady state differentiation. All early progenitors in the thymus express CXCR4, and its ligand (CXCL12) is expressed only by stromal cells in the cortex, where early progenitors are found. Early progenitors migrate in response to CXCL12 in vitro, while thymus-specific deletion of CXCR4 in vivo results in failed cortical localization and developmental arrest. These findings indicate a crucial and nonredundant role for CXCR4 in facilitating localization of early lymphoid progenitors to tissue regions of the thymus, where lineage commitment and proliferation are controlled.
Extracellular signal‐regulated kinase activation in the chronic constriction injury model of neuropathic pain in anaesthetized rats

The role of extracellular signal‐regulated kinases (ERKs) in nociception has been explored in the last years. While in spinal cord their activation is frequently correlated with pain or acute noxious stimuli, supraspinally, this association is not so evident and remains unclear. This study aims to evaluate ERK1/2 activation in the spinal cord and brainstem nuclei upon neuropathy and/or an additional mechanical stimulus.
Androgen Induces a Switch from Cytoplasmic Retention to Nuclear Import of the Androgen Receptor

ABSTRACT The androgen receptor (AR) has critical functions as a transcription factor in both normal and cancer cells, but the specific mechanisms that regulate its nuclear localization are not well defined. We found that an AR mutation commonly reported in prostate cancer generates an androgen-independent gain of function for nuclear import. The substitution, Thr877Ala, is within the ligand-binding domain, but the nuclear import gain of function is mediated by the bipartite nuclear localization signal (NLS) spanning the DNA-binding domain (DBD) and hinge region. Bipartite NLS activity depends on the structure provided by the DBD, and protein interactions with the bipartite NLS are repressed by the hinge region. The bipartite NLS is recognized by importin 7, a nuclear import receptor for several proteins. Importin 7 binding to AR, however, inhibits import by shielding the bipartite NLS. Androgen binding relieves the inhibition by inducing a switch that promotes exchange of importin 7 for karyopherin alpha import receptors. Importin 7 contributes to the regulation of AR import by restraining import until androgen is detected in the cytoplasm.
Scheduled dual mode predictive control for a flexible air-breathing hypersonic vehicle using polyhedral invariant sets

In this paper, a scheduled dual mode predictive control strategy is developed for a flexible air-breathing hypersonic vehicle (FAHV) which is in a sizable flight envelope and in present of constrains. In order to transform an intricate nonlinear control problem of FAHV into a linear control problem, multiple linear time invariant (LTI) models obtained by direct linearization method at specified trim conditions are constructed to describe the longitudinal dynamics of FAHV. Then, based on the theory of polyhedral invariant sets, a set of local dual mode predictive controllers which explicitly tackle the asymmetric constraints are offline designed for multiple LTI models. Meanwhile, the corresponding overlapped stable regions are obtained. Furthermore, the stability of the closed-loop system in the enlarged stable regions is established. Finally, the comparative simulation results for tracking reference commands of velocity and altitude verify the effectiveness of the proposed control strategy.
A Method for Imaging the Emitter Saturation Current With Lateral Resolution

A method is developed to measure the emitter saturation current density J0e with lateral resolution. The method uses photoluminescence lifetime imaging at several different injection densities to evaluate the injection-dependent effective excess carrier lifetime, from which J0e is derived at each pixel using the method of Kane and Swanson. The applicability of the method is successfully demonstrated on laser-doped selective emitters for crystalline Si solar cells. The derived J0e images of selective emitter test structures are discussed, including measurement uncertainties. The J0e images may, for example, be used to optimize the laser parameters of selective emitters and to quantify laser damage, and may also provide input parameters for device simulation.
Studentâ€™s Musical Preferences: The Role of Music Education, Characteristics of Music and Personality Traits/Glazbene preferencije studenata: uloga glazbenog obrazovanja, karakteristika glazbe i značajki osobnosti

Abstract The aim of this research was to examine the relationship between music education and musical preferences for different tempo and tonality and to explore what personality traits of the Big five-factor model contribute to the explanation of individual differences in musical preferences. The survey included 202 female and male students of the University of Split who were selected on the basis of their music education. Music compact disc containing 16 musical excerpts, Questionnaire for testing musical preference and Questionnaire for personality traits were used. The results confirmed the significant effects of music education and music characteristics on the musical preferences. Participants with the highest degree of music education enjoy all musical examples alike, regardless of musical characteristics, while other participants reported a significantly higher degree of liking the music in major key and fast tempo. Music education was a significant predictor in explaining musical preferences for major key music in fast tempo, while openness to experience was significant in predicting preferences for the minor music in slow tempo.Key words: Big five-factor model; music pedagogy; tempo; tonality. ---Sažetak Cilj istraživanja bio je ispitati odnos između glazbenog obrazovanja i preferencija glazbe različitog tempa i tonaliteta te provjeriti koje osobine ličnosti iz petfaktorskog modela doprinose objašnjenju individualnih razlika u glazbenim preferencijama. U istraživanju je sudjelovalo 202 studentica i studenata Sveučilišta u Splitu koji su odabrani na temelju kriterija glazbenog obrazovanja. Za potrebe istraživanja pripremljen je glazbeni nosač zvuka, Upitnik za ispitivanje glazbenih preferencija i Upitnik za ispitivanje osobina ličnosti. Rezultati potvrđuju značajne efekte glazbenog obrazovanja i glazbenih osobina na preferencije glazbe različitog tempa i tonaliteta. Sudionici s najvećim stupnjem glazbenog obrazovanja podjednako preferiraju glazbu bez obzira na njezine karakteristike, a ostali sudionici iskazuju značajno veći stupanj prefiranja durske glazbe brzog tempa. Značajnim prediktorima u objašnjenju glazbenih preferencija pokazalo se glazbeno obrazovanje za dursku glazbu brzog tempa, a osobina intelekta za molsku glazbu polaganog tempa. Ključne riječi: glazbena pedagogija; petfaktorski model; tempo; tonalitet
The Pleural Curtain of the Camel (Camelus dromedarius)

The visceral pleura of the camel (Camelus dromedarius) possesses a fibrous curtain of pleural threads or extensions along its basal margins, which extends into the pleural cavity of the costophrenic recesses. These threads are lined by mesothelium and have a core or stroma, which is largely collagenous. Small threads are avascular and nearly acellular. In larger proximal threads, blood vessels in the stroma are often arranged in a branching network, with irregular endothelia surrounded by several incomplete basal laminae. Lymphocytes and other inflammatory cell types aggregate in the stroma near blood vessels. The threads are lined by typical mesothelium except in patches close to the main pleural surface. These patches consist of layers of loosely applied cells with numerous cellular processes and features suggestive of phagocytosis. The position of the pleural curtain in the costophrenic recess and the presence of possibly phagocytotic cells suggest that the pleural curtain stirs, samples, and cleans the pleural fluid. The pleural curtain appears to be a feature of camelids and has also been seen in giraffes. Anat Rec 293:1776–1786, 2010. © 2010 Wiley‐Liss, Inc.
A Survey of Open Source Enterprise Resource Planning (ERP) Systems

Enterprise resource planning (ERP) systems have been widely used in business organizations, and are especially ideal for small- or medium-sized businesses. This paper surveys open source ERP systems, using five criteria identified in the literature; namely: readiness for cloud computing as a Web-based system; completeness of commonly required ERP functionalities; ease of configuration on any operating system; existence of an active and large social network for users' community support; and the presence of other non-functional requirements. Using the five assessment criteria, the authors examine six well-recognized open source ERP systems on the market: webERP, Compiere, PostBooks, Opentaps, OpenBravo, and OpenERP. As an example of a simple and intuitive method for assessing open source ERP systems for potential user firms, the authors use star charts to compare the six selected systems. The authors conclude that there are differences among open source ERP systems, and that a good open source ERP system should be highly competitive in terms of the five criteria used in this study.
Provenance Composition in PROV

When two communicating processes each record their own provenance, what extra information needs to be recorded in order that a satisfactory account can be given, of the combined process? We propose a set of requirements on (i) the kind of information that the processes can share and (ii) the kind of queries that should be answerable from the combined provenance graph. We describe a solution using PROV.
[Detection of point mutation in p53 gene by capillary electrophoresis-PCR-SSCP analysis].

OBJECTIVE To screen the point mutation of p53 gene rapidly by capillary electrophoresis (CE). METHODS A simple capillary electrophoresis system for the strand conformational polymorphism (SSCP) analysis of genomic DNA was developed by choosing commercially available capillary and gel buffer. This CE-SSCP system was applied to the analysis of twenty PCR products amplified from the exon 7 of the p53 gene of tissue specimens from patients with colon cancer. RESULTS Five of them (Ca4, Ca6, Ca7, Ca8, Ca14) were found to have mutation within 25 minutes, while the results of the SSCP analysis by PAGE-silver staining techniques only detected mutation of four samples. And sequencing of these PCR products proved that the results of CE-SSCP were correct. CONCLUSION This simple, accurate and less expensive method could be used in the field of medical research and in the clinical DNA diagnosis of human cancers and other diseases.
Sets in Coq, Coq in Sets

This work is about formalizing models of various type theories of the Calculus of Constructions family. Here we focus on set theoretical models. The long-term goal is to build a formal set theoretical model of the Calculus of Inductive Constructions, so we can be sure that Coq is consistent with the language used by most mathematicians. One aspect of this work is to axiomatize several set theories: ZF possibly with inaccessible cardinals, and HF, the theory of hereditarily finite sets. On top of these theories we have developped a piece of the usual set theoretical construction of functions, ordinals and fixpoint theory. We then proved sound several models of the Calculus of Constructions, its extension with an infinite hierarchy of universes, and its extension with the inductive type of natural numbers where recursion follows the type-based termination approach. The other aspect is to try and discharge (most of) these assumptions. The goal here is rather to compare the theoretical strengths of all these formalisms. As already noticed by Werner, the replacement axiom of ZF in its general form seems to require a type-theoretical axiom of choice (TTAC).
Challenging Industrial Design Students to Foster Sustainable Behaviors

During their time in university, students of industrial design are typically trained to improve the appearance, function and value of products. This product-centric focus of the industrial designer’s work is often blamed for the proliferation of unnecessary products in the market and the promotion of such wasteful values as rapid obsolescence and conspicuous consumption. In this paper, the usual product-oriented syllabus of a third year industrial design studio course is challenged to embrace new content: that of fostering sustainable behaviors in the community through the design of product systems. Childcare centers and residential colleges in the university campus were targeted as “clients” for the students to engage in positive behavioral changes. Student reflections reveal that they enjoyed the experience of interacting with clients and working on briefs which tackle sustainability issues. Key-Words: industrial design, sustainable design, design education