Flexible implementations of Monte Carlo Tree Search (MCTS), combined with domain specific knowledge and hybridization with other search algorithms, can be a very powerful for the solution of problems in complex planning. We introduce mctreesearch4j, a standard MCTS implementation written as a standard JVM library following key design principles of object oriented programming. We define key class abstractions allowing the MCTS library to flexibly adapt to any well defined Markov Decision Process or turn-based adversarial game. Furthermore, our library is designed to be modular and extensible, utilizing class inheritance and generic typing to standardize custom algorithm definitions. We demon- strate that the design of the MCTS implementation provides ease of adaptation for unique heuristics and customization across varying Markov Decision Process (MDP) domains. In addition, the implementation is reasonably performant and accurate for standard MDP’s. In addition, via the implementation of mctreesearch4j, the nuances of different types of MCTS algorithms are discussed.

Sea-level rise is a problem increasingly affecting coastal areas worldwide. The existence of Free and Open-Source Models to estimate the sea-level impact can contribute to better coastal man-agement. This study aims to develop and to validate two different models to predict the sea-level rise impact supported by Google Earth Engine (GEE) – a cloud-based platform for planetary-scale environmental data analysis. The first model is a Bathtub Model based on the uncertainty of projections of the Sea-level Rise Impact Module of TerrSet - Geospatial Monitoring and Modeling System software. The validation process performed in the Rio Grande do Sul coastal plain (S Brazil) resulted in correlations from 0.75 to 1.00. The second model uses Bruun Rule formula implemented in GEE and is capable to determine the coastline retreat of a profile through the creation of a simple vector line from topo-bathymetric data. The model shows a very high cor-relation (0.97) with a classical Bruun Rule study performed in Aveiro coast (NW Portugal). The GEE platform seems to be an important tool for coastal management. The models developed have been openly shared, enabling the continuous improvement of the code by the scientific commu-nity.

Sea-level rise is a problem increasingly affecting coastal areas worldwide. The existence 15 of Free and Open-Source Models to estimate the sea-level impact can contribute to better coastal 16 management. This study aims to develop and to validate two different models to predict the 17 sea-level rise impact supported by Google Earth Engine (GEE) – a cloud-based platform for plan-18 etary-scale environmental data analysis. The first model is a Bathtub Model based on the uncer-19 tainty of projections of the Sea-level Rise Impact Module of TerrSet - Geospatial Monitoring and 20 Modeling System software. The validation process performed in the Rio Grande do Sul coastal 21 plain (S Brazil) resulted in correlations from 0.75 to 1.00. The second model uses Bruun Rule for-22 mula implemented in GEE and is capable to determine the coastline retreat of a profile through the 23 creation of a simple vector line from topo-bathymetric data. The model shows a very high correla-24 tion (0.97) with a classical Bruun Rule study performed in Aveiro coast (NW Portugal). The GEE 25 platform seems to be an important tool for coastal management. The models developed have been 26 openly shared, enabling the continuous improvement of the code by the scientific community.

We assume that the current mathematical knowledge K is a finite set of statements from both formal and constructive mathematics, which is time-dependent and publicly available. Any formal theorem of any mathematician from past or present forever belongs to K. We assume that mathematical sets are atemporal entities. In this article, they exist formally in ZFC theory although their properties can be time-dependent (when they depend on K) or informal. Algorithms always terminate. We explain the distinction between algorithms whose existence is provable in ZFC and constructively defined algorithms which are currently known. By using this distinction, we obtain non-trivially true statements on decidable sets X ⊆ N that belong to constructive and informal mathematics and refer to the current mathematical knowledge on X.

Agricultural production needs technologies that assist the management of natural resources, for example, the collection of real-time data on soil, water, weather, crops, and biodiversity conditions. Sensor technology solutions and open-source software are appropriate for promoting more sustainable agricultural production. Among the advantages of using open-source technologies and software is its potential for extension, collaboration, customization, flexibility, maintenance cost, transparency, speed, and better security. Given the above, the objective of this research was to find, in different electronic databases, exclusively open-source software for precision agriculture, offering a systematic review, and addressing considerations and challenges. This survey considers up-to-date open-source software available in repositories such as GitHub and GitLab, to understand its characteristics and application formats.

Open-source devices are nowadays used in a vast number of research fields like medicine, education, agriculture, and sports among others. In this work, an open-source, portable, low cost pH logger, appropriate for in situ meas-urements was designed and developed to assist in experiments on agricultural produce manufacturing. Τhe device was calibrated manually using pH buffers for values of 4.01 and 7.01. Then it was tested by manually measuring pH from the juice of citrus fruits. A waterproof temperature sensor was added to the device for temperature compen-sation when measuring pH. A formal method comparison process between the open-source device and a Hanna HI9024 Waterproof pH Meter was designed to assess their agreement. We derived indices of agreement and graph-ical assessment tools using mixed-effects models. Advantages and disadvantages for interpreting agreement through the proposed procedure are discussed. In our illustration, indices reported mediocre agreement and the subsequent similarity analysis revealed a fixed bias of 0.22 pH units. After recalibration, agreement between the devices im-proved to excellent levels. The process can be followed in general to avoid misleading or over-simplistic results of studies reporting solely correlation coefficients for formal comparison purposes.

This study delves into innovative approaches and pragmatic remedies to surmount software access barriers in educational contexts. Financial impediments and limited software installation know-how can impede students from fulfilling course requirements.

Motivation: The visualization of biological data is a fundamental technique that enables researchers to understand and explain biology. Some of these visualizations have become iconic, for instance: tree views for taxonomy, cartoon rendering of 3D protein structures, or tracks to represent features in a gene or protein, for instance in a genome browser. Nightingale provides visualizations in the context of proteins and protein features. Results: Nightingale is a library of re-usable data visualization web components that are currently used by UniProt and InterPro, among other projects. The components can be used to display protein sequence features, variants, interaction data, 3D structure, etc. These components are flexible, allowing users to easily view multiple data sources within the same context, as well as compose these components to create a customized view. Availability: Nightingale examples and documentation are freely available at https://ebi-webcomponents.github.io/nightingale/. It is distributed under the MIT license, and its source code can be found at https://github.com/ebi-webcomponents/nightingale.

Background: Transposable elements (TEs) constitute the vast majority of all eukaryotic DNA, and display extreme diversity, with thousands of families. Given their abundance and diversity, TEs discovery and annotation becomes challengeable. At present, tools and databases have built libraries to mask TEs in genomes based on de novo- and homology-based identification strategies, but no consensus criteria about which tools should be used have been proposed. Results: In the de novo-based strategy, we compared performances of TE libraries developed by four commonly used tools, including RepeatModeler, LTR_FINDER, LTRharvest, and MITE_Hunter, by using a simulated genome as a standard control. The results showed that the performance of RepeatModeler decreased as it was combined with either LTR_FINDER or LTRharvest. Combination of RepeatModeler and MITE_Hunter showed better performance than RepeatModeler and MITE_Hunter alone. In the homology-based strategy, we evaluated different sources from a taxonomic point of view to build an accurate TE library. When we selected a library from databases to identify TEs for Arabidopsis thaliana genome, the library from a genus genetically closer to Arabidopsis achieved better performance than other genera with further genetic distance. Without the Arabidopsis, combination of top three genera closer to Arabidopsis showed better performance than combination of all genera. Conclusion: This study proposes a series of recommendations to perform an accurate TE annotation: 1) For de novo-based strategy, RepeatModeler and MITE_Hunter are suggested to build a TE library; 2) For homology-based strategy, it is recommended to use library of genus genetically close to the species rather than use combined library from all genera.

As the time passes the modification in technology world lead to the evaluation in mobile application as well. With evaluation in mobile industry it is an open challenge for software quality researcher that how to enhance software quality to meet the needs of changes? Quality assurance play a key role in differentiating good application from bed application. With the continuous evaluation of mobile application developing process should be quick and efficient to comply with user requirements and satisfaction. While the listed requirement leads to bad design choices known as antipatterns, which in turn affect the reliability of the code. A tool based method PAPRIKA is used in the proposed re-search to identify and monitor these antipatterns together with a two-step assessment model for software quality assurance and object oriented software quality matrix.

With the development of computer science and software engineering, software becomes more and more complex. Traditional software reliability assurance techniques including software testing and evaluation can't ensure software reliable execution after being deployed. Software failure prediction techniques based on failure indicators can predict software failures according to abnormal indicator values. The latter can be collected using runtime monitoring techniques. An essential part of this method is finding proper indicators which have strong correlation with software failures. We propose a novel type of indicators in this work named software runtime entropy, which takes both software module execution time and call times into consideration. Three common open source software, grep, flex and gzip are used as study cases for finding the relationships between the indicators and software failures. Firstly, a series of fault injection experiments are conducted on those three software respectively. The decision tree algorithm is used to train those data to build the correlation models between software runtime entropy and software failures. Several common measures in machine learning domains such as accuracy, recall rates, and F-measure are used to evaluate the models. The decision tree models can be used as failure mechanisms to assist the failure prediction work. One can examine the value of runtime entropy and make a warning report when it ranges from the normal interval to abnormal one.

River monitoring has the potential to grow substantially with present-day available affordable and locally sourced hardware. Yet river monitoring networks are still under pressure due to lack of resources, difficulties with maintenance, and rapidly changing conditions which in part may be due to climate change. We advocate that to turn around this trend, monitoring stations must rely on local people, work with locally available devices, work without contact with water and operate through openly available knowledge. River observations with camera videos have this potential. IP cameras, drones or smartphones are widely available as observation platforms. The scientific methods are well established in literature. Yet current attempts to establish scalable open-source software solutions that can be operated anywhere are lacking. In fact, currently available software is either research-oriented, more aimed at incidental observations, is restricted to single-use licenses, entirely proprietary, or restricted to operations through a third-party Software as a Service. To overcome this obstacle, we present OpenRiverCam, a free and open-source software ecosystem for river observations that can fulfill a wide variety of use cases and business cases through a well-documented and simple to use Application Programming Interface, service workflows, cloud scalability and interoperability, and options to extend to several applications within the hydrological, hydrodynamic, environmental and geospatial domains. We demonstrate its current technical abilities through three different case studies that all originate from a user perspective. We discuss the future developments to meet further requirements, which include documentation, widely available training materials and embedding in curricula, and further hardware and software developments.

The popularity of cloud computing is growing owing to its large data storage capacity and high computation power. It provides online, on-demand, scalable application solution, removes hardware and software barriers for non-specialist, rapidly integrates and deploys desired and necessary facilities, supports quick upgrading and addition of features. Users get benefitted with the selection of the appropriate cloud computing platform for their projects. Here, our paper provides a comprehensive overview of the services provided to the users by the most common cloud computing service providers. This paper could be used as a reference while selecting the best service provider based on the requirements of the projects.

Introduction: Due to the great development of digital technology, through CAD (Computer - Aided Design) and CAM (Computer - Aided Manufacturing) systems, digital models could be used in orthodontic treatment planning decision-making, as there are numerous studies in the literature that support the validity of measurements of digital models of anterior teeth and the total coefficient of Bolton analysis. The aim of the study was to compare the average length value of the current upper and lower arches with that of a hypothetical nickel-titanium wire and the accuracy of the Bolton index measurement. In the present study, 138 dental casts were analyzed using Ortho3Shape software. Using the Ortho3Shape software, it was possible to measure the real and ideal lower arch lengths and, with regard to Bolton analysis, the values of the anterior and total Bolton coefficients. By comparing the values obtained with those of the study by A. Anand Kumar et al. using CBCT and plaster casts, the reliability of the measurements obtained with such CAD/CAM orthodontic software was evaluated. Considering the validity of digital measurements demonstrated by the studies and systematic reviews in the literature, it can be stated that CAD/CAM digital models can be a viable alternative to plaster models in the coming years, as they can facilitate model preservation and retrieval. For future studies and research, it would be preferable to use intra-oral scanners (IOS) in order to ensure greater accuracy, requiring only one step and ensuring a better outcome for the patient.

In the software development process, the decision-maker (DM) has a range of problems inherent to its function. Wrong choices during software planning can bring great risk to the project. Therefore, the planning of software releases to be delivered to the customer should be well done. This is not an easy task because releases are made up of many requirements that contain complex variables that must be considered, such as precedence, cost, requirement stability, among other features that make the requirements-selection process challenging. To make this process less exhaustive, DM can use tools that facilitate this work. In software engineering, we can find fields of research specialists in this context, such as Search-Based Software Engineering (SBSE). The SBSE makes use of advanced metaheuristics to search for optimal solutions or the closest to it. In this work, we try to use another field of research to solve this same problem type, the Verbal Decision Analysis (VDA). To do this, we elaborate a workflow that will use the same source data, execute two solutions using the two search fields (SBSE and VDA) and compare the results. In the end, we evaluated and commented on the results.

