Miracle-dz/UniFAR-FTUs huggingface dataset:
The Real-Time Monitoring Tool States Based on Cross-Correlation Detection

Monitoring of tool condition is one of the most important techniques to be developed in the automatic cutting processes as it can help to prevent damages of machine tools and work pieces. In this paper, cross-correlation detection is used as a tool, to characterize the real time power signal during cutting. Firstly, we use the Mallat algorithms to get the standard wavelet transform result from the power signal. During the detection period, we get the real time wavelet transform result on certain level through the real time wavelet algorithms. The real time wavelet result was examined by the correlation to its normal result. According to the magnitude of the correlation factors, we can make sure whether the tools work normally. The experiment results show that the method is capable of detecting the cutting condition effectively.
Multichannel Radiometer Frontend Based on Bandwidth Synthetic Technology

A multichannel radiometer frontend, which can improve the radiometer sensitivity and utilization of the frequency band dramatically, is proposed based on the principle of bandwidth synthetic technology. The multichannel radiometer, called multichannel bandwidth synthetic radiometer (MCBWSR), consists of multiple conventional radiometer channels, and the frequency bands of all the channels are synthesized by the bandwidth synthesizer before the detector. The synthesized bandwidth of the synthesizer can reach a maximum of the sum of all the bandwidths. The operating frequency can also be selected flexibly using the frequency conversion technology. An analysis of the sensitivity <inline-formula> <tex-math notation="LaTeX">$\Delta T_{syn}$ </tex-math></inline-formula> of the MCBWSR is deduced in terms of the conventional single-channel radiometer sensitivity <inline-formula> <tex-math notation="LaTeX">$\Delta T_{i} $ </tex-math></inline-formula>. The relationship of sensitivity between the conventional single-channel radiometer and MCBWSR is validated using an RF simulator. To verify the analysis, three experiments are implemented on a direct detection radiometer, a heterodyne radiometer, and a dual-channel bandwidth synthetic radiometer (DCBWSR) receiver, respectively. The experimental results are presented, and the sensitivity among them is compared. These results indicate that the DCBWSR can improve the sensitivity by about <inline-formula> <tex-math notation="LaTeX">$1/\sqrt {2}$ </tex-math></inline-formula>, which is consistent with the theoretically calculated results. Compared with the conventional radiometers, the MCBWSR has the advantages of higher sensitivity, lower power consumption, and integration.
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information

In this paper, we propose an intervehicle information dissemination protocol called received message-dependent protocol (RMDP) that propagates the preceding traffic information to the following vehicles and discuss its performance. The proposed protocol autonomously changes the dissemination interval, depending on the number of reception messages and detected reception errors, in order to avoid message collision among vehicles. We have constructed a realistic simulation environment of intervehicle communication by combining a traffic-flow simulator and an ad hoc network simulator. Our simulation results show that, by using RMDP, a lot of vehicles can acquire their preceding traffic information within short periods at both the conditions with light and heavy traffic. In addition, we have also shown that selection policy of disseminated data affects preceding-traffic-information acquisition time. Each vehicle holds other vehicles' traces for some period. Depending on the number of preserved other vehicles' traces and their preserved periods, the propagation ratio of the preceding traffic information varies. Some simulation results are explained.
Succinate Dehydrogenase is the Regulator of Respiration in Mycobacterium tuberculosis

In chronic infection, Mycobacterium tuberculosis bacilli are thought to enter a metabolic program that provides sufficient energy for maintenance of the protonmotive force, but is insufficient to meet the demands of cellular growth. We sought to understand this metabolic downshift genetically by targeting succinate dehydrogenase, the enzyme which couples the growth processes controlled by the TCA cycle with the energy production resulting from the electron transport chain. M. tuberculosis contains two operons which are predicted to encode succinate dehydrogenase enzymes (sdh-1 and sdh-2); we found that deletion of Sdh1 contributes to an inability to survive long term stationary phase. Stable isotope labeling and mass spectrometry revealed that Sdh1 functions as a succinate dehydrogenase during aerobic growth, and that Sdh2 is dispensable for this catalysis, but partially overlapping activities ensure that the loss of one enzyme can incompletely compensate for loss of the other. Deletion of Sdh1 disturbs the rate of respiration via the mycobacterial electron transport chain, resulting in an increased proportion of reduced electron carrier (menaquinol) which leads to increased oxygen consumption. The loss of respiratory control leads to an inability to recover from stationary phase. We propose a model in which succinate dehydrogenase is a governor of cellular respiration in the adaptation to low oxygen environments.
The Necklace: equatorial and polar outflows from the binary central star of the new planetary nebula IPHASX J194359.5+170901

