4th International Conference Research Articles

Introduction to the Special Issue on Runtime Verification

AbstractRuntime verification (RV) refers to methods for formal reasoning about all aspects of the dynamic execution of systems, including hardware, software, and cyber-physical systems. RV includes techniques to assess and enforce correctness of a system against systemic bugs or extrinsic uncertainties. These methods are typically considered lightweight as they may not involve exhaustive verification or proofs, but they provide a higher level of rigor and versatility compared to conventional testing methods. This article introduces the extended versions of selected papers from the peer-reviewed proceedings of the 20th International Conference on Runtime Verification (RV 2020). RV 2020 was supposed to be held in Los Angeles, California, USA in July 2020, but was instead held virtually due to the global Covid-19 pandemic.

Preface

IC3DDose 2022 - 12th International Conference on 3D and Advanced Dosimetry The 12th IC3DDose conference on advanced radiation dosimetry was held in person in Quebec City, Quebec, Canada from June 20 to 23, 2022. The meeting was scheduled back-to-back with the Canadian Organization of Medical Physicists’ (COMP) annual scientific meeting, offering unique opportunities for scientific knowledge sharing and extensive networking. It was a refreshing restart for the IC3DDose community after the cancelled meeting in 2020 and a reduced scope virtual meeting in 2021.A total of 71 participants from 11 countries met for 3.5 days in a mix of refresher/review sessions and proffered presentations covering state-of-the-art dosimetry encompassing all major dosimetry techniques used for standard external beam and brachytherapy. Presenters also covered advanced applications addressing the challenges of radiation measurement in small field, MR-Linac, microbeam and FLASH dosimetry. A total of 14 invited presentations and 25 contributed talks were given the at meeting including papers in a Rising Star Competition and in a single hybrid session with virtual participants from Australia, China and Japan. The associated papers presented in these proceedings add to an already extensive collection of 118 review and 574 proffered papers in 9 previous volumes of the Journal of Physics Conference Series from the past conferences.A feature for this year’s meeting was that all contributed speakers on a given day were asked to mount their presentation slides on poster boards for a dedicated closing discussion session entitled “Meet the speakers of the day”. This allowed attendees to engaged in deeper discussions, beyond the question periods at the end of their talks. The daily sessions reinforced the IC3DDose philosophy to foster strong mingling of all participants, from trainees to more experienced attendees. A keynote address and the final morning of sessions were open to COMP registrants also. This made the topics of the IC3DDose meeting available to a much wider audience.The meeting was a great success and the attendees developed new expertise and new networks through the many interactions over the meeting’s four days. Colleagues from Aarhus Denmark announced at the end of the meeting that they will now undertake to organize a 13th meeting in 2024.The local organizing committee sincerely thanks the sponsors for our meeting: Elekta and Varian as bronze sponsor and MedScint in the start-up category. We further acknowledge support from COMP, l’ Association Québécoise des Physicien(ne)s Médicaux Cliniques, l’ Université Laval and CRCHU de Quebec-Université Laval.Louis Archambault, Luc Beaulieu and L. John Schreiner(for the organizing and scientific committee)List of International Scientific Committee, Local Organizing Committee, Detailed Program of the 12th International Conference on 3D and Advanced Dosimetry (IC3Ddose) June 2022, Château Frontenac, Quebec City, Contents, About, A Warm Thank You to our Sponsors, at a Glance, Day 1 – June, Day 2 – Day 3 – June 22nd, Day 4 –, a Warm Thank You to our Sponsors are available in this pdf.

Preface

