Miracle-dz/UniFAR-FTUs huggingface dataset:
Efficient Congestion Control With Information Loss Minimization for Vehicular Ad Hoc Networks

The reduction of beacon message rates is of great significance to network congestion control in Vehicular Ad Hoc Networks (VANETs). However, this may cause large traffic information loss and serious traffic accidents. In this paper, we propose an efficient congestion control protocol, which not only alleviates channel congestion but also minimizes information loss by adaptively adjusting the beacon rates. Unlike conventional methods, this protocol investigates beacon transmission from a perspective of information loss, and adopts different beacon rates for different vehicles. First, we design an information loss factor to quantify the information deviation between the original information generated by a vehicle and the actual information received by its neighbor vehicles. Then, based on the information loss factor, we transform the beacon rate adjustment problem into an information loss minimization problem, which is addressed by a greedy beacon-rate adjustment algorithm. In addition, based on the derived different beacon rates, we design a periodicity-based time-slot selection scheme to allocate idle time slots to different vehicles, in order to alleviate transmission collisions. Extensive simulation results show the advantages of our solution in terms of multiple metrics.
Optimal investment and consumption for pairs trading financial markets on small time interval

In this paper we consider a pairs trading financial market with the spread of risky assets defined by the Ornstein-Uhlenbeck (OU) process. We implement an optimal strategy for power utility functions for investment/consumption problem. Through the Feynman-Kac (FK) method, we study the Hamilton-Jacobi-Bellman (HJB) equation for this problem. Moreover, the existence and uniqueness has been shown for classical solution for the HJB equation. In addition, the numeric approximation for the solution of the HJB equation has been studied and the convergence rate has been established and it is been found that the convergence rate is extremely explosive.
Atherogenic Lipoproteins for the Statin Residual Cardiovascular Disease Risk

Randomized controlled trials (RCTs) show that decreases in low-density lipoprotein cholesterol (LDL-C) by the use of statins cause a significant reduction in the development of cardiovascular disease (CVD). However, one of our previous studies showed that, among eight RCTs that investigated the effect of statins vs. a placebo on CVD development, 56–79% of patients had residual CVD risk after the trials. In three RCTs that investigated the effect of a high dose vs. a usual dose of statins on CVD development, 78–87% of patients in the high-dose statin arms still had residual CVD risk. The risk of CVD development remains even when statins are used to strongly reduce LDL-C, and this type of risk is now regarded as statin residual CVD risk. Our study shows that elevated triglyceride (TG) levels, reduced high-density lipoprotein cholesterol (HDL-C), and the existence of obesity/insulin resistance and diabetes may be important metabolic factors that determine statin residual CVD risk. Here, we discuss atherogenic lipoproteins that were not investigated in such RCTs, such as lipoprotein (a) (Lp(a)), remnant lipoproteins, malondialdehyde-modified LDL (MDA-LDL), and small-dense LDL (Sd-LDL). Lp(a) is under strong genetic control by apolipoprotein (a), which is an LPA gene locus. Variations in the LPA gene account for 91% of the variability in the plasma concentration of Lp(a). A meta-analysis showed that genetic variations at the LPA locus are associated with CVD events during statin therapy, independent of the extent of LDL lowering, providing support for exploring strategies targeting circulating concentrations of Lp(a) to reduce CVD events in patients receiving statins. Remnant lipoproteins and small-dense LDL are highly associated with high TG levels, low HDL-C, and obesity/insulin resistance. MDA-LDL is a representative form of oxidized LDL and plays important roles in the formation and development of the primary lesions of atherosclerosis. MDA-LDL levels were higher in CVD patients and diabetic patients than in the control subjects. Furthermore, we demonstrated the atherogenic properties of such lipoproteins and their association with CVD as well as therapeutic approaches.
The exotic heat-trace asymptotics of a regular-singular operator revisited

