Search

Automatic test paper design is critical in education to reduce workloads for educators and facilitate an efficient teaching process. However, current designs fail to satisfy the realistic teaching requirements of educators, including the consideration of both test quality and efficiency. This is the main reason why teachers still manually construct tests in most teaching environments. In this paper, the quality of tests is quantitatively defined while considering multiple objectives, including a flexible coverage of knowledge points, cognitive levels, and question difficulty. Then, a model based on the technique of linear programming is delicately designed to explore the optimal results for this newly defined problem. However, this technique is not efficient enough, which cannot obtain results in polynomial time. With the consideration of both test quality and generation efficiency, this paper proposes a genetic algorithm (GA) based method, named dynamic programming guided genetic algorithm with adaptive selection (DPGA-AS). In this method, a dynamic programming method is proposed in the population initialization part to improve the efficiency of the genetic algorithm. An adaptive selection method for the GA is designed to avoid prematurely falling into the local optimal for better test quality. The question bank used in our experiments is assembled based on college-level calculus questions from well-known textbooks. The experimental results show that the proposed techniques can construct test papers with both high effectiveness and efficiency. The computation time of the test assembly problem is reduced from 3 hours to 2 seconds for a 5000-size question bank as compared to a linear programming model with similar test quality. The test quality of the proposed method is better than the other baselines.

Background:Understanding fractions in mathematics often poses greater complexity compared to integral numbers. The primary difficulty lies in students' inadequate grasp of fractional basics, notably in comparing and sequencing fractions. Aim: This research seeks to create and evaluate a learning pathway's effect on fourth graders' comprehension of fractions, with a focus on their comparison and sequencing. Method: Employing a design research validation study approach, the research progresses through preliminary design, experimental design, and retrospective analysis. Conducted in a Palembang school involving six fourth graders recommended by their teacher, data collection encompassed essay-based pre and post-tests, Student Activity Sheets, observations, interviews, and documentations. The data analysis was retrospectively carried out, anchored on HLT as the benchmark. Result: Findings reveal a student learning trajectory encompassing three principal activities. Initially, students used folding and gluing of paper to discern fraction values. Subsequently, they engaged in coloring and illustrating folds for fraction comparison. The final activity involved drawing, coloring boxes, and fraction comparison and sequencing. Overall, students showed proficiency in understanding and determining fraction values and comparing them, yet struggled with ordering certain fractions. Conclusion: The structured learning path facilitated students' understanding of basic fraction concepts, especially in comparing them. Nevertheless, reinforcing methods or approaches for teaching fraction ordering is essential.

In 1921 Mellin published a Comptes Rendu paper computing the principal solution of a polynomial using generalized hypergeometric functions of its coefficients. He used an integral transform nowadays bearing his name. Slightly over three pages, the paper is written in French in a terse style befitting the language. This article makes Mellin’s landmark result accessible to people who are not experts in hypergeometric functions and complex analysis by deriving detailed proofs that were omitted in Mellin’s paper.

In this paper we extend the SuperHyperAlgebra, SuperHyperGraph, SuperHyperTopology, SuperHyperSoft Set, endowed with SuperHyperOperations, SuperHyperAxioms, and SuperHyperFunctions, to the most general form of structure, from our real world, called SuperHyperStructure in any field of knowledge. A practical application of the SuperHyperStructure is presented at the end. The prefix “Hyper” [Marty, 1934] stand for the codomain of the functions and operations to be P(H), or the powerset of the set H. While the prefix “Super” [Smarandache, 2016] stands for using the Pn (H), n ≥ 2, or the n-th PowerSet of the Set H {because the set (or system) 𝐻 (that may be a set of items, a company, institution, country, region, etc.) is organized in sub-systems, which in their turn are organized in sub-sub-systems, and so on} in the domain and/or codomain of the functions and operations.