The 20th International Conference on Aerospace Sciences & Aviation Technology ASAT-20 MAY 9 - 11, 2023, Cairo, Egypt The Military Technical College, Cairo, Egypt, has the pleasure to organize the 20thInternational Conference on Aerospace Sciences & Aviation Technology (ASAT-20), MAY 9 - 11, 2023. The Organizing Committee welcome all the Aerospace Sciences and Aviation Technology professionals to this signature event in Military Technical College, looking forward to outstanding meetings with top industrial, academic scientists, and researchers; from the different countries around the world; to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the fields of Aerospace Sciences and Aviation Technology.The conference has been received 160 scientific papers., The reviewe process starts with plagiarism test and reviewed by 120 specialized professors of different conference fields. A 94 scientific papers are approved, and they will be discussed in 25 scientific sessions. As part of the conference activities, 12 scientific lectures will be held on the latest findings of scientists in the field of aerospace engineering and their applications.The researchers and professors represent many research and academic centers and industrial entities from the Arab Republic of Egypt, the United States of America, China, Canada, the United Kingdom, Germany, India, Pakistan and the Czech Republic.List of Conference Topics, Conference Committee, Contributors, Conference Schedule, Scientific Sessions, Workshops and Keynotes Speakers, List of Reviewers, Authors Index are available in this pdf.

Preface

The 2023 4th International Conference on Internet of Things, Artificial Intelligence and Mechanical Automation (IoTAIMA 2023) was held via hybrid form in Guangzhou, China during July 21st to 23rd, 2023, following the successes of previous events held in Hangzhou (2020, 2021), and Shanghai (2022). This year the IoTAIMA 2023 aimed to bring together researchers, developers, and users in both industry and academia in the world to discuss emerging issues on Internet of Things, artificial intelligence and mechanical automation, for sharing state-of-art results, and for exploring new areas of research and development.The Conference was organized by Peking University-Wuhan Institute for Artificial Intelligence and co-organized by Central South University School of Automation. More than 80 delegates from home and abroad attended the Conference.The IoTAIMA 2023 was featured with four keynote speeches (by Prof. Deyu Qi, Prof. Jinping Ao, Prof. Ming Jiang, Assoc. Prof. Wei Wei, respectively), and several oral and poster presentations, in which a wide range of topics were covered and the most recent significant results were presented. Prof. Ming Jiang from Sun Yat-sen University, China addressed his speech Massive MIMO Aided Multinetwork 3D Positioning. Exploiting a distributed M-MIMO framework, his team proposed to employ a deep belief network (DBN) to analyze the received signal strengths (RSS) generated by a diffraction model. Next, the preliminary DBN estimates were forwarded to a long-short term memory network (LSTMN), where the trajectory information of the targeted UE can be extracted based on much less historical trajectory information than existing solutions. Then, the three-dimension (3D) coordinates of the UE’s positions can be estimated with a back propagation neural network (BPNN) which combines the outputs of DBN and LSTMN. Finally, extensive simulation results were provided to demonstrate the effectiveness of the proposed BPNN scheme.Quantities of excellent papers evaluated based on their originality, technical or research content, correctness, relevance to conference, contributions, and readability were presented in the Conference Proceedings published by Journal of Physics: Conference Series (JPCS). The topics of these papers include Radio Frequency Identification, Micro-Electro-Mechanical Systems, New Sensing Technology, Unmanned System Control Technology, Industrial Robots and Automatic Production line, etc.With the excellent quality of all the presentations, the IoTAIMA 2023 was a great success. We wish to thank the sponsors of the Conference, and particularly the Technical Program Committee. We would also like to extend our gratitude to all the speakers and authors for sharing scientific ideas and presenting new perspectives with us on related topics. Our appreciation also goes to the editors and other staff of JPCS for the assistance it provided for the publication of this paper volume.The Committee of IoTAIMA 2023List of Committee Member is available in this Pdf.

Preface