We discuss the exotic properties of the heat-trace asymptotics for a regular-singular operator with general boundary conditions at the singular end, as observed by Falomir, Muschietti, Pisani, and Seeley [“Unusual poles of the ζ-functions for some regular singular differential operators,” J. Phys. A 36(39), 9991–10010 (2003)]10.1088/0305-4470/36/39/302 as well as by Kirsten, Loya, and Park [“The very unusual properties of the resolvent, heat kernel, and zeta function for the operator −d2/dr2 − 1. /(4r2),” J. Math. Phys. 47(4), 043506 (2006)]10.1063/1.2189194. We explain how their results alternatively follow from the general heat kernel construction by Mooers [“Heat kernel asymptotics on manifolds with conic singularities,” J. Anal. Math. 78, 1–36 (1999)]10.1007/BF02791127, a natural question that has not been addressed yet, as the latter work did not elaborate explicitly on the singular structure of the heat trace expansion beyond the statement of non-polyhomogeneity of the heat kernel.
Continuous Data Assimilation with a Moving Cluster of Data Points for a Reaction Diffusion Equation: A Computational Study

Data assimilation is a technique for increasing the accuracy of simulations of solutions to partial differential equations by incorporating observable data into the solution as time evolves. Recently, a promising new algorithm for data assimilation based on feedback-control at the PDE level has been proposed in the pioneering work of Azouani, Olson, and Titi (2014). The standard version of this algorithm is based on measurement from data points that are fixed in space. In this work, we consider the scenario in which the data collection points move in space over time. We demonstrate computationally that, at least in the setting of the 1D Allen-Cahn reaction diffusion equations, the algorithm converges with significantly fewer measurement points, up to an order or magnitude in some cases. We also provide an application of the algorithm to an inverse problem in the case of a uniform static grid.
Coorbit Description and Atomic Decomposition of Besov Spaces

Function spaces are central topics in analysis. Often those spaces and related analysis involves symmetries in form of an action of a Lie group. Coorbit theory as introduced by Feichtinger and Gröchenig [6–8] and then later extended in Christensen and Ólafsson [3] gives a unified method to construct Banach spaces of functions based on representations of Lie groups. In this article, we identify the homogeneous Besov spaces on stratified Lie groups introduced by Führ and Mayeli [12] as coorbit spaces in the sense of [3] and use this to derive atomic decompositions for the Besov spaces.
Development of γ-aminobutyric acid (GABA)-rich yoghurt using
Tetragenococcus halophilus strain KBC isolated from a commercial soy sauce
moromi

γ-aminobutyric acid (GABA) has been increasingly incorporated in fermented foods to generate "Superfood". Recently, soy sauce moromi has been proven to contain a microbial strain that can produce an immunostimulatory compound, GABA. In this research, Tetragenococcus halophilus strain KBC (THSKBC) was utilised to ferment milk and enhance GABA production in simplified yoghurt fermentation. Yoghurt fermentation was performed on milk inoculated with THSKBC (F1), yoghurt starter (F2), and THSKBC and yoghurt starter (F3), respectively. The fermentation period of F1 was averaged at 21 hrs compared to both F2 and F3, which was complete after 8 hrs. A spectral HPLC analysis verified that the GABA content of three formulations and yoghurt produced from F3 had the highest GABA concentration of 205.17 mg/L (p <0.05) compared to F1 and F2, which were 78.95 mg/L and 70.31 mg/L, respectively. Thirty panellists were selected for sensory analysis to assess the appearance, colour, odour, taste, texture, and overall acceptability of GABA-yoghurts. The general acceptance of GABA-yoghurts shows F1 and F2 are insignificant (p > 0.05), but F3 was significantly different from commercial yoghurt (p < 0.05). Therefore, this study proved the potential of THSKBC isolated from soy sauce moromi in fermenting milk for GABA-rich yoghurt as future food.
Circle complexes and the discrete CKP equation

