A correct system design can be systematically obtained from a specification model of a real-time system that integrates hybrid measurements in a realistic industrial environment, this has been carried out through complete Matlab / Simulink / Stateflow models. However, there is a widespread interest in carrying out that modeling by resorting to Machine Learning models, which can be understood as Automated Machine Learning for Real-time systems that present some degree of hybridization. An induction motor controller which must be able to maintain a constant air flow through a filter is one of these systems and it is discussed in the paper as a study case of closed-loop control system. The article discusses a practical application of ML methods that demonstrates how to replace such closed loop in industrial control systems with a Simulink block generated from neural networks to show how the proposed procedure can be applied to derive complete hybrid system designs with artificial neural networks (ANN). In the proposed ANN-based method to design a real-time hybrid system with continuous and discrete components, we use a typical design of a neural network, in which we define the usual phases: training, validation, and testing. The generated output of the model is made up of reference variables values of the cyber-physical system, which represent the functional and dynamic aspects of model. They are used to feed Simulink/Stateflow blocks in the real target system.

The aim of this study was to examine n-balls, n-simplices and n-orthoplices in real dimensions using novel recurrence relations that removed indefiniteness present in known formulas. They show that in negative, integer dimensions volumes of n-balls are zero if n is even, positive if n = -4k - 1, and negative if n = -4k - 3, for natural k. Volumes and surfaces of n-cubes inscribed in n-balls in negative dimensions are complex, wherein for negative, integer dimensions they are associated with integral powers of the imaginary unit. The relations are continuous for n Î ℝ and show that the constant of π is absent for 0 ≤ n < 2. For n < -1 self-dual n-simplices are undefined in negative, integer dimensions and their volumes and surfaces are imaginary in negative, fractional ones, and divergent with decreasing n. In negative, integer dimensions n-orthoplices reduce to the empty set, and their real volumes and imaginary surfaces are divergent in negative, fractional ones with decreasing n. Out of three regular, convex polytopes present in all natural dimensions, only n-orthoplices, n-cubes (and n-balls) are defined in negative, integer dimensions.

In this paper, we present a method to map information regarding service activity provision residing in governmental portals across European Commission. In order to perform this, we used as a basis the enriched Greek e-GIF ontology, modeling concepts, and relations in one of the two data portals (i.e., Points of Single Contacts) examined, since relevant information on the second was not provided. Mapping consisted in transforming information appearing in governmental portals in RDF format (i.e., as Linked data), in order to be easily exchangeable. Mapping proved a tedious task, since description on how information is modeled in the second Point of Single Contact is not provided and must be extracted in a manual manner.

Depth maps produced by LiDAR based approaches are sparse. Even high-end LiDAR sensors produce highly sparse depth maps, which are also noisy around the object boundaries. Depth completion is the task of generating a dense depth map from a sparse depth map. While the traditional approaches focus on directly completing this sparsity from the sparse depth maps, modern techniques use RGB images as a guidance tool to resolve this problem. Whilst many others rely on affinity matrices for depth completion. Based on these approaches, we have sub-divided the literature into two major categories; traditional approaches and backbone-based approaches. The latter is further sub-divided into two-branch, and spatial propagation approaches. The two-branch approaches still have a sub-category named guided-kernel approaches. In this paper, for the first time ever we present a comprehensive survey of depth completion methods. We present a novel taxonomy of depth completion approaches, review and detail different state-of-the art techniques within each category for depth completion of LiDAR data, and provide quantitative results for the approaches on KITTI and NYUv2 depth completion benchmark datasets.

The process of revitalising quiescent cells in order for them to proliferate plays a pivotal role in the repair of warn out tissues as well as for tissue homeostasis. This process is also crucial in the growth, development and well-being of higher multi-cellular organisms such as mammals. Deregulation of quiescent-proliferation transition is related to many diseases, in particular cancer. Recent studies have revealed that this process is regulated tightly by the Rb−E2F bistable switch mechanism. Based on experimental observations, in this study, we formulate a mathematical model to examine the effect of the growth factor concentration on the proliferation-quiescence transition in human cells. Working with a non-dimensionalised model, we prove positivity, boundedness and uniqueness of solutions. To understand model solution behaviour close to bifurcation points, we carry out bifurcation analysis, which is further verified by use of numerical bifurcation analysis, sensitivity analysis and numerical simulations. Indeed, bifurcation and numerical analysis of the model predicted a transition between stable, bistable and stable states, which are dependent on the growth factor concentration parameter (GF). The derived predictions confirm experimental observations.

Within the field of movement sensing and sound interaction research, multi-user systems have gradually gained interest as a means to facilitate an expressive non-verbal dialogue. When tied with studies grounded in psychology and choreographic theory, we consider the qualities of interaction that foster an elevated sense of social connectedness, non-contingent to occupying one’s personal space. In reflection of the newly adopted social distancing concept, we orchestrate a technological intervention, starting with interpersonal distance and sound at the core of interaction. Materialised as a set of sensory face-masks, a novel wearable system was developed and tested in the context of a live public performance from which we obtain the user’s individual perspectives and correlate this with patterns identified in the recorded data. We identify and discuss traits of the user’s behaviour that were accredited to the system’s influence and construct 4 fundamental design considerations for physically distanced sound interaction. The study concludes with essential technical reflections, accompanied by an adaptation for a pervasive sensory intervention that’s finally deployed in an open public space.

Quadrotor drones have rapidly gained interest recently. Numerous studies are underway for the commercial use of autonomous drones, and especially the distribution businesses are taking serious reviews on drone delivery services. However, there are still many concerns about urban drone operations. The risk of failures and accidents makes it difficult to provide drone-based services in the real world with ease. There have been many studies that introduced supplementary methods to handle drone failures and emergencies. However, we discovered the limitation of the existing methods. The majority of approaches were improving PID-based control algorithms which is the dominant drone control method. This type of low-level approach lacks situation awareness and the ability to handle unexpected situations. This study introduces an event-based control methodology that takes a high-level diagnosing approach that can implement situation awareness via time-window. While leaving the low-level controller to involve in operating the drone for most of the time in normal situations, our controller operates at a higher level and detects unexpected behaviors and abnormal situations of the drone. We tested our method with real-time 3D computer simulation environments with Unreal Engine[15] and AirSim[31]. We were able to verify that our approach can provide enhanced double safety and better ensure safe drone operations. We hope our discovery to possibly contribute to the advance of real-world drone services in the near future.

Melanoma is considered to be the most aggressive form of skin cancer. Due to the similar shape of malignant and benign cancerous lesions, doctors spend considerably more time when diagnosing these findings. At present, the evaluation of malignancy is performed primarily by invasive histological examination of the suspicious lesion. Developing an accurate classifier for early and efficient detection can minimize and monitor the harmful effects of skin cancer and increase patient survival rates. This paper proposes a multi-class classification task using the CoAtNet architecture, a hybrid model that combines the depthwise convolution matrix operation of traditional convolutional neural networks with the strengths of Transformer models and self-attention mechanics to achieve better generalization and capacity. The proposed multi-class classifier achieves an overall precision of 0.901, recall 0.895, and AP 0.923, indicating high performance compared to other state-of-the-art networks.

The capacitated team orienteering problem with time windows (CTOPTW) is a NP-hard combinatorial optimization problem. In the CTOPTW, a set of customers is given each with a profit, a demand, a service time and a time window. A homogeneous fleet of vehicles is available for serving customers and collecting their associated profits. Each vehicle is constrained by a maximum tour duration and a limited capacity. The CTOPTW is concerned with the determination of a preset number of vehicle tours that begin and end at a depot, visit each customer no more than once while satisfying the time duration, time window and vehicle capacity constraints on each tour. The objective is to maximize the total profit collected. In this study we propose an iterated local search (ILS) algorithm to deal with the CTOPTW. ILS is a single solution based meta-heuristic that successively invokes a local search procedure to explore the solution space. A perturbation operator is used to modify the current local optimum solution in order to provide a starting solution for the local search procedure. As different problems and instances have different characteristics, the success of the ILS is highly dependent on the local search procedure, the perturbation operator(s) and the perturbation strength. The basic ILS uses a single perturbation operator and the perturbation strength remains the same during the optimization process. To address these issues, we use three different perturbation operators and a varying perturbation strength which changes as the algorithm progresses. The idea is to assign a larger perturbation strength in the early stages of the search in order to focus on exploring the search space. The perturbation strength is gradually decreased so that we focus more on exploitation. The computational results show that the proposed ILS algorithm is able to generate high quality solutions on the CTOPTW benchmark instances taken from the scientific literature, demonstrating its efficiency in terms of both the solution quality and computational time. Moreover, the proposed ILS produces 21 best known results and 5 new best solutions.

The aim of this study was to examine n-balls, n-simplices and n-orthoplices in real dimensions using novel recurrence relations that removed indefiniteness present in known formulas. They show that in negative, integer dimensions volumes of n-balls are zero if n is even, positive if n = -4k - 1, and negative if n = -4k - 3, for natural k. Volumes and surfaces of n-cubes inscribed in n-balls in negative dimensions are complex, wherein for negative, integer dimensions they are associated with integral powers of the imaginary unit. The relations are continuous for n Î ℝ and show that the constant of π is absent for 0 ≤ n < 2. For n < -1 self-dual n-simplices are undefined in negative, integer dimensions and their volumes and surfaces are imaginary in negative, fractional ones, and divergent with decreasing n. In negative, integer dimensions n-orthoplices reduce to the empty set, and their real volumes and imaginary surfaces are divergent in negative, fractional ones with decreasing n. Out of three regular, convex polytopes present in all natural dimensions, only n-orthoplices, n-cubes (and n-balls) are defined in negative, integer dimensions.

The Covid-19 also known as the Coronavirus is a viral disease from the SARS-CoV-2 family of virus, as at December 2019 the first case of this virus infection was identified at Wuhan, China, this seemingly isolated case soon became a global pandemic, whose effect was felt globally which also had colossal effects on both health, economic and politics . As at the time of this research about 4.5 million people have died of the Coronavirus and over 215 million people already infected by it. This pandemic stood out not just for its scale but for how social media was a major contribution to its spread as well as to curbing it. The power of social media was used to spread misinformation as well as to spread awareness on the subject, with both having massive impact on the people. In this paper we will be running a sentimental analysis on twitter under the keyword “Covid-19 and Coronavirus”, twitter is a powerful social media tool that is known for its ability to keep trends in the form of tweets, we will be drawing correlations between the peaks of tweet with the peak of infection. We will also be analyzing to know what the impact of these tweets are having on the rate of the infection and vice versa. We will also be analyzing what people are tweeting most about, what are the talking points, comparing both real time and past tweets with real time infection and death rates using deep different learning methods to access what information can be derived from it.