It is our great pleasure to have you at the 2023 5th International Conference on Artificial Intelligence Technologies and Applications (ICAITA 2023), which took place in Changchun, China from June 30th to July 2nd, 2023 (hybrid conference). ICAITA 2023 was successfully held, and received unanimous praise from various experts and scholars all over the world.ICAITA 2023 existed as an international forum for academic communications between experts and scholars in the fields of artificial intelligence technologies and applications. It promoted the research and developmental activities in related fields and scientific information interchange among all the participants, establishing research connections for them to find global partners for potential collaboration.After months of well preparation and hard work, the Proceedings of ICAITA 2023 covering a bunch of papers, having been checked through rigorous review and processes to meet the requirements of publication, are smoothly published. These papers feature but are not limited to the following topics: Artificial Neural Networks, Computational Theories of Learning, Pervasive Computing and Ambient Intelligence, Fuzzy Logic and Methods, etc.We had about 300 participations both as speakers and participants, including senior experts, research talents, and young scholars from enterprises, research institutes, and universities worldwide. During the keynote speech part, each keynote speaker was given 30–40 minutes for keynote speech. Among them, Professor Philippe Fournier-Viger from Shenzhen University, China performed a keynote speech on Advances and Challenges for the Automatic Discovery of Interesting Patterns in Data. He first briefly reviewed early studies on designing algorithms for identifying frequent patterns. Then, he presented an overview of recent challenges and advances to identify other types of interesting patterns in more complex data. Topics that were discussed included high utility patterns, locally interesting patterns, and periodic patterns. Lastly, the SPMF open-source software was mentioned and opportunities related to the combination of pattern mining algorithms with traditional artificial intelligence techniques for intelligent systems were discussed. The insightful speeches of each keynote speakers triggered interesting discussions and a good number of informal talks between all the participants.We would like to express our gratitude to the organizers, keynote speakers and all the participants of ICAITA 2023, for their fruitful work and contribution to the success of the Conference. We are thankful to all the reviewers for providing constructive criticisms, stimulated comments and suggestions to the authors. Particularly, our special thanks go to Journal of Physics: Conference Series, for the endeavor of all its colleagues in publishing this paper volume.May this event be a spark that ignites many more new inventions in the fields related to artificial intelligence technologies and applications!The Committee of ICAITA 2023List of Committee Member is available in this pdf.

An Introduction to ALISA and Its Usage for an Industrial Railway System Case Study

This paper presents an overview of ALISA (Architecture- Led Incremental System Assurance) and its evaluation for a case study of the railway domain as presented during the ADEPT workshop collocated with the 26th Ada-Europe International Conference on Reliable Software Technologies.

Abstracts from the 12th International Conference for Healthcare and Medical Students (ICHAMS)

Abstracts from the 12th International Conference for Healthcare and Medical Students (ICHAMS)

7th International Conference on Ionic Liquid-Based Materials (ILMAT2023)

7th International Conference on Ionic Liquid-Based Materials (ILMAT2023)

8th International Conference on Behavioral Addictions (ICBA 2023) August 23–25, 2023 Incheon, South Korea

8th International Conference on Behavioral Addictions (ICBA 2023) August 23–25, 2023 Incheon, South Korea

Preface: 4th International Conference on Artificial Intelligence and Engineering Applications (AIEA 2023)

2023 the 4th International Conference on Artificial Intelligence and Engineering Applications (AIEA 2023) was held in Guilin, China during September 23-24, 2023. AIEA 2023 is a platform for presenting excellent results and new challenges facing the field of the artificial intelligence and engineering applications, especially in the field of unmanned vehicles and aircraft, infrared identification, radar detection and so on. It brings together experts from industry, governments and academia, experienced in engineering, design and research. We appreciate that if you disseminate this flyer to your friends, colleagues, disciples and others who might interests to AIEA Conference Series. The conference received 76 manuscripts, by submitting a paper to AIEA, the authors agree to the review process and understand that papers undergo a peer-review process. Manuscripts will be reviewed by appropriately qualified experts in the field selected by the Conference Committee, who will give detailed comments and-if the submission gets accepted-the authors submit a revised version that takes into account this feedback. All papers are reviewed using a double-blind review process: authors declare their names and affiliations in the manuscript for the reviewers to see, but reviewers do not know each other's identities, nor do the authors receive information about who has reviewed their manuscript. The Committees of AIEA 2023 invest great efforts in reviewing the papers submitted to the conference and organizing the sessions to enable the participants to gain maximum benefit. With our warmest regards, Kaisen Li, Truman Pan Conference Organizing Committees