Paper-cut elements in the design of boat space can effectively improve the homogenisation tendency of existing boat space design, effectively enhance the characteristics of traditional Chinese culture and enrich the development ideas of boat space design. Therefore, based on the Chinese folk art of paper cutting, this paper combines theoretical analysis and empirical research to deeply analyse the artistic expression of paper-cut elements in the spatial design of boats. This paper mainly studies the artistic integration of paper-cut elements in the decorative design of boats and the artistic integration of paper-cut elements in the practical design of boats. Through the calculation and analysis of the sparse autoencoder algorithm model, it can be seen that the decorative integration of paper-cut elements in wallpaper is 82%, which is higher than that of traditional materials (24%). The integration of paper-cut elements in the space design of cabins and guest rooms is as high as 97% and 94%, respectively, which is far better than the integration of traditional materials in the space design of cabins and guest rooms. This shows that the application of folk paper-cut elements to the space design of boats not only highlights the theme of boats but also enhances the cultural value of boats.

English is a universal language and is widely used. In order to deepen the cognition of language, this paper proposes to analyse the variation of metadiscourse verb patterns in English academic papers from within and between disciplines. By comparing the metadiscourse chunks used in various disciplines, it is concluded that there are obvious differences in the verb types of the subject papers. Analysing various identification algorithms of verb types, it is obtained that the combination of the word movement distance (WMD) model and the R&L density peak clustering algorithm is the best. Using the R&L density peak clustering, identification parameters are easy to determine, and when combined with the WMD model to calculate the similarity of words, it improve the accuracy of verb pattern clustering. By comparison, it is proved that the accuracy of the algorithm combining the WMD model and R&L density peak clustering reaches 30.06%, and the effect of identifying verb pattern variation is the best.

In this paper, through the collection and analysis of data, the art of Guangling paper-cutting is theoretically researched, and the general features and shapes of Guangling paper-cutting are summarized. In order to overcome the limitations of traditional algorithms in the extraction of features of Guangling paper-cutting, the combination of spatial pyramid matching and context-dependent histogram methods are used to extract the shape features of paper-cutting images with stronger differentiation. The support vector machine is used to solve the problem of recognizing and classifying the image patterns in the digitized display. The design of the digital promotion of the Shanxi Guangling paper-cutting brand is carried out. Research variables are designed to analyze the effect of digital transformation and promotion of paper-cutting brands. The results show that the discrepancy of Guangling paper-cutting features extracted by the algorithm in this paper is very low, the e1 difference is maintained within 0.1, and the total recognition rate of SVM on Guangling paper-cutting features can reach 88.06%, and the overall effect is more satisfactory, and the regression equation of the influence of paper-cutting = −0.807+0.111*history+0.122* style+0.234*paper-cutting+0.216*display+0.136 * linkage, and propose strategies to enhance the influence of paper-cutting brand. The technical methods used in this study guarantee the quality of the digital transformation of Guangdong paper-cutting from the source.

To deeply analyze the performance of paper-cutting elements in interior space design, this paper explores the artistic expression of paper-cutting elements. The BIM model is constructed based on the TVL algorithm, and a noise-reducing style migration method with an additional total variable loss function is used to fuse the texture features of a specific paper-cutting style so that the paper-cutting texture is generated in the target object area more intensively. The algorithm is supplemented with a U-shaped network structure to obtain the mask map of the target object, modify and expand the ScanNet training data set, and input a content map and a style map to generate the stylized paper cutout image automatically. The results show that compared with other elements, the stability of paper-cut elements reaches 96.31%, the image smoothness reaches 89.34%, and the retention of significant regions reaches 93.26%. In modern design, the peak signal-noise of paper-cut elements improved by 13.418d on average, the structural similarity also improved by 0.34807, and the recognition rate of paper-cut elements in the furnishing category reached 95%. Applying paper-cut art in interior space design can give interior furnishing design better visual effects, provide inspiration and ideas for interior space design innovation, and contribute to improving aesthetics.

