Miracle-dz/UniFAR-FTUs huggingface dataset:
Preoperative Computed Tomography-Derived Bone Densities in Hounsfield Units at Implant Sites Acquired Primary Stability

The purpose of this study was to evaluate preoperative CT-derived bone densities in Hounsfield units (HU) at implant sites that acquired primary stability, and to compare these values to the optimal bone densities proposed in the literature. Fifty-one patients, 18 males (37 implant sites) and 33 females (67 implant sites) between 2003 and 2010 were assessed. CT data for different jaw sections, regions, and operating procedures were compared using the Kruskal-Wallis test and Scheffe's test for multiple comparisons (P < 0.05). The mean bone density in the maxilla was significantly lower than that in the mandible (P < 0.05); the mean bone densities in the 4 jaw regions decreased in the following order: anterior mandible > anterior maxilla > posterior mandible > posterior maxilla. The bone densities assessed by HU fell into the range of optimal bone densities associated with acquired primary implant stability proposed in the literature.
Comparison of Xpert MTB/RIF Assay and the Conventional Sputum Microscopy in Detecting Mycobacterium tuberculosis in Northern Thailand

Background. Despite low sensitivity in detection of Mycobacterium tuberculosis, sputum acid-fast smear remains the main diagnostic method. This study aimed to compare the diagnostic performance of Xpert MTB/RIF assay versus conventional sputum acid-fast smear. Materials and Methods. A cross-sectional study was conducted at Chiang Mai University Hospital, Thailand. Patients who were ≥15 years old and had clinically suspected pulmonary tuberculosis were included. Results. 109 specimens from 57 patients were included. Using MGIT sputum culture as a reference standard, the sensitivity (SEN) and specificity (SPEC) for Xpert were 95.3% (95% CI, 84.2%, 99.4%) and 86.4% (95% CI, 75.7%, 93.6%). The SEN and SPEC for sputum acid-fast smear were 60.5% (95% CI, 44.4%, 75.0%) and 98.5% (95% CI, 91.8%, 100%). Xpert had significantly higher sensitivity (p value < 0.001) and lower specificity (p value = 0.022) than sputum acid-fast smear. Among 43 culture-proven M. tuberculosis specimens, sensitivity of Xpert was 100% (95% CI, 86.7%, 100%) in acid-fast positive smears (n = 26) and 88.2% (95% CI, 63.5%, 98.5%) in acid-fast negative smears (n = 17). Conclusions. The good sensitivity and specificity of Xpert assay in detecting M. tuberculosis from sputum specimens may help in early diagnosis and treatment of pulmonary tuberculosis, particularly among patients who had acid-fast negative sputum smear.
The Size of One-Way Cellular Automata

We investigate the descriptional complexity of basic operations on real-time one-way cellular automata with an unbounded as well well as a fixed number of cells. The size of the automata is measured by their number of states. Most of the bounds shown are tight in the order of magnitude, that is, the sizes resulting from the effective constructions given are optimal with respect to worst case complexity. Conversely, these bounds also show the maximal savings of size that can be achieved when a given minimal real-time OCA is decomposed into smaller ones with respect to a given operation. From this point of view the natural problem of whether a decomposition can algorithmically be solved is studied. It turns out that all decomposition problems considered are algorithmically unsolvable. Therefore, a very restricted cellular model is studied in the second part of the paper, namely, real-time one-way cellular automata with a fixed number of cells. These devices are known to capture the regular languages and, thus, all the problems being undecidable for general one-way cellular automata become decidable. It is shown that these decision problems are $\textsf{NLOGSPACE}$-complete and thus share the attractive computational complexity of deterministic finite automata. Furthermore, the state complexity of basic operations for these devices is studied and upper and lower bounds are given.
Deciding KAT and Hoare Logic with Derivatives