Studies have found critical software malfunctions responsible for some of the worst accidents in recent times. These malfunctions are often only minor defects that snowball into large problems; a few lines of code is all it takes. Complexity, safety, quality, and resilience are among the key attributes defining a software’s operational success. There are many leading factors for complexity, such as increases in the product size, the rate of requirement changes, and the number and type of stakeholders, and failure to manage these issues efficiently always has the same consequence, i.e., massive failure and sometimes technological catastrophe. This work analyzes some of the architecture, design, and implementation guidelines used as detection and mitigation techniques. It also discusses the safety considerations, as considering how the steam industry has handled safety issues could offer some guidance for ensuring safety. Complexity in such systems also causes some of the worst side effects from the quality auditor's perspective. While failures in the software are hard to predict, one of the most significant ways of showing preparedness is practicing software resilience. New mitigation areas, such as the fragility spectrum and failure obviation, and their usage for building a safer system are analyzed. Also discussed are various architecture styles in practice and the dramatic effect human factors can have on the success of the software being developed.

Clinical rehabilitation and sports performance analysis both require the objectification of movement. Kinovea^© is a free 2D motion analysis software that enables the establishment of kinematics parameters. This low-cost technology has been used in sports sciences, as well as clinical field and research work. Although it has been validated as a tool with which to assess time-related variables, this is not yet the case regarding angular and distance variables. The main objective of this study was to determine the validity and reliability of the Kinovea software in obtaining angular and distance data at different perspectives of 90°, 75°, 60° and 45°. For this purpose, a figure with 29 points was designed (in AutoCAD) and 24 frames analysed. Each frame was examined by three observers who each made two attempts. For each export data item, 20 angles and 20 distance variables were calculated, with intra- and inter-observer reliability also analysed. To evaluate Kinovea reliability and validity a multiple approach was applied involving the following analysis: -systematic error with a two-way ANOVA 2x4; -relative reliability with ICC and CV (95% confidence interval); -absolute reliability with Standard Error. The results thus obtained indicate that the Kinovea software is a valid and reliable tool that is able to measure accurately at distances up to 5 m from the object and at an angle range of 90°–45°. Nevertheless, for optimum results an angle of 90° is suggested.

The paper concerns with the identification of current communication technologies and software functionalities from the field of digitalization and Industry 4.0, from the point of view of benefits and applicability for the machine manufacturer. In order to identify the relevant technologies and functionalities, both a descriptive and statistical literature research was carried out. As a result, both the currently most widespread technologies and eleven IT functionalities relevant to mechanical engineers were identified and described in terms of their application and implementation. In addition, a knowledge gap in the area of industry transfer in the field of Industry 4.0 / Digitalization was identified

This study addresses the prevalent gap between formal and informal architectural methodologies in software engineering. Recognizing the potential of informal architecture artifacts in analytical processes, we introduce a groundbreaking methodology that efficiently transforms these informal components into structured formal models. This method facilitates a deeper understanding and utilization of informal diagrams and enhances analytical capabilities through graph analysis techniques. By leveraging user-friendly tools like Draw.io, the methodology democratizes the modeling process, making sophisticated architectural analyses accessible to a broader spectrum of professionals without requiring deep expertise in formal methods. The innovative aspects of this methodology lie in its ability to streamline the transformation process, significantly improving both the efficiency and effectiveness of model creation and analysis. These enhancements are demonstrated through a practical application involving a sample architecture diagram, where the resulting model is thoroughly analyzed using advanced graph analysis tools like Python's NetworkX library and Neo4j. This approach bridges the theoretical and practical divides in software architecture and sets a new standard for integrating informal artifacts into systematic engineering workflows. In addition, considerations for Artificial Intelligence developments are discussed.