In the realm of Chinese traditional arts, paper-cutting symbols embody deep-seated aesthetic and cultural values. Within the framework of artificial intelligence, the fusion of these conventional symbols with contemporary pattern design through intelligent reconstruction processes promotes innovation in modern design. This paper introduces a novel pattern feature extraction algorithm specifically designed for identifying and extracting the essence of traditional paper-cutting art. Utilizing Deep Convolutional Generative Adversarial Networks (DCGAN), an automated method for generating woven patterns is developed, integrating conventional motifs with modern design elements. Additionally, a segmentation model based on DeepLabV3+ semantics is constructed to facilitate this integration. The study focuses on the fusion of traditional paper-cutting symbols with fabric patterns, providing a new direction for textile design research. The empirical evaluation involved seven experimenters who predominantly favored patterns that blended abstract and traditional styles, with the average style rating exceeding 3.2. Moreover, the color performance analysis of the reconstructed fabric patterns across five regions showed color difference values greater than 4, indicating superior color fidelity. These findings underscore the potential of combining AI-driven techniques with traditional art forms to enhance and revolutionize modern design practices.

The study of metadiscourse word resources is an important way to reveal academic knowledge constructs and genre features in English papers. This paper selects intra- and interdisciplinary English academic papers as data samples, and the text representation is based on the vector space model. The text similarity is calculated using the word movement distance model to complete the clustering based on the density peak, and then the semantic annotation of metadiscourse verb patterns is performed using the conditional random field. Then, the intra- and interdisciplinary metadiscourse annotations are compared to analyze the variation of verb patterns. The intra-disciplinary variation of metadiscourse verb patterns was mainly found using attitude markers, where the log-likelihood ratios of 48.56, 30.25, and 35.64 were obtained for affirmative, critical, and critical declarative attitudes, respectively. In interdisciplinary studies, basic disciplines preferred to use verb patterns as transitions, while applied disciplines preferred to express the author’s point of view. The study of metadiscourse verb patterns effectively enriches the linguistic resources in academic English teaching and deepens the understanding of the characteristics of disciplinary essay genres.

In this paper, we consider a robust combinatorial optimization problem with uncertain weights and propose an uncertainty set that generalizes interval uncertainty by imposing lower and upper bounds on deviations of subsets of items. We prove that if the number of such subsets is fixed and the family of these subsets is laminar, then the robust combinatorial optimization problem can be solved by solving a fixed number of nominal problems. This result generalizes a previous similar result for the case where the family of these subsets is a partition of the set of items.

This investigation delves into the evolving patterns and regional variances in industry-academia collaboration (IAC) within Functional Nucleic Acids (FNAs) research. Analyzing publications and patents from 1990 to 2021, we dissected IAC at individual and collective levels, documenting the count and share of IAC endeavors, key partners, and regional differences. Results indicate a rising trend in IAC publications and collaborating institutions, while patent trends display a mix of increases, decreases, and steady states. The United States leads in IAC activities, correlating with its prowess in scientific research and technological innovation. Notably, regional discrepancies in IAC are mainly due to intra-regional variations, with Asia and Europe experiencing the most pronounced disparities.

In an era overwhelmed by academic big data, students grapple with identifying academic papers that resonate with their learning objectives and research interests, due to the sheer volume and complexity of available information. This study addresses the challenge by proposing a novel academic paper recommendation system designed to enhance personalized learning through the nuanced understanding of academic social networks. Utilizing the theory of social homogeneity, the research first constructs a sophisticated academic social network, capturing high-order social relationships, such as co-authorship and advisor–advisee connections, through hypergraph modeling and advanced network representation learning techniques. The methodology encompasses the development and integration of a hypergraph convolutional neural network and a contrastive learning framework to accurately model and recommend academic papers, focusing on aligning with students’ unique preferences and reducing reliance on sparse interaction data. The findings, validated across multiple real-world datasets, demonstrate a significant improvement in recommendation accuracy, particularly in addressing the cold-start problem and effectively mapping advisor–advisee relationships. The study concludes that leveraging complex academic social networks can substantially enhance the personalization and precision of academic paper recommendations, offering a promising avenue for addressing the challenges of academic information overload and fostering more effective personalized learning environments.

