Miracle-dz/UniFAR-FTUs huggingface dataset:
A Formal Methodology for Concurrent Componentwise Development of Rich Internet Applications

The World Wide Web has rapidly evolved from a simple, page-driven, documentcentric platform, in which each client is underpinned by a simple, synchronous request-response model, to a fully application-centric platform in which clients utilize highly interactive User Interfaces (UIs), complex internal interactions, and synchronous and/or asynchronous mechanisms to interact with server resources. At the forefront of the present stage of web evolution is a class of applications called Rich Internet Applications (RIAs). These applications combine the best features of traditional desktop applications, such as partial UI updates and fast UI response times, with the best features of traditional web applications, such as virtual ubiquity and operating system independence. Traditionally, web applications could simply be developed as sequential, event-driven applications in which each event on the user interface of the client is immediately processed on the server; and the result of processing returned as a completely new page to the client. RIAs however, have introduced fine-grained concurrency, nonsequential event-driven semantics, and client-side computation to the client; resulting in a number of challenges. These challenges include: 1. How to pinpoint the exact areas where concurrency occurs, and also how to deal with this type of concurrency in order to prevent well-known concurrency errors such as race conditions, response reordering, and deadlocks. 2. How to unravel the non-sequential event-driven semantics and client-side computation logic so that program flow is understandable, and applications are easily maintainable and upgradable. 3. How to ensure that the same logic can be easily implemented on dissimilar RIA platforms, without having to go back to the original idea. 4. How to ensure that the different languages used to create the application, work harmoniously together. Overcoming these challenges is gaining increasing importance in light of the rapid trend towards multiple concurrent mashups and web services on a single client (in which each mashup and web service gets its data stream from different sources), which is explosively increasing the complexity of the web client. The Equivalent Transformation Framework (ETF) is a highly abstract computation framework in which sets of Equivalent Transformation Rules (ETRs) are used to rewrite definite clauses, while preserving their declarative semantics. The foundation of the ETF is inherently nondeterministic enabling it to comprehensively model a wide variety of sequential and concurrent systems. In addition, the ETF is highly expressive, comprises a rich variety of highly independent ETRs, and has established theorems for the correctness of both sequential and concurrent programs generated within the framework from definite clauses. In this thesis, we propose a formal, systematic, componentwise, model-driven RIA development approach in which we extend the ETF to overcome the RIA challenges outlined above. In the methodology we first identify and capture innate RIA
A Model for the Analysis of Asymmetric Data in Marketing Research

Over the last decade, numerous methods for the multidimensional scaling (MDS) of perceptions and preferences have been applied by researchers in marketing. However, one notable gap in MDS methodology has been the lack of suitable models for analyzing inherently asymmetric data relationships. Recently, Harshman (Harshman, R. A. 1978. Models for analysis of asymmetrical relationships among objects or stimuli. Paper presented at the First Joint Meeting of the Psychometric Society and the Society for Mathematical Psychology. McMaster University, Hamilton, Ontario, August; Harshman, R. A. 1982a. DEDICOM: A family of models generalizing factor analysis and multidimensional scaling for decomposition of asymmetric relationships. Unpublished manuscript, University of Western Ontario.) has proposed a new family of models—called DEDICOM (DEcomposition into Directional COMponents)—for analyzing data matrices that are intrinsically asymmetric. In this article, the single-domain DEDICOM model is described and applied to two illustrative cases in marketing research. The examples demonstrate that DEDICOM solutions will sometimes make more substantive sense and provide significantly better fits to asymmetric data than solutions obtained by factor analysis or MDS. DEDICOM also provides a novel type of information—a description of asymmetric relations among dimensions or clusters. Such information will often have useful marketing implications.
Search for nematic biaxiality in bent-core mesogens: an X-ray diffraction perspective