IPHASXJ194359.5+170901 is a new high-excitation planetary nebula with remark- able characteristics. It consists of a knotty ring expanding at a speed of 28 kms 1 , and a fast collimated outflow in the form of faint lobes and caps along the direction perpendicular to the ring. The expansion speed of the polar caps is �100 kms 1 , and their kinematical age is twice as large as the age of the ring. Time-resolved photometry of the central star of IPHASXJ194359.5+170901 re- veals a sinusoidal modulation with a period of 1.16 days. This is interpreted as evi- dence for binarity of the central star, the brightness variations being related to the orbital motion of an irradiated companion. This is supported by the spectrum of the central star in the visible range, which appears to be dominated by emission from the irradiated zone, consisting of a warm (6000-7000 K) continuum, narrow C III, C IV, and N III emission lines, and broader lines from a flat H I Balmer sequence in emission. IPHASXJ194359.5+170901 helps to clarify the role of (close) binaries in the for- mation and shaping of planetary nebulae. The output of the common-envelope evolu- tion of the system is a strongly flattened circumstellar mass deposition, a feature that seems to be distinctive of this kind of binary system. Also, IPHASXJ194359.5+170901 is among the first post-CE PNe for which the existence of a high-velocity polar out- flow has been demonstrated. Its kinematical age might indicate that the polar outflow is formed before the common-envelope phase. This points to mass transfer onto the secondary as the origin, but alternative explanations are also considered.
PENGEMBANGAN PERANGKAT PEMBELAJARAN BERBASIS INKUIRI TERBIMBING MENGGUNAKAN SIMULASI PhET UNTUK MEREDUKSI MISKONSEPSI SISWA

Penelitian ini bertujuan untuk mengembangkan perangkat pembelajaran berbasis inkuiri terbimbing dengan menggunakan program simulasi PhET yang layak untuk mereduksi miskonsepsi siswa. Pengembangan perangkat pembelajaran menggunakan model 4-D yang direduksi menjadi 3-D dan diujicobakan di tiga kelas XI SMAN 4 Surabaya tahun pelajaran 2015/2016 dengan one group pretest posttest design . Pengumpulan data menggunakan observasi, tes, dan angket.Data dianalisis menggunakan deskriptif kualitatif dan kuantitatif. Temuan penelitian yaitu: (1) Validitas: (a) Validasi RPP kategori baik, BAS kategori cukup baik, LKS kategori baik, Tes Uji Miskonsepsi umumnya valid; (b) Rata-rata keterbacaan BAS sebesar 59,8% dan LKS sebesar 71,3%; (c) Rata-rata tingkat kesulitan BAS sebesar 32,5% dan LKS sebesar 34,3%; (2) Kepraktisan meliputi: (a) Perangkat pembelajaran ditinjau dari keterlaksanaan RPP berkategori baik, dan (b) Tingkat aktivitas siswa dikategorikan baik (3) Keefektifan yang meliputi: (a) hasil tes uji miskonsepsi dengan N(g) 0,73; dan hasil analisis uji statistik one-way ANOVA, yaitu : 1) tidak ada perbedaan yang signifikan penurunan miskonsepsi dari ketiga kelas, 2) N-Gain penurunan miskonsesi siswa dialami pada masing-masing kelas (b) Respon siswa terhadap KBM adalah positif. Berdasarkan hasil temuan dalam penelitian ini, disimulkan bahwa perangkat pembelajaran listrik dinamis dengan model inkuiri terbimbing layak digunakan oleh siswa SMA untuk menurunkan miskonsepsi siswa.
Explaining How Agile Software Development Practices Moderate the Negative Effects of Faultlines in Teams