Kleene algebra with tests (KAT) is an equational system for program verification, which is the combination of Boolean algebra (BA) and Kleene algebra (KA), the algebra of regular expressions. In particular, KAT subsumes the propositional fragment of Hoare logic (PHL) which is a formal system for the specification and verification of programs, and that is currently the base of most tools for checking program correctness. Both the equational theory of KAT and the encoding of PHL in KAT are known to be decidable. In this paper we present a new decision procedure for the equivalence of two KAT expressions based on the notion of partial derivatives. We also introduce the notion of derivative modulo particular sets of equations. With this we extend the previous procedure for deciding PHL. Some experimental results are also presented.
Connecting 9/11 to the Financial Crisis

This paper summarizes and analyzes research on the economic impact of United States fiscal and monetary policy in the wake of the 9/11-terrorist attacks. Therein, it attempts to connect this tragedy to the financial crisis of the late-2000s, which is still not fully understood. The large number of factors identified by numerous experts as the causes for the collapse of the financial system makes the crisis a difficult topic to study. This analysis provides a stepping-stone for any further research in that it helps explain how the factors that led to the crisis were created in the first place. Expert opinions, academic studies, as well as both a Cobb-Douglas production function and one of the newest specifications of the Taylor Rule are looked at throughout this paper. While the latter model shows how monetary policy should have been determined throughout the 2000s, the former helps to analyze the impact of fiscal policy after 9/11 on monetary policy. Based on the research and analysis presented in this paper, we can conclude that the factors that caused the collapse of the financial system were largely impacted by government spending in response to the terrorist attacks and monetary policy between 2001 and 2008. This conclusion implies that the crisis could have been minimized if not prevented altogether.
Knowledge Management within Digital Libraries by means of Personalization

This paper presents research results obtained from the project Personal Adaptable Digital Library Environment (PADDLE). The main focus of the DFG funded research project is to apply concepts of knowledge management to digital libraries by introducing personalization techniques. The idea is to enable the specific needs, experiences, skills and tasks of a knowledge worker using a digital library could be taken into account. Metadata is the key issue for doing this. Therefore the PADDLE system architecture describes a metadata manager, which allows the association of metadata with the knowledge objects stored in distributed information resources. Based on this architecture several personalization concepts like workspaces and profiles are introduced. Finally, a geographic information portal is described that realizes a new way of seeking and accessing geodata related knowledge objects within a digital library.
SAN Optimization for High Performance Storage with RDMA Data Transfer

Today's server environments consist of many machines constructing clusters for distributed computing system or storage area networks (SAN) for effectively processing or saving enormous data. In these kinds of server environments, backend-storages are usually the bottleneck of the overall system. But it is not enough to simply replace the devices with better ones to exploit their performance benefits. In other words, proper optimizations are needed to fully utilize their performance gains. In this work, we first applied a high performance device as a backend-storage to the existing SAN solution, and found that it could not utilize the low latency and high bandwidth of the device, especially in case of small sized random I/O pattern even though a high speed network was used. To address this problem, we propose a new design that contains three optimizations: 1) removing software overheads to lower I/O latency; 2) parallelism to utilize the high bandwidth of the device; 3) temporal merge mechanism to reduce network overhead. We implemented them as a prototype and found that our solution makes substantial performance improvements in terms of both the latency and bandwidth.
Court Sense: Winning Basketball's Mental Game

PART I Fundamentals for a Winning Focus Chapter 1 Evaluation of Abilities Chapter 2 Commitment to Goals Chapter 3 Expectations of Success Chapter 4 Off-Season Work Ethic Chapter 5 In-Season Accountability Chapter 6 Off-Court Conduct PART II The Six Cs of On-Court Success Chapter 7 Coachability Chapter 8 Communication Chapter 9 Cohesion Chapter 10 Capacity to Lead Chapter 11 Competitiveness Chapter 12 Concentration.
A Computer Vision System that Assembles Canonical Jigsaw Puzzles Using the Euclidean Skeleton and Isthmus Critical Points