Special issue: 6th International Conference of Chemical Engineering & Industrial Biotechnology 2022 (ICCEIB 2022)

Special issue: 6th International Conference of Chemical Engineering &amp; Industrial Biotechnology 2022 (<scp>ICCEIB</scp> 2022)

SurgT challenge: Benchmark of soft-tissue trackers for robotic surgery

This paper introduces the “SurgT: Surgical Tracking” challenge which was organized in conjunction with the 25th International Conference on Medical Image Computing and Computer-Assisted Intervention (MICCAI 2022). There were two purposes for the creation of this challenge: (1) the establishment of the first standardized benchmark for the research community to assess soft-tissue trackers; and (2) to encourage the development of unsupervised deep learning methods, given the lack of annotated data in surgery. A dataset of 157 stereo endoscopic videos from 20 clinical cases, along with stereo camera calibration parameters, have been provided. Participants were assigned the task of developing algorithms to track the movement of soft tissues, represented by bounding boxes, in stereo endoscopic videos. At the end of the challenge, the developed methods were assessed on a previously hidden test subset. This assessment uses benchmarking metrics that were purposely developed for this challenge, to verify the efficacy of unsupervised deep learning algorithms in tracking soft-tissue. The metric used for ranking the methods was the Expected Average Overlap (EAO) score, which measures the average overlap between a tracker’s and the ground truth bounding boxes. Coming first in the challenge was the deep learning submission by ICVS-2Ai with a superior EAO score of 0.617. This method employs ARFlow to estimate unsupervised dense optical flow from cropped images, using photometric and regularization losses. Second, Jmees with an EAO of 0.583, uses deep learning for surgical tool segmentation on top of a non-deep learning baseline method: CSRT. CSRT by itself scores a similar EAO of 0.563. The results from this challenge show that currently, non-deep learning methods are still competitive. The dataset and benchmarking tool created for this challenge have been made publicly available at https://surgt.grand-challenge.org/. This challenge is expected to contribute to the development of autonomous robotic surgery and other digital surgical technologies.

Julian Bogdani, Riccardo Montalbano, Paolo Rosati (eds), Archeo.FOSS XIV 2020: Open software, hardware, processes, data and formats in archeological research: Proceedings of the 14th International Conference (15-17 October 2020) Archaeopress Archaeo

Archeo.FOSS XIV 2020: Open software, hardware, processes, data and formats in archeological research: Proceedings of the 14th International Conference (15-17 October 2020)

Preface: 5th International Conference on Information Science and Electronic Technology (ISET 2023)

We are pleased to announce that the 2023 5th International Conference on Information Science and Electronic Technology (ISET 2023) was successfully held in Venice, Italy during August 26-27, 2023. The objective of ISET 2023 is to provide a platform for researchers, engineers, academicians as well as industrial professionals from all over the world to present their research results and development activities in information science, computer applications, mechatronics, electrical engineering, and electronic technology.&#x0D; This conference provides opportunities for the delegates to exchange new ideas and application experiences face to face, to establish business or research relations, and to find global partners for future collaboration.&#x0D; There were over 50 participants attended ISET 2023. During the conference, the conference model was divided into three sessions, including oral presentations, keynote speeches, and Q&amp;A discussion. Their insightful speeches had triggered heated discussion in the conference. Every participant praised this conference for disseminating useful and insightful knowledge.&#x0D; We would like to acknowledge all of those who have supported ISET 2023. Each individual and institutional help were very important for the success of this conference. Especially we would like to thank the organizing committee for their valuable advices in the organization and helpful peer review of the papers.&#x0D; The Conference Scientific Committee&#x0D; Venice, Italy

14th International Conference on Paleoceanography

14th International Conference on Paleoceanography

4th International Conference on Sustainable Futures: Environmental, Technological, Social and Economic Matters

