Miracle-dz/UniFAR-FTUs huggingface dataset:
Preoperative Predictors of Late Aortic Expansion in Acute Type B Aortic Dissection Treated with TEVAR

Background: A patent false lumen (FL) in patients with thoracic endovascular aortic repair (TEVAR)-treated type B aortic dissection (TBAD) can cause a significant risk for late aortic expansion (LAE). We hypothesize that preoperative features can predict the occurrence of LAE. Methods: Sufficient preoperative and postoperative follow-up clinical and imaging feature data for patients treated with TEVAR in the First Affiliated Hospital of Nanjing Medical University from January 2018 to December 2020 were collected. A univariate analysis and multivariable logistic regression analysis were used to find potential risk factors of LAE. Results: Ninety-six patients were finally included in this study. The mean age was 54.5 ± 11.7 years and 85 (88.5%) were male. LAE occurred in 15 (15.6%) of 96 patients after TEVAR. Two preoperative factors showed strong associations with LAE according to the multivariable logistic regression analysis: preoperative partial thrombosis of the FL (OR = 10.989 [2.295–48.403]; p = 0.002) and the maximum descending aortic diameter (OR = 1.385 [1.100–1.743] per mm increase; p = 0.006). Conclusions: Preoperative partial thrombosis of the FL and an increase in the maximum aortic diameter are strongly associated with late aortic expansion. Additional interventions of the FL may help to improve the prognosis of patients with the high risk of late aortic expansion.
Estruturas de vizinhan»ca e procura local no problema da clique m¶

The Maximum Clique is a NP-hard problem aiming at flnding the largest complete sub-graph in a given graph. In this approach we intend to flnd a lower bound for the maximization problem. Firstly, the neighborhood structures are deflned according to the feasibility and the type of move. Secondly, based on the created structures the constructive and the improvement heuristics are explained. Initially we describe two constructive heuristics (primal and dual) proposed by Johnson [1974] and a heuristic that uses Tabu Search, developed by Soriano and Gendreau [1996], that we call Primal Tabu. Afterwards a new heuristic is presented, named Dual Tabu due to its working with non-feasible solutions. This new heuristic, still based on the deflned neighborhood structures, incorporates an oscillation strategy that drags the solution from the feasible solution space to the non-feasible space and vice-versa. The computational results with DIMACS clique benchmark instances presented are obtained with a hybrid heuristic Primal-Dual Tabu, that takes advantage of the complementary strategies.
IRS-Based Energy Efficiency and Admission Control Maximization for IoT Users With Short Packet Lengths

In this paper, we study a multiuser multiple-input single-output (MISO) machine type communication (MTC)-enabled intelligent reflecting surface (IRS) system, where a multi-antenna access point (AP) transmits information symbols to a set of Internet of Things (IoT) users with short packet transmission. In particular, the total energy efficiency (EE) and the number of IoT users that could be served fairly are maximized by jointly optimizing active and passive beamformers. An efficient algorithm based on alternating optimization (AO) is proposed to solve the main optimization problem iteratively. To this end, we adopt the difference of convex functions (DC) and successive convex approximation (SCA) to make a concave-convex function. Then, we employ the fractional programming based on the quadratic form to obtain a sub-optimal solution for the active beamformers at the AP and the number of admitted users. In the passive beamforming case, a penalty-based approach is utilized together with the SCA technique to handle the unit-modulus constraints at the IRS. Simulation results unveil an interesting tradeoff between EE and user admissibility performance. Besides, the results show the effectiveness of the IRS deployment in improving EE and successfully admitted users.
Comprehensive analysis of supervised algorithms for coronary artery heart disease detection

