Miracle-dz/UniFAR-FTUs huggingface dataset:
A primal-dual interior-point method capable of rapidly detecting infeasibility for nonlinear programs

With the help of a logarithmic barrier augmented Lagrangian function, we can obtain closed-form solutions of slack variables of logarithmic-barrier problems of nonlinear programs. As a result, a two-parameter primal-dual nonlinear system is proposed, which corresponds to the Karush-Kuhn-Tucker point and the infeasible stationary point of nonlinear programs, respectively, as one of two parameters vanishes. Based on this distinctive system, we present a primal-dual interior-point method capable of rapidly detecting infeasibility of nonlinear programs. The method generates interior-point iterates without truncation of the step. It is proved that our method converges to a Karush-Kuhn-Tucker point of the original problem as the barrier parameter tends to zero. Otherwise, the scaling parameter tends to zero, and the method converges to either an infeasible stationary point or a singular stationary point of the original problem. Moreover, our method has the capability to rapidly detect the infeasibility of the problem. Under suitable conditions, the method can be superlinearly or quadratically convergent to the Karush-Kuhn-Tucker point if the original problem is feasible, and it can be superlinearly or quadratically convergent to the infeasible stationary point when the problem is infeasible. Preliminary numerical results show that the method is efficient in solving some simple but hard problems, where the superlinear convergence to an infeasible stationary point is demonstrated when we solve two infeasible problems in the literature.
A monoidal structure on the category of relative Hopf modules

Let $B$ be a bialgebra, and $A$ a left $B$-comodule algebra in a braided monoidal category $\Cc$, and assume that $A$ is also a coalgebra, with a not-necessarily associative or unital left $B$-action. Then we can define a right $A$-action on the tensor product of two relative Hopf modules, and this defines a monoidal structure on the category of relative Hopf modules if and only if $A$ is a bialgebra in the category of left Yetter-Drinfeld modules over $B$. Some examples are given.
Quasi-linear functionals on locally compact spaces

This paper has two goals: to present some new results that are necessary for further study and applications of quasi-linear functionals, and, by combining known and new results, to serve as a convenient single source for anyone interested in quasi-linear functionals on locally compact non-compact spaces or on compact spaces. We study signed and positive quasi-linear functionals paying close attention to singly generated subalgebras. The paper gives representation theorems for quasi-linear functionals on $C_c(X)$ and for bounded quasi-linear functionals on $C_0(X)$ on a locally compact space, and for quasi-linear functionals on $C(X)$ on a compact space. There is an order-preserving bijection between quasi-linear functionals and compact-finite topological measures, which is also "isometric" when topological measures are finite. Finally, we further study properties of quasi-linear functionals and give an explicit example of a quasi-linear functional.
Rye Bread Crust as an Inducer of Antioxidant Genes and Suppressor of NF-κB Pathway In Vivo

Heat-processed food, like bread, containing high amounts of advanced glycation end products (AGEs), is controversially discussed regarding the effects on health and disease. In in vitro and in vivo experiments, AGEs can induce proinflammatory NF-κB and/or the anti-inflammatory NRF2 pathways. The aim of this study was to investigate how gene expression is influenced in vivo upon short as well as long-term feeding of mice with control and bread crust-food (BC). For that, the liver, kidney and heart from two days- and eight days-fed mice were isolated and gene arrays were performed. Fewer genes were affected in terms of expression after two days of BC feeding than after eight days. We observed, especially in the heart and to lesser extent in the liver, an induction of antioxidant response by BC. Among the significantly up-regulated genes identified in the heart were transcripts encoding for cardioprotective and antioxidative proteins like metallothionein 2, uncoupling protein 3 and pyruvate dehydrogenase kinase 4. In contrast, in the liver, genes encoding for inflammatory drivers like thioredoxin-interacting protein, lncRNA Mtss1 and ubiquitin-specific protease 2 were down-modulated. However, an increased expression of immunoglobulins was observed in the kidney. Furthermore, in vivo imaging analyses with NF-κB-luciferase-reporter mice uncovered a rather anti-inflammatory response, especially after three and seven days of the feeding study. Our results suggest that bread crust exerts antioxidant and anti-inflammatory effects in the model organism mouse in an organ-specific manner.
A comparative study of fintech payment services adoption among malaysian and indonesian fresh graduates: through the lens of UTAUT theory

