Previous Conferences Research Articles

Fuzzy logics – quantitatively

ABSTRACT The Gödel–Dummett logic and Łukasiewicz one are two main many-valued logics used by the fuzzy logic community. Our goal is a quantitative comparison of these two. In this paper, we will mostly consider the 3-valued Gödel–Dummett logic as well as the 3-valued Łukasiewicz one. We shall concentrate on their implicational-negation fragments which are limited to formulas formed with a fixed finite number of variables. First, we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length built with exactly one variable. Then, we investigate such proportion for satisfiable formulas. Second, we generalise our investigation on formulas written with k ≥ 1 variables. The primary goal of the paper is the research on the asymptotic behaviour of these fractions when the length n tends to infinity. If such limits exists, they are real numbers between 0 and 1, which are called the density of truth or the density of SAT. To compare the density of truth and the density of satisfiable formulas for both fragments of 3-valued Gödel–Dummett's and Łukasiewicz's logics we use the powerful theory of analytic combinatorics. This paper is a natural continuation of the previous brief conference note by Kostrzycka and Zaionc (2020) as well as enriched with some previous results from Kostrzycka and Zaionc (2003). In the conference note we computed analytically the density of truth and the density of SAT (with a determined precision) for 3-valued Łukasiewicz's logic restricted to a language with only one variable. In Kostrzycka and Zaionc (2003) we computed the same values for exactly the same fragment of the 3-valued Gödel–Dummett logic. This paper answers the more general questions of the existence of density of truth and density of SAT for both many-valued logics with an arbitrary finite number of variables. Therefore this paper gives an an interesting picture of two main families of finite-valued fuzzy logics problems treated quantitatively. This picture is taken from the perspective of classical logic. It shows that unexpectedly there is quantitatively a little distance between these two approaches.

Extending the description logic [formula omitted] with threshold concepts induced by concept measures

In applications of AI systems where exact definitions of the important notions of the application domain are hard to come by, the use of traditional logic-based knowledge representation languages such as Description Logics may lead to very large and unintuitive definitions, and high complexity of reasoning. To overcome this problem, we define new concept constructors that allow us to define concepts in an approximate way. To be more precise, we present a family τEL(m) of extensions of the lightweight Description Logic EL that use threshold constructors for this purpose. To define the semantics of these constructors we employ graded membership functions m, which for each individual in an interpretation and concept yield a number in the interval [0,1] expressing the degree to which the individual belongs to the concept in the interpretation. Threshold concepts C⋈t for ⋈∈{<,≤,>,≥} then collect all the individuals that belong to C with degree ⋈t. The logic τEL(m) extends EL with threshold concepts whose semantics is defined relative to a function m. To construct appropriate graded membership functions, we show how concept measures ∼ (which are graded generalizations of subsumption or equivalence between concepts) can be used to define graded membership functions m∼. Then we introduce a large class of concept measures, called simi-d, for which the logics τEL(m∼) have good algorithmic properties. Basically, we show that reasoning in τEL(m∼) is NP/coNP-complete without TBox, PSpace-complete w.r.t. acyclic TBoxes, and ExpTime-complete w.r.t. general TBoxes. The exception is the instance problem, which is already PSpace-complete without TBox w.r.t. combined complexity. While the upper bounds hold for all elements of simi-d, we could prove some of the hardness results only for a subclass of simi-d. This article considerably improves on and generalizes results we have shown in three previous conference papers and it provides detailed proofs of all our results.

Preface

It is with great honor; we present the proceeding of The 3rd International Conference on Environmental Ecology of Food Security (ICEFS) 2023, which was organized by the Faculty of Agriculture, Tadulako University, and held in Swissbel Hotel Palu, February 14-15, 2023. The proceeding of the previous conferences in this series has been published in the IOP conference series: Earth and Environmental Sciences (EES).The proceeding of the 3rd IC-ICEFS consists of 153 papers that are ready to be published in IOP Conference Series: Earth and Environmental Science across six main scopes; (i) Agriculture production, (ii) Agricultural socio-economics, (iii) Climate change mitigation and policy, (iv) Innovation and precision farming (v) Ecosystem function and services and (vi) Food processing, safety and diversification. In addition to the excellent paper presentations at the conference, the conference also featured five keynote speakers with expertise in the field of the conference’s subjects. Please allow us to take this opportunity to thank the keynote speakers from various countries and presenters from various affiliations.I would like to express our deepest gratitude to all committees for this conference’s success and smooth running. Last but not least, a warm thank you to all academics, researchers, and observers of Faculties of Agriculture, Science, Animal Husbandry, and Forestry for their participation in submitting their article in the IOP proceedings series EES 2023. I sincerely look forward to all the contributions that will benefit and promote the development of a sustainable agricultural innovation sector toward achieving the SDGs and dealing with the triple planetary issues.Warm Regards,Prof. Dr. Ir. Abd. Rahim, STP., MP., IPM., ASEAN Eng.Conference Chairman Faculty of Agriculture, Tadulako UniversityList of Conference Committees, Documentation Conference Opening Season are available in this pdf.