This paper describes a computer vision system which can assemble canonical jigsaw puzzles. The most novel aspect of this system is that the methodology presented here derives a new set of critical points which define a feature which can be used in matching partial boundaries (or contours) of planar regions. This global feature, called an Isthmus, can be efficiently and reliably computed from the Euclidean skeleton or Medial Axis Transformation (MAT) of an object. A heuristic matching technique using Isthmus critical points is applied to the partial boundary matching problem of jigsaw puzzle fitting. The Isthmus feature may also be a useful feature in a broader class of image processing problems such as: the narrowing of arteries in medical applications, geographic images, collision avoidance problems in robot path planning, and any application in which the point of narrowest necking of a planar region needs to be located.
Design of Sample & Hold Circuit

This paper describes the design of a high-speed CMOS Sample and Hold circuit in front of an analog to digital converter (ADC). Sample and hold (S/H) circuit employs linear source follower buffer at input and output. Synopsys cosmosSE software tool has been used for schematic design, H-spice for Simulation and Cscope for waveform performance. Complete S/H circuit has designed with tsmc035 (Taiwan semiconductor manufacturing corporation) technology, with 2.5V power supply. Power consumption of 5 mW for 8 MHz at 53 MS/s.
Delineation of TMPRSS2-ERG Splice Variants in Prostate Cancer

Purpose: The expression of the ETS-related gene (ERG) is low or undetectable in benign prostate epithelial cells. High prevalence of ERG overexpression in prostate cancer cells due to TMPRSS2-ERG fusions suggest for causal roles of ERG protein in the neoplastic process. TMPRSS2-ERG fusion junctions have been extensively studied in prostate cancer. However, virtually nothing is known about the nature of full-length transcripts and encoded proteins. This study focuses on qualitative and quantitative features of full-length TMPRSS2-ERG transcripts in prostate cancer. Experimental Design: Full-length TMPRSS2-ERG transcripts were cloned and sequenced from a cDNA library generated from pooled RNA of six TMPRSS2-ERG fusion–positive prostate tumors. The encoded ERG proteins were analyzed in HEK293 cells. Copy numbers of TMPRSS2-ERG splice variants were determined by quantitative reverse transcription-PCR in laser capture microdissected prostate cancer cells. Results: Two types of TMPRSS2-ERG cDNAs were identified: type I, which encodes full-length prototypical ERG protein (ERG1, ERG2, ERG3), and type II, encoding truncated ERG proteins lacking the ETS domain (ERG8 and a new variant, TEPC). In microdissected prostate tumor cells from 122 patients, relative abundance of these variants was in the following order: ERG8 > TEPC > ERG 3 > ERG1/2 with combined overexpression rate of 62.3% in prostate cancer. Increased ratio of type I over type II splice forms showed a trend of correlation with less favorable pathology and outcome. Conclusions: Qualitative and quantitative features of specific ERG splice variants defined here promise to enhance the utility of ERG as a biomarker and therapeutic target in prostate cancer.
Embedded Reflection Mapping

Environment maps are used to simulate reflections off curved objects. We present a technique to reflect a user, or a group of users, in a real environment, onto a virtual object, in a virtual reality application, using the live video feeds from a set of cameras, in real-time. Our setup can be used in a variety of environments ranging from outdoor or indoor scenes. The need for such a technique becomes obvious under the definition of replacement reality: the ability to interact with highly credible digital models in a natural and intuitive manner, unencumbered by intrusive equipment, using your senses of touch and hearing, as well as vision, offering the user an enhanced and personalised immersive experience. Consider a virtual car showroom. Confronting a user with a virtual customization toolset for a car, providing a high-fidelity virtual representation, enhanced by a sense of immersion including both surrounding environment and the user within the same scene, is an invaluable marketing tool.
Design of High-Order Switches for Multimode Applications on a Silicon-on-Insulator Technology