The Covid-19 pandemic had changed the business model in various industries. Companies have switched to digital business processes in order to survive in this challenging situation. Financial Technology (Fintech), especially digital payment services, has become the most preferred solution for handling financial transactions in conditions of limited mobility and interaction. The phenomenal emergence of Fintech has captured the attention of the world and the Asian region, including Malaysia and Indonesia. Despite various benefits offered by Fintech, the adoption rate is still relatively low, especially for IT-savvy groups of fresh graduates in both countries. This comparative study aims to analyze the adoption of Fintech payment services in Malaysia and Indonesia using the UTAUT theory approach. The research measures the relationships between performance expectancy, effort expectancy, social influence, consumers’ trust, and national culture with the adoption of Fintech. Each indicator of national culture, such as individualism, power distance, uncertainty avoidance, masculinity and long-term orientation, was measured to see its relationship with the adoption rate. The quantitative method was employed, and the data were collected via an online survey of a total of 486 respondents. Using multivariate regression analysis, 57.9 % behavioral adoption of Fintech payment services both in Malaysia and Indonesia was explained through performance expectancy, effort expectancy, social influence, customer trust and national culture. The study revealed that performance expectancy and the cultural factor individualism had the highest effect on the decision to adopt digital payment services. This study contributes to the Fintech ecosystem in both countries by providing some recommendations to Fintech providers, financial institutions, and governments in policy making. It is also expected that the research will support the government’s goal to become a cashless society as a strategy to increase financial inclusion.
Multivariate Analysis of Risk Factors for Cerebral Infarction Based on Specific Health Checkups in Japan

Stroke is a progressive disease with remissions and exacerbations; it significantly reduces the quality of life of patients and their family and caregivers. Primary prevention is necessary to reduce the growing incidence of stroke globally. In this study, we determined the risk factors for cerebral infarction in elderly Japanese residents and proposed a primary care strategy to prevent cerebral infarction. We investigated the relationship between the incidence of cerebral infarction and the results of checkups 10 years ago. Multivariate logistic regression analysis was performed to determine the variables related to the occurrence of cerebral infarction in biochemical tests and questionnaires administered ten years ago. Hypertension and abnormal creatinine levels were related to increased risk of cerebral infarction based on our findings of the health checkups conducted 10 years previously. Furthermore, weight gain or loss of >3 kg over the last year and habit of eating an evening meal within 2 h before going to bed were associated with an increased risk of cerebral infarction based on the questionnaire results from the specific health checkups. Long-term, large-scale prospective studies are required to determine the specific health items related to increased risk of cerebral infarction.
Functional Integral Approach to $C^*$-algebraic Quantum Mechanics

The algebraic approach to quantum mechanics has been key to the development of the theory since its inception, and the approach has evolved into a mathematically rigorous $C^\ast$-algebraic formulation of the axioms. Conversely the functional approach in the form of Feynman path integrals is far from mathematically rigorous: Nevertheless, path integrals provide an equally valid and useful formulation of the axioms of quantum mechanics. The two approaches can be merged by employing a recently developed notion of functional integration that allows to construct functional integral representations of $C^\ast$-algebras. The merger is a hybrid formulation of the axioms of quantum mechanics in which topological groups play a leading role.
PHANTOM COVERS IN EXACT CATEGORIES