Predicting stock prices is contained in the basic approach is fundamental and technical analysis which is needed by entrepreneurs who invest their capital, this analysis is to determine the company's financial performance and must continue to be carried out, to carry out this analysis we use the help of several financial ratios where several types of ratios Return on Assets, Debt to Equity Ratio, Return on Equity, and Book Value per Share are some examples. The authors applied a quantitative descriptive approach to companies listed on the Indonesia Stock Exchange in the Pulp & Paper sector for this study. According to the Correlation and Regression tables, all of the variables ROA, ROE, DER, and BVS have an effect on stock prices, but the stock session obtained on the variables ROA, ROE, and DER has a very significant effect on stock prices but has no significant effect on stock prices on the BVS variable. So in the long term the company must implement one of two policies, namely low solvency means using less debt than own capital and a low solvency policy will not cause high interest expenses to be borne by the company so that it will affect growth.

We construct a two discrete parameter family of compact minimal surfaces embedded in the Berger sphere which may be considered as the analogue of the helicoidal Karcher-Scherk surfaces.

Frank and Wolfe’s celebrated conditional gradient method is a well-known tool for solving smooth optimization problems for which minimizing a linear function over the feasible set is computationally cheap. However, when the objective function is nonsmooth, the method may fail to compute a stationary point. In this work, we show that the Frank–Wolfe algorithm can be employed to compute Clarke-stationary points for nonconvex and nonsmooth optimization problems consisting of minimizing upper-$C^{1,\alpha }$ functions over convex and compact sets. Furthermore, under more restrictive assumptions, we propose a new algorithm variant with stronger stationarity guarantees, namely directional stationarity and even local optimality.

Standards are a set of guidelines or criteria used to ensure consistency, quality, safety, and compatibility in products, services, and processes [...]

Abstract Very recently Jain et al. (J. Inequal. Appl. 2022:73, 2022) introduced the concept of multivalued F-contraction with altering distance function and investigated the existence of best proximity points for this class of mappings. In this article we prove that the existence of best proximity points for multivalued F-contraction non-self mappings can be obtained from the corresponding fixed point result for multivalued F-contraction self mappings, and so the main conclusion due to Jain et al. is not a real generalization of fixed point theory.

A scheme for the integration of $ \, {}^{C} \mathit{\boldsymbol{{D}}}^{(1/n)} $-type fractional differential equations (FDEs) is presented in this paper. The approach is based on the expansion of solutions to FDEs via fractional power series. It is proven that $ \, {}^{C} \mathit{\boldsymbol{{D}}}^{(1/n)} $-type FDEs can be transformed into equivalent $ \left(\, {}^{C} \mathit{\boldsymbol{{D}}}^{(1/n)}\right)^n $-type FDEs via operator calculus techniques. The efficacy of the scheme is demonstrated by integrating the fractional Riccati differential equation.

From time to time, we hear in the news about a breach or attack on some well-known companies as just news, but it is a serious problem because it is the privacy of citizens, their money in trade and managing their businesses and projects. In this paper, we offer a review of the honey encryption planner. Honey Encryption is the encryption system that ensures flexibility versus the brute-force attack through the provision of plain reasonable text, but false for each key is invalid utilized by a trespasser to decrypt a message, two key areas are open it is difficult to create a compelling message trap that's perfect enough to deceive the striker even when he believes that he has the message in its original form. The next problem, the typo issue, where a valid phony plain text seem to a lawful user when he accidentally enters the wrong key. Our goal is to have more satisfaction disguised tricks that are perfect enough to prevent a trespasser from getting the original message, We also need new security methods because the attackers are looking for new ways to attack the systems, so we proposed a new way to protect messages and passwords well and difficult to break and take all the possibilities of attack, including the brute-force, and then the data is hidden in an image with a public secret key.

