Miracle-dz/UniFAR-FTUs huggingface dataset:
On the Resolution Semiring

In this thesis, we study a semiring structure with a product based on the resolution rule of logic programming. This mathematical object was introduced initially in the setting of the geometry of interaction program in order to model the cut-elimination procedure of linear logic. It provides us with an algebraic and abstract setting, while being presented in a syntactic and concrete way, in which a theoretical study of computation can be carried on. We will review first the interactive interpretation of proof theory within this semiring via the categorical axiomatization of the geometry of interaction approach. This interpretation establishes a way to translate functional programs into a very simple form of logic programs. Secondly, complexity theory problematics will be considered: while the nilpotency problem in the semiring we study is undecidable in general, it will appear that certain restrictions allow for characterizations of (deterministic and non-deterministic) logarithmic space and (deterministic) polynomial time computation.
Budgeting Efficiency in the Education System: Measuring the Effectiveness of Public and Private Schools

This article examines the efficiency of the education system and measures the effectiveness of public and private senior high schools in the city of Bandung. The samples for this study are 20 high schools in Bandung comprising 10 private schools and 10 public schools. A quantitative approach was utilized as the research design. The analytical tools used are multiple linear regression and Data Envelopment Analysis (DEA). The results showed that private high schools were more efficient than public high schools in Bandung with an average efficiency rate of 91.49%. The achievements of high school students in the city of Bandung are influenced by the number of teachers, number of staff, number of students, school expenses, and graduate teachers, while the teacher's teaching experience does not affect student achievement. Our findings show that private schools are more efficient than public schools. Meanwhile, the amount of the cost of attending private schools is higher, and they tend to serve a smaller, more affluent population. These results highlight the need for policymakers to consider the trade-off between efficiency and equity when making educational funding and resource allocation decisions.
Classification Of Cardiac Arrhythmias Using Principal Component Analysis Of The ECG

Usin signals from 32 atients of the MIT-BIH Arrhythmia %at abase, 200 EC8 segments containing the P-QRS waves were selected as representative patterns of cardiac arrhythmias. After removal of the ensemble average, the covariance matrix was computed and a principal component analysis performed throu h the extraction of its eigenvalues and eigenvectors. higher discrimination was obtained by subtracting from each component the instantaneous mean value of normal complexes. For different RR intervals, classification is carried out by evaluating the first two principal components, using adaptive thresholds. This method was applied to the classification of data from the remaining 16 patients of the database in five different classes, resulting in 672 errors for a total of 32,938 beats.
Design Exploration and Kinematic Tuning of a Power Modulating Jumping Monopod

The leg mechanism of the novel jumping robot, Salto, is designed to achieve multiple functions during the sub-200ms time span that the leg interacts with the ground, including minimizing impulse loading, balancing angular momentum, and manipulating power output of the robot’s series-elastic actuator. This is all accomplished passively with a sin- gle degree-of-freedom linkage that has a coupled, unintuitive design which was synthe-sized using the technique described in this paper. Power delivered through the mechanism is increased beyond the motor’s limit by using variable mechanical advantage to modulate energy storage and release in a series-elastic actuator. This power modulating behavior may enable high amplitude, high frequency jumps. We aim to achieve all required behaviors with a linkage composed only of revolute joints, simplifying the robot’s hardware but necessitating a complex design procedure since there are no pre-existing solutions. The synthesis procedure has two phases: (1) design exploration to initially compile linkage candidates, and (2) kinematic tuning to incorporate power modulating characteristics and ensure an impulse-limited, rotation-free jump motion. The ﬁnal design is an eight-bar linkage with a stroke greater than half the robot’s total height that produces a simulated maximum jump power 3.6 times greater than its motor’s limit. A 0.27m tall prototype is shown to exhibit minimal pitch rotations during meter high test jumps. [DOI: 10.1115/1.4035117]
Interannual variability of circulation and climate in the tropical Pacific and Australasia related to the southern oscillation