This research-in-progress aims at investigating what moderating effects use of Agile Software Development (ASD) methods and practices has on negative performance effects of faultlines, i.e. specific configurations of attributes in team members. Based on literature in ASD and psychology, a model of the moderating effects of ASD practices is developed and is to be assessed using a global online study. Since ASD practices shape team work and can be linked to known moderators of negative faultline effects, we expect to find moderating effects of ASD methods and practices on faultline effects. Information on the prevalence and moderation of faultline effects in ASD teams will help with a more detailed understanding of how ASD practices work and the contingencies that can inhibit or support their effects. Insights into group functioning in ASD settings will provide guidance on which ASD practices may be helpful in attenuating negative team dynamics.
X-ray variability, viscous time scale and Lindblad resonances in LMXBs

Based on RXTE/ASM and EXOSAT/ME data we studied X-ray variability of persistent LMXBs in the 1e-8 - 1e-1 Hz frequency range, aiming to detect features in their power density spectra (PDS) associated with the viscous time scale of the accretion disk tvisc. As this is the longest intrinsic time scale of the disk, the power density of its Mdot variations is expected to be independent on the frequency at f<1/tvisc. Indeed, in the PDS of 11 sources out of 12 we found very low frequency break, below which the spectra are nearly flat. At higher frequencies they approximately follow the Pnu ~ nu^{-1.3} law. The break frequency correlates very well with the binary orbital frequency in a broad range of binary periods Porb ~ 12 min - 33.5 days, in accord with theoretical expectations for the viscous time scale of the disk. However, the value of fbreak/forb is at least by an order of magnitude larger than predicted by the standard disk theory. This suggests that a significant fraction of the accretion Mdot occurs through the optically thin and hot coronal flow with the aspect ratio of H/R>0.1 The predicted parameters of this flow, T ~ 1e4-1e6 K and Ne ~ 1e12-1e15 cm^-3, are in qualitative agreement with recent Chandra and XMM-Newton observations of complex absorption/emission features in the spectra of LMXBs with high inclination angle. We find a clear dichotomy in the value of tvisc/Porb between wide and compact systems, the compact systems having ~10 times shorter viscous time. The boundary lies at the mass ratio q ~ 0.3, suggesting that this dichotomy is caused by the excitation of the 3:1 inner Lindblad resonance in low-q LMXBs.
Exponential Random Graphs as Models of Overlay Networks

In this paper we give an analytic solution for graphs with n nodes and E = cn log n edges for which the probability of obtaining a given graph G is µn (G) = exp (- β ∑i=1 n d i 2), where d i is the degree of node i. We describe how this model appears in the context of load balancing in communication networks, namely peer-to-peer overlays. We then analyse the degree distribution of such graphs and show that the degrees are concentrated around their mean value. Finally, we derive asymptotic results for the number of edges crossing a graph cut and use these results (i) to compute the graph expansion and conductance, and (ii) to analyse the graph resilience to random failures.
Centering as an Anaphora Generation Algorithm: A Language Learning Aid Perspective

This paper describes our attempt to develop an NLP-enhanced CALL program for Japanese learners. This CALL program focuses on zero anaphora acquisition. Based upon our previous work (Yamura-Takei et al., 2001), this paper will analyze the revision-based zero anaphora generation task. We first discuss the problems students face in treating zero anaphora by providing some empirical data from a language classroom. We then propose an anaphora generation algorithm within the Centering framework and evaluate its feasibility by comparing the algorithm output with human judgments. The evaluation result provides insights for the empirical validity of the algorithm and its future extensions.
Improving the Performance of Vehicle Detection and Verification by Log Gabor Filter Optimization

Video analytics play a critical role in most recent traffic monitoring and driver assistance systems. In this context, the correct detection and classification of surrounding vehicles through image analysis has been the focus of extensive research in the last years. Robust and reliable vehicle detection from images acquired by a moving vehicle is an important problem with numerous applications including driver assistance systems and self-guided vehicles. In particular, vehicle verification is especially challenging on account of the heterogeneity of vehicles in color, size, pose, etc. Specifically, descriptors using Gabor filters have been reported to show good performance in this task. However, Gabor functions have a number of drawbacks relating to their frequency response. Our focus in this paper is on improving the performance of on road vehicle detection by employing log Gabor filters specifically optimized for the task of vehicle detection. This means the proposal and evaluation of a new descriptor based on the alternative family of log-Gabor functions for vehicle verification, as opposed to existing Gabor filter-based descriptors. These filters are theoretically superior to Gabor filters as they can better represent the frequency properties of natural images. As a second contribution, and in contrast to existing approaches, which transfer the standard configuration of filters used for other applications tithe vehicle classification task, an in-depth analysis of the required filter configuration by both Gabor and log-Gabor descriptors for this particular application is performed for fair comparison. The extensive experiments conducted in this paper confirm that the proposed log-Gabor descriptor significantly outperforms the standard Gabor filter for image-based vehicle verification.
Implementation of Tag Representation in Prolog Virtual Machine

