Zero-Knowledge Proofs ZKP provide a reliable option to verify that a claim is true without giving detailed information other than the answer. A classical example is provided by the ZKP based in the Graph Isomorphism problem (GI), where a prover must convince the verifier that he knows an isomorphism between two isomorphic graphs without publishing the bijection. We design a novel ZKP exploiting the NP-hard problem of finding the algebraic ideal of a multivariate polynomial set, and consequently resistant to quantum computer attacks. Since this polynomial set is obtained considering instances of GI, we guarantee that the protocol is at least as secure as the GI based protocol.

With the emergence of blockchain and smart contracts, traditional digital applications 1 such as identity management, supply chain management, banking and finance etc. are expected 2 to be transformed into Decentralized Applications (DApps). Blockchain interoperability is a new 3 and exciting aspect of blockchain technology that is quickly gaining popularity in many industries. 4 However, the widespread use of blockchains has not yet been achieved because DApps running on the 5 blockchain using smart contracts require access to authentic off-chain data. Users are more conscious 6 of their personal data privacy and consequently are more reluctant to share their data, posing a 7 challenge in the adoption of DApps. To solve this challenge, we present a novel quantum-resistant, 8 data authentication and zero-knowledge proof scheme named zk-DASTARK. Based on our proposed 9 scheme, we present a novel framework which can be used to feed authenticated off-chain data to 10 DApps without compromising user data privacy. Our proposed framework is quite efficient against 11 well-known off-chain data authentication frameworks. The proposed framework is implemented on 12 state-of-the-art quantum-resistant IOTA Blockchain and is highly efficient as it takes approximately 13 60 ms to generate a proof and approximately 10 ms to verify a proof.

This paper introduces a novel framework for zero-shot learning (ZSL), i.e., to recognize new categories that are unseen during training, by distilling knowledge from foundation models. Specifically, we first employ ChatGPT and DALL-E to synthesize reference images of unseen categories from text prompts. Then, the test image is aligned with text and reference images using CLIP and DINO. Finally, the predicted logits are aggregated according to their confidence to produce the final prediction.Experiments are conducted on multiple datasets, including CIFAR-10, CIFAR-100, and TinyImageNet. The results demonstrate that our model can significantly improve classification accuracy compared to previous approaches, achieving AUROC scores above 96\% across all test datasets. Our code is available at https://github.com/1134112149/MICW-ZIC.

Motion related human activity recognition using wearable sensors can potentially enable various useful daily applications. So far, most studies view it as a stand-alone mathematical classification problem without considering the physical nature of human motions. Consequently, they suffer from data dependencies and encounter the dimension disaster problem and the over-fitting issue, and their models are never human-readable. In this study, we start from a deep analysis on natural physical properties of human motions, and then propose a useful feature selection method to quantify each feature's classification contribution capability. On one hand, the "dimension disaster" problem can be avoid to some extent, due to the affined dimension of key features; On the other hand, over-fitting issue can be depressed since the knowledge implied in human motions are nearly invariant, which compensates the possible data inadequacy. The experiment results indicate that the proposed method performs superior to those adopted in related works, such as decision tree, k-NN, SVM, neural networks.

As a member of smart materials, electrorheological elastomers (EREs) formed by pre-treating active electrorheological particles are attracting more and more attention. In this work, four Mg-doped strontium titanate particles with spherical, dendritic, flake-like and pinecone-like morphorlogies were obtained by hydrothermal and low-temperature co-precipitation. XRD, SEM, Raman and FT-IR were used to characterize the obtained products. The results showed that the sizes of Mg-doped strontium titanates are about 1.5‒2.0 μm, and the phase structure are dominated by cubic crystal. These Mg-doped strontium titanates were dispersed in a hydrogel composite elastic medium. Then, Mg-doped strontium titanate/glycerol/gelatin electrorheological composite hydrophilic elastomers were obtained with or without electric field. The electric field response properties of Mg-doped strontium titanate composite elastomers were investigated. It concluded that dendritic Mg-doped strontium titanate composite elastomers is high-performance EREs. And the maximum value of energy storage modulus of Mg-doped strontium titanate composite elastomers has achieved 8.70 MPa. This high electrorheological performance of the products is helpful for their applications in vibration control, force transducers, smart structures, dampers, and other fields.

Despite the demonstrated benefits of data monetization initiatives in achieving competitive advantages, many of these efforts struggle to realize their potential. Companies often find it challenging to sustain even initially successful data monetization initiatives due to significant data quality issues. This reflects a disconnect between advancements in data monetization research—spanning digitization, digitalization, and digital transformation—and practical implementation within companies. Consequently, misguided approaches to data monetization are relatively common. A critical prerequisite for successful data monetization is the establishment and maintenance of clean, high-quality data. This study underscores the importance of data quality by conducting an in-depth analysis of Medical Inc., a company engaged in preparing pristine customer master data for advanced customer analytics. The investigation aims to elucidate Medical Inc.’s approach to addressing data cleanliness challenges and to distill a general framework for the customer master data cleansing process. This framework illuminates a relatively unexplored aspect of data monetization supplementing existing literature on digitization, digitalization, and digital transformation.

Sudden cardiac arrest (SAC) is a leading cause of mortality. In recent years, though, many lives have been saved through the use of defibrillators by random bystanders. As a result, defibrillators have been popping up in various locations. In this work we propose a state mandate demanding the presence of a defibrillator at every pharmacy store and argue that it could greatly enhance and augment the impact of the defibrillator network. We support our claim via detailed calculations of the immediate (a defibrillator readily available) and partial (a defibrillator available at a reasonable distance) population coverage achievable by the implementation of our proposal, taking the Argolis area in Peloponnese Greece as a case study. Our findings indicate that, in addition to other benefits, the use of pharmacies to establish a defibrillator network could bring an eight-fold increase in the immediate population coverage of defibrillators and would provide immediate / partial access to a defibrillator to 18 / 24 incidents of SCA per year that would otherwise lead to death, potentially leading to the saving of numerous lives. Alternative scenaria are also discussed.

"Public legal information from all countries and international institutions is part of the common heritage of humanity. Maximizing access to this information promotes justice and the rule of law". In accordance with the aforementioned declaration on Free Access to Law by Legal information institutes of the world, a plethora of legal information is available through the Internet, while the provision of legal information has never before been easier. Given that law is accessed by a much wider group of people, the majority of whom are not legally trained or qualified, diversification techniques, should be employed in the context of legal information retrieval, as to increase user satisfaction. We address diversification of results in legal search by adopting several state of the art methods from the web search, network analysis and text summarization domains. We provide an exhaustive evaluation of the methods, using a standard data set from the Common Law domain that we subjectively annotated with relevance judgments for this purpose. Our results i) reveal that users receive broader insights across the results they get from a legal information retrieval system, ii) demonstrate that web search diversification techniques outperform other approaches (e.g., summarization-based, graph-based methods) in the context of legal diversification and iii) offer balance boundaries between reinforcing relevant documents or sampling the information space around the legal query.

We leverage the explainability feature of KAN network and build an explainable language model where certain neurons encode individual words and neuron activation is fully interpretable in terms of the basis of a word. To do that, we propose a continuous word2vec model where a meaning of a word is expressed by a continuous profile of distances of this word from the words in the basis of words which is interpolated. As a result, the whole KAN network can be interpreted as a sequential procedure with word expressions. We then proceed from words to logic programs and develop a clause learning technique based on KAN. A logic program construction process from facts now become fully interpretable. We follow the differentiable inductive logic programming technique, representing a logic program as a matrix learned by KAN. Hence, we obtain an efficient and fully interpretable rule learning approach.

Today, LLMs are not good at personalization providing recommendation. They advise physicians and financial advisors to ask professionals in respective fields for help, even having user information available. Answering questions of software professionals, LLM needs to deliver in-depth answers with codes or algorithms, whereas for professionals in other fields would need definitions and main concepts. The intent of this chapter is to make LLM answer tailored to the needs of users, taking into account available information about them. To do that, we need to generalize available information about a person like her health record, maintaining the privacy of this person. We rely on meta-learning techniques to design a LLM prompt to produce a personalization prompt to obtain a suitable relevant information. Such “meta-prompt” is produced by generalization operation applied to available documents for the user. These documents need to be de-identified so that they are sufficient for personalization on one hand and will maintain user privacy on the other hand. The second neuro-symbolic technique to support personalization is abductive reasoning, acting in parallel to LLM fine-tuning. Traditional recommendation and personalization techniques as well as modern, deep learning – based are presented, and the comparison is drawn to the proposed approach. We also share the evaluation and comparative analyses of these approaches. We consider an example for how to build personalization LLM systems coming from Langchain platform. We will explore how to construct chains to form a personalization profile for a user and apply it to user search and recommendation requests.

Personal protective equipment (P PE) rules must be respected and followed to the letter of healthcare professionals in Cameroon to avoid the transmission of infectious diseases. This research proposes solutions to the problems of non-adherence and non-compliance among healthcare workers in Cameroon towards PPE rules. Inadequate access to suitable PPE, discomfort when wearing PPE during poor quality, and a lack of training on correct PPE use are just a few of these obstacles amongst HCWs in Cameroon. Hospitals and healthcare facilities should prioritize offering thorough instruction on PPE use and pinpoint the need to adhere consistently to PPE rules to remove these obstacles. They should also ensure that all healthcare personnel have access to and a sufficient supply of the proper PPE. Through the organization of impromptu visits by surveillance teams to identify areas of support and training, there is a need for assistance from government bodies and public health groups in creating awareness of the security value of PPE use among healthcare professionals. There is a lack of PPE in health care settings in rural areas in Cameroon, thus a need for an adequate supply. Then can we put appropriate PPE policies and practices for HCWs in Cameroon, as they will keep to it.Healthcare professionals in Cameroon must comprehend that following PPE standards protects not just their selves from diseases but also their patients, coworkers, and communities. We are accountable for ensuring everyone's safety and well-being, and adhering to PPE regulations is an essential first step.

The global agricultural sector is increasingly pressured to adopt sustainable practices and reduce its environmental impact. In this context, greenhouses play a crucial role in enabling year-round crop production, ensuring food security, and minimizing reliance on traditional open-field farming. However, the energy consumption associated with greenhouse operations poses a significant challenge to achieving sustainability goals. As a result, there is a growing emphasis on transitioning greenhouses towards near-zero energy consumption. Near-zero energy consumption in greenhouses refers to the ambitious objective of minimizing energy usage to the greatest extent possible while maintaining optimal growing conditions for crops. This goal encompasses reducing energy consumption for heating, cooling, lighting, and other operational needs, as well as exploring renewable energy sources to power greenhouse operations. This review article offers a comprehensive overview of greenhouse energy consumption, with the main goal of analyzing the present situation, identifying key challenges, exploring potential opportunities, and proposing future perspectives for decreasing energy usage in greenhouse environments. As the focus on sustainable agricultural practices grows, the need to reduce energy consumption in greenhouses becomes increasingly important. The review critically examines current technological models and strategies applied in smart greenhouse applications, as well as the monitoring of microclimatic conditions inside the greenhouse, encompassing factors such as temperature, humidity, CO2 levels, soil quality, and crop cultivation. Moreover, it aims to present existing literature that investigates the advancement of greenhouses toward achieving significant reductions in energy consumption.

