Miracle-dz/UniFAR-FTUs huggingface dataset:
Utilisation de Diagrammes de Décision de Données pour la Vérification Fonctionnelle de Systèmes Matériels

Dans cet article nous montrons comment verifier des proprietes CTL sur des systemes decrits en langage ProMeLa par verification de modele symbolique. La representation symbolique est basee sur les Diagrammes de decision de donnees (DDD), qui sont des arbres n-aires partages. Apres avoir decrit les principaux composants necessaires a la verification des programmes ProMeLa, nous comparons les performances de notre approche avec celle de model-checker SPIN en mettant en evidence les classes de systemes pour lesquels SPIN est plus performant, et celles pour lesquelles l’outil que nous presentons a de meilleurs resultats.
New Low Cost and Undedicated Genetic Operators title

The mutation and cross-over operators are, with selection, the foundation of genetic algorithms. We show in this paper, some possibilities offered by these operators. Having explained the specificity of the most known operators (1-point, p-point and uniform cross-over, classical and deterministic mutation) we introduce new cross­over and mutation operators with a low cost in term of execution time. These operators were designed for Constraint Satisfaction Problem solving, but can be useful in other fields.We also introduce a new diversification operator for graph coloring.
Exploring Agenda Setting Through Social Media by Text Mining and Data Analysis: A Case Study of Roe V. Wade Overturn and Discussions on Twitter

Traditional theories of agenda setting address that mainstream media (news reports) can influence the public's perceived importance of agenda. However, as the rise of social media, such as Twitter, penetrated people's lives, they became one of the critical tools for receiving and exchanging information. The study examines whether social media, such as Twitter, can influence the public agenda. On June 24, 2022, Roe V. Wade was announced to be officially overturned, along with uproar on the Internet. However, a month ago, on May 2, 2022, a few news agencies reported that the decision was leaked from the Supreme Court, and the discussion on social media was not yet significantly heated. This study attempts to understand the overturn of Roe V. Wade through Twitter, which yields an agenda-setting effect by raising the public's attention. The authors used Twitter's streaming media and RStudio to collect and select a total of 10,000 tweets in two time periods, from May 3, 2022, to May 17, 2022, and June 24, 2022, to July 17, 2022, respectively, with 5,000 tweets in each period for data analysis. The results showed that the total number of retweets from the 5,000 Twitter users during the official version was 23.2 times higher than during the leaked version. In addition, after the release of the official version, people showed significantly higher levels of emotional expression and anger than during the leaked version.
Pancreatic adenocarcinoma — current trends in diagnosis and treatment

Pancreatic cancer, despite significant medical advances, is still a significant clinical problem. This article focuses on discussing risk factors, diagnostic methods, and treatment options. These elements are crucial in making a prompt diagnosis and initiating treatment. On average, a physician in primary care sees a patient with undi - agnosed pancreatic cancer once every few years. Knowing the underlying symptoms and referring the patient to an appropriate center can significantly increase survival. Diagnostic methods include physical examination, numerous imaging techniques, and determination of tumor markers in serum. Surgical treatment combined with adjuvant chemotherapy is the only chance of cure for pancreatic cancer patients qualified for surgery. However, most patients experience tumor recurrence. When a tumor recurs, treatment for these patients and patients with unresectable disease is palliative chemotherapy. Numerous studies are currently underway to improve diagnostic and treatment methods.
PVO-Based Reversible Data Hiding Using Global Sorting and Fixed 2D Mapping Modification

