Miracle-dz/UniFAR-FTUs huggingface dataset:
Conjugate points in the Grassmann manifold of a $C^*$-algebra

Let $Gr$ be a component of the Grassmann manifold of a $C^*$-algebra, presented as the unitary orbit of a given orthogonal projection $Gr=Gr(P)$. There are several natural connections in this manifold, and we first show that they all agree (in the presence of a finite trace in $\mathcal A$, when we give $Gr$ the Riemannian metric induced by the Killing form, this is the Levi-Civita connection of the metric). We study the cut locus of $P\in Gr$ for the spectral rectifiable distance, and also the conjugate tangent locus of $P\in Gr$ along a geodesic. Furthermore, for each tangent vector $V$ at $P$, we compute the kernel of the differential of the exponential map of the connection. We exhibit examples where points that are tangent conjugate in the classical setting, fail to be conjugate: in some cases they are not monoconjugate but epinconjugate, and in other cases they are not conjugate at all.
Existence and regularity theorems for variants of the TV-image inpainting method in higher dimensions with vector-valued data

In this thesis we are mainly concerned with a modification of the classical total variation image inpainting model. This alteration, which leads to a variational problem with linear growth, has been suggested by M. Bildhauer and M. Fuchs and is of interest since it describes inpainting with simultaneous denoising, i.e., we jointly reconstruct the region of the image for which data are missing or inaccessible and denoise the generated image on the entire domain. First numerical experiments in collaboration with J. Weickert have revealed that the above modification is numerically comparable to the standard total variation image inpainting model with the advantage of a comprehensive existence and regularity theory of the corresponding solutions. The main focus of this thesis lies on establishing such a theory for any dimension together with arbitrary codimension, i.e., vector-valued images are included in our investigations. More precisely we first show existence of generalized minimizers (in a suitable sense) and pass to the associated dual problem. In this context we prove new density results for functions of bounded variation and for Sobolev functions. Afterwards we investigate the regularity behavior of generalized minimizers. As a slight advancement we moreover study a special non-autonomous variant of the above variational problem in the context of the denoising of images for which we establish existence and regularity results of generalized minimizers.
Retraction Note: Development and Evaluation of Icariin-Loaded PLGA-PEG Nanoparticles for Potentiation the Proapoptotic Activity in Pancreatic Cancer Cells

1 Department of Pharmaceutics, Faculty of Pharmacy, King Abdulaziz University, Jeddah, Saudi Arabia 2 Center of Excellence for Drug Research and Pharmaceutical Industries, King Abdulaziz University, Jeddah, Saudi Arabia 3 Mohamed Saeed Tamer Chair for Pharmaceutical Industries, King Abdulaziz University, Jeddah, Saudi Arabia The Editor-in-Chief has retracted this article because it overlaps significantly with a previously published article [1]. The author agrees with this retraction.
Revision 1: Characterizing Basalt-Atmosphere Interactions on Venus: A Review of 1 Thermodynamic and Experimental Results

: 10 The surface of Venus is in contact with a hot (~470° C), high pressure (92 bars), and caustic 11 (CO 2 with S, but little H 2 O) atmosphere, which should cause progressive alteration of the crust in 12 the form of sulfate and iron-oxide coatings; however, the exact rate of alteration and mineral 13 species are not well constrained. Different experimental approaches, each with its own 14 limitations, are currently being used to constrain mineralogy and alteration rate. One note is that 15 no experimental approach has been able to fully replicate the necessary conditions and sustain 16 them for a significant length of time. Further, geochemical modeling studies can also constrain 17 surface alteration mineralogy, again with different assumptions and limitations. Here we review 18 recent geochemical modeling and experimental studies to constrain the state of the art for 19 alteration mineralogy, rate of alteration, open questions about the surface mineralogy of Venus, 20 and what can be constrained before the fleet of missions arrive later this decade. 21 Combining the new results confirm that basalt on the surface of Venus should react quickly 22 and form coatings of sulfates and iron-oxides; however, the mineralogy and rate of alteration is 23 dependent on physical properties of the protolith (including bulk composition, mineralogy, and 24 crystallinity), as well as atmospheric composition, and surface temperature. Importantly, the 25 geochemically modelling results show that the mineralogy is largely controlled by atmospheric 26 oxygen fugacity, which is not well constrained for the near surface environment on Venus. 27 Therefore, alteration experiments run over a range of oxygen and sulfur fugacities are needed 28 across a wide range of Venus analog materials with varying mineralogy and crystallinity.
Assessing Educational Mismatch in the Spanish Hospitality Industry