This paper presents the preface of the proceedings for the 4th International Conference on Sustainable Futures: Environmental, Technological, Social, and Economic Matters (ICSF 2023), a multidisciplinary event that explores the challenges and opportunities of sustainability in various domains. The preface outlines the conference’s objectives, themes, workshops, and topics, as well as its contribution to advancing sustainable development and global dialogue. It also acknowledges the efforts and inputs of various stakeholders who have made the conference possible, especially in light of the pandemic situation. Furthermore, it thanks IOP Publishing for its support and flexibility in facilitating open access publishing. The paper concludes by looking forward to future editions of ICSF and the ongoing quest for a more sustainable and interconnected world. The paper invites readers to delve into the rich and diverse content that shapes this influential conference.

Preface

These proceedings contain the peer-reviewed full papers presented at the 5th International Conference on Maritime Autonomous Surface Ships (ICMASS), held November 8-9, 2023, in Rotterdam, The Netherlands. ICMASS is the conference where leading industry and academia meet to discuss and advance the latest in science and technology in maritime autonomous surface ships. The conference features contributions with clear technical applications as well as more application-oriented results.The theme of this year’s ICMASS is “Autonomy for Sustainable & Green Shipping”, featuring over 50 contributions covering topics such as AI & autonomy, onboard control, remote & shore control, smart ships as part of smart logistics, market uptake, safety evaluations, multi-vessel interactions, collision avoidance, regulatory & legal frameworks, as well as discussions on liability. The papers published in these ICMASS’23 proceedings contain theoretical contributions as well as reports on practical implementations in field labs and industry.A conference such as this can only succeed as a team effort, and, as such, we thank the International Program Committee and the Reviewers for their excellent work in reviewing the papers as well as their invaluable input and advice.On behalf of the organizing committee,Rie B. Larsen, Ørnulf Jan Rødseth, Rudy NegenbornList of ICMASS’23 Organizing Committee, International Programme Committee are available in this Pdf.

Preface

With great pleasure and admiration, here we present the conference proceedings of 2023 The 12th International Conference on Engineering Mathematics and Physics (ICEMP 2023). This esteemed event brought together experts, scholars, and researchers from all around the world to explore groundbreaking advancements and share valuable insights in the fields of engineering mathematics and physics.ICEMP 2023 is held both in Kuala Lumpur, Malaysia and online. The conference lasted 3 days including onsite sign-in and online test on the first day, and then followed with 7 guest speakers along with 3 author oral sessions during July 6-7. The authors’ presentations cover topics on Basic Mathematics and Mathematical Models, System Design and Physical Analysis, and Modern Mathematical Theory and Engineering Physics.The contributed papers presented in this volume cover a wide range of topics spanning mathematical models and mathematical calculations in engineering, physics-based mechanical system performance measurement. Each paper was subject to a rigorous review process, ensuring that only qualified contributions were included. These papers represent the collective effort and dedication of the authors, whose remarkable research and findings continue to push the boundaries of science and technology.We extend our sincerest gratitude to the organizing committee, keynote and invited speakers, session chairs, reviewers, and staff for their unwavering commitment and great efforts in ensuring the success of this conference. Their dedication was instrumental in maintaining the high standards and intellectual rigor.Lastly, we express our deepest appreciation to all the authors who contributed their exceptional research to this conference. Their contributions exemplify the tireless pursuit of knowledge and the unwavering dedication to academic excellence.We hope that the conference proceedings will serve as both a valuable reference and an inspiration for researchers, scientists, and engineers worldwide. May this collection of research contribute to the advancement of engineering mathematics, and physics, and may it inspire future generations to strive for greatness in these ever-evolving disciplines.Best regards,Conference Chair,Prof. Haydar Akca,Abu Dhabi University, UAEList of Committee is available in this pdf.

Preface

