Miracle-dz/UniFAR-FTUs huggingface dataset:
Analysis and evaluation of effects of borehole pressure relief measures by drilling cutting method

Based on the theory of drilling cutting method, using the variation of drilling cutting weight and dynamic phenomenon in the process of stiking borehole pressure relief, the effect of pressure relief drilling to prevent rock burst in Gengcun Coal Mine is analyzed through comparison and analysis.The analytical results show that the method of pressure relief drilling makes the maximum value of weight and granularity of drilling cuttings greater than 3 mm or above be reduced, and it further reduces rock burst hazards in some degree. However, it fails to make abutment pressure peak zone transfer to deep coal, indicating that the current construction process of borehole pressure relief should be optimized and the construction parameters should be adjusted. The analytical results show that when the method of pressure relief drilling is used, other measures should be used to prevent rock burst so as to effectively remove rock burst.
Angular analysis of the e + e − → D ( ∗ ) D ∗ process near the open-charm threshold using initial-state radiation

We report new measurement of the exclusive e + e − → D ( ∗ ) ± D ∗∓ cross sections as a function of center-of-mass energy from the D ( ∗ ) ± D ∗∓ threshold up to √ s = 6 . 0 GeV with initial state radiation. The analysis is based on a data sample collected by the Belle detector with an integrated luminosity of 951 fb − 1 . The accuracy of the cross section measurement is increased by a factor of 2 in comparison with the ﬁrst Belle study. We have performed the ﬁrst angular analysis of the e + e − → D ∗± D ∗∓ process and decomposed this exclusive cross section into three components corresponding to the di ﬀ erent D ∗ helicities.
MIT Open Access Articles Foil Bearing Design Guidelines for Improved Stability

Experimental evidence in the literature suggests that foil bearing supported rotors can suffer from sub-synchronous vibration. While dry-friction between top foil and bump foil is thought to provide structural damping, sub-synchronous vibration is still an unresolved issue and has been recently attributed to the non-linearity of the bump-foil support stiffness. A non-linear rotordynamic model corroborates this hypothesis, however a forcing is required to excite the system. The current paper aims to shed new light onto this matter and discusses the impact of various design variables on stable foil bearing supported rotor operation. It is shown that, while a time domain integration of the equations of motion of the rotor coupled with the Reynolds equation for the fluid film is necessary to quantify the evolution of the rotor orbit, the underlying mechanism and the onset speed of instability can be predicted by coupling a reduced order foil bearing model with a rigid-body, linear rotordynamic model. Using this model it is shown that the excitation source inducing sub-synchronous vibration is a classical aerodynamic instability resulting from bearing fluid film forces. A sensitivity analysis suggests that structural damping has limited effect on stability. It is shown that the location of the axial feed line of the top foil significantly influences the bearing load capacity and stability. The analysis further indicates that the static fluid film pressure distribution governs rotordynamic stability. Therefore selective shimming is introduced to tailor the unperturbed pressure distribution for improved stability. The required pattern is found via multi-objective optimization using the foil bearing supported rotor model. A critical mass parameter is introduced as a measure for stability, and a criterion for whirl instability onset is
Does Financial Inclusion Promote Financial Stability in Nigeria?

This paper empirically examined the nexus between financial inclusion and financial stability in Nigeria, using panel data for the 2014Q1-2018Q4 period. An index of financial inclusion was constructed to reflect penetration, availability and usage. The paper presented evidence that financial inclusion had positive impact on financial stability, which implies that higher levels of financial inclusion would lead to greater financial stability. In terms of dimension, both penetration and availability had a positive relationship with financial stability, while usage was found to have a negative relationship. This implies that policy makers are faced with tradeoffs of whether to focus on reforms that would promote financial inclusion, innovation, and financial access, or to focus on further improvements in financial stability. The study, therefore, recommends the designing of more proactive policies geared towards enhancing credit risk management systems in order to promote financial inclusion and stabilise the financial sector.
Demonstration of Synchronization Attacks on Distributed and Cooperative Control in Microgrids