For decades, academics have studied the human resources of many different sectors with a wide range of approaches and methodologies. However, there is still room for analysis on educational mismatch, even more so in the hospitality industry after the COVID-19 pandemic standstill as it is a topic that has been somewhat relegated in recent times. Thus, this study seeks to analyze this phenomenon based on a multinomial logistic regression, which is underused in the human capital-related literature, especially on educational mismatch. The results confirm the influence of several factors such as tenure, experience or skills and quantify their effects on the chances of being educationally mismatched. Moreover, special attention is given to the remarkable influence of the required skills for a specific job position on vertical mismatch. Therefore, this paper updates previous research on the issue but also sheds new light on identifying the main aspects in which employees may focus in order to have better career prospects. The main limitation of this study is the availability of the data, which corresponds to 2018.
A few-shot learning-based eye diseases screening method.

OBJECTIVE This study aims to construct a brand-new ophthalmic disease screening task and establish a practically valuable ophthalmic disease screening model in the case of insufficient data. MATERIALS AND METHODS The main methods are as follows: firstly, we mixed data from different sources (these data may come from different cameras, including different fundus diseases) to get a new dataset. Based on this dataset, we conducted subsequent experiments on fundus multi-disease screening. However, in the past public datasets, each dataset often only corresponded to the screening diagnosis of one disease. Secondly, we proposed a method to simulate the characteristics of different fundus cameras by using a method based on style transfer, and to augment the training data, so that the model could learn the features of ophthalmic diseases in a more comprehensive way. Finally, a robust disease screening model based on few-shot learning was constructed on the combined dataset, and compared with benchmark algorithms. RESULTS We focused on the study of eye disease screening methods based on the metric-based few-shot learning model, data augmentation methods, and focus on key technologies such as data augmentation based on style transfer. Experiments have shown that our method can significantly improve the generalization ability of the disease screening model. CONCLUSIONS By introducing few-shot learning theory and data augmentation based on style transfer into ophthalmic disease screening, the generalization ability of the model is greatly improved, and it has certain practical value.
Replicability Study: Corpora For Understanding Simulink Models & Projects

Background: Empirical studies on widely used model-based development tools such as MATLAB/Simulink are limited despite the tools' importance in various industries. Aims: The aim of this paper is to investigate the reproducibility of previous empirical studies that used Simulink model corpora and to evaluate the generalizability of their results to a newer and larger corpus, including a comparison with proprietary models. Method: The study reviews methodologies and data sources employed in prior Simulink model studies and replicates the previous analysis using SLNET. In addition, we propose a heuristic for determining code-generating Simulink models and assess the open-source models' similarity to proprietary models. Results: Our analysis of SLNET confirms and contradicts earlier findings and highlights its potential as a valuable resource for model-based development research. We found that open-source Simulink models follow good modeling practices and contain models comparable in size and properties to proprietary models. We also collected and distribute 208 git repositories with over 9k commits, facilitating studies on model evolution. Conclusions: The replication study offers actionable insights and lessons learned from the reproduction process, including valuable information on the generalizability of research findings based on earlier open-source corpora to the newer and larger SLNET corpus. The study sheds light on noteworthy attributes of SLNET, which is self-contained and redistributable.
Algebraic Structure of Graph Operations in Terms of Degree Sequences

In this paper, by means of the degree sequences (DS) of graphs and some graph theoretical and combinatorial methods, we determine the algebraic structure of the set of simple connected graphs according to two graph operations, namely join and Corona product. We shall conclude that in the case of join product, the set of graphs forms an abelian monoid whereas in the case of Corona product, this set is not even associative, it only satisfies two conditions, closeness and identity element. We also give a result on distributive law related to these two operations.
Teorema de Decomposição de Cheeger-Gromoll.

We demonstrate the Splitting Theorem due to Cheeger and Gromoll, which ensures that a complete Riemannian n-manifold which has nonnegative Ricci curvature and a line, can be split isometrically into the Riemannian product of real with a (n-1 )manifold.
NUMERICAL AND EXPERIMENTAL STUDY OF LOCAL RESIN PRESSURE FOR THE MANUFACTURING OF COMPOSITE STRUCTURES AND THEIR EFFECT ON POROSITY

Porosity can have significant impact on the mechanical performance of composite structures. The primary sources of voids during the cure of composites include air entrapped during lay-up, bag or tool leaks, and the off gassing of volatiles. Capturing the physics of void evolution during composite processing is a challenge due to the number of sources and changing phenomena that give rise to voids as the resin cures. Local changes in resin pressure due to geometric features or cure shrinkage have been experimentally linked to a higher likelihood of void formation. In this work, a preliminary model was developed to predict local resin pressure which can be used to identify regions more susceptible to porosity. Experiments were conducted to validate the model accuracy. Ultimately, this model can be used as a tool to minimize the likelihood of porosity by optimizing the material selection, part design, layup, and cure process.
Di � Forward: On Balancing Forwarding Tra � ic for Modern Cloud Block Services via Di � erentiated Forwarding