In the spirit of Klein's Erlangen Program, we investigate the geometric and algebraic structure of fundamental line complexes and the underlying privileged discrete integrable system for the minors of a matrix which constitute associated Pl\"ucker coordinates. Particular emphasis is put on the restriction to Lie circle geometry which is intimately related to the master dCKP equation of discrete integrable systems theory. The geometric interpretation, construction and integrability of fundamental line complexes in M\"obius, Laguerre and hyperbolic geometry are discussed in detail. In the process, we encounter various avatars of classical and novel incidence theorems and associated cross- and multi-ratio identities for particular hypercomplex numbers. This leads to a discrete integrable equation which, in the context of M\"obius geometry, governs novel doubly hexagonal circle patterns.
CP violation conditions in N-Higgs-doublet potentials

Conditions for CP violation in the scalar potential sector of general N-Higgs-doublet models are analyzed from a group theoretical perspective. For the simplest two-Higgs-doublet model potential, a minimum set of conditions for explicit and spontaneous CP violation is presented. The conditions can be given a clear geometrical interpretation in terms of quantities in the adjoint representation of the basis transformation group for the two doublets. Such conditions depend on CP-odd pseudoscalar invariants. When the potential is CP invariant, the explicit procedure to reach the real CP-basis and the explicit CP transformation can also be obtained. The procedure to find the real basis and the conditions for CP violation are then extended to general N-Higgs-doublet model potentials. The analysis becomes more involved and only a formal procedure to reach the real basis is found. Necessary conditions for CP invariance can still be formulated in terms of group invariants: the CP-odd generalized pseudoscalars. The problem can be completely solved for three Higgs-doublets.
Investigation of a ring confocal resonator sample designed to work as an optical resonator gyroscope sensitive element

A sample of a ring confocal resonator designed to operate as a sensitive element of an optical resonator gyroscope is studied. The sample has a monoblock design - the resonator is a single block (prism) with reflective surfaces operating on the effect of total internal reflection. The optical contour of the resonator has the shape of a square with a side length of 10 mm and is formed by four reflective surfaces. Three reflecting surfaces are flat, and one is toroidal with curvature radii in the meridional and sagittal planes that satisfy the confocality condition. The resonator is designed to operate at wavelengths of about 1.55 μm. The advantages of using a of a ring confocal resonator as a sensitive element of an optical resonator gyroscope are analyzed. In particular, it is shown that the reduction of the angular velocity measurement error caused by the optical Kerr effect becomes possible (compared to the use of a waveguide cavity and a whispering gallery mode cavity). The resistance of the system to external influences also improves.
Remarks on coloured triply graded link invariants

We explain how existing results (such as categorical sl(n) actions, associated braid group actions and infinite twists) can be used to define a triply graded link invariant which categorifies the HOMFLY polynomial of links coloured by arbitrary partitions. The construction uses a categorified HOMFLY clasp defined via cabling and infinite twists. We briefly discuss differentials and speculate on related structures.
Gaussian Approximations for Probability Measures on $\mathbf{R}^d$

This paper concerns the approximation of probability measures on $\mathbf{R}^d$ with respect to the Kullback-Leibler divergence. Given an admissible target measure, we show the existence of the best approximation, with respect to this divergence, from certain sets of Gaussian measures and Gaussian mixtures. The asymptotic behavior of such best approximations is then studied in the small parameter limit where the measure concentrates; this asymptotic behaviour is characterized using $\Gamma$-convergence. The theory developed is then applied to understanding the frequentist consistency of Bayesian inverse problems. For a fixed realization of noise, we show the asymptotic normality of the posterior measure in the small noise limit. Taking into account the randomness of the noise, we prove a Bernstein-Von Mises type result for the posterior measure.
Wavelet methods in multi-conjugate adaptive optics