The use of games for non-ludic purposes, the serious games, is an interesting branch of science that has shown important results. With the advent of the pandemic that has made access to rehabilitation centres more problematic for patients with cognitive rehabilitation needs, the importance of being able to exercise these patients safely in their own homes has emerged strongly. Many studies show that immediate action and appropriate, specific rehabilitation can guarantee satisfactory results. Appropriate therapy is based on key factors to be taken into account such as frequency, intensity and specificity of the exercises. The aim of our work is to define a pathway for the creation of open source digital products that can allow access in any moment to a virtual environment through which patients who have suffered limitations in their cognitive abilities can exercise and recover all or part of these abilities in the shortest possible time. In view of the spread of IoT devices capable of easily monitoring various vital parameters, we propose with our system a low-cost and very efficient solution that can provide the doctor and therapist not only with quantitative data on the exercises performed (number and type of exercises, time spent, results obtained) but also an overview of vital parameters, so as to observe any states of agitation or excessive effort in completing the exercise.

This paper presents the findings of an exploratory study on the continuously generating Big Data on Twitter related to the sharing of information, news, views, opinions, ideas, knowledge, feedback, and experiences about the COVID-19 pandemic, with a specific focus on the Omicron variant, which is the globally dominant variant of SARS-CoV-2 at this time. A total of 12028 tweets about the Omicron variant were studied, and the specific characteristics of tweets that were analyzed include - sentiment, language, source, type, and embedded URLs. The findings of this study are manifold. First, from sentiment analysis, it was observed that 50.5% of tweets had the ‘neutral’ emotion. The other emotions - ‘bad’, ‘good’, ‘terrible’, and ‘great’ were found in 15.6%, 14.0%, 12.5%, and 7.5% of the tweets, respectively. Second, the findings of language interpretation showed that 65.9% of the tweets were posted in English. It was followed by Spanish or Castillian, French, Italian, Japanese, and other languages, which were found in 10.5%, 5.1%, 3.3%, 2.5%, and &lt;2% of the tweets, respectively. Third, the findings from source tracking showed that “Twitter for Android” was associated with 35.2% of tweets. It was followed by “Twitter Web App”, “Twitter for iPhone”, “Twitter for iPad”, “TweetDeck”, and all other sources that accounted for 29.2%, 25.8%, 3.8%, 1.6%, and &lt;1% of the tweets, respectively. Fourth, studying the type of tweets revealed that retweets accounted for 60.8% of the tweets, it was followed by original tweets and replies that accounted for 19.8% and 19.4% of the tweets, respectively. Finally, in terms of embedded URL analysis, the most common URLs embedded in the tweets were found to be twitter.com, which was followed by biorxiv.org, nature.com, wapo.st, nzherald.co.nz, recvprofits.com, science.org, and other URLs.

When we talk about the Internet of Things, we are referring to the connecting of things to a1 physical network that is embedded with software, sensors, and other devices that allow information2 to be exchanged between devices. It is possible that the interconnection of devices will present3 issues in terms of security, trustworthiness, reliability, and confidentiality, among other things.4 The proposed approach is effective at detecting intrusions into the Internet of Things network.5 Initially, the privacy-preserving technology was deployed utilising a Blockchain-based methodology6 to ensure that personal information was protected. Patients’ health records (PHR) security is the7 most crucial component of encryption over the Internet because of the value and importance of these8 records, particularly in the context of the Internet of Medical Things (IoMT). The search terms access9 mechanism is one of the most common approaches used to access personal health records from a10 database, but it is vulnerable to a number of security flaws. However, while blockchain-enabled11 healthcare systems provide increased security, they may also introduce weaknesses into the current12 state of the art. Blockchain-enabled frameworks have been proposed in the literature as a means13 of resolving those challenges. These solutions, on the other hand, are primarily concerned with14 data storage, with Blockchain serving as a database. To enable secure search and keyword-based15 access to a distributed database, this study proposes the use of blockchain technology as a distributed16 database, together with a homomorphic encryption mechanism. Aside from that, the suggested17 system includes a secure key revocation mechanism that can be used to automatically update various18 policies.As a result, our proposed approach provides greater security, efficiency, and transparency19 while also being more cost-effective. We have compared the findings of our proposed models with20 those of the benchmark models, if appropriate. Our comparison research demonstrates that our21 suggested framework provides a more secure and searchable mechanism for the healthcare system22 than the current state of the art.

This paper presents a robust method based on graph topology to find the topologically correct and consistent subset of inter-robot relative pose measurements for multi-robot map fusion. However, the absence of good prior gives a severe challenge to distinguish the inliers and outliers, and wrong loop closures can seriously corrupt the fused global map. Existing works mainly rely on the consistency of spatial dimension to select inter-robot measurements, which does not always hold. In this paper, we propose a fast inter-robot loop closure selection method that integrates the consistency and topology relationship of measurements, which both conform to the continuity characteristics of similar scenes and spatiotemporal consistency. The traditional high-dimensional consistency matrix is decomposed into the sub-matrix blocks corresponding to the overlapping trajectory area. Building on this logic, a clustering method involving topology correctness of inter-robot loop closures is introduced to split the entire measurement set into multiple clusters. We define the weight function to find the maximum cardinality subset with topologically correct and consistent, then convert the weight function to a maximum clique problem in the graph and solve it. We evaluate the performance of our method in a simulation and in a real-world experiment. Compared to state-of-the-art methods, the results show that our method can achieve competitive performance in accuracy while reducing computation time by 75%.

Boosted by the progress in deep learning, Single Image Super-Resolution (SISR) has gained a lot of interest in the Remote Sensing community, who sees it as an oportunity to compensate for satellite's ever-limited spatial resolution with respect to end users needs. While there has been a great amount of work on network architures in the latest years, deep learning based SISR in remote sensing is still limited by the availability of the large training sets it requires. The lack of publicly available large datasets with the required variability in terms of landscapes and seasons pushes researchers to simulate their own dataset by means of downsampling. This may impair the applicability of the trained model on real world data at the target input resolution. In this paper, we propose an open-data licenced dataset composed of 10m and 20m cloud-free surface reflectance patches from Sentinel-2, with their reference spatially-registered surface reflectance patches at 5 meter resolution acquired on the same day by the VENµS satellite. This dataset covers 29 locations on earth with a total of 132 955 patches of 256x256 pixels at 5 meters resolution, and can be used for the training of super-resolution algorithms to bring the spatial resolution of 8 of the Sentinel-2 bands down to 5 meters.

The exploration of heath data by clustering algorithms allows to better describe the populations of interest by seeking the sub-profiles that compose it. This therefore reinforces medical knowledge, whether it is about a disease or a targeted population in real life. Nevertheless, contrary to the so-called conventional biostatistical methods where numerous guidelines exist, the standardization of data science approaches in clinical research remains a little discussed subject. This results in a significant diversity in the execution of data science projects, whether in terms of algorithms used, reliability and credibility of the designed approach. Taking the path of parsimonious and judicious choice of both algorithms and implementations at each stage, this paper proposes Qluster, a practical workflow for performing clustering tasks. Indeed, this workflow makes a compromise between (1) genericity, as it is suitable regardless of the data volume (small/big) and regardless of the nature of the variables (continuous/qualitative/mixed), (2) ease of implementation, as it is based on few easy-to-use software packages, and (3) robustness, through the stability evaluation of the final clusters and through recognized algorithms and implementations. This workflow can be easily automated and/or routinely applied on a wide range of clustering projects. A synthesis of the literature on data clustering as well as the scientific rationale supporting the proposed workflow is also provided. Finally, a detailed application of the workflow on a concrete use case is provided, along with a practical discussion for data scientists. An implementation on the Dataiku platform is available upon request to the authors.

In this paper, the sequential prime numbers are used as variables for the galactic spiral equations which were developed from the ROTASE model. Special spiral patterns are produced when prime numbers are treated with the unit of radian. The special spiral patterns produced with the first 1000 prime numbers have 20 spirals arranged in two groups. The two groups have perfect central symmetry with each other and are separated with two spiral gaps. The special spiral pattern produced with natural numbers from 1 to 7919 shows 6 spirals in the central area and 44 spirals in the outer area. The whole 7919 spiral points can be plotted with either 6-spiral pattern or 44-spiral pattern. For the spirals only produced by the prime numbers in the 6-spiral pattern plotting, the spiral 2 and spiral 3 each has only one spiral point produced by prime number 2 and 3, respectively, all other spiral points produced by other prime numbers are located on the spiral 1 and spiral 5. The special spiral pattern is well explained with careful analysis, it is concluded that all prime numbers greater than 3 must meet one of the equations: P₁ = 1 + 6 * n (n > 0) P₅ = 5 + 6 * n (n ≥ 0) In other words, every prime number greater than 3 is either a P₁ prime number or a P₅ prime number, no exception. Matching one of the equations is a necessary condition for a number to be a prime number, not a sufficient condition. Hope such sufficient condition can be found in the future. The number of P₁ prime numbers roughly equal the number of P₅ prime number in the first 2 billion prime numbers. The galactic spiral equations with golden angle can duplicate Vogel’s result for the simulation of sunflower seed head pattern, and a pinwheel pattern can be produced also with galactic spiral equations and 1 degree more than golden angle.

The 21st century, where all things are depending upon technology, almost all the human tasks are being done with the help of technology to save a lot of time and make our life much more comfortable. The monitoring of students’ attendance is a crucial task for faculty in today’s world. There are more chances of errors while entering the students’ attendance records in the primary system, primarily when the class was over. The main concern of this study is to build an IoT-based automated attendance management system for educational institutes by biometric recognition to incorporate fake/proxy attendance and errors of entry and to replace old manual methods of taking students’ attendance by calling their names or roll numbers. The AAS will click the image of the classroom, and it will automatically detect the faces of students sitting in the lecture room and recognize them during lectures then mark their attendance daily to keep a record of their presence and also maintain and manage it for the management staff of the institution for future by using web services.

In this paper, we examine the weak abc conjecture and the strong abc conjecture using some functions. we attempt to discuss the possibilty that the negative consequence of the weak abc conjecture. Namely, we derive that the weak abc conjecture is not true. Additionally, we show that the strong abc conjecture is not true.

In this paper, we demonstrate the Collatz conjecture using the mathematical complete induction method. We show that this conjecture is satisfied for the first values of natural numbers, and in analyzing the sequence generated by odd numbers, we can deduce a formula for the general term of the Collatz sequence for any odd natural number n after several iterations. This formula is used in one case that we analyze using the mathematical complete induction method in the process of demonstrating the conjecture.