Vaccine hesitancy has emerged as a significant barrier to achieving herd immunity and protecting populations from preventable diseases. Despite the proven effectiveness and safety of vaccines, many individuals remain hesitant or refuse to vaccinate themselves or their children. This review aims to identify the factors contributing to vaccine hesitancy, including misinformation, lack of trust in authorities, cultural beliefs, and access barriers. We also discuss the impact of vaccine hesitancy on public health, including outbreaks of vaccine-preventable diseases and erosion of trust in public health authorities. Furthermore, we present evidence-based communication strategies for addressing vaccine hesitancy, including building trust, providing accurate information, addressing myths and misconceptions, engaging with local influencers, and utilizing social media and digital platforms. By understanding the factors contributing to vaccine hesitancy and implementing effective communication strategies, healthcare providers, public health officials, and community leaders can work towards promoting widespread vaccine acceptance and protecting public health.

It is concerning that Cameroon's urban centers are experiencing an alarming rise in air pollution as a result of urbanization, population growth, industrial activity, and transportation emissions. We examined the causes, health impacts, research methodology, case studies, and government measures to address the urgent issue of air pollution in Cameroon's urban regions. We have emphasized how Cameroon's air pollution levels have significantly increased as a result of causes like population expansion, urbanization, industrial emissions, and automobile exhaust A thorough discussion of the negative health impacts of extended exposure to air pollution is included, with special attention to the sensitivity of the old and young. These effects include respiratory disorders, cardiovascular ailments, and early mortality. We emphasized the pressing need for all-encompassing strategies to address air pollution, such as increased public awareness campaigns, stronger emissions regulations, the development of renewable energy sources, and better waste management. The techniques employed in studies on air pollution, like as epidemiological research and air quality monitoring, are also explained to provide light on the unique health dangers that Cameroonian urban dwellers must contend with. We emphasized in our conclusion the significance of joint efforts by legislators, medical professionals, and the general people to reduce air pollution and protect public health in Cameroon in order to create a cleaner and healthier future. In order to protect public health in the future, it is imperative that Cameroon's air pollution be addressed.

This paper, based on the "Unified Theory of Forces," rigorously proves the formula of de Broglie's wave function. This helps us better understand the following important issues: 1) Theoretically prove and understand the essence of de Broglie's wave function; 2) Prove that when the particle's momentum P is determined, the greater the mass of the particle, the more concentrated its wave function distribution, and the weaker the interference effect; 3) Correct the spatial distribution of the wave function of free particles, proving that the wave function of free particles is strictly constrained within a finite spatial range, which is consistent with the facts we observe.

This paper numerically investigates a 3D mesh independency study of a straight blade horizontal axis tidal turbine modelled using Computational Fluid Dynamics (CFD). The solution was produced by employing two turbulence models, the standard k-ε model and Shear Stress Transport (SST) in ANSYS CFX. Three parameters were investigated: mesh resolution, turbulence model, and power coefficient in the initial CFD, analysis. It was found that the mesh resolution and the turbulence model affect the power coefficient results. The power coefficients obtained from the standard k-ε model are 15% to 20% lower than the accuracy of the SST model. It can also be demonstrated that the torque coefficient increases with the increasing Tip Speed Ratio (TSR), but drops drastically after TSR = 5 and k-ε model failing to capture the non-linearity in the torque coefficient with the increasing TSR.

Despite the partial disclosure of driving scenario knowledge graphs, they still fail to meet the comprehensive needs of intelligent connected vehicles for driving knowledge. Current issues include the high complexity of pattern layer construction, insufficient accuracy of information extraction and fusion, and limited performance of knowledge reasoning models. To address these challenges, a hybrid knowledge graph method was adopted in the construction of the Driving Scenario Knowledge Graph (DSKG). Firstly, core concepts in the field were systematically sorted and classified, laying the foundation for the construction of a multi-level classified knowledge graph top-level ontology. Subsequently, by deeply exploring and analyzing the Traffic Genome data, 34 entities and 51 relations were extracted and integrated with the ontology layer, achieving the expansion and updating of the knowledge graph. Then, in terms of knowledge reasoning models, an analysis of the training results of the TransE, Complex, Distmult, and Rotate models in the entity linking prediction task of DSKG revealed that the Distmult model performed the best in metrics such as hit rate, making it more suitable for inference in DSKG. Finally, a standardized and widely applicable Driving Scenario Knowledge Graph was proposed. The DSKG and related materials have been publicly released for use by industry and academia.

We use binary string to represent a natural number and show the composite procedure of odd-number and even-number functions, thus we propose full binary directed tree to represent the set of natural numbers and give another partition the natural number set to three sets: pure odd, pure even and mixed number. For the Collatz conjecture we make use of the parity of a natural number to analyse the sequence of iteration (or composite) of Collatz function and reduced Collatz function analog to the inverse function. We give tabular and binary strings to the algebra expression to state the sequence of Collatz, this is the key topic to proof the conjecture: the discrete powers of 2 can be changed to ultimately continuous powers of 2, finally get to pure even number and to the smallest number 1. The sequence created by the infinite iterations of the Collatz function becomes the ultimately periodic sequence if any natural number is the beginning value, proving the conjecture that has been held for 87 years.

Background. The Stanford Health Assessment Questionnaire-Disability Index (HAQ) is widely used to measure functional ability in persons with Rheumatoid Arthritis (RA). The instrument was developed with limited involvement from persons with RA, and their perception of the instrument has not been studied in depth. The aim of this study was to explore how persons with RA experience the use of the HAQ in care. Methods. Forty persons with RA were purposefully recruited to participate in semi-structured interviews. The interviews were then analyzed qualitatively using thematic analysis. Results. The participants questioned the relevance of the HAQ but nevertheless experienced that the instrument had a profound effect on their understanding of health and how care is delivered. The analysis resulted in three themes: Problems with individual items, meaning of the summative score, and effects on care and health perceptions. Conclusions. To make the HAQ relevant to persons with RA, it needs to be revised or to include an option to select items most meaningful to the respondent. To ensure relevance, the HAQ update should preferably be co-created by researchers, clinicians and persons with RA.

The modern supply chain (SC) is growing in terms of data, devices, users, and stakeholders, which introduced new security challenges and threats, especially with the reliance on centralized servers or cloud platforms. In addition, increased trust among system participants exposes the SC to a higher risk of vulnerabilities which require strong security measures. This article proposes a hybrid security framework for SC systems, BC-DRLzSC, that integrates Blockchain (BC) and Deep Reinforcement Learning (DRL) designed to operate in a zero trust (ZT) environment. In particular, we propose a decentralized BC-based approach integrated with smart contracts to manage system participant registration and authentication and to control access to system resources. BC-DRLzSC adopts a ZT architecture to reinforce SC security, which can be achieved with an advocate to verify each entity’s trustworthiness before granting or retaining access to system resources. Incorporating the ZT architecture, with BC and DRL, can potentially and significantly bolster SC system security. DRL is employed to develop a proactive attack detection model that continuously monitors the incoming traffic from authenticated nodes within the network and predicts any malicious actions. Finally, we evaluate the performance of our proposed DRL solution using the NSL-KDD dataset.

This paper explores the geometric impossibility of angle trisection within Euclidean geometry, with a particular focus on the 90° angle. It presents a rigorous proof that highlights the fundamental limitations of various approaches to angle trisection, highlighting their failure to achieve universality. The paper critiques modern proofs that allow for the trisection of certain angles while dismissing others, arguing that such methods are inherently flawed due to their lack of geometric consistency. The paper introduces a new perspective through a new property named “inconsistent property”, a concept derived from geometric operations involving proportional magnitudes. This property reveals contradictions within the framework of Euclidean geometry, paralleling the logical challenges faced in proving the impossibility of trisecting an arbitrary angle. By drawing comparisons between traditional and contemporary proofs, the paper demonstrates that inconsistencies arise not only from specific cases but also from broader geometric principles. The findings reaffirm the robustness of Euclidean geometry in addressing the trisection problem and challenge the validity of alternative proofs that do not adhere to universal geometric principles. This paper contributes to a clearer understanding of the limitations of angle trisection methods and encourages further investigation into the technical implications and broader impact of the angle impossibility proof.

This paper presents a theory on graph topological structure and graph coloring, proving that for any N-order graph structure (with a topological structure similar to ), the maximum number of colors required for coloring is less than or equal to . The Four Color Theorem is just one special case of this theory, with the maximum structure size for a four-color graph being a 4-order structure graph, hence requiring only a maximum of 4 colors for coloring.

Cryptocurrencies have obtained a crucial position in the international financial landscape. The cryptocurrency market has been perceived as a highly volatile market since the inception of Bitcoin. This study investigates the relevant performance of extreme value models (EVM) in estimating the Value-at-Risk (VaR) of Bitcoin and Ethereum returns. The extreme value mixture models, GPD-Normal-GPD (GNG) and GPD-KDE-GPD models are fitted to the returns of Bitcoin and Ethereum and the Kupiec likelihood backtesting procedure is performed on the VaR estimates to assess the fits. Both models’ results showed that the fits were a much more decent representation of the observed data when compared to the Normal distribution. The backtesting results showed that the GPD-KDE-GPD model’s fit was superior to that of the GPD-Normal-GPD for both sets of returns at all VaR risk levels except at the 99% level. The results of this study may assist with understanding the dynamics and risks associated with cryptocurrencies and can serve as a beneficial tool for decision-making and risk management to investors, traders, financial institutions and many other participants in the cryptocurrency ecosystem.

We generate numerically on a lattice an ensemble of stationary metrics, with spherical symmetry, which have Einstein action S_E « ħ. This is obtained through a Metropolis algorithm with weight exp(-β²S_E²) and β » ħ^-1. The squared action in the exponential allows to circumvene the problem of the non-positivity of S_E. The discretized metrics obtained exhibit a spontaneous polarization in regions of positive and negative scalar curvature. We compare this ensemble with a class of continuous metrics previously found, which satisfy the condition S_E=0 exactly, or in certain cases even the stronger condition R(x)=0 for any x. All these gravitational field configurations are of considerable interest in quantum gravity, because they represent possible vacuum fluctuations and are markedly different from Wheeler's ''spacetime foam''.

The decarbonization of the built environment, both in new construction and renovation, is crucial to mitigate its relevant impact on climate change and achieve the Paris agreement goals. This study presents a systematic LCA-based methodology to assess the whole life carbon emissions of buildings, applied to a proposal for the regeneration of one of Milan’s disused railway yards. As an entry for the 2020 Reinventing Cities competition, Scalo Lambrate is a project for a mainly residential neighborhood with a public park. Strategies to reduce carbon emissions deriving both from the operational energy and construction and maintenance were evaluated and their effects compared to a reference scenario over a time horizon of 100 years. The results show that, while the opportunities to reduce carbon emissions during the use phase are somehow limited due to the already stringent performance requirements for new builds, the use of fast-growing biogenic materials for construction materials, even if mixed with more traditional ones, can provide a significant reduction of the global warming potential over the whole life cycle, with a reduction of 70% over the baseline. The remaining emissions can be offset with afforestation initiatives that, however, must be assessed against land use issues.

The pursuit of Artificial Intelligence (AI) that emulates human cognitive processes is a cornerstone of ethical AI development, ensuring that emerging technologies can integrate seamlessly into societal frameworks requiring nuanced understanding and decision-making. Zero-Shot Instance Retrieval (ZSIR) stands at the forefront of this endeavour, potentially providing a robust platform for AI systems, particularly large visual language models, to demonstrate and refine cognition-aligned learning without the need for direct experience. In this paper, we critically evaluate current cognition alignment methodologies within traditional zero-shot learning paradigms, using visual attributes and word embedding generated by large AI models. We propose a unified similarity function that quantifies the cognitive alignment level, bridging the gap between AI processes and human-like understanding. Through extensive experimentation, our findings illustrate that this similarity function can effectively mirror the visual-semantic gap, steering the model towards enhanced performance in zero-shot instance retrieval. This work not only benchmarks the cognition alignment of AI, but also sets a new precedent for the development of visual language models attuned to the complexities of human cognition.}