This study aims at understanding the role of the tools chosen throughout the processes of solving a non-routine mathematical problem and communicating its solution. In assuming that problem-solving is a synchronous activity of mathematization and expression of mathematical thinking we take our proposed Mathematical Problem Solving with Technology (MPST) model to analyze the processes of solving-and-expressing-problems. Resorting to qualitative methods for data collection and analysis, we report on the case of an 8th grader working on a covariation problem to examine the role that paper-and-pencil and digital tools play in the development of a conceptual model of the situation. We found that the resources used throughout the solving-and-expressing activity influenced the depth of the conceptual model developed, within a process of progressive mathematization. Whereas paper-and-pencil led to the emergence of a conceptual model based on exploring particular cases, the digital transformation of the solution was triggered by the process of communicating its mathematical justification and expanded the previous model. Moreover, the complexity of this activity is evidenced by its multiple sequences of processes. Finally, the integration process seems crucial as the concomitant use of technological and mathematical resources precedes major advancements in the expansion of the conceptual model.

Recently, the systems of e-learning are improved technologically and the led to the emergence of e-learning systems that reached the level of adaptation to students. Through which, it changed the entire education system during the Internet era. Nonetheless, the use of rule-based, assumption-based, and network-based method have some vital methodologies used to implement learner models across adaptive learning systems. The so common way to structure the learner models approaches rely on the personalization and user modelling. However, personalization and user modeling found out to be the best approaches-not only in developing students' talents but also in allowing students to take their own learning direction and making sure that they are using their potential to the fullest. The mismatching in viewpoints and perceptions between teachers and technicians along with a lack of appropriate technical knowledge have been identified as some of the major challenges affecting the learner model development. the main objective of this article is to show the use of different approaches through the recent scholars’ in implementing learner models within adaptive e-learning systems. Moreover, approaches and challenges in implementing learner models are also described

This contribution focuses on paper models of architectural surfaces, in particular on some roofing systems describable by developable ones. Drawing on an interdisciplinary approach, between Architecture and Mathematics, potentialities and criticalities of these models in explicitly conveying Geometry are investigated, in relation to educational and communicative tasks, both when they are used in a direct, tangible way, and when the use is mediated by images generated by them (thus indirect); we discuss on the possibility for models and images to communicate their explicit and implicit Geometries. The main issue discussed is that a material or analytical description unequivocally allows to grasp all the peculiarities of geometrical shapes, while other representations are subject to critical selection of data and are therefore affected by subjective interpretations; similarly, the translation of the physical model into images is the result of choices which emphasize certain object peculiarities over others and is thus less objective. Hence the importance of the physical model (as well as its digital counterparts) which, even if not used directly, can be complementary to a content that, alone, would be partial and/or misleading.

Let $ R $ be a ring with identity. The commuting graph of $ R $ is the graph associated to $ R $ whose vertices are non-central elements in $ R $, and distinct vertices $ A $ and $ B $ are adjacent if and only if $ AB = BA $. In this paper, we completely determine the automorphism group of the commuting graph of $ 2\times 2 $ matrix ring over $ \mathbb{Z}_{p^{s}} $, where $ \mathbb{Z}_{p^{s}} $ is the ring of integers modulo $ p^{s} $, $ p $ is a prime and $ s $ is a positive integer.

The human capability to react or adapt to upcoming changes strongly relies on the ability to forecast them [...]

Perception is an individual's ability to respond, interpret, and distinguish a view of any information to a stimulus. So the aims of this study was to find out: (1) students' perceptions of the use of an equation editor in writing mathematical notation as assignments for calculus class I papers, (2) students' perceptions of writing calculus I paper assignments using the manual method (handwriting). The research subjects consisted of 16 students majoring in Extension Informatics Engineering (afternoon class) Semester I. The type of research was descriptive qualitative. Data collection techniques are interviews. The analysis stage is to analyze the results of the interviews. The results of the study concluded that: (1) 11 (eleven) students agreed to use the equation editor in writing calculus I paper assignments,the rest were still confused about the use of the equation editor; and (2) all students do not agree if the paper is written using the manual method (handwriting) because the results are not neat and take a long time.

