Miracle-dz/UniFAR-FTUs huggingface dataset:
The Quantum Spherical p-Spin-Glass Model

We study a quantum extension of the spherical p-spin-glass model using the imaginary-time replica formalism. We solve the model numerically and we discuss two analytical approximation schemes that capture most of the features of the solution. The phase diagram and the physical properties of the system are determined in two ways: by imposing the usual conditions of thermodynamic equilibrium and by using the condition of marginal stability. In both cases, the phase diagram consists of two qualitatively different regions. If the transition temperature is higher than a critical value T ⋆ , quantum effects are qualitatively irrelevant and the phase transition is second order, as in the classical case. However, when quantum fluctuations depress the transition temperature below T ⋆ , the transition becomes first order. The susceptibility is discontinuous and shows hysteresis across the first order line, a behavior reminiscent of that observed in the dipolar Ising spin-glass LiHoxY1−xF4 in an external transverse magnetic field. We discuss in detail the thermodynamics and the stationary dynamics of both states. The spectrum of magnetic excitations of the equilibrium spin-glass state is gaped, leading to an exponentially small specific heat at low temperatures. That of the marginally stable state is gapless and its specific heat varies linearly with temperature, as generally observed in glasses at low temperature. We show that the properties of the marginally stable state are closely related to those obtained in studies of the real-time dynamics of the system weakly coupled to a quantum thermal bath. Finally, we discuss a possible application of our results to the problem of polymers in random media.
Bladder Monitoring Systems: State of the Art and Future Perspectives

The lower urinary tract (LUT) is sensitive to nervous system pathologies, injuries and dysfunctions that may lead to the loss or reduction of bladder fullness sensation. Urination assistive devices aimed at supporting bladder emptying and continence control have been proposed so far. However, patients may not perceive the urge to urinate and activate the device accordingly. In this framework, bladder pressure and volume monitoring is crucial and would lead to optimize the use of assistive devices and reduce side effects for the patient. Despite its centrality in restoring LUT functions, urinary bladder monitoring remains not fully explored, yet. In this review paper, we summarize the efforts performed at the clinical and research level towards efficient bladder monitoring. The analysis of the current state of the art enabled to identify the challenges of the field and to draw potential future directions in LUT dysfunction management by engineering solutions. After the introduction of technologies to support urination, a major focus is placed on three groups of monitoring devices, that is, instruments for a clinical setting, wearable devices for continuous and domestic monitoring, and implantable sensors for chronic monitoring. Finally, the main challenges are identified and discussed, highlighting the most crucial points and the main treatment opportunities.
Linear Quadratic Stochastic Two-Person Zero-Sum Differential Games in an Infinite Horizon

This paper is concerned with a linear quadratic stochastic two-person zero-sum differential game with constant coefficients in an infinite time horizon. Open-loop and closed-loop saddle points are introduced. The existence of closed-loop saddle points is characterized by the solvability of an algebraic Riccati equation with a certain stabilizing condition. A crucial result makes our approach work is the unique solvability of a class of linear backward stochastic differential equations in an infinite horizon.
A Rectifier-Reusing Bias-Flip Energy Harvesting Interface Circuit With Adaptively Reconfigurable SC Converter for Wind-Driven Triboelectric Nanogenerator

The energy harvesting interface circuit is proposed for wind-driven triboelectric nanogenerator (WD-TENG). To extract power from the WD-TENG maximally and deliver power to the output (battery) efficiently, a rectifier-reusing bias-flip (RRBF) technique and a multiphase reconfigurable switched-capacitor converter (MRSCC) are developed. In the RRBF, the low-side switches of the rectifier are reused as switches for bias-flip without additional components. The MRSCC delivers power to the battery efficiently by reducing switching loss including overlap loss. Furthermore, the MRSCC maintains a rectified voltage (VRECT) as high as a breakdown voltage (VBR) of a switch by adaptive conversion control and multiphase operation to extract maximized power from the WD-TENG in a given process, even if the battery voltage is varied from 2.7 to 4.2 V. Owing to the proposed techniques, the maximum extracted power to the output is 238 μW and peak power delivering efficiency of the MRSCC is 79.3%. The chip was fabricated in 0.18 μm BCD process.
Generalized quasidisks and conformality II

