Miracle-dz/UniFAR-FTUs huggingface dataset:
The prevalence and etiology of elevated aminotransferase levels in the United States

OBJECTIVES:Chronic liver disease is a major cause of morbidity and mortality in the United States. Although often used to detect liver disease, the prevalence and etiology of elevated aminotransferases are unknown.METHODS:We analyzed data on adults ages 17 yr and older (n = 15,676) from the Third National Health and Nutrition Examination Survey (1988–1994). Participants were classified as having elevated aminotransferase levels if either aspartate aminotransferase or alanine aminotransferase was elevated above normal. Aminotransferase elevation was classified as “explained” if there was laboratory evidence of hepatitis B or C infection, iron overload, or if there was a history of alcohol consumption. Analyses were weighted to provide national estimates.RESULTS:The prevalence of aminotransferase elevation in the United States was 7.9%. Aminotransferase elevation was more common in men compared to women (9.3% vs 6.6%, p = 0.002), in Mexican Americans (14.9%) and non-Hispanic blacks (8.1%) compared to non-Hispanic whites (7.1%, p < 0.001). High alcohol consumption, hepatitis B or C infection and high transferrin saturation were found in only 31.0% of cases. Aminotransferase elevation was unexplained in the majority (69.0%). In both men and women, unexplained aminotransferase elevation was significantly associated with higher body mass index, waist circumference, triglycerides, fasting insulin, and lower HDL; and with type 2 diabetes and hypertension in women (all p < 0.05). CONCLUSIONS:Aminotransferase elevation was common in the United States, and the majority could not be unexplained by alcohol consumption, viral hepatitis or hemochromatosis. Unexplained aminotransferase elevation was strongly associated with adiposity and other features of the metabolic syndrome, and thus may represent nonalcoholic fatty liver disease.
Toward a dialectical approach to intervention.

Change is the essence of dialectics; it is also the essence of psychotherapy. In this paper, dialectics is explored in terms of how it might be applied to both assessment and psychotherapy. A dialectical approach to assessment would emphasize the person as process, shift the assessor’s priorities from finding only weaknesses to finding strengths, place assessment in a human context, and advocate the use of positive labels. A dialectical approach to psychotherapy would change the usual context of therapy, stress relabeling, and expand the modes of therapeutic communication. A dialectical therapist could also use many of the techniques of gestalt and paradoxical therapy since it is demonstrated that they are both grounded in a dialectical theory of change.
Low-Wavenumber Structure and Evolution of the Hurricane Inner Core Observed by Airborne Dual-Doppler Radar

Abstract The asymmetric dynamics of the hurricane inner-core region is examined through a novel analysis of high temporal resolution, three-dimensional wind fields derived from airborne dual-Doppler radar. Seven consecutive composites of Hurricane Olivia’s (1994) wind field with 30-min time resolution depict a weakening storm undergoing substantial structural changes. The symmetric and asymmetric mechanisms involved in this transformation are considered separately. To zeroth order the weakening of the primary circulation is consistent with the axisymmetric vortex spindown theory of Eliassen and Lystad for a neutrally stratified atmosphere. Vertical shear, however, increased dramatically during the observation period, leading to a strong projection of the convection onto an azimuthal wavenumber 1 pattern oriented along the maximum vertical shear vector. Recent theoretical ideas elucidating the dynamics of vortices in vertical shear are used to help explain this asymmetry. The role of asymmetric vorticity d.
Human embryonic and induced pluripotent stem cells in clinical trials.

BACKGROUND Human embryonic and induced pluripotent stem cells (hESC and hiPSC) have tremendous potential for clinical implementation. In spite of all hurdles and controversy, clinical trials in treatment of spinal cord injury, macular degeneration of retina, type 1 diabetes and heart failure are already ongoing. SOURCES OF DATA ClinicalTrials.gov database, International Clinical Trials Registry Platform, PubMed and press releases and websites of companies and institutions working on hESC- and iPSC-based cellular therapy. AREAS OF AGREEMENT The initial results from multiple clinical trials demonstrate that hESC-based therapies are safe and promising. AREAS OF CONTROVERSY Are iPSC cells safe in the clinical application? Is there a room for both hESC and iPSC in the future clinical applications? GROWING POINTS Increasing number of new clinical trials. AREAS TIMELY FOR DEVELOPING RESEARCH Development of hESC- and/or iPSC-based cellular therapy for other diseases.
Nodal Load Profiles Estimation for Time Series Load Flow Using Independent Component Analysis

