Miracle-dz/UniFAR-FTUs huggingface dataset:
Accurate and Fast Electrostatic Analysis Using Mesh Smoothing and Geometric Multi-Grid for Numerical Human Body Model

In an electrostatic analysis using a numerical human body model constructed with voxels, the electric field strength is overestimated near staircase boundaries of different materials (called staircasing errors). To reduce these staircasing errors, mesh smoothing using marching cubes and Laplacian smoothing is developed and applied to a part of the numerical human body model. In addition, to reduce the increase in computation time for electrostatic analysis due to this mesh smoothing, the Geometric Multi-Grid (GMG) method dealing with unstructured lattices is applied. As a result, this mesh smoothing method reduces the stair casing errors and this GMG takes up to 1/16 of the computation time of a general linear algebra solver. Furthermore, the most important finding is that the accurate electrostatic analysis by mesh smoothing leads to a reduction in the iteration count of the GMG.
Spectrophotometric Determination Of Anti-Ulcer Drug (Cimetidine) By 2.4-Dinitrophenylhydrazine Reagent

An innovative, simple, and sensitive spectrophotometric method was described for the determination of cimetidine in both its pureform and in pharmaceutical formulations. By oxidizing 2.4-dinitrophenylhydrazine (2.4-DNPH) and mixing it with cimetidine in analkaline solution, a brightly colored chromogen with a maximum absorption wavelength of 586 nm is created. After that,spectrophotometry was used to quantify the amount of cimetidine. Other analytical criteria, such as the ideal reaction circumstances,were evaluated. These criteria included variables like the volumes of 2.4-DNPH and potassium iodate, the amount of base, thecoupling reaction time, temperature, and the order in which the constituents of the final product are added. Beer's law is applied toconcentrations of (25–250) µg/mL-1 with correlation coefficient (R2) = 0.9964, molar absorptivity 353.276 (L.mol-1.cm-1), andSandell's law. The recommended method for locating cimetidine in pharmaceutical formulations worked well.
ANALYSIS OF OPTICAL Fe ii EMISSION IN A SAMPLE OF ACTIVE GALACTIC NUCLEUS SPECTRA

We present a study of optical Fe ii emission in 302 active galactic nuclei (AGNs) selected from the Sloan Digital Sky Survey. We group the strongest Fe ii multiplets into three groups according to the lower term of the transition (b4F, a6S, and a4G terms). These approximately correspond to the blue, central, and red parts, respectively, of the “iron shelf” around Hβ. We calculate an Fe ii template that takes into account transitions into these three terms and an additional group of lines, based on a reconstruction of the spectrum of I Zw 1. This Fe ii template gives a more precise fit of the Fe ii lines in broad-line AGNs than other templates. We extract Fe ii, Hα, Hβ, [O iii], and [N ii] emission parameters and investigate correlations between them. We find that Fe ii lines probably originate in an intermediate line region. We note that the blue, red, and central parts of the iron shelf have different relative intensities in different objects. Their ratios depend on continuum luminosity, FWHM Hβ, the velocity shift of Fe ii, and the Hα/Hβ flux ratio. We examine the dependence of the well-known anti-correlation between the equivalent widths of Fe ii and [O iii] on continuum luminosity. We find that there is a Baldwin effect for [O iii] but an inverse Baldwin effect for the Fe ii emission. The [O iii]/Fe ii ratio thus decreases with Lλ5100. Since the ratio is a major component of the Boroson & Green Eigenvector 1 (EV1), this implies a connection between the Baldwin effect and EV1 and could be connected with AGN evolution. We find that spectra are different for Hβ FWHMs greater and less than ∼3000 km s−1, and that there are different correlation coefficients between the parameters.
Noncrossed product bounds over Henselian fields