We introduce a weaker variant of the concept of three point property, which is equivalent to a non-linear local connectivity condition introduced in [12], sufficient to guarantee the extendability of a conformal map f from the unit disk onto a domain to the entire plane as a homeomorphism of locally exponentially integrable distortion. Sufficient conditions for extendability to a homeomorphism of locally p-integrable distortion are also given.
Principal Bundle Structure of Matrix Manifolds

In this paper, we introduce a new geometric description of the manifolds of matrices of fixed rank. The starting point is a geometric description of the Grassmann manifold Gr(Rk) of linear subspaces of dimension r<k in Rk, which avoids the use of equivalence classes. The set Gr(Rk) is equipped with an atlas, which provides it with the structure of an analytic manifold modeled on R(k−r)×r. Then, we define an atlas for the set Mr(Rk×r) of full rank matrices and prove that the resulting manifold is an analytic principal bundle with base Gr(Rk) and typical fibre GLr, the general linear group of invertible matrices in Rk×k. Finally, we define an atlas for the set Mr(Rn×m) of non-full rank matrices and prove that the resulting manifold is an analytic principal bundle with base Gr(Rn)×Gr(Rm) and typical fibre GLr. The atlas of Mr(Rn×m) is indexed on the manifold itself, which allows a natural definition of a neighbourhood for a given matrix, this neighbourhood being proved to possess the structure of a Lie group. Moreover, the set Mr(Rn×m) equipped with the topology induced by the atlas is proven to be an embedded submanifold of the matrix space Rn×m equipped with the subspace topology. The proposed geometric description then results in a description of the matrix space Rn×m, seen as the union of manifolds Mr(Rn×m), as an analytic manifold equipped with a topology for which the matrix rank is a continuous map.
High-Speed Optical Photometry of the Ultracompact X-Ray Binary 4U 1626–67

Rapid UBVRI photometry of the ultracompact low-mass X-ray binary (LMXB) pulsar 4U 1626-67/KZ TrA has detected 130.4 mHz (7.67 s) optical pulsations in all five bands. The optical pulsations, at the same frequency as the X-ray pulsations caused by rotation of the highly magnetized accreting neutron star primary, can be understood as a reprocessing of the pulsed X-ray emission in the accretion disk. The optical pulsed fraction is roughly 6%, independent of wavelength, indicating that the optical emission is dominated by X-ray reprocessing. A weaker (1.5%) sideband, downshifted 0.395(15) mHz from the main optical pulsation, is also present. This is consistent with a previously reported sideband downshifted 0.4011(21) mHz from the main pulsation, corroborating the 42 minute binary period proposed by Middleditch et al. A 0.048 Hz optical quasi-periodic oscillation (QPO), corresponding to a previously reported X-ray feature, was also detected in some of the observations, with a fractional rms amplitude of 3%-5%. This is the first measurement of an optical QPO in an X-ray binary pulsar. I discuss constraints on the nature of the mass donor and show that mass transfer via a radiatively driven wind is inconsistent with the optical data. I also review the basic theory of X-ray-heated accretion disks and show that such models provide a good fit to the optical photometry. If the effective X-ray albedo of LMXB accretion disks is as high as recently reported (ηd ≳ 0.9), then the optical data imply a distance of ~8 kpc and an X-ray luminosity of ≈ 1037 ergs s-1.
Design of Parabolic Trough Collectors using Level Curves for Pressurized Water and Carbon Dioxide as Working Fluids

Parabolic trough collectors (PTCs) are among the best methods for harvesting clean energy from the Sun. In the present study, a parametric analysis is conducted for the analysis and design of PTCs. Two working fluids are considered: pressurized water and carbon dioxide. The design variables are considered as the inlet temperature, inlet mass flow rate, PTC width, and the ambient temperature. The effect of these design variables is investigated on three key performance variables: thermal efficiency, exergetic efficiency, and temperature difference. The present level curves can help in selecting an optimal design for PTCs. In general, the effect of inlet temperature and PTC width are found to be more significant than the effect of the inlet mass flow rate and ambient temperature in the design of PTCs.
A First-order Method for Monotone Stochastic Variational Inequalities on Semidefinite Matrix Spaces