A silicon-on-insulator (SOI) CMOS technology on high-resistivity silicon substrates is presented for the design of high-power switches for cellular and wireless local area network handset applications. A design methodology is introduced to design high-order switches for optimal insertion loss and isolation performance. Sources of nonlinearities in SOI switches are discussed. To the best of our knowledge, this work is the first demonstration of high-power switches on a high-resistivity SOI CMOS technology for high-volume cellular handset applications with adequate intermodulation and harmonic distortion performance. The design details and measurement results for a variety of RF switches with general-purpose input/output and mobile industry processor interface control interfaces, flip-chip/wire-bond packaging, and for various standards are discussed.
Relapse Rate and Associated-Factor of Recurrence after Stopping NUCs Therapy with Different Prolonged Consolidation Therapy in HBeAg Positive CHB Patients

Background Many chronic hepatitis B (CHB) patients recur after off-therapy and have to accept prolonged consolidation therapy with NUCs. We investigated the rate of HBV relapse after stopping NUCs therapy with different time period of prolonged consolidation therapy in HBeAg positive CHB patients, and analyzed the associated-factor of recurrence. Methods We recruited 162 HBeAg-positive CHB patients who met the standard of stopping NUCs therapy recommended by the 2005 APASL. Patients in group A, without the prolonged consolidation therapy, were as controls. Patients in group B were divided into 3 subgroups (group B1, 7 (range 3–11) months of the prolonged consolidation therapy; group B2, 17 (range 13–20) months of the prolonged consolidation therapy; group B3, 28 (range 25–34) months of the prolonged consolidation therapy). Virologic relapse was defined as an increase in serum HBV DNA to >103copies/ml after off-therapy. Results One hundred and thirty-six patients (group A, 40 patients; group B1, 54 patients; group B2, 23 patients; group B3, 19 patients) were eligible for this study. The cumulative rates of relapse in group B at 6 months and 48 months were 29.2%, 41.7% after off-therapy, respectively. The cumulative rates of relapse in group B were statistically lower than that in group A at the same time periods. The cumulative rate of relapse in group B3 or group B2 was statistically lower than that in group B1, respectively. On multivariate analysis by Cox’s proportional hazard model, age at off-therapy, baseline ALT and the different time period of the prolonged consolidation therapy were associated with the relapse of HBV after off-therapy. Conclusions Consolidation therapy with NUCs after HBeAg seroconversion should be further prolonged. Age at off-therapy, ALT at baseline and the time period of the prolonged consolidation therapy could provide information to direct anti-viral therapy.
Aging Kit Mutant Mice Develop Cardiomyopathy

Both bone marrow (BM) and myocardium contain progenitor cells expressing the c-Kit tyrosine kinase. The aims of this study were to determine the effects of c-Kit mutations on: i. myocardial c-Kit+ cells counts and ii. the stability of left ventricular (LV) contractile function and structure during aging. LV structure and contractile function were evaluated (echocardiography) in two groups of Kit mutant (W/Wv and W41/W42) and in wild type (WT) mice at 4 and 12 months of age and the effects of the mutations on LV mass, vascular density and the numbers of proliferating cells were also determined. In 4 month old Kit mutant and WT mice, LV ejection fractions (EF) and LV fractional shortening rates (FS) were comparable. At 12 months of age EF and FS were significantly decreased and LV mass was significantly increased only in W41/W42 mice. Myocardial vascular densities and c-Kit+ cell numbers were significantly reduced in both mutant groups when compared to WT hearts. Replacement of mutant BM with WT BM at 4 months of age did not prevent these abnormalities in either mutant group although they were somewhat attenuated in the W/Wv group. Notably BM transplantation did not prevent the development of cardiomyopathy in 12 month W41/W42 mice. The data suggest that decreased numbers and functional capacities of c-Kit+ cardiac resident progenitor cells may be the basis of the cardiomyopathy in W41/W42 mice and although defects in mutant BM progenitor cells may prove to be contributory, they are not causal.
Impulse Response Analysis in In nite OrderCointegrated Vector Autoregressive ProcessesbyHelmut