Abstract In a recently published theorem on the split common fixed point problem for strict pseudocontractive and asymptotically nonexpansive mappings, Tang et al. (J. Inequal. Appl. 2015:305, 2015) studied a uniformly convex and 2-uniformly smooth real Banach space with the Opial property and best smoothness constant κ satisfying the condition 0 < κ < 1 2 $0

This Special Issue comprises the first collection of papers submitted by the Editorial Board Members (EBMs) of the journal Mathematical and Computational Applications (MCA), as well as outstanding scholars working in the core research fields of MCA [...]

Simonas Vainbergas, a teacher of Jewish primary schools in prewar Lithuania (1894?), was one of few his colleagues that actively collaborated with Lithuanian pedagogical journals. He published in them 11 papers in didactics of mathematics about teaching mathematics at primary schools. The said papers helped young teachers of primary schools to improve their qualification. There is a great probability that S. Vainbergas was a victim of holocaust.

This issue of featured papers from 2020 is related to the study of symmetry phenomena in various different fields, but mainly in theoretical physics [...]

This editorial is a short review of papers accepted in the Mathematics and Symmetry/Asymmetry section in 2020–2021 about the symmetry methods [...]

We investigated the influence of mental imagery expertise in 15 pen and paper role-players as an expert group compared to the gender-matched control group of computer role-players in the difficult Vandenberg and Kuse mental rotation task. In this task, the participants have to decide which two of four rotated figures match the target figure. The dependent measures were performance speed and accuracy. In our exploratory investigation, we further examined midline frontal theta band activation, parietal alpha band activation, and parietal alpha band asymmetry in EEG as indicator for the chosen rotation strategy. Additionally, we explored the gender influence on performance and EEG activation, although a very small female sample section was given. The expected gender difference concerning performance accuracy was negated by expertise in pen and paper role-playing women, while the gender-specific difference in performance speed was preserved. Moreover, gender differences concerning electro-cortical measures revealed differences in rotation strategy, with women using top-down strategies compared to men, who were using top-down strategies and active inhibition of associative cortical areas. These strategy uses were further moderated by expertise, with higher expertise leading to more pronounced activation patters, especially during successful performance. However, due to the very limited sample size, the findings of this explorative study have to be interpreted cautiously.

Investigating the research trends within a scientific domain by analyzing semantic information extracted from scientific journals has been a topic of interest in the natural language processing (NLP) field. A research trend evaluation is generally based on the time evolution of the term occurrence or the term topic, but it neglects an important aspect—research publication latency. The average time lag between the research and its publication may vary from one month to more than one year, and it is a characteristic that may have significant impact when assessing research trends, mainly for rapidly evolving scientific areas. To cope with this problem, the present paper is the first work that explicitly considers research publication latency as a parameter in the trend evaluation process. Consequently, we provide a new trend detection methodology that mixes auto-ARIMA prediction with Mann–Kendall trend evaluations. The experimental results in an electronic design automation case study prove the viability of our approach.

This Special issue contains top-tier physics-related and mathematical research, among other topics, written by scholars who are well-known in their field [...]

Nowadays, forecasting applications are receiving unprecedent attention thanks to their capability to improve the decision-making processes by providing useful indications [...]

Aiming at the problem of easy tampering and difficult integrity authentication of paper text documents, this paper proposes a robust content authentication method for printed documents based on text watermarking scheme resisting print-and-scan attack. Firstly, an authentication watermark signal sequence related to content of text document is generated based on the Logistic chaotic map model; then, the authentication watermark signal sequence is embedded into printed paper document by using a robust text watermarking scheme; finally, the watermark information is extracted from scanned image of paper document, and compared with the authentication watermark information calculated in real time by the text document content obtained by OCR technology, thereby performing content integrity authentication of the paper text documents. Experimental results show that our method can achieve the robust content integrity authentication of paper text documents, and can also accurately locate the tampering position. In addition, the document after embedding the watermark information has a good visual effect, and the text watermarking scheme has a large information capacity.