The mortality rate of cardiovascular disease is increasing at an alarming rate and affects more than 31% of the world's population. The increment in obesity, strain, high blood pressure, concern, high body mass index, depression, high glucose level, and high cholesterol are the key factors that increase the risk of cardiovascular disease. Coronary heart and cerebrovascular diseases cause 80% of cardiovascular diseases with a higher mortality rate, out of which Coronary Artery Heart Disease (CAHD) causes 25% of the fatality. CAHD fatality can be minimized by early diagnosis. However, due to common symptoms of the non‐fatal disease, CAHD is often ignored by the patients and the health care team. In this paper, the authors comprehensively analysed and compared the two supervised Machine Learning models, i.e., Logistic Regression (LR) and XGBoost, for the early diagnosis of CAHD. The models are applied to a benchmark dataset (Statlog heart disease dataset). The model's parameters are also optimized by performing the Random SearchCV hyperparameter tuning. The comprehensive study is performed on both non‐optimized and optimized models as well as compared to the other well‐known existing models. After parametric optimization, both the models exhibit higher accuracy, i.e., LR 87.78% and XGBoost 91.85%, compared to the non‐optimized techniques, i.e., LR = 83.33% and XGBoost = 77.77%.
Self-Regulatory Neuronal Mechanisms and Long-Term Challenges in Schizophrenia Treatment

Schizophrenia is a chronic and relapsing disorder that is characterized not only by delusions and hallucinations but also mainly by the progressive development of cognitive and social deficits. These deficits are related to impaired synaptic plasticity and impaired neurotransmission in the nervous system. Currently, technological innovations and medical advances make it possible to use various self-regulatory methods to improve impaired synaptic plasticity. To evaluate the therapeutic effect of various rehabilitation methods, we reviewed methods that modify synaptic plasticity and improve the cognitive and executive processes of patients with a diagnosis of schizophrenia. PubMed, Scopus, and Google Scholar bibliographic databases were searched with the keywords mentioned below. A total of 555 records were identified. Modern methods of schizophrenia therapy with neuroplastic potential, including neurofeedback, transcranial magnetic stimulation, transcranial direct current stimulation, vagus nerve stimulation, virtual reality therapy, and cognitive remediation therapy, were reviewed and analyzed. Since randomized controlled studies of long-term schizophrenia treatment do not exceed 2–3 years, and the pharmacological treatment itself has an incompletely estimated benefit-risk ratio, treatment methods based on other paradigms, including neuronal self-regulatory and neural plasticity mechanisms, should be considered. Methods available for monitoring neuroplastic effects in vivo (e.g., fMRI, neuropeptides in serum), as well as unfavorable parameters (e.g., features of the metabolic syndrome), enable individualized monitoring of the effectiveness of long-term treatment of schizophrenia.
Prevalence and Risk Factors of Hypertension in Hargeisa, Somaliland: A Hospital-Based Cross-Sectional Study

Hypertension is the leading risk factor for cardiovascular diseases and represents a major public health challenge worldwide. There is a paucity of information regarding the hypertension status of adults in Somaliland. We aimed to assess the magnitude of, and factors associated with, hypertension among adult patients seeking care at Hargeisa group hospital in Hargeisa city, Somaliland. We conducted a health facility-based cross-sectional study enrolling adult outpatients. We used the World Health Organization (WHO) STEPwise surveillance approach to obtain patient information. A total of 319 participants (54.2% males; mean age 40.4 ± 14.0 years) had complete data records. The prevalence of hypertension was 22.6% (95% confidence interval; 18.2–27.6%). The prevalence of hypertension increased with age and was higher in males (24.9%) than in females (19.9%). Age, cholesterolaemia and obesity were significantly associated with hypertension. Separate analyses for females and males revealed that obesity was significantly associated with hypertension in females but not in males. On the contrary, cholesterolaemia was significantly associated with hypertension in males but not in females. We found a high prevalence of hypertension and multiple risk factors for non-communicable diseases (NCDs) in outpatients seeking care in Hargeisa. Our findings emphasise the need for enhanced focus on the prevention and management of NCDs in Somaliland.
Numerical Simulation of Bionic Wing for Drag Reduction

The 3-dimensional numerical simulation of the flows around the standard NACA63-210 airfoil surface were performed by the finite volume analysis method.The same simulation method,structural mesh and boundary condition are chosen for 3-D numerical simulations for the bionic NACA63-210 airfoil.The mechanism of the increment of the bionic wing were discussed based on the calculation results.
Derived nominals from the nominal perspective