We define the notion of P-phantom map with respect to a class of conflations in a locally �-presentable exact additive category (C;P) and we give sufficient conditions to ensure that the ideal �(P) of P-phantom maps is a (special) covering ideal. As a byproduct of this result, we infer the existence of various covering ideals in categories of sheaves which have a meaningful geometrical motivation. In particular we deal with a Zariski-local notion of phantom maps in categories of sheaves. We would like to point up that our approach is necessarily different from (16), as the categories involved in most of the examples we are interested in do not have enough projective morphisms. Let C be an abelian category. Approximation Theory by Objects is typi- cally used in Relative Homological Algebra to compute (co)resolutions from either an additive class of objects of C or an additive subfunctor of Ext. In the first case, the necessary and sufficient condition for a class F to provide such (co)resolutions is to be either (pre)covering or (pre)enveloping. We re- call that a morphism φ: F → X with F ∈ F is said to be an F-precover of X if Hom(F ' ,F) → Hom(F ' ,X) → 0 is exact, for every F ' ∈ F; equivalently, the natural transformation of functors Hom(−,F)|F → Hom(−,A)|F → 0 is exact. And the F-precover φ is called an F-cover if any endomorphism f : F → F is an isomorphism whenever φ◦f = φ. The class F is said to be a (pre)covering class when every object has an F-(pre)cover. (Pre)envelopes
Deep Reinforcement Learning for Traffic Signal Control Model and Adaptation Study

Deep reinforcement learning provides a new approach to solving complex signal optimization problems at intersections. Earlier studies were limited to traditional traffic detection techniques, and the obtained traffic information was not accurate. With the advanced in technology, we can obtain highly accurate information on the traffic states by advanced detector technology. This provides an accurate source of data for deep reinforcement learning. There are many intersections in the urban network. To successfully apply deep reinforcement learning in a situation closer to reality, we need to consider the problem of extending the knowledge gained from the training to new scenarios. This study used advanced sensor technology as a data source to explore the variation pattern of state space under different traffic scenarios. It analyzes the relationship between the traffic demand and the actual traffic states. The model learned more from a more comprehensive state space of traffic. This model was successful applied to new traffic scenarios without additional training. Compared our proposed model with the popular SAC signal control model, the result shows that the average delay of the DQN model is 5.13 s and the SAC model is 6.52 s. Therefore, our model exhibits better control performance.
Annihilation of $\text{tor}_{Z_{p}}(\mathcal G_{K,S}^{ab})$ for real abelian extensions $K/Q$

Preprint of a paper to appear in "Communications in Advanced Mathematical Sciences". Let K be a real abelian extension of Q. Let p be a prime number, S the set of p-places of K and G\_K,S the Galois group of the maximal S-ramified pro-p-extension of K (i.e., unramified outside p and infinity). We revisit the problem of annihilation of the p-torsion group T\_K:=tor\_Z\_p(G\_K,S^ab) initiated by us and Oriat then systematized in our paper on the construction of p-adic L-functions in which we obtained a canonical ideal annihilator of T\_K in full generality (1978--1981). Afterwards (1992--2014) some annihilators, using cyclotomic units, were proposed by Solomon, Belliard--Nguyen Quang Do, Nguyen Quang Do--Nicolas, All, this http URL this text, we improve our original papers and show that, in general, the Solomon elements are not optimal and/or partly degenerated. We obtain, whatever K and p, an universal non-degenerated annihilator in terms of p-adic logarithms of cyclotomic numbers related to L\_p-functions at s=1 of its primitive characters of K (Theorem 9.4). Some computations are given with PARI programs; the case p=2 is analyzed and illustrated in degrees 2, 3, 4 to test a conjecture.
K-surfaces with free boundaries