The existence of finite dimensional central division algebras with no maximal subfield that is Galois over the center (called noncrossed products), was for a time the biggest open problem in the theory of division algebras, before it was settled by Amitsur. Motivated by Brussel's discovery of noncrossed products over Q((t)), we describe the "location" of noncrossed products in the Brauer group of general Henselian valued fields with arbitrary value group and global residue field. We show that within the fibers defined canonically by Witt's decomposition of the Brauer group of such fields, crossed products and noncrossed products are, roughly speaking, separated by an index bound. This generalizes a result of the first and third author for rank 1 valued Henselian fields. Furthermore, we prove that all fibers which are not covered by the rank 1 case, and where the characteristic of the residue field does not interfere, contain noncrossed products. We show by example that, unlike in the rank 1 case, the value of the index bound does not depend on the number of roots of unity that are present. Thus, the index bounds are in general of a different nature than in the rank 1 case.
The Possibility of the Kelvin–Helmholtz Instability during Sedimentation of Dust Grains in the Protoplanetary Disk

We reexamine the possibility of shear-driven turbulence during the sedimentation of dust grains in the protoplanetary disk. Shear-driven turbulence is expected to occur before the onset of a gravitational instability for the MMSN model. However, according to previous studies that did not account of the growth of dust grains, with a larger abundance of dust grains, the gravitational instability is indicated to occur before shear-driven turbulence. In this paper, the case including dust growth is considered, and it is found that a Kelvin–Helmholtz instability tends to occur before the gravitational instability, even in the case with a large abundance of dust grains. This is different from previous results without the dust growth.
Implementation of machine learning models to determine the appropriate model for protein function prediction

Predicting the function of proteins is a crucial part of genome annotation, which can help in solving a wide range of biological problems. Many methods are available to predict the functions of proteins. However, except for sequence, most features are difficult to obtain or are not available for many proteins, which limits their scope. In addition, the performance of sequence-based feature prediction methods is often lower than that of methods that involve multiple features, and protein feature prediction can be time-consuming. Recent advances in this field are associated with the development of machine learning, which shows great progress in solving the problem of predicting protein functions. Today, however, most protein sequences have the status of «uncharacterized» or «putative». The need to assess the accuracy of identification of protein functions is an urgent task for machine learning approaches used to predict protein functions. In this study, the performance of two popular function prediction algorithms (ProtCNN and BiLSTM) was assessed from two perspectives and the procedures for building these models were described. As a result of the study of Pfam families, ProtCNN achieves an accuracy rate of 0.988 % and bidirectional LSTM has an accuracy rate of 0.9506 %. The use of the Pfam dataset allowed increasing the classification accuracy due to the large training dataset. The quality of the prediction increases with a large amount of training data. The study demonstrated that machine learning algorithms can be used as an effective tool for building protein function prediction models, in particular, the CNN network can be adapted as an accurate tool for annotating protein functions in the presence of large datasets.
Twisted Conormal Bundles and Canonical Relations

I study a special type of canonical relations given by twisted conormal bundles, construct a "subcategory" of the symplectic "category" out of these canonical relations and quantize them into semi-classical Fourier integral operators. Furthermore, I give a description of the intrinsic line bundle of symbols of these operators and describe how the symbols compose when the operators compose.
Industry Paper: Surrogate Models for Testing Analog Designs under Limited Budget – a Bandgap Case Study

Testing analog integrated circuit (IC) designs is notoriously hard. Simulating tens of milliseconds from an accurate transistor level model of a complex analog design can take up to two weeks of computation. Therefore, the number of tests that can be executed during the late development stage of an analog IC can be very limited. We leverage the recent advancements in machine learning (ML) and propose two techniques, artificial neural networks (ANN) and Gaussian processes, to learn a surrogate model from an existing test suite. We then explore the surrogate model with Bayesian optimization to guide the generation of additional tests. We use an industrial bandgap case study to evaluate the two approaches and demonstrate the virtue of Bayesian optimization in efficiently generating complementary tests with constrained effort.
Above-Ground Biomass Estimation for Coniferous Forests in Northern China Using Regression Kriging and Landsat 9 Images

