Miracle-dz/UniFAR-FTUs huggingface dataset:
Extended finite element approach to predict and track rupture propagation in abdominal aortic aneurysm

Abdominal aortic aneurysm (AAA) is a life-threatening cardio-vascular condition. Current surgical intervention is based on the maximum diameter threshold of 5.5 cm. Over the past years, two indicators to predict potential rupture, Rupture Potential Index (RPI) and Finite Element Analysis Rupture Index (FEARI), had been developed using finite element analysis (FEA), based on the predicted maximum wall stress and statistical or local wall strength. The purpose of this study is to develop a numerical model using the extended finite element method (XFEM) to understand the initiation/growth of potential rupture and predict its location in abdominal aortic aneurysm wall by involving the parameters of failure: the wall stress, wall strength, and strain, as well as, investigating the use of 3D-US AAA models instead of CT models. Failure analyses were conducted on numerical models of AAA derived from 3D-US and CT images for four elected patients to examine the initiation and growth of potential rupture under three different pressures of 120, 140, and 160 mmHg and three different wall strengths of 0.33, 1.34, and 2.36 MPa respectively. The majority of AAAs showed insignificant differences in stress distributions between 3D-US and CT models, except for one patient where the 3D-US model remarkably showed higher stress compared to the CT model. The location of rupture initiation was predicted reliably for both the models of AAA which have been independently verified with visual predictions by cardio-vascular surgeons. However, the predicted length of rupture and the potential penetration (full damage of the wall) varied between the models depending upon the applied pressure and the strength of the wall.
Recent progress of the JT-60SA project

The JT-60SA project has been implemented for the purpose of an early realization of fusion energy. With a powerful and versatile NBI and ECRF system, a flexible plasma-shaping capability, and various kinds of in-vessel coils to suppress MHD instabilities, JT-60SA plays an essential role in addressing the key physics and engineering issues of ITER and DEMO. It aims to achieve the long sustainment of high integrated performance plasmas under the high βN condition required in DEMO. The fabrication and installation of components and systems of JT-60SA procured by the EU and Japan are steadily progressing. The installation of toroidal field (TF) coils around the vacuum vessel started in December 2016. The commissioning of the cryogenic system and power supply system has been implemented in the Naka site, and JT-60SA will start operation in 2019. The JT-60SA research plan covers a wide area of issues in ITER and DEMO relevant operation regimes, and has been regularly updated on the basis of intensive discussion among European and Japanese researchers.
Three-color dSTORM Imaging and Analysis of Recombination Foci in Mouse Spread Meiotic Nuclei

During the first meiotic prophase in mouse, repair of SPO11-induced DNA double-strand breaks (DSBs), facilitating homologous chromosome synapsis, is essential to successfully complete the first meiotic cell division. Recombinases RAD51 and DMC1 play an important role in homology search, but their mechanistic contribution to this process is not fully understood. Super-resolution, single-molecule imaging of RAD51 and DMC1 provides detailed information on recombinase accumulation on DSBs during meiotic prophase. Here, we present a detailed protocol of recombination foci analysis of three-color direct stochastic optical reconstruction microscopy (dSTORM) imaging of SYCP3, RAD51, and DMC1, fluorescently labeled by antibody staining in mouse spermatocytes. This protocol consists of sample preparation, data acquisition, pre-processing, and data analysis. The sample preparation procedure includes an updated version of the nuclear spreading of mouse testicular cells, followed by immunocytochemistry and the preparation steps for dSTORM imaging. Data acquisition consists of three-color dSTORM imaging, which is extensively described. The pre-processing that converts fluorescent signals to localization data also includes channel alignment and image reconstruction, after which regions of interest (ROIs) are identified based on RAD51 and/or DMC1 localization patterns. The data analysis steps then require processing of the fluorescent signal localization within these ROIs into discrete nanofoci, which can be further analyzed. This multistep approach enables the systematic investigation of spatial distributions of proteins associated with individual DSB sites and can be easily adapted for analyses of other foci-forming proteins. All computational scripts and software are freely accessible, making them available to a broad audience. Key features Preparation of spread nuclei, resulting in a flattened preparation with easy antibody-accessible chromatin-associated proteins on dSTORM-compatible coverslips. dSTORM analysis of immunofluorescent repair foci in meiotic prophase nuclei. Detailed descriptions of data acquisition, (pre-)processing, and nanofoci feature analysis applicable to all proteins that assemble in immunodetection as discrete foci. Graphical overview
Asymptomatic people with well-controlled HIV do not have abnormal left ventricular global longitudinal strain