Leveraging artificial intelligence (AI), this study revolutionizes examination management and education in universities by developing an intelligent system encompassing comprehensive management, pre-examination activities, scheduling, and preparation. The system also features a quality management component for educational outcomes. An enhanced genetic algorithm introduces an adaptation function to optimize intelligent grouping, facilitating effective exam paper distribution. Applied at Y University, our innovative approach significantly refines exam paper difficulty (ranging between 0.5016 and 0.5581) and differentiation (0.3845 to 0.4596), showcasing the intelligent algorithm’s effectiveness in exam management and contributing valuable insights to educational research.

We correct the proof of Theorem 2 in the mentioned paper concerning finite-difference equilibrium solutions.

Environmental pollution has become an important obstacle on the path of ecological civilization construction, and it is urgent to control environmental pollution. By establishing an evolutionary game model, this thesis focuses on analyzing how paper-making enterprises choose their own emission reduction strategies under the reward and punishment mechanism. It further analyzes how social welfare changes under the reward and punishment mechanism, and finally through simulation research, this thesis analyzes the evolutionary paths of paper-making enterprises’ pollution emission strategies under the reward and punishment mechanism. The results of the reward and punishment mechanism are as follows: under the static reward and punishment mechanism, the game system will repeatedly oscillate around a point. There is no stable equilibrium point at this time. However, under the dynamic reward and punishment mechanism, the game system will tend to a stable equilibrium point. The results of social welfare analysis show that high-intensity rewards will reduce the amount of pollution discharged by paper-making enterprises, thereby maximizing social welfare. On the contrary, when paper-making enterprises discharge a large amount of pollution, they will be subject to high-intensity penalties. When facing high-intensity punishments, paper-making enterprises will tend to not to discharge. So social welfare is also maximized. The simulation research results show that reasonable punishment strategies are more effective than reward ones. Based on this, the author proposes countermeasures, such as establishing a reasonable reward and punishment mechanism, reasonably determining the reward and punishment intensity for polluting enterprises. The emission reduction strategies of paper-making enterprises will be affected by the government’s reward and punishment mechanism. A deep study of its internal mechanism is not only of great significance for pollution control but also of great significance for the development of a green economy.

Paper waste in the mockups design with regular, irregular, and amorphous patterns is a critical problem in digital printing presses. Paper waste reduction directly impacts production costs, generating business and environmental benefits. This problem can be mapped to the two-dimensional irregular bin-packing problem. In this paper, an iterated local search algorithm using a novel neighborhood structure to detect overlaps between amorphous shapes is introduced. This algorithm is used to solve the paper waste problem, modeled as one 2D irregular bin-packing problem. The experimental results show that this approach works efficiently and effectively to detect and correct the overlaps between regular, irregular, and amorphous figures.

This paper proposes the use of notebooks for the design documentation and tool interaction in the rigorous design of embedded systems. Conventionally, a notebook is a sequence of cells alternating between (textual) code and prose to form a document that is meant to be read from top to bottom, in the spirit of literate programming. We extend the use of notebooks to embedded systems specified by pCharts. The charts are visually edited in cells inline. Other cells can contain statements that generate code and analyze the charts qualitatively and quantitatively; in addition, notebook cells can contain other instructions to build the product from the generated code. This allows a notebook to be replayed to re-analyze the design and re-build the product, like a script, but also allows the notebook to be used for presentations, as for this paper, and for the inspection of the design. The interaction with the notebook is done through a web browser that connects to a local or remote server, thus allowing a computationally intensive analysis to run remotely if needed. The pState notebooks are implemented as an extension to Jupyter. The underlying software architecture is described and the issue of proper placement of transition labels in charts embedded in notebooks is discussed.