The choice of holiday destinations is highly depended on climate considerations. Nowadays, since the effects of climate crisis are being increasingly felt, the need of accurate weather and climate services for hotels is crucial. Such a service could be beneficial for both the future planning of tourists’ activities and destinations and for hotel managers as it could help in decision making about the planning and expansion of the touristic season, due to a prediction of higher temperatures for a longer time span, thus causing increased revenue for companies in the local touristic sector. The aim of this work is to calculate predictions on climatic variables using statistical techniques as well as Artificial Intelligence (AI) for a specific area of interest utilising data from in situ meteorological station, and produce valuable and reliable localised predictions with the most cost-effective method possible. This investigation will answer the question of the most suitable prediction method for time series data from a single meteorological station that is deployed in a specific location. As a result, an accurate representation of the microclimate in a specific are is achieved. To achieve this high accuracy in situ measurements and prediction techniques are used. As prediction techniques, Seasonal Auto Regressive Integrated Moving Average (SARIMA), AI techniques like the Long-Short-Term-Memory (LSTM) Neural Network and hybrid combinations of the two are used. Variables of interest are divided in the easier to predict temperature and humidity that are more periodic and less chaotic, and the wind speed as an example of a more stochastic variable with no known seasonality and patterns. Our results show that the examined Hybrid methodology performs the best at temperature and wind speed forecasts, closely followed by the SARIMA whereas LSTM perform better overall at the humidity forecast, even after the correction of the Hybrid to the SARIMA model.

In this study, we present a numerical method for solving two--dimensional space--time fractional partial differential equations (FPDEs), where the solutions of the FPDEs are expanded in terms of the shifted Chebyshev polynomials. The numerical approximations are evaluated at the Chebyshev-Gauss-Lobatto points. In the case when the FPDE is nonlinear, we employ a Newton-Raphson approach to linearize the equation. Both the linear and nonlinear cases lead to a consistent system of linear algebraic equations. The scheme is tested on selected FPDEs and the numerical results show that the proposed numerical scheme is accurate and computationally efficient in terms of CPU times. To establish the accuracy of the method, we also present an error analysis which shows the convergence of the numerical method. These positive attributes make the proposed method a good approach for solving two--dimensional fractional partial differential equations with both space and time fractional orders.

Deep neural networks (DNNs), founded on the brain's neuronal organization, can extract higher-level features from raw input. However, complex intellect via autonomous decision-making is way beyond current AI design. Here we propose an autonomous AI inspired by the thermodynamic cycle of sensory perception, operating between two information density reservoirs. Stimulus unbalances the high entropy resting state and triggers a thermodynamic cycle. By recovering the initial conditions, self-regulation generates a response while accumulating an orthogonal, holographic potential. The resulting high-density manifold is a stable memory and experience field, which increases future freedom of action via intelligent decision-making.

The paper continues the study of efficient algorithms for the computation of zeta functions over the complex plane. We aim to apply the modifications of algorithms to the investigation of underlying fractal structures associated with the Riemann zeta function. We discuss the computational complexity and numerical aspects of the implemented algorithms based on series with binomial-like coefficients.

When computers start to become a dominant part of technology around the 1950s, fundamental questions about reliable designs and robustness were of great relevance. Their development gave rise to the exploration of new questions such as what made brains reliable (since neurons can die) and how computers could get inspiration from neural systems. In parallel, the first Artificial Neural Networks came to life. Since then, the comparative view between brains and computers has been developed in new, sometimes unsuspected directions. With the rise of deep learning and the development of connectomics, an evolutionary look at how both hardware and neural complexity have evolved or designed is required. In this paper, we argue that important similarities have resulted both from convergent evolution (the inevitable outcome of architectural constraints) and inspiration of hardware and software principles guided by toy pictures of neurobiology. Moreover, dissimilarities and gaps originate from the lack of major innovations that have paved the way to biological computing (including brains) that are completely absent within the artificial domain. As it occurs within synthetic biocomputation, we can also ask whether alternative minds can emerge from A.I.\ designs. Here we take an evolutionary view of the problem and discuss the remarkable convergences between living and artificial designs and what are the pre-conditions to achieve artificial intelligence.

The paper is a continuation of another paper (https://philpapers.org/rec/PENFLT-2) published as Part I. Now, the case of “n=3” is inferred as a corollary from the Kochen and Specker theorem (1967): the eventual solutions of Fermat’s equation for “n=3” would correspond to an admissible disjunctive division of qubit into two absolutely independent parts therefore versus the contextuality of any qubit, implied by the Kochen – Specker theorem. Incommensurability (implied by the absence of hidden variables) is considered as dual to quantum contextuality. The relevant mathematical structure is Hilbert arithmetic in a wide sense (https://dx.doi.org/10.2139/ssrn.3656179), in the framework of which Hilbert arithmetic in a narrow sense and the qubit Hilbert space are dual to each other. A few cases involving set theory are possible: (1) only within the case “n=3” and implicitly, within any next level of “n” in Fermat’s equation; (2) the identification of the case “n=3” and the general case utilizing the axiom of choice rather than the axiom of induction. If the former is the case, the application of set theory and arithmetic can remain disjunctively divided: set theory, “locally”, within any level; and arithmetic, “globally”, to all levels. If the latter is the case, the proof is thoroughly within set theory. Thus, the relevance of Yablo’s paradox to the statement of Fermat’s last theorem is avoided in both cases. The idea of “arithmetic mechanics” is sketched: it might deduce the basic physical dimensions of mechanics (mass, time, distance) from the axioms of arithmetic after a relevant generalization, Furthermore, a future Part III of the paper is suggested: FLT by mediation of Hilbert arithmetic in a wide sense can be considered as another expression of Gleason’s theorem in quantum mechanics: the exclusions about (n = 1, 2) in both theorems as well as the validity for all the rest values of “n” can be unified after the theory of quantum information. The availability (respectively, non-availability) of solutions of Fermat’s equation can be proved as equivalent to the non-availability (respectively, availability) of a single probabilistic measure as to Gleason’s theorem.

The aim of this study was to examine n-balls, n-simplices and n-orthoplices in real dimensions using novel recurrence relations that removed indefiniteness present in known formulas. They show that in negative, integer dimensions volumes of n-balls are zero if n is even, positive if n = -4k - 1, and negative if n = -4k - 3, for natural k. Volumes and surfaces of n-cubes inscribed in n-balls in negative dimensions are complex, wherein for negative, integer dimensions they are associated with integral powers of the imaginary unit. The relations are continuous for n Î ℝ and show that the constant of π is absent for 0 ≤ n < 2. For n < -1 self-dual n-simplices are undefined in negative, integer dimensions and their volumes and surfaces are imaginary in negative, fractional ones, and divergent with decreasing n. In negative, integer dimensions n-orthoplices reduce to the empty set, and their real volumes and imaginary surfaces are divergent in negative, fractional ones with decreasing n. Out of three regular, convex polytopes present in all natural dimensions, only n-orthoplices, n-cubes (and n-balls) are defined in negative, integer dimensions.

Tropical cyclones devastate large areas, take numerous lives and damage extensive property in Bangladesh. Research on landfalling tropical cyclones affecting Bangladesh has primarily focused on events occurring since AD1960 with limited work examining earlier historical records. We rectify this gap by developing a new tornado catalogue that include present and past records of tornados across Bangladesh maximizing use of available sources. Within this new tornado database, 119 records were captured starting from 1838 till 2020 causing 8,735 deaths and 97,868 injuries leaving more than 1,02,776 people affected in total. Moreover, using this new tornado data, we developed an end-to-end system that allows a user to explore and analyze the full range of tornado data on multiple scenarios. The user of this new system can select a date range or search a particular location, and then, all the tornado information along with Artificial Intelligence (AI) based insights within that selected scope would be dynamically presented in a range of devices including iOS, Android, and Windows. Using a set of interactive maps, charts, graphs, and visualizations the user would have a comprehensive understanding of the historical records of Tornados, Cyclones and associated landfalls with detailed data distributions and statistics.

In this paper, we derive Von Koch's inequality without using the Riemann Hypothesis. As well known, Von Koch's inequality is equivalent to the Riemann Hypothesis. Namely, we show that the Riemann Hypothesis is true. Furthermore, we show that the upper limit of its can be lowered.

We present improvements in n-best rescoring of code-switched speech achieved by n-gram augmentation as well as optimised pretraining of long short-term memory (LSTM) language models with larger corpora of out-of-domain monolingual text. In addition, we consider the application of large pretrained transformer-based architectures. Our experimental evaluation is performed on an under-resourced corpus of code-switched speech comprising four bilingual code-switched sub-corpora, each containing a Bantu language (isiZulu, isiXhosa, Sesotho, or Setswana) and English. We find in our experiments that, by combining n-gram augmentation with the optimised pretraining strategy, speech recognition errors are reduced for each individual bilingual pair by 3.51% absolute on average over the four corpora. Importantly, we find that even speech recognition at language boundaries improves by 1.14% even though the additional data is monolingual. Utilising the augmented n-grams for lattice generation, we then contrast these improvements with those achieved after fine-tuning pretrained transformer-based models such as distilled GPT-2 and M-BERT. We find that, even though these language models have not been trained on any of our target languages, they can improve speech recognition performance even in zero-shot settings. After fine-tuning on in-domain data, these large architectures offer further improvements, achieving a 4.45% absolute decrease in overall speech recognition errors and a 3.52% improvement over language boundaries. Finally, a combination of the optimised LSTM and fine-tuned BERT models achieves a further gain of 0.47% absolute on average for three of the four language pairs compared to M-BERT. We conclude that the careful optimisation of the pretraining strategy used for neural network language models can offer worthwhile improvements in speech recognition accuracy even at language switches, and that much larger state-of-the-art architectures such as GPT-2 and M-BERT promise even further gains.

Considering that a fair coin has two sides and a cylindrical edge, the probability that it would fall on its edge is calculated, yielding the probability of heads or tails less than 50%. Theoretical models for a static case and for five dynamic cases, without and with rebounds, show that there is a small probability that the coin does not fall on its head or tail, depending on initial toss conditions, the coin geometry and conditions of the coin and landing surfaces. For the dynamic model with rebounds, it is found that the probability that a 50 Eurocent coin thrown from a normal height with common initial velocity conditions and appropriate surface conditions will end up on its edge is in the order of one against several thousand.

In this paper, we examine the weak abc conjecture and the strong abc conjecture using some functions. we attempt to discuss the possibilty that the negative consequence of the weak abc conjecture. Namely, we derive that the weak abc conjecture is not true. Additionally, we show that the strong abc conjecture is not true.

Numerical methods, including machine learning methods, are now actively used in the applications related to guided wave propagation. The method proposed in this study for material properties characterization is based on the algorithm of the clustering of multivariate data series obtained as a result of the application of the matrix pencil method to the experimental data. In the proposed technique, multi-objective optimization is employed to improve the accuracy of particular parameter identification. At the first stage, the computationally efficient method based on the calculation of the Fourier transform of Green's matrix is employed iteratively and the obtained solution is used for the filter construction with decreasing bandwidth, which allows us to obtain nearly noise-free classified data (with mode separation). The filter provides data separation between all guided waves in a natural way, which is needed at the second stage, where the slower method based on the minimization of the slowness residuals is applied to the data. The method might be applied for material properties identification in plates with thin coatings/interlayers, multi-layered anisotropic laminates etc.

In this note, we provide some effective treatments of a general linear model with adding-up restrictions via algebraic operations of given vectors and matrices in the model, including analytic expressions of the well-known ordinary least-squares estimator (OLSE) and the best linear unbiased estimator (BLUE) of the unknown parameters in the model.

New recurrence relations for n-balls, regular n-simplices, and n-orthoplices in integer dimensions are submitted. They remove indefiniteness present in known formulas. In negative, integer dimensions volumes of n-balls are zero if n is even, positive if n = -4k - 1, and negative if n = -4k - 3, for natural k. Volumes and surfaces of n-cubes inscribed in n-balls in negative dimensions are complex, wherein for negative, integer dimensions they are associated with integral powers of the imaginary unit. The relations are continuous for n Î ℝ and show that the constant of π is absent for 0 ≤ n < 2. For n < -1 self-dual n-simplices are undefined in negative, integer dimensions and their volumes and surfaces are imaginary in negative, fractional ones, and divergent with decreasing n. In negative, integer dimensions n-orthoplices reduce to the empty set, and their real volumes and imaginary surfaces are divergent in negative, fractional ones with decreasing n. Out of three regular, convex polytopes present in all non-negative dimensions, only n-orthoplices, n-cubes (and n-balls) are defined in negative, integer dimensions.

The practice of quantified-self sleep tracking is increasingly common nowadays among healthy individuals as well as patients with sleep problems. However, existing sleep-tracking technologies only support simple data collection and visualization, and are incapable of providing actionable recommendations that are tailored to users' physical, behavioral and environmental context. Here we coined the term context-aware sleep health recommender system (CASHRS) as an emerging multidisciplinary research field that bridges ubiquitous sleep computing and context-aware recommender systems. In this paper, we presented a narrative review to analyze the type of contextual information, the recommendation algorithms, the context filtering techniques, the behavior change techniques, the system evaluation, and the challenges in peer-reviewed publications that meet the characteristics of CASHRS. Analysis results identified current research trends, the knowledge gap, and future research opportunities in CASHRS.

An actual problem of inertial navigation related to the creation of a multifunctional device that performs the functions of a meter for both angular velocities and linear accelerations is considered. The possibility of constructing such a device based on a hybrid-type modulation micromechanical gyroscope has shown. The ability to measure linear accelerations has provided by the presence of a small symmetrical distance between the axes of the elastic suspension relative to the center of mass of the sensor element. A mathematical model of the device ("heavy" gyroscope) as a high-quality three-dimensional oscillatory system is constructed. It has shown numerically that the reaction of the system to the movement of an object has, along with precession, the observed nutation. This allows you to develop an algorithm for separating information about the angular and linear motion of the base and implement a two-component angular velocity meter and a two-component linear acceleration meter in one device.

In this work we study the following problem, from a computational point of view: If three points are selected in the unit square at random, what is the probability that the triangle obtained is obtuse, acute or right? We provide two convergent strategies: the frst derived from the ideas introduced in [2] and the second built on the combinatorics theory. The combined use of these two methods allows us to address the random triangle theory from a new perspective and, we hope, to work out a general method of dealing with some classes of computational problems.

Free route airspace (FRA) is a new concept of European air transport. It has been designed to eliminate the negative impact of air traffic on the environment, minimize fuel consumption, simplify and expand flight planning. In our research, FRA is modelled by using graph theory, networks, and convex analysis. We also looked for answers to the question which are the basic mathematical properties of airspace? Basic mathematical properties are expressed using axioms. Therefore, in our work, we state the general, basic axiom of airspace based on our FRA research. The axiom is given using practical, significant entry points and geodetic coordinates.

Increasing rate of seepage velocity from several formation characteristics, such as permeability and porosity, in water aquifer environment greatly prompt pollution of water reservoirs within a short period of time. Considerably, migration rate of dissolved heavy metals from Solid Waste Dumpsites (SWD), such as municipal dumpsites and landfills, through heterogeneous aquifer environment, and finally into nearby water reservoirs are mainly influenced by variation of seepage velocity within the soil and water environment. This presents a dynamic system for water pollution that was studied using a formulated mathematical model to describe the transport process of dissolved heavy metals, mainly characterized by seepage velocities, within the water aquiferous environment. Permeability, porosity, fluid pressure and concentration of heavy metals in aquiferous environment were used as principal parameters that influence seepage velocity of the metals, in dissolved state, through the structural formation of water aquifers. The derived mathematical equations that constitute the model of this study were generated through Darcy’s law and the equation of continuity. The model was validated on structural river aquifer sediments, and it was solved using graphical method through matlab open-source software. The initial and boundary conditions were obtained by discretizing the geological setting of flow region so as to transform the gradient of the head, into the time domain.

We survey SoTA open-domain conversational AI models with the purpose of presenting the prevailing challenges that still exist to spur future research. In addition, we provide statistics on the gender of conversational AI in order to guide the ethics discussion surrounding the issue. Open-domain conversational AI are known to have several challenges, including bland responses and performance degradation when prompted with figurative language, among others. First, we provide some background by discussing some topics of interest in conversational AI. We then discuss the method applied to the two investigations carried out that make up this study. The first investigation involves a search for recent SoTA open-domain conversational AI models while the second involves the search for 100 conversational AI to assess their gender. Results of the survey show that progress has been made with recent SoTA conversational AI, but there are still persistent challenges that need to be solved, and the female gender is more common than the male for conversational AI. One main take-away is that hybrid models of conversational AI offer more advantages than any single architecture. The key contributions of this survey are 1) the identification of prevailing challenges in SoTA open-domain conversational AI, 2) the unusual discussion about open-domain conversational AI for low-resource languages, and 3) the discussion about the ethics surrounding the gender of conversational AI.

