{"results":[{"id":"doaj_10.1002/eng2.13035","title":"Path Planning Approaches in Multi‐robot System: A Review","authors":[{"name":"Semonti Banik"},{"name":"Sajal Chandra Banik"},{"name":"Sarker Safat Mahmud"}],"abstract":"ABSTRACT The essential factor in developing multi‐robot systems is the generation of an optimal path for task completion by multiple robots. To ensure effective path planning, this paper studies the recent publications and provides a detailed review of the path planning approaches to avoid collisions in uncertain environments. In this article, path‐planning approaches for multiple robots are categorized primarily into classical, heuristic, and artificial intelligence‐based methods. Among the heuristic approaches, bio‐inspired approaches are mostly employed to optimize the classical approaches to enhance their adaptability. The articles are analyzed based on static and dynamic scenarios, real‐time experiments, and simulations involving hybrid solutions. The increasing focus on using hybrid approaches in dynamic environments is found mostly in the papers employing heuristic and AI‐based approaches. In real‐time applications, AI‐based approaches are highly implemented in comparison to heuristic and classical approaches. Moreover, the findings from this review, highlighting the strengths and drawbacks of each algorithm, can help researchers select the appropriate approach to overcome the limitations in designing efficient multi‐robot systems.","source":"DOAJ","year":2025,"language":"","subjects":["Engineering (General). Civil engineering (General)","Electronic computers. Computer science"],"doi":"10.1002/eng2.13035","url":"https://doi.org/10.1002/eng2.13035","is_open_access":true,"published_at":"","score":69},{"id":"arxiv_2407.02507","title":"On foundations for deductive mathematics","authors":[{"name":"Frank Quinn"}],"abstract":"This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what is, or isn't, a foundation; and get clues as to how a foundation can be optimized for effective human use.   For this we turn to history and professional practice of the subject. We have no asperations to Philosophy.   The first section gives a short abstract discussion, focusing on the significance of consistency. The next briefly describes foundations, explicit and implicit, at a few key periods in mathematical history. We see, for example, that at the primitive level human intuitions are essential, but can be problematic. We also see that traditional axiomatic set theories, Zermillo-Fraenkel-Choice (ZFC) in particular, are not quite consistent with mainstream practice. The final section sketches the proposed new foundation and gives the basic argument that it is uniquely qualified to be considered {the} foundation of mainstream deductive mathematics. The ``coherent limit axiom'' characterizes the new theory among ZFC-like theories. This axiom plays a role in recursion, but is implicitly assumed in mainstream work so does not provide new leverage there. In principle it should settle set-theory questions such as the continuum hypothesis.","source":"arXiv","year":2024,"language":"en","subjects":["math.HO","math.LO"],"url":"https://arxiv.org/abs/2407.02507","pdf_url":"https://arxiv.org/pdf/2407.02507","is_open_access":true,"published_at":"2024-06-18T01:44:00Z","score":68},{"id":"doaj_Research+and+practice+on+key+issues+in+the+implementation+of+government+data+classification+and+grading+in+China","title":"Research and practice on key issues in the implementation of government data classification and grading in China","authors":[{"name":"Yue WANG"},{"name":"Na SU"}],"abstract":"Data classification and grading is the foundation for ensuring the safe circulation of data and promoting the release of data value.This paper focuses on the key task of government data classification and grading in digital reform.Using a theoretical case study method and based on publicly released plans by various provincial governments and ministries, the implementation of government data classification and grading in China is systematically sorted and quantitatively analyzed.This paper summarizes four key processes and five characteristics of the implementation of government data classification and classification in China.Based on the special complexity of the classification and grading of government data, this paper puts forward four problems corresponding solutions in the implementation of the classification and grading of government data in China, such as unclear overall target positioning, different classification and grading objects, separated classification and grading relations, and different security grading standards.Based on the practice of classification and grading government data of a national ministry, this paper verifies the scientificity and effectiveness of the solutions, and provides a reference for constructing a unified national government data classification and grading system.","source":"DOAJ","year":2024,"language":"","subjects":["Electronic computers. Computer science"],"url":"http://www.j-bigdataresearch.com.cn/thesisDetails#10.11959/j.issn.2096-0271.2024035","is_open_access":true,"published_at":"","score":68},{"id":"doaj_10.1016/j.softx.2023.101603","title":"SOQCS: A Stochastic Optical Quantum Circuit Simulator","authors":[{"name":"Javier Osca"},{"name":"Jiri Vala"}],"abstract":"Stochastic Optical Quantum Circuit Simulator (SOQCS) is a C++ and Python library which offers a framework to define, simulate and study quantum linear optical circuits in presence of various imperfections typically encountered in experiments. Quantum circuits can be defined from basic components, including emitters, linear optical elements, delays and detectors. The imperfections come from partial distinguishability of photons, lossy propagation media, unbalanced beamsplitters and non-ideal emitters and detectors for example. SOQCS also provides various simulator cores and tools to analyze the output. Furthermore, the configuration of detectors also includes postselection. SOQCS is developed using a modular approach in which different modules are applied in an automated easy to use manner. Furthermore, the modular approach allows for further extensions of the SOQCS capabilities in future.","source":"DOAJ","year":2024,"language":"","subjects":["Computer software"],"doi":"10.1016/j.softx.2023.101603","url":"http://www.sciencedirect.com/science/article/pii/S2352711023002996","is_open_access":true,"published_at":"","score":68},{"id":"crossref_10.33774/coe-2023-jt4vq","title":"Hilbert mathematics versus Gödel mathematics. IV. The new approach of Hilbert mathematics easily resolving the most difficult problems of Gödel mathematics","authors":[{"name":"Vasil Penchev"}],"abstract":"The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” case of Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by CMI; the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved","source":"CrossRef","year":2023,"language":"en","subjects":null,"doi":"10.33774/coe-2023-jt4vq","url":"https://doi.org/10.33774/coe-2023-jt4vq","is_open_access":true,"published_at":"","score":67},{"id":"crossref_10.3390/math11030643","title":"Acknowledgment to the Reviewers of Mathematics in 2022","authors":[{"name":"Mathematics Editorial Office"}],"abstract":"High-quality academic publishing is built on rigorous peer review [...]","source":"CrossRef","year":2023,"language":"en","subjects":null,"doi":"10.3390/math11030643","url":"https://doi.org/10.3390/math11030643","is_open_access":true,"published_at":"","score":67},{"id":"crossref_10.33774/coe-2023-fl6vn","title":"Hilbert mathematics versus Gödel mathematics III. Hilbert mathematics by itself, and Gödel mathematics versus the physical world within it: both as its particular cases","authors":[{"name":"Vasil Penchev"}],"abstract":"The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all the violations of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new generalization","source":"CrossRef","year":2023,"language":"en","subjects":null,"doi":"10.33774/coe-2023-fl6vn","url":"https://doi.org/10.33774/coe-2023-fl6vn","is_open_access":true,"published_at":"","score":67},{"id":"arxiv_2309.06595","title":"Points of convergence -- music meets mathematics","authors":[{"name":"Lasse Rempe"}],"abstract":"\"Phase-locking\" is a fundamental phenomenon in which coupled or periodically forced oscillators synchronise. The Arnold family of circle maps, which describes a forced oscillator, is the simplest mathematical model of phase-locking and has been studied intensively since its introduction in the 1960s. The family exhibits regions of parameter space where phase-locking phenomena can be observed. A long-standing question asked whether \"hyperbolic\" parameters~-- those whose behaviour is dominated by periodic attractors, and which are therefore stable under perturbation~-- are dense within the family. A positive answer was given in 2015 by van Strien and the author, which implies that, no matter how chaotic a map within the family may behave, there are always systems with stable behaviour nearby. This research was a focal point of a pioneering collaboration with composer Emily Howard, commencing with Howard's residency in Liverpool's mathematics department in 2015. The collaboration generated impacts on creativity, culture and society, including several musical works by Howard, and lasting influence on artistic practice through a first-of-its-kind centre for science and music. We describe the research and the collaboration, and reflect on the factors that contributed to the latter's success.","source":"arXiv","year":2023,"language":"en","subjects":["math.DS","math.CV","math.HO"],"doi":"10.1007/978-3-031-48683-8_33","url":"https://arxiv.org/abs/2309.06595","pdf_url":"https://arxiv.org/pdf/2309.06595","is_open_access":true,"published_at":"2023-09-12T20:47:36Z","score":67},{"id":"arxiv_2305.19882","title":"Constructive mathematics and teaching","authors":[{"name":"Alexander Shen"}],"abstract":"Constructivists (and intuitionists in general) asked what kind of mental construction is needed to convince ourselves (and others) that some mathematical statement is true. This question has a much more practical (and even cynical) counterpart: a student of a mathematics class wants to know what will the teacher accept as a correct solution of a homework problem. Here the logical structure of the claim is also very important, and we discuss several types of problems and their use in teaching mathematics.","source":"arXiv","year":2023,"language":"en","subjects":["math.HO","math.LO"],"url":"https://arxiv.org/abs/2305.19882","pdf_url":"https://arxiv.org/pdf/2305.19882","is_open_access":true,"published_at":"2023-05-31T14:18:09Z","score":67},{"id":"arxiv_2308.04871","title":"Mathematical Artifacts Have Politics: The Journey from Examples to Embedded Ethics","authors":[{"name":"Dennis Müller"},{"name":"Maurice Chiodo"}],"abstract":"We extend Langdon Winner's idea that artifacts have politics into the realm of mathematics. To do so, we first provide a list of examples showing the existence of mathematical artifacts that have politics. In the second step, we provide an argument that shows that all mathematical artifacts have politics. We conclude by showing the implications for embedding ethics into mathematical curricula. We show how acknowledging that mathematical artifacts have politics can help mathematicians design better exercises for their mathematics students.","source":"arXiv","year":2023,"language":"en","subjects":["math.HO","cs.CY","physics.soc-ph"],"url":"https://arxiv.org/abs/2308.04871","pdf_url":"https://arxiv.org/pdf/2308.04871","is_open_access":true,"published_at":"2023-08-09T11:09:53Z","score":67},{"id":"crossref_10.3390/math10040547","title":"Acknowledgment to Reviewers of Mathematics in 2021","authors":[{"name":"Mathematics Editorial Office"}],"abstract":"Rigorous peer-reviews are the basis of high-quality academic publishing [...]","source":"CrossRef","year":2022,"language":"en","subjects":null,"doi":"10.3390/math10040547","url":"https://doi.org/10.3390/math10040547","is_open_access":true,"published_at":"","score":66},{"id":"arxiv_2212.02778","title":"Is the study of Indigenous mathematics ill-directed or beneficial?","authors":[{"name":"Hongzhang Xu"},{"name":"Rowena Ball"}],"abstract":"The old lie of mathematical inadequacy of Indigenous communities has been curiously persistent despite increasing evidence shows that many Indigenous communities practiced mathematics. Attempts to study and teach Indigenous mathematical knowledge have always been questioned and even denied validity. The Aboriginal and Torres Strait Islander Histories and Cultures cross-curriculum priority in the F-10 Australian schools curriculum, from 2022 onwards, includes content elaborations related to Indigenous mathematics, which have been developed and refined by expert Indigenous advisers. We celebrate this initiative, but experience also tells us to expect some resistance from sectors of the education communities who hold to an exclusively Anglo-European provenance of mathematics. Through this review article we seek to constructively forestall potential pushback and address concerns regarding the legitimacy and pedagogical value of Indigenous mathematics, by countering with evidence some published claims of mathematical inadequacies of Australian First Nations cultures.","source":"arXiv","year":2022,"language":"en","subjects":["math.HO","math.GR"],"url":"https://arxiv.org/abs/2212.02778","pdf_url":"https://arxiv.org/pdf/2212.02778","is_open_access":true,"published_at":"2022-12-06T06:18:14Z","score":66},{"id":"arxiv_2207.02527","title":"Mathematical Analysis, Forecasting and Optimal Control of HIV/AIDS Spatiotemporal Transmission with a Reaction Diffusion SICA Model","authors":[{"name":"Houssine Zine"},{"name":"Abderrahim El Adraoui"},{"name":"Delfim F. M. Torres"}],"abstract":"We propose a mathematical spatiotemporal epidemic SICA model with a control strategy. The spatial behavior is modeled by adding a diffusion term with the Laplace operator, which is justified and interpreted both mathematically and physically. By applying semigroup theory on the ordinary differential equations, we prove existence and uniqueness of the global positive spatiotemporal solution for our proposed system and some of its important characteristics. Some illustrative numerical simulations are carried out that motivate us to consider optimal control theory. A suitable optimal control problem is then posed and investigated. Using an effective method based on some properties within the weak topology, we prove existence of an optimal control and develop an appropriate set of necessary optimality conditions to find the optimal control pair that minimizes the density of infected individuals and the cost of the treatment program.","source":"arXiv","year":2022,"language":"en","subjects":["math.OC"],"doi":"10.3934/math.2022904","url":"https://arxiv.org/abs/2207.02527","pdf_url":"https://arxiv.org/pdf/2207.02527","is_open_access":true,"published_at":"2022-07-06T09:09:14Z","score":66},{"id":"arxiv_2202.13771","title":"Conceptual Mathematics via Literate Programming","authors":[{"name":"Ian Benson"},{"name":"Jim Darby"},{"name":"Neil MacDonald"},{"name":"Jesse Sigal"}],"abstract":"Recent developments in computer programming and in mathematics suggest that there is a strong case for a new way of introducing programming to enhance the learning of school mathematics. The article describes a collaboration of mathematics and computer science teachers to solve the Josephus problem. We demonstrate how a programming approach based on both types and functions can make a vastly improved contribution to learning mathematics than the less successful use of conventional computer programming in Scratch.","source":"arXiv","year":2022,"language":"en","subjects":["math.HO","cs.PL"],"url":"https://arxiv.org/abs/2202.13771","pdf_url":"https://arxiv.org/pdf/2202.13771","is_open_access":true,"published_at":"2022-02-22T20:58:35Z","score":66},{"id":"doaj_10.18326/hipotenusa.v4i2.7501","title":"Development of Mathematics E-Comic  to Facilitate the Mathematical Communication Ability","authors":[{"name":"Risky Kurniawati"},{"name":"Raekha Azka"}],"abstract":"This study aims to develop a valid mathematics e-comic learning media for class VIII students on statistical material. The design of the e-comic mathematics learning media development using the PPE stage includes planning (planning), production (production), and evaluation (evaluation). The criteria for achieving quality are carried out by testing so that they are declared valid by experts. The results showed that the e-comic learning media for class VIII students on statistics material for class VIII students on statistics material met the valid criteria. Product validity was obtained based on the assessment of experts which showed that the quality of the learning media was included in the very good category with an average score of 3.65 by the material expert validator, and was included in the very good category with an average score of 3.75 by the media expert validator. Based on the results of the assessment, it can be concluded that the e-comic learning media for class VIII students on statistical material is valid.","source":"DOAJ","year":2022,"language":"","subjects":["Education","Mathematics"],"doi":"10.18326/hipotenusa.v4i2.7501","url":"https://hipotenusa.iainsalatiga.ac.id/index.php/hipotenusa/article/view/7501","is_open_access":true,"published_at":"","score":66},{"id":"doaj_10.1155/2022/2399182","title":"Hardy-Leindler-Type Inequalities via Conformable Delta Fractional Calculus","authors":[{"name":"H. M. Rezk"},{"name":"Wedad Albalawi"},{"name":"H. A. Abd El-Hamid"},{"name":"Ahmed I. Saied"},{"name":"Omar Bazighifan"},{"name":"Mohamed S. Mohamed"},{"name":"M. Zakarya"}],"abstract":"In this article, some fractional Hardy-Leindler-type inequalities will be illustrated by utilizing the chain law, Hölder’s inequality, and integration by parts on fractional time scales. As a result of this, some classical integral inequalities will be obtained. Also, we would have a variety of well-known dynamic inequalities as special cases from our outcomes when α=1.","source":"DOAJ","year":2022,"language":"","subjects":["Mathematics"],"doi":"10.1155/2022/2399182","url":"http://dx.doi.org/10.1155/2022/2399182","is_open_access":true,"published_at":"","score":66},{"id":"doaj_10.3785/j.issn.1008-9497.2022.05.011","title":"Quantitative calculation method of development indexes for layered and directional of production wells(生产井开发指标的分层分方向定量计算方法)","authors":[{"name":"ZHANGJicheng(张继成)"},{"name":"RENShuai(任帅)"},{"name":"LINLi(林立)"},{"name":"ZHAOShuai(赵帅)"},{"name":"FENGShimiao(冯诗淼)"}],"abstract":"针对注水开发的多层砂岩油藏分层动态分析难度大等问题，在常规井层开发指标计算基础上，结合动、静态劈分方法，综合考虑渗透率、孔隙度、地层系数、含水饱和度、位置系数、措施系数及注水量系数，提出了一种既可将油、水井作为统一整体，又可对小层、方向流动分量开发指标进行定量计算的体现渗流力学本质的方法。用大庆油田N2-O1井组的产液剖面资料进行验证。结果表明，所提方法的计算结果与测量结果吻合度较高，精度平均值达75.11%。用该方法计算开发指标，适用性强，能较真实地反映各小层、各方向的产液情况，对现场应用具有指导意义。","source":"DOAJ","year":2022,"language":"","subjects":["Electronic computers. Computer science","Physics"],"doi":"10.3785/j.issn.1008-9497.2022.05.011","url":"https://doi.org/10.3785/j.issn.1008-9497.2022.05.011","is_open_access":true,"published_at":"","score":66},{"id":"crossref_10.3390/math9020196","title":"Acknowledgment to Reviewers of Mathematics in 2020","authors":[{"name":"Mathematics Editorial Office"}],"abstract":"Peer review is the driving force of journal development, and reviewers are gatekeepers who ensure that Mathematics maintains its standards for the high quality of its published papers [...]","source":"CrossRef","year":2021,"language":"en","subjects":null,"doi":"10.3390/math9020196","url":"https://doi.org/10.3390/math9020196","is_open_access":true,"published_at":"","score":65},{"id":"doaj_10.1515/anona-2020-0173","title":"Solving Composite Fixed Point Problems with Block Updates","authors":[{"name":"Combettes Patrick L."},{"name":"Glaudin Lilian E."}],"abstract":"Various strategies are available to construct iteratively a common fixed point of nonexpansive operators by activating only a block of operators at each iteration. In the more challenging class of composite fixed point problems involving operators that do not share common fixed points, current methods require the activation of all the operators at each iteration, and the question of maintaining convergence while updating only blocks of operators is open. We propose a method that achieves this goal and analyze its asymptotic behavior. Weak, strong, and linear convergence results are established by exploiting a connection with the theory of concentrating arrays. Applications to several nonlinear and nonsmooth analysis problems are presented, ranging from monotone inclusions and inconsistent feasibility problems, to variational inequalities and minimization problems arising in data science.","source":"DOAJ","year":2021,"language":"","subjects":["Analysis"],"doi":"10.1515/anona-2020-0173","url":"https://doi.org/10.1515/anona-2020-0173","is_open_access":true,"published_at":"","score":65},{"id":"doaj_10.3390/a14050156","title":"Digital Twins in Solar Farms: An Approach through Time Series and Deep Learning","authors":[{"name":"Kamel Arafet"},{"name":"Rafael Berlanga"}],"abstract":"The generation of electricity through renewable energy sources increases every day, with solar energy being one of the fastest-growing. The emergence of information technologies such as Digital Twins (DT) in the field of the Internet of Things and Industry 4.0 allows a substantial development in automatic diagnostic systems. The objective of this work is to obtain the DT of a Photovoltaic Solar Farm (PVSF) with a deep-learning (DL) approach. To build such a DT, sensor-based time series are properly analyzed and processed. The resulting data are used to train a DL model (e.g., autoencoders) in order to detect anomalies of the physical system in its DT. Results show a reconstruction error around 0.1, a recall score of 0.92 and an Area Under Curve (AUC) of 0.97. Therefore, this paper demonstrates that the DT can reproduce the behavior as well as detect efficiently anomalies of the physical system.","source":"DOAJ","year":2021,"language":"","subjects":["Industrial engineering. Management engineering","Electronic computers. Computer science"],"doi":"10.3390/a14050156","url":"https://www.mdpi.com/1999-4893/14/5/156","is_open_access":true,"published_at":"","score":65}],"total":1577978,"page":1,"page_size":20,"sources":["CrossRef","arXiv","DOAJ"],"query":"Mathematics"}