Motivated by multi-user optimization problems and non-cooperative Nash games in stochastic regimes, we consider stochastic variational inequality (SVI) problems on matrix spaces where the variables are positive semidefinite matrices and the mapping is merely monotone. Much of the interest in the theory of variational inequality (VI) has focused on addressing VIs on vector spaces. Yet, most existing methods addressing VIs on matrix spaces either rely on strong assumptions, or require a two-loop framework where at each iteration, a projection problem, i.e., a semidefinite optimization problem needs to be solved. Motivated by this gap, we develop a stochastic mirror descent method where we choose the distance generating function to be defined as the quantum entropy. This method is a single-loop first-order method in the sense that it only requires a gradient-type of update at each iteration. The novelty of this work lies in the convergence analysis that is carried out through employing an auxiliary sequence of stochastic matrices. Our contribution is three-fold: (i) under this setting and employing averaging techniques, we show that the iterate generated by the algorithm converges to a weak solution of the SVI; (ii) moreover, we derive a convergence rate in terms of the expected value of a suitably defined gap function; (iii) we implement the developed method for solving a multiple-input multiple-output multi-cell cellular wireless network composed of seven hexagonal cells and present the numerical experiments supporting the convergence of the proposed method.
Demo: The Hangar environment for Teaching and Research in Programmable Networking

This demo presents Hangar, a VM-based environment that grew out of components that evolved over the last few years to support research and teaching into programmable networking. In addition to showing Hangar, the demo will discuss use-cases and requirements that were encountered when developing Hangar and its predecessors. Hangar is designed to provide an environment that is easy to update and use. It includes fully-scripted VM generation, packages frequently-used tools and minimizes dependencies, and provides a suite of examples.
The Addition of Diacutaneous Fibrolysis to a Pharmacological Intervention in Patients with Tension-Type Headache: A Randomized Controlled Trial

Background: Tension-type headache (TTH) is the most common headache worldwide. Pharmacological interventions are the most investigated therapies in patients with TTH. The addition of physical therapy treatments such as diacutaneous fibrolysis (DF) may have promising results. The aim of this study was to investigate the addition of three sessions of DF to a pharmacological intervention in patients with TTH. Methods: A single-blinded randomized controlled trial was carried out. Participants were randomly assigned to the standard care group or to the DF group. Both groups received a pharmacological intervention. Three sessions of DF in the thoracic and cervicocranial region were added in the DF group. The impact caused by headache (HIT-6), headache intensity, and cervical range of motion were measured by blinded assessors at baseline, after the intervention, and at 1 month follow-up. Results: Eighty-two patients with TTH were included (41 standard care group; 41 DF group). Statistically significant differences were found between both groups in all the variables after the intervention and at 1 month follow-up (p < 0.001). No adverse effects or side-effects were reported during the study. Conclusions: The addition of three sessions of DF to a pharmacological therapy provided improvements in the impact caused by headache, headache intensity, and cervical range of motion after the intervention and at 1 month follow-up compared to a pharmacological therapy in isolation. Further research is needed to investigate long-term effects.
Research and Application of Enterprise Risk Audit Model Based on Fuzzy Neural Network

With the gradual improvement of the market economic system, Chinese enterprises have also entered a period of rapid development. Enterprise audit is an important factor to help enterprises improve their market competitiveness. It effectively improves the internal control system and improves the economic benefits of enterprises. For the purpose of accurately assessing and reducing the audit risk of virtual enterprise, the research and application of enterprise risk audit model based on fuzzy neural network is designed. The traditional security audit system method cannot adapt to the characteristics of the changing abnormal performance, so the neural network is introduced into the audit system to solve the defects of the traditional audit system based on rule base or pattern base. Taking the risk assessment of enterprises as the starting point and improving risk management as the ultimate goal. On the one hand, the audit focus is determined; on the other hand, suggestions can be made according to the risk management situation of enterprises, which can achieve the unity of methods and purposes. Based on the basic principle of fuzzy neural network system and the existing data and indicators, this paper establishes a fuzzy neural network model to judge the financial risk of enterprises. Through empirical research, it is proved that it has high correctness and is very convenient to use. In this paper, fuzzy neural network is used to analyze enterprise strategic risk early warning, in order to develop a new method for strategic risk early warning research, so as to enrich and improve enterprise strategic risk early warning research.
RVB Contribution to Superconductivity in $MgB_2$