Accurate estimation of forest above-ground biomass (AGB) is critical for assessing forest quality and carbon stocks, which can improve understanding of the vegetation growth processes and the global carbon cycle. Landsat 9, the latest launched Landsat satellite, is the successor and continuation of Landsat 8, providing a highly promising data resource for land cover change, forest surveys, and terrestrial ecosystem monitoring. Regression kriging was developed in the study to improve the AGB estimation and mapping using the Landsat 9 image in Wangyedian forest farm, northern China. Multiple linear regression (MLR), support vector machine (SVM), back propagation neural network (BPNN), and random forest (RF) were used as the original models to predict the AGB trends, and the optimal model was used to overlay the results of kriging interpolation based on the residuals to obtain the new AGB predictions. In addition, Landsat 8 images in Wangyedian were used for comparison and verification with Landsat 9. The results showed that all bands of Landsat 8 and Landsat 9 maintained a high degree of uniformity, with positive correlation coefficients ranging from 0.77 to 0.89 (p < 0.01). RF achieved the highest estimation accuracy among all the original models based on the two data sources. However, kriging regression can significantly reduce the estimation error, with the root mean square error (RMSE) decreasing by 55.4% and 51.1%, for Landsat 8 and Landsat 9, respectively, compared to the original RF. Further, the R2 and the lowest RMSE for Landsat 8 were 0.88 and 16.83 t/ha, while, for Landsat 9, they were 0.87 and 17.91 t/ha. The use of regression kriging combined with Landsat 9 imagery has great potential for achieving efficient and highly accurate forest AGB estimates, providing a new reference for long-term monitoring of forest resource dynamics.
Index theorems for Fredholm, semi-Fredholm, and almost periodic operators: all in one example

Based on operators borrowed from scattering theory, several concrete realizations of index theorems are proposed. The corresponding operators belong to some C*-algebras of pseudo-differential operators with coefficients which either have limits at plus and minus infinity, or which are periodic or asymptotically periodic, or which are uniformly almost periodic. These various situations can be deduced from a single partial isometry which depends on several parameters. All computations are explicitly performed.
Pontoj Project Experience Report: Using Technology to Build Bridges for Fluency in English

This paper presents an account of the experiences experienced in an innovation project, entitled Pontoj: Building Bridges for Fluency in English. The purpose of this project was to provide learning opportunities for students to develop their language skills as well as their social and emotional competences, respecting their needs, interests and level of language proficiency. Learning opportunities were mediated through the use of digital technologies and emphasized active teaching methodologies. The project was developed over four months in one private school in Recife. Greater empowerment of teachers was seen in the use of technology in their classrooms. In addition, it was observed that the students, in general, were able to practice their knowledge in an interactive and engaging way. Reflections on the learned lessons point to future paths to the project.
Tensor network study of the Shastry-Sutherland model in zero magnetic field

We simulate the Shastry-Sutherland model in two dimensions by means of infinite projected entangled-pair states (iPEPS)-a variational tensor network method where the accuracy can be systematically controlled by the so-called bond dimension. Besides the well-established dimer and Neel phase iPEPS confirms the presence of an intermediate phase with plaquette long-range order, and we determine its phase boundaries with high accuracy. The first-order phase transition for J = 0.675(2) between dimer and plaquette phase is compatible with previous series expansion results. iPEPS predicts a weak first-order phase transition between plaquette and Neel phase occurring for J = 0.765(15). We do not find a stable intermediate columnar-dimer phase, even when we bias the state towards this order.
SSHC With One Capacitor For Piezoelectric Energy Harvesting

Piezoelectric vibration energy harvesters have attracted a lot of attention as a way to power self-sustaining electronic systems. Furthermore, as part of the growing Internet of Things (loT) paradigm, the ongoing push for downsizing and higher degrees of integration continues to constitute major drivers for autonomous sensor systems. Two of the most effective interface circuits for piezoelectric energy harvesters are synchronised switch harvesting (SSH) on inductor and synchronous electrical charge extraction; nevertheless, inductors are essential components in both interfaces. This study proposes an inductor-less bias-flip rectifier that uses capacitors instead of inductors to conduct residual charge inversion. A 130-nm CMOS process is used to design the proposed SSH on capacitors circuit. This innovation outperforms most documented state-of-the-art inductor-based interface circuits, and the suggested circuit has a much reduced overall volume, allowing for system downsizing.
Monomial Bases for Free Post-Lie Algebras