—Microgrid platforms are experiencing an increasing integration of distributed and cooperative control coupled with communication links to guarantee safe and reliable operations of their distributed power generators (DG). However, they are subject to several threats and attacks because of the widely use of communication networks in their control layers. In this demo paper, we demonstrate the practical feasibility and the impact of a novel attack, named measurement as reference attack (MaR), on the distributed control mechanism of a microgrid, where an attacker replaces the reference values with measurements during its synchronization operations. We build in this work a hardware platform modelled after a simpliﬁed m icrogrid w ith D G units based on Raspberry Pi and Arduino boards, DC motors for power generation and light bulbs as electrical loads. We study two variations of the MaR attack using man-in-the-middle (MITM) and malware techniques to demonstrate and validate its impact on the microgrid synchronization and its voltage stability which affect end user’s electrical devices.
An experiment on risk taking and evaluation periods

Does the period over which individuals evaluate outcomes influence their investment in risky assets? Results from this study show that the more frequently returns are evaluated, the more risk averse investors will be. The results are in line with the behavioral hypothesis of "myopic loss aversion," which assumes that people are myopic in evaluating outcomes over time, and are more sensitive to losses than to gains. The results have relevance for the equity premium puzzle, and also for the marketing strategies of fund managers.
Yönetim Bilişim Sistemleri Geliştirme

: Developments in information technologies have directly affected both organizations and employees. Both institutions and employees have had to adapt to this new process. In this context, issues such as how to use informatics in the best way, which methods should be used correctly, what kind of perspective is needed, and how to take the right steps backed with preparation subjects have been the focus of attention of all institutions and employees. Businesses had to take very unwieldy steps to improve existing information systems or to add new systems. Unfortunately, some investments that were made without very good research or the necessary infrastructure did not go beyond waste. In the light of this cogniance, the main purpose of the study is to provide appropriate suggestions to businesses that will improve or re-establish information systems
Lindner : Extreme value theory for moving average processes with light-tailed innovations

We consider stationary infinite moving average processes of the form Yn = ∞ ∑ i=−∞ ciZn+i, n ∈ Z, where (Zi)i∈Z is a sequence of iid random variables with “light tails” and (ci)i∈Z is a sequence of positive and summable coefficients. By light tails we mean that Z0 has a bounded density f(t) ∼ ν(t) exp(−ψ(t)), where ν(t) behaves roughly like a constant as t→∞ and ψ is strictly convex satisfying certain asymptotic regularity conditions. We show that the iid sequence associated with Y0 is in the maximum domain of attraction of the Gumbel distribution. Under additional regular variation conditions on ψ, it is shown that the stationary sequence (Yn)n∈N has the same extremal behaviour as its associated iid sequence. This generalizes results of Rootzén (1986, 1987), where f(t) ∼ ctα exp(−tp) for c > 0, α ∈ R and p > 1. AMS 2000 Subject Classifications: primary: 60F05, 60G10, 60G70. secondary: 60E99.
Retroﬁtting Potential of Building envelopes Based on Semantic Surface Models Derived From Point Clouds

To meet the climate goals of the Paris agreement, the focus on energy efficiency needs to be shifted to increase the retroﬁtting rate of the existing building stock. Due to the lack of usable information on the existing building stock, reasoning about the retroﬁtting potential in early design stages is difficult. Therefore, deconstructing and building new is often regarded as the more reliable and economical option. Digital methods are missing or not robust enough to capture and reconstruct digital models of existing buildings efficiently and automatically derive reliable decision-support about whether demolition and new construction or retroﬁtting of existing buildings is more suitable. This paper proposes a robust, automated method for calculating existing buildings' life cycle assessments (LCA) using point clouds as input data. The main focus lies in bridging the gap between point clouds and importing semantic 3D models for LCA calculation. Therefore, the automation steps include a geometric transformation from point cloud to 3D surface model, followed by a semantic classiﬁcation of the surfaces to thermal layers and their materials by assuming the surface elements by building age class.
Performance of the Psoroptes ovis antibody enzyme-linked immunosorbent assay in the face of low-level mite infestation