We view MgB 2 as electronically equivalent to (non-staggered) graphite ( B − layer) that has undergone a zero gap semiconductor to a superconductor phase transition by a large c-axis (chemical) pressure due to Mg ++ layers. Further, like the pπ bonded planar organic molecules, graphite is an old resonating valence bond (RVB) system. The RVB’s are the ‘preexisting cooper pairs’ in the ‘parental’ zero gap semiconducting B − (graphite) sheets that manifests themselves as a superconducting ground state of the transformed metal. Some consequences are pointed out.
Inverter Reliability Estimation for Advanced Inverter Functionality

In the near future, grid operators are expected to regularly use advanced distributed energy resource (DER) functions, defined in IEEE 1547–2018, to perform a range of grid-support operations. Many of these functions adjust the active and reactive power of the device through commanded or autonomous modes, which will produce new stresses on the grid-interfacing power electronics components, such as DC/AC inverters. In previous work, multiple DER devices were instrumented to evaluate additional component stress under multiple reactive power setpoints. We utilize quasi-static time-series simulations to determine voltage-reactive power mode (volt-var) mission profile of inverters in an active power system. Mission profiles and loss estimates are then combined to estimate the reduction of the useful life of inverters from different reactive power profiles. It was found that the average lifetime reduction was approximately 0.15% for an inverter between standard unity power factor operation and the IEEE 1547 default volt-var curve based on thermal damage due to switching in the power transistors. For an inverter with an expected 20-year lifetime, the 1547 volt-var curve would reduce the expected life of the device by 12 days. This framework for determining an inverter's useful life from experimental and modeling data can be applied to any failure mechanism and advanced inverter operation.
Multi-Epitope Vaccine for Monkeypox Using Pan-Genome and Reverse Vaccinology Approaches

Outbreaks of monkeypox virus infections have imposed major health concerns worldwide, with high morbidity threats to children and immunocompromised adults. Although repurposed drugs and vaccines are being used to curb the disease, the evolving traits of the virus, exhibiting considerable genetic dynamicity, challenge the limits of a targeted treatment. A pan-genome-based reverse vaccinology approach can provide fast and efficient solutions to resolve persistent inconveniences in experimental vaccine design during an outbreak-exigency. The approach encompassed screening of available monkeypox whole genomes (n = 910) to identify viral targets. From 102 screened viral targets, viral proteins L5L, A28, and L5 were finalized based on their location, solubility, and antigenicity. The potential T-cell and B-cell epitopes were extracted from the proteins using immunoinformatics tools and algorithms. Multiple vaccine constructs were designed by combining the epitopes. Based on immunological properties, chemical stability, and structural quality, a novel multi-epitopic vaccine construct, V4, was finalized. Flexible-docking and coarse-dynamics simulation portrayed that the V4 had high binding affinity towards human HLA-proteins (binding energy < −15.0 kcal/mol) with low conformational fluctuations (<1 Å). Thus, the vaccine construct (V4) may act as an efficient vaccine to induce immunity against monkeypox, which encourages experimental validation and similar approaches against emerging viral infections.
On Uniqueness and Computation of the Decomposition of a Tensor into Multilinear Rank-(1, Lr, Lr) Terms