The next generation ground-based telescopes rely heavily on adaptive optics for overcoming the limitation of atmospheric turbulence. In the future adaptive optics modalities, like multi-conjugate adaptive optics (MCAO), atmospheric tomography is the major mathematical and computational challenge. In this severely ill-posed problem, a fast and stable reconstruction algorithm is needed that can take into account many real-life phenomena of telescope imaging. We introduce a novel reconstruction method for the atmospheric tomography problem and demonstrate its performance and flexibility in the context of MCAO. Our method is based on using locality properties of compactly supported wavelets, both in the spatial and frequency domains. The reconstruction in the atmospheric tomography problem is obtained by solving the Bayesian MAP estimator with a conjugate-gradient-based algorithm. An accelerated algorithm with preconditioning is also introduced. Numerical performance is demonstrated on the official end-to-end simulation tool OCTOPUS of European Southern Observatory.
Cartan equivalences for 5-dimensional CR-manifolds in C^4 belonging to General Class III_1

We reduce to various absolute parallelisms, namely to certain {e}-structures on manifolds of dimensions 7, 6, 5, the biholomorphic equivalence problem or the intrinsic CR equivalence problem for generic submanifolds M^5 in C^4 of CR dimension 1 and of codimension 3 that are maximally minimal and are geometry-preserving deformations of one natural cubic model of Beloshapka, somewhere else called the General Class III-1 of 5-dimensional CR manifolds. Some inspiration links exist with the treatment of the General Class II previously done in 2007 by Beloshapka, Ezhov, Schmalz, and also with the classification of nilpotent Lie algebras due to Goze, Khakimdjanov, Remm.
The Feller Property for Graphs

The Feller property concerns the preservation of the space of functions vanishing at infinity by the semigroup generated by an operator. We study this property in the case of the Laplacian on infinite graphs with arbitrary edge weights and vertex measures. In particular, we give conditions for the Feller property involving curvature-type quantities for general graphs, characterize the property in the case of model graphs, and give some comparison results to the model case.
The Conceptual Development of a Multifunctional Stepladder for Older People and Caregivers

Stepladders are compact, foldable ladders with flat steps and a platform. Despite all the research and design efforts, there are still limitations in terms of the multifunctionality, usability and simplicity of stepladders and related variants. By combining ideas, features and functions from patent literature, existing products and scientific journals, this study aims to conceptualise a multifunctional stepladder for improved usability. Five concepts are created, which are screened and evaluated against a set of criteria to select the best concept for improved usability, divided into three categories: simplicity, effectiveness and efficiency. The result is a versatile invention that functions as a stepladder, walker, wheelchair and Pilates chair, suitable for older people and caregivers in nursing homes. It allows medical records or supplies to be retrieved from high places without the need for inappropriate aids. The invention can replace wheelchairs and walkers and converts into a Pilates chair to provide a mobile exercise option for older people. The concept offers older people flexibility and independence in terms of mobility and healthcare, while saving space in the nursing home. Further design studies, prototyping and testing are needed before this idea can go into production.
The Vessels That Encapsulate Tumor Clusters (VETC) Pattern Is a Poor Prognosis Factor in Patients with Hepatocellular Carcinoma: An Analysis of Microvessel Density

Simple Summary Hepatocellular carcinoma has the characteristics of angiogenesis and neovascularization, which are the main steps in tumor growth and metastasis. The Vessels that encapsulate tumor clusters (VETC) pattern is a unique vascular structure in hepatocellular carcinoma. Microscopically, each tumor cluster is encapsulated by sinusoid-like vessels that form cobweb-like networks. Here, we retrospectively investigated the clinical–pathological features of hepatocellular carcinoma patients with or without the VETC pattern. We found that the VETC pattern is an independent factor of poor prognosis for long-term oncological outcomes. Meanwhile, higher intra-tumoral microvessel density was significantly associated with the VETC pattern. Further studies are needed to validate our findings. Abstract The outcomes of patients with hepatocellular carcinoma (HCC) are unsatisfactory because of its high recurrence rate. The Vessels that encapsulate tumor clusters (VETC) pattern is a unique vascular structure. In this study, we investigated the clinical–pathological features of HCC patients with the VETC pattern. We retrospectively reviewed patients with HCC who underwent curative hepatectomy at Chang Gung Memorial Hospital between 2007 and 2013. The form of the VETC pattern was established using an anti-CD31 stain. The results were classified into positive (VETC+) and negative (VETC−) patterns. We investigated and compared demographic data between these two groups. Overall, 174 patients were classified into either the VETC+ or VETC− groups. The median followed-up period was 80.5 months. There were significant differences in the number of hepatitis B carriers, the occurrence of vascular invasion, tumor size, TNM staging, microvessel density, and recurrence (all p < 0.05). Regarding the prediction of disease-free survival, after COX regression multivariate analysis, VETC+ remained independently associated with recurrent episodes (p = 0.003). The intra-tumoral microvessel density, demonstrated by CD-31, was the only clinical–pathological feature independently associated with VETC+. Our study demonstrated that the VETC pattern is an independent factor of poor prognosis for DFS. Higher intra-tumoral microvessel density was significantly associated with the VETC pattern. Further studies are needed to validate our findings.
Identification of Genetic Variations and Candidate Genes Responsible for Stalk Sugar Content and Agronomic Traits in Fresh Corn via GWAS across Multiple Environments