This review article focuses on the role of Artificial Intelligence (AI) in transforming healthcare in Africa, specifically in combatting infectious diseases, neglected tropical diseases (NTDs), and antimicrobial resistance. We provide a comprehensive overview of the significance of AI in the healthcare industry, highlighting its urgency and importance in addressing these specific health challenges in Africa. We begin by discussing the role of AI in infectious disease surveillance and outbreak detection. We explore how AI technology can be employed for real-time tracking and prediction of outbreaks, providing examples of successful AI applications in infectious disease surveillance within the African context.Next, we examine the potential of AI-enabled diagnosis and treatment for faster and more accurate diagnoses of infectious diseases and NTDs. We highlight specific examples of AI applications in diagnosing and treating these diseases in Africa, showcasing the potential of AI to improve clinical outcomes and save lives.Furthermore, we focus on how AI-driven drug discovery and development can expedite the search for new treatments for infectious diseases and combat antimicrobial resistance. We present examples of AI applications in drug discovery within the African context, illustrating the potential for AI to revolutionize the development of effective therapeutics.In addition, we delve into how AI-powered public health interventions can enhance the design and implementation of targeted interventions. We explore how AI can optimize resource allocation and facilitate data-driven decision-making processes, providing examples of AI applications in public health in Africa.Finally, we address the challenges and limitations of implementing AI in combatting infectious diseases, NTDs, and antimicrobial resistance in Africa. We discuss potential barriers and ethical concerns surrounding AI applications in healthcare, aiming to encourage informed and responsible utilization of AI technologies.Overall, this review emphasizes the importance and potential of AI in combatting infectious diseases, NTDs, and antimicrobial resistance in Africa. It positions AI as a catalyst for revolutionizing healthcare in the region, leading to more effective disease surveillance, diagnosis, treatment, drug discovery, and public health interventions.

The healthcare situation in Africa is characterized by limited resources and a high burden of disease, presenting significant challenges to the healthcare systems in the region. The integration of Artificial Intelligence (AI) technologies in African healthcare holds immense potential for addressing these challenges and improving health outcomes. This paper aims to provide a comprehensive understanding of the current healthcare landscape in Africa and the urgent need for AI-driven solutions.In addition to discussing the potential applications of AI in African healthcare, such as disease diagnosis, treatment planning, and medical imaging analysis, this manuscript seeks to shed light on the specific challenges hindering the implementation of AI in the region. By providing detailed examples and case studies, we aim to offer insights into the obstacles that need to be overcome and potential solutions that can be pursued.By leveraging AI technologies, Africa has the opportunity to revolutionize its health systems, bridging the gap in access to quality healthcare across the continent. The objective of this review article is to not only highlight the potential benefits that AI can bring to African healthcare but also to emphasize the urgent need for action and collaboration in implementing and scaling up AI innovations in the region. By doing so, African countries can pave the way for improved health outcomes and ensure that their populations receive the healthcare services they deserve.

Artificial intelligence (AI) has emerged as a powerful tool for addressing the challenges posed by climate change and their impact on public health. By leveraging its capacity to analyze and predict climatic patterns, AI offers opportunities to enhance resource management and develop effective strategies for climate change mitigation. Moreover, AI can contribute to generating sustainable solutions that address the complex and interconnected nature of climate change. For example, AI can enable the optimization of energy consumption and facilitate the integration of renewable energy sources into existing systems. It can also support the development of climate models that provide timely and accurate predictions, enabling policymakers to implement proactive measures for disaster preparedness and response. Furthermore, AI-powered disease surveillance and mitigation techniques can improve public health outcomes by identifying patterns and trends in the spread of diseases in relation to climatic factors.However, the widespread adoption of AI-based solutions is not without challenges. Ethical concerns surrounding privacy and data ownership must be addressed, as the use of AI requires access to large datasets, raising potential privacy risks. Technical constraints, such as limited computational power and the need for sophisticated algorithms, also pose obstacles to the implementation of AI in climate change mitigation strategies. Furthermore, issues related to the accessibility and affordability of AI technologies must be resolved to ensure equitable distribution and maximize its potential impact on public health.To fully harness the power of AI in addressing climate change and improving public health outcomes, it is crucial to promote innovation, multidisciplinary collaboration, and open data science. Innovation can drive the development of new AI algorithms and technologies specifically tailored to address climate change challenges. Multidisciplinary approaches that bring together experts from diverse fields, including climate science, public health, and computer science, can foster a holistic understanding of complex systems and enable the design of comprehensive solutions. Finally, open data science practices, such as sharing data and algorithms, can facilitate collaboration and accelerate progress in mitigating climate change and its public health impacts.In conclusion, AI offers promising opportunities for effectively addressing climate change and its impact on public health. However, to fully realize its potential, it is essential to tackle ethical and privacy concerns, overcome technical constraints, and ensure accessibility and affordability. By promoting innovation, multidisciplinary collaboration, and open data science, we can unlock the transformative power of AI in mitigating climate change and improving public health outcomes.

Over the years, the need for autonomous systems such as drones, also known as unmanned aerial vehicles (UAVs), has significantly increased in popularity across several industries, including the military. The Internet of Battlefield Things (IoBT) represents a modern technological advancement that significantly enhances the operational efficacy of defense systems. It establishes an integrated military force by connecting individuals to intelligent technology in drones, radios, equipment, antennas and ground stations. This is achieved through the utilization of cloud and edge computing, sensors, mobile devices, embedded systems, and IoT-based systems. However, IoBT security is significantly compromised by enemies that exploit the vulnerabilities and malicious intrusions that specifically target the external environment or to obtain sensitive data. In addition, a comprehensive understanding of cyberattacks and countermeasures is essential for assuring the security of IoBT. On the other hand, as cyber threats get more complicated, trust becomes increasingly important for the security of digital systems. Within this context, the zero trust architecture contends that the security of a complex network is inherently vulnerable to internal and external threats. In defense, UAV security system applications, for example, the primary purpose of the zero trust architecture is to limit the vulnerability of military UAV systems to cyberattacks, hence reducing the possibility of data breaches and illegal entry. This study conducts a systematic review aimed at identifying different aspects of cybersecurity strategies for protecting UAV systems within the IoBT domain. Furthermore, zero trust architecture is presented in the study as an effective prospective solution to the security issues that develop in defense UAV systems.

In the intricate dance between viruses and host cells, RNA-binding proteins (RBPs) serve as crucial orchestrators of gene expression and cellular processes. We will delve into the riveting realm of viral hijacking, where viruses deftly exploit host RBPs to manipulate cellular machinery for their replication and pathogenesis. Through a masterstroke of molecular subterfuge, viruses co-opt RBPs involved in various facets of RNA metabolism - from transcription to degradation - to promote viral gene expression and evade host immune defenses. This manipulation leads to global alterations in cellular RNA metabolism, impacting essential host genes vital for immune responses and homeostasis.Unveiling this clandestine alliance between viruses and RBPs is not just a scientific pursuit, but a critical imperative for devising innovative antiviral strategies to disrupt these interactions. By unraveling the intricate interplay between viral proteins and host RBPs throughout the viral life cycle - from entry to assembly - researchers aim to identify vulnerabilities that can be targeted for therapeutic intervention. Strategies such as disrupting viral protein-RBP interactions hold promise for inhibiting viral replication and curbing pathogenesis, offering a beacon of hope in the battle against viral infections.Our manuscript elucidates the indispensable roles played by RBPs in viral replication, translation, and pathogenesis, shedding light on the molecular mechanisms driving viral success. Delving deeper, it explores how viruses intricately entwine with host RBPs, manipulating cellular signaling pathways to create a hospitable environment for viral spread. By dissecting these manipulative tactics, researchers uncover new targets for antiviral therapy, envisioning a future where tailored interventions disrupt viral-host RBP interactions with precision and efficacy.As the narrative unfolds, the therapeutic implications of targeting RBPs or their interactions with viral proteins emerge as a promising frontier in the fight against viral infections. From small molecule inhibitors to RNA-based therapeutics, innovative approaches are on the horizon, offering new avenues for combatting viral diseases. We set the stage for future research, beckoning researchers to delve deeper into the molecular intricacies of viral hijacking of RBPs and charting a course towards novel therapeutic interventions that promise to reshape the landscape of antiviral therapy.\Ultimately, it beckons the scientific community to embark on a voyage of discovery, unraveling the secrets of viral hijacking of RBPs and paving the way for transformative advances in antiviral therapeutics. The stage is set for a new chapter in the battle against viral infections, where knowledge becomes the sword and innovation the shield against the pernicious machinations of viral pathogens.

Artificial intelligence (AI) is increasingly being used to improve the quality control of point-of-care diagnostics. This is caused by a number of factors, including the following: 1. AI can accelerate and improve testing accuracy. In comparison to humans, AI technology can review data more quickly and precisely, reducing errors and improving overall quality assurance. 2. When it comes to improving POC test findings on healthcare issues such as infectious diseases or medical crises such as heart attacks, AI can be used for sophisticated predictive analytics and modeling that aid in better decision-making. 3. Artificial intelligence facilitates process automation, increasing productivity and lowering labor costs in labor-intensive tasks such as testing and analyzing samples collected at point-of-care facilities. 4. The use of AI enables organizations implementing these solutions to gain insights from large volumes of raw diagnostic data generated faster and more accurately, allowing them to build solid frameworks around preventive care initiatives and significantly influence public health outcomes.5. Artificial intelligence (AI) has been demonstrated to be a useful tool for real-time monitoring systems that identify any problems with test results early so that they can be corrected before affected patients receive inaccurate diagnoses or treatment plans based on false information provided by diagnostic tests performed at points of care such as clinics or hospitals.Using these technologies would allow healthcare organizations to spend less on labor while still receiving exact diagnoses and rapid treatment delivery at a fraction of the cost that manual approaches required earlier.

(1) Background: Alzheimer’s Disease (AD) accounts for 70% of dementia cases and with no effective pharmacological treatments, new rehabilitation methods are needed. Motor activities and transcranial direct current stimulation (tDCS) have shown promise in stabilizing and enhancing cognitive functions. Objective: We want to investigate the effects of combined motor or cognitive activity with tDCS on cognitive functions in AD patients. (2) Methods: Patients with mild or moderate AD were randomized into four groups: motor activity or cognitive activity associated with anodic or sham tDCS (MotA, MotS, CogA, CogS). They received two weeks of treatment (45 minutes, 5 days/week), with the first 15 minutes using 2mA tDCS on the dorsolateral prefrontal cortex. Cognitive assessments were conducted pre-treatment (T0), post-treatment (T1), and one week after (T2). (3) Results: Twenty patients were included. Mann-Whitney test showed significant improvements in anodic groups (MotA+CogA) in the global cognitive status (p=.042), in selective attention (p=.012), and sustained attention (p=.012) at T1, but not at T2. In addition, MotA improved in the Picture Recognition Test (p=.027) and in sustained attention (p=.047) at T2. (4) Conclusion: Combined motor or cognitive activity with anodic tDCS could slow cognitive decline in AD patients, with notable improvements in global cognitive state and attention at T1.

The basic idea is to expand the completed zeta function $\xi(s)$ in MacLaurin series (infinite polynomial), which can be further expressed as infinite product (Hadamard product) by conjugate complex roots. Finally, the functional equation $\xi(s)=\xi(1-s)$ leads to $(s-\alpha_i)^2 = (1-s-\alpha_i)^2, i \in \mathbb{N}$ with solution $\alpha_i= \frac{1}{2}, i \in \mathbb{N}$, where $\alpha_i$ are the real parts of the zeros of $\xi(s)$, i.e., $s_i =\alpha_i\pm j\beta_i, i\in \mathbb{N}$. Therefore, a proof of the Riemann Hypothesis is achieved.