The Abbreviated Math Anxiety Scale (AMAS) is one of the most popular instruments measuring math anxiety (MA). It has been validated across several linguistic and cultural contexts. In this study, we investigated the extent of administration method invariance of the AMAS by comparing results (average scores, reliabilities, factorial structure) obtained online with those from paper-and-pencil. We administered the online version of the AMAS to Polish students. Results indicate that psychometric properties of the AMAS do not differ between online and paper-and-pencil administration. Additionally, average scores of the AMAS did not differ considerably between administration forms, contrary to previous results showing that computerized measurement of MA leads to higher scores. Therefore, our results provide evidence for the usefulness of the AMAS as a reliable and valid MA measurement tool for online research and online screening purposes across cultures and also large similarity between administration forms outside an American-English linguistic and cultural context. Finally, we provide percentile and standard norms for the AMAS for adolescents and adults (in the latter case for both online and paper-and-pencil administration) as well as critical differences for the comparison of both subscales in an individual participant for practical diagnostic purposes.

The administration of A/B exams usually involves the use of items. Issues arise when the pre-establishment of a question bank is necessary and the inconsistency in the knowledge points to be tested (in the two exams) reduces the exams ‘fairness’. These are critical for a large multi-teacher course wherein the teachers are changed such that the course and examination content are altered every few years. However, a fair test with randomly participating students should still be a guaranteed subject with no item pool. Through data-driven decision-making, this study collected data related to a term test for a compulsory general course for empirical assessments, pre-processed the data and used item response theory to statistically estimate the difficulty, discrimination and lower asymptotic for each item in the two exam papers. Binary goal programing was finally used to analyze and balance the fairness of A/B exams without an item pool. As a result, pairs of associated questions in the two exam papers were optimized in terms of their overall balance in three dimensions (as the goals) through the paired exchanges of items. These exam papers guarantee their consistency (in the tested knowledge points) and also ensure the fairness of the term test (a key psychological factor that motivates continued studies). Such an application is novel as the teacher(s) did not have a pre-set question bank and could formulate the fairest strategy for the A/B exam papers. The model can be employed to address similar teaching practice issues.

In this paper we correct an inaccuracy that appears in the proof of Theorem 1. in Czerwik [1].

The purpose of this short note is to present a correction of the proof of the main result given in the paper “Equivalence of the existence of best proximity points and best proximity pairs for cyclic and noncyclic nonexpansive mappings,” Demonstr. Math. 53 (2020), 38–43.

Coinduction occurs in two guises in Horn clause logic: in proofs of self-referencing properties and relations, and in proofs involving construction of (possibly irregular) infinite data. Both instances of coinductive reasoning appeared in the literature before, but a systematic analysis of these two kinds of proofs and of their relation was lacking. We propose a general proof-theoretic framework for handling both kinds of coinduction arising in Horn clause logic. To this aim, we propose a coinductive extension of Miller et al's framework of uniform proofs and prove its soundness relative to coinductive models of Horn clause logic.

RedPRL is an experimental proof assistant based on Cartesian cubical computational type theory, a new type theory for higher-dimensional constructions inspired by homotopy type theory. In the style of Nuprl, RedPRL users employ tactics to establish behavioral properties of cubical functional programs embodying the constructive content of proofs. Notably, RedPRL implements a two-level type theory, allowing an extensional, proof-irrelevant notion of exact equality to coexist with a higher-dimensional proof-relevant notion of paths.

The first sentence in the abstract should be replaced with the sentence "A sequence $(x_{k})$ is called arithmetically convergent if for each $\varepsilon > 0$ there is an integer $n_{0}$ such that $|x_{m} - x_{}| \geq n_{0}$, where the symbol $< m, n >$ denotes the greatest common divisor of the integers $m$ and $n$".

In this paper, we improve some recent coupled fixed point results for single-valued operators in the framework of ordered b-metric spaces established by Bota et al. [M-F. Bota, A. Petrusel, G. Petrusel and B. Samet, Coupled fixed point theorems for single-valued operators in b-metric spaces, Fixed Point Theory Appl. (2015) 2015:231]. Also, we prove that Perov-type fixed point theorem in ordered generalized $b$-metric spaces is equivalent with Ran-Reurings-type theorem in ordered b-metric spaces.