Many attempts have been made to describe bases for the post-Lie algebra, using many types of Lie bases. Here, we try to describe special kind of post-Lie bases using those bases described in the pre-Lie (respectively Lie) contexts, founded before in [8, 9]. In addition, we try to understand the effect of the second operation of the post-Lie structure on the form of these bases, using some cases of the generating set, and translate it in terms of rooted trees.
Evolution of Efficient On-Chip Interconnect Architecture for SOC: A Review

Constant improvements in transistor technology have made it possible for computer design to support ever-increasing numbers of processing cores on a single silicon die. With the number of cores on a chip and complexity increasing, there is a greater need for on-chip communication capacity. As per recent research outcomes the packet-switched network-on-chip (NoC) proved to be a most scalable cores and low-cost communication fabric systems with dozens or even hundreds of processors' core. So, In this paper the performance, features, pros and cons of all the traditional on-chip interconnect architecture like Buses, Crossbar, Network-on-chip are reviewed. This is then followed by the review of the most frequent benefits and downsides of NoC's current power-saving practices.
Overcoming Anxiety Disorder by Probiotic Lactiplantibacillus plantarum LZU-J-TSL6 through Regulating Intestinal Homeostasis

Lactiplantibacillus plantarum LZU-J-TSL6 with high γ-aminobutyric acid (GABA) production (3.838 g/L) was screened and isolated from the Chinese fermented food snack “Jiangshui”. The improvement effect on anxiety disorder was explored using mice as animal models. In vitro results revealed that LZU-J-TSL6 had the potential to colonize the intestine (p < 0.01) and the anxiety-like behavior of the mice after seven days’ gavage with LZU-J-TSL6 was significantly improved (p < 0.01) when compared to the model group. LZU-J-TSL6 was able to effectively increase the GABA content in the mice hippocampus (p < 0.0001) and restore some markers related to anxiety such as brain-derived neurotrophic factor (BDNF), glial fibrillary acidic protein (GFAP), and 5-hydroxytryptamine (5-HT). Simultaneously, it had a certain repair effect on Nissl bodies and colon tissue in mice hippocampus. In addition, LZU-J-TSL6 increased the relative abundance of beneficial bacteria Bacteroides and Muribaculum, thereby regulating the imbalance of intestinal microbiota caused by anxiety disorder. It also affects the nerve pathway and intestinal mucosal barrier by increasing the content of glutamine and γ-aminobutyric acid and other related metabolites, thereby improving anxiety. Therefore, the GABA-producing Lactobacillus plantus LZU-J-TSL6 can be used as a probiotic to exert an indirect or direct anti-anxiety effect by maintaining the balance of the intestinal environment, producing related metabolites that affect nerve pathways and repair the intestinal mucosal barrier. It can be used as an adjuvant treatment to improve anxiety disorders.
An equivalence between truncations of categorified quantum groups and Heisenberg categories

We introduce a simple diagrammatic 2-category $\mathscr{A}$ that categorifies the image of the Fock space representation of the Heisenberg algebra and the basic representation of $\mathfrak{sl}_\infty$. We show that $\mathscr{A}$ is equivalent to a truncation of the Khovanov--Lauda categorified quantum group $\mathscr{U}$ of type $A_\infty$, and also to a truncation of Khovanov's Heisenberg 2-category $\mathscr{H}$. This equivalence is a categorification of the principal realization of the basic representation of $\mathfrak{sl}_\infty$. As a result of the categorical equivalences described above, certain actions of $\mathscr{H}$ induce actions of $\mathscr{U}$, and vice versa. In particular, we obtain an explicit action of $\mathscr{U}$ on representations of symmetric groups. We also explicitly compute the Grothendieck group of the truncation of $\mathscr{H}$. The 2-category $\mathscr{A}$ can be viewed as a graphical calculus describing the functors of $i$-induction and $i$-restriction for symmetric groups, together with the natural transformations between their compositions. The resulting computational tool is used to give simple diagrammatic proofs of (apparently new) representation theoretic identities.
Interacting diffusions on sparse graphs: hydrodynamics from local weak limits