Psoroptes ovis mites, the causative agent of sheep scab, can severely compromise sheep welfare and production. However, in subclinical infections, mite detection is difficult increasing the risk of spread. A recent serodiagnostic test, based on detecting host antibodies to the P ovis allergen, Pso o 2, has made the detection of subclinical infection possible. The use of this test was demonstrated in subclinical situations, through an opportunistic observational study on an extensive hill farm and a lowland flock with recently introduced, quarantined livestock. Twelve animals were tested from each group. Breeding ewes and lambs on the hill farm had seroprevalences of 16 per cent (12.5–17.8 per cent) and 8.3 per cent (4.8–10.1 per cent), respectively. Quarantined store lambs had a seroprevalence of 16.7 per cent (13.2–18.5 per cent); no evidence of P ovis was found in quarantined replacement ewes. By detecting subclinical infection, this serological test could be a powerful tool in sheep scab control, for quarantine procedures, accreditation programmes, and possibly regional or national eradication protocols.
JOINT ESTIMATION OF FADER AND EQUALIZER GAINS OF DJ MIXERS USING CONVEX OPTIMIZATION

Disc jockeys (DJs) use audio effects to make a smooth transition from one song to another. There have been attempts to computationally analyze the creative process of seamless mixing. However, only a few studies estimated fader or equalizer (EQ) gains controlled by DJs. In this study, we propose a method that jointly estimates time-varying fader and EQ gains so as to reproduce the mix from individual source tracks. The method approximates the equalizer filters with a linear combination of a fixed equalizer filter and a constant gain to convert the joint estimation into a convex optimization problem. For the experiment, we collected a new DJ mix dataset that consists of 5,040 real-world DJ mixes with 50,742 transitions, and evaluated the proposed method with a mix reconstruction error. The result shows that the proposed method estimates the time-varying fader and equalizer gains more accurately than existing methods and simple baselines.
UNVEILING THE SELF-PRESENTATION TACTICS ON FACEBOOK: THE ROLE OF PERSONALITY TRAITS

Self-presentation tactics on Facebook are subjects of study by researchers in the area of Social Media Retrieval. Social networking sites, such as Facebook, offer social scientists a unique opportunity to observe behavior in a real setting and increase the accessibility of study participants from different countries and demographic groups. Modern social networking sites platforms provide abundant behavioral cues, including self-presentation tactics, which can potentially reveal an user’s personality. In the present study, we analyze two components of Facebook use: motives and self-presentation tactics, and explore the ways in which they associate with the Dark Triad and HEXACO personality traits. personality traits predict self-pre-sentation tactics on Facebook; they lead individuals to certain motives for Facebook use and consequently, to specific self-presentation tactics. Besides, the motives of Facebook use mediate the relationship between personality traits and self-presentation tactics. The current study sheds light on the mechanisms of how personality traits might lead to self-presentation tactics on Facebook; it enhances existing knowledge about the relationship between motives of Facebook use and the self-presentation tactics employed by the Facebook users to achieve their goals.
Ampliﬁcation of Adipogenic Commitment by VSTM2A

SUMMARY Despite progress in our comprehension of the mechanisms regulating adipose tissue development, the nature of the factors that functionally characterize adipose precursors is still elusive. Deﬁning the early steps regulating adipocyte development is needed for the generation of tools to control adipose tissue size and function. Here, we report the discovery of V-set and transmembrane domain containing 2A (VSTM2A) as a protein expressed and secreted by committed preadipocytes. VSTM2A expression is elevated in the early phases of adipogenesis in vitro and adipose tissue development in vivo. We show that VSTM2A-pro-ducing cells associate with the vasculature and express the common surface markers of adipocyte progenitors. Overexpression of VSTM2A induces adipogenesis, whereas its depletion impairs this process. VSTM2A controls preadipocyte determination at least in part by modulating BMP signaling and PPAR g 2 activation. We propose a model in which VSTM2A is produced to preserve and amplify the adipogenic capability of adipose precursors.
Anomaly Sound Detection System Based on Multi-Dimensional Attention Module Technical