This paper presents a method to estimate load profile in a multiple power flow solutions for every minutes in 24 hours per day. A method to calculate multiple solutions of non linear profile is introduced. The Power System Simulation/Engineering (PSS®E) and python has been used to solve the load power flow. The result of this power flow solutions has been used to estimate the load profiles for each load at buses using Independent Component Analysis (ICA) without any knowledge of parameter and network topology of the systems. The proposed algorithm is tested with IEEE 69 test bus system represents for distribution part and the method of ICA has been programmed in MATLAB R2012b version. Simulation results and errors of estimations are discussed in this paper. Keywords—Electrical Distribution System, Power Flow Solution, Distribution Network, Independent Component Analysis, Newton Raphson, Power System Simulation for Engineering.
Person re-identification via rich color-gradient feature

Person re-identification refers to match the same pedestrian across disjoint views in non-overlapping camera networks. Lots of local and global features in the literature are put forward to solve the matching problem, where color feature is robust to viewpoint variance and gradient feature provides a rich representation robust to illumination change. However, how to effectively combine the color and gradient features is an open problem. In this paper, to effectively leverage the color-gradient property in multiple color spaces, we propose a novel Second Order Histogram feature (SOH) for person reidentification in large surveillance dataset. Firstly, we utilize discrete encoding to transform commonly used color space into Encoding Color Space (ECS), and calculate the statistical gradient features on each color channel. Then, a second order statistical distribution is calculated on each cell map with a spatial partition. In this way, the proposed SOH feature effectively leverages the statistical property of gradient and color as well as reduces the redundant information. Finally, a metric learned by KISSME [1] with Mahalanobis distance is used for person matching. Experimental results on three public datasets, VIPeR, CAVIAR and CUHK01, show the promise of the proposed approach.
Formal Verification of abstract digital controllers for hybrid systems

This project proposes extensions of formal verification techniques, so as to bring finite state controllers of hybrid systems within the ambit of the verification framework. These controllers are represented using Kripke Structures whose states are labelled with Predicates Over Real Variables(PORVs). An extension to LTL is proposed, for representing the properties, and two model checking approaches one automata theoretic and the other symbolic are proposed for verifying such properties over PORV labelled Kripke Structures. The automata theoretic approach is based on the existing on-the-fly verification technique. Using SMT solvers, the symbolic approach reduces the verification problem into a usual model checking problem with propositions, which can be solved using industrial model checking tools. This project also addresses the problem of model checking under assume properties which may themselves contain PORVs. Correctness of the proposed model checking approaches are proven, and case studies are presented for illustrating the toolflow.
Hairpin configuration of H-2Kk in liposomes formed by detergent dialysis.

H-2Kk is a transmembrane glycoprotein having the N-terminal region of the heavy chain exposed at the cell surface and the C-terminal region exposed at the cytoplasmic face in its native configuration in the plasma membrane. The configuration of H-2Kk in liposomes formed by detergent dialysis was investigated by using fluorescently labeled H-2 and Co2+ ions to quench fluorescence. H-2Kk was incorporated into sealed lipid vesicles when deoxycholate was removed by dialysis from a mixture of protein and lipid. Including 20 mM carboxyfluorescein (CF) in the mixture prior to dialysis resulted in CF trapped inside the vesicles at concentrations where self-quenching occurred. Vesicles with CF trapped inside were shown to be osmotically active and impermeable to Na+ and Co2+ ions. In order to examine the configuration of H-2Kk in these liposomes, the heavy chain was covalently labeled by using the sulfhydryl reactive fluorescent reagents fluorescein-5-ylmaleimide (NFM) or 5-[[2-[(iodoacetyl)amino]-ethyl]amino]naphthalene-1-sulfonic acid (IAEDANS). In both cases, approximately equal amounts of fluorescent label were incorporated into the N- and C-terminal regions of the protein. Incorporation of the labeled H-2 into liposomes and examination of the effect of Co2+ on the fluorescence showed that all of the label was accessible to quenching by Co2+ and thus exposed on the outside of the liposome. The results demonstrate that the H-2Kk is incorporated into these liposomes in a hairpin configuration, not in the transmembrane configuration found in native membranes. (ABSTRACT TRUNCATED AT 250 WORDS)
Inhibition of ascites tumor growth in vivo by sTie‐2 is potentiated by a combinatorial therapy with sFLT‐1