Derived Nominals are considered to be the last stage in the nominalization scale. This scale includes a continuum of structures with both nominal and verbal characteristics, and derived nominals are the most nouny in it. Unlike other intermediate structures derived nominals may be ambiguous between an event reading ( event nominals ) and a result reading ( result nominals ). Pluralization is one of the criteria proposed by Grimshaw (1990) to distinguish between the two: unlike result nominals, event nominals never admit pluralization. However, several recent works have argued that telic/bounded event nominals generally pluralize, unless some structural condition blocks it (Iordăchioaia & Soare 2008, Alexiadou et al. 2008). This paper gathers evidence showing that (a)telicity/(un)boundedness alone does not explain the asymmetric behavior of event nominalizations with respect to the possibility to pluralize. In fact, certain telic event nominals are inherently equivalent to mass terms in the nominal domain and never admit pluralization or quantization. Syntactically, it is these derived nominals that lack the ClassP projection in their internal structure. The paper has the following parts. Section 1 places derived nominals within the nominalization scale. Section 2 gathers evidence from the literature showing that, contra Grimshaw (1990), event nominals can generally pluralize across languages. Section 3 introduces the exceptional cases for the current standard view: certain telic event nominals do not pluralize. In section 4 I follow Kamiya (2001) in relating the impossibility of those exceptional cases to pluralize to the inherent mass property of such nominals, and ultimately, to the lack of the nominal functional projection [+count] ClassP. Conclusions are reached in section 5.
Heralded Atom-Atom Entanglement

Entanglement is a most extraordinary phenomenon in quantum mechanics as it describes non separable quantum states which characteristics contradict the common intuition based on observations in classical physics. It is essential in most quantum information and communication protocols because it provides a resource for faster-than-classical information processing as well as processing of even physically separated quantum systems. Especially, the entanglement of widely separated, massive particles used as quantum memories allows the construction of quantum repeaters and furthermore, of quantum networks. Such entanglement can also be utilized for a test of Bell’s inequality solving the 80 year old question how the physical world needs to be described. It was first raised by Einstein, Podolsky and Rosen demanding that the world should be described by a complete theory, which is realistic, local and deterministic restrictions that quantum mechanics could only fulfill by implementation of so called local hidden variables. Although experimental tests of Bell’s inequality favored quantum mechanics over local hidden variable theories the question is still an open one as all these tests suffered from at least one major loophole. Here, heralded entanglement of massive particles over a large distance may enable a conclusive test of Bell’s inequality providing a final statement about the existence of local hidden variables. This thesis presents the generation and verification of heralded entanglement of two rubidium atoms located in two independent experimental setups at a distance of 20m. As the atoms are physically separated, no direct interaction between them can be established for entanglement generation. For this reason photons are used for long distance entanglement distribution. In a first step entanglement is generated between the spin state of each atom and the polarization of a single photon. The two photons are guided to a beam splitter, at which they interfere, and the resulting two photon state is projected onto a maximally entangled Bell-state. This, so called, entanglement swapping protocol entangles the two atoms, although they never interacted directly. In a second step the atom-atom entanglement is verified by correlation measurements of the two atomic spin states. In oder to achieve a high degree of entanglement, all underlying processes including atom-photon entanglement as well as two-photon quantum interference need to be studied in detail and optimized. Data are presented verifying high atom-photon entanglement visibilities in both setups, high two-photon interference visibility and finally, atom-atom entanglement as well as a test of Bell’s inequality. The atom-atom entanglement visibilities are high enough for demonstration of further applications of quantum information science. Future improvements will allow a loophole-free test of Bell’s inequality and thereby, demonstration of device-independent security of quantum cryptography.
Metalloproteinases and Hypertrophic Cardiomyopathy: A Systematic Review