Pixel-value-ordering (PVO) is one of the most popular methods in reversible data hiding (RDH). In PVO based methods, pixels are processed in a block-wise way, so that the local similarities of the images are considered but the global statistical characteristics are ignored. To better utilize the correlations of pixels, this paper proposes a global sorting strategy to combine utilizations of local and global characteristics of the images. For each pixel, its prediction value and local complexity are first calculated based on its local characteristics. Then the image pixels are sorted globally according to their prediction values to generate a single-sorted pixel sequence, in which the pixels with the equal prediction values are sorted again by referring to their local complexities. In such a way, the spatial distances of image pixels are broken so that the global statistical characteristics can be well exploited. With the proposed sorting strategy, we can obtain a more regular 2D histogram by segmenting the sorted sequence for the location-based PVO (LPVO) predictor. Owe to the regular 2D histogram, we have designed an efficient 2D mapping to achieve perfect performance for all the tested images. With the proposed RDH scheme, the PSNR of the image Lena is as high as 61.86 dB and the average PSNR of the Kodak dataset reaches 63.55 dB after embedding 10,000 bits. The superiority of the proposed method has been verified by comparing with recent state-of-the-art RDH methods.
Fractal Image Compression Versus Wavelet Transform Compression Applied to Computerized Tomography Images

This paper studies the advantages and disadvantages of Fractal Image Compression (FIC) compared to Wavelet Trans-form Compression (WTC). The main point here is the quality x compression relation. As this paper deals with medical images, the image quality is vital, therefore a quantitative analysis was done using the PSNR (Peak Signal-Noise Ratio) criteria, and a qualitative analysis was performed by medical doctors, experts in this ﬁeld. Our results indicate that there is an advantage in FIC for high compression ra-tios when we take the image quality into account. Considering the compression speed we have a signiﬁcant difference, which indicates that WTC is faster than FIC.
Shape Optimization and Flow Analysis of Supersonic Nozzles Using Deep Learning

Shape optimisation of supersonic nozzles is of crucial importance in designing propulsion systems and space thrusters. In order to optimise the profile of a supersonic nozzle, the properties of the flow inside the nozzle should be obtained. This paper proposes and verifies a new methodology for analysing flows and designing supersonic nozzles. Flow analysis has been conducted using the method of characteristics, Ansys Fluent and convolutional neural networks. It is shown that deep convolutional neural networks can reach high levels of accuracy in predicting supersonic flow behaviour inside the nozzle. Also, shape optimisation of the supersonic nozzle has been conducted using the genetic algorithm in Ansys Fluent and artificial neural networks. The proposed ANN can optimise the shape of a supersonic nozzle for the given throat diameter, outlet diameter and nozzle length with high accuracy.
The Prevalence of Implicit Consumption in China

In China, implicit consumption usually occurs in recent years. It has greatly troubled many consumers daily lives, but many people dont know how to change this problem. In this research, the author analyzed the causes, laws violated, and solutions of implicit consumption in the Chinese economic market. First of all, the author listed some examples of implicit consumption in the catering market and described the current situation, which is relatively common. Then, a study was designed through the difference-in-difference method to explore people's real attitudes and thoughts toward implicit consumption. By dividing random people and people with legal knowledge into two groups, three distinct points of view emerged, and the majority of them did not choose to defend their rights Through the results of this study, the author deeply analyzed the causes of implicit consumption, mainly from the perspective of customers' personal factors and legal policies. The lack of legal knowledge among people and the lack of strict restrictions in Chinese laws on implicit consumption have both influenced its prevalence. In addition, the author also indicated the laws violated by implicit consumption, including the right to know, the right to independent choice, and the law of clearly marking prices. Finally, the author put forward some solutions to solve implicit consumption. The problem of rampant implicit consumption in China can be solved by popularizing legal knowledge among consumers, strengthening market supervision by the regulatory department, and formulating clear legal provisions to limit implicit consumption.
Decision Tree-Based Demultiplexing for Prism-PET