An electrocardiograph (ECG) reflects the health of the human heart and is used to help diagnose arrhythmia and myocardial infarction(MI) in clinical practice. Early diagnosis of arrhythmia helps implement preventive measures and plays a crucial role in saving a patient's life. With the increasing demand of clinicians for ECG analysis technology, intelligent detection and diagnosis of ECG signals has become a more efficient means to assist physicians in diagnosing cardiovascular diseases. This paper introduces an ECG diagnosis approach based on an ensemble deep learning combination of CNN(convolutional neural network) and SLAP(stacked-long short term memory architecture for prediction) architecture. ECG data is denoised and further divided into single heartbeats to achieve data standardization and sample diversity. Adam optimizer and BCEwithlogitsloss multi-classification loss function were used to enhance the model effect, and the system achieved the classification effect of 99.3% average accuracy, 99.0% F1-value, and 99.2% sensitivity in MIT-BIH standard database classification. It also shows good generalization ability on the Tianchi data set.

Falls, highly common in the constantly increasing global aging population, can have a variety of negative effects on their health, well-being, and quality of life, including restricting their capabilities to conduct Activities of Daily Living (ADLs), which are crucial for one's sustenance. Timely assistance during falls is highly necessary, which involves tracking the indoor location of the elderly during their diverse navigational patterns associated with ADLs, to detect the precise location of a fall. With the decreasing caregiver population on a global scale, it is important that the future of intelligent living environments can detect falls during ADLs while being able to track the indoor location of the elderly in the real-world. Prior works in these fields have several limitations, such as – lack of real-world testing, lack of functionalities to detect both falls and indoor locations, high cost of implementation, complicated design, the requirement of multiple hardware components for deployment, and the necessity to develop new hardware or software for implementation, which make the wide-scale deployment of such technologies challenging. To address these challenges, this work proposes a simplistic design paradigm for the development of an ambient intelligence-based living environment with functionalities to perform indoor localization and fall detection during ADLs. The hardware necessary for the development of this system involves integration of easily available sensors, the combined cost of which is USD 262.15 – which upholds its cost-effectiveness. The results from real-world experiments that were performed uphold the effectiveness of the system design to capture multimodal components of the user interaction data during ADLs that are necessary for the detection of falls as well as indoor localization.

As its capital, Jakarta plays a critical role in boosting Indonesia’s economic growth and setting the precedent for broader change outside of the city. One crucial avenue of inquiry to better understand, and prepare for, the future of a country so heavily impacted by disastrous weather events is understanding the effects of climate change through data. This study investigates meteorological data collected from 1996 to 2021 and compares the application of the SARIMA and the Holt-Winters methods to predict the future influence of climatic parameters on Jakarta’s weather. The performance of the SARIMA method is proven to provide better results than the Holt-Winter models and both methods showed the best performances when forecasting the humidity data. The results of the forecast are able to demonstrate the characteristic of the climate in Jakarta, with dry season ranging from May to October and wet season ranging from November to April.

Sentiment analysis is a process of extracting opinions into the positive, negative, or neutral categories from a pool of text using Natural Language Processing (NLP). In the recent era, our society is swiftly moving towards virtual platforms by joining virtual communities. Social media such as Facebook, Twitter, WhatsApp, etc are playing a very vital role in developing virtual communities. A pandemic situation like COVID-19 accelerated people's involvement in social sites to express their concerns or views regarding crucial issues. Mining public sentiment from these social sites especially from Twitter will help various organizations to understand the people's thoughts about the COVID-19 pandemic and to take necessary steps as well. To analyze the public sentiment from COVID-19 tweets is the main objective of our study. We proposed a deep learning architecture based on Bidirectional Gated Recurrent Unit (BiGRU) to accomplish our objective. We developed two different corpora from unlabelled and labeled COVID-19 tweets and use the unlabelled corpus to build an improved labeled corpus. Our proposed architecture draws a better accuracy of 87% on the improved labeled corpus for mining public sentiment from COVID-19 tweets.

In recent years, due to the advancement of machine learning, object detection has become a mainstream task in the computer vision domain. The first phase of object detection is to find the regions where objects can exist. With the improvement of deep learning, traditional approaches such as sliding windows and manual feature selection techniques have been replaced with deep learning techniques. However, object detection algorithms face a problem when performing in low light, challenging weather, and crowded scenes like any other task. Such an environment is termed a challenging environment. This paper exploits pixel-level information to improve detection under challenging situations. To this end, we exploit the recently proposed hybrid task cascade network. This network works collaboratively with detection and segmentation heads at different cascade levels. We evaluate the proposed methods on three complex datasets of ExDark, CURE-TSD, and RESIDE and achieve an mAP of 0.71, 0.52, and 0.43, respectively. Our experimental results assert the efficacy of the proposed approach.

New recurrence relations for n-balls, regular n-simplices, and n-orthoplices in integer dimensions are submitted. They remove indefiniteness present in known formulas. In negative, integer dimensions volumes of n-balls are zero if n is even, positive if n = -4k - 1, and negative if n = -4k - 3, for natural k. Volumes and surfaces of n-cubes inscribed in n-balls in negative dimensions are complex, wherein for negative, integer dimensions they are associated with integral powers of the imaginary unit. The relations show that the constant of π is absent in 0 and 1 integer dimensions. It is shown that self-dual n-simplices are undefined for n < -1, while n-orthoplices reduce to the empty set for n ≤ -1. Out of three regular, convex polytopes (and n-balls) present in all non-negative dimensions, only n-orthoplices, n-cubes and n-balls are defined in negative dimensions.