Hypertrophic cardiomyopathy (HCM) is a genetic condition determined by an altered collagen turnover of the extracellular matrix. Matrix metalloproteinases (MMPs) and their inhibitors (TIMPs) are abnormally released in patients with HCM. The purpose of this systematic review was to thoroughly summarize and discuss the existing knowledge of MMPs profile in patients with HCM. All studies meeting the inclusion criteria (detailed data regarding MMPs in patients with HCM) were selected, after screening the literature from July 1975 to November 2022. Sixteen trials that enrolled a total of 892 participants were included. MMPs–particularly MMP2—levels were found higher in HCM patients compared to healthy subjects. MMPs were used as biomarkers after surgical and percutaneous treatments. Understanding the molecular processes that control the cardiac ECM’s collagen turnover allows for a non-invasive evaluation of HCM patients through the monitoring of MMPs and TIMPs.
A new calibration method of camera arrays based on infinite scene registration for long-range infrared detection

Infrared camera arrays have previously demonstrated the potential for long-range detection due to their distributed aperture structures, but their performance is affected by the calibration procedure. The widely used calibration method based on image registration estimates the transformation matrix between different cameras by extracting matching features, and its accuracy is limited by low-resolution infrared images. To solve this problem, a new calibration method based on infinite scene registration is developed, which has high registration accuracy and is easy to implement. The results of the laboratory experiment demonstrate that the signal-to-noise ratio of the point target is improved by 1.86 with the proposed method, which proves the effectiveness and competitiveness of the proposed method. Finally, the measured data of long-range aircraft further verifies the feasibility of the proposed method.
On the Representation Spaces of the Jordanian Plane

theory of the algebra ( ) 2 , / = − − R k x y xy yx y , known as Jordanian plane (or Jordan algebra). We consider the question on 'classification' of finite-dimensional modules over the Jordan algebra. Complete description of irreducible components of the representation variety mod(R, n) is given for any dimension n. It is obtained on the basis of the stratification of this variety related to the Jordan normal form of Y. Any irreducible component of the representation variety contains only one stratum related to a certain partition of n and is the closure of this stratum. The number of irreducible components therefore is equal to the number of partitions of n.
Simulation of ISAR image errors

The authors present concepts and show simulation results for a number of situations where the ISAR (inverse synthetic aperture radar) image is degraded by errors introduced by the signal acquisition and data processing. These errors result in degradation of resolution, false targets in the image, geometric distortion of the image, incorrect values for the scattering center RCS (radar cross section) and a raising of the background noise floor. Results from the proposed model are useful in describing the degradation due to the following: errors in measuring rotation angles or frequency steps; phase errors in the incident illumination that are dependent on frequency or rotation angle; variation of the response of target scattering elements over rotational angle; linear or vibrational translation during target resolution; and the geometric distortion arising from the 3-D-to-2-D transformation in the imaging process. <<ETX>>
Emergent Constraint for Future Decline in Arctic Phytoplankton Concentration

In recent decades, the Arctic Ocean has experienced continuous warming and freshening, affecting biogeochemical factors such as nutrient supply, light availability, chlorophyll, and productivity. While Arctic marine productivity is projected to increase due to the expansion of the open ocean and increased chlorophyll concentration, uncertainties related to chlorophyll and nutrients may distract the fidelity of productivity in current Earth system models (ESMs). Here, we analyze the existing uncertainty in the Arctic chlorophyll projections using the 26 ESMs participating in Coupled Model Intercomparison Projects 5 and 6 (CMIP5 and CMIP6). We found that the uncertainty in the Arctic chlorophyll projections in the CMIP6 ESMs is greater than in the CMIP5 ESMs due to increasing uncertainty in the background nitrate concentration. A significant relationship between background nitrate and projected chlorophyll (r = 0.86) is demonstrated using the observational climatology of nitrate. Based on this strong relationship, the emergent constraint is applied to reduce the uncertainty of future chlorophyll projections. Declines in chlorophyll concentration based on emergent constraint are estimated to be further decreased in the future (44.9% ±29.1 $\pm \,29.1$ % to 50.9% ±27.6 $\pm \,27.6$ %) than at present, which is about three‐fold larger than the multi‐model mean projection (−13.5% ±48.7 $\pm \,48.7$ %). Comparing cumulative density functions before and after the emergent constraint, the probability of the decreasing chance of chlorophyll is increased by approximately 36% from 60% in prior CMIP5,6 to 93%–96% after constraint. Our results imply that reducing the uncertainty in background nitrate concentration can improve the fidelity of future projections of the Arctic ecosystem in the ESMs.
A Model of Intuitionistic Affine Logic from Stable Domain Theory (Revised and Expanded Version)