This technical report presents our approach for Task 2 of the DCASE 2023 Challenge, which focuses on unsupervised anomaly sound detection for machine condition monitoring. We constructed four subsystems, where the first two are based on self-supervised learning methods that utilize feature vectors extracted from convolutional neural networks and employ outlier detection algorithms to identify abnormal sounds. The third subsystem incorporates a modification of the Mahalanobis distance autoencoder (AE) to better adapt to domain shift. The fourth subsystem integrates the previous three systems. The experimental results demonstrate that the proposed system out-performs the baseline significantly on the development set.
An Efficient Environment Encoding for Trajectory Feasibility and Cost Predictions

An efficient method to encoding a robot’s surrounding is important for the safety and scalability of path planning problems. I present a method for encoding occupied spaces in an environment via parametric geometry (e.g. circles). This encoding is utilized to train a cost and feasibility predicting neural network for path planning between two states. The circle encoding method uses either bounding circles or set cover to provide a lower dimension input of environments for neural network. The lower input dimension of the models allows for a smaller and faster model of similar performance. Feasibility and cost prediction neural networks enable lazy planning for trajectory calculation. While there are no safety-guarantees, the model I present can act as an heuristic to identify the best paths, amortizing a robot’s onboard computation. To train a cost and feasibility predicting model, I first generate multiple environments and calculate encoding circles for obstacle-occupied spaces. For each environment, I use planners to calculate multiple trajectories and store their feasibility and cost. I then train the feasibility and cost prediction models from this data . The feasibility model has 90% accuracy on train and test environments. The circle encoding method was compared with occupancy grid encoding method. When encoding methods were compared to predict occupied space, models with circle encoding generalized to unseen environments better than occupancy grid input models. The method of circle encoding I introduce can be utilized in other learning problems that use environment as input. The feasibility and cost predictions done in this work can be applied to bias tree growth or to other global planning methods.
This paper is included in the Proceedings of the 32nd USENIX Security Symposium.

Modern computing systems rely on error-correcting codes to ensure the integrity of DRAM data. Linear checksums allow for fast detection and correction of speciﬁc error patterns. However, they do not offer sufﬁcient protection against complex errors distributed over multiple data words and chips. Depending on the code and the error pattern, linear codes may fail to detect or even miscorrect errors, thus leading to silent data corruption. In this work, we show how compact error-correcting codes based on low-latency hashing functions allow for strong probabilistic error detection and correction while facilitating ECC bit repurposing. Our proposed design drastically lowers the expected rate of undetected errors, regardless of the underlying error patterns. By tailoring the size of our codes to the required level of integrity protection, we are able to free bits that would otherwise be required to store ECC data. We showcase how our design facilitates the efﬁcient implementation of tagged memory architectures such as CHERI, ARM MTE, and SPARC ADI by repurposing the freed bits in commodity ECC DRAM. Thus, we harden systems against data corruption due to DRAM faults while simultaneously allowing for memory tagging without introducing additional memory accesses . We present a systematic analysis of schemes that allow memory tagging on a cache line granularity while maintaining error detection and correction capabilities, even in multi-bit fault scenarios. We evaluate our integrity protection with tagging for different use cases and show that we can store 32 bits of additional tags per cache line, twice the amount needed to implement ARM’s MTE, without signiﬁcantly affecting error correction capabilities. We also show how up to 51 bits can be made available while maintaining single-bit error correction.
ªMORE THAN WORDSº: LINKING MUSIC PREFERENCES AND MORAL VALUES THROUGH LYRICS