The stem and leaves of fresh corn plants can be used as green silage or can be converted to biofuels, and the stalk sugar content and yield directly determine the application value of fresh corn. To identify the genetic variations and candidate genes responsible for the related traits in fresh corn, the genome-wide scan and genome-wide association analysis (GWAS) were performed. A total of 32 selective regions containing 172 genes were detected between sweet and waxy corns. Using the stalk sugar content and seven other agronomic traits measured in four seasons over two years, the GWAS identified ninety-two significant single nucleotide polymorphisms (SNPs). Most importantly, seven SNPs associated with the stalk sugar content were detected across multiple environments, which could explain 13.68–17.82% of the phenotypic variation. Accessions differing in genotype for certain significant SNPs showed significant variation in the stalk sugar content and other agronomic traits, and the expression levels of six important candidate genes were significantly different between two materials with different stalk sugar content. The genetic variations and candidate genes provide valuable resources for future studies of the molecular mechanism of the stalk sugar content and establish the foundation for molecular marker-assisted breeding of fresh corn.
Nonlinear Hierarchical MPC With Application to Aircraft Fuel Thermal Management Systems

A nonlinear hierarchical model predictive control (MPC) framework is proposed and applied to maximize the thermal endurance of aircraft. Effectively controlling the fuel temperatures in a nonlinear multitimescale aircraft fuel thermal management system (FTMS) requires controllers capable of long-term planning and fast update rates. In this article, a two-level hierarchical MPC controller is formulated using successive linearization (SL) that directly accounts for the multitimescale and nonlinear system dynamics to achieve accurate predictive capabilities and computational efficiency. Detailed simulation results show that the proposed hierarchical structure can increase aircraft thermal endurance by at least 21% compared to a centralized approach while significantly reducing the computational cost. The results also show that SL provides a valuable framework for efficiently accounting for nonlinear system dynamics within both levels of the hierarchical MPC formulation.
Sustainable and Transferable Traffic Sign Recognition for Intelligent Transportation Systems

Traffic Sign Recognition (TSR) is an essential component of Intelligent Transportation Systems (ITS) and intelligent vehicles. TSR systems based on deep learning have grown in popularity in recent years. However, since these models belong to the closed-world-oriented learning paradigm, they are only capable of accurately identifying traffic signs that are easy to collect and cannot adapt to the real world. Furthermore, the sample utilization of these methods is insufficient, the resource consumption of model training may become unbearable as the data scale grows. To address this problem, we propose a novel “knowledge + data” co- driven solution (i.e., Joint Semantic Representation algorithm, JSR) for TSR. JSR creates a hybrid feature representation by extracting general and principal visual features from traffic sign images. It also realizes the model’s reasoning ability to zero-shot TSR based on prior knowledge of traffic sign design standards. The effectiveness of JSR is demonstrated by experiments on four benchmark datasets and two self-built TSR datasets.