Brain tissue segmentation is an important component of clinical diagnosis of brain diseases by means of multi-modal magnetic resonance imaging (MR). Brain tissue segmentation is developed by many unsupervised methods in literature. The most commonly used unsupervised methods are: K-Means, Expectation Maximization and Fuzzy Clustering. Fuzzy clustering methods offer considerable benefits compared with the aforementioned methods as they are capable of handling brain images which are complex, largely uncertain and imprecise in nature. However, this approach suffers from the intrinsic noise and intensity inhomogeneity (IIH) in the data resulted from the acquisition process. To resolve these issues, we propose a fuzzy consensus clustering algorithm that defines a membership function resulted from a voting schema to cluster the pixels. In particular, we first pre-process the MRI data and employ several segmentation techniques based on traditional fuzzy sets and intuitionistic sets. Then, we adopted a voting schema to fuse the results of the applied clustering methods. Finally, to evaluate the proposed method, we used the well-known performance measures (boundary measure, overlap measure and volume measure) on two publicly available datasets (OASIS and IBSR18). The experimental results show the superior performance of the proposed method in comparison with the recent state of the arts.

An electrocardiograph (ECG) reflects the health of the human heart and is used to help diagnose arrhythmia and myocardial infarction(MI) in clinical practice. Early diagnosis of arrhythmia helps implement preventive measures and plays a crucial role in saving a patient's life. With the increasing demand of clinicians for ECG analysis technology, intelligent detection and diagnosis of ECG signals has become a more efficient means to assist physicians in diagnosing cardiovascular diseases. This paper introduces an ECG diagnosis approach based on an ensemble deep learning combination of CNN(convolutional neural network) and SLAP(stacked-long short term memory architecture for prediction) architecture. ECG data is denoised and further divided into single heartbeats to achieve data standardization and sample diversity. Adam optimizer and BCEwithlogitsloss multi-classification loss function were used to enhance the model effect, and the system achieved the classification effect of 99.3% average accuracy, 99.0% F1-value, and 99.2% sensitivity in MIT-BIH standard database classification. It also shows good generalization ability on the Tianchi data set.

Stop words are very important for information retrieval and text analysis investigation. This study aimed to automatically analyze and detect stop words in texts in the Uzbek language. Because of the limited availability of methods for automatic search of stop words of texts in Uzbek we analyzed a newly prepared corpus. The Uzbek language belongs to the family of agglutinative languages. As with all agglutinative languages, we can explain that the detection of stop words in Uzbek texts is a more complex process than in inflected languages: In inflected languages, words such as auxiliary words, articles, prepositions can be included in the stop words group. In agglutinative languages, the meanings of such words are hidden in the text. Therefore, it is not appropriate to apply all known methods of stop words detection in inflected languages directly to agglutinative languages. In this work, the “School corpus” which contains 731156 Uzbek words has been investigated. The bigram method of analysis was applied to the corpus. We proposed the collocation method of detecting stop words of the corpus. We proposed the method of automatically detecting stop words of texts in Uzbek. It is shown that the collocation method is 6 times better than the bigram method.

Chess is an interesting game for artificial intelligence research and an entertaining hobby and sport for a growing number of people. However, humans differ greatly in their ability to play. Typically, the Elo rating is used to determine a player's skill and to predict who will win. When differences in Elo are too great the weaker player is almost guaranteed to lose. While on one hand, the Elo rating allows players to be matched to equally well-playing opponents, it also to some degree restricts the games to be played between equally strong opponents since otherwise the result is known beforehand. Here a handicap system where stronger players remove pieces at the start of the game is evaluated. Specifically, the effect each removed piece or combination of pieces have on a player. Interestingly, pieces do not always reduce the Elo of a player by a predefined amount, but their effect depends strongly on the player's current Elo. The results presented here are from playing the computer engine Stockfish because data about humans playing this scheme is limited. However, the results make direct predictions about the effect of piece removal on Elo.