Even if it is understood that Prolog execution environment performs dynamic type checking on data being processed, it is often unclear how implementation of the language internally represents the information used to verify the type compatibility. In this paper we describe a Prolog tag encoding mechanism used in the Logic Virtual Machine (LVM) implementation of Prolog. The LVM is a Prolog engine that uses a merged heap/stack architecture and a virtual memory manager. We show that it is possible to retain the integrity of the data being tagged without requiring much extra memory and we explain the steps taken for
Visual quality measures for Characterizing Planar robot grasps

This paper presents and analyzes 12 quality measures that characterize robotic grips according to their stability and reliability. The measures are designed to assess three-finger grips of two-dimensional parts performed in a real environment, taking into account both theoretical aspects and unavoidable uncertainties of a grasping action. They build on the existing literature and on physical and mechanical considerations. The measures constitute a feature space that pattern recognition methods can use in order to classify robotic grips according to their quality. Six of the measures depend on the actual finger configuration of the gripper, and they have shown to be critical for better characterization. The kinematics of the Barrett Hand have been used. As a validation step, the measures are merged in two global quality values (with different practical applicability) that can be used to rank feasible candidate grips.
Sigma-1 Receptor Activation Prevents Intracellular Calcium Dysregulation in Cortical Neurons during in Vitro Ischemia

Sigma receptors are putative targets for neuroprotection following ischemia; however, little is known on their mechanism of action. One of the key components in the demise of neurons following ischemic injury is the disruption of intracellular calcium homeostasis. Fluorometric calcium imaging was used to examine the effects of sigma receptor activation on changes in intracellular calcium concentrations ([Ca2+]i) evoked by in vitro ischemia in cultured cortical neurons from embryonic rats. The sigma receptor agonist, 1,3-di-o-tolyl-guanidine (DTG), was shown to depress [Ca2+]i elevations observed in response to ischemia induced by sodium azide and glucose deprivation. Two sigma receptor antagonists, metaphit [1-(1-(3-isothiocyanatophenyl)-cyclohexyl)-piperidine] and BD-1047 (N-[2–3,4-dichlorophenyl)-ethyl]-N-methyl-2-(dimethylamino)ethylamine), were shown to blunt the ability of DTG to inhibit ischemia-evoked increases in [Ca2+]i, revealing that the effects are mediated by activation of sigma receptors and not via the actions of DTG on nonspecific targets such as N-methyl-d-aspartate receptors. DTG inhibition of ischemia-induced increases in [Ca2+]i was mimicked by the σ-1 receptor-selective agonists, carbetapentane, (+)-pentazocine and PRE-084 [2-(4-morpholinethyl) 1-phenylcyclohexanecarboxylate hydrochloride], but not by the sigma-2-selective agonist, ibogaine, showing that activation of sigma-1 receptors is responsible for the effects. In contrast, DTG, carbetapentane, and ibogaine blocked spontaneous, synchronous calcium transients observed in our preparation at concentrations consistent with sigma receptor-mediated effects, indicating that both sigma-1 and sigma-2 receptors regulate events that affect [Ca2+]i in cortical neurons. Our studies show that activation of sigma receptors can ameliorate [Ca2+]i dysregulation associated with ischemia in cortical neurons and, thus, identify one of the mechanisms by which these receptors may exert their neuroprotective properties.
The Limits of Discipline: Ownership and Hard Budget Constraints in the Transition Economies