We prove limit theorems for systems of interacting diffusions on sparse graphs. For example, we deduce a hydrodynamic limit and the propagation of chaos property for the stochastic Kuramoto model with interactions determined by Erdős-Renyi graphs with constant mean degree. The limiting object is related to a potentially infinite system of SDEs defined over a Galton-Watson tree. Our theorems apply more generally, when the sequence of graphs ("decorated" with edge and vertex parameters) converges in the local weak sense. Our main technical result is a locality estimate bounding the influence of far-away diffusions on one another. We also numerically explore the emergence of synchronization phenomena on Galton-Watson random trees, observing rich phase transitions from synchronized to desynchronized activity among nodes at different distances from the root.
Cooperative Interferometric Receiver With Time-Agile Radar Sensing and Radio Communication Capability

A cooperative radar-communication (RadCom) system architecture employing a multiport interferometer receiver is introduced and demonstrated for low-power and low-cost multifunction wireless applications. The proposed system operates in both radar sensing and radio communication modes, which are arranged in different time slots within a single hardware platform. In the radar sensing cycle, a triangular frequency-modulated continuous-wave (FMCW) scheme is adopted for distance and velocity measurements. The radio cycle following the radar sensing cycle is used to communicate beat frequency information among different measurement stations for a cooperative radar operation, which can also be used for other data transmissions. The interferometric receiver for a unified multifunction operation benefits from the cooperative approach as it does not require a receiver front-end with a high dynamic range. The receiver architecture also makes use of a balanced detection scheme to suppress the frequency mixing components generated between radar echoes and cooperative radar responses, which eliminates undesired interferences and false targets as well as to enhance the signal quality. A mathematical model of the proposed sensing system is derived to design and implement the system for operation in a multistation environment. The system performance consisting of two stations in a low microwave frequency band has been established and evaluated for both modes with several experiments. In radar sensing mode, the distance and velocity measurements demonstrate the target finding capability of our proposed system. In radio mode, the demodulation of various digitally modulated signals has been successfully studied at different data rates.
Energy Management in Plug-In Hybrid Electric Vehicles: Convex Optimization Algorithms for Model Predictive Control

This article details an investigation into the computational performance of algorithms used for solving a convex formulation of the optimization problem associated with model predictive control for energy management in hybrid electric vehicles with nonlinear losses. A projected interior-point method is proposed, where the size and complexity of the Newton step matrix inversion is reduced by applying inequality constraints on the control input as a projection, and its properties are demonstrated through simulation in comparison with an alternating direction method of multipliers (ADMM) algorithm and a general purpose convex optimization software CVX. It is found that the ADMM algorithm has favorable properties when a solution with modest accuracy is required, whereas the projected interior-point method is favorable when high accuracy is required, and that both are significantly faster than CVX.
Residual Flux Density Measurement Method of the Single-Phase Transformer Based on Phase Difference

When the power transformer is energized under no-load conditions, the residual flux will accelerate the saturation of the core, and generated magnetizing inrush current will cause many harms to the power grid. To determine the residual flux in the transformer core with a closed magnetic circuit structure, this paper proposes a method for measuring the residual flux of the transformer based on the phase difference between the test voltage and the transient current. The finite element method is used to model and analyze the core to be tested and obtain an empirical formula for calculating the based on the simulation results. Finally, an experimental measurement platform was built, and the measurement results verified the feasibility and accuracy of the proposed method.