Modern cloud block service provides cloud users with virtual block disks ( VDisks ), and it usually relies on a forwarding layer consisting of multiple proxy servers to forward the block-level writes from applications to the underlying distributed storage. However, we discover that severe tra � c imbalance exists among the proxy servers at the forwarding layer, thus creating a performance bottleneck which severely prolongs the latency of accessing VDisk s. Worse yet, due to the diverse access patterns of VDisk s, stable tra � c and burst tra � c coexist at the forwarding layer, and thus making existing load balancing designs ine � cient for balancing the tra � c at the forwarding layer of VDisk s, as they are unaware of and also lacks the ability to di � erentiate the decomposable burst and stable tra � c. To this end, we propose a novel tra � c forwarding scheme Di � Forward for cloud block services. Di � Forward di � erentiates the burst tra � c from stable tra � c in an accurate and e � cient way at the client side, then it forwards the burst tra � c to a decentralized distributed log store to realize real-time load balance by writing the data in a round-robin manner and balances the stable tra � c by segmentation. Di � Forward also judiciously coordinates the stable and burst tra � c and preserves strong consistency under di � erentiated forwarding. Extensive experiments with reallife workloads on our prototype show that Di � Forward e � ectively balances the tra � c at the forwarding layer at a � ne-grained subsecond level, thus signi � cantly reducing the write latency of VDisks .
Automatic Structured Text Reading for License Plates and Utility Meters

Reading text in images has attracted interest from computer vision researchers for many years. Our technology focuses on the extraction of structured text – such as serial numbers, machine readings, product codes, etc. – so that it is able to center its attention just on the relevant textual elements. It is conceived to work in an end-to-end fashion, bypassing any explicit text segmentation stage. In this paper we present two different industrial use cases where we have applied our automatic structured text reading technology. In the ﬁrst one, we demonstrate an outstanding performance when reading license plates compared to the current state of the art. In the second one, we present results on our solution for reading utility meters. The technology is commercialized by a recently created spin-off company, and both solutions are at different stages of integration with ﬁnal clients.
What is a Tiltrotor? A Fundamental Reexamination of the Tiltrotor Aircraft Design Space

The objective of this work is to fundamentally reexamine the design space of tiltrotor aircraft beyond the very successful conventional vehicle configuration with tractor-type twin proprotors that are nacellemounted at the wing tips. This work seeks to define a broad aircraft design space for alternate tiltrotor configurations. It is hoped that this work will not only provide design inspiration for future aircraft developers, but also help realize in the future new applications and missions for both passenger-carrying vehicles and vertical lift UAVs.
Emotional regulation among postgraduate students at kalyani university

-Emotional Regulation is the ability to understand, control, and express our own’s emotions. It is an overall physical and mental well-being. It involves various actions or behavior such as ways to reduce anger, frustrations, and anxiety, ways to hide one’s fear and sadness, and ways to focus and express happy things. Emotional Regulation is a motivational process. This process can be used to change one’s own and others’ emotions. The purpose of this study has to measure Emotional Regulation among postgraduate students at Kalyani University. It is a survey study. The sample has been selected from different departments of Kalyani university. Of 141 Postgraduate students have been selected purposively. The researcher has used a self-made questionnaire as a tool. Quantitative data have been analyzed using mean, S.d. , and ‘t-test methods. Findings of this study significant differences in Emotional Regulation between males and females and between rural males and rural females. Other findings have No significant difference in Emotional Regulation with respect to the joint and nuclear family, urban and rural, science and arts, science and B. Tech, arts, and B. Tech, and urban male and urban female students.
Human – Robot Interaction : Control , Analysis , and Design

From collaborators in factories to companions in homes, social robots hold the promise to intuitively and efficiently assist and work alongside people. However, human trust in robotic systems is crucial if these robots are to be adopted and used in home and work. In this chapter we take trust to be a set of expectations about the robot’s capabilities and explore the risks of discrepancies between a person’s expectations and the robot’s actual capabilities. We examine major sources of these discrepancies and ways to mitigate their detrimental effects. No simple recipe exists to help build justified trust in human-robot interaction. Rather, we must try to understand humans’ expectations and harmonize them with robot design over time.
Adaptive sliding‐mode control for Mars entry trajectory tracking with finite‐time convergence

This paper presents a novel adaptive sliding‐mode control (ASMC) method for Mars entry guidance and the finite‐time convergence in the presence of large uncertainties can be guaranteed. With the help of gain adaptive law, the nonoverestimating value of control gains can be achieved, and then, the chattering can be attenuated by the proposed ASMC method. Meanwhile, the extended state observer is introduced to estimate and compensate for uncertainties and the nonoverestimating problem is resolved further. In addition, the proposed method does not require any knowledge on the upper bound of uncertainty, which yields to be used in practical systems. Finally, the numerical simulation results are given to demonstrate the effectiveness of the proposed guidance law.
Improved Lifelog Ego-centric Video Summarization Using Ensemble of Deep Learned Object Features