Precision medicine approaches often relies on complex and integrative analysis of multiple biomarkers from “omics” data to generate insights that can help either diagnostics, prognostics or therapeutical decisions. Such insights are often made using Machine learning (ML) models that make sample classification for a particular phenotype (yes/no). Building such models is a challenge and time-consuming, requiring advanced coding skills and mathematical modelling expertise. Artificial intelligence (AI) is a methodological solution that has the potential to facilitate, optimize and scale model development. In this work, we developed an AI-based, user-friendly and code-free platform (https://digitalphenomics.com) that fully automates the development of predictive models from quantitative “omics” data. Here, we show the application of this tool with the development of cancer survival prognostics models using real-life data from breast, lung and renal cancer transcriptomes. We report and compare their sensitivity, specificity, accuracy and Receiver Operating Characteristic (ROC) curve Area Under the Curve (AUC). Further, we report the associated sets of genes (biomarkers) and their expression pattern that are predictive of cancer survival. Moreover, we made our models available as online tools to generate prognostic predictions based on the gene expression of the biomarkers. In conclusion, we demonstrated that our tool is a robust user-friendly solution to develop bespoke predictive tools from “omics” data which facilitate precision medicine introduction to the point-of-care.

Hands-on type training of Integrated Computational Materials Engineering (ICME) is characterized by assisted application and combination of multiple simulation software tools and data. In this paper, we present recent experiences in establishing a cloud-based infrastructure to enable remote use of dedicated commercial and open access simulation tools during an interactive on-line training event. In the first part, we summarize the hardware and software requirements and illustrate how these have been met using cloud hardware services, a simulation platform environment, a suitable communication channel, common workspaces and more. The second part of the article focuses (i) on the requirements for suitable on-line hands-on training material and (ii) on details of some of the approaches taken. Eventually, the practical experiences made during three consecutive on-line training courses held in September 2020 with 35 nominal participants each, are discussed in detail.

This paper presents a method for a decentralised peer-to-peer software license validation system using cryptocurrency blockchain technology to ameliorate software piracy, and to provide a mechanism for software developers to protect copyrighted works. Protecting software copyright has been an issue since the late 1970's and software license validation has been a primary method employed in an attempt to minimise software piracy and protect software copyright. The method described creates an ecosystem in which the rights and privileges of participants are observed.

Software is playing the most important role in recent vehicle innovation, and consequently the amount of software has been rapidly growing last decades. Safety-critical nature of ships, one sort of vehicles, makes Software Quality Assurance (SQA) has gotten to be a fundamental prerequisite. Just-In-Time Software Defect Prediction (JIT-SDP) aims to conduct software defect prediction (SDP) on commit-level code changes to achieve effective SQA resource allocation. The first case study of SDP in maritime domain reported feasible prediction performance. However, we still consider that the prediction model has still rooms for improvement since the parameters of the model are not optimized yet. Harmony Search (HS) is a widely used music-inspired meta-heuristic optimization algorithm. In this article, we demonstrated that JIT-SDP can produce the better performance of prediction by applying HS-based parameter optimization with balanced fitness value. Using two real-world datasets from the maritime software project, we obtained an optimized model that meets the performance criterion beyond baseline of previous case study throughout various defect to non-defect class imbalance ratio of datasets. Experiments with open source software also showed better recall for all datasets despite we considered balance as performance index. HS-based parameter optimized JIT-SDP can be applied to the maritime domain software with high class imbalance ratio. Finally, we expect that our research can be extended to improve performance of JIT-SDP not only in maritime domain software but also in open source software.

With the rise of Internet of Things (IoT) devices and Cyber-Physical Systems, the demand for more functional and high-quality software has increased tremendously. To meet this need, we must reengineer and reuse existing software, as well as develop new software formal verification methods. One such method is based on physical quantities defined by the System International, which have physical dimensions. The homogeneity of physical dimensions in software code enables us to check the software code in the space of base units, making it the first basis of the new software verification method. However, this method cannot check expressions with angles, angle speed, and other similar features. To address this, a transformation for physical value orientation introduced by Siano allows us to check software code for orientational, stabilization, and other related branches. This makes the orientational homogeneity the second basis of the new software verification method. To assess the effectiveness of the proposed method, we developed special software defect models based on the statistical characteristics of software code. We used a special statistical analysis tool to define the statistical characteristics of modern software and analyzed over 2 GB of C++ GITHUB code for drones. Based on the actual distribution of software characteristics, the proposed method can detect over 60% of latent software defects. Implementing this method can significantly reduce testing time, improve reliability, and enhance overall software quality.

Computer extended Descriptive Geometry (CeDG) is a new approach to solve and build computer models of three dimensional (3D) geometrical systems through descriptive geometry procedures that have demonstrated reliability and accuracy. CeDG may calculate a parametric algebraic exact form for the spatial curves generated in the intersection of two surfaces, as well as of the flattened pattern of any developable surface involved in those encounters. This study presents first the theoretical foundations and methodology to calculate those parametric algebraic curves. Secondly, a compound hopper is defined and modelled through CeDG (implemented in GeoGebra) and CAD (Solid Edge 2023) approaches to evaluate the advantages of CeDG against CAD. The results demonstrate the robustness and accuracy of the CeDG technique for surfaces intersection and flattening and the advantages of CeDG against Solid Edge 2023 in solving the hopper case study.

Information is the currency of life, but the origin of prebiotic information remains a mystery. We propose transitional pathways from the cosmic building blocks of life to the complex prebiotic organic chemistry that led to the origin of information systems. The prebiotic information system, specifically the genetic code, is segregated, linear, and digital and probably appeared during biogenesis four billion years ago. In the peptide/RNA world, lipid membranes randomly encapsulated amino acids, RNA, and protein molecules, drawn from the prebiotic soup, to initiate a molecular symbiosis inside the protocells. This endosymbiosis led to the hierarchical emergence of several requisite components of the translation machine: tRNAs, aaRS, mRNAs, and ribosomes. When assembled in the right order, the translation machine created biosynthetic polypeptides, a process that transferred information from mRNAs to proteins. This was the beginning of the prebiotic information age. The molecular attraction between tRNA and amino acids led to different stages of the translation machines and the genetic code. tRNA is an ancient molecule that designed and built mRNA for storing the information of its cognate amino acid. Each mRNA strand became the storage device for the genetic information that encoded the amino acid sequences in triplet nucleotides. As information appeared in the digital languages of the codon within mRNA, and the genetic code for protein synthesis evolved, the prebiotic chemistry then became more organized and directional. The origin of the genetic code is enigmatic; herein we propose an evolutionary explanation: the demand for a wide range of specific enzymes in the peptide/RNA world was the main selective pressure for the origin of information-directed protein synthesis. We review three main concepts on the origin and evolution of the genetic code: the stereochemical theory, the coevolution theory, and the adaptive theory. These three theories are compatible with our coevolution model of the translation machines and the genetic code. We suggest biosynthetic pathways as the origin of the specific translation machines which provided the framework for the origin of the genetic code. During translation, the genetic code developed in three stages coincident with the refinement of the translation machines: GNC code developed by the pre-tRNA/pre-aaRS /pre-mRNA machine, SNS code by the tRNA/aaRS/mRNA machine, and finally the universal genetic code by the tRNA/aaRS/mRNA/ribosome machine. Our hypothesis provides the logical and incremental steps for the origin of the programmed protein synthesis. In order to understand the prebiotic information system better, we converted letter codons into numerical codons in the Universal Genetic Code Table. We have developed a software called CATI (Codon-Amino Acid-Translator-Imitator) to translate randomly chosen numerical codons into corresponding amino acids and vice versa. This conversion has granted us insight into how the translation might have worked in the peptide/RNA world. There is great potential in the application of numerical codons to bioinformatics such as barcoding, DNA mining, or DNA fingerprinting. We constructed the likely biochemical pathways for the origin of translation and the genetic code using the Model-View-Controller (MVC) software framework, and the translation machinery step-by-step. Using AnyLogic software we were able to simulate and visualize the entire evolution of the translation machines and the genetic code. The results indicate that the emergence of the information age from the peptide/RNA world was a watershed event in the origin of life about four billion years ago.

The high-quality development of the industrial software industry is of strategic significance to enhancing the core competitiveness of the manufacturing industry and promoting the high-quality development of China's industrial economy. By integrating the "capital- technology-environment-human" production factor theory and configuration perspective, this paper constructs a comprehensive analysis framework that drives the total factor productivity (TFP) of the industrial software industry. It uses 40 typical industrial software firms as case samples and uses fuzzy set Qualitative Comparative Analysis (fsQCA) was used to empirically explore the influencing factors and complex mechanisms that achieve high-quality development of the industrial software industry. It is found that: (1) a single industrial factor is hardly a necessary condition to drive industrial software industry; (2) there are four paths to achieve high TFP, which are summarized as "technology-human-environment" balanced driving type, "capital-human-environment" balanced driving type, "technology-capital" dual driving type, and "capital" single driving type. There are four driving mechanisms. There are also four not-high TFP configurations with asymmetric characteristics; (3) under certain conditions, the combination of capital factors, capital factors, environmental factors and human factors can drive TFP in a "all roads lead to Rome". In this process, the government's attention plays a more universal role. The study not only expands the application scenarios of fsQCA, but also provides decision guidelines for the practice of strategic emerging industrialization represented by industrial software industry.

Epidemiological surveillance and phylogenetic studies rely nowadays on processing and analysing huge volumes of data. Processing tasks consist on running and refining a series of intertwined computational tasks. And, despite of existing several web applications for data processing and interactive visualization for phylogenetic studies, integrating many different tools and algorithms, their execution is total or partially on the client side, making them unsuitable for dealing with huge volumes of data. Studies are often also not easy to reproduce. On the other hand, in recent years, data-centric workflow systems have been proposed, allowing to deal better with increasingly larger datasets. The integration of these systems within phylogenetic tools will allow to scale them as required, and will contribute also to promote studies reproducibility. We propose then the FLOWViZ middleware for facilitating the integration of a state of the art data-centric workflow system, Apache Airflow, within web applications for phylogenetic analyses. This framework abstracts contracts and a core API for defining tools and workflows, where tools are assumed to be containerized. FLOWViZ has been tested and evaluated within the PHYLOViZ web application, a tool supporting phylogenetic inference and data visualization.

Software testing is an integral yet time-consuming component of software development, and even with capable software testing resources (technology and people), it is still regarded as problematic. Test automation is widely being utilised within the software industry to provide increased testing capacity to ensure high product quality and reliability. In this paper, we are specifically addressing automated testing whereby test cases are manually written. Test automation has its benefits, drawbacks, and impacts on different stages of development. Furthermore, there is often a disconnect between non-technical and technical roles, where non-technical roles (e.g., management) predominantly strive to reduce costs and delivery time whereas technical roles are often driven by quality and completeness. Although it is widely understood that there are challenges with adopting and using automated testing, there is a lack of evidence to understand the different attitudes toward automated testing (AtAT), focusing specifically on why it is not adopted. In this paper, the authors have surveyed practitioners within the software industry from different roles to determine common trends and draw conclusions. A two-stage approach is presented, comprising a comprehensive descriptive analysis and the use of Principle Component Analysis. In total, 81 participants were provided with a series of 22 questions and their responses are compared against job role types and experience levels. In summary, 6 key findings are presented covering expertise, time, cost, tools and techniques, utilisation, organisation, and capacity

We present software on total energy calculation by quantum mechanics first principle method with a graphic user interface (GUI). Total energy calculation in this software is based on numerical analysis of time-dependent density functional (the used numerical method is finite difference time domain). QUMEC package has been equipped by common exchange-correlation energy terms with electron spin polarization calculation. With this package, users can calculate the total energy of the free particle, bulk materials, and materials with free surfaces at the atomic scale. The package is tested by several physical subjects, i.e., the surface energy of nano-LiCoO₂ and diffusion constant of lithium atoms in LiNi­_0.5Mn_1.5O₄.

This code provides computational facilities to simulate current versus time during the charging of Li-ion cells at desire constant voltage by considering multiscale physical phenomena. This code only considers a powder of active materials (at microscale or nanoscale) and a small part of electrolyte around it as a half cell. Then it is extended to a complete cell by applying correct boundary conditions. This code is very useful by modifying code parameters to understand the effect of the complex shape of active materials powder (surface area and powder size), kind of electrolyte, and the applied voltages on the charging response of Li-ion cell. As a summary, a microscale approach to the design of Li-ion cells has been provided via this code.

The crux of the paper is to present a detailed analysis of COVID-19 data which is available on global basis. This analysis is performed using some specific package of R software. It provides various insights from the data and help to understand the current status of this pandemic in India so that effective measures can be formulated by policymakers. These insights include global summary of this disease, growth rate of this pandemic and performance of SIR model for the given global data. The analysis has been presented in different tables and graphs to understand the outputs of the problem in a more detailed point of view.

A novel software engineering platform called the Dynamic Nuchwezi Architecture Platform (DNAP) is introduced, specified and its novelties explained. The unique features of this platform are explained and several new concepts and abstractions upon which its implementation, usage, and analysis are hinged also elaborately discussed. The motivations for this new approach to building especially tools used in data engineering are spelled out and the platform is contrasted against other existing technologies of a similar kind. Finally, it is shown what known limitations DNAP suffers, as well as what room for further research and improvement there is in this field.

Context: Code smells are associated with poor design and programming style that often degrades code quality and hampers code comprehensibility and maintainability. Goal: Identify reports from the literature that provide evidence of the influence of code smells on the occurrence of software bugs. Method: We conducted a Systematic Literature Review (SLR) to reach the~stated goal. Results: The SLR includes selected studies from July 2007 to September 2017 which analyzed the source code for open source and proprietary projects, as well, as several code smells and anti-patterns. The results of this SLR show that 24 code smells are more influential in the occurrence of bugs according to 16 studies. In contrast, three studies reported that at least 6 code smells are less influential in such occurrences. Evidence from the selected studies also point out tools, techniques and procedures applied to analyze the influence. Conclusion: To the best of our knowledge, this is the first SLR to target this goal. This study provides an up-to-date and structured understanding of the influence of code smells on the occurrence of software bugs based on findings systematically collected from a list of relevant references in the latest decade.

The Late Heavy Bombardment Period (4.1 to 3.8 billion years ago) of heightened impact cratering activity on young Earth is likely the driving force for the origin of life. During the Eoarchean, asteroids such as carbonaceous chondrites delivered the building blocks of life and water to early Earth. Asteroid collisions created innumerable hydrothermal crater lakes in the Eoarchean crust which inadvertently became the perfect cradle for prebiotic chemistry. These hydrothermal crater lakes were filled with cosmic water and the building blocks of life. forming a thick prebiotic soup. The unique combination of exogenous delivery of extraterrestrial building blocks of life, and the endogenous biosynthesis in hydrothermal impact crater lakes very likely gave rise to life. A new symbiotic model for the origin of life within the hydrothermal crater lakes is here proposed. In this scenario, life arose around four billion years ago through five hierarchical stages of increasing molecular complexity: cosmic, geologic, chemical, information, and biological. During the prebiotic synthesis, membranes first appeared in the hydrothermal crater lakes, followed by the simultaneous origin of RNA and protein molecules, creating the RNA/protein world. These proteins were noncoded protein enzymes that facilitated chemical reactions. RNA molecules formed in the hydrothermal crater basin by polymerization of the nucleotides on the montmorillonite mineral substrate. Similarly, the initial synthesis of abiotic protein enzymes was mediated by the condensation of amino acids on pyrite surfaces. The regular wet-dry cycles within the crater lakes assisted further concentration, condensation, and polymerization of the RNAs and proteins. Lipid membranes randomly encapsulated amino acids, RNA, and protein molecules from the prebiotic soup to initiate a molecular symbiosis inside the protocells, this led to the hierarchical emergence of several cell components. As the role of protein enzymes became essential for catalytic process in the RNA/protein world, Darwinian selection from noncoded to coded protein synthesis led to translation systems and the genetic code, heralding the information stage. In this stage, the biochemical pathways suggest the successive emergence of translation machineries such as tRNAs, aaRS, mRNAs, and of ribosomes for protein synthesis. The molecular attraction between tRNA and amino acid led to the emergence of translation machinery and the genetic code. tRNA is an ancient molecule that created mRNA for the purpose of storing amino acid information like a digital strip. Each mRNA strand became the storage device for genetic information that encoded the amino acid sequences in triplet nucleotides. As information became available in the digital languages of the codon within mRNA, biosynthesis became less random and more organized and directional. The original translation machinery was simpler before the emergence of the ribosome than that of today. We review three main concepts on the origin and evolution of the genetic code: the stereochemical theory, the coevolution theory, and adaptive theory. We believe that these three theories are not mutually exclusive, but are compatible with our coevolution model of translations machines and the genetic code. We suggest biosynthetic pathways as the origin of the translation machine that provided the framework for the origin of the genetic code. During translation, the genetic code developed in three stages coincident with the refinement of the translation machinery: GNC code with four codons and four amino acids during interactions of pre-tRNA/pre-aaRS /pre-mRNA, SNS code consisting of 16 codons and 10 amino acids appeared during the tRNA/aaRS/mRNA interaction, and finally the universal genetic code evolved with the emergence of the tRNA/aaRS/mRNA/ribosome machine. The universal code consists of 64 codons and 20 amino acids, with a redundancy that minimizes errors in translation. To address the question of the origin of the biological information system in the RNA/protein world, we converted letter codons into numerical codons in the Universal Genetic Code Table. We developed a software called CATI (Codon-Amino Acid-Translator-Imitator) to translate randomly chosen numerical codons into corresponding amino acids and vice versa, gaining insight into how translation might have worked in the RNA/protein world. We simulated the likely biochemical pathways for the origin of translation and the genetic code using the Model-View-Controller (MVC) software framework, and the translation machinery step-by-step. We used AnyLogic software to simulate and visualize the evolution of the translation machines and the genetic code. We conclude that the emergence of the information age from the RNA/protein world was a watershed event in the origin of life about four billion years ago.

Software project complexity increases day by day because the software engineering products is being used in the solution of more technically difficult problem and the size of project continuous to grow. The increase complexity causes to high numbers of software project failures in term of time, cost and quality. The main question regarding to this problem is how to handle or cope with this complexity. There is no single way to handle this, software engineer uses different perspective to handle complexity without affecting the overall project performance. A management perspective recognizes that the success of complex project requires good project management. A technically perspective reveals new paradigms for software development i.e.; object oriented and formal methods etc. and software engineer also look for automation perspective in order to reduce the complexity issues. In this paper we will find out the main software project complexity factors by focusing on the management aspects of software project development and also the problems of managing complexity in software engineering products from these different perspectives. The paper is divided in three main sections; paradigms of software development, project management in term of time, cost and quality and third one is automated support that includes methods and tools used to manage the complexity.

Software defect prediction models enable test managers to predict defect-prone modules and assist with delivering quality products. A test manager would be willing to identify the attributes that can influence defect prediction and should be able to trust the model outcomes. The objective of this research is to create software defect prediction models with a focus on interpretability. Additionally, it aims to investigate the impact of size, complexity, and other source code metrics on the prediction of software defects. This research will also assess the reliability of cross-project defect prediction. Well-known machine learning techniques such as support vector machines, k-nearest neighbors, random forest classifiers, and artificial neural networks were applied to publicly available PROMISE datasets. The interpretability of this approach has been demonstrated by SHapley Additive exPlanations (SHAP) and local interpretable model-agnostic explanations (LIME) techniques. The developed interpretable software defect prediction models showed reliability on independent and cross-project data. Finally, the results demonstrate that static code metrics can contribute to the defect prediction models, and the inclusion of explainability assists in establishing trust in the developed models.

Metabolomics is now considered to be a wide-ranging, sensitive and practical approach to acquire useful information on the composition of a metabolite pool present in any organism, including plants. Investigating metabolomic regulation in plants is essential to understand their adaptation, acclimation and defense response to environmental stresses through the production of numerous metabolites. Moreover, metabolomics can be easily applied for the phenotyping of plants; and thus, it has great potential to be used in molecular breeding and genome editing programs to develop superior next generation crops. This review describes the recent analytical tools and techniques available to study plants metabolome, along with their significance of sample preparation using targeted and non-targeted method. Advanced analytical tools, like gas chromatography-mass spectrometry (GC-MS), liquid chromatography mass-spectroscopy (LC-MS), capillary electrophoresis-mass spectrometry (CE-MS), fourier transform ion cyclotron resonance-mass spectrometry (FTICR-MS) and matrix-assisted laser desorption/ionization (MALDI) have speed up metabolic profiling in plants. Further, we deliver a complete overview of bioinformatics tools and plant metabolome database that can be utilized to advance our knowledge to plant biology.

As urban populations continue to grow, efficient traffic management becomes paramount in reducing congestion, enhancing air quality, and improving overall quality of life. This study addresses the critical issue of intersection efficiency through the implementation of smart green time allocation strategies at a signalized intersection equipped with two LiDAR sensors. This research aims to investigate optimal green time allocations provided by two LiDAR sensors and analyze the LiDAR results by microsimulation in AIMSUN. The research first introduces the concept of LiDAR-equipped signalized intersections and their potential to enhance traffic control precision. Two LiDAR sensors are strategically placed at the intersection of Marlboro Pike and Brooks Dr. in Coral Hills, MD, USA to capture real-time data on vehicle and pedestrian movements. The data are then processed to generate accurate and dynamic traffic profiles, ensuring the responsiveness of the green time allocation system to varying traffic conditions.The heart of this study lies in the integration of AIMSUN microsimulation with LiDAR data. Through meticulous modeling and simulation, the research explores the optimal green allocation at morning, mid-day, and afternoon peak hours’ scenarios to comprehensively assess the impact of LiDAR-enabled dynamic signal control. The findings demonstrate that smart green time allocation, informed by real-time LiDAR data and implemented through AIMSUN microsimulation, significantly enhances intersection efficiency. By adapting signal timings to real-time traffic demands, congestion, travel times, and emissions are reduced. Furthermore, this research highlighted that the optimal green time allocation in morning, mid-day, and afternoon peak hour intervals can improve the delay time by 55.3%, 59.7%, and 55.6%, respectively.In conclusion, this paper sheds light on the potential of LiDAR technology to transform intersection management. Through a case study involving two LiDAR sensors and AIMSUN microsimulation, it reveals the tangible benefits of dynamic signal control in enhancing intersection efficiency and creating more sustainable urban environments. These findings are pivotal in advancing the discourse on modern urban traffic management and promoting data-driven solutions for the challenges of today's cities.

Multiple sequence alignments and phylogenetic trees are rich in biological information and are fundamental to research in biology. PhyKIT is a tool for processing and analyzing the information content of multiple sequence alignments and phylogenetic trees. Here, we describe how to use PhyKIT for diverse analyses, including (i) constructing a phylogenomic supermatrix, (ii) detecting errors in orthology inference, (iii) quantifying biases in phylogenomic data sets, (iv) identifying radiation events or lack of resolution using gene support frequencies, and (v) conducting evolution-based screens to facilitate gene function prediction. Several PhyKIT functions that streamline multiple sequence alignment and phylogenetic processing—such as renaming FASTA entries or tree tips—are also discussed. These protocols demonstrate how simple command-line operations in the unified framework of PhyKIT facilitate diverse phylogenomic data analysis and processing, from supermatrix construction and diagnosis to gene function prediction.

Artificial intelligence (AI) has witnessed an exponential increase in its use in various applications. Recently, the academic community started to research and inject new AI-based approaches to provide solutions to traditional software engineering problems. However, a comprehensive and holistic understanding of the current status is missing. To close the above gap, synthetic knowledge synthesis was used to induce a research landscape of the contemporary research literature on the use of AI in software engineering. The synthesis resulted in 15 research categories and five themes, namely natural language processing in software engineering, use of artificial intelligence in the management of software development life cycle, use of machine learning in fault/defect prediction and effort estimation, employment of deep learning in intelligent software engineering and code management, and mining software repositories to improve software quality. The most productive country was China (n=2042), followed by the United States (n=1193), India (n=934), Germany (n=445), and Canada (n=381). A high percentage (n=47.4%) of papers were funded, showing a strong interest in this research topic. The convergence of AI and software engineering can significantly reduce needed resources, improve quality, increase user experience, and improve the well-being of software developers.

Acceleration rates of vehicles are crucially important statistics needed in two main aspects: first, they are essential to incident reconstructor professionals as having a verified database on where basing the cinematic reconstructions is definitely difficult and moreover, they are useful in order to understand how to create the safest possible environment on the road. This key topic gives es-sential information for road design like intersection schemes, acceleration and deceleration lane length as well as traffic simulation modelling and furthermore, to educate vehicle drivers when entering the traffic flow and to provide limit acceleration values needed to develop autonomous vehicle’s software in order to guarantee a comfort drive. Literature reports tons of linear acceleration stats mainly referred to vehicle performances claimed by car manufacturers, but these data don’t recreate real drivers’ behaviour when entering the road by turning left or right or crossing an intersection. This work aims to integrate the most reliable data from literature with a hybrid and an electric vehicles statistic, adding also two contemporary thermal engine vehicles, extracted conducting probes that recreates real road environment. The entirety of these experiments reconstructs the scenario in which a car is entering the traffic of a two-lanes road, from a stationary position at a stop sign and the acceleration rates are collected using a M.E.M.S. (Microelectromechanical system). Finally, the space needed between the car that is about to enter or crossing the road and the car that is approaching the intersection is calculated, basing the computations on the acceleration values extracted from the probes. These spaces are pictured, as a way to give a concrete idea to readers.

Evaluating mutation testing behavior can help decide whether refactoring successfully maintains the expected initial test results. Moreover, manually performing this analytical work is both time-consuming and prone to errors. This paper extends an approach to assess test code behavior and proposes a tool called MeteoR. This tool comprises an IDE plugin to detect issues that may arise during test code refactoring, reducing the effort required to perform evaluations. A preliminary assessment was conducted to validate the tool and ensure the proposed test code refactoring approach is adequate. By analyzing not only the mutation score but also the generated mutants in the pre- and post-refactoring process, results show that the approach is capable of checking whether the behavior of the mutants remains unchanged throughout the refactoring process. This proposal represents one more step toward the practice of test code refactoring. It can improve overall software quality, allowing developers and testers to safely refactor the test code in a scalable and automated way.

During software development requirement gathering is an important phase. Requirements are the basis of software development. The success or failure of any software depends upon level of understanding developed in requirements. During software development requirements keeps on changing due to different reasons. Hence requirements are such a critical phase that leads to the total project failure. So, to understand the impacts and to identify the conflicts with existing requirements, it is important to manage and analyze the requirements well. Requirement change management is the interest of this paper. Different requirement change management techniques has been discussed in this paper and analyzed them well and finally conclude the results accordingly.

It is a common practice to detect outliers in a financial time series in order to avoid the adverse effect of additive outliers. This paper investigated the performance of GARCH family models (sGARCH; gjrGARCH; iGARCH; TGARCH and NGARCH) in the presence of different sizes of outliers (small, medium and large) for different time series lengths (250, 500, 750, 1000, 1250 and 1500) using root mean square error (RMSE) and mean absolute error (MAE) to adjudge the models. In a simulation iteration of 1000 times in R environment using rugarch package, results revealed that for small size of outliers, irrespective of the length of time series, iGARCH dominated, for medium size of outliers, it was sGARCH and gjrGARCH that dominated irrespective of time series length, while for large size of outliers, irrespective of time series length, gjrGARCH dominated. The study further leveled that in the presence of additive outliers on time series analysis, both RMSE and MAE increased as the time series length increased.

This study compared two object-oriented land use change detection methods—detection after classification (DAC) and classification after detection (CAD) —based on a digital elevation model, slope data, and multi-temporal Landsat images (TM image for 2000 and ETM image for 2010). We noted that the overall accuracy of the DAC (86.42%) was much higher than that of the CAD (71.71%). However, a slight difference between the accuracies of the two methods exists for deciduous broadleaf forest, evergreen coniferous forest, mixed wood, upland, paddy, reserved land, and settlement. Owing to substantial spectrum differences, these land use types can be extracted using spectral indexes. The accuracy of DAC was much higher than that of CAD for industrial land, traffic land, green shrub, reservoir, lake, river, and channel, all of which share similar spectrums. The discrepancy was mainly because DAC can completely utilize various forms of information apart from spectrum information during a two-stage classification. In addition, the change-area boundary was not limited at first, but was adjustable in the process of classification. DAC can overcome smoothing effects to a great extent using multi-scale segmentations and multi-characters in detection. Although DAC yielded better results, it was more time-consuming (28 days) because it uses a two-stage classification approach. Conversely, CAD consumed less time (15 days). Thus, a hybrid of the two methods is recommended for application in land use change detection.

The construction field uses up over one-third of the global energy consumption and contribute to 40% of CO2 emissions according to the International Energy Agency (IEA) and the 2020 annual reporter of United Nation, Goal 11 (Make cities inclusive, safe, resilient and sustainable) which discusses sustainable, safe and efficient buildings. Therefore, Morocco has a commitment to this program by publishing the law 47-09 of energy efficiency. This work aims to study the energy efficiency of two types of building, a conventional and a natural building. Conventional building is constructed using concrete, while the natural one uses sand clay and straws. As for the technique of making the natural building, it perpetually follows the same approach accustomed in rural zones of Atlas Mountains in Morocco. In this research we also simulate, temperature and humidity variation inside these buildings using TRNSYS software. Sketch Up software was employed to design these houses. The weather database is used for a typical meteorological year (TMY). In the case of natural building, many building configurations were simulated: roof insulation, floor insulation, different types of glazing and sun protection. What's more, the thermal comfort is revealed to be more conspicuous in the case of natural building.

User experience and user requirements are two independent approaches. User requirements address the customer's requirements and expectations for the solution, whereas user experience encompasses all aspects of how the user interacts with and uses the software. The software product should be easy to use and has usable features. Moreover, the additional value for the software is if the product has an attractive design or working environment that is in line with user behaviors, it can occur if integrate software requirements and user experience. Integration escalates developer productivity by focusing on features that meet the user's needs and expectations. That integration improves efficiency in software development by identifying and addressing problems that may arise during the development process, saving developer time and effort in developing software. The usage context of integration of user experience and user requirements in UX Journey contributes increase developer productivity and self-efficacy in developing software by focusing development on features that match the user needs, as well as increasing efficiency in overcoming problems that arise during the development process. UX Journey makes developers feel more confident in their ability to develop quality software.

South Italy is characterised by a semi-arid climate with scarce rain and high evaporative demand, therefore the need to optimise water resources in this area is crucial, and climate change could worsen this condition. In citrus cultivation, which is one of the most important crops bred in Southern Italy, and more generally in Mediterranean regions, deficit irrigation strategies are im-plemented in order to cope with limited resource availability. On this basis, knowledge on how the territorial distribution of citrus would change in relation to these strategies constitutes valuable information for the stakeholders. Therefore, the objective of this study was to determine the prob-ability of presence of citrus in Sicily at changing of the percentage of water deficit application, in order to analyse change in the surface area and localisation of the crop. The methodology was based on the application of Species Distribution Models and Geographic Information Systems to the case study of the Province of Syracuse in Sicily. Different geostatistical and machine learning models were applied, based on 3-decades bioclimatic variables, DTM and irrigation; assessment of the outcomes was carried by using classification evaluation metrics. The analysis of the outcomes showed that uncorrelated predictor layers mainly included water input that affected most the probability of presence. Moreover, GIS analyses showed that deficit irrigation strategies would generate an overall reduction of cultivation surfaces in the territory and a decrease of citrus pres-ence in southern areas of the considered territory, where climate conditions are less favourable in terms of temperature and precipitations, thus providing useful information for decision support tools in agriculture and land use policy.

Motivation: there is a paradox at the heart of informatics where practical implementation generally fails to understand the socio-technical impact of novel technologies and disruptive innovation when adopted in `real-world’ systems. This phenomenon, termed technological determinism, is manifested in a time-lag between the adoption of novel technologies and an understanding of the underlying theory which develops following research into their adoption. Methods: we consider informatics theory as it relates to: social informatics and how humans’ function in society, the relationship between society and technology, information systems, information systems design, and human-computer interactions. The challenges posed by novel technologies and disruptive innovation are considered as they relate to information systems and information systems design. Open research questions with directions for future research are discussed with an introduction to and our proposed approach to socio-technical information system design. Significance: we conclude that the adoption of disruptive innovation presents both opportunities and threats for all stakeholders in computerised systems. However, determinism is a topic requiring research to generate a suitable level of understanding and technological determinism remains a significant challenge.

Software-In-The-Loop (SITL) simulation tools have been extensively used in development of safety-critical software. Utilizing these tools substantially accelerates software development eliminating potential risks and resource costs of physical experiments. This paper investigates the effects of model specific parameters on the development and testing of custom module in PX4 SITL environment. Models of a fixed-wing unmanned aerial vehicle with vertical takeoff and landing capabilities and steerable sensor platform/gimbal are used as case study for this investigation. The effects of parameters of these aerial vehicle and sensor platform models are taken into consideration in the development of custom module that controls the dynamics of steerable sensor platform mounted on the vehicle model. The work also presents steps necessary to customize PX4 SITL and Gazebo simulation environment to incorporate parameters of the vehicle and sensor platform models in the development and testing process of custom module. Based on these instances, simulation results are obtained and discussed. The results show that reliability of PX4 SITL simulation framework is justified by proper customization and integration of PX4 SITL and Gazebo simulator.

Unique analytical challenges arise when drivers, who face a route choice between a toll lane and a set of free lanes, have different values of time. The most complex situation is one in which multiple sub-populations of drivers exist, each with their own unique mean and coefficient of variation of value of time. This situation, when imbedded within a larger network cannot be tackled using existing planning models, and consequently is usually only approximated. This paper examines these different approximations, the resulting numerical solutions and the implications of these approximations on the estimate of the number of expected toll lane users. The paper also shows how this problem can be solved using a combined traffic assignment/simulation model. The first part of this paper develops an analytical formulation for solving the toll lane scenario using the “value of time” representations range from the simplest to the most complex. It is shown that one of the most critical issues is a determination of who the marginal users are of the toll lane, at each level of usage, as the perceived disutility of the last marginal toll lane user depends dynamically upon that driver’s value of time. Analytical formulations based on these different approximations are then solved numerically in the second part of the paper. These numerical solutions show that significant different lane use estimates result, depending upon the representation of value of time. Consequently, it is clear that solving this problem with the fewest approximations is both of theoretical and practical importance. The third part of the paper illustrates the solution to the toll lane problem, with each level of approximation, using a combined traffic assignment/simulation model. The simulated resulting estimates of the toll lane usage for each case matches both the relative and absolute trends found in analytical solutions. However, the solution using the assignment/simulation model is not only much faster and simpler to obtain, but is also scalable both in size and complexity. The additional complexities, that are associated with a less approximate representation of value of time, should therefore be incorporated in all future assessments of toll lane facilities, be they analyzed analytically or through simulation.

In Model-Driven Development (MDD), the models, their generation, and imposing changes on them (model transformation) are used for the development of software. Models provide a framework to start from the imagination and abstraction to create and accomplish the final system. Models create a slow and steady transition from whatness to howness, i.e. from the natural path of the generation of software. For supporting this path, the Logic and Functionality of software must be changeable during its evolution. Here we provide a brief introduction to the concept of Model Driven Development.

The spread of the global COVID-19 pandemic, the lack of specific treatment and the urgent situation requires use of all resources to remedy this scourge. In the present study, using molecular docking, we identify new probable inhibitors of COVID-19 by molecules from Nigella sativa L, which is highly reputed healing herb in North African societies and both Islamic and Christian traditions. The discovery of the M^pro protease structure in COVID-19 provides a great opportunity to identify potential drug candidates for treatment. Focusing on the main proteases in CoVs (3CL^pro/M^pro) (PDB ID 6LU7 and 2GTB); docking of compounds from Nigella Sativa and drugs under clinical test was performed using Molecular Operating Environment software (MOE). Nigelledine docked into 6LU7 active site gives energy complex about -6.29734373 Kcal/mol which is close to the energy score given by chloroquine (-6.2930522 Kcal/mol) and better than energy score given by hydroxychloroquine (-5.57386112 Kcal/mol) and favipiravir (-4.23310471 kcal/mol). Docking into 2GTB active site showed that α- Hederin gives energy score about-6.50204802 kcal/mol whcih is better energy score given by chloroquine (-6.20844936 kcal/mol), hydroxychloroquine (-5.51465893 kcal/mol)) and favipiravir (-4.12183571kcal/mol). Nigellidine and α- Hederin appeared to have the best potential to act as COVID-19 treatment. Further, researches are necessary to testify medicinal use of identified and to encourage preventive use of Nigella Sativa against coronavirus infection.

The main moto of this study is to examine and study on behavior of Software Quality Assurance (SQA) issues of project stakeholders in a Scrum environment and their consequences. This inductive case study identifies SQA principles relevant to Meeting User Expectations. The Stakeholders in the Scrum project having lack of Concrete Guidance on Scrum’s SQA approaches, methods, and techniques. The insufficiency of concrete guidelines in Scrum needs a management squad to develop concepts that can include implementing practices from other methodologies and wisely modifying the system structure to incorporate the practices adopted, ensuring improvement in the processes, and creating a shared ownership environment. Through explaining the incompleteness of Agile approaches with special attention to the lack of concrete instructions in Scrum, the study uses techniques to customize literature and advocate for Scrum’s versatility. The study uses strategies to adapt literature and argue for Scrum’s simplicity by illustrating the incompleteness of Agile approaches with special attention to the lack of concrete instructions in Scrum methodology.

Accurate prediction of defects in software components plays a vital role in administrating the quality of the quality and efficiency of the system to be developed. So we have written a systematic literature review in order to evaluate the four main defect prediction techniques. Defect prediction paves way for the testers to find bugs and modify them in order to achieve input to output conformance. In this paper we have discussed the open issues in predicting software defects and have provided with a detailed analyzation of different methods including Machine Learning, Integrated Approach, Cross-Project and Deep Forest algorithm in order to prevent these flaws. However, it is almost impossible to rule which method is better than the other so every technique can be analyzed separately and the best technique according to the problem at hand can be used or can be altered to create hybrid technique suitable for the cause.

Titanium’s accelerating usage in global markets is attributable to its distinctive combination of physical and metallurgical properties. The key to best utilizing titanium is to exploit these characteristics, especially as they complement one another in a given application, rather than to just directly substitute titanium for another metal. Titanium alloy are extensively used in aerospace applications such as components in aero-engines and space shuttles, mainly due to their superior strength to weight ratio. For these demanding applications functionality and reliability of components are of great importance. To increase flight safety, higher sensitivity inspections are sought for rotating parts. Increased sensitivity can be applied at the billet stage, the forging stage, or both. Inspection of the forging geometry affords the opportunity to apply the highest sensitivity due to the shorter material paths when compared to those required for billet inspections. Forging inspection is typically performed for titanium (Ti) rotating parts with immersion inspection and fixed-focus, single-element transducers. Increased gain is required with depth because the ultrasonic beam attenuates with distance and diverges beyond the focus position that is placed near the surface. The higher gain that is applied with depth has the effect of increasing the UT noise with depth. The relationships between the UT noise, selection of the examination technique and the smallest detectable defect are presented in this material.

The authors introduce the GRASS GIS add-on module g.citation as an initial implementation of a fine-grained software citation concept. The module extends the existing citation capabilities of GRASS GIS, which until now only provide for automated citation of the software project as a whole, authored by the GRASS Development Team, without reference to individual persons. The functionalities of the new module enable individual code citation for each of the over 500 implemented functionalities, including add-on modules. Three different classes of citation output are provided in a variety human- and machine-readable formats. The implications of this reference implementation of scientific software citation for both for the GRASS GIS project and the OSGeo foundation are outlined.

Regarding number of vehicles, forest roads are characterized by low traffic intensity, but on the other hand great values of ground pressure between wheels of timber truck units and forest road surface occur, often with pressures values above 80 kN which additionally causes damage of the upper and lower forest road layer. There are currently several methods for assessing condition of a forest road surface which are mainly used for assessing state of public roads, but can be used in forestry as well. Assessing condition of forest road surface was done by measuring vibrations with a specially developed software for Android OS installed on a Huawei MediaPad 7 Lite. Software measured vibrations in all three axes, coordinates of device, speed of the vehicle and time. Aim of this research was to determine accuracy of collected data so that this method can be used for scientific and practical purposes. Research was carried out on the segment of a forest road during driving a vehicle equipped with a measuring device. Tests were performed in both driving direction of the forest road segment with different measuring frequencies, tyre inflation pressures and driving speeds. Values of vibrations were classified and translated on a map of forest road together with devices’ measured coordinates. Vibration values were compared with places of recorded forest road surface damages. Research results show no significant difference in vibration values between 1 Hz and 10 Hz of measurement frequencies. Based on the analysis of collected data and obtained results, it is clear that it is possible to assess the condition of a forest road surface by measuring vibrations. The greatest values of vibrations were recorded on the most damaged parts of the forest road. Vibrations do not depend on tyre inflation pressure, but ranges of vibrations are decreasing with decreasing driving speed. Accuracy of collected data depends on GPS signal quality, so it is recommended that each segment of forest road is recorded twice so that location of damages on forest road can be confirmed with certainty.

In this paper, we propose a lightweight physical layer aided authentication and key agreement (PL-AKA) protocol in the internet of things (IoT). Conventional evolved packet system AKA (EPS-AKA) used in long-term evolution (LTE) systems may suffer from congestions in core networks by the large signaling overhead as the number of IoT devices increases. Thus, in order to alleviate the overhead, we consider a cross-layer authentication by integrating physical layer approaches to cryptography-based schemes. To demonstrate the feasibility of the PL-AKA, universal software radio peripheral (USRP) based tests are conducted as well as numerical simulations. The proposed scheme shows a significant reduction in signaling overhead compared to the conventional EPS-AKA in both simulation and experiment. Therefore, the proposed lightweight PL-AKA has the potential for practical and efficient implementation of large-scale IoT networks.

Background: New open-source electric-grid planning models have the potential to improve power system planning and bring a wider range of stakeholders into the planning process for next-generation, high-renewable power systems. However, it has not yet been established whether open-source models perform similarly to the more established commercial models for power system analysis. This reduces their credibility and attractiveness to stakeholders, postponing the benefits they could offer. In this paper, we report the first model intercomparison between an open-source power system model and an established commercial production cost model. Results: We compare the open-source Switch 2.0 to GE Energy Consulting’s Multi Area Production Simulation (MAPS) for production-cost modeling, considering hourly operation under 17 scenarios of renewable energy adoption in Hawaii. We find that after configuring Switch with similar inputs to MAPS, the two models agree closely on hourly and annual production from all power sources. Comparing production gave a coefficient of determination of 0.996 across all energy sources and scenarios, indicating that the two models agree on 99.6% of the variation. For individual energy sources, the coefficient of determination was 69–100. Conclusions: Although some disagreement remains between the two models, this work indicates that Switch is a viable choice for renewable integration modeling, at least for the small power systems considered here. Although some disagreement remains between the two models, this work indicates that Switch is a viable choice for renewable integration modeling, at least for the small power systems considered here.

Ensemble fuzzing in parallel with heterogeneous fuzzers has been proposed to leverage the advantages of diverse fuzzers and improve testing efficiency. However, in current ensemble fuzzing methods, the collaboration among different fuzzers is achieved solely by synchronizing the seeds discovered by each fuzzer. This results in a high likelihood of different fuzzers choosing the same seeds and creating a large number of equivalent testcases, thus reducing overall fuzzing efficiency. Meanwhile, the existing task division method proposed by AFLTeam is highly coupled with the fuzzer specially designed for it, making it challenging to apply to ensemble fuzzing directly. So, in this paper, we proposed a callgraph-based task division method suitable for ensemble fuzzing. Firstly, we divided the target program’s callgraph into subgraphs (subtasks) balancing expected workloads. Then, we divided the global seed corpus into sub-corpora, each corresponding to a subtask, making fuzzers easily accept the subtasks. Finally, we designed synchronization mechanisms for coverage bitmaps and seeds to realize the collaborative fuzzing among different fuzzers, and a cyclic subtask scheduling strategy to fully leverage the benefits of ensemble fuzzing. We have implemented a prototype called TAEF. The evaluation results show that in the best-case scenario, our method has up to 24% more branch coverage than previous work.

Self-adaptive systems are capable of reconfiguring themselves while in use to reduce the risks forced by environments for which they may not have been specifically designed. Run-time validation techniques are required because complex Self-adaptive systems must consistently offer acceptable behavior for important services. The run-time testing can offer further confidence that a Self-adaptive system will continue to act as intended even when operating in unknowable circumstances. This article introduces an evolutionary framework that supports adaptive testing for Self-adaptive systems. To ensure that the adaptive systems continue to operate following its requirements and that both test plans and test cases continuously stay relevant to shifting operational conditions. The proposed approach using the SPEA2 algorithm facilitates both the execution and adaptation of run-time testing operations.

Agaricus bisporus is belonging to family agaricaceae, which is widely acceptable and mostly cultivated among the all mushrooms. It has great nutritional values and it is rich in proteins, vitamins, carbohydrates, fibers, minerals and amino acids. It is effective in antimicrobial, anticancer, antidiabetic, antihypercholesterolemic, antihypertensive, hepatoprotective and antioxidant activities. As it is effective in anticancer property, we check the effects of chemical constituents of Agaricus Bisporus on DNA damaging protein which results its activity PARP inhibiting or vise-versa. We choose the molecular docking technique to check the effects of different chemical constituents of Agaricus Bisporus on DNA damaging protein. For that different PARP inhibitory drugs taken as the standard. We perform the molecular docking of the chemical constituents of Agaricus Bisporus, using 4UND protein with the help of PyRx software and BIOVIA Discovery studio software. Along with that PARP inhibitor drugs also run against the same protein. The results of molecular docking shows the some of the constituents of Agaricus Bisporus has better binding affinity than the standard taken PARP inhibitor drugs. The ergosterol shows the better binding affinity than the niraparib and rucaparib on the same proteins. On other hands the naringenin, quercetin, anthocyanin, folate and myricetin shows the better results than the rucaparib. That means the ergosterol shows the better results as PARP inhibitor than the niraparib and rucaparib.

In this article, a technology for producing wire and rod solder from 52In-48Sn alloy has been developed and investigated in the conditions of small-scale production. The use of direct extrusion of wire and rods instead of the traditional technology for producing solder, which includes pressing, rolling and drawing, can significantly reduce the fleet of required equipment. Using only a melting furnace and a hydraulic press, solder wires and rods can be produced in various sizes. Shortening the production cycle allows you to quickly fulfill small orders and be competitive in sales. The article developed a mathematical model of direct extrusion, which allows you to calculate: extrusion ratio, extrusion speed and pressing force. The results of modeling the process of extrusion of wire ∅2.00 mm and rods ∅8.0 mm made of 52In-48Sn alloy are presented. The temperature of the solder and the tool is simulation in software QForm based on the finite element method. Experimental results of manufacturing ∅2.0 mm solder wire and ∅8.0 mm rods are presented. The microstructure of the direct extruded solder is a eutectic of phases γ and β. Energy-dispersive X-ray spectroscopy (EDS) mapping of the 52In-48Sn alloy showed that the solder obtained by direct extrusion has a uniform distribution of structural phases. The developed technology can be used in the manufacture of wires and rods from other low-melting alloys.

The transportation system has evolved into a complex cyber-physical system with the introduction of wireless communication and the emergence of connected travelers and connected automated vehicles. Such applications create an urgent need to develop high-fidelity transportation modeling tools that capture the mutual interaction of the communication and transportation systems. This paper addresses this need by developing a high-fidelity, large-scale dynamic and integrated traffic and direct cellullar vehicle-to-vehicle and vehicle-to-infrastructure (collectively known as V2X) modeling tool. The unique contributions of this work are (1) we developed a scalable analytical communication model that captures packet movement at the millisecond level; (2) we coupled the communication and traffic simulation models in real-time to develop a fully integrated dynamic connected vehicle modeling tool; and (3) we developed scalable approaches that adjust the frequency of model coupling depending on the number of concurrent vehicles in the network. The proposed scalable modeling framework is demonstrated by running on the Los Angeles downtown network considering the morning peak hour traffic demand (145,000 vehicles), running faster than real-time on a regular personal computer (1.5 hours to run 1.86 hours of simulation time). Spatiotemporal estimates of packet delivery ratios for downtown Los Angeles are presented. This novel modeling framework provides a breakthrough in the development of urgently needed tools for large-scale testing of Direct C-V2X enabled applications.

Toby Walsh in “The Singularity May Never Be Near” gives six arguments to support his point of view that technological singularity may happen but that it is unlikely. In this paper, we provide analysis of each one of his arguments and arrive at similar conclusions, but with more weight given to the “likely to happen” probability.

Disulfiram (DSF), an anti-alcoholism medicine, exerts treatment effects in patients suffering from persistent Borreliosis and also exhibits anti-cancer effects by its copper chelating derivatives. Since chronic/persistent borreliosis is characterized by increased amounts of proinflammatory macrophages, this study investigated opsonin-independent phagocytosis, migration and surface marker expression of in vivo activated human monocyte-derived macrophages and dendritic cells with and without DSF treatment. Phagocytosis of non-opsonized Dynabeads® M-450 and migration of macrophages and dendritic cells were monitored using live cell analyzer Juli™ Br for 24h by imaging every 3.5 min. Results were analyzed by a newly developed software based on the differential phase contrast images of cells before and after ingestion of Dynabeads bearing an electron dense iron core. As a control, phagocytosis was also monitored by visual counting of ingested beads. DSF decreased the phagocytic capacities exhibited by global macrophages and dendritic cells. DSF also impaired the migration of human monocyte-derived macrophages and dendritic cells (hMDMD) and significantly reduced the expression densities of surface antigens CD45 and CD14. In cells consisting of anti-inflammatory M2 macrophages, DSF led to a remarkable cell death and also increased oxidative stress as determined by MitoSox staining. Mitochondrial oxidative stress was a prominent feature in M2 macrophages which were more sensitive to DSF-induced cytotoxicity.

Information has been and will be a vital element for a person or department groups in an organization. That is why there are technologies that help us to give them the proper management of data; Business Intelligence is responsible for bringing technological solutions that correctly and effectively manage the entire volume of necessary and important information for companies. Among the solutions offered by Business Intelligence are Data Warehouses, Data Mining, among other business technologies that working together achieve the objectives proposed by an organization. It is important to highlight that these business technologies have been present since the 50's and have been evolving through time, improving processes, infrastructure, methodologies and implementing new technologies, which have helped to correct past mistakes based on information management for companies. There are questions about Business Intelligence. Could it be that in the not-too-distant future it will be used as an essential standard or norm in any organization for data management, since it provides many benefits and avoids failures at the time of classifying information. On the other hand, Cloud storage has been the best alternative to safeguard information and not depend on physical storage media, which are not 100% secure and are exposed to partial or total loss of information, by presenting hardware failures or security failures due to mishandling that can be given to such information.

Directed movement towards a target requires spatial working memory, including processing of sensory inputs and motivational drive. In a stimulus-driven, operant conditioning paradigm designed to train zebrafish, we present a pulse of light via LED’s and/or sounds via an underwater transducer. A webcam placed below a glass tank records fish swimming behavior. During operant conditioning, a fish must interrupt an infrared beam at one location to obtain a small food reward at the same or different location. A timing-gated interrupt activates robotic-arm and feeder stepper motors via custom software controlling a microprocessor (Arduino). “Ardulink”, a JAVA facility, implements Arduino-computer communication protocols. In this way, full automation of stimulus-conditioned directional swimming is achieved. Precise multi­day scheduling of training, including timing, location and intensity of stimulus parameters, and feeder control is accomplished via a user-friendly interface. Our training paradigm permits tracking of learning by monitoring, turning, location, response times and directional swimming of individual fish. This facilitates comparison of performance within and across a cohort of animals. We demonstrate the ability to train and test zebrafish using visual and auditory stimuli. Current methods used for associative conditioning often involve human intervention, which is labor intensive, stressful to animals, and introduces noise in the data. Our relatively simple yet flexible paradigm requires a simple apparatus and minimal human intervention. Our scheduling and control software and apparatus (NemoTrainer) can be used to screen neurologic drugs and test the effects of CRISPR­-based and optogenetic modification of neural circuits on sensation, locomotion, learning and memory.

Determining precise boundaries and protective zones for historical and cultural objects enables their effective preservation. This is particularly crucial in the face of increasing tourism, urbanization, and natural disasters. Accurately defining boundaries and protective zones can aid in the planning of scientific research, archaeological excavations, and other studies aimed at exploring the history and cultural significance of these objects. The article presents the framework for establishing protective zones around historical and cultural heritage sites existing in Ukraine, using the example of the Citadel defensive complex located in Lviv (Ukraine). It proposes general and detailed conceptual models for the combined application of remote and non-invasive methods for investigating historical and cultural heritage sites. This conceptual article introduces the theory of integrating radar satellite imaging with ground-based georadar imaging. Additionally, it presents a software module that has been developed to analyze collected data on two-dimensional historical and cultural heritage objects, refine their boundaries, and establish protective zones around them.

In systems biology, biological phenomena are often modeled by ODE and distributed in the de facto standard file format SBML. The primary analyses performed with such models are dynamic simulation, steady-state analysis, and parameter estimation. These methodologies are mathematically formalized, and libraries for such analyses have been published. Several tools exist to create, simulate, or visualize models encoded in SBML. However, setting up and establishing analysis environments is a crucial hurdle for non-modelers. Therefore, easy access to perform fundamental analyses of ODE models is a significant challenge. We developed SBMLWebApp, a web-based service to execute SBML-based simulations, steady-state analysis, and parameter estimation directly in the browser without the need for any setup or prior knowledge to address this issue. SBMLWebApp visualizes the result and numerical table of each analysis and provides a download of the results. SBMLWebApp allows users to select and analyze SBML models directly from the BioModels Database. Taken together, SBMLWebApp provides barrier-free access to an SBML analysis environment for simulation, steady-state analysis, and parameter estimation for SBML models. SBMLWebApp is implemented in Java™ based on an Apache Tomcat® web server using COPASI, the SBSCL, and LibSBMLSim as simulation engines. SBMLWebApp is licensed under MIT with source code available from https://github.com/TakahiroYamada/SBMLWebApp. The program runs online at http://simulate-biology.org.

This study examines the moderating effect of trained human capital on the associations of accounting information systems, generalized auditing software, and technology adoption with the performance of external auditors among Saudi listed companies. This study used a survey-based methodology. The final sample consisted of 136 responses with an 8% response rate. Using Smart-PL4 analysis, the results showed that there is a positive correlation between accounting information systems and external auditors. Conversely, a negative relationship between generalized auditing software and external auditors has been documented. In addition, this study reported a negative association between technology adoption and external auditors. However, the results highlight the positive relationship between trained human capital and external auditors. Overall, this study provides valuable insights for accounting and auditing policymakers on how external auditors’ performance is influenced by several factors in the Saudi audit market.

This review paper gives Excel functions for highly precise Colebrook’s pipe flow friction approximations developed by users. All shown codes are implemented as User Defined Functions – UDFs written in Visual Basic for Applications – VBA, a common programming language for MS Excel spreadsheet solver. Accuracy of the friction factor computed using nine to date the most accurate explicit approximations is compared with the sufficiently accurate solution obtained through an iterative scheme which gives satisfying results after sufficient number of iterations. The codes are given for the presented approximations, for the used iterative scheme and for the Colebrook equation expressed through the Lambert W-function (including its cognate Wright ω-function). The developed code for the principal branch of the Lambert W-function has additional and more general application for solving different problems from variety branches of engineering and physics. The approach from this review paper automates computational processes and speeds up manual tasks.

Taiwan’s Chi Mei Medical Center has a vision of becoming a sustainable organization. They found they violated the sustainable development goal (SDG) 13 (“Climate Action”) since its workflows consume excessive tangible resources and waste much operation time. To fulfill the vision, the Chi Mei Medical Center first introduced electronic invoicing. Implementing this electronic invoicing included adopting cloud E-invoice data and creating a software robot for auditing them. This study presents this software robot and its contributions. The software robot replaces an internal auditor to log into Taiwan’s E-invoice platform, download cloud E-invoice data, and detect the inconsistency between these cloud and on-premise data. Internal auditors of the Chi Mei Medical Center only needed to confirm the detection results. They welcome this software robot since it significantly reduces their work burdens. They approved more software robots for assisting other workflows. Besides, the Chi Mei Medical Center earned profits after eliminating paper invoices. This elimination helped release less carbon. This study concludes that chasing a sustainable organization is unnecessarily equivalent to the requirement of more costs. A software robot represents the last puzzle for constructing a paperless workflow since it can resolve the resistance of existing workers to a new workflow.

This paper introduces the spatial component in cross-section econometric estimations and specifically, the spatial dependence effect inherent in some of the variables involved in the modelling process. First, the spatial structure of the data from thematic maps is observed and Moran's spatial autocorrelation indicators are presented. Subsequently, the spatial weights matrix is built under different specifications. Finally, several modelling specification strategies are shown and the interpretation of the estimated coefficients. The theoretical concepts are illustrated with examples and their corresponding R software codes. This code and databases are available in a freely accessible repository in the BE2SHARE-EUDAT platform so that they can be easily reproduced.

In the current manuscript, a novel software application for Rapid Damage Assessment of RC buildings subjected to earthquake excitation is presented based on Artificial Neural Networks. The software integrates the use of a novel deep learning methodology for Rapid Damage Assessment into modern software development platforms, while the developed graphical user interface promotes the ease of use even from non-experts. The aim is to foster actions both in the pre- and post- earthquake phase. The structure of the source code permits the usage of the application either autonomously as a software tool for Rapid Visual Inspections of buildings prior to or after a strong seismic event or as a component of Building Information Modelling systems in the framework of digitizing building data and properties. The methodology implemented for the estimation of the RC buildings’ damage states is based on the theory and algorithms of Pattern Recognition problems. The effectiveness of the developed software is successfully tested using an extended, numerically generated database of RC buildings subjected to recorded seismic events

The number and size of computational models in biology have drastically increased over the past years and continue to grow. Modeled networks are becoming more complex, and reconstructing them from the beginning in an exchangeable and reproducible manner is challenging. Using precisely defined ontologies enables the encoding of field-specific knowledge and the association of disparate data types. In computational modeling, the medium for representing domain knowledge is the set of orthogonal structured controlled vocabularies named Systems Biology Ontology ( SBO). The SBO terms enable modelers to explicitly define and unambiguously describe model entities, including their roles and characteristics. Here, we present the first standalone tool that automatically assigns SBO terms to multiple entities of a given SBML model, named the SBOannotator. The main focus lies on the reactions, as the correct assignment of precise SBO annotations requires their extensive classification. Our implementation does not consider only top-level terms but examines the functionality of the underlying enzymes to allocate precise and highly specific ontology terms to biochemical reactions. Transport reactions are examined separately and are classified based on the mechanism of molecule transport. Pseudo-reactions that serve modeling purposes are given reasonable terms to distinguish between biomass production and the import or export of metabolites. Finally, other model entities, such as metabolites and genes, are annotated with appropriate terms. Including SBO annotations in the models will enhance the reproducibility, usability, and analysis of biochemical networks. Availability: The open-source project SBOannotator is freely available under the terms of LGPL version 3.0 from https://github.com/draeger-lab/SBOannotator/.

We present a new computing package Flagser, designed to construct the directed flag complex of a finite directed graph, and compute persistent homology for flexibly defined filtrations on the graph and the resulting complex. The persistent homology computation part of Flagser is based on the program Ripser [2], but is optimised specifically for large computations. The construction of the directed flag complex is done in a way that allows easy parallelisation by arbitrarily many cores. Flagser also has the option of working with undirected graphs. For homology computations Flagser has an Approximate option, which shortens compute time with remarkable accuracy. We demonstrate the power of Flagser by applying it to the construction of the directed flag complex of digital reconstructions of brain microcircuitry by the Blue Brain Project and several other examples. In some instances we perform computation of homology. For a more complete performance analysis, we also apply Flagser to some other data collections. In all cases the hardware used in the computation, the use of memory and the compute time are recorded.

The activity of prioritizing software requirements should be done as efficiently as possible. Selecting the most stable requirements for the most important customers for the development company can be a positive factor when we consider that the available resource does not always encompass the implementation of all requirements. Quantitative methods for reaching software prioritization in releases are many in the field of Search-Based Software Engineering (SBSE). However, we show that it is possible to use qualitative Verbal Decision Analysis (VDA) methods to solve this same type of problem. Moreover, we will use the ZAPROS III-i methods to prioritize requirements considering the opinion of the decision-maker, who will participate in this process. Finally, the results obtained in the VDA structured methods were quite satisfactory when compared to the methods using SBSE. A comparison of results between quantitative and qualitative methods will be made and discussed later.

Bacterial Calcium-carbonate Precipitation (BCP) has been studied for multiple applications such as remediation, consolidation and cementation. Isolation and screening of strong calcifying bacteria is the main task of BCP-technique. In this paper we studied CaCO₃ precipitation by different bacteria isolated from a rhizospheric soil in both solid and liquid media. It has been found, through culture-depending studies, that bacteria belonging to Actinobacteria, Gammaproteobacteria and Alphaproteobacteria are the dominant bacteria involved in CaCO₃ precipitation in this environment. Pure and mixed cultures of selected strains were applied for sand biocementation experiments. Scanning Electron Microscopy (SEM) and Energy Dispersive X-ray Spectroscopy (EDS) analyses of the biotreated samples revealed the biological nature of the cementation and the effectiveness of the biodeposition treatment by mixed cultures. X-ray diffraction (XRD) analysis confirmed that all the calcifying strains selected for sand biocementation precipitated CaCO₃, mostly in the form of calcite. In this study Biolog® Eco-plate is evaluated as a useful method for a more targeted choice of the sampling site with the purpose of obtaining interesting candidates for BCP applications. Furthermore, ImageJ software was investigated, for the first time to our knowledge, as a potential method to screen high CaCO₃ producer strains.

This research provides a computationally efficient numerical tool for predicting 3-D turbulent flows over hydrofoils. It addresses a gap in existing numerical methods by extending the capabilities of the laminar VIScous Vorticity Equation (VISVE) solver to handle 3-D turbulent flow scenarios. The implementation integrates the k − ω SST model into the 3-D VISVE solver using the Finite Volume Method (FVM), extending its capability to handle turbulent flows. The turbulence model is also parallelized to improve computational efficiency. The application of the newly developed model to 3-D hydrofoil cases expands its scope and serves as preparatory work for future rotational propeller applications. Rigorous testing includes a convergence analysis concerning grid numbers and time step sizes, and validation against a Reynolds-Averaged Navier-Stokes (RANS) solver ensures the reliability and accuracy of the enhanced VISVE solver for turbulent flow simulations. The turbulent VISVE solver offers advantages such as reduced computational domain and costs through a vorticity-based approach. Turbulence concentration within boundary layers and free shear flows does not compromise the advantages of the small computational domain. The simplified meshing process, automatically generated by denoting the number of panels on the hydrofoil, makes the solver accessible for researchers and engineers.

Efficient traffic management at signalized intersections is integral to urban infrastructure development, requiring accurate estimation of delay times to mitigate congestion and enhance overall transportation systems. Traditional methodologies, including empirical observations and microsimulation software, have been prevalent in assessing delay times; however, their limitations have prompted the exploration of novel technologies like LiDAR (Light Detection and Ranging) sensors. This research study investigates and compares the accuracy of delay time estimations obtained from LiDAR sensor technology with those derived from microsimulation in AIMSUN. LiDAR sensors, known for their high-resolution, real-time data collection capabilities, offer a promising avenue for precise measurement of delay times at signalized intersections. Nonetheless, challenges in sensor placement, environmental influences, and data processing complexities suggest the need for further development and validation. In parallel, microsimulation software, exemplified by AIMSUN, provides a virtual platform for scenario testing but relies on assumptions that may not always mirror real-world traffic dynamics accurately. The comparative analysis conducted in this study aims to critically examine the discrepancies and potential complementarity between delay times obtained from LiDAR sensor technology and those derived from microsimulation in AIMSUN. The research involves an in-depth evaluation of real-time, high-resolution data collected by LiDAR sensors, assessing their accuracy in capturing the intricate movements and behavior of vehicles at signalized intersections. Simultaneously, AIMSUN microsimulation delay time models are scrutinized for their ability to accurately replicate these observed delay times. The disparities identified serve as critical insights into the challenges of both methodologies, prompting the discussion on the prospects of integrating LiDAR-derived data and microsimulation calibration processes to enhance the precision and reliability of delay time estimations. Future traffic management strategies can significantly benefit from a more accurate understanding of delay times, and this study endeavors to contribute to the advancement of methodologies in traffic engineering for more effective urban transportation systems.The paper's findings illuminate the potential and limitations of both LiDAR sensor technology and microsimulation in estimating delay times at signalized intersections. The results highlighted that the LiDAR sensors could accurately calculate delay times at a signalized intersection. Furthermore, the calculated delay time differences by LiDAR and AIMSUN at three days with the highest vehicle volumes (counts) are always less than 6.5%.

This paper explores the challenges of providing services of general interest in rural areas of Germany and proposes co-created mobility software solutions to address the specific needs of these regions. The research is part of the Smarte.Land.Regionen project, which aims to improve digital public services at the district level. Focusing on rural mobility, the paper introduces the concept of ride-sharing benches as a potential solution. Through workshops, surveys and market research, the study identifies barriers to the adoption of ride-sharing benches and investigates factors contributing to their success. The proposed software solution emphasizes user-centered development, geographic location of benches and prioritized matching of passengers. Findings highlight safety concerns, lack of reliability, and the importance of getting people who are theoretically interested in solutions to actively participate in them. The paper emphasizes the importance of collaborative development with county stakeholders. Future research should focus on sustaining and scaling digital solutions, measuring their impact on rural mobility, and ensuring their transferability to other regions. The ultimate goal is to contribute to inclusive and sustainable rural development by improving access to digital public services and promoting the adoption of tailored mobility solutions.

Background: The outbreak of the severe acute respiratory syndrome coronavirus-2 (SARS-CoV-2) resulted in the global COVID-19 pandemic. The urgency for an effective SARS-CoV-2 vaccine has led to the development of a first series of vaccines at unprecedented speed. The discovery of SARS-CoV-2 spike-glycoprotein mutants, however, and consequentially the potential to escape vaccine-induced protection and increased infectivity, demonstrates the persisting importance of monitoring SARS-CoV-2 mutations to enable early detection and tracking of genomic variants of concern. Results: We developed the CoVigator tool with three components: 1) a knowledge base that collects new SARS-CoV-2 genomic data, processes it and stores its results; 2) a comprehensive variant calling pipeline; 3) an interactive dashboard highlighting the most relevant findings. The knowledge base routinely downloads and processes virus genome assemblies or raw sequenc-ing data from the COVID-19 Data Portal (C19DP) and the European Nucleotide Archive (ENA), respectively. The results of the variant calling pipeline are visualized through the dashboard in the form of tables and customizable graphs, making it a versatile tool for tracking SARS-CoV-2 variants. We put a special emphasis on the identification of intrahost mutations and make available to the community what is, to the best of our knowledge, the largest dataset on SARS-CoV-2 intrahost mutations. In the spirit of open data, all CoVigator results are available for download. The CoVigator dashboard is accessible via covigator.tron-mainz.de. Conclusion: With increasing demand worldwide in genome surveillance for tracking the spread of SARS-CoV-2, CoVigator will be a valuable resource of up-to-date list of mutations, which can be incorporated into global efforts to sustainably prevent or treat infections.

In this study, the application of the main algorithms used for SDM, namely Boosted Regression Tree (BRT), Generalized Linear Model (GLM), Multivariate Adaptive Regression Splines (MARS), Maximum Entropy (MAXENT) and Random Forest (RF), were considered in order to simulate the citrus probability of distribution in a Mediterranean area, based on presence data and a random background sample, and in relation to several predictors. The predictors were grouped under 19 bioclimatic variables, elevation described through a Digital terrain model, soil physical properties, and irrigation. Sensitivity analysis was carried out by: modifying the values of the main models’ parameters; and reducing the input presence points.

Noise in requirements has been known to be a defect in software requirements specifications (SRS). Detecting defects at an early stage is crucial in the process of software development. Noise can be in the form of irrelevant requirements that are included within a SRS. A previous study had attempted to detect noise in SRS, in which noise was considered as an outlier. However, the resulting method only demonstrated a moderate reliability due to the overshadowing of unique actor words by unique action words in the topic-word distribution. In this study, we propose a framework to identify irrelevant requirements based on the MultiPhiLDA method. The proposed framework distinguishes the topic-word distribution of actor words and action words as two separate topic-word distributions with two multinomial probability functions. Weights are used to maintain a proportional contribution of actor and action words. We also explore the use of two outlier detection methods, namely Percentile-based Outlier Detection (PBOD) and Angle-based Outlier Detection (ABOD), to distinguish irrelevant requirements from relevant requirements. The experimental results show that the proposed framework was able to exhibit better performance than previous methods. Furthermore, the use of the combination of ABOD as the outlier detection method and topic coherence as the estimation approach to determine the optimal number of topics and iterations in the proposed framework outperformed the other combinations and obtained sensitivity, specificity, F1-score, and G-mean values of 0.59, 0.65, 0.62, and 0.62, respectively.

Neutral beam injection (NBI) is used for thermonuclear plasma heating, non-inductive current drive, rotation, operation scenario control, and for plasma diagnostics in nuclear fusion devices. NBI is the main source of fast particles in plasma which transmit energy to thermal plasma during their slow-down. Steady-state tokamak operation is only possible when the sub-thermal particles energy is absorbed and effectively confined in plasma volume. While NBI purposes and applications vary through different fusion systems, the engineering tasks performed during research and development (R&D) stage of neutral beamline design have much in common. The NBI studies, especially addressing long pulse and high-power operation typically include a beam transmission analysis and power loads distribution at the structural components of the beamline. Thermo-structural analysis is applied next to heat removal circuits design. ‘Beam Transmission’ (BTR) code is a dedicated tool, developed by a physicist and used by NBI physicists and engineers. BTR was created and 1^st applied during R&D phase of the world’s largest tokamak ITER. BTR code is intended for public usage and routinely applied for detailed simulations of neutral beam propagation through complex beamlines. BTR is flexible and intuitive in input, user-friendly and fully interactive. Thanks to visualization and high performance BTR looks and feels like a real NB flight simulator. Despite BTR ‘mature’ age, the code is still in evolution. Support is available to all new BTR users.

Background: The Davidson Airway Function & Nasal Evaluation (DAFNE) Scoring System was developed as an intuitive and research-based scoring system that could be validated through beta testing and easily introduced to healthcare providers of several subspecialties who treat nasal obstruction and breathing disorders (MDs, PAs, PTs, APRNs, DDSs, and DCs). This scoring system was shown to increase the knowledge of airway function, nasal measurement parameters, and identification of proper treatment options for sleep and breathing disorders. The basis for the DAFNE score was developed from a systematic review of nasal measurement data. Methods: Electronic searches of PubMed, MEDLINE, EMBASE Cochrane Library, and Scopus of publications between 1988-2022 were used to identify studies validating nasal function measurement parameters to create the algorithm for the DAFNE Score™. The systematic review was accomplished using the 2020 ‘Preferred Reporting Items for Systematic Reviews’ (PRISMA) guidelines. Results: Twenty studies met the inclusion criteria for systematic review. Primary outcomes measurements demonstrated reliability, repeatability and validity of the DAFNE measurement technologies, data and output. Conclusions: The data analysis and systematic review uncovered a need and framework to develop and validate a web-based software algorithm for global access to improve the understanding of data interpretation of nasal measurements from three nasal measurement technologies. DAFNE Scoring should be used as an adjunct tool in routine clinical practice and research to further understand the technology data output and how to collaborate with other healthcare providers to improve patient outcomes.

Abstract: Mass spectrometry research laboratories reported multiple probes for ambient ionization in the last years. Combining them with a mechanical moving stage enables automated sampling and imaging applications. We developed a robotic platform, which is based on RepRap 3D-printer components, and therefore easy to reproduce and to adopt for custom prototypes. The minimal step width of the Open LabBot is 12.5 μm, and the sampling dimensions (x, y, z) are 18 × 15 × 20 cm. Adjustable rails in an aluminium frame construction facilitate the mounting of additional parts such as sensors, probes, or optical components. The Open LabBot uses industry-standard G-code for its control. The simple syntax facilitates the programming of the movement. We developed two programs: 1) LABI-Imaging, for direct control via a USB connection and the synchronization with MS data acquisition. 2) RmsiGUI, which integrates all steps of mass spectrometry imaging: The creation of G-code for robot control, the assembly of imzML files from raw data and the analysis of imzML files. We proved the functionality of the system by the automated sampling and classification of essential oils with a PlasmaChip probe. Further, we performed an ambient ionization mass spectrometry imaging (AIMSI) experiment of a lime slice with laser desorption low-temperature plasma (LD-LTP) ionization, demonstrating the integration of the complete workflow in RmsiGUI. The design of the Open LabBot and the software are released under open licenses to promote their use and adoption in the instrument developers’ community.

Cryo electron microscopy (cryo-EM) instrumentation allows obtaining 3D reconstruction of the structure of biomolecular complexes in vitro (purified complexes studied by single particle analysis) and in situ (complexes studied in cells by cryo electron tomography). Standard cryo-EM approaches allow high-resolution reconstruction of only a few conformational states of a molecular complex, as they rely on data classification into a given number of classes to increase the resolution of the reconstruction from a few, most populated classes and discard all other classes. Such discrete-classification approaches result in a partial picture of the full conformational variability of the complex, due to continuous conformational transitions with many, uncountable intermediate states. In this article, we present the software with user-friendly graphical interface for running two recently introduced methods, namely MDSPACE and MDTOMO, to obtain continuous conformational landscapes of biomolecules by analyzing in vitro and in situ cryo-EM data (single particle images and subtomograms) based on molecular dynamics simulations of an available atomic model of one of the conformations. The MDSPACE and MDTOMO software is part of the open-source ContinuousFlex package, which can be run as a plugin of the Scipion software package, broadly used in the cryo-EM field.

Abstract: Background: The diagnosis of nasal airway disorders relies on questionnaires, subjective data, and objective data. Interpretation of objective data obtained from measurement technology is not well understood by providers and researchers who use the equipment to test nasal airway function, justifying the need to cre-ate a new clinical tool. The Davidson Airway Function & Nasal Evaluation (DAFNE) Scoring System is a web-based scoring system that allows healthcare providers (MDs, PAs, PTs, APRNs, DMDs, DDSs, SLPs, and DCs) and researchers who treat nasal obstruction and breathing disorders to make more accurate diagnostic decisions, select the appropriate treatment for individualized patient care, monitor treatment progression and outcomes, and show how to approach a collaborative care model with other healthcare professionals. The current technologies, such as 4-phase rhinomanometry, use a simple approach that relies on a measurement tracing intersecting a color-coded y-axis on a four-quadrant graph with diagnostic numeric data output de-scribing nasal airflow and resistance. This is a good source of biofeedback demonstrating abnormal nasal breathing patterns but lacks interpretation guidelines to describe the severity of disease. The more sophisti-cated proprietary DAFNE approach uses multiple parameters which include airflow restriction, speed, vol-ume, and patient characteristics to identify patients’ disease progression much more accurately. Additionally, it explains how to segregate patients into appropriate treatment options which minimizes risks and compli-cations associated with sleep and breathing disorders while improving patient outcomes. Methods: Electronic searches of PubMed, MEDLINE, EMBASE Cochrane Library, and Scopus of publications between 1988-2022 were necessary to identify studies which determined the ranges of nasal function measurement parameters among three airway measurement technologies used in writing the DAFNE Score algorithm. The performance of DAFNE was evaluated compared to the research data and patient demographics used in previous studies. Results: By using primary outcome measurements from the literature, we were able to create a reliable, re-peatable, and validated tool to facilitate patient identification, treatment stratification, and collaboration for sleep and nasal breathing dysfunction. Subsequently, we found DAFNE could be used to identify the appro-priateness of a sleep study. Conclusions: DAFNE Scoring System has demonstrated the ability to detect high risk patients in the pediatric and adult populations susceptible of sleep apnea and breathing dysfunction needing a sleep study and treatment to improve nasal airway function and sleep. DAFNE Scoring System should be used as an adjunct tool in routine clinical practice and research to further understand the technol-ogy data output, identify patients at risk, stratify treatment options, progress, and stabilization after treatment, and how to collaborate with other healthcare providers to improve patient outcomes.

The evolutionary systems (ES) include software applications that solve problems using heuristic methods instead of the deterministic ones. The classical computing used for ES development involves random methods to improve different kinds of genomes. The mappings of these genomes lead to individuals that correspond to the searched solutions. The individual evaluations by simulations serve for the improvement of their genotypes. Quantum computations, unlike the classical computations, can describe and simulate a large set of individuals simultaneously. This feature is used to diminish the time for finding the solutions. Quantum Petri Nets (QPNs) can model dynamical systems with probabilistic features that make them appropriate for the development of ES. Some examples of ES applications using the QPNs are given to show the benefits of the current approach.

This paper focuses on the combination of the method of moments and the wire-grid approximation as an effective computational technique for modeling symmetrical antennas with low computational cost and quite accurate results. The criteria and conditions for the use of wire-grid surface approximation from various sources are presented together with new recommendations for modeling symmetrical antenna structures using the wire-grid approximation. These recommendations are used to calculate the characteristics of biconical and horn antennas at different frequencies. The results obtained using different grid and mesh settings are compared to those obtained analytically. Moreover, the results are compared to those obtained using the finite difference time domain numerical method, as well as the measured ones. All results are shown to be in a good agreement. The used recommendations for building a symmetrical wire-grid of those symmetrical antenna elements provided the most advantageous parameters of the grid and mesh settings and the wire radius, which are able to give a quite accurate results with low computational cost. Additionally, the known equal area rule was modified for a rectangular grid form. The obtained radiation patterns of a conductive plate using both the original rule and the modified one are compared with the electrodynamic analysis results. It is shown that the use of the modified rule is more accurate when using a rectangle grid form.

In software development, developers received bug reports that describe the software bug. Developers find the cause of bug through reviewing the code and reproducing the abnormal behavior that can be considered as tedious and time-consuming processes. The developers need an automated system that incorporates large domain knowledge and recommends a solution for those bugs to ease on developers rather than spending more manual efforts to fixing the bugs or waiting on Q&A websites for other users to reply to them. Stack Overflow is a popular question-answer site that is focusing on programming issues, thus we can benefit knowledge available in this rich platform. This paper, presents a survey covering the methods in the field of mining software repositories. We propose an architecture to build a recommender System using the learning to rank approach. Deep learning is used to construct a model that solve the problem of learning to rank using stack overflow data. Text mining techniques were invested to extract, evaluate and recommend the answers that have the best relevance with the solution of this bug report.

We introduce PyNTA, a modular instrumentation software for live particle tracking. By using the multiprocessing library of Python and the distributed messaging library pyZMQ, PyNTA allows users to acquire images from a camera at close to maximum readout bandwidth while simultaneously performing computations on each image on a separate processing unit. This publisher/subscriber pattern generates a small overhead and leverages the multi-core capabilities of modern computers. We demonstrate capabilities of the PyNTA package on the featured application of nanoparticle tracking analysis. Real-time particle tracking on megapixel images at a rate of 50 Hz is presented. Reliable live tracking reduces the required storage capacity for particle tracking measurements by a factor of approximately 10³, as compared with raw data storage, allowing for a virtually unlimited duration of measurements

Software defect prediction is an important means to guarantee software quality. Because there are no sufficient historical data within a project to train the classifier, cross-project defect prediction (CPDP) has been recognized as a fundamental approach. However, traditional defect prediction methods using feature attributes to represent samples, which can not avoid negative transferring, may result in poor performance model in CPDP. This paper proposes a multi-source cross-project defect prediction method based on dissimilarity space ( DM-CPDP). This method first uses the density-based clustering method to construct the prototype set with the cluster center of samples in the target set. Then, the arc-cosine kernel is used to form the dissimilarity space, and in this space the training set is obtained with the earth mover’s distance (EMD) method. For the unlabeled samples converted from the target set, the KNN algorithm is used to label those samples. Finally, we use TrAdaBoost method to establish the prediction model. The experimental results show that our approach has better performance than other traditional CPDP methods.

In this paper a dynamic relationship between the CO2 emissions in Finland, Norway and Sweden is presented. With the help of a VAR(2) model, and using the Granger terminology, it is shown that the emissions in Finland are affecting those in Norway and Sweden. Other aspects of this dynamic relationship are presented as well.

This study employed e-Vol DX cone beam computed tomography (CBCT) software to assess dentin remnants in the furcation area of mesial canals in mandibular molars during root canal retreatment (RCR). Four groups (Reciproc®, ProTaper Next®, Race Evo®, Protaper Gold®) were subjected to RCR, and CBCT images were captured before (T1) and after (T2) treatment. Measurements of remaining dentin thickness at 1 mm and 3 mm below the furcation were scrutinized. Results revealed no significant differences in mean thicknesses of mesiobuccal (MB) and mesiolingual (ML) canals at 1 mm and 3 mm from the furcation pre-treatment (T1). Post-treatment (T2) showed analogous findings, with no significant differences in mean thicknesses. However, disparities surfaced between MB and ML canals at both distances, both before and after retreatment. In essence, the evaluated instruments exhibited safety in RCR, implying their appropriateness for use in critical areas of mandibular molars without inducing excessive wear. This study underscores the instruments' reliability in navigating danger zones during RCR, contributing valuable insights for dental practitioners handling complex root canal scenarios in mandibular molars.

: Medial temporal lobe atrophy (MTA) remains an important imaging biomarker in brain magnetic resonance imaging (MRI) for diagnosing and evaluating Alzheimer's disease (AD). We compared the detection performance for determining significant MTA and the correlation with Scheltens' scale between two automatic volumetry software, NeuroQuant® and Aqua®, in non-AD and AD groups. Overall, 127 (non-AD, 54; AD, 73) individuals who underwent three-dimensional T1-weighted volumetric MRI in our hospital between January and August 2011 were enrolled and retrospectively analyzed using NeuroQuant® and Aqua®. The accuracy, sensitivity, and specificity for detecting significant MTA and the correlation for Scheltens' scale with the mean hippocampal volume of each software were evaluated. The study sample’s mean age was 78 (range, 59–97) years. Regarding accuracy and specificity, Aqua® was non-inferior to NeuroQuant®. Aqua® had significantly higher overall specificity than NeuroQuant® for detecting significant MTA. Additionally, the calculated mean hippocampal volume of Aqua® was more correlated with Scheltens' scale (Kendall's τ, - 0.48) than that of NeuroQuant® (Kendall's τ, - 0.20). The accuracy and specificity of Aqua® in detecting MTA are not inferior to those of NeuroQuant®. Additionally, Aqua® has a stronger correlation of mean hippocampal volume with Scheltens' scale than NeuroQuant®.