ABSTRACT Since its theoretical prediction in 1970, the search for the biaxial nematic phase in thermotropic systems has challenged generations of liquid crystal scientists. Over the last 10 years, bent-core mesogens have drawn much interest as promising candidates for nematic biaxiality. However, despite a number of disputed claims, conclusive evidence of proper (spontaneous and macroscopic) biaxial order in these materials is still missing. By contrast, it is now widely recognised that biaxiality exists on a local scale, in the form of nano-sized clusters of molecules (cybotactic groups) possessing smectic-like positional order and biaxial orientational order. This article provides a review of X-ray diffraction studies on biaxiality and cybotaxis in bent-core nematics, discussing the most relevant issues related to this research field. GRAPHICAL ABSTRACT
Finite Clones Containing All Permutations

Abstract Let A be a finite set with |A| > 2. We describe all clones on A containing the set SA of all permutations of A among its unary operations. (A clone on A is a composition closed set of finitary operations on A containing all projections). With a few exceptions such a clone C is either essentially unary or cellular i.e. there exists a monoid M of self-maps of A containing SA such that either C = (= all essentially unary operations agreeing with some f ∊ M) or C = ∪ Гh where 1 < h ≤ |A| and Гh consists of all finitary operations on A taking at most h values. The exceptions are subclones of Burle's clone or of its variant (provided |A| is even).
dp–convergence and 𝜖–regularity theorems for
entropy and scalar curvature lower bounds

Consider a sequence of Riemannian manifolds $(M^n_i,g_i)$ with scalar curvatures and entropies bounded below by small constants $R_i,\mu_i \geq-\epsilon_i$. The goal of this paper is to understand notions of convergence and the structure of limits for such spaces. Even in the seemingly rigid case $\epsilon_i\to 0$, we construct examples showing that such a sequence may converge wildly in the Gromov-Hausdorff or Intrinsic Flat sense. On the other hand, we will see that these classical notions of convergence are the incorrect ones to consider. Indeed, even a metric space is the wrong underlying category to be working on. Instead, we introduce $d_p$ convergence, a weaker notion of convergence that is valid for a class of rectifiable Riemannian spaces. These rectifiable spaces have well-behaved topology, measure theory, and analysis, though potentially there will be no reasonably associated distance function. Under the $d_p$ notion of closeness, a space with almost nonnegative scalar curvature and small entropy bounds must in fact be close to Euclidean space; this will constitute our $\epsilon$-regularity theorem. More generally, we have a compactness theorem saying that sequences of Riemannian manifolds $(M^n_i,g_i)$ with small lower scalar curvature and entropy bounds $R_i,\mu_i \geq -\epsilon$ must $d_p$ converge to such a rectifiable Riemannian space $X$. Comparing to the first paragraph, the distance functions of $M_i$ may be degenerating, even though in a well-defined sense the analysis cannot be. Applications for manifolds with small scalar and entropy lower bounds include an $L^\infty$-Sobolev embedding and apriori $L^p$ scalar curvature bounds for $p<1$.
Evaluating the Selection of Normal-Theory Weight Matrices in the Satorra–Bentler Correction of Chi-Square and Standard Errors

In the application of the Satorra–Bentler scaling correction, the choices of normal-theory weight matrices (i.e., the model-predicted vs. the sample covariance matrix) in the calculation of the correction remains unclear. Different software programs use different matrices by default. This simulation study investigates the discrepancies due to the weight matrices in the robust chi-square statistics, standard errors, and chi-square-based model fit indexes. This study varies the sample sizes at 100, 200, 500, and 1,000; kurtoses at 0, 7, and 21; and degrees of model misspecification, measured by the population root mean square error of approximation (RMSEA), at 0, . 03, . 05, . 08, . 10, and . 15. The results favor the use of the model-predicted covariance matrix because it results in less false rejection rates under the correctly specified model, as well as more accurate standard errors across all conditions. For the sample-corrected robust RMSEA, comparative fit index (CFI) and Tucker–Lewis index (TLI), 2 matrices result in negligible differences.
Examining the effect of financial accounting services on the financial performance of SME: The function of information technology as a moderator