Background Previous studies have reported impairment in systolic and diastolic function in people with HIV (PWHIV). Our aim was to determine if echocardiographically measured left ventricular (LV) global longitudinal strain (GLS) is abnormal in asymptomatic PWHIV. Methods A cross-sectional study of PWHIV (n = 98, 89% male, median age 53 years) and HIV-negative people (n = 50, median age 53 years) without known cardiovascular disease were recruited from a single centre. All participants completed a health/lifestyle questionnaire, provided a fasting blood sample, and underwent a comprehensive echocardiogram for assessment of diastolic and systolic LV function, including measurement of GLS. Results All PWHIV were receiving antiretroviral therapy (ART) for a median of 12 years (IQR: 6.9, 22.4), the majority with good virological control (87% suppressed) and without immunological compromise (median CD4 598 cells/µl, IQR: 388, 841). Compared with controls of similar age and gender, there was no difference in GLS [mean GLS −20.3% (SD 2.5%) vs. −21.0% (SD 2.5%), p = 0.14] or left ventricular ejection fractions [65.3% (SD 6.3) vs. 64.8% (SD 4.8), p = 0.62]. Following adjustment for covariates (gender, heart rate, systolic and diastolic blood pressure, and fasting glucose), the difference in GLS remained non-significant. There were no differences in LV diastolic function between the groups. Exposure to at least one mitochondrially toxic ART drug (didanosine, stavudine, zidovudine, or zalcitabine) was not associated with impairment of LV systolic function. Conclusion No clinically significant impairment of myocardial systolic function, as measured by LV GLS, was detected in this predominantly Caucasian male population of PWHIV on long-term ART, with no history of cardiovascular disease.
PIPC-3Ddet: Harnessing Perspective Information and Proposal Correlation for 3D Point Cloud Object Detection

As a fundamental technology in autonomous driving and robotic sensing system, 3D point cloud object detection has received increasing attention. In this paper, a novel 3D detection method that harnesses perspective information and proposal correlation (PIPC-3Ddet) is proposed for detecting 3D objects from point clouds. Specifically, a perspective information embedding module is designed to enhance the voxel features by capturing and embedding the perspective information of range images, so as to effectively distinguish the objects and backgrounds. Besides, by revealing the correlation among 3D proposals, a proposal correlation reasoning module is presented to learn high-quality proposal features for better 3D proposal refinement. With the designed perspective information embedding and proposal correlation reasoning modules, the proposed PIPC-3Ddet is able to better perceive the objects in the 3D scene, thus boosting the 3D object detection performance. Extensive experiments on the KITTI and Waymo benchmarks have demonstrated the superiority of the proposed PIPC-3Ddet.
Coding theory on generalized Fibonacci n-step polynomials

Abstract In this paper, we introduce generalized Fibonacci n-step polynomials. Based on generalized Fibonacci n-step polynomials, we define a new class of square matrix Mh, n(x) of order n. Thereby, we state a new coding theory called generalized Fibonacci n-step polynomial coding theory. Also we obtain the relations among the code matrix elements. Next, we discuss on the correct ability of this method. It is shown that, for n = 2, the correct ability of this method is 93.33% whereas for n = 3, the correct ability of this method is 99.80%. The interesting part of this coding/decoding method is that the correct ability does not depend on the polynomial coefficients excepting the value of the nth coefficient hn(x) = 1 and increases as n increases.
Associations of Migration, Socioeconomic Position and Social Relations With Depressive Symptoms – Analyses of the German National Cohort Baseline Data

Objectives: We analyze whether the prevalence of depressive symptoms differs among various migrant and non-migrant populations in Germany and to what extent these differences can be attributed to socioeconomic position (SEP) and social relations. Methods: The German National Cohort health study (NAKO) is a prospective multicenter cohort study (N = 204,878). Migration background (assessed based on citizenship and country of birth of both participant and parents) was used as independent variable, age, sex, Social Network Index, the availability of emotional support, SEP (relative income position and educational status) and employment status were introduced as covariates and depressive symptoms (PHQ-9) as dependent variable in logistic regression models. Results: Increased odds ratios of depressive symptoms were found in all migrant subgroups compared to non-migrants and varied regarding regions of origins. Elevated odds ratios decreased when SEP and social relations were included. Attenuations varied across migrant subgroups. Conclusion: The gap in depressive symptoms can partly be attributed to SEP and social relations, with variations between migrant subgroups. The integration paradox is likely to contribute to the explanation of the results. Future studies need to consider heterogeneity among migrant subgroups whenever possible.
Modeling of passenger transport correspondence between regional centers in Ukraine