Inhibition of tumor angiogenesis is a promising approach for cancer therapy and the Tie‐2/angiopoietin pathway appears to play an important role. In the present study, we have developed strategies to explore the therapeutic potential of blocking the Tie‐2/angiopoietin pathway by sTie‐2.
The Centre for Medical Humanities, Royal Free and University College Medical School, London, England

The Centre for Medical Humanities is based within the Royal Free and University College Medical School. With a student body of more than 2,000, this large United Kingdom medical school benefits from being a fully integrated component of University College London. With its strong humanities and science faculties, University College London was founded more than 175 years ago to make education available to wider social and religious groups. With this background, it is logistically and ideologically well suited to sustaining a medical humanities program. The Centre’s aims are to raise awareness of the field of medical humanities, to develop resources for the academic and teaching communities, and to build a broad and well-grounded educational program supported by sound educational principles and innovative research. Since 1998, the Centre and its predecessor, the Medical Humanities Unit, which was established by a group of medical educators with a diverse range of interests in the arts and humanities, has built interdisciplinary links and collaborative relationships with individuals and institutions within the university and beyond, nationally and internationally. These links and relationships have provided invaluable contributions and stimulus to the Centre’s activities. The undergraduate educational program described in this article includes core and optional teaching throughout the curriculum, and a 1-year intercalated Bachelor of Science in Medical Humanities degree. For postgraduates, the Centre offers the United Kingdom’s first continuing professional development accredited 2-day course in medical humanities, and an annual residential retreat open only to graduates of the course.
Analysis of techniques for coarse-to-fine decoding in neural machine translation

In this report, I first briefly explain how the neural machine translation models work. I introduce the issues connected to them, specifically the slow decoding and the lack of recombination. I propose techniques to tackle these problems, and analyze their efficiency using several metrics. First, I investigate coordinate-wise quantization. Afterwards, I describe the idea of a coarse-to-fine decoding algorithm, and I suggest and explore three different clustering techniques locality sensitive hashing, K-means clustering and word history similarity. At the end I compare these methods against each other, and evaluate their suitability for the future work.
Analytical BER calculation of TH-PPM UWB system in presence of NBI taking into account IPI, ICI and ISI

Impulse Radio Ultra Wide Band (IR-UWB) is the most promising communication technology for low power, short distance, high data rate applications. IR-UWB spectrum being coincided with other narrow band communication systems transmitting high powers is prone to narrow band interference (NBI). In this paper, we have used Gabor Transform to approximate template at receiver with subcarriers. In the present case, we have considered IEEE 802.11a wireless local area network (WLAN) interference at 5.2GHz band. One or more subcarrier(s) centered around 5GHz is/are removed from the template so as to avoid the reception and further processing of the interfering signal. In this paper, we have analytically derived the BER calculation of time hopping pulse position modulation (THPPM) UWB system in presence of narrow band interference (NBI) taking into account inter-path interference (IPI), inter-chip interference (ICI) and inter-symbol interference (ISI). The channel model considered is IEEE 802.15. 3a channel model. A method for NBI mitigation is proposed and studied for improvement in the BER performance.
Combined classification error rate estimator for the Fisher linear classifier

