Proceedings Of The Ninth International Conference On Mathematics And Computing

This book features selected papers from the 9th International Conference on Mathematics and Computing (ICMC 2023), organized at BITS Pilani K. K. Birla Goa Campus, India, during 6–8 January 2023. It covers recent advances in the field of mathematics, statistics, and scientific computing. The book presents innovative work by leading academics, researchers, and experts from industry in mathematics, statistics, cryptography, network security, cybersecurity, machine learning, data analytics, and blockchain technology in computer science and information technology.

DepCoS – RELCOMEX is an annual series of conferences organized by Wrocław University of Technology to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. In contrast to classic analyses which were concentrated on reliability of technical resources and structures built from them, dependability is based on multi-disciplinary approach to theory, technology and maintenance of a system considered to be a multifaceted amalgamation of technical, information, organization, software and human (users, administrators, supervisors, etc.) resources. Diversity of processes being realized (data processing, system management, system monitoring, etc.), their concurrency and their reliance on in-system intelligence often severely impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods. This book presents the proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, which took place in Brunów Palace, Poland, from 30th June to 4th July, 2014. The articles selected for this volume illustrate the variety of topics that must be included in system dependability analysis: tools, methodologies and standards for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks or management of transportation networks.

This is the Proceedings of the Ninth International Conference on Management Science and Engineering Management (ICMSEM) held from July 21-23, 2015 at Karlsruhe, Germany. The goals of the conference are to foster international research collaborations in Management Science and Engineering Management as well as to provide a forum to present current findings. These proceedings cover various areas in management science and engineering management. It focuses on the identification of management science problems in engineering and innovatively using management theory and methods to solve engineering problems effectively. It also establishes a new management theory and methods based on experience of new management issues in engineering. Readers interested in the fields of management science and engineering management will benefit from the latest cutting-edge innovations and research advances presented in these proceedings and will find new ideas and research directions. A total number of 132 papers from 15 countries are selected for the proceedings by the conference scientific committee through rigorous referee review. The selected papers in the first volume are focused on Intelligent System and Management Science covering areas of Intelligent Systems, Logistics Engineering, Information Technology and Risk Management. The selected papers in the second volume are focused on Computing and Engineering Management covering areas of Computing Methodology, Project Management, Industrial Engineering and Decision Making Systems.

This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selectedfrom a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.

This book features selected papers from the 6th International Conference on Mathematics and Computing (ICMC 2020), organized by Sikkim University, Gangtok, Sikkim, India, during September 2020. It covers recent advances in the field of mathematics, statistics, and scientific computing. The book presents innovative work by leading academics, researchers, and experts from industry.

This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Mathematical Knowledge Management, MKM 2008, held in Birmingham, UK, in July/August as CICM 2008, the Conferences on Intelligent Computer Mathematics. The 14 revised full papers for AISC 2008, 10 revised full papers for Calculemus 2008, and 18 revised full papers for MKM 2008, plus 5 invited talks, were carefully reviewed and selected from a total of 81 submissions for a joint presentation in the book. The papers cover different aspects of traditional branches in CS such as computer algebra, theorem proving, and artificial intelligence in general, as well as newly emerging ones such as user interfaces, knowledge management, and theory exploration, thus facilitating the development of integrated mechanized mathematical assistants that will be routinely used by mathematicians, computer scientists, and engineers in their every-day business.