Abstract The study investigates the effects of financial accounting services on SMEs’ financial performance. The agency theory was used in the research. The study used a quantitative strategy and a survey method to acquire the essential data for the project. The study used a sample of 320 SMEs to carry out the analysis. Partial least square structural equation modelling was used to undertake the statistical analysis. The results indicate that using financial accounting services helps SMEs improve their financial performance. The research also discovered a link between information technology and SMEs’ financial performance. The findings of our research reveal that, small businesses that employ accounting services in their business experience an increase in financial performance. This is because the use of financial accounting has a lot of technical advantages which can be helpful to business users. A lot of SMEs need credit to be able to improve their business, therefore they need a financial statement to serve as evidence of their performance before the loan could be granted to them. This means that financial accounting service is a key component in the scheme of this SME. Information technology has been one of the driving forces of every business. It was found that information technology has a positive effect on the financial performance of SMEs. The study is unique in that it gives a successful approach for small and medium-sized businesses in emerging nations to focus more on the function of financial accounting in improving business performance.
FRA-1 as a Regulator of EMT and Metastasis in Breast Cancer

Among FOS-related components of the dimeric AP-1 transcription factor, the oncoprotein FRA-1 (encoded by FOSL1) is a key regulator of invasion and metastasis. The well-established FRA-1 pro-invasive activity in breast cancer, in which FOSL1 is overexpressed in the TNBC (Triple Negative Breast Cancer)/basal subtypes, correlates with the FRA-1-dependent transcriptional regulation of EMT (Epithelial-to-Mesenchymal Transition). After summarizing the major findings on FRA-1 in breast cancer invasiveness, we discuss the FRA-1 mechanistic links with EMT and cancer cell stemness, mediated by transcriptional and posttranscriptional interactions between FOSL1/FRA-1 and EMT-regulating transcription factors, miRNAs, RNA binding proteins and cytokines, along with other target genes involved in EMT. In addition to the FRA-1/AP-1 effects on the architecture of target promoters, we discuss the diagnostic and prognostic significance of the EMT-related FRA-1 transcriptome, along with therapeutic implications. Finally, we consider several novel perspectives regarding the less explored roles of FRA-1 in the tumor microenvironment and in control of the recently characterized hybrid EMT correlated with cancer cell plasticity, stemness, and metastatic potential. We will also examine the application of emerging technologies, such as single-cell analyses, along with animal models of TNBC and tumor-derived CTCs and PDXs (Circulating Tumor Cells and Patient-Derived Xenografts) for studying the FRA-1-mediated mechanisms in in vivo systems of EMT and metastasis.
Comment on 'Counting paths in a grid'

In a recent note in the Gazette, Albrecht and White consider Pm,n, the number of paths from a cell in row 1 to a cell in row m of an m × n grid of cells. I obtain a simpler recurrence and a simpler closed formula for Pm,n, and give an asymptotic formula in the case m = n as m →∞ .
HUMAN INTELLECTUAL CAPITAL, AGE OF DIRECTORS, AND FINANCIAL DISTRESS OF SERVICE COMPANIES

<p><span lang="EN-US"><strong>ABSTRACT</strong><br />This study investigates the influence of human intellectual capital and the age of directors on financial distress in service companies listed in the Indonesia Stock Exchange (IDX) year 2014-2021. We employ purposive sampling method to select the sample used in this study. Furthermore, we used a logistic regression model with STATA to test the hypotesis. We provide evidence that human intelectual capital negatively impact financial distress. On the other hand, the age of directors positively influence financial distress. In addition, the control variable net profit margin negatively influences financial distress, while other control variables proved to be no influence on financial distress. <br /></span></p><p class="JurnalASSETSABSTRAK"><strong><em>ABSTRAK</em></strong></p><p><em><span lang="EN-US">Riset ini bertujuan untuk menguji efek modal intelektual dan usia direksi terhadap financial distress perusahaan jasa yang terdaftar di Bursa Efek Indonesia tahun 2014-2021. Kami menggunakan metode purposive sampling untuk menentukan sample yang digunakan dalam riset ini. Lebih lanjut, kami menggunakan model regresi logistik untuk menguji hipotesa dalam riset ini. Dengan bantuan software STATA, kami menemukan bahwa modal intelektual berpengaruh negatif terhadap financial distress perusahaan. Sebaliknya, usia direksi berpengaruh positif terhadap financial distress. Kami juga menemukan bahwa diantara variabel kontrol yang digunakan dalam riset ini, hanya net profit margin mempengaruhi financial distress dengan arah negatif. </span></em></p>
Efficient and Accurate Numerical Solutions for Helmholtz Equation in Polar and Spherical Coordinates