The Southern Oscillation (SO) in Australasia and the western Pacific is studied for the January/February peak of the boreal winter monsoon. The high/cold SO phase is defined by anomalously high pressure at Tahiti and low pressure at Darwin and cold sea surface temperature (SST) anomalies in the equatorial Pacific. Composite surface analyses of contrasting ten-year ensembles during 1948-92 are complemented by case studies of the upper-air circulation during the high/cold SO year 1989 and the low/warm 1992. During the low/warm as compared to the high/cold SO phase, the Australasian low is weak, but the core of positive pressure departure is located somewhat farther North. Over the equatorial Pacific a weakened zonal pressure gradient entails slower easterlies which lead to anomalously warm surface waters. These maintain lower pressure, and enhanced cloudiness, convection, and rainfall over the central equatorial Pacific, where an increase in convective activity is accompanied by a statistically significant northeastward shift of the South Pacific Convergence Zone, enhanced lower-tropospheric convergence, upward motion, and upper-tropospheric divergence. The divergent component of the wind at 200 mb is directed primarily northward into a broad band of upper-tropospheric convergence, which feeds subsidence, lower-tropospheric divergence, and clear skies, and contributes to positive surface pressure departures in the western North Pacific.
AMLA Regime Compliance and Confidentiality of Client Information

Money laundering offences have becoming important issues worldwide. Within the accounting fraternity, discussions have involved an important issue related to the low level of compliance by professional accountants towards the anti-money laundering regime in Malaysia. Professional accountants have been named as one of the reporting institution under the anti-money laundering regime, where they are required to implement compliance programs such as Know Your Customer, Clients Due Diligent, Record Keeping and reporting of suspicious transaction. This study aims to examine the relationship between confidentiality of client information and compliance of anti-money laundering regime among professional accountants in Malaysia. A questionnaire was development and sent to 1100 professional accountants. However, 275 questionnaire were collected and analyses using regression analysis. Findings from this study have identified that “confidentiality” found to be significantly related to the level of compliance towards anti-money laundering regime by professional accountants.
Spatial and temporal characteristics of an adaptive optics system

To be effective, adaptive correction of turbulent distortions should be considered final spatio-temporal resolution of adaptive optics system, ie. its ability to form and implement the corrected wavefront control with a predetermined speed and within a finite range of spatial scales. The spatial resolution of the system is determined by the adaptive design of its key elements. Temporal resolution depends on the one hand, on the operating frequency band of electronic, mechanical and optical components of the system, and on the other - by a control algorithm for deformable mirror. To improve the time resolution of the adaptive system can be achieved by optimizing the system control algorithm by constructing predict for optical distortion.
Dual‐primal isogeometric tearing and interconnecting solvers for multipatch continuous and discontinuous Galerkin IgA equations

We present results regarding fast and robust solvers for equations arising from continuous and discontinuous Galerkin discretization of heterogeneous diffusion problems in the context of Isogeometric Analysis. The solvers considered belong to the class of non‐overlapping domain decomposition methods which use tearing and interconnection strategies. (© 2016 Wiley‐VCH Verlag GmbH & Co. KGaA, Weinheim)
Inclusion of a Catechol-Derived Hydrazinyl-Thiazole (CHT) in β-Cyclodextrin Nanocavity and Its Effect on Antioxidant Activity: A Calorimetric, Spectroscopic and Molecular Docking Approach