A proof is given showing the Collatz Conjecture is true for all positive integers. The proof was possible once the perspective of the proof was changed from looking at the pattern of the positive integers to looking at the conjecture rules. The conjecture rule for even numbers organizes all positive integers into unique sets and the rule for odd numbers interconnects the unique sets into dendritic pathways to “1.” Infinite loops, other than the minor 4-2-1 loop after reaching “1,” and pathways to infinity are shown to be mathematically impossible. The proof predicted a general equation that shows all positive integers ultimately reach a final value of “1," and calculates the values and locations of the odd positive integers during the iterations for each tested positive integer.

Knowledge is not merely the characteristic of certain pieces of information being deemed true and justifiable, but rather a process. Within an axiomatic system, the set of information that reaches the status of knowledge forms a universe that provides an interpretation of the reality one aims to describe. Language exchanges information through communication and the process of justification (exchange of information), if it consistently justifies a particular piece of information, it elevates it to knowledge. In this paper, we provide a framework for knowledge within an axiomatic model where we define the fundamental elements of communication and grammar. As a result, the structure dictates that knowledge, to be considered as such, must be investigateable by anyone who utilizes it in its entirety, both in form and content. Ultimately, the development of knowledge processing, referred to as \emph{knowmatics}, represents a clear evolution of the computer science that processes information (subset of knowledge).

This paper is motivated by spatio-temporal pattern in the occurrence of Leishmaniasis in Afghanistan and the relatively high number of zero counts. We hold the view that correlations that arise from spatial and temporal sources are inherently distinct. Our method decouples these two sources of correlations, there are at least two advantages in taking this approach. First, it circumvents the need to inverting a large correlation matrix, which is a commonly encountered problem in spatio-temporal analyses. Second, it simplifies the modelling of complex relationships such as anisotropy, which would have been extremely difficult or impossible if spatio-temporal correlations were simultaneously considered. We identify three challenges in the modelling of a spatio-temporal process: (1) accommodation of covariances that arise from spatial and temporal sources; (2) choosing the correct covariance structure and (3) extending to situations where a covariance is not the natural measure of association. Moreover, because the data covers a period that overlaps with the US invasion of Afghanistan, the high number of zero counts may be the result of no disease incidence or lapse of data collection. To resolve this issue, a model truncated at zero built on a foundation of the generalized estimating equations was proposed.

While the knowledge about the development of understanding positive integers is rapidly growing, the development of understanding zero is not well-known. Here we tested several components of preschoolers’ understanding zero: whether they can use empty sets in numerical tasks, whether they can use empty sets soon after they understand the cardinality principle, whether they know what the word “zero” refers to, and whether they categorize zero as a number. The results show that preschoolers can handle empty sets in numerical tasks as soon as they understand the cardinality principle or even earlier, and some of them know that these sets are labeled as “zero.” However, they are unsure whether zero is a number. These results identify three components of knowledge about zero: operational knowledge, linguistic knowledge, and meta knowledge. To account for these results we propose that preschoolers might understand numbers as the properties of items or objects in a set. In this view, zero cannot be a number, because an empty set does not include any items, and the missing items cannot have any property, excluding also the number property. This model might explain why zero is handled correctly in numerical tasks, while it is not regarded to be a number.

Background: Microscopic examination of acid-fast stained sputum smears for detecting mycobacterial acid-fast bacilli (AFB) remains the most economical and readily available method for laboratory diagnosis of tuberculosis (TB). However, this conventional approach has limitations, including low sensitivity and labor-intensive procedures. Methods: An automated microscopy system incorporating artificial intelligence (AI) and machine learning for AFB identification was evaluated. The study was conducted at an Infectious Disease Hospital in Jiangsu Province, China, utilizing an intelligent microscope system (TB-Scan, Wellgen Medical, Kaohsiung). A total of 1,000 sputum smears were included in the analysis, with the system capturing digital microscopic images and employing an image recognition model to automatically identify and classify AFB. Referee technicians provided the gold standard for discrepant results. Results: The automated system demonstrated an overall accuracy of 95.00% (950/1,000), sensitivity of 91.24% (177/194), and specificity of 95.91% (773/806). Notably, the system identified 21 smears as positive that were previously reported as negative, with referee technicians confirming 17 of these as true positive and retracting the test results accordingly. Recalculating the performance, the accuracy increased to 96.70% (967/1,000), sensitivity to 91.94% (194/211), and specificity to 97.97% (773/789), with a false negative rate of 8.06% (17/211) and a false positive rate of 2.03% (16/789). Conclusions: The incorporation of AI and machine learning into an automated microscopy system demonstrated the potential to enhance the sensitivity and efficiency of AFB detection in sputum smears compared to conventional manual microscopy. This approach holds promise for widespread application in TB diagnostics and potentially other fields requiring labor-intensive microscopic examination.

The Energy Performance of Buildings Directive 2010 calls for the Nearly Zero Energy Standard for new buildings from 2021 onwards: Buildings using “almost no energy” are powered by renewable sources or energy produced by the building itself. For residential buildings, this ambitious new standard has already been reached. But for other building types this goal is still far away. The potential of these buildings to meet a Nearly Zero Energy Standard was investigated by analyzing ten case studies representing non-residential buildings with different uses. The analysis shows that the primary characteristics common to critical building types are a dense building context with a very high degree of technical installation (such as hospital, research and laboratory buildings). The large primary energy demand of these types of buildings cannot be compensated by building and property-related energy generation including off-site renewables. If the future Nearly Zero Energy Standard were to be defined with lower requirements because of this, the state related properties of Bavaria suggest that the real potential energy savings available in at least 85% of all new buildings would be insufficiently exploited. Therefore, it would be useful to instead individualize the legal energy verification process for new buildings to distinguish critical building types such as laboratories and hospitals.

The question does P = NP has confounded mathematicians and computer scientists alike for over 50 years and although there is an almost unanimous agreement that it in fact does not, there still is no absolute proof. In this paper, I attempt to prove to that P does not equal NP.

Thyroid surgery rates have tripled over the past 3 decades making it one of the most frequently performed procedures within general surgery. They are associated with the possibility of serious postoperative complications having a significant impact on the patient's quality of life. The recurrent laryngeal nerve (RLN) palsy and the external branch of the superior laryngeal nerve (EBSLN) palsy are, next to hypoparathyroidism and bleeding after operation, one of the most common complications. The introduction of neuromonitoring into thyroid surgery, enabling both confirmation of anatomical integrity and assessment of laryngeal nerve function, was a milestone that has begun a new era in thyroid surgery. The International Neural Monitoring Study Group made standardization of the technique of RLN and EBSLN monitoring during thyroid and parathyroid surgery which increased prevalence of neural monitoring during thyroidectomy. Current status of IONM and benefits of its use have been presented in this publication.

The energy efficiency of existing buildings is a crucial factor in addressing Europe’s energy con-sumption challenges, accounting for nearly 40% of the total energy usage. The ongoing energy crisis, driven by the reliance on fossil fuels and increasing prices, has underscored the urgency of adopting sustainable and energy efficient practices especially to the existing building stock. Cyprus is par-ticularly vulnerable due to its heavy dependence on imported fuels for electricity generation and faces significant challenges in transforming its existing building stock into energy-efficient and sustainable structures. Extensive focus has been made by the government on the energy-efficient retrofit of non-residential public buildings. This study examines an existing cultural hall. The case study of the Cultural Hall represents the building stock before 2010 which is lacking thermal in-sulation, double glazing and any energy efficient element. It then offers an ideal case study to ex-plore sustainable solutions which can be easily adopted from the construction industry and from the building owners. The primary objective of this research is twofold: first, to develop a comprehensive retrofit plan to transform the cultural hall into a net-zero energy building; and second, to explore how this transformation can give value back to the local community. After running two simulation scenarios and providing two energy performance certificates, one with at the existing state and one with the intended retrofit measures, it is clear that the building can be a net zero energy consump-tion building. Some interesting results derived, present also how this building can provide value back to the community i.e. through solar carports for EV charging.

In response to the increasing complexity and sophistication of cyber threats, particularly those enhanced by advancements in artificial intelligence, traditional security methods are proving insufficient. This paper explores the zero-trust cybersecurity framework, which operates on the principle of "never trust, always verify" to mitigate vulnerabilities within organizations. Specifically, it examines the applicability of zero-trust principles in environments where large volumes of information are exchanged, such as schools and libraries, highlighting the importance of continuous authentication, least privilege access, and breach assumption. The findings highlight avenues for future research that may help preserve the security of vulnerable organizations.

Knowledge graphs (KGs) play a crucial role in many applications, such as question answering, but incompleteness is an urgent issue for their broad application. Much research in knowledge graph completion (KGC) has been performed to resolve this issue. The methods of KGC can be classified into two major categories: rule-based reasoning and embedding-based reasoning. The former has high accuracy and good interpretability, but a major challenge is to obtain effective rules on large-scale KGs. The latter has good efficiency and scalability, but it relies heavily on data richness and cannot fully use domain knowledge in the form of logical rules. We propose a novel method that injects rules and learns representations iteratively to take full advantage of rules and embeddings. Specifically, we model the conclusions of rule groundings as 0-1 variables and use a rule confidence regularizer to remove the uncertainty of the conclusions. The proposed approach has the following advantages: 1) It combines the benefits of both rules and knowledge graph embeddings (KGEs) and achieves a good balance between efficiency and scalability. 2) It uses an iterative method to continuously improve KGEs and remove incorrect rule conclusions. Evaluations on two public datasets show that our method outperforms the current state-of-the-art methods, improving performance by 2.7% and 4.3% in mean reciprocal rank (MRR).

This paper provides attempts to formalize Hayek’s theory of knowledge. It has been theoretically shown that exponential income distribution is a spontaneous order of the well-functioning market economy. We show that this theoretical result is supported by the empirical evidence from the United Kingdom and China. In particular, we empirically show how the income structure of China evolved towards an exponential distribution after the market-oriented economic reformation. Furthermore, we strictly prove that, if the income structure of an economy obeys an exponential distribution, the income summation over all households leads to an aggregate production function with Hicks-neutral-like technical progress, in which the technology factor is exactly equal to society’s information stock that is a result of combining all of decentralized decisions.

The assessment of existing bridges constitutes a serious challenge for the researchers since their safety evaluation is a complex task due to several sources of uncertainty affecting the parameters identified in the knowledge process. In particular, a high level of uncertainties may arise in the case of prestressing systems requiring special investigation strategies and experimental technologies. The paper aims to investigate how the knowledge uncertainties influence the safety assessment of existing post-tensioned bridges. The semi-probabilistic approach is used, and uncertainties related to the knowledge process are described considering the number of tests, the confidence level assumed for the estimation of the problem parameters, and the measurement errors of in-situ tests. Results concerning a typical post-tensioned bridge are reported and the variability of the outcomes is discussed and compared with a reference case of “perfect knowledge”. The main results of the study confirm the general robustness of the semi-probabilistic Eurocodes safety format and provide an overview of dispersion due to different choices about the number of tests and confidence level. The measurement errors may lead to significant under-estimation of the computed structural capacity with respect to the reference one.

In 1937,German mathematician L.Collatz proposed the following conjeture:for any positive integer,if it is even,divide it by 2,if it is odd,multiply it by 3 and add 1 to get an even number.Continuing with the above rule, the final result will be 1.This paper gives a proof of this conjecture.

The Collatz conjecture (or 3n+1 problem) has been explored for about 86 years. In this article, we prove the Collatz conjecture. We will show that this conjecture holds for all positive integers by applying the Collatz inverse operation to the numbers that satisfy the rules of the Collatz conjecture. Finally, we will prove that there are no positive integers that do not satisfy this conjecture.