This paper presents new finite difference schemes for solving the Helmholtz equation in the polar and spherical coordinates. The most important result presented in this study is that the developed difference schemes are pollution free, and their convergence orders are independent of the wave number k . Let h denote the step size, it will be demonstrated that when solving the Helmholtz equation at large wave numbers and considering kh is fixed, the errors of the proposed new schemes decrease as h decreases even when k is increasing and kh > 1.
Induction of Inflammation Disrupts the Negative Interplay between STING and S1P Axis That Is Observed during Physiological Conditions in the Lung

The stimulator of interferon genes (STING) is a master regulator of innate immunity, involved in several inflammatory diseases. Our previous data showed that sphingosine-1-phosphate (S1P) is released during inflammatory conditions in the lung. The aim of this study was to understand the interplay between S1P and STING during both physiological and pathological conditions. The mRNA levels of ceramidase (ASAH1), S1P precursor enzyme, and STING were inversely correlated in healthy lung tissues, but positively correlated in tumor tissues. The activation of STING induced higher expression of ASAH1 and was accompanied by IFN-β and IL-6 release. ASAH1 and sphingosine kinases (SPHK I/II) blockade significantly reduced IL-6, but not IFNβ, after STING activation. In support of this, taking advantage of a mouse model, we found that inflamed lungs had higher levels of inactive ASAH1 when STING was inhibited. This confirmed the human data, where higher levels of STING promoted the activation of ASAH1. Lung cancer patients positive to STING and ASAH1 mRNA levels had a dismal prognosis in that the overall survival was reduced compared to STING/ASAH1 negative patients. These data highlight that during physiological conditions, STING and the S1P axis do not interfere, whereas in lung cancer patients their interplay is associated to poor prognosis.
Ultraprocessed foods and chronic kidney disease—double trouble

ABSTRACT High energy intake combined with low physical activity generates positive energy balance, which, when maintained, favours obesity, a highly prevalent morbidity linked to development of non-communicable chronic diseases, including chronic kidney disease (CKD). Among many factors contributing to disproportionately high energy intakes, and thereby to the obesity epidemic, the type and degree of food processing play an important role. Ultraprocessed foods (UPFs) are industrialized and quite often high-energy-dense products with added sugar, salt, unhealthy fats and food additives formulated to be palatable or hyperpalatable. UPFs can trigger an addictive eating behaviour and is typically characterized by an increase in energy intake. Furthermore, high consumption of UPFs, a hallmark of a Western diet, results in diets with poor quality. A high UPF intake is associated with higher risk for CKD. In addition, UPF consumption by patients with CKD is likely to predispose and/or to exacerbate uraemic metabolic derangements, such as insulin resistance, metabolic acidosis, hypertension, dysbiosis, hyperkalaemia and hyperphosphatemia. Global sales of UPFs per capita increased in all continents in recent decades. This is an important factor responsible for the nutrition transition, with home-made meals being replaced by ready-to-eat products. In this review we discuss the potential risk of UPFs in activating hedonic eating and their main implications for health, especially for kidney health and metabolic complications of CKD. We also present various aspects of consequences of UPFs on planetary health and discuss future directions for research to bring awareness of the harms of UPFs within the CKD scenario.
Autonomous System for Vaginal Cuff Closure via Model-Based Planning and Markerless Tracking Techniques