The aim of the present research was to obtain a supramolecular complex between a strong antioxidant compound previously reported by our group, in order to extend its antioxidant activity. The formation of the inclusion complex of a catechol hydrazinyl-thiazole derivative (CHT) and β-cyclodextrin in aqueous solution has been investigated using isothermal titration calorimetry (ITC), spectroscopic and theoretical methods. The stoichiometry of this inclusion complex was established to be equimolar (1:1) and its equilibrium constant was determined. An estimation of the thermodynamic parameters of the inclusion complex showed that it is an enthalpy and entropy-driven process. Our observations also show that hydrophobic interactions are the key interactions that prevail in the complex. 1H NMR spectroscopic method was employed to study the inclusion process in an aqueous solution. Job plots derived from the 1H NMR spectral data demonstrated 1:1 stoichiometry of the inclusion complex in a liquid state. A 2D NMR spectrum suggests the orientation of the aromatic ring of CHT inside the β-CD cavity. The antiradical activity of the complex was evaluated and compared with free CHT, indicating a delayed activity compared with free CHT. To obtain additional qualitative and visual insight into the particularity of CHT and β-CD interaction, molecular docking calculations have been performed.
A novel stablility theorem for fractional systems and its applying in synchronizing fractional chaotic system based on back-stepping approach

A stablility theorem is proposed for fractional systems whose order is not greater than 1. Based on this theorem, back-stepping approach for designing controller is extended to fractional order chaotic system. And the fractional order Newton-Leipnik chaotic system is synchronized based on the extended backstepping approach. Numerical simulation certifies effectiveness of the method.
Bank profitability and economic growth in the emerging markets: The mediating role of stability

Bank profitability is of significant importance to economic growth since it determines banks’ resilience and their ability to provide credit (Raddatz et al., 2020). However, high bank profitability (margins) as in the Sub-Saharan Africa (SSA) region can hurt economic growth through inefficient financial intermediation (Rahman et al., 2023). It is, therefore, imperative to examine the interplay between bank profitability and economic growth in SSA. This study investigates the contribution of banks’ performance to economic growth in SSA by examining the impact of bank profitability on growth, as well as the mediating role of stability in this interplay. A panel dataset for 26 SSA economies that spans from 2000 to 2020 was collected and analyzed. System generalized method of moments (GMM) and structural equation model (SEM) were used for the analysis. Surprisingly, the study finds that bank profitability does not affect economic growth in SSA economies. This evidence is attributed to inefficient intermediation in the form of high bank margins and low lending volumes. However, a positive contribution of bank profitability to growth was noted in low-income economies, supporting the notion that banks dominate in economies with underdeveloped financial markets. The study also finds evidence of partial mediation of stability on the bank profitability-growth nexus in SSA.
Collective Domain Motion Facilitates Water Transport in SGLT1

The human sodium–glucose cotransporter protein (SGLT1) is an important representative of the sodium solute symporters belonging to the secondary active transporters that are critical to the homeostasis of sugar, sodium, and water in the cell. The underlying transport mechanism of SGLT1 is based on switching between inward- and outward-facing conformations, known as the alternating access model, which is crucial for substrate transport, and has also been postulated for water permeation. However, the nature of water transport remains unclear and is disputed along the passive and active transport, with the latter postulating the presence of the pumping effect. To better examine the water transport in SGLT1, we performed a series of equilibrium all-atom molecular dynamics simulations, totaling over 6 μs of sample representative conformational states of SGLT1 and its complexes, with the natural substrates, ions, and inhibitors. In addition to elucidating the basic physical factors influencing water permeation, such as channel openings and energetics, we focus on dynamic flexibility and its relationship with domain motion. Our results clearly demonstrate a dependence of instantaneous water flux on the channel opening and local water diffusion in the channel, strongly supporting the existence of a passive water transport in SGLT1. In addition, a strong correlation found between the local water diffusion and protein domain motion, resembling the “rocking-bundle” motion, reveals its facilitating role in the water transport.
Research on the local fractional Hilbert Transform based on fractal theory

With the development of computer technology and database technology, more and more MIS are implemented. In this paper, the local fractional Hilbert transform in fractal space is established. The characteristics of this local fractional transform ar e discussed in the following. Considering the basic properties of the local fractional Hilbert transforms, a kind of transform for local fractional is derived and analysed. The result shows that the transform can reach better performance.
The monitoring system based on lookup algorithm for objects described by ordinary differential equations