This scientific paper explores the increasingly widespread use of collaborative robots in the industrial environment, highlighting them as a solution to challenges related to the high costs of human labour and the associated management difficulties. The authors focus on the process of defining requirements for the implementation of collaborative robots, providing strategies based on mathematical management models. This approach translates into significant benefits for companies, such as cost reduction, quality improvement, and increased operational efficiency. Additionally, the paper proposes an innovative mathematical model for assessing total costs, budgeting, profitability, and electric power consumption associated with the operation of collaborative robots. This model allows for a comparison between the costs involved in using human labour and those associated with collaborative robots, providing critical information for technological investment decisions. The efficiency of this mathematical model is demonstrated through a practical application, where collaborative robots were integrated into a production environment, and costs and efficiency were evaluated compared to the use of human labour. This scientific paper provides a systematic and efficient approach to implementing collaborative robots in industrial processes, benefiting from strategies based on mathematical management models and an original mathematical model for evaluating performance and associated costs.

Multimodal knowledge graph completion necessitates the integration of information from multiple modalities (such as images and text) into the structural representation of entities to improve link prediction. However, most existing studies have overlooked the interaction between different modalities. To address this issue, this paper proposed a Transformer-based knowledge graph link prediction model (MM-Transformer) that fuses multimodal features. Different modal encoders are employed to extract structural, visual and textual features, and hybrid key-value calculations are performed on features from different modalities based on the Transformer architecture. The similarities of textual tags to structural tags and visual tags are calculated and aggregated respectively, and multimodal entity representations are modeled and optimized to reduce the heterogeneity of the representations. Experimental results demonstrate that, compared to the current multimodal state-of-the-art methods, the proposed method achieves significant performance improvements in knowledge graph link prediction tasks. This proves that the proposed method effectively addresses the problem of multimodal feature fusion in knowledge graph link prediction tasks.

Zero-day threats are a more severe and constantly developing menace to various participants including large companies, government offices, and educational establishments. These entities may contain valuable information and essential operations that attract cyber attackers. These exploits are especially devastating as they target weaknesses that an organization’s vendors are not even aware of, making them have no protection against them. This paper focuses on the background and use of zero-day exploitation and the structure and technologies of these complex malware attacks. We examine two notable real-life cases: the case of ‘HAFNIUM targeting Exchange Servers with zero-day exploits’ that was investigated by Microsoft 365 Security and Microsoft Threat Intelligence, and the ‘Log4j vulnerability’ case that was reported by the National Cyber Security Centre. These cases show the critical effects of zero-day vulnerabilities and measures taken to combat them. Additionally, this paper outlines different strategies that can be used to prevent zero-day attacks with the help of modern technologies. These are fast patch release, effective IDS/IPS, and a security model that involves constant vigilance and use of behavioral analytics. Thus, by studying the lifecycle of zero-day vulnerabilities and the structure of the exploits, one can enhance the protection of the organization against the threats that are invisible to traditional security systems. This extensive survey is designed to be useful in understanding the characteristics of zero-day vulnerabilities, the technologies for their mitigation, and the constant threat and development in the field of cybersecurity. Thus, it is possible to strengthen the protection against these threats that are constant and develop with time by analyzing the previous events and predicting potential problems.

Let $S=\left(s_1, \ldots, s_n\right)$ be a finite sequence of integers. Then $S$ is a Gilbreath sequence of length $n$, $S\in\mathbb{G}_n$, iff $s_1$ is even or odd and $s_2, \ldots, s_n$ are respectively odd or even and $\min\mathbb{K}_{\left(s_1, \ldots, s_m\right)}\leq s_{m+1}\leq\max\mathbb{K}_{\left(s_1, \ldots, s_m\right)}\forall m\in\left[\left.1, n\right)\right.$. This, applied to the order sequence of prime number $P$, defines Gilbreath polynomials and two integer sequences A347924 \cite{oeisA347924} and A347925 \cite{oeisA347925} which are used to prove that Gilbreath conjecture $GC$ is implied by $p_n-2^{n-1}\leqslant\mathcal{P}_{n-1}\left(1\right)$ where $\mathcal{P}_{n-1}\left(1\right)$ is the $n-1$-th Gilbreath polynomial at 1.

Parents play an important role in shaping the eating habits of their children through: appropriate selection of food products, snacking between meals and appropriate exposure to information from television advertisements, the press or the Internet. The level of parents' knowledge about proper nutrition and substances added to food is therefore crucial in promoting appropriate dietary choices in children and adolescents in order to prevent diet-related diseases. Objectives: Assessment of the consumption of snack foods by children and adolescents according to the surveyed parents and analysis of parents' knowledge about additional substances in food. Methods: The study was conducted among 129 parents of students from selected primary schools. The research tool was an original survey questionnaire consisting of 24 questions. Survey interviews were conducted with parents during meetings at schools. Statistical analysis was performed using the Pearson ch2 test, the significance level was set to p<0.05. Results: Parents most often indicated sweets, confectionery products and sweetened drinks (25%) and vegetables or fruit (21%) as the form of snack for their children. 46% of children and adolescents drank sweetened drinks at least once a day. Parents had an average level of knowledge about food additives. Significant correlations were found between the level of knowledge of parents of school-age children about food additives and their level of education. Parents' knowledge and education did not significantly influence the level of snack consumption by their children. Children's eating behavior should be considered unsatisfactory. Conclusions: Research has shown the need for parents to be educated about food additives and to pay more attention to reading food labels so that they can reliably prepare their children to make the right food choices. Measures should be implemented to improve the eating habits of children and adolescents.

