Explore the vast range of titles available.

Transfer nodes are essential elements of public transport systems which provide door-to-door transport services for passengers. Parameters of the technological processes in public transport systems are stochastic variables, thus, computer simulations are usually used for solving optimization problems of public transport. There is a number of simulation tools supporting decision-making in public transportation, but they don't provide the flexibility for solving the transfer nodes optimization problems. Authors present a library of classes implemented in Python, which could be used for computer simulations of public transfer nodes. The proposed software allows researchers to change technological parameters during simulation procedures and makes possible automatization of simulation experiments in the field of passengers' transportation.

In this study, researchers examined the math-related expository books found in 23 first-grade classroom libraries to determine specific mathematical concepts related to counting and cardinality and operations and algebraic thinking addressed in each. In addition, they examined how these concepts aligned with the first-grade Common Core State Standards for Mathematics. Results indicate that most of these texts contained concepts related to counting and cardinality but were better aligned with kindergarten standards than the first-grade standards. Very few of the books contained content related to operations and algebraic thinking and again, those that did focused on content more appropriate for kindergarten students.

The two studies examined in this paper compare the different mathematical opportunities provided in preschool classrooms in China, Japan, and the United States, with an emphasis on mathematical-themed books in classroom libraries. Study one presents the results of an online survey to examining the content of preschool classroom libraries in China (N = 134), Japan (N = 168), and the United States (N = 291). Study two presents data obtained from semi-structured interviews of teachers in China (N = 8), Japan (N = 8), and the United States (N = 8). The interviews examined teacher perceptions of how they teach mathematics, the importance of teaching mathematics, and the use of the classroom library as a venue for mathematics. Study one results indicated that teachers from all three countries encourage classroom library use; however, teachers from China reported more mathematics storybooks than their Japanese or United States counterparts. Study two results indicated that teachers from all three countries viewed mathematics as important and provided various mathematics learning opportunities to children throughout the school day. Chinese teachers reported providing the most mathematics learning opportunities using whole group instruction, mathematics centers, and free play. Japanese teachers reported few whole group forms of instruction other than circle time but reported providing opportunities for using mathematics during free play and other embedded activities. United States teachers indicated that mathematics learning occurred using whole group instruction and mathematics centers.

Nowadays, thanks to the development of e-commerce websites, businesses can capitalize on many benefits, for example, there are many methods of approaching customers online. Customers can interact with the product on the system, leave comments or reviews about the product, and capitalize on these interactions helps a lot to reach target customers. Many authors have studied machine learning models to build recommendation systems. The common point of the recommendation system is to filter out the products that are most relevant to the customer in order to retain them longer and to improve the customer’s product experience. In this paper, a new recommendation model called ML.Recommend combined with Microsoft’s ML.NET machine learning platform is proposed. This model provides a full cycle of recommendation modeling, including the steps of preprocessing, model training, model evaluation, model saving and usage. ML.Recommend uses the matrix factor and time factor combination for product recommendations based on ratings and logistic regression for customer comments about products. In this model, we provide a set of interactive class libraries, data, and class models that are implemented based on user evaluations of each interactive product over time. The model recommends corresponding products based on the expected score for the customer that a user has configured. The data are experimented on the e-commerce website called UEL Store and the UCI sentiment labeled sentences dataset. Measurement parameters such as mean absolute error, mean square error, root-mean-square error, R -squared and area under the curve are applied to evaluate the model. Finally, the ML.Recommend model was published on Microsoft’s NuGet system, so that other researchers could use and extend this model.

This article discusses the use of the DotSpatial library to develop a desktop GIS in Visual Studio using the C# language. The library provides features like memory management, security and exception handling etc. The class library provides the developer with libraries for web application development, user interface design, database connectivity, network connectivity etc. The article describes the main working functions of the software for the information and reference system HydroUZ

Numerous universities and national laboratories in the United States have collaboratively established a Common Component Architecture (CCA) forum to conduct research on parallel component technology. Given the overhead associated with component connection and management, performance optimization is of utmost importance. Current research often employs static load-balancing strategies or centralized dynamic approaches for load-balancing in parallel component applications. By analyzing the operational mechanism of CCA parallel components, this paper introduces a dynamic and distributed load-balancing method for such applications. We have developed a class library of computing nodes utilizing an object-oriented approach. The resource-management node deploys component applications onto sub-clusters generated by an aggregation algorithm. Dependency among different component calls is determined through data flow analysis. We maintain the load information of computing nodes within the sub-cluster using a distributed table update algorithm. By capturing the dynamic load information of computing nodes at runtime, we implement a load-balancing strategy in a distributed manner. Our dynamic and distributed load-balancing algorithm is capable of balancing component instance tasks across different nodes in a heterogeneous cluster platform, thereby enhancing resource utilization efficiency. Compared to existing static or centralized load-balancing methods, the proposed method demonstrates superior performance and scalability.