The article presents a new approach to monitoring systems of a certain class using the lookup algorithm. The main task is to generate object signals based on measured but only some selected signals. This idea is based on the Kalman filter approach, but the calculation method of the gain coefficients is different. Its values are determined in a similar way as weights in neural networks during learning (incremental method). The proposed lookup algorithm uses expert knowledge a priori for determining gain corrections, and its functioning is presented for the case of two monitoring error zones. The presented results clearly indicate the advantage of the lookup algorithm over the Kalman filter. Two RMSE and MPE indicators were used for the quality of monitoring.
Stakeholder management: evidence on the performance of publicly traded companies

Purpose: This study consists of empirical evidence from stakeholder management in the performance indicators of publicly traded companies. Design/methodology/approach: The methodological framework was quantitative, and the Mann-Whitney U test was used in order to make comparisons between groups (with/without stakeholder management). Findings: As a result, there is the empirical evidence of stakeholder management in the discussion of value creation and organizational performance. Research implications: This study advances in the empirical discussion of the relationship between stakeholders and the company in the orientation of value creation, since it provides statistical evidence that the stakeholder management has influence on the performance of companies. Research limitations: As a limitation, the study has the composition of the sectors, which can be expanded in future research, for all sectors of the BM&F Bovespa, including the 362 companies. A sample with several sectors can improve the inferences. Practical implications: The study improves the understanding that it is not the fact that it belongs to the index, as it is the case of ISE-GRI, that the company's results point to a superior performance of those that do not belong, but the effective management of stakeholders for a positive result in the short and long term, as it was evidenced in this study. Originality/value: It also demonstrates the empirical evidence of issues, until then dealt with in the theoretical field, but with no direct relationship with a set of companies, as well as supporting the idea that the creation of connections between companies and stakeholders open invisible opportunities for value creation.
Collagen Gene Variants and Anterior Cruciate Ligament Rupture in Italian Athletes: A Preliminary Report

Several studies have investigated the role of genetics in anterior cruciate ligament (ACL) rupture, often returning conflicting results. The present pilot study aimed to analyze the association between six Single Nucleotide Polymorphisms (SNPs) (rs1800012; rs12722; rs13946; rs240736; rs970547; and rs4870723, located on the COL1A1, COL5A1, COL12A1, and COL14A1 genes), and ACL rupture, among Italian athletes. A hypothesis-driven association study was conducted. In total, 181 male and female athletes (n = 86 injured; n = 96 non-injured) were genotyped for the prioritized variants. All polymorphisms were genotyped using PCR RFLP, with the only exception being the rs1800012 on the COL1A1 gene, which was detected using MTPA PCR. The allele frequency distribution fell within the worldwide range. Despite the evident population variability, no selective pressure signals were recorded using PBS analysis. No significant difference was detected between the cases and controls for any of the SNPs (rs1800012; rs13946; rs240736; rs970547, and rs4870723) included in the analyses (p > 0.008, Bonferroni-adjusted for multiple comparisons). Moreover, no significant differences were found when males and females were assessed separately. Further investigations based on a larger sample size are needed, in order to draw solid conclusions for the influence between collagen genes and ACL rupture.
Evidencia de la importancia de la estructura del régimen monetario para los impactos de las políticas macroprudenciales en las economías latinoamericanas

El objetivo de este trabajo es realizar un análisis empírico de los efectos macroeconómicos de la política macroprudencial y la influencia del régimen monetario sobre esta política en los principales países de América Latina desde 2007 hasta 2019. Los países analizados son Argentina, Bolivia, Brasil, Costa Rica, Chile, Colombia, Ecuador, México, Perú y Uruguay, divididos en países con Régimen de Metas de Inflación (RMI) y los que siguen otra estructura monetaria. Para ello se utiliza el método PVAR. En los países con RMI, la política macroprudencial alcanza su objetivo de reducir el crédito y las demás variables macroeconómicas tienen el comportamiento esperado. Por otro lado, la política macroprudencial parece tener impactos contradictorios en los países que no son RMI.
Assessing Upper Limb Function in Breast Cancer Survivors Using Wearable Sensors and Machine Learning in a Free-Living Environment