Various types of impulse responses have been used for interpreting nite order vector au-toregessive (VAR) models in the stationary as well as the nonstationary cointegrated case. In practice, nite order VAR processes are regarded as rough approximations to the actual data generation process at best. Therefore we derive some general asymptotic results for innnite order cointegrated VAR processes that are used for inference on impulse responses. The theory is based on the assumption that nite order VARs are tted to the time series of interest although the true order may be innnite. The order of the tted process is, however , assumed to increase with the sample size. The theoretical results are illustrated by an empirical analysis of a German money demand system.
Social capital and resilience in rural areas: responses to change

In this paper we give an overview of the leading thoughts in current literature concerning social capital and its effects on rural resilience. Studying social resilience of rural areas is relevant in the emergence of global change. We demonstrate that social capital can either contribute to social resilience, or restrict it, depending on the nature of social capital. As the “restrictive” type of social capital generally prevails in rural areas, social resilience tends to be weaker here, than in urban areas. However, the nature of rural areas is changing, and the contrast in social capital in rural and urban areas is gradually fading out.
Link duration of the random way point model in mobile ad hoc networks

In this paper, we model the link duration of the random waypoint model for mobile ad hoc networks. The link duration is the time interval in which two nodes stay within transmission range of each other. We find that link duration is determined by the relative speed and active distance between two nodes, which are in turn determined by the angles of the two nodes' velocities and the incident angle of one node to the other node's transmission range. We derive the probability distribution function of link duration for the random waypoint model and verify the analytical result via simulations. The result show that the analytical and simulation curves match very well
JARID1B promotes metastasis and epithelial-mesenchymal transition via PTEN/AKT signaling in hepatocellular carcinoma cells

JARID1B is a member of the family of JmjC domain-containing proteins that removes methyl residues from methylated lysine 4 on histone H3 lysine 4 (H3K4). JARID1B has been proposed as an oncogene in many types of tumors; however, its role and underlying mechanisms in hepatocellular carcinoma (HCC) remain unknown. Here we show that JARID1B is elevated in HCC and its expression level is positively correlated with metastasis. In addition Kaplan-Meier survival analysis showed that high expression of JARID1B was associated with decreased overall survival of HCC patients. Overexpression of JARID1B in HCC cells increased proliferation, epithelial-mesenchymal transition, migration and invasion in vitro, and enhanced tumorigenic and metastatic capacities in vivo. In contrast, silencing JARID1B in aggressive and invasive HCC cells inhibited these processes. Mechanistically, we found JARID1B exerts its function through modulation of H3K4me3 at the PTEN gene promoter, which was associated with inactive PTEN transcription. PTEN overexpression blocked JARID1B-driven proliferation, EMT, and metastasis. Our results, for the first time, portray a pivotal role of JARID1B in stimulating metastatic behaviors of HCC cells. Targeting JARID1B may thus be a useful strategy to impede HCC cell invasion and metastasis.
A General Class of Outage Error Probability Lower Bounds in Bayesian Parameter Estimation

In this paper, a new class of lower bounds on the outage error probability in Bayesian parameter estimation is proposed. The outage error probability is an important criterion in parameter estimation that provides meaningful information even in the presence of large errors and is useful for prediction of the system operation region. Computation of the minimum outage error probability is usually not tractable and thus, lower bounds on this probability can be very useful for performance analysis. The proposed class of lower bounds on the outage error probability is derived using Hölder's inequality. Several bounds in the proposed class are presented. It is shown that the Ziv-Zakai lower bound on the outage error probability can be obtained from a subclass in the proposed class of bounds. The proposed class of bounds is utilized to derive a new class of Bayesian bounds on the mean-square error. It is shown that, for unimodal posterior probability density functions, the tightest lower bound on the probability of outage error in the proposed class attains the minimum probability of outage error. The proposed bounds are exemplified in linear Gaussian model parameter estimation and time-delay estimation.