Preface

It is with great honor; we present the proceeding of the 4th International Conference of Food Security and Sustainable Agriculture in The Tropics (IC-FSSAT) 2023, which was organized by the Faculty of Agriculture, Universitas Hasanuddin, and held online in the 15 – 16 February 2023. The proceeding of the previous conferences in this series has been published in the IOP conference series: Earth and Environmental Sciences (EES).The proceeding of the 4th IC-FSSAT consists of 225 reviewed papers across 10 main scopes; (i) Industrial-scale Agriculture, (ii) Food Agribusiness and Rural Development, (iii) Food Agribusiness and Rural Development, (iv) Biodiversity, Soil Health and Agricultural Practices (v) Integrated Pest and Disease Management, (vi) Plant Breeding and Biotechnology (vii) Agricultural Engineering, (viii) Digital Farming, (ix) Food Processing, Safety and Diversification and (x) Crop Production System. In addition to the excellent paper presentations at the conference, the conference also featured nine keynote and invited speakers with expertise in the field of the conference’s subjects. Please allow us to take this opportunity to thank the keynote speaker and the invited speakers: Dr. Tony Liwang (Oil Palm Plantation Fund Management Agency, Indonesia; Prof. Siti Kusujiarti (Warren Wilson College, USA); Prof. Bunyamin Tar’an (University of Saskatchewan, Canada); Prof. Sikstus Gusli (Hasanuddin University, Makassar- Indonesia); Dr. Thong Nguyen-Huy (The University of Southern Queensland, Australia); Dr. Didier Lesueur (Centre de cooperation Internationale en Recherche Agronomique pour le Developpement (CIRAD), France; Dr. Anwar Syed H. Rizvi Animal and Plant Health Inspection Service, USA; Prof. Hasil Sembiring (IRRI Indonesia); and Dr. Inamullah Khan (The University of Agriculture, Pakistan).I would like to express our deepest gratitude to all committees for this conference’s success and smooth running. Last but not least, a warm thank you to all academics, researchers, and observers of Faculties of Agriculture, Science, Animal Husbandry, and Forestry for their participation in submitting their article in the IOP proceedings series EES 2023. I sincerely look forward to all the contributions that will benefit and promote the development of a sustainable agricultural innovation sector toward achieving the SDGs and dealing with the triple planetary issues.Warm Regards,Muhammad JUNAID, SP., MP., PhDConference Chairman Faculty of Agriculture, Hasanuddin UniversityList of Conference Committees, Conference Photograph are available in this pdf.

Investigations on terthiophene as an electrically conductive polymer for UV laser lithography

Abstract Polymers hold great potential for the use in microsensors and organic electronics. They are highly adaptable, easy to process and can contribute new or improved capabilities compared to semiconductors. Direct UV laser lithography also gains increasing attention. Because it avoids expensive photomasks, it is especially attractive where small numbers of specialized microcomponents are needed, like in prototyping. Lithography necessitates materials, which can be shaped by UV radiation. For many microsensor applications, there is the additional requirement of electric conductivity, preferably in the same material. We approached this demand by combining a Novolak and terthiophene doped with copper(II) perchlorate to form an interpenetrating polymer network, which possesses properties of both of its constituents. From this, we manufactured test structures with the UV laser of a micro pattern generator. In previous conference contributions, we showed a first proof of principle. In this publication, we present results of new experiments that demonstrate the characteristics in more detail. We improved our electrical setup to conduct four-terminal measuring. We used it to first verify previous results and investigated the material’s response to alternating currents up to 10 kHz. We then compared the electrical resistivity of differently sized structures for temperatures between 20 and 90 °C and examined long-term stability of their resistance by subjecting samples to temperatures of up to 60 °C for several hours. Additionally, we tested the influence of UV radiation on the resistance. Our samples exhibited good lithographic qualities. Resistivities were around 2 Ω mm and temperature sensitivity up to −407 Ω K−1. UV radiation induced a partially reversible increase of the electric resistance. The long-term stability of the material was temperature-dependent.

Preface

The 2023 10th International Conference on Advanced Manufacturing Technology and Materials Engineering (AMTME 2023), sponsored by Guangdong Dr. Council for the Promotion of Innovation and Development and Guangzhou Matals Association, is motivated to bridge the scientists, experts, practitioners, and students in the scientific forum through sharing ideas and issues about theoretical and practical knowledge in advanced manufacturing technology and materials engineering.This Seminar took place via hybrid form on March 24th to 26th, 2023 in Zhuhai, China, bringing together about 200 attendees worldwide. The previous conferences of AMTME have been successfully held in Beijing, China (2013, 2021), Guangzhou, China (2014, 2015, 2016, 2017), Hohhot, China (2018), Chongqing, China (2019, 2020). As an annual conference, it’s held in China every year, attracting more than 600 attendees from different countries all around the world. With strong organization team, dependable reputation and wide sponsors globally, AMTME 2023 is a leading annual conference of advanced manufacturing technology and materials engineering for all researchers at home and abroad.This Conference is considered to accommodate discussion among researchers in the field of advanced manufacturing technology and materials engineering as a scientific forum. Therefore, the invited speakers in this Conference are experts in the field of advanced manufacturing technology and materials engineering.The keynote presentations were provided particularly to show the contribution of scholars and experts in related research fields towards research and knowledge sharing. We had six keynote speakers coming mainly from Baosteel Central Research Institute, China, South China University of Technology, China, Shandong Jianzhu University, China, and Tianjin University, China. Professor Xinping Mao from Baosteel Central Research Institute has long been engaged in the research of advanced steel manufacturing processes and high-performance steel materials, and shared with us his personal experience and insights in material engineering.The AMTME 2023 involved more than 150 papers from various topics including Advanced Manufacturing Technology, Advanced Design Technology, New Materials and Advanced Materials, Manufacturing Systems and Automation, etc.. The selected papers were checked through a rigorous peer review process, and will be published in the present conference proceedings. Reviews were conducted by expert referees to the professional and scientific standards expected of the proceedings journal.We would like to thank all the members of the Local Organizing Committee for their efficient preparation for organizing this event. We would also extend our best gratitude to keynote speakers for their invaluable contribution and worthwhile ideas shared in the Conference. Last but not the least is our appreciation to Journal of Physics: Conference Series for every process its members conducted to make this volume published.The Committee of AMTME 2023List of Committee Member is available in this pdf.

Die Sektion für Dynamische Gruppenpsychotherapie der Gesellschaft für Ärztliche Psychotherapie der DDR – Eine Qualitative Inhaltsanalyse der Arbeitstagungen und Symposien im Zeitraum von 1969–1990

This exploratory study contributes to the work of the Section for Dynamic Group Psychotherapy – a section of the Society for Medical Psychotherapy of the GDR. Conferences and symposia organized by the section in the period from 1969 to 1990 were analyzed with qualitative content analysis to identify thematic hotspots. The results of the qualitative content analysis show high relevance values in the subject areas of «practice» and «theory» during the entire period. «Research» became relevant at the end of the 1970s and achieved high relevance values in the 1980s. Group psychotherapy was increasingly combined with various group therapy methods and applied to different target groups. From 1974 to 1986, the intended dynamic group psychotherapy determined the methodological focus of the section‘s work. The 3rd symposium for group psychotherapy (1990) shows thematic specificity. In contrast to previous conferences, aspects of socialization, pedagogy and the treatment of different age groups determine the professional exchange.

Rivalry and Group Member Behavior among Fans of Sport Teams and Theme Parks

The current study investigated how group members react to favorite and rival brands among sport teams and theme parks. Specifically, fans of sport teams perceptions of favorite and rival brands were compared to that of theme park fans. Results showed that fans of sport teams reported more positivity toward their favorite brands and more negativity toward their rival brands than did fans of theme parks. Additionally, identifying as a fan of both a sport team and theme parks influenced more positive attitudes toward the favorite theme park brand. Finally, the current study places the group member behavior of theme park fans in the Hierarchy of Out-Group Derogation (HOD) and Out-group Derogation Spectrum (ODS) using the Group Behavior Composite (GBC, Havard, Grieve, Peetz, 2021). Implications for research and practice are discussed, along with future research avenues presented. A version of this study was presented at a previous conference, however with inaccurate data analysis. This presentation will focus on analysis using correct data points and the inclusion of the results in the HOD and ODS.

Preface

Euro Asia Civil Engineering Forum (EACEF) was founded in 2006 in Stuttgart – Germany. The founders of EACEF are Prof. Dr.-Ing. Harianto Hardjasaputra, Professor of Pembangunan Jaya University – Indonesia, and Prof. Dr.-Ing. Karl-Heinz Reineck, Senior Lecturer of the University of Stuttgart-Germany. Both would like to further their many years of cooperation with their international colleagues (especially those from Europe and Asia) through EACEF. EACEF is a forum to promote cooperation and understanding between European and Asian countries, focusing on Civil Engineering expertise. EACEF will play an essential role as the bridge between these two continents in linking European and Asian Civil Engineers, especially those committed to sustainable development and environmentally friendly buildings. The conference has been conducted biannually since 2007 in Jakarta, Indonesia, and has been conducted in several countries as well. The details of previous conferences can be found at https://eacef.com/. As the biannual conference, the 8th EACEF conference should be conducted in September 2021. However, due to the COVID-19 pandemic, the EACEF committee decided to postpone the 8th EACEF conference to October 2022.This Proceeding contains papers based on invited keynote speeches and oral presentations at the 8th EACEF conference 2022 “Advanced and Innovative Technology for Sustainable Infrastructure”. The event was held on October 4th-5th 2022 at OST Eastern Switzerland University of Applied Sciences, Switzerland and on October 12th-13th at University of Atma Jaya Yogyakarta, Indonesia. The event covered several topics: “Structural Engineering”, “Construction Material”, “Construction Management”, “Infrastructure Engineering”, and “Geotechnical Engineering”.The conference started with plenary sessions of keynote speakers on October 4th-5th 2022 (online presentation) and followed by technical sessions on October 12th-13th 2022 (hybrid presentation) which were divided into three parallel sessions. Each keynote speech took 30 minutes for presentation and discussion while speakers in technical sessions were given 10 minutes and 5 minutes for presentation and discussion, respectively. There was a total of 13 keynote speakers and 64 presenters which consist of both academicians and professionals from Indonesia as well as other countries such as China, Germany, Japan, Switzerland, Morocco, United States of America, Malaysia, Brunei Darussalam, United Kingdom, and Australia. Zoom video conferencing application was used in the event which served the event very well.Finally, please allow us to thank all participants in the 8th EACEF conference 2022. We hope that the conference is beneficial in sharing advanced knowledge in the field of Civil Engineering. We would also like to thank our colleagues who have organized the conference. Indeed, it was a successful conference. Last but not least, we also would like to express our gratitude for the sponsors that have supported the conference.List of Editor of EACEF 2022, Keynote Speakers, Steering Committee, International Scientific Committee, Organizing Committee are available in this pdf.

The 4th International Conference on Agriculture and Bioindustry (ICAGRI)

The 4th ICAGRI-2022 theme is “Strengthening Resilience and Adaptive Capacity on Climate Change to Promote Sustainable Agriculture and Food Security” Banda Aceh, 18-19 October 2022PrefaceSince 2019, we had successfully organized the three previous ICAGRI conference consecutively. This year it is the 4th conference, ICAGRI 2022 and we are keeping hold this conference virtually due to the protracted pandemic. This means that the pandemic is not a constraint for us to perform this scientific meeting as is our responsibility for the development of knowledge, science and technology.Climate conditions have recently been unpredictable. Climate change has raised global temperatures, shifted rainfall patterns, and increased the frequency and severity of extreme weather events. Climate change tends to reduce food production, which has a direct impact on farmer welfare and, moreover, has a significant impact on delaying agricultural development. As a result, it is critical to develop adaptive capacity in order to reduce all risks and achieve the sustainability and resilience of agricultural production systems. Therefore, this year’s conference theme is Strengthening Resilience and Adaptive Capacity to Promote Sustainable Agriculture and Food Security.I would like to extend hearty welcome to all experts, professors, researchers, policy makers, postdoctoral fellows, and research students from around the world and to thank you for your interest in the 4th International Conference on Agriculture and Bioindustry (ICAGRI-2022). The editorial board of ICAGRI 2022 received a total of 169 papers from 15 countries throughout the world: Malaysia, Nigeria, Irak, Meksiko, Libya, Belgia, Polandia, Kanada, Vietnam, Korea, Jerman, Australia, Cina, Austria and Indonesia. A total of 135 papers were accepted to be presented in this conference, while the 34 submitted papers were rejected. All papers were reviewed and the accepted papers will be submitted to IOP Conference Series: Earth and Environmental Science indexed by Scopus.On behalf of the committee, we want to acknowledge and express gratitude to all parties supporting this conference: the rector of Universitas Syiah Kuala, the Dean and vice Dean of the Agriculture Faculty, and the international partners of ICAGRI 2022. Our special thanks to our keynote and invited speakers. And last but not least, thank you to all committee members for your kind and hard work for this conference. Hopefully the conference will highly contribute to our future sustainable development in the agricultural sector. Have a nice conference and hope to see you again next year at ICAGRI 2023 conference.Cordially yours,Dr. Elvira IskandarChairperson of the 4th ICAGRI 2022List of Steering Commitees, Organizing Committee, International Scientific Committee & Advisory Board, International Editorial Board are available in this pdf.

New Approach to Evaluate the Energy Efficiency of Overhead Power Transmission Lines: Results of Theoretical and Experimental Research

This article describes a new approach to evaluating energy efficiency of overhead power transmission lines which is based on power transmission line losses calculation taking into account induction currents and heating in the supporting elements. We present the results of theoretical and experimental research of induction currents and heating evaluation in pylons of the overhead power transmission line. To find the flux linkage for induction currents, calculations using the Poisson equation for vector magnetic potential were carried out. The limiting values of induction currents and heating temperature are estimated using a graphical approach. The analysis of the power losses balance for a 500-kV power transmission line demonstrates considerable energy-saving benefits. The update of the previous conference paper is implying to compare energy efficiency of the overhead power transmission line for thermal and electric energy losses associated with induced currents and to conclude about their interchangeability. Additionally, it is resumed which using technical assumptions in the study. The research work might be of interest for design and modernization of overhead power transmission lines.

Customizable adaptive regularization techniques for B-spline modeling

B-spline models are a powerful way to represent scientific data sets with a functional approximation. However, these models can suffer from spurious oscillations when the data to be approximated are not uniformly distributed. Model regularization (i.e., smoothing) has traditionally been used to minimize these oscillations; unfortunately, it is sometimes impossible to sufficiently remove unwanted artifacts without smoothing away key features of the data set. In this article, we present a method of model regularization that preserves significant features of a data set while minimizing artificial oscillations. Our method varies the strength of a smoothing parameter throughout the domain automatically, removing artifacts in poorly-constrained regions while leaving other regions unchanged. The proposed method selectively incorporates regularization terms based on first and second derivatives to maintain model accuracy while minimizing numerical artifacts. The behavior of our method is validated on a collection of two- and three-dimensional data sets produced by scientific simulations. In addition, a key tuning parameter is highlighted and the effects of this parameter are presented in detail. This paper is an extension of our previous conference paper at the 2022 International Conference on Computational Science (ICCS) (Lenz et al., 2022) [1].

The 18th International Myopia Conference 2022 in Rotterdam, The Netherlands.

The 18th International Myopia Conference 2022 in Rotterdam, The Netherlands.

Hardware‐in‐the‐loop validation of an adaptive model predictive control on a connected and automated vehicle

SummaryConnected and automated vehicles will characterize the future of the mobility, featured by Smart Roads and Internet of Things technologies. Vehicles will behave as mobile nodes of a network enabling communication between them and with respect to the road infrastructure. In order to provide advanced driver assistance and automated driving along a Smart Road, control strategies need to take into account both parametric variations due to environmental and/or weather conditions (e.g., wind speed, presence of ice, and/or rain), and constraints related to road safety and vehicular traffic. For this reason, advanced adaptive control strategies result particularly suitable to provide a complete control of the vehicle. This article proposes an extension to a previous conference paper, concerning a Processor in the Loop testing of an Adaptive Model Predictive Control for coupled longitudinal/lateral vehicle dynamics, where the ego vehicle was simulated through a bicycle model. In the present work, a low‐cost real‐time Hardware In the Loop test bench, featured by Raspberry boards, is used to verify the control strategy in a way closer to a real application. A four‐wheel vehicle dynamic model is considered to simulate the ego vehicle, then robustness and sensitivity tests with respect to parametric variations related to road friction, wind speed and vehicle mass, and a comparison with an existing adaptive MPC are performed. The achieved results show good robustness properties, safety performances and confirm the real‐time execution of the control strategy, paving the way for future developments, where the goal will be the testing in a real road scenario by using an IoT gateway purposefully designed by the NetCom company.

About the conference ICAAM 2022. Preface

This issue is a collection of 13 selected papers. These papers are presented at the Sixth International Conference on Analysis and Applied Mathematics (ICAAM 2022) organized by Bahcesehir University, Turkey, Institute of Mathematics and Mathematical Modelling, Kazakhstan, and Analysis &amp; PDE Center, Ghent University, Belgium. The meeting was held on October 31 – November 6, 2022, in Antalya, Turkey. The conference is organized biannually. Previous conferences were held in Gumushane, Turkey in 2012; in Shymkent, Kazakhstan in 2014; in Almaty, Kazakhstan in 2016; in Cyprus, Turkey in 2018 and 2020; in Antalya, Turkey in 2022. The proceedings of ICAAM 2012, ICAAM 2014, ICAAM 2016, ICAAM 2018, and ICAAM 2020 were published in AIP Conference Proceedings (American Institute of Physics) and in some rating scientific journals. Proceedings of ICAAM 2022 will be published in the world-renowned AIP Conference Proceeding Series. The main aim of the International Conferences on Analysis and Applied Mathematics (ICAAM) is to bring mathematicians working in the area of analysis and applied mathematics together to share new trends of applications of mathematics. In mathematics, the developments in the field of applied mathematics open new research areas in analysis and vice versa. That is why, we planned to found the conference series to provide a forum for researches and scientists to communicate their recent developments and to present their original results in various fields of analysis and applied mathematics. This issue presents papers by authors from different countries: Azerbaijan, Iraq, Russian Federation, Cyprus, Turkey, Kazakhstan, Turkmenistan, Uzbekistan, Kyrgyzstan. Especially we are pleased with the fact that many articles are written by co-authors who work in different countries. We are confident that such international integration provides an opportunity for a significant increase in the quality and quantity of scientific publications. Special thanks to Charyyar Ashyralyyev (Turkey) for their valuable assistance. Finally, but not least, we would like to thank the Editorial board of the «Bulletin of the Karaganda University. Mathematics series», who kindly provided an opportunity for the formation of this special issue.

Interpolation Results for Arrays with Length and MaxDiff

In this paper, we enrich McCarthy’s theory of extensional arrays with a length and a maxdiff operation. As is well-known, some diff operation (i.e., some kind of difference function showing where two unequal array differ) is needed to keep interpolants quantifier-free in array theories; our maxdiff operation returns the max index where two arrays differ and so it has a univocally determined semantics. The length function is a natural complement of such a maxdiff operation and is needed to handle real arrays. Obtaining interpolation results for such a rich theory is a surprisingly hard task. We get such results via a thorough semantic analysis of the models of the theory and of their amalgamation and strong amalgamation properties. The results are modular with respect to the index theory and we show how to convert them into concrete interpolation algorithms via a hierarchical approach realizing a polynomial reduction to interpolation in linear arithmetics endowed with free function symbols. In this paper, we enrich McCarthy’s theory of extensional arrays with a length and a maxdiff operation. It is known from the literature that a diff operation is required in order for the theory of arrays to enjoy the Craig interpolation property at the quantifier-free level. However, the diff operation introduced in the literature is merely instrumental to this purpose and has only a purely formal meaning (it is obtained from the Skolemization of the extensionality axiom): instead, our maxdiff operation returns the max index where two arrays differ and so it is univocally determined at the semantic level. The length function is a natural complement of such a maxdiff operation and is needed to handle real arrays (which are defined in their specified allocation memory). Obtaining interpolation results for such a rich theory is a surprisingly hard task. We get such results via a thorough semantic analysis of the models of the theory and of their amalgamation and strong amalgamation properties. The results are modular with respect to the index theory and we show how to convert them into concrete interpolation algorithms via a hierarchical approach realizing a polynomial reduction to interpolation in linear arithmetics endowed with free function symbols. The array theory in the paper has been modified so as to model real arrays used in common programming languages (we now require them to be ‘contiguous’, i.e., not undefined in any of their allocation entries); moreover strong amalgamation and interpolation with free function symbols are proved. The interpolation algorithm avoids full instantiation routines and unbounded loops, thus achieving the above mentioned polynomial reduction complexity. The present paper is a substantially revised version of a previous conference paper presented at FoSSaCS 2021.

WRC-23 on the Horizon: Large Satellite Constellations, ITU Issues, and Industry Perspective

Although the previous World Radiocommunications Conference (WRC-19) attempted to resolve spectrum-sharing issues among the disparate new satellite constellations, issues have multiplied as these constellations are coming into use before all the rules have been created. The upcoming WRC, to be held at the end of 2023, will grapple with spectrum and situational sharing issues among constellations that are larger than ever before, and that are disrupting national regimes designed for licensing more traditional, one-at-a-time geostationary satellites. The agenda for WRC-27 will surely include multiple areas of study related to constellations, and the International Telecommunication Union (ITU) will need to work closely with the UN’s Office of Outer Space Affairs (UNOOSA) to resolve situational issues such as traffic management, debris, and the sustainability of the outer space environment. The emergence of operational constellations is disrupting legal regimes for states and industrial players, and future Agenda Items (AIs) should be added to WRC-27 or future Committee on the Peaceful Uses of Outer Space (COPUOS) sessions. constellations, LEO, ITU, spectrum, WRC

A Feasible Framework for Maintenance Digitalization

The entire industry is changing as a result of new developments in digital technology, and maintenance management is a crucial procedure that may take advantage of the opportunities brought about by industrial digitalization. To support digital innovation in maintenance management, this study intends to meet the cutting-edge necessity of addressing a transformation strategy in industrial contexts. Setting up a customized pathway with adequate methodologies, digitalization tools, and collaboration between the several stakeholders involved in the maintenance environment is the first step in this process. The results of a previous conference contribution, which revealed important digitalization variables in maintenance management, served as the foundation for the research approach herein suggested. We lead a thorough assessment of the literature to categorize the potential benefits and challenges in maintenance digitalization to be assessed in conjunction with the important digitalization aspects previously stated. As a starting point for maintenance management transformation, we offer a feasible framework for maintenance digitalization that businesses operating in a variety of industries can use. As industrial processes and machines have become more sophisticated and complex and as there is a growing desire for more secure, dependable, and safe systems, we see that this transition needs to be tailored to the specific application context.

Effectiveness of Immersive Virtual Reality for Mechanical Engineering Capstone Courses

Abstract: This paper, a continuation paper to the work presented at a previous ASEE conference as a "Pilot" planned research [1], discusses the research results of integrating virtual reality (VR) in a Mechanical Engineering Senior Capstone Course. The paper discusses the layout of the VR lab, its CAD software and hardware integration components that facilitated the immersive experience of virtual prototyping, and the effectiveness of utilizing virtual prototyping as a substitute for rapid prototyping during early stages of engineering design. The paper also provides benefits and challenges of using VR technology and recommendations for its successful implementation in a capstone engineering design class.

Highlights from the Tenth International Workshop on HIV Persistence during Therapy, December 13-16, 2022, Miami, Florida-USA

The International Workshop on HIV Persistence during Therapy provides a forum in which HIV/AIDS researchers gather to share the latest research findings related to viral reservoirs and cure. The Tenth Workshop, which was attended by over 400 delegates, extended over 4 days and comprised eight sessions covering topics from the basic science of viral persistence to therapeutic approaches to HIV cure. Furthermore, satellite sessions on the first day of the Conference featuring cure research endeavours being pursued by the Bill and Melinda Gates Foundation as well as those being coordinated under the National Institutes of Health Martin Delaney Collaboratory program, provided important updates on research advances being made in these initiatives. As with previous conferences, the International Workshop on HIV Persistence during Therapy is primarily abstract-driven with only one invited talk for each of the sessions. This format, therefore, increases the number of presentations from early-stage investigators. Furthermore, presentations by Community representatives illustrated approaches to creating cure research literacy with effective messaging for the Community. The following article offers a synopsis of the meeting sessions. Due to space constraints, some presentations may have only been briefly discussed. Nevertheless, the Workshop abstracts can be found online (https://www/sciencedirect.com/journal/journal-of-virus-eradication/vol/8/suppl/S).