(1) Background: Being able to objectively assess upper limb (UL) dysfunction in breast cancer survivors (BCS) is an emerging issue. This study aims to determine the accuracy of a pre-trained lab-based machine learning model (MLM) to distinguish functional from non-functional arm movements in a home situation in BCS. (2) Methods: Participants performed four daily life activities while wearing two wrist accelerometers and being video recorded. To define UL functioning, video data were annotated and accelerometer data were analyzed using a counts threshold method and an MLM. Prediction accuracy, recall, sensitivity, f1-score, ‘total minutes functional activity’ and ‘percentage functionally active’ were considered. (3) Results: Despite a good MLM accuracy (0.77–0.90), recall, and specificity, the f1-score was poor. An overestimation of the ‘total minutes functional activity’ and ‘percentage functionally active’ was found by the MLM. Between the video-annotated data and the functional activity determined by the MLM, the mean differences were 0.14% and 0.10% for the left and right side, respectively. For the video-annotated data versus the counts threshold method, the mean differences were 0.27% and 0.24%, respectively. (4) Conclusions: An MLM is a better alternative than the counts threshold method for distinguishing functional from non-functional arm movements. However, the abovementioned wrist accelerometer-based assessment methods overestimate UL functional activity.
Bactericidal Activity to Escherichia coli: Different Modes of Action of Two 24-Mer Peptides SAAP-148 and OP-145, Both Derived from Human Cathelicidine LL-37

OP-145 and SAAP-148, two 24-mer antimicrobial peptides derived from human cathelicidin LL-37, exhibit killing efficacy against both Gram-positive and Gram-negative bacteria at comparable peptide concentrations. However, when it comes to the killing activity against Escherichia coli, the extent of membrane permeabilization does not align with the observed bactericidal activity. This is the case in living bacteria as well as in model membranes mimicking the E. coli cytoplasmic membrane (CM). In order to understand the killing activity of both peptides on a molecular basis, here we studied their mode of action, employing a combination of microbiological and biophysical techniques including differential scanning calorimetry (DSC), zeta potential measurements, and spectroscopic analyses. Various membrane dyes were utilized to monitor the impact of the peptides on bacterial and model membranes. Our findings unveiled distinct binding patterns of the peptides to the bacterial surface and differential permeabilization of the E. coli CM, depending on the smooth or rough/deep-rough lipopolysaccharide (LPS) phenotypes of E. coli strains. Interestingly, the antimicrobial activity and membrane depolarization were not significantly different in the different LPS phenotypes investigated, suggesting a general mechanism that is independent of LPS. Although the peptides exhibited limited permeabilization of E. coli membranes, DSC studies conducted on a mixture of synthetic phosphatidylglycerol/phosphatidylethanolamine/cardiolipin, which mimics the CM of Gram-negative bacteria, clearly demonstrated disruption of lipid chain packing. From these experiments, we conclude that depolarization of the CM and alterations in lipid packing plays a crucial role in the peptides’ bactericidal activity.
On the Absolute Stability Approach to Quantized H-Infinity Control

The H∞ performance analysis of quantized feedback control systems is revisited in this paper. By applying some intrinsic properties of the logarithmic quantizer and the sector bound conditions, we present a new approach to H∞ performance analysis of control systems with input quantization. The results are expressed in linear matrix inequalities (LMIs) and are valid for both single-input and multiple-input discrete-time linear systems with logarithmic quantizers. The key point of our method is the utilization of Tsypkin-type Lyapunov functions in the absolute stability analysis problem, rendering generally less conservative results than those in the quadratic framework, which is shown both through theoretical and numerical analysis.