The existing literature on soft budget constraints suggests that firms may be subsidized for political reasons or because of the creditors' desire to recover a part of the sunk cost invested in an earlier period. In all these models hard budget constraints are viewed as being, in principle, capable of inducing the necessary restructuring behaviour on the level of the firm. This paper argues that the imposition of financial discipline is not sufficient to remedy ownership and governance-related deficiencies of corporate performance. Using evidence from the post-communist transition economies, the paper shows that a policy of hard budget constraints cannot induce successful revenue restructuring, which requires entrepreneurial incentives inherent in certain ownership types (most notably, outside investors). The paper also shows that the policy of hard budget constraints falters when state firms, because of inferior revenue performance and less willingness to meet payment obligations, continue to pose a higher credit risk than privatized firms. The brunt of state firms' lower creditworthiness falls on state creditors. But the 'softness' of these creditors, while harmful in many ways, is not necessarily irrational, if it prevents the demise of firms that are in principle capable of successful restructuring through ownership changes.
Amelioration of Acute Sequelae of Blast Induced Mild Traumatic Brain Injury by N-Acetyl Cysteine: A Double-Blind, Placebo Controlled Study

Background Mild traumatic brain injury (mTBI) secondary to blast exposure is the most common battlefield injury in Southwest Asia. There has been little prospective work in the combat setting to test the efficacy of new countermeasures. The goal of this study was to compare the efficacy of N-acetyl cysteine (NAC) versus placebo on the symptoms associated with blast exposure mTBI in a combat setting. Methods This study was a randomized double blind, placebo-controlled study that was conducted on active duty service members at a forward deployed field hospital in Iraq. All symptomatic U.S. service members who were exposed to significant ordnance blast and who met the criteria for mTBI were offered participation in the study and 81 individuals agreed to participate. Individuals underwent a baseline evaluation and then were randomly assigned to receive either N-acetyl cysteine (NAC) or placebo for seven days. Each subject was re-evaluated at 3 and 7 days. Outcome measures were the presence of the following sequelae of mTBI: dizziness, hearing loss, headache, memory loss, sleep disturbances, and neurocognitive dysfunction. The resolution of these symptoms seven days after the blast exposure was the main outcome measure in this study. Logistic regression on the outcome of ‘no day 7 symptoms’ indicated that NAC treatment was significantly better than placebo (OR = 3.6, p = 0.006). Secondary analysis revealed subjects receiving NAC within 24 hours of blast had an 86% chance of symptom resolution with no reported side effects versus 42% for those seen early who received placebo. Conclusion This study, conducted in an active theatre of war, demonstrates that NAC, a safe pharmaceutical countermeasure, has beneficial effects on the severity and resolution of sequelae of blast induced mTBI. This is the first demonstration of an effective short term countermeasure for mTBI. Further work on long term outcomes and the potential use of NAC in civilian mTBI is warranted. Trial Registration ClinicalTrials.gov NCT00822263
A Label-Free Luminescent Switch-On Assay for ATP Using a G-Quadruplex-Selective Iridium(III) Complex

We report herein the G-quadruplex-selective property of a luminescent cyclometallated iridium(III) complex for the detection of adenosine-5′-triphosphate (ATP) in aqueous solution. The ATP-binding aptamer was employed as the ATP recognition unit, while the iridium(III) complex was used to monitor the formation of the G-quadruplex structure induced by ATP. The sensitivity and fold enhancement of the assay were higher than those of the previously reported assay using the organic dye crystal violet as a fluorescent probe. This label-free luminescent switch-on assay exhibits high sensitivity and selectivity towards ATP with a limit of detection of 2.5 µM.
Towards a Scalable Test Solution for the Analysis of Interconnect Shorts in On-chip Networks

Traditional bus-based systems-on-chip (SoCs) are turned to on-chip networks (NoCs) to overcome communication bottleneck. But, fabricating such NoC-based systems without any defect in interconnects or logics is a major challenge. This paper proposes a cost effective and scalable on-line test solution that detects and diagnoses intra-and inter-shorts in NoC interconnects. The proposed solution offers constant test time with general NoC topologies, and channel widths considering little hardware area and performance overheads. Simulation results establish the effectiveness of the proposed solution. We see that the test time is reduced by 0.5-11.25x achieving 100% coverage metrics. Simulation results also reveal the significant effect of interconnect shorts on network performance at large traffics. We see that our test solution improves packet latency by 14.98-40.57% and reduces energy consumption of a packet flit by 6.83-31.19%.