Manuel Mazzara

Manuel Mazzara
Innopolis University · Department of Computer Science and Engineering

PhD in Computing Science

About

441
Publications
208,945
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
5,452
Citations
Introduction
Manuel Mazzara is a professor of Computer Science at Innopolis University (Russia) with a research background in software engineering, service-oriented architectures and programming, concurrency theory, formal methods and software verification. He cooperated with european and US industry, plus governmental and inter governmental organizations such as the United Nations, always at the edge between science and software production. The work conducted by Manuel and his team in recent years focuses on the development of theories, methods, tools and programs covering the two major aspects of software engineering: the process side, describing how we develop software, and the product side, describing the results of this process.
Additional affiliations
December 2019 - present
Innopolis University
Position
  • Professor (Full)
January 2014 - December 2019
Innopolis University
Position
  • Professor (Associate)
January 2014 - present
Innopolis University
Position
  • Head of Department

Publications

Publications (441)
Article
Full-text available
Introduction: Prostate cancer (PCa) is one of the deadliest and most common causes of malignancy and death in men worldwide, with a higher prevalence and mortality in developing countries specifically. Factors such as age, family history, race and certain genetic mutations are some of the factors contributing to the occurrence of PCa in men. Recent...
Presentation
Full-text available
This presentation delves deeply into the collision dynamics that arise in scenarios involving three bodies, while also considering the influence of General Relativity. The primary focus is on analyzing the initial conditions of these celestial bodies and assessing the likelihood of collisions. The presentation introduces an advanced machine learnin...
Preprint
Full-text available
This paper explores hackathons as an evaluative tool and their contribution to students' learning. Mixed-data collection methods/qualitative and quantitative data collection were used by conducting a survey among students and semi-structured interviews among hackathon juries and organizers. Results have demonstrated that hackathons can be used as e...
Preprint
Full-text available
Introduction: Prostate cancer (PCa) is one of the deadliest and most common causes of malignancy and death in men worldwide, more specifically with higher prevalence and mortality in developing countries. Factors such as age, family history, race and certain genetic mutations are some of the factors contributing to the occurrence of PCa in men. The...
Conference Paper
This paper comprehensively investigates collision conditions in three-body problems, incorporating General Relativity (GR) effects. The study analyzes the initial values of the bodies to determine the collision possibility and develops a high-accuracy machine learning model for classifying collision events. The study introduces the concept of GR-ef...
Chapter
Full-text available
Given that machine learning has recently been increasingly used in all areas of human life, this paper demonstrates the implementation of the automatic number plate recognition (ANPR) model by utilizing machine learning techniques. In our system, TensorFlow is used for license plate detection, while Tesseract is used for optical character recogniti...
Article
Full-text available
This paper presents an ensemble of pre-trained models for the accurate classification of endoscopic images associated with Gastrointestinal (GI) diseases and illnesses. In this paper, we propose a weighted average ensemble model called GIT-NET to classify GI-tract diseases. We evaluated the model on a KVASIR v2 dataset with eight classes. When indi...
Chapter
With the number of positive cases of Covid-19 infection is increasing, it is essential for everyone to wear a face mask and prevent the spread of Covid. As people are gathering in a large number at different locations, it is quite important for everyone to wear a face mask and prevent the covid spread. With the increase in the crowd gathering, it i...
Chapter
Fierce winds produced by the Fourth Industrial Revolution, socio-economic upheavals, geopolitical strife and other black swan events can lead to dangerous water conditions threatening the business and operational continuity of organisations. The unprecedented disruptions caused by COVID-19 have significantly impacted all industries worldwide, and t...
Article
Full-text available
The Hook model is used in digital products to engage and retain users through the mechanism of habit formation. This paper explores the use of Hook model techniques in two mobile applications, one being a popular taxi service (Uber taxi) and the other a social network (Instagram). The goal of this paper is to explore the Hook cycle patterns in the...
Article
Full-text available
Many cutting-edge language models have been used in the past to forecast election results. Sentiment analysis aids in opinion mining – a common experiment used to detect public opinions – on a given topic. Twitter has gained popularity and established itself as a crucial instrument for analyzing public opinion on elections and other trending issues...
Article
Full-text available
Introduction: Social media platforms such as Facebook, LinkedIn, Twitter, among others have been used as tools for staging protests, opinion polls, campaign strategy, medium of agitation and a place of interest expression especially during elections. Aim: In this work, a Natural Language Processing framework is designed to understand Nigeria 202...
Presentation
Full-text available
In this lecture we will cover the following topics: • Progress: hard vs soft • Releases at the time of services • It is all about deployment! • …and then DevOps came! • Devops+Process Mining +Anomaly Detection +Machine Learning = ?
Presentation
Full-text available
In this lecture we will cover the following topics: • From language to formalization of reasoning • The Holy Grail of Automatic Reasoning • Understanding the Turing Machine - the historical background • Understanding the Turing Machine - the mathematical background • Software Engineering as an Alchemical Process
Article
Citation: Lukyanchikova, E.; Askarbekuly, N.; Aslam, H.; Mazzara, M. A Case Study on Applications of the Hook Model in Software Products. Software 2023, 1, 1-18. https://doi.org/ Academic Editor: Francisco José García-Peñalvo Abstract: The Hook model is used in digital products to engage and retain users through the mechanism of habit formation. Th...
Chapter
Full-text available
Zoom has become a powerful tool of online education in today’s society. Ensuring the quality of online education platforms has been a growing concern for the last several years. However, there is a lack of research in this field especially in relation to the perspectives of students. Hence, there is a need for more empirical research in this area....
Chapter
One of the most important components of a smart city is smart transport. To design large-scale smart transport systems, simulations are integral to testing the efficacy of various traffic light control algorithms. The traffic light algorithm designers take advantage of the simulation software to build reliable and robust algorithms. In this work, t...
Preprint
Full-text available
Election outcomes have been predicted in the past with the help of various state-of-the-art language models. Sentiment analysis helps in establishing the opinions of the public about a particular subject, a popular experiment known as opinion mining. Twitter has grown in popularity and proven to be a key tool in mining people’s sentiments concernin...
Chapter
This study examines social media addiction and prototypes a software application. This application can be integrated with any social media platform to alarm users when they are near the addiction stage. The work is ongoing, and this paper elaborates on the preliminary findings. We surveyed participants in the age range of 18–40 years to investigate...
Chapter
Full-text available
Web scraping refers to the extraction of data from a specific website. Every website will include web pages and each page has a source code containing HTML tags that show a representation of the data. The problem with any scraping method for a web page is how the page is structured, each page has a different structure. That’s why the process of dat...
Chapter
Since the introduction of Bitcoin and Ethereum, blockchain introduced new ways to handle payment and dealing with financial transactions. From 2009 till now, several blockchain systems were developed. However, the main issue for each blockchain is to know where to use it and what the best use case fits with it. Transaction per second (TPS) and conf...
Chapter
In this work we performed simulation modeling of the blood flow of the human aortic valve under pathologies. Such results as: velocity, pressure were visualized. Based on the results, it was found that when the blood flow in the area of the aortic valve, there is a change in velocity and pressure. From what the conclusions about the necessity of th...
Conference Paper
Full-text available
Fierce winds produced by the Fourth Industrial Revolution, socio-economic upheavals, geopolitical strife and other black swan events can lead to dangerous water conditions threatening the business and operational continuity of organisations. The unprecedented disruptions caused by COVID-19 have significantly impacted all industries worldwide, and t...
Chapter
The COVID-19 pandemic has been a game changer for many aspects of the educational environment worldwide. Together with positive aspects of digital acceleration, there have also been obstacles in keeping internationalization processes on track. In this paper, we consider a case study of an educational institution: Innopolis University. We analyze th...
Article
Full-text available
The ELVD (Ensemble-based Lenet VGGNet and DropoutNet) model is used in this paper to examine hypothetical principles and theoretical identification of a real-time image classification and object, tracking, and recognition device running on board a vehicle. Initially, we obtained the dataset from Kaggle. After loading the images, they were converted...
Conference Paper
Full-text available
Machine Learning (ML) models trained on biased data can reproduce and even amplify these biases. Since such models are deployed to make decisions that can affect people's lives, ensuring their fairness is critical. One approach to mitigate possible unfairness of ML models is to map the input data into a less-biased new space by means of training th...
Presentation
Full-text available
Here we have been just trying to pose the foundations of an epistemology of Software Engineering, that will certainly require future steps to get established.
Article
Full-text available
Every biological system on the planet is severely impacted by environmental change, and its primary driver is deforestation. Meanwhile, quantitative analysis of changes in Land Use and Land Cover (LULC) is one of the prominent ways to manage and understand land transformation; thus, it is essential to inspect the performance of various techniques f...
Preprint
Full-text available
Diabetes mellitus is a popular life-threatening disease and patients may gradually have started suffering from other diabetes-causing diseases such as heart attacks, stroke, hypertension, blurry vision, blindness, foot ulcer, amputation, kidney damage and other organ failures before diagnosis. Early detection can help reduce the fatality of this di...
Article
Full-text available
Colorectal cancer occurs in the rectal of humans, and early detection has been proved to reduce its mortality rate. Colonoscopy is the standard used in detecting the presence of polyps in the rectal, and accurate segmentation of the polyps from colonoscopy images often provides helpful information for early diagnosis and treatment. Although existin...
Conference Paper
Full-text available
This work implements language acquisition and crowdsourcing techniques in a unique combination to aid with second language learning. It allows users to contribute linguistic assets, while other users vote on the quality of the assets. The system’s goal is to provide a social platform for learning and contributing to underrepresented languages. The...
Article
Full-text available
This work presents the construction and implementation of a two-parameter exponentially fitted Taylor method suitable for solving ordinary differential equations that possess oscillatory or periodic behaviour. The methodology is based on a six-step algorithm discussed in the literature. We present the associated truncation error of the method and d...
Chapter
Computer simulations have become a very powerful tool for scientific research. Given the vast complexity that comes with many open scientific questions, a purely analytical or experimental approach is often not viable. For example, biological systems comprise an extremely complex organization and heterogeneous interactions across different spatial...
Preprint
Full-text available
Classical numerical methods for solving ordinary differential equations often produce less accurate results when applied to problems with oscillatory or periodic behaviour. To adapt them for such problems, they are usually modified using the exponential fitting technique. This adaptation allows for the construction of new methods from their classic...
Preprint
Full-text available
This paper discusses two digital tools to help the teachers education process in educational institutes. The first tool is the students' digital profile that includes students' education, such as the grades, interests, hobbies, social communication and general information. The second tool is a predictor of grades, to forecast the grades of the stud...
Preprint
Full-text available
Introduction: Social media platforms such as Facebook, LinkedIn, Twitter, among others have been used as a tool for staging protests, opinion polls, campaign strategy, medium of agitation and a place of interest expression especially during elections. Past studies have established people’s opinion elections using social media posts. The advent of s...
Article
Full-text available
Although neural networks are near achieving performance similar to humans in many tasks, they are susceptible to adversarial attacks in the form of a small, intentionally designed perturbation, which could lead to misclassifications. The best defense against these attacks, so far, is adversarial training (AT), which improves a model’s robustness by...
Article
Full-text available
Present-day path planning algorithms for UAVs rely on various parameters that need to be tuned at runtime to be able to plan the best possible route. For example, for a sampling-based algorithm, the number of samples plays a crucial role. The dimension of the space that is being searched to plan the path, the minimum distance for extending a path i...
Article
Full-text available
Software architecture plays an important role in software development, especially in software quality and maintenance. Understanding the impact of certain architectural patterns on software quality and verification of software requirements has become increasingly difficult with the increasing complexity of codebases in recent years. Researchers ove...
Conference Paper
Full-text available
Zoom has become a powerful tool of online education in today’s society. Ensuring the quality of online education platforms has been a growing concern for the last several years. However, there is a lack of research in this field especially in relation to the perspectives of students. Hence, there is a need for more empirical research in this area....
Article
Full-text available
Insertion is one of the basic operations in DNA computing. Based on this operation, an evolutionary computation model, the insertion system, was defined. For the above defined evolutionary computation model, varying levels of ambiguity and basic descriptional complexity measures were defined. In this paper, we define twelve new (descriptional) comp...
Article
Background Predictive models for academic performance forecasting have been a useful tool in the improvement of the administrative, counseling and instructional personnel of academic institutions. Aim The aim of this work is to develop a Radial Basis Function Neural Network for prediction of students’ performance using their past academic records...
Conference Paper
Full-text available
This study examines social media addiction and prototypes a software application. This application is meant to be integrated with any social media platform to alarm users when they are near the usage addiction stage. The work is ongoing and this paper elaborates on the preliminary findings. We survey participants in the age range of 18-40 years to...
Conference Paper
Advances in the field of Deep learning (DL), a subsidiary of Machine Learning (ML), for the classification of natural images has sparked much research and inspiration for the same type of techniques to be implemented on medical images. Here we develop a DL algorithm, using LabVIEW, which accurately detects breast cancer in its early stages on X-ray...
Book
Full-text available
This open access book describes the development of Innopolis, a young Russian university established in 2012 to focus on teaching excellence in computer science, engineering, and robotics. It reports on the problems that were faced in the first decade of its development, and the adopted solutions. It shows how the key aspects for the development of...
Article
With the recent advances in technology, smart cities are rapidly earning momentum. To provide better lives, smart cities should host several applications to increase the efficiency and accessibility of services. Since these services involve the conveyance of significant data among the smart cities’ cloud and the dwellers over the Internet, security...
Preprint
Full-text available
One of the most important component of a smart city is smart transport. To configure large scale smart transport systems, the simulation software is used. The simulations are useful for designing the traffic lights algorithms. The designers can take advantage of the simulation software and build reliable and robust algorithms. In this work, we desi...
Article
Full-text available
The quest for accurate and more efficient methods for solving periodic/oscillatory problems is gaining more attention in recent time. This paper presents the construction and implementation of a family of exponentially-fitted Obrechkoff methods using a six-step flowchart discussed in the literature. A single-step Obrechkoff method involving terms u...
Preprint
Full-text available
It is no news that the COVID–19 pandemic has affected many persons in different ways. As the number of reported cases rises across the globe, efforts are geared towards production and administration of effective vaccines for the disease. However, many developing countries are faced with the dilemma of how to slow the spread and flatten the curves o...
Article
Full-text available
Cloud computing is a long-standing dream of computing as a utility, where users can store their data remotely in the cloud to enjoy on-demand services and high-quality applications from a shared pool of configurable computing resources. Thus, the privacy and security of data are of utmost importance to all of its users regardless of the nature of t...
Conference Paper
Full-text available
The COVID-19 pandemic has been a game changer for many aspects of the educational environment worldwide. Together with positive aspects of digital acceleration there have been also obstacles in keeping internationalization processes on track. In this paper, we consider a case study of an educational institution: Innopolis University. We analyze the...
Preprint
Full-text available
The COVID-19 pandemic has been a game changer for many aspects of the educational environment worldwide. Together with positive aspects of digital acceleration, there have also been obstacles in keeping internationalization processes on track. In this paper, we consider a case study of an educational institution: Innopolis University. We analyze th...
Preprint
Full-text available
0000−0002−9143−5231] , Siham Hattab 2[0000−0002−5344−046X] , and Manuel Mazzara 1[0000−0002−3860−4948] Abstract. Since the introduction of Bitcoin and Ethereum, blockchain introduced new ways to handle payment and dealing with financial transactions. From 2009 till now, several blockchain systems were developed. However, the main issue for each blo...
Chapter
Full-text available
For the future, the vision is transforming the university into a multidimensional center of excellence, still focused on IT, but not just related to pure computer science, including possible synergistic domains of knowledge.
Chapter
Full-text available
The chapter presents some conclusive thoughts.
Chapter
Full-text available
One aspect that strikes foreign visitors when they first come to the campus is the impressive real estate. A common impression of new visitors, since the early days, is that it had to exist for at least 20 or 30 years, while indeed it is only a few years old. What happened before the construction of the campus? Innopolis already existed as a small...
Chapter
Full-text available
We discuss here the ideas behind the international faculty, the hiring process, the relocation of people, the training and coaching, and the growth in size of the faculty. We share how all the processes bootstrapped and the challenges of starting from zero.
Chapter
Full-text available
These days, universities acquire a reputation appearing on international rankings such as THE and QS. Innopolis is in the process of entering such rankings. In this chapter, we discuss how this challenge should be attacked and how the related processes should be organized in order to achieve the result. We also present some of the early successes o...
Chapter
Full-text available
Fundamental research without applied research cannot have a direct impact on the economic ecosystem. Modern universities require intense cooperation with industry. The model of the Innopolis system is peculiar, companies support scholarships, and students have free education that they will pay back by working for 1 year after graduation.
Chapter
Full-text available
After setting up the teaching process, research is fundamental to reach international recognition. Setting up from zero, an effective research process takes time. What assessment system should be created to motivate and incentivize researchers to perform their work at best? How to motivate professionals to join, stay, and work effectively? In this...
Chapter
Full-text available
In this chapter, we will cover the development of educational programs from scratch, the rationale behind the curricula, and the objectives and the bootstrapping of teaching, including the experience with CMU and the University of Amsterdam for the initial master programs. We also discuss the manifesto of our intention for what concerns the languag...
Chapter
Full-text available
Institute and labs are not only about spaces. It is necessary to create a structure where people can work with motivation and efficiency. We present here the structure and how it works.
Chapter
Full-text available
Innopolis is now featuring the third place in Russia for quality of incoming students, according to the final grades of school state examination. The early days were different; how was this progress achieved? What has been the process?
Chapter
Full-text available
A large number of pictures have been collected over the years. This last chapter is special, and the text is serving pictures and not the other way around. It is a visual journey into the Innopolis development. This chapter has been built on top of the beautiful photo archive of our colleague Timur Tsiunchuk. Sometimes, an image is more information...
Chapter
Full-text available
We present here the key people supporting the university development, the legacy of the Russian educational system combined with the novelty of the project. The past and the future live in Innopolis in a unique blend. As a private university, there are also challenges.
Chapter
Full-text available
The year 2020 changed the panorama and horizon of teaching forever. Innopolis University switched to online and blended education with minor problems only. Why we were “almost” ready for the switch. This chapter presents those days, how we reacted and managed to move on. What is going to be the future of education?
Conference Paper
Full-text available
Video-sharing sites platforms like YouTube have unique architecture and atmosphere. The comments section is one of the evolution that attracted the users towards expressing opinions and sharing more about videos. Opinions can be used to examine knowledge, user behavior analysis and provide the creator with more ideas to create videos. This paper pr...
Conference Paper
In today's time, ad-listing websites work as the main leads generator for businesses. Such websites are managed by a central authority called website admins. Because of the centralization, admins can change and remove some business information and manipulate the reviews and ratings to increase the benefits for other businesses. So, in this paper, w...
Cover Page
Full-text available
The aim and scope of this topical issue are aligned with those of the DEVOPS series: to provide the most recent stages of what is being done in the area of software engineering targeting modern software development methods, with particular interest at those aimed at speeding up the development life cycle, while ensuring that the product to be relea...
Chapter
Full-text available
In today’s time, ad-listing websites work as the main leads generator for businesses. Such websites are managed by a central authority called website admins. Because of the centralization, admins can change and remove some business information and manipulate the reviews and ratings to increase the benefits for other businesses. So, in this paper, w...
Chapter
Full-text available
The year 2020 has brought life-changing events for many and affected numerous professional sectors. Education has been one of those fields heavily impacted, and institutions have almost worldwide switched to forms of online education, which has become a common practice. With a fourth industrial revolution happening in front of our eyes, some elemen...
Conference Paper
Full-text available
This research proposes a smart parking system that is geared towards business entities. The system focuses on privacy, scalability, and performance for an enterprise system on a decentralized network(Blockchain). In a business setup, performance, scalability, and privacy should be at the centre stage. This research aims to improve on already existi...
Conference Paper
Many IT giants like Google, Apple, Yandex, etc., find mindfulness helpful and offer their employees the opportunity to spend time on practising mindfulness. Nevertheless, claims of performance improvement with meditation have met certain criticism. In this study, we analyse whether meditation causes short-term positive effects on software engineers...
Conference Paper
Full-text available
This study considers gamification as a tool for increasing employees’ efficiency and loyalty in the company. Gamification is the application of game mechanics to non-game processes. The article provides an overview of gamification history, as well as its fundamental ideas and practices. This is followed by a demonstration of how gamification is use...
Conference Paper
Far from being a bizarre pastime, alchemy played a crucially important role in the history of science, being supported and promoted by leading political and scientific figures (such as Rudolf II, Jabir ibn Hayyan, Gerard of Cremona, Adelard of Bath, Roger Bacon, Paracelsus, and even Newton). To understand alchemy, however, one has to approach it fr...
Conference Paper
Full-text available
Internationalization of higher education institutions in the twenty-first century is commonly regarded as a process that is essential for the development of a wide range of activities and engagements. Nowadays, a growing number of leaders of higher education institutions do not question the need of internationalization, but instead are actively loo...
Preprint
Full-text available
Convolutional Neural Networks (CNN) are more suitable, indeed. However, fixed kernel sizes make traditional CNN too specific, neither flexible nor conducive to feature learning, thus impacting on the classification accuracy. The convolution of different kernel size networks may overcome this problem by capturing more discriminating and relevant inf...