Classification error rate estimation is one of the most important issues in machine learning and pattern recognition. This problem has been studied by many researchers and a number of error estimators have been proposed. However, theoretical analysis and empirical experiments show that most of these error estimation techniques are biased. One way to correct this biasis to use a linear combination of two different error rate estimators. In this paper we propose a new combined classification error rate estimator designed specially for the Fisher linear classifier. Experiments with real world and synthetic data sets show that resubstitution, leave-one-out, repeated10-fold cross-validation, repeated 2-foldcross-validation, basic bootstrap, 0.632 bootstrap, zero bootstrap, D-method, DS-method and M-method are outperformed by the proposed combined error rate estimator (in terms of root-mean-square error). DOI: http://dx.doi. org/10.5755/j01.itc. 45.4. 14268
MAKNA SIMBOLIK GERAKAN TARIAN SUFI TURKI JALALUDDIN RUMI(1203-1273M): ANALISIS SEMIOTIKA CHARLES SANDER PIERCE

Razqan Anadh Mahendar. NIM C1011040. 2015. Makna Simbolik Gerakan Tarian Sufi Turki Jalaluddin Rumi (1207-1273M) Analisis Semiotika Charles Sander Pierce Skripsi Program Studi Sastra Arab Fakultas Ilmu Budaya Universitas Sebelas Maret Surakarta Penelitian ini membahas: (1) Bagaimana proses Tarian Sufi Berlangsung? (2) Apa Makna simbolik dari gerakan Tarian Sufi dan Makna pesan yang ingin disampaikan ? Metode penelitian yang digunakan adalah kualitatif yang disajikan secara deskriptif, yaitu dengan mendeskripsikan tasawuf secara umum, Aliran Tasawuf, perkembangan tasawuf, kemudian mendeskripsikan tarian sufi dari segi perkembangan tarian sufi , makna gerak tarian sufi dan makna busana yang dikenakan penari sufi. Berdasarkan hasil penelitian ini, dapat ditarik kesimpulan:Pertama,Tarian Sufi identik dengan ajaran tasawuf dan tokoh yang mempengaruhinya.Kedua, gerakan tarian sufi mempunyai sebuah makna yang ingin disampaikan kepada semua orang.Ketiga, tarian sufi mempunyai fungsi sebagai syi’ar agama islam. Kata kunci: Tasawuf, Sufi, Tarian Sufi dan Makna Tarian Sufi
Fast Sampling-Based Cost-Aware Path Planning With Nonmyopic Extensions Using Cross Entropy

This paper presents a cost-effective motion-planning method for robots operating in complex and realistic environments. While sampling-based path-planning algorithms, such as a rapidly exploring random tree (RRT) and its variants, have been highly effective for general path-planning problems, it is still difficult to find the minimum cost path in a complex space efficiently since RRT-based algorithms extend a search tree locally, requiring a large number of samples before finding a good solution. This paper presents an efficient nonmyopic path-planning algorithm by combining RRT* and a stochastic optimization method, called cross entropy. The proposed method constructs two RRT trees: The first tree is a standard RRT* tree, which is used to determine the nearest node in the tree to be extended to a randomly chosen point, and the second tree contains the first tree with additional long extensions. By maintaining two separate trees, we can grow the search tree nonmyopically to improve the efficiency of the algorithm while ensuring the asymptotic optimality of RRT*. From an extensive set of simulations and experiments using mobile and humanoid robots, we demonstrate that the proposed method consistently finds low-cost paths faster than the existing algorithms.
Antifounded Coinduction in Type Theory