Signal multiplexing is necessary to reduce the large number of readout channels in positron emission tomography (PET) scanners to minimize cost and achieve lower power consumption. However, the conventional weighted average energy method cannot localize the multiplexed events, and more sophisticated approaches are necessary for accurate demultiplexing. The purpose of this article is to propose a nonparametric decision tree model for demultiplexing signals in the prismatoid PET (Prism-PET) detector module that consisted of a $16\times16$ lutetium yttrium oxyorthosilicate (LYSO) scintillation crystal array coupled to $8\times $ 8 silicon photomultiplier (SiPM) pixels with 64:16 multiplexed readout. A total of 64 regression trees were trained individually to demultiplex the encoded readouts for each SiPM pixel. The center of gravity (CoG) and truncated CoG (TCoG) methods were utilized for crystal identification based on the demultiplexed pixels. The flood histogram, energy resolution, and depth of interaction (DOI) resolution were measured for comparison using with and without multiplexed readouts. In conclusion, our proposed decision tree model achieved accurate results for signal demultiplexing and thus maintained the Prism-PET detector module’s high spatial and energy resolution performance while using our unique light-sharing-based multiplexed readout.
Digital phenotyping in psychiatry

SUMMARY Advances in data science and machine learning have allowed for the analysis of increasingly complex and large data-sets. Digital devices are a source of such data, given their ability to collect information on users continuously and irrespective of location. Digital phenotyping aims to use these data to build a comprehensive picture of an individual's behaviour. Psychiatry is well-positioned to make use of this, since digital behaviour may be reflective of mental state. This article provides an overview of the field of digital phenotyping as it stands currently, on the verge of large-scale studies which may pave the way for clinical implementation in psychiatry.
Zero estimates for polynomials in 3 and 4 variables using orbits and stabilisers

There have been two approaches to linear forms in the logarithms of algebraic numbers: the first is the Gelfond-Baker method (with improvements using commutative algebra), the second is the Schneider-Laurent method. Both approaches use auxiliary functions which, in the latter, are called interpolation determinants. Consider the special case that Λ = ∑n j=1 bjlog αj 6= 0 with αj = aj,1/aj,2 (j = 1, ., n) and all aj,1, aj,2, bj integers. The former method yields
Smartphone-Based Evaluation of Academic Performance with QR Code Scanner Support

Objectives: ( 1) To develop a smartphone-based transaction; (2) To evaluate the system using ISO 9126 software quality characteristics, in terms of functionality, usability, and reliability. Methods: Prototyping-based model in the software development. Visual Studio 2022 was used to develop the System’s Interface and XAMPP for developing the system’s web-based server to execute or show the exchange of data that is being developed within the system. The researcher used the ISO 9126 Model to check and validate the system in terms of functionality, reliability, and usability. Likert scale was used in scaling the statement of the questionnaire. Weighted mean was used in ﬁnding the average value of the rating. Findings : Using the Likert Scale System, the weighted mean of reliability is 4.73 interpreted as Strongly Agree, and the weighted mean of usability is 4.49 interpreted as Strongly Agree. The overall mean is 4.61 interpreted as Strongly Agree. The functionality of the software using the percentage and frequency distribution is 100% functional. The proposal is a solution for ineﬃcient evaluation of academic performance of the student. Novelty: Smartphone-based transaction of academic performance of the student, with QR code scanner support The Author ‘s version in developing a software that will solve the ineﬃcient of academic performance evaluation of the students.
Developing and testing two interfaces for Supplemental Data Service Provider (SDSP) tools to support UAS Traffic Management (UTM)

Researchers conducted a usability study using two graphical user interfaces (GUIs) to explore how individuals interpret and interact with different preflight information displays, and to inform the development of Uncrewed Aircraft System (UAS) preflight planning predictive support tools to assess and mitigate flight hazards and risks. A series of preflight risk-assessment tasks were developed to evaluate participant performance using the Supplemental Data Service Provider-Consolidated Dashboard (SDSP-CD) and the Human Automation Team Interface System (HATIS) GUIs. Participants were trained to use both interfaces and their performance was evaluated. These evaluations focused on participants’ preflight planning activities. Objective data on performance tasks across different scenarios involving multi-UASs, as well as self-reports of interactions and subjective experiences using
Evaluation of Ground and Surface Water Hydrochemistry for Irrigation Suitability in Borneo: Insights from Brunei Darussalam