The ImageCLEF 2017 lifelog summarization challenge [10, 12] was established to develop a benchmark for summarizing egocentric lifelogging videos based on our daily activities, such as ‘commute to work’ or ‘cooking at home’. In this paper, we propose an iterative approach for summarizing lifelogging activities based on task queries provided by the ImageCLEF 2017 lifelog summarization challenge. YoloV3 image detection, TensorFlow GoogleNet image classiﬁcation and Places365 environment classiﬁcation resources are used to generate low level deep learned features from the lifelogging images. A nearest neighbor classiﬁer is used to generate high level descriptors to classify lifelogger activities per image basis, which is also a requirement as provided in the ground truth labels. Finally, key frame images per activity are selected via hierarchical clustering to create an accurate and diverse static storyboard of summarized lifelog activities. Experimental results show the superiority of the proposed approach as compared to the highest reported results achieved in the ImageCLEF 2017 lifelog summarization competition.
Convex blind image deconvolution with inverse filtering

Blind image deconvolution is the process of estimating both the original image and the blur kernel from the degraded image with only partial or no information about degradation and the imaging system. It is a bilinear ill-posed inverse problem corresponding to the direct problem of convolution. Regularization methods are used to handle the ill-posedness of blind deconvolution and get meaningful solutions. In this paper, we investigate a convex regularized inverse filtering method for blind deconvolution of images. We assume that the support region of the blur object is known, as has been done in a few existing works. By studying the inverse filters of signal and image restoration problems, we observe the oscillation structure of the inverse filters. Inspired by the oscillation structure of the inverse filters, we propose to use the star norm to regularize the inverse filter. Meanwhile, we use the total variation to regularize the resulting image obtained by convolving the inverse filter with the degraded image. The proposed minimization model is shown to be convex. We employ the first-order primal-dual method for the solution of the proposed minimization model. Numerical examples for blind image restoration are given to show that the proposed method outperforms some existing methods in terms of peak signal-to-noise ratio (PSNR), structural similarity (SSIM), visual quality and time consumption.
A non-standard ﬁnite-di ﬀ erence-method for a non-autonomous epidemiological model: analysis, parameter identiﬁcation and applications

: In this work, we propose a new non-standard ﬁnite-di ﬀ erence-method for the numerical solution of the time-continuous non-autonomous susceptible-infected-recovered model. For our time-discrete numerical solution algorithm, we prove preservation of non-negativity and show that the unique time-discrete solution converges linearly towards the time-continuous unique solution. In addition to that, we introduce a parameter identiﬁcation algorithm for the susceptible-infected-recovered model. Finally, we provide two numerical examples to stress our theoretical ﬁndings
Resilience in Marriages: Traditional and Religious Versus Modern Marriages

This article advocates for the promotion and celebration of traditional and religious marriages because it deems them to be more durable and sturdy as compared to modern types that take place. It does so by aiming to achieve two things, firstly, to argue that the origin of the concept of marriage can be traced way back to Adam and Eve in the book of Genesis in chapter 1. Secondly, it intends to inform, advise and educate where possible, about marriage relationships. It will do so, despite different Holy books also teaching about how and why God created marriage. Precisely because, even with the availability of these voluminous sources of information, countless married couples still experience turmoil and distress instead of peace, joy, harmony and happiness in their relationships. Therefore, the unceasing tumultuous relationships experienced by married couples are a cause for concern. Hence, the evolution of the institution of marriage over the years can be seen as a means to adapt to new demands. Unfortunately, the demands of ever-changing cultural circumstances, and situations due to modern influences of technology, political contestations, economical rivalries and social challenges have only brought untold stresses and strains on many marriages. Regrettably, this has led to the emergence of new types of marriage regimes ranging from traditional and religious types to the modern brands. For data collection purposes, this article used secondary research which is also known as desk research, and, it relied heavily on collecting data from different literary sources. In addition, content analysis, interpretation and synthesis techniques together with the hermeneutics method were also used as based on the qualitative approach. The ultimate aim of this work is to empower all concerned with holding marriage relationships in high esteem and in striving to keep them special and resilient.
Comparative Analysis of Customer Churn Prediction

— The wide variety of service providers are being elevated very swiftly in each business enterprise. For service providers, a rapidly expanding market in each location is leading to a larger subscriber base. Customer acquisition costs are rising as a result of increased competition, new and innovative business models, and better-suited goods. Service providers have learned the value of keeping existing clients happy in such a short period of time. Because of this, it is critical that service providers reduce churn, the occurrence when consumers of a business stop buying from or engaging with the business. Not just in banking and telecommunications, but also in other industries that are heavily reliant on customer engagement, this study examines the most well-known machine learning methods for churn prediction.