This study explores the association between music preferences and moral values by applying text analysis techniques to lyrics. Harvesting data from a Facebook-hosted application, we align psychometric scores of 1,386 users to lyrics from the top 5 songs of their preferred music artists as emerged from Facebook Page Likes. We extract a set of lyrical features related to each song’s overarching narrative, moral valence, sentiment, and emotion. A machine learning framework was designed to exploit regression approaches and evaluate the predictive power of lyrical features for inferring moral values. Results suggest that lyrics from top songs of artists people like inform their morality. Virtues of hierarchy and tradition achieve higher prediction scores ( . 20 ≤ r ≤ . 30 ) than values of empathy and equality ( . 08 ≤ r ≤ . 11 ), while basic demographic variables only account for a small part in the models’ explainability. This shows the importance of music listening behaviours, as assessed via lyrical preferences, alone in capturing moral values. We discuss the technological and musicological implications and possible future improvements.
Financial Literacy and Mortgage Stress

This paper examines the effect of financial literacy on mortgage stress. Using data from the Panel Study of Income Dynamics (PSID), we find that borrowers with high levels of financial literacy are 60.3 percent less likely to suffer from mortgage stress than borrowers with low levels of financial literacy after controlling for observables. Our estimated results are robust to potential sample selection bias and functional mis-specification. In addition, we also find that the effect of financial literacy varies across borrowers of different ages. Further analysis reveals strong cross effects of financial literacy and quantitative reasoning on mortgage stress.
StrokeCoefficient Reduction in Acute Ischemic Infarct Size, and Apparent Diffusion Association of Early CT Abnormalities,

BACKGROUND AND PURPOSE: Diffusion-weighted (DW) imaging is more sensitive for early ischemia than CT, and apparent diffusion coefficient (ADC) mapping permits quantification of the severity of cytotoxic edema. We examined the relationship between early CT findings, ischemic lesion volume on DW images, and edema subtype. METHODS: Patients in whom early signs of ischemia were detected on baseline CT scans were scored CT positive. Baseline DW lesion volumes were compared between the CT-positive and CT-negative patients. In CT-positive patients, we outlined the CT-positive part of the DW lesion and transferred these regions of interest to the corresponding DW sections. The ADC values of the outlined CT-positive areas were then compared with the ADC values of the CT-negative areas within patients. Lesions with significantly increased T2 hyperintensity were excluded to correct for the effect of early vasogenic edema on ADC measurements. RESULTS: Twenty-four patients with cerebral ischemia in whom both CT and DW imaging were performed within 8 hours of symptom onset were entered into the study. Patients with early CT signs of infarction ( n (cid:1) 12) had significantly larger DW lesion volumes than did patients without early CT abnormalities (mean volume, 62.8 versus 14.6 mL; P (cid:1) . 002). In patients displaying early CT abnormalities, CT-positive regions of the DW lesion had lower relative ADC (rADC) values than did the CT-negative regions, when lesions with significant T2 hyperintensity were excluded (mean rADC, 0.65 versus 0.75; P (cid:1) . 037). CONCLUSION: These findings support the hypothesis that early CT signs of infarction indicate more extensive and severe cerebral ischemia, as reflected by lower ADC. CT findings of early abnormalities that represent the entire ischemic lesion or part of it can be observed in patients with acute stroke (1–5). CT findings of hy-poattenuation
Isolation of GLP-1 enhancing indolizidine alkaloids from Boehmeria formosana

Boehmeria formosana, with its related species, demonstrates anti-glycemic effect, inhibition of HBV production, anti-cancer activities, etc. Some indolizidine alkaloids from the same genus are bioactive but sensitive to light. To overcome this problem and obtain more phenanthroindolizidine alkaloids, isolation was performed in darkness, yielding 10 new indolizidine alkaloids and 17 known compounds. Among them, seven enhanced glucagon-like receptor 1 (GLP-1) activity at 50 mM, especially 14 and 6 (3.5- and 2.3-fold than the negative control). This procedure yielded bioactive indolizidine alkaloids with novel structures.