Autonomous robotic suturing has the potential to improve surgical outcomes compared to manual operations due to better accuracy and consistency of suture placement. In this letter, we develop an autonomous system with model-based planning and markerless tissue tracking techniques for autonomous vaginal cuff closure. The proposed planning method constructs an optimal suture plan that minimizes tissue collisions with the robotic suturing tool. Moreover, DeepLabCut is utilized for autonomous markerless soft-tissue tracking in robotic vaginal cuff closure. Furthermore, an instruction-based autonomous surgery interface (ASI) is designed to automate the complex suturing workflow. The proposed planning method is evaluated via a robotics simulator and real-world suture-placement tests. End-to-end vaginal cuff closure via Smart Tissue Autonomous Robot (STAR) on synthetic tissues was carried out and compared to the suturing results via conventional laparoscopic and robot-assisted approaches performed by experienced surgeons. The comparison results indicate that by using the proposed planning pipeline, STAR outperforms conventional laparoscopic and robotic-assisted methods with better accuracy and consistency, thus achieving a higher success rate of autonomous suture placement.
Predictive systematization of line strengths for the resonance and intercombination transitions in the Be isoelectronic sequence

Measured lifetime data for the 2s 21 S 0 -2s2p 1;3 P1 resonance and intercombination lines in the Be isoelectronic sequence are critically evaluated, and jointly systematized using effective singlet-triplet-reduced line strengths Sr. The data are examined together with recent theoretical predictions in the linearizing exposition Z 2 Sr D SHCB=. Z C/ and the high-Z trend is compared with the corresponding hydrogenic limit. Smoothed and interpolated predictions are presented for Z 6 54.
Pengaruh Pendidikan Dan Pelatihan Kerja Terhadap Kinerja Karyawan Melalui Motivasi Sebagai Variabel Intervening (Studi Pada Karawan Apparelsae Konveksi Indonesia)

Tujuan penelitian ini untuk mengkaji dan menganalisa pendidikan dan pelatihan kerja terhadap kinerja karyawan Apparelsae Konveksi Indonesia melalui motivasi sebagai variabel intervening. Penelitian ini merupakan penelitian survey dengan tehnik penyebaran kuesioner pada karyawan Apparelsae Konveksi Indonesia. Sampel yang digunakan 32 responden dengan menggunakan analisis regresi linier berganda dan pengambilan sampel menggunakan metode sensus. Hasil penelitian menunjukan bahwa pendidikan dan pelatihan kerja berpengaruh signifikan terhadap kinerja karyawan melalui motivasi sebagai variabel intervening. Riset menyarankan agar perusahaan lebih memperhatikan pendidikan karyawan dan pelatihan kerja lebih sering diberikan untuk karyawan baru maupun lama sehingga karyawan memiliki motivasi kerja yang tinggi dan dapat meningkatkan kualitas kinerja karyawan.
Age- and Gender-specific Output-employment Relationship across Economic Sectors

This paper supplements a strand of research on sectoral employment responsiveness to changes in sectoral value-added. The methodology is based on the employment version of the first-differenced Okun’s equation, which is further developed to (i) complement limited empirical evidence on gender-and age-specific employment elasticity; (ii) analyse differences across economic sectors; and (iii) examine the non-linear impact of output growth on employment. Empirical estimates are based on EU28 data from 2008 to 2020 for four main economic sectors and their subsectors according to the NACE classification. Results show that the services significantly differ from other sectors – the positive growth of value-added increases the sector’s employment in all labour force groups, except the youth employment, and the output decrease is not followed by a decline in employment. In all other sectors, we observe the jobless growth phenomenon.
Comparative Assessment of Crestal Bone Loss by Flapless and Flap Technique for Implant Placement: A Prospective Study

Background: The use of flapless surgery for placing dental implants is extremely popular due to better radiological tools and the availability of software that help in the planning of dental implants. Objective: The present study was done to assess crestal bone loss by using flapless and flap techniques for placing implants. Methods: A total of 50 subjects who satisfied the inclusion criteria were selected for this study. Selected patients were then divided equally into two study groups i.e., those who are and those who are not undergoing flap surgery. Statistical analysis was done using the Mann-Whitney U test. Results: Statistically considerable P values were obtained. Bone loss was lesser with the flapless technique. Conclusion: Flapless implant placement demonstrated less crestal bone loss compared to flap surgery.