Water for irrigation use plays a critical role in agriculture via supporting crop growth and maintaining food production worldwide. Irrigation water quality evaluations provide useful information for sustainable water practices in many agricultural regions. In Brunei Darussalam, the quality of irrigation water is still poorly understood. The present study aims to investigate the hydrochemical characteristics of water resources in Brunei Darussalam and evaluate their quality and suitability for irrigation use. A total of fifteen sampling locations were chosen from selected ground and surface water sources found in all four Brunei districts. The water samples’ physicochemical properties, including pH, EC, and major cations and anions, were measured and compared with FAO standards. Hydrochemical classification based on the Piper diagram revealed that water mainly belongs to the calcium-, magnesium-, and bicarbonate-type, or Type IV water class. The evaluation of heavy metals (Fe, Zn, Cu, Cr, As, and Cd) showed concentrations within the FAO’s permissible limits. In this regard, iron showed the highest concentration among the investigated metals. Established water quality indices such as SAR, Na%, RSC, MAR, KR, PS, and IWQI were used to evaluate and classify the water’s suitability for irrigation use. Overall, our findings revealed that almost all of the analysed water samples in the study area have low salinity and sodicity risks. However, only 27% of the samples passed the magnesium hazard assessment, and one sample showed a very poor IWQI result. Thus, additional testing and treatment are recommended for these cases. This study provides valuable insights on water quality for present and future utilisation, aiming to contribute to the protection of water resources in Brunei Darussalam.
Wearable and Smartphone-Based Sensors in Support of Human-Comfort-Driven Structural Analysis of Building Components

: The continuous progress and advancement of innovation in technology and development of digital tools makes modern structural engineers and technicians of the building and construction sector increasingly able to solve a multitude of design issues. In most of cases, they can take advantage of, and support from, low-cost and even portable sensors characterized by generally medium-high accuracy and commercial availability. In this paper, the attention is focused on the analysis of recent investigations which have been carried out within the scope of human-comfort-driven structural analysis and design of building components. More precisely, the use of wearable and smartphone-based sensors for the experimental derivation of mechanical parameters of utmost importance and technical interest for the design of pedestrian systems is explored. On the one hand, as shown, the elaborated setup makes it fast and easy to acquire body motion parameters for pedestrians moving on different substructures. At the same time, relevant feedback could possibly be obtained from customers on their corresponding comfort.
Isolation and screening of Pseudomonas fluorescens isolates against Fusarium oxysporum f. sp. radicis-lycopersici and their effects on seedling growth of Paraserianthes falcataria

Abstract. Yusran Y. 2023. Isolation and screening of Pseudomonas fluorescens isolates against Fusarium oxysporum f.sp. radicis-lycopersici and their effects on seedling growth of Paraserianthes falcataria. Biodiversitas 24: 2294-2301. Pseudomonas fluorescens plays a major role in biological control of pathogens and plant growth promotion as well with various mechanisms. The aim of the present study was to determine the biochemical characteristics of several Pseudomonas spp. isolates and to screen them against root pathogenic fungus Fusarium oxysporum f.sp radicis-lycopersici (FORL) and to evaluate their effect on the growth enhancement of Paraserianthes falcataria (L.) I.C. Nielsen seedlings. About 28 Pseudomonas fluorescens isolates were isolated from the rhizosphere of several plants and identified based on their physiological and morphological characters as well as their biochemical reactions. All isolates were tested for their ability to suppress FORL growth in vitro. All isolates inhibited FORL growth with varying inhibition zones. Six P. fluorescens isolates showed highest inhibition zones, namely TMTP4, TMTP5, TMTP6, SCPA1, SCPB3 and Proradix. The results showed that eight Pseudomonas isolates, namely TMTP4, TMTP5, TMTP6, SCPA1, SCPB3, SMPB3, TMTA2 and Proradix had a significantly different effect compared to the control treatment in increasing the growth of Paraserianthes seedlings. Based on our findings, it was confirmed that some P. fluorescens isolates could be used as potential bio-inoculants for controlling plant diseases caused by FORL and as a biological fertilizer to increase plant growth.
Passengers' Perceptions Towards Air-Conditioned Buses in Nepal