Girard worked with the category of coherence spaces and continuous stable maps and observed that the functor that forgets the linearity of linear stable maps has a left adjoint. This fundamental observation gave rise to the discovery of Linear Logic. Since then, the category of coherence spaces and linear stable maps, with the comonad induced by the adjunction, has been considered a canonical model of Linear Logic. Now, the same phenomenon is present if we consider the category of pre dI domains and continuous stable maps, and the category of dI domains and linear stable maps; the functor that forgets the linearity has a left adjoint. This gives an alternative model of Intuitionistic Linear Logic. It turns out that this adjunction can be factored in two adjunctions yielding a model of Intuitionistic Affine Logic; the category of pre dI domains and affine stable functions. It is the goal of this paper to show that this category is actually a model of Intuitionistic Affine Logic, and to show that this category moreover has properties which make it possible to use it to model convergence/divergence behaviour and recursion.
Minimizing Total Wire Length by Flipping Modules

The second contribution consists of high-lcvel language constructs that simplify specifying the internal description of each FSM. The FOR loop is presented along with two synthesis algorithms: loop expansion and external counter. Multiple types of complex WHILE loops are defined together with how they are synthesized. Arbitrarily complex combinations and nesting of loops are treated. Nested IF statements, as well as combinations of IF and SWITCH statements, are allowed within the same state. Conditionals may contain arbitrarily complex arithmetic and logic expressions. Additionally, the CUS language serves as a specification and simulation HDL for controllers. CUS code, with minor modifications, can be compiled into a C program for the purpose of functional simulation. The definition of what is "legal" code in CUS is rigorous in order to avoid the possibility that the functional simulation and the synthesized hardware might disagree.
An Optimal Series Expansion of Sub-Mixed Fractional Brownian Motion

We present an explicit series expansion of the sub-mixed fractional Brownian motion and study its rate of convergence. We show that the obtained expansion is rate-optimal in the sense that the expected uniform norm of the truncated series vanishes at optimal rate as the truncation point tends to infinity. As an application of this result, we present a computer generation of sample paths for sub-mixed fractional Brownian motion.
The Integration of Patient-Centered Care and the Biopsychosocial Model by Athletic Trainers in the Secondary School Setting

Our purpose was to explore the degree to which secondary school athletic trainers (SSATs) perceive they are integrating the principles of patient-centered care (PCC) and the biopsychosocial (BPS) model in their practice. We used a cross-sectional design to explore the primary research question. We used the Global Perceptions of Athletic Trainer Patient-Centered Care (GPATPCC) tool and the Biopsychosocial Model of Health (BPSMH) tool, both measured on a 4-point Likert scale (1 = strongly disagree, 2 = disagree, 3 = agree, 4 = strongly agree, with an unscored “unsure” option). We sent the survey to 5665 SSATs through the National Athletic Trainers’ Association. Results indicate participants expressed strong agreement (mode = 4) with 7 of the 14 statements and agreement (mode = 3) with the remaining 7 statements of the GPATPCC tool (grand mean = 3.4 ± 0.8). Overall, participants rated their level of agreement on the BPSMH as agreeing (mode = 3) for each item (grand mean = 3.0 ± 1.0). SSATs perceive they are integrating the principles of PCC and the BPS model in clinical practice. These findings align with two previous studies concluding that patients, parents, and providers believe athletic trainers provide care that is focused on whole-person healthcare.