CD4 count recovery is the main goal for an HIV patient who initiated ART. Some patients respond positively to ART and attain CD4 count recovery, some patients might fail to recover their CD4 count due to non-adherence, treatment resistance, and virological failure, leading to HIV-related complications and death. The purpose of this study is to find the determinants of death in patients who failed to recover their CD4 count after initiating antiretroviral therapy. The data used in this study was obtained from KwaZulu-Natal, South Africa, where 2528 HIV-infected patients with a baseline CD4 count of 200 cells/ were initiated on ART. We used a Fine-Gray sub-distribution hazard and cumulative incidence function to estimate potential confounding factors of death, where CD4 count recovery was a competing event for failure due to death. Patients who were not suffering from tuberculosis were 1.33 times at risk of dying before attaining CD4 count recovery [aSHR 1.33; 95% CI (0.96-1.85] compared to those who had no tuberculosis. Rural patients had a higher risk of not recovering and leading to death [aSHR 1.97; 95%CI (1.57-2.47)] than those from urban areas. The patient’s tuberculosis status, viral load, regimen, baseline CD4 count, and location were significant contributors to death before CD4 count recovery. Intervention programs targeting HIV testing in rural areas for early ART initiation and promoting treatment adherence are recommended.

Clinical trials, by contributing to the development of diagnostics and to the search for modern, more effective, and safer therapies, have become one of the most important elements of the healthcare system. The aim of this study was to assess Poles' knowledge and beliefs about clinical trials. Methods: The survey was conducted among Poles aged 18 and over with the help of external company, Ariadna, which is an independent research panel. The questionnaire contained 22 questions, of which 13 questions concerned beliefs and attitudes towards clinical trials. Results: One thousand and seventy-nine participants took part in the study (N = 1079). The mean age of respondents was 44.96 years (SD = 16.30). Slightly more women (N = 568, 52.6%) than men (N = 511, 47.4%) took part in the study. Among the respondents, 86.5% (N = 933) were aware of clinical trials. The main sources of information about clinical trials were the media (53.8%) including the Internet (N= 355, 32.9%), TV (N = 175, 16.2%), press (N = 30, 2.8%) and radio (N = 21, 1.9%). 43.2% (N = 466) of respondents reported little knowledge of clinical trials, while more than three quarters (N = 805, 75.2%) said they would like to learn more about clinical trials. Most respondents (N = 879, 81.4%) agreed with the statement that participation in a clinical trial is completely voluntary, and more than half (N = 580, 53.7%) agreed with the statement that hospitals participating in clinical trials provide better healthcare. The statement that the results of clinical trials are made available to the public was disagreed with by 37.2% (N = 402) of participants. Only 30.3% (N = 327) of participants agreed that clinical trials should be conducted with children. Conclusions: Poles rate their knowledge of clinical trials as low and would like to learn more. To reach the largest possible group of Polish patients, parallel educational activities on multiple levels may have the best effect. Poles' knowledge of clinical trials is mainly based on commercial sources. Further studies in different groups, i.e., clinical trial patients and investigators, are needed.

In this study, a simple approach to solving the Riemann Hypothesis, one of the most prominent unsolved problems in the field of Number Theory in mathematics and one of the “Millenium Prize Problems”, is presented. The Riemann Hypothesis, a conjecture about distribution of prime numbers, has remained unsolved since it was first proposed by German mathematician, Bernhard Riemann in 1859. This paper introduces an analytic continuation of the Zeta Function as well as symmetric approach through integration by parts to address this hypothesis. The proposed solution is obtained through analytical continuation in the critical strip 0<Re(s)<1 to establish that Re(s)=1/2.

Using the local bijectivity of Keller maps, we give a proof of two-dimensional Jacobian conjecture.

The Goldbach Conjecture, which is frequently termed as “1 + 1”, has been a fascinating goal for many mathematicians over centuries. A Chinese mathematician, Dr. Jingrun Chen, proved 1 + 2, which is a great success and the best result so far achieved. Although there were several attempts proving the conjecture, these attempts are either tediously long, complicated, or logically imperfect, thus not widely accepted. Taking advantage of the periodicity of primes, here the author provides a straight forward rigorous proof for the Conjecture.

The cellular model we teach and have theorized assumes that the cell is the basic unit of multicellular living beings. This fundamental element has been the subject of many theories concerning its properties and the exchanges that exist with its environment. In this article, we demonstrate that certain functional aspects, in particular the electrical aspects related to diffusion, have not been correctly assumed or that certain initial conditions have been purely ignored and are in contradiction with physics, chemistry and thermodynamics.

We prove: (1) the set of all Diophantine equations which have at most finitely many solutions in non-negative integers is not recursively enumerable, (2) the set of all Diophantine equations which have at most finitely many solutions in positive integers is not recursively enumerable, (3) the set of all Diophantine equations which have at most finitely many integer solutions is not recursively enumerable, (4) analogous theorems hold for Diophantine equations D(x₁, …, x_p) = 0, where p ∈ N\{0} and for every i ∈ {1, …, p} the polynomial D(x₁, …, x_p) involves a monomial M with a non-zero coefficient such that x_i divides M, (5) the set of all Diophantine equations which have at most k variables (where k ≥ 9) and at most finitely many solutions in non-negative integers is not recursively enumerable.

Innovation is an essential key factor in the technology development history. Past research on innovation focused more on the innovation behavior of technology, but seldom described knowledge assets which also influence innovation behavior greatly. The effect of knowledge assets attribute and result on disruptive innovation is therefore regarded as the research topic in this study, where disruptive innovation is divided into outbound and inbound to combine combination-embeddednessandmajor business specificityof knowledge assets as the research model. Manufacturing enterprises in China are proceeded the questionnaire survey, and 173 valid copies are collected. The empirical analysis shows that combination-embeddedness of knowledge assets presents significantly positive effects on major business specificity and outbound innovationof an enterprise but reveals remarkably negative effects on inbound innovation. Enterprises are suggested to constantly accumulate knowledge assets with low major business specificity before disruptive innovation in order to reduce ineffective inbound innovation.

In this research, the primary goal was to investigate the relationship between strategic planning and organizational performance in Iraq's manufacturing context. The study's primary data sources were 360 manager respondents. The structured questionnaire was used to collect primary data from manufacturing firms located throughout Iraq. To analyze the result, the researcher used descriptive statistics, correlation, and multiple regression analysis. SPSS version 16 software was used to conduct data analysis. The result reveals that the process of strategic planning has a beneficial effect on financial performance. Environmental scanning has a statistically significant positive effect on a company's non-financial performance. Management participation and planning formality positively and statistically significantly affect a business's non-financial performance at the 10 percent level. The domain of strategy and technique has not impacted the company's non-financial performance.

Zero-emission trucks for regional and long haul missions are an option for fossil-free freight. The viability of such powertrains and system solutions was studied conceptually in project ESCALATE for trucks with GVW of 40 tonnes and beyond through various prime mover combinations. The study covers battery and fuel cell power sources with different degrees of battery electric as well as H2 and fuel cell operation. As a design basis, two different missions with a single-charge/H2 refill were analysed. The first mission was the VECTO long haul profile repeated up to 750 km, whereas the second was a real 520 km on-road mission in Finland. Based on the simulated energy consumption on the driving cycle, on-board energy demand was estimated, and the initial single-charge operational scenarios were analysed with five different power source topologies. The traction motors of the tractor were dimensioned so that a secondary mission of GVW up to 76 tons on a shorter route can be operated. Based on the powertrain and vehicle model, various infrastructure options for charging and H2 refuelling strategy as well as various operative scenarios with indicative total cost of ownership (TCO) were analysed.

Behavior analysis is a widely used non-invasive tool in the practical production routine, as the animal acts as a biosensor capable of reflecting its degree of adaptation and discomfort to some environmental challenge. Predominantly, conventional statistics use occurrence data for behavioral evaluation and well-being estimation, disregarding the temporal sequence of events. The Generalized Sequential Pattern (GSP) algorithm is a data mining method that identifies recurrent sequences that exceed a user-specified support threshold, whose potential has not yet been investigated for broiler chickens in enriched environments. Enrichment aims to increase environmental complexity with promising effects on animal welfare, stimulating priority behaviors and potentially reducing the deleterious effects of heat stress. The objective was to validate the application of the GSP algorithm to identify temporal correlations between heat stress and the behavior of broiler chickens in enriched environments through proof of concept. Video image collection was carried out automatically for 48 continuous hours, analyzing a continuous period of seven hours, from 12:00 PM to 6:00 PM, during two consecutive days of tests for chickens housed in enriched and non-enriched environments under comfort and stress temperatures. Chickens at comfort temperature showed high motivation to perform the behaviors of Preening (P), Foraging (F), Lying down (Ld), Eating (E), and Walking (W) whose sequences &lt;{Ld,P}&gt;; &lt;{Ld,F}&gt;; &lt;{P,F,P}&gt;; &lt;{Ld,P,F}&gt; and &lt;{E,W,F}&gt; were the only ones observed in both treatments. All other sequential patterns (comfort and stress) were distinct, suggesting that environmental enrichment alters the behavioral pattern of broiler chickens. Heat stress drastically reduced the sequential patterns found at the 20% threshold level in the tested environments. The behavior of lying laterally "Ll" is a strong indicator of heat stress in broilers and was only frequent in the non-enriched environment, which may suggest that environmental enrichment provides the animal with better opportunities to adapt to stress-inducing challenges, such as heat.

This paper, from the perspective of Mode 3 of knowledge production, takes the important carrier of knowledge, scientific research papers, as the research object. The mainstream databases (SCIE and SSCI) are chosen as the data sources. Firstly, bibliometric methods are applied to analyze the cooperation status among the main bodies of paper production, including authors and their affiliated institutions, countries, and disciplines; secondly, the Analytic Hierarchy Process (AHP) is used to construct a comprehensive evaluation model for the state of research cooperation in carbon neutrality. Based on the evaluation model, the cooperation characteristics of different disciplinary fields and the relationship between paper cooperation status and high-impact research papers are comparatively analyzed. At the same time, an analysis is conducted on the support from the government, the sponsorship from enterprises, and the participation of the public in the process of paper production. Finally, some suggestions are put forward on how to build an innovative ecosystem for carbon neutrality research from the perspective of Mode 3 of knowledge production.

Zero-shot learning ability robotics enables robots to generalize their knowledge and perform tasks for which they have not been explicitly trained. This ability is extremely helpful because in classic learning approaches, robots are trained on specific tasks and require extensive data and labeled examples to perform accurately. However, in real-world scenarios, robots often encounter new or unseen tasks that were not part of their training data. We briefly survey works in this area to give the reader a perspective about progresses in this area.

New setting is introduced to study failed zero-forcing number and failed zero-forcing neutrosophic-number. Leaf-like is a key term to have these notions. Forcing a vertex to change its color is a type of approach to force that vertex to be zero-like. Forcing a vertex which is only neighbor for zero-like vertex to be zero-like vertex but now reverse approach is on demand which is finding biggest set which doesn’t force. LetNTG : (V,E,σ,μ) be a neutrosophic graph. Then failed zero-forcing number Z(NTG) for a neutrosophic graph NTG : (V,E,σ,μ) is maximal cardinality of a set S of black vertices (whereas vertices in V (G) \ S are colored white) such that V (G) isn’t turned black after finitely many applications of “the color-change rule”: a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Failed zero-forcing neutrosophic-number Zn(NTG) for a neutrosophic graphNTG : (V,E,σ,μ) is maximal neutrosophic cardinality of a set S of black vertices (whereas vertices in V (G) \ S are colored white) such that V (G) isn’t turned black afterfinitely many applications of “the color-change rule”: a white vertex is converted to a black vertex if it is the only white neighbor of a black vertex. Failed zero-forcing number and failed zero-forcing neutrosophic-number are about a set of vertices which are applied into the setting of neutrosophic graphs. The structure of set is studied and general results are obtained. Also, some classes of neutrosophic graphs namely path-neutrosophic graphs, cycle-neutrosophic graphs, complete-neutrosophic graphs, star-neutrosophic graphs, bipartite-neutrosophic graphs, and t-partite-neutrosophic graphs are investigated in the terms of maximal set which forms both of failed zero-forcing number and failed zero-forcing neutrosophic-number. Neutrosophic number is reused in this way. It’s applied to use the type of neutrosophic number in the way that, three values of a vertex are used and they’ve same share to construct this number to compare with other vertices. Summation of three values of vertex makes one number and applying it to a comparison. This approach facilitates identifying vertices which form failed zero-forcing number and failed zero-forcing neutrosophic-number. In path-neutrosophic graphs, the set of vertices such that every given two vertices in the set, have distance at least two, forms maximal set but with slightly differences, in cycle-neutrosophic graphs, the set of vertices such that every given two vertices in the set, have distance at least two, forms maximal set. Other classes have same approaches. In complete-neutrosophic graphs, a set of vertices excluding two vertices leads us to failed zero-forcing number and failed zero-forcing neutrosophic-number. In star-neutrosophic graphs, a set of vertices excluding only two vertices and containing center, makes maximal set. In complete-bipartite-neutrosophic graphs, a set of vertices excluding two vertices from same parts makes intended set but with slightly differences, in complete-t-partite-neutrosophic graphs, a set of vertices excluding two vertices from same parts makes intended set. In both settings, some classes of well-known neutrosophic graphs are studied. Some clarifications for each result and each definition are provided. Using basic set not to extend this set to set of all vertices has key role to have these notions in the form of failed zero-forcing number and failed zero-forcing neutrosophic-number. The cardinality of a set has eligibility to form failed zero-forcing number but the neutrosophic cardinality of a set has eligibility to call failed zero-forcing neutrosophic-number. Some results get more frameworks and perspective about these definitions. The way in that, two vertices don’t have unique connection together, opens the way to do some approaches. A vertex could affect on other vertex but there’s no usage of edges. These notions are applied into neutrosophic graphs as individuals but not family of them as drawbacks for these notions. Finding special neutrosophic graphs which are well-known, is an open way to pursue this study. Some problems are proposed to pursue this study. Basic familiarities with graph theory and neutrosophic graph theory are proposed for this article.

Myelin protein zero (P0), a type I transmembrane protein, is the most abundant protein in peripheral nervous system (PNS) myelin – the lipid-rich, periodic structure that concentrically encloses long axonal segments. Schwann cells, the myelinating glia of the PNS, express P0 throughout their development until the formation of mature myelin. In the intramyelinic compartment, the immunoglobulin-like domain of P0 bridges apposing membranes together via homophilic adhesion, forming a dense, macroscopic ultrastructure known as the intraperiod line. The C-terminal tail of P0 adheres apposing membranes together in the narrow cytoplasmic compartment of compact myelin, much like myelin basic protein (MBP). In mouse models, the absence of P0, unlike that of MBP or P2, severely disturbs the formation of myelin. Therefore, P0 is the executive molecule of PNS myelin maturation. How and when is P0 trafficked and modified to enable myelin compaction, and how disease mutations that give rise to incurable peripheral neuropathies alter the function of P0, are currently open questions. The potential mechanisms of P0 function in myelination are discussed, providing a foundation for the understanding of mature myelin development and how it derails in peripheral neuropathies.

In this paper, a short survey of the existed results concerning the Jacobian Conjecture is first given. Then the 3-fold linear type polynomial map will be analyzed in detail. The expansion of the Jacobian condition is deduced to obtain its equivalent algebraic equations, and the Jacobian condition will be analyzed to derive two coordinate transformations that can maintain the invariance of the Jacobian condition. Finally, it is proved by mathematical induction method that one general chain expression presented in this paper is just the inverse polynomial map of 3-fold linear type polynomial map, i.e. LJC(n,[3]) holds such that the Jacobian Conjecture holds.

The following is the Collatz Conjecture: Suppose we begin with a positive number, multiply it by 3 and add 1 if it is odd, and divide it by 2 if it is even. Then continue doing this as long as you can. Will it matter where you start, whether you end up at the number 1? The Collatz conjecture has been studied for around 85 years. We transform the Collatz function from decimal to binary, then use the binary string's character to prove the Collatz conjecture. In addition, we use mathematics to give another interpretation to chaos, which is the ultimately periodic positive integer sequence.

Robin criterion states that the Riemann Hypothesis is true if and only if the inequality $\sigma(n) < e^{\gamma } \times n \times \log \log n$ holds for all $n > 5040$, where $\sigma(n)$ is the sum-of-divisors function and $\gamma \approx 0.57721$ is the Euler-Mascheroni constant. We prove that the Robin inequality is true for all $n > 5040$ which are not divisible by any prime number between $2$ and $953$. Using this result, we show there is a contradiction just assuming the possible smallest counterexample $n > 5040$ of the Robin inequality. In this way, we prove that the Robin inequality is true for all $n > 5040$ and thus, the Riemann Hypothesis is true.

This research paper aims to explicate the complex issue of the Riemann's Hypothesis and ultimately presents its elementary proof. The method implements one of the binomial coefficients, to demonstrate the maximal prime gaps bound. Maximal prime gaps bound constitutes a comprehensive improvement over the Bertrand's result, and becomes one of the key elements of the theory. Subsequently, implementing the theory of the primorial function and its error bounds, an improved version of the Gauss' offset logarithmic integral is developed. This integral serves as a Supremum bound of the prime counting function Pi(n). Due to its very high precision, it permits to verify the relationship between the prime counting function Pi(n) and the offset logarithmic integral of Carl Gauss. The collective mathematical theory, via the Niels F. Helge von Koch equation, enables to prove the RIemann's Hypothesis conclusively.

We develop new theory from a broad case-study approach to explore a better understanding of what constitutes knowledge and its value as identifiable to human-machine teams. From past research, this trail of exploration will lead to these initial questions: What is the value of debate in the furtherance of knowledge? Will machines with AI be able to contribute to a debate if we humans cannot define it or determine its value sufficiently for a machine’s understanding, contribution, exploration and identification? Like humans, as teammates, machines must be able to determine with AI what constitutes the usable knowledge that contributes to a team’s success in the field (e.g., testing "knowledge" in the field, identifying new knowledge, using knowledge to develop innovation) or its failure (viz., trouble shooting; identifying weaknesses; discovering vulnerabilities, hiding by deception). It matters not whether a debate is public, private or unexpressed by an individual human or machine agent alone; we speculate in this exploration that the process advances the science of autonomous human-machine teams and assists in interpretable machine learning. We conclude with questions and a speculation: How does a human become aware or express its awareness of knowledge? Can a machine be as expressive as its human teammates? And how does a human-machine teammate become aware that its teammates possess sufficient knowledge to perform a task? We speculate that the structure of “knowledge," once found, is resistant to alternatives (i.e., it is ordered); that its functional utility is generalizable; and that its applications are multifaceted (akin to maximum entropy production). The complexity of the team is taken into consideration in our search for knowledge, which can also be used as an information metric.

This paper presents how social media platforms and their components could be integrated into the KMS for the purpose of managing and sustaining Somali Indigenous knowledge (IK). The discovery of knowledge and its utilization is now fuelled by the advancement of technology, which connects users to external sources through using different platforms. The rapidly increasing use of SM and mobile technologies create opportunities to form knowledge networks that can facilitate the process of creating, preserving, and sharing knowledge and skills that are unique to communities in the Somali context. Somali society being an oral society with rich IK and other cultural practices lacked a framework in place to organize the existing knowledge in various methods. The paper refers to existing methodology E-learning and KM functions. This method first identifies functional similarities between SM, E-Learning, and KM systems and their interactions if they are properly integrated. The proposed framework consists of two functional parts; KM and SM. The KM part involves knowledge capturing, validation, formatting, storing, and distribution. SM part of the framework involves knowledge presentation, sharing, and application. Since the Somalis are said to be an oral society, this framework helps to capture and disseminate IK residing in knowledge holders.

The objective of this research is to establish a better understanding of the current landscape of digital learning research and sustainable development by using CiteSpace. First, we retrieved published publications from the Web of Science (2004–2022). Following that, we examined the primary research strengths and important subjects of digital learning from two perspectives: collaboration networks (including collaborative networks across countries, institutions, and authors) and co-citation networks. We examined the co-citation network from three perspectives: cluster analysis, the most active citers, top references. Furthermore, referenced journals, popular themes, and rising trends were examined. These findings indicate the primary study subjects in the field of digital learning, the most intriguing research literature, and each period's emerging research hotspots. Finally, we proposed further study ideas for future paths.

In the dynamic interplay between people and their physical environments, the Global South stands as a mosaic undergoing a multitude of transformative influences in architecture and urbanism where examining social sustainability becomes imperative. While prevailing attention remains on environmental and economic sustainability, this study addresses a persistent gap in the urban literature by focusing on the dynamic and manifold nature of social sustainability. Positioning itself within the context of sustainable development, the study links the pursuit of social aspects of sustainability with selected unique urban contexts from the Global South. Five cases that include Alexandria (Egypt), Tripoli (Libya), Basra (Iraq), Lilongwe (Malawi), and Accra (Ghana) are discussed through multi-layered investigations that involve attitude surveys, interviews, focus groups, participatory systematic observations, and behavioral mapping, engaging directly with inhabitants and stakeholders. Uncovering people-place narratives in the identified contexts, the cases are developed into five knowledge typologies that serve as practical tools for planning and design decision-making, policy formulation, and academic discourse. Discussions are conceived to demonstrate the transformative role people-place narratives play in fostering a more sustainable and equitable urban future. Conclusions are drawn to offer practical insights for stakeholders involved in various capacities in shaping the urban landscape of the Global South.

Zero-dose children, or children who have not received any routine vaccination, are a priority population for global health policy makers as these children are at high risk of mortality from vaccine-preventable illnesses. We conducted a narrative review to identify potential interventions, both within and outside of the health sector, to reach zero-dose children. We reviewed peer-reviewed and grey literature and identified 59 relevant resources. Additionally, we interviewed six key informants to enhance synthesis of our findings. Data were organized into three priority settings: (1) urban slums, (2) remote or rural communities, and (3) conflict settings. We found that zero-dose children in the three-priority settings face differing barriers to vaccina-tion and, therefore, require context-specific interventions, such as leveraging slum health commit-tees for urban slums or integrating with existing humanitarian response services for conflict set-tings. Three predominant themes emerged for grouping the various interventions: (1) community engagement, (2) health systems strengthening and integration, and (3) technological innovations. The barriers to reaching zero-dose children are multifaceted and nuanced to each setting, there-fore, no one intervention is enough. Technological interventions especially must be coupled with community engagement and health systems strengthening efforts. Evaluations of the suggested interventions are needed to guide scale up, as the evidence-base around these interventions is rel-atively small.

The purpose of this project was to demonstrate the potential of converting an existing internal combustion engine for hydrogen operation at relatively low cost and to optimize the combustion process for ultra-low NOx emissions. The conversion has been carried out on a 450cc naturally aspirated single cylinder engine. The first baseline measurements and setup have shown lower NOx emissions than the baseline gasoline engine (without catalytic converter) for similar power output and engine efficiency. Further optimization of the combustion process allowed to achieve Euro VI and (latest European Commission proposal) Euro VII heavy-duty NOx limits without exhaust gas aftertreatment system (EATS) in steady state conditions. The concept is very promising and the knowledge gained should allow for further optimization to achieve near zero NOx emissions at high engine efficiency and power output with supercharging. It should also allow an efficient conversion of other engine types for different applications. In particular, a project with the aim to convert a heavy duty 6 cylinder engine intended for public transport buses has started. It follows a feasibility study which has shown the competitiveness of the hydrogen engine for this application.

Fungal infections (FIs) are spreading globally causing a significant public health concern. However, its documentation remains sparse in Africa, particularly in Rwanda. This literature review, aims to assess the risk and document current gaps in evidence and policy. It summarizes the published data about FIs in Rwanda, including ten reports published between 1972-and-2022. Blastomyces, Candida, Cryptococcus, Histoplasma, Microsporum, Pneumocystis, Rhinosporidium, and Trichophyton caused human infections. These infections primarily affected the brain, respiratory, urinary and reproductive organs, and they were diagnosed using culturing, histopathology, immunology, and/or microscopic techniques. Our findings provide an overview of the diversity and distribution of FIs, highlighting significant limitations in the country’s diagnostic capacity and surveillance system for FIs. Also, indicating severe gaps in evidence to inform policymaking, guide strategic planning and intervention, underscoring the urgent need to build national capacity in fungal diagnosis, surveillance, and research. Raising awareness among the public, scientific community, healthcare providers, and policymakers remains crucial. Furthermore, this report reveals the threats of FIs on public health and food insecurity in Rwanda. A Multisectoral One Health Strategy is essential in research and intervention to determine and reduce the health and safety impacts of fungal pathogens on human, animal, and the environment.

The report details out programming approach for automating warehouse using Answer Set Programming.

This paper explores the potential of using the SAM segmentator to enhance the segmentation capability of known methods. SAM is a promptable segmentation system that offers zero-shot generalization to unfamiliar objects and images, eliminating the need for additional training. The open-source nature of SAM on GitHub allows for easy access and implementation. In our experiments, we aim to improve the segmentation performance by providing SAM with checkpoints extracted from the masks produced by DeepLabv3+, then merging the segmentation masks provided by these two networks. Additionally, we examine the \enquote{oracle} method (as upper bound baseline performance), where segmentation masks are inferred only by SAM with checkpoints extracted from ground truth. In addition, we tested in the CAMO datasets an ensemble of PVTv2 transformers; combining the ensemble and SAM yields state-of-the-art performance in that dataset. The results of our study provide valuable insights into the potential of incorporating the SAM segmentator into existing segmentation techniques. We release with this paper the open-source implementation of our method.

This study assesses the impact of nurse-originated changes in central venous catheter (CVC) management on the incidence of central line-associated bloodstream infections (CLABSI) and catheter-related bloodstream infections (CRBSI). It is a single-center retrospective cohort study conducted at an urban, tertiary referral, and academic center serving pediatric patients. The study cohort comprised 236 patients and 323 CVCs seen between 2012 and 2022. CLABSI and CRBSI were defined according to the Centers for Disease Control and Prevention definitions. Oncology nurse leaders developed CVC-specific educational modules for CLABSI prevention. All relevant information during the CVC maintenance period was noted in the patient's CVC logbook. 24 (7%) cases of confirmed CLABSI were identified. The incidence of CVC-related infections was 0.32 cases per 1000 catheter days. The incidence decreased by 40% between the first and second three-year study period. Documented exit-site infection was reported in 32 (10%) cases. The correlation between exit-site infection and CLABSI was found in 9 (28%) cases. Our CVC-related infection rates are significantly lower than the incidence reported by the Italian Association of Pediatric Hematology and Oncology, which settles at 3-5 cases per 1000 catheter days. Our data confirm the effectiveness of local CVC management guidelines in preventing CVC-related infectious complications.

Background: Pharmacists need up-to-date knowledge and decision-making support in HIV care. We aim to develop MARVIN-Pharma, an adapted artificial intelligence-based chatbot initially for people with HIV, to assist pharmacists, considering evidence-based needs. Methods: From Dec 2022 to Dec 2023, an online needs-assessment survey evaluated Québec pharmacists' knowledge, attitudes, involvement, and barriers relative to HIV care, alongside perceptions relevant to the usability of MARVIN-Pharma. Recruitment involved convenience and snowball sampling, targeting National HIV and Hepatitis Mentoring Program affiliates. Results: Forty-one pharmacists (28 community, 13 hospital-based) across 15 Québec municipalities participated. Participants perceived their HIV knowledge as moderate (M=3.74/6). They held largely favorable attitudes towards providing HIV care (M=4.02/6). They reported a “little” involvement in the delivery of HIV care services (M=2.08/5), most often ART adherence counseling, refilling, and monitoring. The most common barriers reported to HIV care delivery were a lack of time, staff resources, clinical tools, and HIV information/training, with pharmacists at least somewhat agreeing that they experienced each (M≥4.00/6). On average, MARVIN-Pharma's acceptability and compatibility were in the ‘undecided’ range (M=4.34, M=4.13/7, respectively), while pharmacists agreed to their self-efficacy to use online health services (M=5.6/7). Conclusion: MARVIN-Pharma might help address pharmacists' knowledge gaps and barriers to HIV treatment and care, but pharmacist engagement in the chatbot’s development seems vital for its future uptake and usability.

This paper presents a new proof of the infinite nature of prime numbers. Grounded in fundamental Set theory and Analysis, the proof uses the method of contradiction to demonstrate the absurdity of assuming the set of all prime numbers to be finite.

In this paper, I introduce a new concept of representing numbers in base ; in other words, I have found new series for any number similar to series that could be written according to the collatz sequence which is called zi(n) in this article. These series need to end with 1. Then, we use two sets of rules to make a diagram which then proves the existence of such series for any number.In this diagram, by branching numbers into different branches in accordance to the modularity of 4 and continuing branching to the point that their numbers have enough common terms in their collatz series, we could reduce zi(n) to zi(k) so that k<n in any branch by Rule Number One. This diagram shows that zi(n) exists for every number, in other words, this proves the theorem (A) or zi-existence theorem. The proof of zi-existence theorem leads to a proof of the collatz conjecture because the collatz series could be written as a linear combination of such series that all of them end with 1, so the collatz series for any number ends with 1.

Formalism proofing general derivation, applying matrix properties operations, showing fundamental relationships with inner product to outer product has been advanced here. This general proof formalism has direct application with physics to quantify quantum density at micro scale level to time commutator at macro scale level. System of operator algebraic equations have been rigorously derived to obtain analytic solutions which are physically acceptable. Extended physics application will include metricizing towards unitarization to achieve gaging Hamiltonian mechanics to electromagnetic gravitational strong theory, towards grand unifying physics atomistic to astrophysics or vice versa via quantum relativistic general physics thereby patching to classical physics fields energy.

Structured science summaries or research contributions using properties or dimensions beyond traditional keywords enhances science findability. Current methods, such as those used by the Open Research Knowledge Graph (ORKG), involve manually curating properties to describe research papers' contributions in a structured manner, but this is labor-intensive and inconsistent between the domain expert human curators. We propose using Large Language Models (LLMs) to automatically suggest these properties. However, it's essential to assess the readiness of LLMs like GPT-3.5, Llama 2, and Mistral for this task before application. Our study performs a comprehensive comparative analysis between ORKG's manually curated properties and those generated by the aforementioned state-of-the-art LLMs. We evaluate LLM performance through four unique perspectives: semantic alignment and deviation with ORKG properties, fine-grained properties mapping accuracy, SciNCL embeddings-based cosine similarity, and expert surveys comparing manual annotations with LLM outputs. These evaluations occur within a multidisciplinary science setting. Overall, LLMs show potential as recommendation systems for structuring science, but further finetuning is recommended to improve their alignment with scientific tasks and mimicry of human expertise.

Whilst prior works have characterised the affordances of prototyping methods in terms of generating knowledge about a product or process, the types, or ‘dimensions’ of knowledge towards which they contribute are not fully understood. In this paper we adapt the concept of ‘design domains’ as a method to interpret, and better understand the contributions of different prototyping methods to design knowledge in new product development. We first synthesise a set of ten dimensions for design knowledge from a review of literature in design-related fields. A study was then conducted in which participants from engineering backgrounds completed a Likert-type questionnaire to quantify the perceived contributions to design knowledge of 90 common prototyping methods against each dimension. We statistically analyse results to identify patterns in the knowledge contributions of different methods. Results reveal that methods exhibit significantly different contribution profiles, suggesting different methods to be suited to different knowledge generation. Thus, this paper indicates potential for new methods, methodology and processes to leverage such characterisations for better selection and sequencing of methods in the prototyping process.

To enable net zero sustainable thermal building energy this study develops an open-source thermal house model to couple solar photovoltaic (PV) and heat pumps (HP) for grid-connected residential housing. The calculation of both space heating and cooling thermal loads and the selection of HP is accomplished with a validated Python model for air-source heat pumps. The capacity of PV required to supply the HPs is calculated using an System Advisor Model integrated Python model. Self-sufficiency and self-consumption of PV and the energy imported/exported to the grid for a case study are provided, which shows that simulations based on the monthly load profile have a significant reduction of 43% for energy sent to/from the grid compared to the detailed hourly simulation and an increase from 30% to 60% for self-consumption and self-sufficiency. These results show the importance of more granular modeling and also indicate mismatches of PV generation and HP load based on hourly simulation datasets. The back-calculation PV sizing algorithm combined with HP and thermal loads presented in this study exhibited robust performance. The results indicate this approach can be used to accelerate the solar electrification of heating and cooling to offset the use of fossil fuels in northern climates.

Many corporations aspire to become Net Zero Carbon Dioxide by 2030-2050. This paper examines what it will take. It requires understanding where energy is produced and consumed, the magnitude of CO2 generation, and the Carbon Cycle. Reviews are provided for prior technologies for reducing CO2 emissions from fossil to focus on their limitations and to show that none offer a complete solution. Both biofuels and CO2 sequestration reduce future CO2 emissions from fossil fuels. They will not remove CO2 already in the atmosphere. Planting trees has been proposed as one solution. Trees are a temporary solution. When they die, they decompose and release their carbon as CO2 to the atmosphere. The only way to permanently remove CO2 already in the atmosphere is to break the Carbon Cycle by growing biomass from atmospheric CO2 and sequestering biomass carbon. Permanent sequestration of leaves is proposed as a solution. Leaves have a short Carbon Cycle time constant. They renew and decompose every year. Theoretically, sequestrating a fraction of the world’s tree leaves can get the world to Net Zero without disturbing the underlying forests. This would be CO2 capture in its simplest and most natural form. Permanent sequestration may be achieved by redesigning landfills to discourage decomposition. In traditional landfills, waste undergoes several stages of decomposition, including rapid initial aerobic decomposition to CO2, followed by slow anaerobic decomposition to methane and CO2. The latter can take hundreds to thousands of years. Understanding landfill chemistry provides clues to disrupting decomposition at each phase.

Historically the use of artificial intelligence (AI) in paediatrics dates back to 1984 with the intro-duction of a computer-assisted medical decision-making system called SHELP. Since then, research on the use of AI in pediatrics has become much more popular, and the number of reviewed publications largely increased. Consequently, a need for a holistic research landscape enabling researchers and other interested parties to gain insights into, deepen their knowledge about or inform them about the use of AI in pediatrics arised. To fill this gap a novel methodology named synthetic knowledge synthesis was applied. Using SKS we identified most prolific countries, in-stitutions, source titles, funding agencies, research themes, research gaps and hot spots.

Free-range sloths living in an urban environment is rare. In this study, human opinions, attitudes and interactions with a population of Bradypus variegatus in a public square were investigated. A questionnaire was applied to people in the square where the sloths reside, and informal, opportunistic observations of human-sloth interactions were made. 95% of respondents knew of the sloths’ existence in the square and 87.8% likes their presence. Opinions about population size differed greatly and younger people were concerned if the square was appropriate place for them. Some human-sloth interactions showed the consequence of lack of biological knowledge. People initiated all sloth-human interactions. The fact that sloths are strictly folivorous has limited their interactions with humans and consequently minimised negative impact of the human-animal interaction on their wellbeing. These results demonstrate that while there is a harmonious relationship between people and sloths, actions in environmental education of the square’s public could be beneficial for the sloths.

The ongoing conflict in Syria and Iraq has caused many residents of these countries to flee. This study explored how these refugees cope with traumatic experiences from pre-migration to post-migration phases and how they develop resilience experiences at the individual, familial, and community levels. Data were collected through individual interviews and analyzed using Interpretative Phenomenological Analysis. A discussion of the findings revealed (1) a cumulative effect of prolonged adversity from pre-migration to resettlement phases; (2) the impacts of post-migration context as it facilitates refugees’ adjustment or leads to re-traumatization through increased marginalization; and (3) finally, an overview of refugees’ ongoing survival. Clinical implications are presented along with policy implications and future directions for research.

The West Pomeranian Anti-Crisis Package was an effective tool of the Voivodeship Executive Board of West Pomeranian self-government, which was used to combat and counteract and counteract the social and economic effects of the COVID-19 pandemic. The Anti-Crisis Package was prepared with a view to undertaking systemic, but also point-based measures in order to save and protect regional health care, entrepreneurs, the labour market, but also to use the existing social capital of non-governmental organizations involved in measures reducing the effects of the COVID-19 pandemic. The West Pomeranian Anti-Crisis Package, as evidenced not only by the financial outlays incurred, but also by the outcome of implementing measures achieved in 2020 and their continuation in 2021.

The Polynomial coefficient function, from the complex hyperspace Cⁿ in itself, is the function Fⁿ that provides the coefficients of the polynomial (x - a₁)(x - a₂)... (x-a_n). A proof of the fundamental theorem of algebra is given where the surjectivity of this function is obtained from a Recurrent Coefficient Equation.

Eggplant or brinjal is one of the most consumed and important nutrient-dense tropical solanaceous vegetable crops grown worldwide. Little leaf is a disease especially widespread in brinjal in India where it is associated with the presence of phytoplasmas. To clarify the epidemiology of this disease and verify its seed transmission potential, seedlings and their progeny derived from symptomatic mother plants field-collected in Dharwad district of Karnataka State, India, were sowed under insect proof conditions in greenhouse. The resulting first- and second-generation seedlings obtained were tested at different times after germination by DNA extraction and amplification of 16S rRNA gene of phytoplasmas. Tissues from field collected symptomatic brinjal plants were also tested following the same procedure. The amplicons obtained were subjected to restriction fragment length polymorphism (RFLP) analysis and sequencing for phytoplasma identification. The detected phytoplasmas belonged to 16SrI, 16SrII, 16SrIII, 16SrV, 16SrVI, and 16SrXII groups. Several fruits produced from the first-generation seedlings showed germination of the seeds inside the fruit and resulted to be phytoplasma positive. This demonstrates the seed transmission of phytoplasmas in eggplants for two subsequent generations. This finding highlights the risk of additional source of infection represented by asymptomatic and infected seedlings under field conditions and contribute to explain the epidemic spread of phytoplasmas in brinjal cultivations in India and in the other eggplant growing areas of the world.

The "best of all possible worlds" theory (hereinafter the "possible world theory") was presented by Leibniz many centuries ago, and provided an opportunity for metaphysics to understand the ontological meaning of the world in an in-depth way. Furthermore, the theory has multiple impacts on the multiverse theory of modern physics. However, considering the ontological questions of the world solely on linguistics logic leads to basing the possible world theory or the multiverse theory on relatively uncertain inferential reasons. In this study, symbolic logic was used to consider the possible world theory on a more solid foundation. The entire world was made into oneness, and tracking the existential process at the beginning of the world, realized the existential necessity of the world, even though the initial causal point of the world was assumed to be completely void (null set). The existential system in this study, was generalized without specific elements, apart from existence and non-existence. It was discovered that existential possibility and existential necessity are logically equivalent.

Hydrogen plays an important role in the implementation of Australia’s Net-Zero Strategy. It competes with lithium-ion rechargeable batteries in the electrification of Australian land transportation sector, and can provide an alternative energy storage medium for the greening of the country’s electrical grid system. This paper reviews the role hydrogen plays in the current government’s Net-Zero strategy, and investigates the potential role of other bioenergy sources. It is found that hydrogen and batteries play essentially complementary roles in reducing transport emissions, and that the former energy source is more suited to the operation of long-distance commercial service vehicles than batteries. It is suggested that bioenergy fuels such as biomethane, second generation biofuels and HVO can provide suitable bridging alternatives in the event that Australia’s EV strategy is unable to meet the 2030 target.

Despite the increase in popularity of Zero Waste (ZW) concept, the successful implementation of this concept in waste management is still facing many challenges. The plastic recycling rate in Australia is currently only about 9.4%, which could leave up to 90.6% of plastic consumption being sent to landfills. The state of Victoria (in Australia) has proposed an ambitious plan to upgrade its waste and recycling system and to divert about 80% of waste from landfills by 2030. The aim of this research is to study Victoria’s current waste management plan and to develop a simulation model to assess the feasibility of it achieving zero plastic waste by 2035. In this direction, a fundamental knowledge of global ZW implementation needs to be acquired in order to understand the challenges, obstacles, and uncertainties in achieving ZW target. A simulation model is established using a method called double baselines. This method was developed as an improvisation to address the limitation of data availability for the model development. The model will run on 4 scenarios including one from Victoria’s current plan. Outcomes from the model are produced in comparative charts covering 6 key considerations including the rates of plastic consumption, waste to landfill, diversion, recycling, relative accumulative cost and effort. The findings of this study pointed out that Victoria’s current plan are feasible for its goal and presented with opportunities for improvement especially towards zero plastic waste. Besides, study results also reveal that the Victoria’s current plan to achieve 80% diversion rate by 2030 is possible but the zero plastic waste target by 2035 is less likely to happen.