Canonical Polyadic Decomposition (CPD) represents a third-order tensor as the minimal sum of rank-1 terms. Because of its uniqueness properties the CPD has found many concrete applications in telecommunication, array processing, machine learning, etc. On the other hand, in several applications the rank-1 constraint on the terms is too restrictive. A multilinear rank-$(M,N,L)$ constraint (where a rank-1 term is the special case for which $M=N=L=1$) could be more realistic, while it still yields a decomposition with attractive uniqueness properties. In this paper we focus on the decomposition of a tensor $\mathcal T$ into a sum of multilinear rank-$(1,L_r,L_r)$ terms, $r=1,. ,R$. This particular decomposition type has already found applications in wireless communication, chemometrics and the blind signal separation of signals that can be modelled as exponential polynomials and rational functions. We find conditions on the terms which guarantee that the decomposition is unique and can be computed by means of the eigenvalue decomposition of a matrix even in the cases where none of the factor matrices has full column rank. We consider both the case where the decomposition is exact and the case where the decomposition holds only approximately. We show that in both cases the number of the terms $R$ and their "sizes" $L_1,. ,L_R$ do not have to be known a priori and can be estimated as well. The conditions for uniqueness are easy to verify, especially for terms that can be considered "generic". In particular, we obtain the following two generalizations of a well known result on generic uniqueness of the CPD (i.e., the case $L_1=.=L_R=1$): we show that the multilinear rank-$(1,L_r,L_r)$ decomposition of an $I\times J\times K$ tensor is generically unique if i) $L_1=. =L_R=:L$ and $R\leq\min((J-L)(K-L),I)$ or if ii) $\sum L_R\leq\min((I-1)(J-1),K)$ and $J\geq\max(L_i+L_j)$.
An Improved Human-Body-Segmentation Algorithm with Attention-Based Feature Fusion and a Refined Stereo-Matching Scheme Working at the Sub-Pixel Level for the Anthropometric System

This paper proposes an improved human-body-segmentation algorithm with attention-based feature fusion and a refined corner-based feature-point design with sub-pixel stereo matching for the anthropometric system. In the human-body-segmentation algorithm, four CBAMs are embedded in the four middle convolution layers of the backbone network (ResNet101) of PSPNet to achieve better feature fusion in space and channels, so as to improve accuracy. The common convolution in the residual blocks of ResNet101 is substituted by group convolution to reduce model parameters and computational cost, thereby optimizing efficiency. For the stereo-matching scheme, a corner-based feature point is designed to obtain the feature-point coordinates at sub-pixel level, so that precision is refined. A regional constraint is applied according to the characteristic of the checkerboard corner points, thereby reducing complexity. Experimental results demonstrated that the anthropometric system with the proposed CBAM-based human-body-segmentation algorithm and corner-based stereo-matching scheme can significantly outperform the state-of-the-art system in accuracy. It can also meet the national standards GB/T 2664-2017, GA 258-2009 and GB/T 2665-2017; and the textile industry standards FZ/T 73029-2019, FZ/T 73017-2014, FZ/T 73059-2017 and FZ/T 73022-2019.
PENERIMAAN TEKNOLOGI DALAM PENDIDIKAN STUDI KASUS: CALON GURU DI INDONESIA

Penelitian ini mencoba untuk menguji penerimaan calon guru terhadap penggunaan teknologi dalam pendidikan dengan menggunakan metode Technology Acceptance Model (TAM) sebagai pendekatan analisis. Ada Empat faktor TAM yaitu Persepsi Kemudahan Penggunaan (Perceived Ease of Use), Persepsi Manfaat­­ (Perceived usefulness), sikap terhadap penggunaan komputer (Attitude Toward Computer Use), dan niat untuk menggunakan (Intention to Use). Niat Perilaku digunakan sebagai faktor model evaluasi untuk mengukur penerimaan teknologi oleh calon guru dan total empat hipotesis diajukan. Sebuah kuesioner online dilakukan untuk mengekstraksi informasi dari calon guru di berbagai universitas di Indonesia dan total responden sebanyak 120 responden dikumpulkan. Hasil analisis menjelaskan bahwa penerimaan untuk penggunaan Teknologi dapat dijelaskan oleh faktor-faktor yang dievaluasi. Temuan kami menggambarkan bahwa dari empat hipotesis terdapat tiga hipotesis yang memiliki konstruk yang saling terkait (diterima) sedangkan satu hipotesis yaitu Persepsi Manfaat­­ (Perceived usefulness) kepada sikap terhadap penggunaan komputer (Attitude Toward Computer Use) tidak saling terkait (ditolak). Untuk menjelaskan perilaku calon guru terhadap penggunaan teknologi dalam Pendidikan, sikap terhadap penggunaan komputer (Attitude Toward Computer Use) ditentukan sebagai faktor kunci.