In order to promote social and environmental causes, bus services are extremely important. In order to raise productivity, promote economic growth, and improve access to mar- kets and services, transportation infrastructure and services should be expanded. This includes the creation of air-conditioned buses. The objective of the study is to understand how passengers feel about traveling in air-conditioned buses in Nepal. The descriptive type of research methodology was used to conduct the study. Reliability, responsibility, empathy, tangibility, and assurance are the five aspects used to evaluate a company's performance in providing services. Majority of respondents were dissatisfied with bus crew's ability to provide accurate bus arrival times and an- swer questions. 83.33 % of respondents replied that chairs of buses are comfortable to sit on. Re-garding safe traveling and trustworthiness many of the respondents are satisfied with the bus staff.
A DETAILED COMPARISON OF VALUE AT RISK IN INTERNATIONAL STOCK EXCHANGES

This work investigates the performance of different models of Value at Risk (VaR). We include a wider range of methods (Parametric, Historical simulation, Monte Carlo simulation, and Extreme value theory models) and several models to compute the conditional variance (exponential moving averages, GARCH and asymmetric GARCH models) under Normal and Student’s t-distribution of returns. We analyse four European indexes (IBEX-35, CAC40, DAX and FTSE100), the American Dow Jones and S&P 500 indexes, the Japanese Nikkei 225 index and the Hong Kong Hang Seng index. We examine two periods: a stable period and a volatile one. To choose the best model, we employ a two-stage selection approach. First, we test the accuracy of different models of VaR. We use the unconditional and conditional coverage test, the Back-Testing criterion and the dynamic quantile test. A model survived if all tests indicated the model is accurate. With regard to the first stage, the best models are Parametric and Extreme value theory methods, when they use asymmetric and nonasymmetric GARCH models under Student’s t-distribution of returns. Second, we evaluate the loss function of these models. We use several non-parametric tests to test the superiority of a VaR model in terms of the loss function. The result of the second stage indicates that the best model is a Parametric model with conditional variance estimated by asymmetric GARCH model under Student’s t-distribution of returns. Nowadays the Parametric models are not as popular because some authors argue that the most conventional parametric specifications have failed in capturing some rare events. However, this paper shows that these models can obtain successful VaR measures if conditional variance is estimated with a GARCH model to capture the characteristic of the returns. This model is usually an exponential GARCH under Student’s t-distribution of returns. JEL: G32, G11, C52.
Fractional Equations for the Scaling Limits of Lévy Walks with Position-Dependent Jump Distributions

Lévy walks represent important modeling tools for a variety of real-life processes. Their natural scaling limits are known to be described by the so-called material fractional derivatives. So far, these scaling limits have been derived for spatially homogeneous walks, where Fourier and Laplace transforms represent natural tools of analysis. Here, we derive the corresponding limiting equations in the case of position-depending times and velocities of walks, where Fourier transforms cannot be effectively applied. In fact, we derive three different limits (specified by the way the process is stopped at an attempt to cross the boundary), leading to three different multi-dimensional versions of Caputo–Dzherbashian derivatives, which correspond to different boundary conditions for the generators of the related Feller semigroups and processes. Some other extensions and generalizations are analyzed.
SEPIA: A New Instrument for the Atacama Pathfinder Experiment (APEX) Telescope

The Swedish-ESO PI receiver for APEX (SEPIA) was installed at the APEX telescope in 2015. This instrument currently contains ALMA Band 5 (157-212 GHz) and Band 9 (600-722 GHz) receivers. Commissioning and science verification for Band 5 have been successfully completed but are still ongoing for Band 9. The SEPIA instrument is briefly described and the commissioning of the Band 5 receiver and results from the first science observations are presented.