Automated testing of complex software systems can be a challenging task, and today there are a large number of methods for its implementation. One such method is metamorphic testing, which effectively solves the problems of usual methods and is gaining popularity. However, performing metamorphic tests can take a long time, so the question arises of their distributed running, including in the cloud. Thus, the authors of this study considered the designing of a cloud serverless architecture of software for metamorphic testing. The serverless architecture for metamorphic testing is proposed, which is based on the composition of the entire system from 5 individual components: models, data generator, software artifact under test, metamorphic relations, and serverless functions. For each of the main possible types of software artifacts, the possibility of using a serverless architecture for metamorphic testing is considered. The developed architecture is presented in the form of component, deployment, and sequence diagrams. The use of the proposed architecture in practice is shown by the example of testing two software artifacts – a class library and a web application. Performance measurements have shown that despite the additional network delay when running one test, the performance of all tests in general in the case of a serverless architecture is closer to local startup and will be faster with increasing complexity and number of tests.

PurposeThis paper aims to describe how one medical library implemented a new scheduling system, initiated data analysis and modified its regularly scheduled workshop program because of evidence-based decision-making. Academic libraries that struggle with workshop attendance may use this process as a model.Design/methodology/approachWorkshop registration data analysis focused on registrants' affiliation, role and location, and how registrants learned of workshops. Workshop attendance data analysis focused on which workshops, days, times of the day and months had the highest attendance. The analysis led to changes in marketing and targeted scheduling of future workshops by the time of day, day of the week and month of the year.FindingsData collected for four years, fall 2018 – summer 2022 (12 semesters), shows a steady increase in the number of people attending library workshops. The increase in attendance and ROI experienced after the changes implemented at Ruth Lilly Medical Library (RLML) is significant as libraries often struggle with attendance, marketing and return on investment when offering ongoing educational workshops.Originality/valueMany libraries offer ongoing workshops with low attendance. This article provides an example of how one library changed software and registration and implemented evidence-based decision-making related to scheduling which may have contributed to an increase in workshop attendance. Other academic libraries might consider adopting similar software and evidence-based decision-making to improve their library workshop service.

A method for solving grid equations in areas with geometry \"stretched\" along one of the spatial directions is proposed. Method proposed for model includes pollutants whose concentration in the Azov Sea, according to the analysis of scientific publications and environmental databases, exceeds the maximum permissible concentration (MPC). The mechanism of the preconditioner formation is described. The estimation of the minimum and maximum eigenvalues is performed. Using object-oriented analysis and design, a class library has been implemented to solve the problem of impurity propagation in a shallow reservoir. The architecture of an information system to support scientific research capable of functioning in conditions of using heterogeneous computing environments is described. The system is based on the requirement of the maximum possible use of free software in order to minimize capital and operational costs. The system uses classes that allow you to read and write information about the geometry of the object under study and the parameters of the calculated grid. Numerical experiments were carried out using the developed software package, including the proposed mathematical model, focused on the multiprocessor computing system (MCS). The dependences of the SLAE solution time on the number of diagonals and the order of the matrix are obtained. The number of iterations for solving grid equations has been experimentally determined depending on the ratio of the number of nodes in spatial coordinates.

In today’s semiconductor verification field, SystemVerilog Assertions (SVAs) are one of the most important methodologies for functional verification. A representative verification technique is Universal Verification Methodology (UVM)-based verification, which utilizes a SystemVerilog class library. On the other hand, Assertion-Based Verification (ABV) using SVA allows hardware designs to be verified without requiring knowledge of SystemVerilog’s Object-Oriented Programming (OOP) concepts or UVM. Its syntax is intuitive and concise, enabling rapid detection of RTL (Register Transfer Level) bugs during the design and verification phases. This methodology significantly enhances productivity by drastically reducing the time required for semiconductor development. This paper proposes an ABV verification environment using SVA that is reusable in other verification environments for verifying the main functions of the Inter-Integrated Circuit (I2C), one of the serial synchronous communication protocols. Finally, through the development of the RTL design and simulation of the core functionalities of I2C, the key characteristics of I2C were verified using ABV with SVA.