To guide analysts to select the right tool and parameters in differential gene expression analysis of single-cell RNA sequencing (scRNA-seq) data, we developed a novel simulator that recapitulates the data characteristics of real scRNA-seq datasets while accounting for all the relevant sources of variation in a multi-subject, multi-condition scRNA-seq experiment: the cell-to-cell variation within a subject, the variation across subjects, the variability across cell types, the mean/variance relationship of gene expression across genes, library size effects, group effects, and covariate effects. By applying it to benchmark 12 differential gene expression analysis methods (including cell-level and pseudo-bulk methods) on simulated multi-condition, multi-subject data of the 10x Genomics platform, we demonstrated that methods originating from the negative binomial mixed model such as glmmTMB and NEBULA-HL outperformed other methods. Utilizing NEBULA-HL in a statistical analysis pipeline (https://github.com/interactivereport/scRNAseq_DE) for single cell analysis will enable scientists to better understand cell-type specific transcriptomic response to disease or treatment effects and to discover new drug targets. Further, application to two real datasets showed the outperformance of our differential expression (DE) pipeline, with unified findings of differentially expressed genes (DEG) and a pseudo-time trajectory transcriptomic result. In the end, we made recommendations of filtering strategies of cells and genes based on simulation results to achieve optimal experimental goals.

Over recent years, the importance of patent literature has become more recognized in the academic setting. In the context of artificial intelligence, deep learning, and data sciences, patents are relevant to not only industry but also academe and other communities. In this article, we focus on deep tomographic imaging and perform a preliminary landscape analysis of the related patent literature. Our search tool is PatSeer . Our patent bibliometric data is summarized in various figures and tables. In particular, we qualitatively analyze key deep tomographic patent literature.

It is known that the class of p-normed spaces (0 < p ≤ 1) is an important generalization of usual normed spaces with rich topological and geometrical structure, but the most of tools and general principles in nature with nonlinearity have not been developed yet, thus the main goal of this paper is to develop tools for nonlinear analysis under the framework of p-vector spaces. In particular, we first develop the general fixed point theorems which provide solutions to answer Schauder conjecture since 1930’s in the affirmative for p-vector spaces when p = 1 (which is just general topological vector spaces); then the one best approximation result for upper semi-continuous mappings is given, which is used as a powerful tool to establish fixed points for non-self set-valued mappings with either inward or outward set conditions; and finally we establish comprehensive existence results of solutions for Birkhoff-Kellogg Problems, and the general principle of nonlinear alternative by including Leray-Schauder alternative and related results. The results given in this paper not only include the corresponding results in the existing literature as special cases, but also expected to be useful tools for the study of nonlinear problems arising from theory to practice.

Early diagnosis, prioritization, screening, clustering and tracking of COVID-19 patients, and production of drugs and vaccines are some of the applications that have made it necessary to use a new style of technology to involve, to manage and deal with this epidemic. Strategies backed by artificial intelligence (AI) and the Internet of Things (IoT) have been undeniable to understand how the virus works and try to prevent it from spreading. Accordingly, the main aim of this survey article is to highlight the methods of ML, IoT and the integration of IoT and ML-based techniques in the applications related to COVID-19 from the diagnosis of the disease to the prediction of its outbreak. According to the main findings, IoT provided a prompt and efficient approach of following the disease spread. Most of the studies developed by ML-based techniques for handling COVID-19 based dataset provided performance criteria. The most popular performance criteria, is related to accuracy factor. It can be employed for comparing the ML-based methods with different datasets. According to the results, CNN with SVM classifier, Genetic CNN and pre-trained CNN followed by ResNet, provided highest accuracy values. On the other hand, the lowest accuracy was related to single CNN followed by XGboost and KNN methods.

In this part of the series of two papers, we extend the theorems discussed in part I for infinite series. We then use these theorems to develop distinct novel results involving the Hurwitz zeta function, Riemann zeta function, Polylogarithm and Fibonacci numbers. In continuation, we obtain some zeros of the newly developed zeta functions and explain their behaviour using plots in complex plane. Furthermore, we provide particular cases for the theorems and corollaries which show that our results generalise the currently available functions and series such as the Riemann zeta function and the geometric series. Finally, we provide four miscellaneous examples to showcase the vast scope of the developed theorems.

We present a novel method for interpolating univariate time series data. The proposed method combines multi-point fractional Brownian bridges, a genetic algorithm, and Takens’ theorem for reconstructing a phase space from univariate time series data. The basic idea is to first generate a population of different stochastically interpolated time series data, and secondly, to use a genetic algorithm to find the pieces in the population which generate the smoothest reconstructed phase space trajectory. A smooth trajectory curve is hereby found to have a low variance of second derivatives along the curve. For simplicity, we refer to the developed method as PhaSpaSto-interpolation, which is an abbreviation for phase-space-trajectory-smoothing stochastic interpolation. The proposed approach is tested and validated with a univariate time series of the Lorenz system, five non-model data sets and tested against a cubic spline interpolation and a linear linear interpolation. We find that the criterion for smoothness guarantees low errors on known model and non-model data. Finally, we interpolate the discussed non-model data sets, and show the corresponding improved phase space portraits. The proposed method is useful for interpolating low-sampled time series data sets for, e.g., machine learning, regression analysis, or time series prediction approaches.

Detector-based spectral CT offers the possibility of obtaining spectral information from which discrete acquisitions at different energy levels can be derived, yielding so-called virtual monoenergetic images (VMI). In this study, we aimed to develop a jointly optimized deep learning framework based on dual-energy CT pulmonary angiography (DE-CTPA) data to generate synthetic monoenergetic images (SMI) for improving automatic pulmonary embolism (PE) detection in single-energy CTPA scans. For this purpose, we used two data sets: our institutional DE-CTPA data set D1 comprising polyenergetic arterial series and the corresponding VMI at low-energy levels (40 keV) with 7,892 image pairs, and a 10% subset of the 2020 RSNA Pulmonary Embolism Detection Challenge data set D2, which consisted of 161,253 polyenergetic images with dichotomous slice-wise annotations (PE/no PE). We trained a fully convolutional encoder-decoder on D1 to generate SMI from single-energy CTPA scans of D2, which were then fed into a ResNet50 network for training of the downstream PE classification task. The quantitative results on the reconstruction ability of our framework revealed high-quality visual SMI predictions with reconstruction results of 0.984 ± 0.002 (structural similarity) and 41.706 ± 0.547 dB (peak-signal-to-noise ratio). PE classification resulted in an AUC of 0.84 for our model, which achieved improved performance compared to other naive approaches with AUCs up to 0.81. Our study stresses the role of using joint optimization strategies for deep learning algorithms to improve automatic PE detection. The proposed pipeline may prove to be beneficial for computer-aided detection systems and could help rescue CTPA studies with suboptimal opacification of the pulmonary arteries from single-energy CT scanners.

Ultrasonic based inspection of thin-walled structures often requires prior knowledge of their mechanical properties. Their accurate estimation could be achieved in a non-destructive manner employing, e.g., elastic guided waves. Such procedures require efficient approaches for experimental data extraction and processing, which is still a challenging task. An advanced automated technique for material properties identification of an elastic waveguide is proposed in this investigation. It relies on the information on dispersion characteristics of guided waves, which are extracted by applying the matrix pencil method to the measurements obtained via laser Doppler vibrometry. Two objective functions have been successfully tested, and the advantages of both approaches are discussed (accuracy vs computational costs). The numerical analysis employing the synthetic data generated via the mathematical model as well as experimental data shows that both approaches are stable and accurate. The influence of the presence of various modes in the extracted data is investigated. One can conclude that the influence of the corruptions related to the extraction of dispersion curves is not critical if the majority of guided waves propagating in the considered frequency range are presented. Possible extensions of the proposed technique for damaged and multi-layered structures are also discussed.

In gravitational theory and astrophysical dynamics, singular initial value problems (IVPs) are frequently encountered. Finding the solutions to this class of IVPs can be challenging due to their complex nature. This study strives to circumvent the complexity by proposing a numerical method for solving such problems. The approach proposed in the current research seeks solutions to the IVP by partitioning the domain [0,L] of the problem into two intervals and solving the problem on each domain. The study seeks a closed-form solution to the IVP in the interval containing the singular point. A linearization technique and piecewise partitioning of the domain not containing the singularity are applied to the nonlinear IVP. The resulting linearized differential equation is solved using the Chebyshev spectral collocation method. Some examples are presented to illustrate the efficiency of the proposed method. Numerical analysis of the solution and residual errors are shown to ascertain convergence and accuracy. The results suggest that the technique gives accurate convergent solutions using a few collocation points.

Background: Process mining (PM) exploits event logs to obtain meaningful information about the processes that produced them. As the number of applications developed on cloud infrastructures is increasing, it becomes important to study and discover their underlying processes. However, many current PM technologies face challenges in dealing with complex and large event logs from cloud applications, especially when they have little structure (e.g., clickstreams). Methods: Using Design Science Research, this paper introduces a new method, called Cloud Pattern API – Process Mining (CPA-PM), that enables discovering and analyzing cloud-based application processes using PM in a way that addresses many of these challenges. CPA-PM exploits a new application programming interface (API), with an R implementation, for creating repeatable scripts that preprocess event logs collected from such applications. Results: Applying CPA-PM to a case with real and evolving event logs related to the trial process of a Software-as-a-Service cloud application led to useful analyses and insights, with reusable scripts. Conclusion: CPA-PM helps producing executable scripts for filtering event logs from clickstream and cloud-based applications, where the scripts can be used in pipelines while minimizing the need for error-prone and time-consuming manual filtering.

Many dedicated designs for real-time operations provide functionality on fixed-sized operators, but where speed, scalability, and flexibility are required, extensive research is demanded. Dedicated designs can provide real-time processing for many applications. This paper presents an FPGA-based design of a general image processor. The proposed design is based on a fixed-point representation of binary numbers. The proposed design provides a mechanism to manage matrices on-chip along with matrix arithmetic. The matrices are represented with simple identifiers and microinstruction that assist in the computation of many operations which are useful for solving complex problems. The design was successfully implemented and tested using VHDL language. The proposed design is an efficient architecture as a standalone processor with all embedding computational resources necessary for an embedded image processing application.

It is shown that the representation theory of some finitely presented groups thanks to their $SL_2(\mathbb{C})$ character variety is related to algebraic surfaces. We make use of the Enriques-Kodaira classification of algebraic surfaces and the related topological tools to make such surfaces explicit. We study the connection of $SL_2(\mathbb{C})$ character varieties to topological quantum computing (TQC) as an alternative to the concept of anyons. The Hopf link $H$, whose character variety is a Del Pezzo surface $f_H$ (the trace of the commutator), is the kernel of our view of TQC. Qutrit and two-qubit magic state computing, derived from the trefoil knot in our previous work, may be seen as TQC from the Hopf link. The character variety of some two-generator Bianchi groups as well as that of the fundamental group for the singular fibers $\tilde{E}_6$ and $\tilde{D}_4$ contain $f_H$. A surface birationally equivalent to a $K_3$ surface is another compound of their character varieties.

Inverse problems of recovering surface fluxes on the boundary of a domain from pointwise observations are considered. Sharp conditions on the data ensuring existence and uniqueness of solutions in Sobolev classes are exposed. They are smoothness conditions on the data, geometric conditions on the location of measurement points, and the boundary of a domain. The proof relies on asymptotics of fundamental solutions to the corresponding elliptic problems and the Laplace transform. The problem is reduced to a linear algebraic system with a nondegerate matrix.

Wireless cellular communication technology has developed into a very resourceful commodity worldwide. Today, people of all races can hardly live without means of voice and data cellular communication technology. Imprecise propagation loss estimation leads to high power waste, high co-channel interference and poor service quality in cellular communication system networks. This paper proposes a realistic adaptive fine-tuning method for distinctive propagation loss estimation over a microcellular communication radio links based on signal power measurements from Long Term Evolution radio broadband networks, taking non-line of sight (NLOS) and line of sight (LOS) environments into consideration. The methodology is verified by measurements taken in non-line of sight and line of sight signal propagation scenarios. The results showed that the estimated propagation losses using the proposed realistic adaptive tuning models were more accurate than the existing Cost -231 modelling estimation approach

This paper describes an image processing method that makes use of image parts instead of neural parts. Neural networks excel at image or pattern recognition and they do this by constructing complex networks of weighted values that can cover the complexity of the pattern data. These features however are integrated holistically into the network, which means that they can be difficult to use in an individual sense. A different method might scan individual images and use a more local method to try to recognise the features in it. This paper suggests such a method, where a trick during the scan process can not only recognise separate image parts, as features, but it can also produce an overlap between the parts. It is therefore able to produce image parts with real meaning and also place them into a positional context. Tests show that it can be quite accurate, on some handwritten digit datasets, but not as accurate as a neural network, for example. The fact that it offers an explainable interface could make it interesting however. It also fits well with an earlier cognitive model, and an ensemble-hierarchy structure in particular.

This venture targets giving a correspondence framework that can improve the legal framework execution and cooperation and furthermore make it simple to lead execution audits. This examination depicts restricted admittance to the right legitimate data just as admittance to courts and court administrations as the essential factors that limit admittance to equity. The basic target fundamental for accomplishing the point incorporates planning an online easy to understand data framework that would improve correspondence and association between legal professionals like legal advisors and disputants. The undertaking uses a subjective methodology that zeroed in on the substance investigation of essential information. Key members were court laborers like attorneys and agents, just as court clients like disputants. Pre-plan discoveries uncovered that current legitimate data frameworks – basically court sites – neglect to recognize their crowd by treating all court clients similarly comparative with the correspondence of lawful data. Likewise, the issue of admittance to equity includes the significant expense of equity also, restricted legal data that elevates admittance to equity. Post-plan discoveries from the online overview directed after the turn of events and execution of the IT curio uncovered a powerful and productive legitimate data framework. Exploration discoveries supported the advancement of an IT antiquity that records for huge shortcomings in current legal data frameworks, for example, their failure to pass on fitting legitimate data intelligently and productively. In outline, the investigation prescribes the reception of saw control to work fair and square of certainty of court clients and the differentiation between court clients to convey the right data to the right crowd.

This study observes, interprets, and analyses the knowledge production in the research field of Human–Robot Interaction (HRI). It intends to foreground the hidden assumptions that are often taken for granted when roboticist design and conduct their research. By doing so, this study demonstrates how these assumptions influence the result of their research. Based on data collected through sociological field observation, this study argues that the current practise in HRI research is highly anthropocentric. In short, the robots are designed to be like human instead of for human. Therefore, the human–robot relationship embodies the existing power relations between human beings. These relations generate inequality, hierarchy, and dominance, which are the opposite of the common imagination of the robotised future among roboticists. For the purpose of enabling the robotised future closer to their ideal, this study suggests that HRI researchers to go beyond the conventional methodology, to allow a human–robot relationship that realises reciprocity.

The computer network world is changing and the NetDevOps approach has brought the dynamics of applications and systems into the field of communication infrastructure. Businesses are changing and businesses are faced with difficulties related to the diversity of hardware and software that make up those infrastructures. The "Intent-Based Networking - Concepts and Definitions" document describes the different parts of the ecosystem that could be involved in NetDevOps. The recognize, generate intent, translate and refine features need a new way to implement algorithms. This is where artificial intelligence comes in.

Artificial Intelligence models are increasingly used in manufacturing to inform decision-making. Responsible decision-making requires accurate forecasts and an understanding of the models’ behavior. Furthermore, the insights into models’ rationale can be enriched with domain knowledge. This research builds explanations considering feature rankings for a particular forecast, enriching them with media news entries, datasets’ metadata, and entries from the Google Knowledge Graph. We compare two approaches (embeddings-based and semantic-based) on a real-world use case regarding demand forecasting.

Functional Data Analysis (FDA) is a relatively new field of statistics dealing with data expressed in the form of functions. FDA methodologies can be easily extended to the study of imaging data, an application proposed in Wang et al. (2020), where the authors settle the mathematical groundwork and properties of the proposed estimators. This methodology allows for the estimation of mean functions and simultaneous confidence corridors (SCC), also known as simultaneous confidence bands, for imaging data and for the difference between two groups of images. This is especially relevant for the field of medical imaging, as one of the most extended research setups consists on the comparison between two groups of images, a pathological set against a control set. FDA applied to medical imaging presents at least two advantages compared to previous methodologies: it avoids loss of information in complex data structures and avoids the multiple comparison problem arising from traditional pixel-to-pixel comparisons. Nonetheless, computing times for this technique have only been explored in reduced and simulated setups (Arias-López et al., 2021). In the present article, we apply this procedure to a practical case with data extracted from open neuroimaging databases and then measure computing times for the construction of Delaunay triangulations, and for the computation of mean function and SCC for one-group and two-group approaches. The results suggest that previous researcher has been too conservative in its parameter selection and that computing times for this methodology are reasonable, confirming that this method should be further studied and applied to the field of medical imaging.

The objective of parsing is to transform a natural language sentence it in to a standard order. and in a same way a sentence is tokenized with an appropriate format. There are certain English grammar evaluation rules and the parsing approach which is to be followed for the proper formation of a particular sentence syntactically and semantically using the parsing approach. A sentence in English language is the main element in the semantic parser, which creates a parse tree with the help of applying semantic dating technique to a number of phrases. A parser divides a token into smaller components by applying sets of guidelines that characterize and a series of the tokens to determine its structure of the language, which specified by grammar. The illustration provides easy records on grammatical connections, which can simply know and put into practice with those who have no prior knowledge of the language, such as those who need to obtain textual family members. The semantic family members represent the relationships of a number of the words in the sentence. We advocate utilizing our parser to acquire the tagged sets as well as a context-free layout grammatical representation for the source form. All pronouns, adverbs, singular, plural, nouns, verbs, people, adjectives, tenses and other words are kept in a database.

This study develops a predictor-corrector algorithm for the numerical simulation of IVPs involving singular generalized fractional derivatives with Mittag-Leffler kernels. The proposed algorithm converts the considered IVP into a Volterra-type integral equation and then uses Trapezoidal rule to obtain approximate solutions. Numerical approximate solutions of some singular generalized fractional derivative with Mittag-Leffler kernels models have been presented to demonstrate the efficiency and accuracy of the proposed algorithm. The algorithm describes the influence of the fractional derivative parameters on the dynamics of the studied models. The suggested method is expected to be effectively employed in the field of simulating generalized fractional derivative models

Cities are undergoing huge shifts in technology and operations in recent days, and `data science' is driving the change in the current age of the Fourth Industrial Revolution (Industry 4.0 or 4IR). Extracting insights or actionable knowledge from city data and building a corresponding data-driven model is the key to making a city system automated and intelligent. Data science is typically the study and analysis of actual happenings with historical data using a variety of scientific methodology, machine learning techniques, processes, and systems. In this paper, we concentrate on and explore ``Smart City Data Science", where city data collected from various sources like sensors and Internet-connected devices, is being mined for insights and hidden correlations to enhance decision-making processes and deliver better and more intelligent services to citizens. To achieve this goal, various machine learning analytical modeling can be employed to provide deeper knowledge about city data, which makes the computing process more actionable and intelligent in various real-world services of today's cities. Finally, we identify and highlight ten open research issues for future development and research in the context of data-driven smart cities. Overall, we aim to provide an insight into smart city data science conceptualization on a broad scale, which can be used as a reference guide for the researchers, professionals, as well as policy-makers of a country, particularly, from the technological point of view.

Cracking in a wide array of industrial components and structures pose a significant threat to their integrity. Detecting cracks using ultrasonic inspection techniques is a widespread activity for economic reasons but there are limitations to the techniques due to the morphology of cracks, such as fatigue cracks. In addition to detection there is a need to measure the size of the cracks which are often within the volume of the material. Ultrasonic techniques are well-suited to look inside the volume of the material but achieving sufficient sensitivity to the tip of the cracks in particular is practically difficult. Without an accurate knowledge of where the tip of the crack lies there can be significant uncertainty in sizing measurements. Machine Learning (ML) techniques are being developed to aid in the inspection and monitoring tasks but presenting the ultrasonic data in a suitable way for ML is very important. Following on from recent work presenting the development of the snooker algorithm to create images termed parameter-spaces, this paper presents how these images can be input into neural network based ML systems to automatically size these critical cracks.

Currently, face recognition technologies are the most widely used methods for verifying 1an individual’s identity. Nevertheless, it has increased in popularity, raising concerns about face spoofing attacks, in which a photo or video of an authorized person’s face is used to get access to services. Based on a combination of Background Subtraction (BS) and Convolutional Neural Networks (CNN), as well as an ensemble of classifiers, we propose an efficient and more robust face spoof detection algorithm. This algorithm includes a Fully Connected (FC) classifier with a Majority Vote (MV) algorithm, which uses different face spoof attacks (e.g., printed photo and replayed video). By including a majority vote to determine whether the input video is genuine or not, the proposed method significantly enhances the performance of the Face Anti-Spoofing (FAS) system. For evaluation, we considered the MSU MFSD, REPLAY-ATTACK, and CASIA-FASD databases. The obtained results by our proposed approach are better than those obtained by state of the art methods. On the REPLAY-ATTACK database, we were able to attain a Half Total Error Rate (HTER) of 0.62% and an Equal Error Rate (EER) of 0.58%. It was possible to attain an EER of 0% on both the CASIA-FASD and the MSU FAS databases.

The ABCDEFG Protocol provides an evolving tool for imposing structure on the flow of Covid infection information obtained from community testing, collective policy and individual compliance. ABCDEFG Protocol could not assume soundness, invariance, symmetry and completeness of the available information and relied on signaling game theory to design solutions that could evolve with the variable narratives, theories, individual utilities and pathogen variants. Thus, ABCDEFG Protocol suggests a novel and a very flexible pool-testing and badging protocol in the context of controlling contagious epidemics and tackling the far-reaching associated challenges, including understanding and evaluating individual and collective risks of returning prior infected individuals to normal society and other economic and social arrangements and interventions to protect against disease. AbCDEFG Proto uses both control theoretic and game theoretic mathematical models that may be centralized (an optimizing policy maker mandates behavior based on estimated models) or decentralized (a strategizing individual selects their behavior based on available asymmetric information). ABCDEFG protocol demonstrates how society can continue to carry out plausible economic activities in addition to controlling the prevalence of a contagious disease by keeping the number of infected people below a desired limit without compromising an individuals' privacy despite the presence of deception and selfishness among people, and limitations of available resources. Different types of badges would come with different restrictions. Badges would be reissued periodically by third-party testing centers via suitably frequent pool testing of samples of the participants. The size of the pools, frequency of tests, and allowable activities for people with a given type of badge would depend on the available resources, the prevalence of the disease, and the efficacy of the equipment used in the tests.

Protein Contact Network (PCN) is an emerging paradigm for modelling protein structure. A common approach to interpreting such data is through network-based analyses. It has been shown that clustering analysis may discover allostery in PCN. Nevertheless Network Embedding has shown good performances in discovering hidden communities and structures in network. In this work, we compare some approaches for graph embedding with respect to some classical clustering approaches for annotating protein structures.

In this paper, we present a framework that automatically labels Latent Dirichlet Allocation (LDA) generated topics using sentiment and aspect terms from COVID-19 tweets to help the end-users by minimizing the cognitive overhead of identifying key topics labels. Social media platforms especially Twitter are considered as one of the most influential sources of information for providing public opinion related to a critical situation like the COVID-19 pandemic. LDA is a popular topic modelling algorithm that extracts hidden themes of documents without assigning a specific label. Thus automatic labelling of LDA-generated topics from COVID-19 tweets is a great challenge instead of following the manual labelling approach to get an overview of wider public opinion. To overcome this problem, in this paper, we propose a framework named \texttt{SATLabel} that effectively identifies significant topic labels using \textit{top unigrams features of sentiment terms and aspect terms clusters from LDA generated topics} of COVID-19 related tweets to uncover various issues related to the COVID-19 pandemic. The experimental results show that our methodology is more effective, simpler, and traces better topic labels compare to the manual topic labelling approach.

The sudden onset of the Covid-19 pandemic disrupted the modern multi-national interconnected society and led the countries and societies to enforce unprecedented restrictions on movement. Among myriad containment measures, the policy of trace and quarantine found universal adoption among countries; the swift adoption of the policy was soon met with widespread criticism and opposition activists who questioned the utility and the risk associated with such a large scale collection of data and infringement on the movement of individuals. Consequently, one often tends to be either pro- or anti-trace and quarantine; the ensuing polarizing and politicized left little room for nuance. In this work, we undertake a methodology study to understand the nuances of the impact of different implementations of trace and quarantine. To this end, we design a user-friendly and intuitive tool that can be employed by experts to model the disease dynamics and societal structure. We focus on the study of the cost of policy with respect to quarantine degree, which captures the distance between the person required to quarantine after a person is detected to be infected. Our study results in a surprising conclusion: the cost is not necessarily monotone with respect to the degree of quarantine. Our analysis indicates that governments must curb the urge to adopt simplistic policy and the optimal policy of trace and quarantine for a country strongly depends on its societal structure and disease dynamics.

Based on Hadamard product, a new expression of the completed zeta function $\xi(s)$ is obtained, i.e., $$\xi(s)=\xi(0)\prod_{i=1}^{\infty}\Big{(}\frac{\beta_i^2}{\alpha_i^2+\beta_i^2}+\frac{(s-\alpha_i)^2}{\alpha_i^2+\beta_i^2}\Big{)}^{d_{i}}$$ where $\xi(0)=\frac{1}{2}, \rho_i=\alpha_i+j\beta_i, \bar{\rho}_i=\alpha_i-j\beta_i$ are complex conjugate zeros of $\xi(s)$, $0<\alpha_i<1$ and $\beta_i\neq 0$ are real numbers, $d_i\geq 1$ are the multiplicities of $\rho_i$, $i\in \mathbb{N}$ are natural numbers from 1 to infinity, $\beta_i$ are in order of increasing $|\beta_i|$, i.e., $|\beta_1|\leq|\beta_2|\leq|\beta_3|\leq \cdots$. Then we have, by the functional equation $\xi(s)=\xi(1-s)$, that $$\xi(0)\prod_{i=1}^{\infty}\Big{(}\frac{\beta_i^2}{\alpha_i^2+\beta_i^2}+\frac{(s-\alpha_i)^2}{\alpha_i^2+\beta_i^2}\Big{)}^{d_{i}} =\xi(0)\prod_{i=1}^{\infty}\Big{(}\frac{\beta_i^2}{\alpha_i^2+\beta_i^2}+\frac{(1-s-\alpha_i)^2}{\alpha_i^2+\beta_i^2}\Big{)}^{d_{i}}$$ i.e., $$\prod_{i=1}^{\infty}\Big{(}1+\frac{(s-\alpha_i)^2}{\beta_i^2}\Big{)}^{d_{i}}=\prod_{i=1}^{\infty}\Big{(}1+\frac{(1-s-\alpha_i)^2}{\beta_i^2}\Big{)}^{d_{i}}$$ which, by Lemma 3, is equivalent to $$\alpha_i= \frac{1}{2}, i\in \mathbb{N}, \text{ from 1 to infinity.}$$ Thus, we conclude that the Riemann Hypothesis is true.

Predicting change from multivariate time series has relevant applications ranging from medical to engineering fields. Multisensory stimulation therapy in patients with dementia aims to change the patient’s behavioral state. For example, patients who exhibit a baseline of agitation may be paced to change their behavioral state to relaxed. This study aims to predict changes in behavioral state from the analysis of the physiological and neurovegetative parameters to support the therapist during the stimulation session. In order to extract valuable indicators for predicting changes, both handcrafted and learned features were evaluated and compared. The handcrafted features were defined starting from the CATCH22 feature collection, while the learned ones were extracted using a Temporal Convolutional Network, and the behavioral state was predicted through Bidirectional Long Short-Term Memory Auto-Encoder, operating jointly. From the comparison with the state-of-the-art, the learned features-based approach exhibits superior performance with accuracy rates of up to 99.42% with a time window of 70 seconds and up to 98.44% with a time window of 10 seconds.

Collatz conjecture (3n+1 problem) is an application of Cantor's isomorphism theorem (Cantor-Bernstein) under recursion. The set of 3n+1 for all odd positive integers n, is an order isomorphism for (odd X, 3X+1). The other (odd X, 3X+1) linear order has been discovered as a bijective order-embedding, with values congruent to powers of four. This is demonstrated using a binomial series as a set rule, then showing the isomorphic structure, mapping, and cardinality of those sets. Collatz conjecture is representative of an order machine for congruence to powers of two. If an initial value is not congruent to a power of two, then the iterative program operates the (odd X, 3X+1) order isomorphism until an embedded value is attained. Since this value is a power of four, repeated division by two tends the sequence to one. Because this same process occurs, regardless of the initial choice for a positive integer, Collatz conjecture is true.

The relationship between the host and the microbiome, or the assemblage of microorganisms (including bacteria, archaea, fungi, and viruses), has been proven crucial for its health and disease development. The high dimensionality of microbiome datasets has often been addressed as a major difficulty for data analysis, such as the use of Machine Learning (ML) and Deep Learning (DL) models. Here we present BiGAMi, a bi-objective genetic algorithm fitness function for feature selection in microbial datasets to train high-performing phenotype classifiers. The proposed fitness function allowed us to build classifiers that outperformed the baseline performance estimated by the original studies by using as few as 0.04% to 2.32% features of the original dataset. In 19 out of 21 classification exercises, BiGAMi achieved its results by selecting 6-68% fewer features than the highest performance of a Sequential Forward Feature Selection algorithm. This study showed that the application of a bi-objective GA fitness function against microbiome datasets succeeded in selecting small subsets of bacteria whose contribution to understood diseases and the host state was already experimentally proven. Applying this feature selection approach to novel diseases is expected to quickly reveal the microbes most relevant to a specific condition.

The adaptive identification method developed to evaluate the parameters of the Bouc-Wen hysteresis (BWH). The adaptive approach based on the use of adaptive observers. We synthesize adaptive identification algorithms using the second Lyapunov method. The boundedness of adaptive system processes shown in coordinate and parametric spaces. We prove exponential dissipativity of processes in an adaptive system. Estimating method proposed for signaling uncertainty in the system.

Smart devices such as smartphones, smartwatches, etc. are promising platforms that are being used for automatic recognition of human activities. However, it is difficult to accurately monitor complex human activities due to inter-class pattern similarity, which occurs when different human activities exhibit similar signal patterns or characteristics. Current smartphone-based recognition systems depend on the traditional sensors such as accelerometer and gyroscope, which are inbuilt in these devices. Therefore, apart from using information from the traditional sensors, these systems lack contextual information to support automatic activity recognition. In this article, we explore environment contexts such as illumination(light conditions) and noise level to support sensory data obtained from the traditional sensors using a hybrid of Convolutional Neural Networks and Long Short Time Memory(CNN_LSTM) learning models. The models performed sensor fusion by augmenting the low-level sensor signals with rich contextual data to improve recognition and generalisation ability of the proposed solution. Two sets of experiments were performed to validate the proposed solution. The first set of experiments used inertial sensing data whilst the second set of extensive experiments combined inertial signals with contextual information from environment sensing data. Obtained results demonstrate that contextual information such as environment noise level and illumination using hybrid deep learning models achieved better recognition accuracy than the traditional activity recognition models without contextual information.

Starting from a very simple economic scenario, we build on it a game and then we introduce a general strategy able to reduce a regression problem to an equivalent binary classification problem. This reduction scheme (that we call adaptive reduction or also dynamic reduction) can be also used to derive a new boosting algorithm for regression problems named bOOst^d. The bOOst^d algorithm is very simple to implement, and it can use any learning algorithm with no priori assumptions. We present a conjecture for bOOst^d performances, which ensures a little error on training set. More important we can also provide a very good theoretical upper bound for the generalization error. We give a set of preliminary experimental results that seems to confirm our conjecture for bOOst^d performances on training set and the theoretical assumptions for the generalization error. We also provide a possible justification of why boosting often does not overfit. Finally, we leave some open problems and argue that in the future an adaptive single boosting (with an unique code) algorithm for binary, multi class and regression problems can be derived.

A generalization of the sum of divisors function involves a recursive definition. This leads to variants of superabundant numbers, colossally abundant numbers, and Gronwall's theorem (relevant to the Riemann hypothesis).

Objectives: This paper presents a statistical review of modelling simulations for frequency and sensitivity of COVID-19 testing paradigms. Methods: We performed a review of preprints and published articles on PubMed from January 1, 2020 – March 1, 2021 using the search terms “COVID screening testing”, “COVID testing frequency”, “COVID testing frequency screening” and “SARS-CoV-2 testing frequency”.Results: Several authors’ conclusions support the claim that test frequency and test sensitivity both play a role in reducing SARS-CoV-2 transmission. We highlight the interplay between frequency of testing, test sensitivity and the speed at which test results are available in our review. Conclusions: Evidence suggests that sensitivity and frequency of testing both play a part in decreasing transmission of disease. We conclude that, overall, test sensitivity plays less of a role in reducing disease transmission in a population compared to the frequency of testing and how quickly test results are available.

Plagiarism means taking another person’s work and not giving any credit to them for it. Plagiarism is one of the most serious problems in academia and among researchers. Even though there are multiple tools available to detect plagiarism in a document but most of them are domain-specific and designed to work in English texts, but plagiarism is not limited to a single language only. Bengali is the most widely spoken language of Bangladesh and the second most spoken language in India with 300 million native speakers and 37 million second-language speakers. Plagiarism detection requires a large corpus for comparison. Bengali Literature has a history of 1300 years. Hence most Bengali Literature books are not yet digitalized properly. As there was no such corpus present for our purpose so we have collected Bengali Literature books from the National Digital Library of India and with a comprehensive methodology extracted texts from it and constructed our corpus. Our experimental results find out average accuracy between 72.10 % - 79.89 % in text extraction using OCR. Levenshtein Distance algorithm is used for determining Plagiarism. We have built a web application for end-user and successfully tested it for Plagiarism detection in Bengali texts. In future, we aim to construct a corpus with more books for more accurate detection.

Free route airspace (FRA) is a new concept of European air transport. It has been designed to eliminate the negative impact of air traffic on the environment, minimize fuel consumption, simplify and expand flight planning. In our research, FRA is modelled by using graph theory, networks, and convex analysis. We also looked for answers to the question which are the basic mathematical properties of airspace? Basic mathematical properties are expressed using axioms. Therefore, in our work, we state the general, basic axiom of airspace based on our FRA research. The axiom is given using practical, significant entry points and geodetic coordinates.

We introduce a novel key exchange protocol based on non-commutative matrix multiplication defined in $\mathbb{F}_p^{n \times n}$. The security of our method does not rely on computational problems as integer factorization or discrete logarithm whose difficulty is conjectured. We show that the public, secret and channel keys become indistinguishable to the eavesdropper under matrix multiplication. Remarkably, for achieving a 512-bit security level, the public key is 1024 bits and the private key is 768 bits, making them the smallest keys among post-quantum key exchange algorithms. Also, we discuss how to achieve key authentication, interdomain certification and Perfect Forward Secrecy (PFS). Therefore, Lizama's algorithm becomes a promising candidate to establish shared keys and secret communication between (IoT) devices in the quantum era.

In this paper a new monolithic Eulerian formulation in the framework of non-classical continuum is presented for the analysis of fluid-strucutre interaction problems. In this respect, Cosserat continuum theory taking into account the micro-rotational degrees of freedom of the particles is considered. Continuum description of the model and variational formulation of the governing flow dynamics for non-classical -fluid-structure interaction nCFSI is presented. The model is analyzed by computing a well known benchmark problem by Hecht and Pironneau [16]. The algorithmic description is presented and implemented using FreeFEM++. Code is validated with the benchmark solution of Turek and Hron [38] in case of flow around a flag attached with cylinder. New microstructral behavior of the solution is studied and numerical simulations and results are shown in the form of figures. Some interesting feature of the flow is observed and microstructural characteristics are discussed.

A Twi-English parallel corpus is certainly an important resource for Machine Translation of Twi (ISO 639-3), a Low-Resource African Language (LRAL) which is mainly spoken in Ghana and Ivory Coast. Currently large-scale multi-domain Twi-English parallel corpus is still unavailable partly due to the difficulties and the arduous efforts required in its design. In this paper, we present TWIENG: a large-scale multi-domain Twi-English parallel corpus. We crawled the sentences from the web using web crawlers, translated, aligned, tokenized and compiled to create the corpus. We crawled English sentences from Ghanaian indigenous electronic news portals, Ghanaian Parliamentary Hansards, Twi Bible and crowdsourcing via google forms. The sentences were translated by professional translators and linguists, they were then aligned, tokenized and compiled. The corpus was curated using the sketch engine, a corpus manager and analysis software developed by Lexical Computing Limited. The corpus was manually evaluated by Twi professional linguists. The Corpus has 5,419 parallel sentences.

We examine a family of nonlinear q-difference-differential Cauchy problems obtained as a coupling of linear Cauchy problems containing dilation q-difference operators, recently investigated by the author, and quasi-linear Kowalevski type problems that involve contraction q-difference operators. We build up local holomorphic solutions to these problems. Two aspects of these solutions are explored. One facet deals with asymptotic expansions in the complex time variable for which a mixed type Gevrey and q-Gevrey structure is exhibited. The other feature concerns the problem of confluence of these solutions as q tends to 1.

One of the critical tools for early detection and subsequent evaluation of the incidence of lung diseases is chest radiography. This study presents a real-world implementation of a convolutional neural network (CNN) based Carebot Covid app to detect COVID-19 from chest X-ray (CXR) images. Our proposed model takes the form of a simple and intuitive application. Used CNN can be deployed as a STOW-RS prediction endpoint for direct implementation into DICOM viewers. The results of this study show that the deep learning model based on DenseNet and ResNet architecture can detect SARS-CoV-2 from CXR images with precision of 0.981, recall of 0.962 and AP of 0.993.

A generalization of the sum of divisors function involves a recursive definition. This leads to variants of superabundant numbers, colossally abundant numbers, and Gronwall's theorem (relevant to the Riemann hypothesis).

A generalization of the sum of divisors function involves a recursive definition. This leads to variants of superabundant numbers, colossally abundant numbers, and Gronwall's theorem (relevant to the Riemann hypothesis).

The Covid-19 pandemic caused a shift in teaching practice towards blended learning for many Higher Education institutions. This led to the rapid adoption of certain digital technologies within existing teaching structures as a means to meet student access needs and facilitate learning. Integration of these technologies caused numerous challenges for practitioners and often provided mixed results. This paper is an attempt to summarise and extend pre-Covid pedagogical research to leverage digital immersive technologies for blended teaching in the post-pandemic era. Focus is given towards the evolution of Virtual Learning Environments through elements of immersive audio-visual technologies, which are shown to be effective when coupled in a blended approach. It is both a review of these methodologies and a case study of the I-Ulysses: Virtual Learning Environment as a point of comparison for evaluating the review.