A well-known question in classical differential geometry and geometric analysis asks for a description of possible boundaries of $K$-surfaces, which are smooth, compact hypersurfaces in $\mathbb{R}^d$ having constant Gauss curvature equal to $K \geq 0$. This question generated a considerable amount of remarkable results in the last few decades. Motivated by these developments here we study the question of determining a $K$-surface when only part of its boundary is fixed, and in addition the surface hits a given manifold at some fixed angle. While this general setting is out of reach for us at the present, we settle a model case of the problem, which in its analytic formulation reduces to a Bernoulli type free boundary problem for the Monge-Amp\`ere equation. We study both the cases of 0-curvature and of positive curvature. The formulation of the free boundary condition and its regularity are the most delicate and challenging questions addressed in this work. In this regard we introduce a notion of a Blaschke extension of a solution which might be of independent interest. The problem we study can also be interpreted as the Alt-Caffarelli problem for the Monge-Amp\`ere equation. Moreover, it also relates to the problem of isometric embedding of a positive metric on the annulus with partially prescribed boundary and optimal transport with free mass.
The local lifting problem for A4

We solve the local lifting problem for the alternating group A_4, thus showing that it is a local Oort group. Specifically, if k is an algebraically closed field of characteristic 2, we prove that every A_4-extension of k[[s]] lifts to characteristic zero. As a consequence, every A_4-branched cover of smooth projective curves in characteristic 2 lifts to characteristic zero.
Irreducible Characters and Semisimple Coadjoint Orbits

When $G_{\mathbb{R}}$ is a real, linear algebraic group, the orbit method predicts that nearly all of the unitary dual of $G_{\mathbb{R}}$ consists of representations naturally associated to orbital parameters $(\mathcal{O},\Gamma)$. If $G_{\mathbb{R}}$ is a real, reductive group and $\mathcal{O}$ is a semisimple coadjoint orbit, the corresponding unitary representation $\pi(\mathcal{O},\Gamma)$ may be constructed utilizing Vogan and Zuckerman's cohomological induction together with Mackey's real parabolic induction. In this article, we give a geometric character formula for such representations $\pi(\mathcal{O},\Gamma)$. Special cases of this formula were previously obtained by Harish-Chandra and Kirillov when $G_{\mathbb{R}}$ is compact and by Rossmann and Duflo when $\pi(\mathcal{O},\Gamma)$ is tempered.
Performance Enhancement and Comparative analysis for Credit Approval Using XGBoost, SVM and Multi-Layer Perceptron

The demand for credit card is increasing exponentially due to the benefits and security it was providing for the customers. This makes the credit card companies to deliberate before approving the credit card for customers. So the customers, who met the criteria that were set by the companies, were able to get the credit card. The goal of this paper is to build a machine learning model whose accuracy and performance is enhanced due to boosting algorithms using the datasets on UCI (University of California, Irvine). This model will be building on xgboost algorithm and will be compared with SVM (Support Vector Machine), multi-layer perceptron (MLP). Our result shows that the overall performance of our boosting model is slightly better than the other two models.
An Independent Process Approximation to Sparse Random Graphs with a Prescribed Number of Edges and Triangles

We prove a $pre$-$asymptotic$ bound on the total variation distance between the uniform distribution over two types of undirected graphs with $n$ nodes. One distribution places a prescribed number of $k_T$ triangles and $k_S$ edges not involved in a triangle independently and uniformly over all possibilities, and the other is the uniform distribution over simple graphs with exactly $k_T$ triangles and $k_S$ edges not involved in a triangle. As a corollary, for $k_S = o(n)$ and $k_T = o(n)$ as $n$ tends to infinity, the total variation distance tends to $0$, at a rate that is given explicitly. Our main tool is Chen-Stein Poisson approximation, hence our bounds are explicit for all finite values of the parameters.
Segal operations in the algebraic K-theory of
topological spaces

We extend earlier work of Waldhausen which defines operations on the algebraic $K$-theory of the one-point space. For a connected simplicial abelian group $X$ and symmetric groups $\Sigma_n$, we define operations $\theta^n \colon A(X) \rightarrow A(X{\times}B\Sigma_n)$ in the algebraic $K$-theory of spaces. We show that our operations can be given the structure of $E_{\infty}$-maps. Let $\phi_n \colon A(X{\times}B\Sigma_n) \rightarrow A(X{\times}E\Sigma_n) \simeq A(X)$ be the $\Sigma_n$-transfer. We also develop an inductive procedure to compute the compositions $\phi_n \circ \theta^n$, and outline some applications.
Connecting eigenvalue rigidity with polymer geometry: Diffusive transversal fluctuations under large deviation

We consider the exactly solvable model of exponential directed last passage percolation on $\mathbb{Z}^2$ in the large deviation regime. Conditional on the upper tail large deviation event $\mathcal{U}_{\delta}:=\{T_{n}\geq (4+\delta)n\}$ where $T_{n}$ denotes the last passage time from $(1,1)$ to $(n,n)$, we study the geometry of the polymer/geodesic $\Gamma_{n}$, i.e., the optimal path attaining $T_{n}$. We show that conditioning on $\mathcal{U}_{\delta}$ changes the transversal fluctuation exponent from the characteristic $2/3$ of the KPZ universality class to $1/2$, i.e., conditionally, the smallest strip around the diagonal that contains $\Gamma_{n}$ has width $n^{1/2+o(1)}$ with high probability. This sharpens a result of Deuschel and Zeitouni (1999) who proved a $o(n)$ bound on the transversal fluctuation in the context of Poissonian last passage percolation, and complements (Basu, Ganguly, Sly, 2017), where the transversal fluctuation was shown to be $\Theta(n)$ in the lower tail large deviation event. Our proof exploits the correspondence between last passage times in the exponential LPP model and the largest eigenvalue of the Laguerre Unitary Ensemble (LUE) together with the determinantal structure of the spectrum of the latter. A key ingredient in our proof is a sharp refinement of the large deviation result for the largest eigenvalue (Seppalainen '98, Johansson '99), using rigidity properties of the spectrum, which could be of independent interest.
Slot/Pole Relationship and Winding Configuration of Dual Winding Dual PM Flux Modulated Machines

This paper proposes four slot/pole combinations of dual winding and dual PM flux modulated machine (DWDPM). The main structure of DWDPM is that armature windings and permanent magnets are positioned on both the stator and rotor sides. When adopting unique slot/pole combination, the stator windings and the rotor windings can interact, respectively, with the stator PMs and the rotor PMs to output average torque. The electromagnetic performance of the proposed models is analyzed and compared according to finite element analysis (FEA). The result shows that the DWDPM having close slot and pole combinations can output more torque and have lower torque ripple.
Moral judgements in a foreign language: Expressing emotions and justifying decisions

Aim: Previous evidence suggests that language influences bilinguals’ moral judgements. One explanation for this phenomenon is that using a second language (L2) attenuates emotional arousal, thus leading to more rational decisions. This study examined whether bilinguals’ moral arguments and emotional vocabulary are influenced by the language – first language (L1) or L2 – in which a moral dilemma is presented. Methodology and data analysis: A mixed-methods design was employed. We analysed the emotional vocabulary used by 204 Spanish-English bilinguals when making moral judgements and expressing their emotions in response to a highly emotional moral dilemma, as well as the type of arguments they employed to justify their moral decisions in L1 and L2. Findings: The participants were more emotional in their L1, as reflected in the arguments they used to justify their decisions. This finding was supported by a significantly lower number of emotional words in their L2. Moreover, the effect of language on moral judgements was mediated by the participants’ emotions. Originality: This study is the first to qualitatively examine the types of arguments underlying bilinguals’ moral decision-making in their L1 and in their L2. Moreover, the analysis of verbal emotional expressions in relation to moral decisions adds to the findings of previous research that was based almost exclusively on forced-choice measures and further supports the hypothesis that the reduction of emotional arousal in an L2 modulates individuals’ moral judgements. Implications: The results have implications for L2 teaching and pedagogy. The L2 curriculum should include instruction in emotional vocabulary and should engage learners in discussions that require argumentation and critical thinking about strong emotional content. This may assist bilinguals not only to express their internal affective states more efficiently, but also to experience the intensity of L2 emotionally charged words in a similar way as they do in their L1.
A note on submanifolds of $\bar{M}^{2n+1}(f_1,f_2,f_3)$ with respect to certain connections

The present paper deals with some results of almsot semi-invariant submanifolds of generalized Sasakian-space-forms in \cite{ALEGRE3} with respect to semisymmetric metric connection, semisymmetric non-metric connection, Schouten-van Kampen connection and Tanaka-Webster connection.