Passenger transport system of Ukraine is studied for establishment of passenger correspondence using public routes between regional centers. The results of the analysis of existing methods of passenger correspondence calculation are found the inability to implement them without preliminary investigation of features of the systems and calculation of the actual values of gravity function. Empirical method is applied for establishing the parameters of quantitative index of gravity function. Unlike previous researchers, this approach for calculation of gravity function parameters allows to obtain new knowledge about the studied system. An opportunity to obtain performance parameters of the experimental system without the human factor and at any time is provided without the use of a manual or automated inspection means for passenger correspondence. Research results provide the opportunity to analyze the calculations of intercity passenger correspondence between regional centers of Ukraine on the general transport routes using a gravity model . Previously unknown parameters of gravity function are defined. This allows to predict the passenger correspondence in this system.
Fuzzy Smart Reward for Serious Game Activity Design

Purpose: Serious game has been widely considered to be a potential learning tool, due to its main advantage to provide a fun experience in learning. The experience is supported mainly by in-game activities, where feedback is given in the form of rewards. However, rewards often don't work well due to various factors, for example, rewards are always the same, so they are monotonous. We use Appreciative Learning as underlying concept for activity design and fuzzy logic to create the reward behavior, called Fuzzy Smart Reward.Methods: We use Appreciative Learning as underlying concept for activity design and fuzzy logic to create the reward behavior. Appreciative Learning activities consists of Discovery, Dream, Design and Destiny. We propose fuzzy-based smart reward for those activities. The smart reward takes player achievement in each activity as input for the fuzzy inference system and give the dynamic reward as output.Result: A game prototype is developed as a test subject. The result shows that the smart reward could dynamically adjust the reward based on game conditions and player performance. Test conducted using Game Experience Questionnaire get the score 3.3 out of 4.Novelty: There aren't many studies on dynamic rewards in structured reward systems; the majority of studies remove dynamic rewards from reward systems. In our research, a "smart reward" is a dynamic reward in a structured reward system that is created using artificial intelligence and is based on activities for appreciative learning. The use of Fuzzy Logic for structured reward behavior is also very rare.
On Some Topological Properties of Multigranular Rough Sets

Rough set theory was introduced by Pawlak [5] as a model to capture impreciseness in data and since then it has been established to be a very efficient tool for this purpose. The definition of basic rough sets depends upon a single equivalence relation defined on the universe or several equivalence relations taken one each taken at a time. There have been several extensions of the basic rough sets introduced since then in the literature. Rough set model based on tolerance relation ([1]) one of several such extensions. In the view of granular computing, classical rough set theory is researched by a single granulation. The basic rough set model has been extended to rough set model based on multi-granulations (MGRS) in [10], where the set approximations are defined by using multi-equivalences on the universe and their properties were investigated. Topological properties of rough sets introduced by Pawlak in terms of their types was recently studied by Tripathy and Mitra [15] to find the types of the union and intersection of such sets and also complement of one such set. In this paper we extend these results to the multi granulation context. The rough set model based on tolerance relations was also extended to the multi granulation context in [10, 11, 12] by introducing incomplete rough set model based on multi-granulations. Since the basic properties of both types of rough sets based on multi granulation are identical, our findings are also true for both complete and incomplete rough set models based upon multi granulation.
An Automatic Measurement Method of PCB Stub Based on Rotational Computed Laminography Imaging

Back drilling technique is useful for high-speed printed circuit board (PCB) design. Currently, the stub length is measured by the destructive method that involves cutting the PCB and obtaining the results by optical imaging of the cut surface. X-ray computed laminography (CL) is an applicable technique for high-resolution imaging of plate-like object, which greatly contributes to stub nondestructive measurement. However, the interslice aliasing artifacts in the reconstructed images resulting from incomplete projection data make it difficult to position the trace layer and drilling tip. For better application to engineering, we propose to segment reconstructed slices (cross sections) of the PCB by self-training network and automatically locate key positions to measure stub length. Experiments on both simulated data and real data are carried out to verify the accuracy of the segmentation and measurement results for the proposed method. The proposed method can not only achieve nondestructive automatic rapid measurement but obtain similar results to the state-of-the-art destructive method, which brings great value to via stub measurement in practical engineering applications.
Limits of theorysequences over algebraically closed &elds and applications

A computation model involving the computation of the limits of theorysequences is formally de&ned. It is called procedure scheme. It provides an approach to build a new theorybythe limit of some sequence of formal theories and also has potential applications to scienti&c and engineering problems. A syntactic transformation system is described, which can transform any algebraicallyclosed &eld ( ALC) theory into a system of polynomial equations syntactically. The system provides a bridge to use the symbolic, algebraic computation techniques for studying the computational properties of procedure schemes. Some convergent procedure schemes are de&ned and investigated in the ALC. As applications of the framework, some procedure schemes in automated reasoning are designed, and a process of solving the center-focus problem for di0erential dynamical systems is described in such a way. 2003 Elsevier B.V. All rights reserved.
Are greener RTAs reducing “dirty” exports?