Capretta, Vene and myself have previously [2] studied antifounded algebras as algebras supporting a form of coinduction in a category-theoretic setting, arising as the dual concept of wellfounded coalgebras. Wellfounded coalgebras are a category theorist’s take on coalgebras supporting induction, introduced by Taylor [4]. Informally, wellfoundedness of a coalgebra means that a subobject of its carrier, called the wellfounded part, is isomorphic to the carrier. Under mild conditions, wellfounded coalgebras are the same as recursive coalgebras in the sense of Osius [3], i.e., coalgebras supporting recursion. Categorical wellfounded coalgebras are intimately related to the type-theoretic method of Bove and Capretta [1] for justifying function definitions by recursion and proofs by induction on a coalgebra. The idea of the method is this: One defines the wellfounded part of the coalgebra in terms of an inductively defined predicate of the carrier, to then rewrite the given “general” recursive definition or inductive proof on the carrier as a “structural” recursive definition or inductive proof on the wellfounded part (these are systematic constructions). Separately, one establishes (in some way) that the carrier is contained in the wellfounded part. In this paper, I attempt to tell a type-theoretic story of antifounded coinduction. Coinductive types are infamous by posing problems for both intensional and extensional type theory. Hence, it is only to be expected that not everything will work out as smoothly as for wellfounded induction. Nonetheless, a type-theoretic formulation of antifounded coinduction is both possible and meaningful. It is a coinduction-like proof principle for algebras that are antifounded in the sense that a particular quotient of the carrier, called the antifounded quotient, is isomorphic to the carrier. Type-theoretically, this set is specified as a quotient of the carrier by a coinductively defined equivalence relation. I give examples of the use of this proof principle and explain why an algebra supporting coinduction does not necessarily support corecursion.
Radioautography Related to Amounts of [35S]Sulfate Taken up by Prostate Glands of 2-Year-Old Mice

Summary Intraperitoneally injected 35SO4ppeared rapidly in the blood and in the prostate glands of the 2-year-old mouse. Most of the prostate 35S was in the tissue proper with small amounts in the blood. The amounts of soluble 35S of prostate glands were greatest at 1 hr and least at 125 hr after 35S injection. The amounts of nonsolu-ble 35S (not removable by washing with formalin solution) decreased much more gradually than the soluble 35S. Consequently, the nonsoluble 35S amounted to 1 % of the total prostate 35S at 1 hr and to about 100% at 125 hr. The amounts of nonsoluble 35S were the same for both the ventral and lateral prostatic lobes at the various time points after the injection. The nonsoluble 35S increased to a peak at 5 hr, decreased to half the peak at 25 hr, and it continued to decrease with time. At 10 min after its injection, 35S was detectable in the epithelial cells and lumen of the acinus by radioautography. The amounts of 35S in the epithelial cells increased from relatively large at 1 hr to massive amounts at 5 hr. However, at 50 hr, the 35S in the epithelial cells had decreased to the 10-min level while the amounts in the lumina had greatly increased. Results of this investigation suggest that the nonsoluble prostate 35S was initially concentrated in the acinar cells, moved into the lumen, and then was excreted by the prostate gland. Thus, the prostate gland of the 2-year-old mouse is physiologically active and capable of metabolizing 35S04. The water-, ethanol-, . xylene-, and metha-nol-insoluble 35S of the prostate gland appears to be an integral component of GAGs.
Mycoplasmosis in Free-ranging Desert Tortoises in Utah and Arizona

Upper respiratory tract disease (URTD) has been associated with major losses of free-ranging desert tortoises (Gopherus agassizii) in the southwestern United States. This prompted a clinical examination of 63 free-ranging desert tortoises for signs of URTD and sampling for Mycoplasma agassizii, the causative agent of URTD. Tortoises were sampled from three sites in the eastern Mojave Desert (1992–93), and from three sites in the Sonoran Desert (1992–94). Plasma samples were tested for antibodies to M. agassizii using an enzyme-linked immunosorbent assay (ELISA). Nasal aspirate samples from 12 Sonoran tortoises were tested using polymerase chain reaction (PCR) test directed at the 16S rRNA gene of M. agassizii. Nasal aspirate samples from all tortoises were cultured for M. agassizii. In the Mojave Desert, nine tortoises had clinical signs of URTD and eight were seropositive for M. agassizii. In the Sonoran Desert, there were no clinical signs of URTD, but two tortoises were seropositive, and two tortoises had positive PCR results.