The 2023 4th International Conference on Electrical, Electronic Information and Communication Engineering (EEICE 2023) took place on April 21st to 23rd, 2023 in Dalian, China (hybrid event), attracting about 150 delegates around the world. The previous three conferences of EEICE series were successfully held via virtual form, enjoying great popularity.EEICE 2023 aims to bring together leading academic scientists, researchers, and practitioners to present and discuss the most recent innovations, trends, and concerns as well as practical challenges encountered and solutions adopted in the domain of interest from around the world to exchange, share their experiences and research results on all aspects of electrical, electronic information and communication engineering.EEICE 2023 is the premier interdisciplinary platform for the presentation of new advances and research results in related fields. Prospective authors are kindly encouraged to contribute to and help shape the Conference through submissions of their research abstracts, papers, posters and high-quality research contributions describing original and unpublished results of conceptual, constructive, empirical, experimental, or theoretical work in all areas of electrical, electronic information and communication engineering, and speakers are cordially invited for presentation at the Conference.At this meeting we had a comprehensive overview of this fascinating field and of future scenarios thanks to the participation of leaders of the most important projects. Professor Wei Yue from Dalian Maritime University, China performed a keynote speech on the title Connected and Automated Vehicles Control with Communication Constraints. The efficient and safe operation of connected and automated vehicle systems is highly dependent on the ability of the vehicles to communicate with each other and with the infrastructure. However, in real-world scenarios, communication constraints such as limited bandwidth, latency, and data loss can significantly impact the effectiveness of vehicle control systems. Therefore, the goal of this research is to ensure that connected and automated vehicle systems can operate effectively and safely in the face of communication constraints, enabling the widespread adoption of this technology to enhance the efficiency and safety of transportation systems. Their sharing of knowledge and experience has sparked heated discussion in the Conference.Last but not the least is our gratitude. As editors we would like to express our sincere thanks to all the plenary and invited speakers, the members of the Technical Program Committee and the Organizing Committee for the success of the Conference, which has given rise to this present volume of selected papers. Special thanks to the members of Journal of Physics: Conference Series for making this volume published.The Committee of EEICE 2023List of Conference Committee is available in this pdf.

Preface

The 2023 5th International Conference on Wireless Communications and Smart Grid (ICWCSG 2023) supported by South China University of Technology was successfully held in Sipsongpanna, China from June 30th to July 2nd, 2023 (hybrid event). This Conference was the fifth in a series of topical meetings, which began with the Guilin meeting in 2019. ICWCSG 2023 was attended by about 60 participants from different countries and regions.For this fifth meeting we chose Sipsongpanna as our Conference venue and met with our old and new friends. While the location of the conferences has been changed, what remained invariant is the aim of these conferences, which is to discuss recent advances and new perspectives in wireless communications and smart grid in a pleasant and friendly atmosphere. At this meeting we had a comprehensive overview of this fascinating field and of future scenarios thanks to the participation of leaders of the most important projects.The Conference presented an outstanding paper volume covering the most recent advances in wireless communications and smart grid, including Computer Vision and Audition, Optical Modulation and Signal Processing, Antenna Modeling and Measurements, Smart Grid Interoperability and Standards, etc. The papers in this Proceedings published by Journal of Physics: Conference Series represent a collection of plenary talks, invited keynote speeches and other contributions.The Conference program consisted of four keynote speeches presented in plenary sessions, including four “hot topic” speeches highlighting the most recent advances in the fields, and various oral and poster presentations. Among them, Professor Wenjie Feng from South China University of Technology, China performed a keynote speech on Research on Millimeter-wave Circuits Based on Gap Waveguide (GWG). In this research, the microstrip transitions were introduced here for system integration between the antenna and the passive/active components. The theory background and the evolution of gap waveguide proposed by Prof. P. S. Kildal, were also described simply. Finally, the future development of the gap waveguide based on the Micro-Electromechanical System (MEMS) technology was discussed. This overview study aimed to provide a solution for the millimeter-wave circuits, especially in the W-band.We would like to thank the participants, especially those who contributed speeches, posters and manuscripts, for making ICWCSG 2023 such an exciting and memorable Conference. We thank the International Technical Program Committee for putting together the outstanding program and the Organizing Committee for their tireless efforts in the organization of the Conference. Finally, we extend our gratitude to the members of Journal of Physics: Conference Series whose friendly and efficient work contributed much to the successful publication of this volume.The Committee of ICWCSG 2023List of Committee Member is available in this pdf.