Sharif Digital Repository

In this thesis, we study proof complexity conjectures and also introduce their mathematical logic equivalents in terms of provability and unprovability in strong enough first-order arithmetical theories. One of the most important conjectures in this theory is the following conjecture. The non-existence of an optimal proof system for propositional tautologies: In general, a proof system is a computable function in polynomial time such that its range is exactly the set of tautologies. We say proof system P, polynomially simulates proof system Q if and only if there exists a polynomial h such that for all tautologies such as A and for all proofs like a, if Qpaq A, then there exists a proof... 

With the growth of the number of online service providers and the need to innovate in these services, in this study, the processes and the journeys taken by visitors of a website that provides employment services and employment insurance has been analyzed. In this research, process mining techniques and predictive process monitoring were implemented. With the use of a supervised and unsupervised learning algorithm, it attempted to identify the customer journeys' output and the existing patterns that lead to the complaint. In the first step, the website event log is extracted. Afterward, by using frequency-based encoding methods, the journeys traveled by users were clustered based on the... 

In order to survive in today's business world, which is changing at a very fast pace, organizations can detect deviations even before they occur, quickly and with a high percentage of confidence, by analyzing their processes, in order to prevent disruptions in the processes. by monitoring the information systems that automatically execute business processes, it is possible to ensure the correct implementation of the existing processes. For this purpose, various techniques for monitoring business processes have been presented so that managers have a comprehensive and real view of how implement processes and be able to identify possible deviations in the future and try to fix them because the... 

In recent years, several studies have been conducted in the field of data mining techniques in the field of process mining with the aim of improving the performance of organizations. Predictive process monitoring is a data-driven approach that helps business managers to improve the status and conditions of their organization. In this approach, the event log, which includes a set of completed examples of a process, is received as input, and machine learning methods are used to predict the outcome and results of the organization's processes before the process is completed. This prediction can include the prediction of the final result, the next event, the time remaining until the completion of... 

The inventory costs constitute a significant portion of the supply chain costs. Therefore, choosing an optimal inventory policy for orders is of great importance. The aim of this research is to find the optimal inventory policy for a distribution center in a three-tier supply chain consisting of a manufacturer, a distribution center, and a retailer. This research simulates a supply chain in agent-based framework and optimizes it using reinforcement learning. The optimization KPI in this research is the mean daily cost of the supply chain. Finally, the result obtained from reinforcement learning is compared with the optimized result of AnyLogic and the mean daily cost in the model optimized... 

Business processes are an essential part of every business as they provide insights on how to optimize and make them more efficient. Predictive Business Process Monitoring has garnered significant attention in recent years due to its capability to forecast process outcomes and predict the next activity within an ongoing process. In the last few years, there have been works that focused on deep learning and its applications in predicting the next activity. Some research used Long Term Short Memory, while others used Convolutional Neural Networks. However, long term short term memory models have the constraint of relatively slow training, while Convolutional Neural Networks are fast but may... 

The analysis of customer journeys has gained significant attention due to the critical role of customer behavior data in enhancing business decision-making and formulating strategies for customer acquisition and retention. By segmenting customers based on their journey patterns, businesses can offer personalized recommendations, thereby improving customer engagement and loyalty. Additionally, predicting the next steps in a customer’s journey based on historical data allows for timely and appropriate interventions at various touchpoints. By understanding where customers are in their journey, businesses can provide targeted recommendations that increase the likelihood of converting potential... 

To maintain adaptability, businesses should anticipate changes in their environment. The commonly employed forecasting method within corporate circles is the bottom-up approach, which relies on historical data for projecting future trends. However, research suggests that this approach often falls short of accurately reflecting real-world events. This has led to the adoption of dynamic systems modeling, a technique grounded in the assumption of stable conditions. This method effectively replicates the system's current state, thereby assisting in predicting future behaviors over a longer timeframe. The dynamic systems modeling approach was employed in this study, underscoring the imperative... 

Providing quality hospital services depends on the efficient and correct implementation of processes. Therapeutic care processes are a set of activities that are carried out with the aim of diagnosing, treating and preventing any disease in order to improve and promote the patient's health. The purpose of this study is to use process mining techniques to discover and improve healthcare processes. The case study of this research is a psychiatric hospital in Shiraz. The approach implemented in this research consists of three main stages including data pre-processing, model discovery phase, and analysis phase. Three algorithms including Heuristic Miner, Inductive Miner, and ILP Miner were used... 

One of the main concerns of automakers over last few decades was reducing fuel consumption while increasing the efficiency of vehicle. Using Continously variable transmission in vehicles could lead to reaching better performance, improving fuel consumption, reducing emissions and increasing vehicle acceleration. In this thesis types of Continously variable transmissions are introduced with focusing on steel V-belt CVT by analyzing its performance in steady and transient conditions. Unlike flat belts, V-belts moves both radial and tangential over the driver and driven pulleys resulting more complex dynamic.The dynamics of these systems in transient conditions are analyzed in two different... 

In the competitive world of software development, IT product development teams face numerous challenges and issues within business processes. In recent years, the combination of process mining and machine learning algorithms to optimize software development processes has gained attention. However, there is still a lack of a comprehensive model for identifying and conducting root-cause analysis of problems and providing solutions based on them in agile software development systems. The aim of this research is to find a solution for identifying and addressing issues in the software development process by modifying the change request workflow and examining various aspects of incidents. To... 

This thesis abstract addresses the use of process mining techniques when event data is stored at varying levels of granularity. While most techniques assume that events have the same level of granularity, real data is often stored differently. Pre-processing techniques allow for appropriate summarization of the data, which simplifies the output while retaining important process details. The goal is to ensure an interpretable output for stakeholders and different business teams without losing critical process points. However, adding new data as a feature to the dataset can be expensive, and at times, infeasible. Therefore, existing data is the only solution. To overcome this challenge, this... 

Dynamic portfolio optimization is one of the prominent problems in financial mathematics, for which numerous theories have been proposed to solve it. One of the solutions to this problem is the use of reinforcement learning. The main challenge with this method is that most reinforcement learning algorithms require a large amount of data, and therefore, the necessary data is often obtained not from the real world, but through simulations by estimating the parameters of a model. However, the approximation error of the parameters can propagate through the final solution, leading to inaccurate results. One approach to addressing this issue is the use of robust Markov processes and robust... 

This research focuses on examining and improving healthcare systems, particularly during crises and pandemics. Following disasters such as natural calamities and pandemics like COVID-19, healthcare systems face significant challenges due to the increased demand for medical services, creating a substantial threat to the population in the affected regions. This study emphasizes the importance of utilizing modern technologies such as the Internet of Things (IoT) and telemedicine systems in alleviating the pressure on healthcare systems. A combined approach of prediction and multi-objective optimization based on simulation is proposed in this study to improve resource allocation and demand... 

Deviations in business processes consistently impose significant financial and temporal costs on business owners and can lead to decreased customer satisfaction with organizations. Therefore, timely identification of deviations is a crucial and significant issue for business process managers. While extensive research has been conducted on the detection of antecedent deviations, predicting deviations before they occur—which could facilitate preemptive actions to prevent these deviations—has received less attention. In this context, the aim of this study is to predict two types of process deviations—temporal deviations and Rework deviations—using machine learning and deep learning algorithms,...