We examine the impact of environmental provisions in regional trade agreements (RTAs) on the environmentally harmful exports. Results show that environmental clauses in RTAs help reduce “dirty” exports, whereas RTA depth promotes exports. The exporting country may divert its polluting exports to its trading partner if it faces more environmental provisions with other countries.
Can Traditional Food Product Communication Convey Safety to the Younger Generations? The Role of Sustainable Packaging

Traditional food products (TFPs) represent a defining part of one’s culture, identity, and heritage with crucial economic, cultural, and environmental benefits in society. Younger generations have a positive idea of TFPs, even if this does not lead to actual purchase, possibly due to the fact that they are often perceived to not meet safety criteria. This study focuses on product communication (CP) and packaging referring to the territory (PT) and to sustainability (SP) in order to verify if these have a direct or mediated impact on perceived product safety (PPS). A structural equation model was conducted on a sample of 1079 young Italian cheese consumers. The results allowed us to confirm the hypothesized impact of CP on PPS through the mediation of PT and, particularly, SP. SP has a crucial communicative role in the model, demonstrating the ability to enhance the perception of the safety of TFPs. This research adds to the knowledge in the field of TFPs, focusing on communication and sustainable packaging as crucial factors conveying healthiness, nutritiousness, and perceived safety, consequently leading to a greater diffusion of the products themselves in the market.
Adjunctions on the lattice of dendrograms and hierarchies

Morphological image processing uses two types of trees. The min-tree represents the relations between the regional minima and the various lakes during flooding. As the level of flooding increases in the various lakes, the flooded domain becomes larger. A second type of tree is used in segmentation and is mainly associated to the watershed transform. The watershed of a topographic surface constitutes a partition of its support. If the relief is flooded, then for increasing levels of floodings, catchment basins merge. The relation of the catchment basins during flooding also obeys a tree structure. We start by an axiomatic definition of each type of tree, min and max tree being governed by a single axiom ; for nested catchment basins, a second axiom is required. There is a one to one correspondance between the trees and an ultrametric half distance, as soon one introduces a total order compatible with the inclusion. Hierarchies obey a complete lattice structure, on which several adjunctions are defined, leading to the construction of morphological filters. Hierarchies are particular useful for interactive image segmentation, as they constitute a compact representation of all contours of the image, structured in a way that interesting contours are easily extracted. The last part extends the classical connections and partial connections to the multiscale case and introduces taxonomies.
Classification of Gamelan Tones Based on Fractal Analysis

Gamelan is an ensemble music originated from Indonesia. Gamelan have been made manually but had 7 tonnes for Pelog scale or 5 tonnes for Slendro scale. It is need to classify gamelan tones for digital musical processing for various objectives like learning, teaching, or composing. Fractal analysis can be used to classify physical phenomena like musical tones signal. One of fractal method was Higuchi that is suitable in computing fractal dimension for time series data as musical signals. In this paper, we propose the Higuchi fractal dimension to distinguish gamelan signal tones. Our experiment show that Demung Pelog tones can be classified properly until 82.85%. This result encourages to classify gamelan tones not only for other instruments but also for Slendro scale.
Field-Deployable Treatments For Leishmaniasis: Intrinsic Challenges, Recent Developments and Next Steps

Abstract Leishmaniasis is a neglected tropical disease endemic primarily to low- and middle-income countries, for which there has been inadequate development of affordable, safe, and efficacious therapies. Clinical manifestations of leishmaniasis range from self-healing skin lesions to lethal visceral infection with chances of relapse. Although treatments are available, secondary effects limit their use outside the clinic and negatively impact the quality of life of patients in endemic areas. Other non-medicinal treatments, such as thermotherapies, are limited to use in patients with cutaneous leishmaniasis but not with visceral infection. Recent studies shed light to mechanisms through which Leishmania can persist by hiding in cellular safe havens, even after chemotherapies. This review focuses on exploring the cellular niches that Leishmania parasites may be leveraging to persist within the host. Also, the cellular, metabolic, and molecular implications of Leishmania infection and how those could be targeted for therapeutic purposes are discussed. Other therapies, such as those developed against cancer or for manipulation of the ferroptosis pathway, are proposed as possible treatments against leishmaniasis due to their mechanisms of action. In particular, treatments that target hematopoietic stem cells and monocytes, which have recently been found to be necessary components to sustain the infection and provide a safe niche for the parasites are discussed in this review as potential field-deployable treatments against leishmaniasis.