Ing. Josef Pavlíček, Ph.D.

Proceedings paper

10.1007/978-3-031-17728-6_2

Department of Software Engineering

Any clouding of the lens of the eye causing distortion of its transparency and scattering of transmitted light is called a cataract. The solution to this pathological condition affecting the quality of life is phacoemulsification of the cloudy contents of the human lens and its replacement with an artificial intraocular lens (IOL). The surgeon has the opportunity to influence the refractive state of the eye for optimal postoperative visual acuity by choosing an appropriate IOL. In addition, a certain group of patients has an ametropia called corneal astigmatism, which needs to be corrected with a so-called toric IOL, in which the key criterion for the success of the correction is its angular position in the capsular bag. Deviation from the intended angular position of the implanted lens can lead to refractive surprise, i.e. the patient's postoperative visual acuity does not reach 100% of its own potential. In clinical practice, however, there is no conventional technique or tool for retrospectively determining the postoperative angular position to the required 1° accuracy. Thus, the intent of this paper was to create a custom design for automating IOL detection using postoperative patient images from the Verion reference unit and a specific lens model, the SN6ATx. The problem addressed is the automation of finding the optical part of the intraocular artificial lens using machine vision technologies based on convolutional operations on the image. The study presents the actual approach and methodology of the self-developed solution.

Proceedings paper

10.1007/978-3-030-79022-6_2

Department of Software Engineering

The outbreak of the global coronavirus pandemic worsened the conditions for teaching, and it was necessary to teach students to use technologies and tools of remote communication, such as Skype, Google meets or today’s most popular software from Microsoft - MS Teams. Since we primarily teach agile project management using practical methods, specifically games, it was necessary to invent and design a game that can be played through remote communication channels, not only in classes with students’ physical presence. The game was designed in ADLM software, which stands for Application Life-cycle Management, called JunoOne. Through this tool, the course of the entire project (agile game) will be recorded in the game, and students will be able to try not only the style of agile project management in the Scrum framework but also in the real tool used in practice. This paper’s main goal is to present the created agile game in a real tool and the concept of how to play the game remotely. Unfortunately, the game as such has not yet been played due to the bad pandemic situation.

Proceedings paper

Department of Software Engineering

A certain group of patients diagnosed with cataracts has corneal astigmatism and its compensation is a prerequisite for optimal postoperative visual acuity. Using modern calculation formulas and a virtual image-guided system, the surgeon is able to compensate this ametropia by implanting a toric intraocular lens (TIOL) into the correction axis. In addition to the angular position, the resulting visual acuity of the patient is affected by the tilt, centering and axial displacement of the implanted lens. The aim of this work is to develop a methodology for objective evaluation of critical factors influencing intraocular correction of astigmatism, such as axis alignment, centration, tilt and axial position. The solution consists in creating a methodology for preoperative diagnostics and calculation of toric lens parameters, virtual navigation of implantation, postoperative evaluation of visual functions and creation of software for analysis of postoperative lens position. The current state of solving a wide range of dissertation thesis issues, including the proposal of design of a 3D model of the eye, will be presented.

Proceedings paper

10.1007/978-3-030-79022-6_9

Department of Software Engineering

This paper deals with the main criteria which affect the usability of business process modeling standards. This is achieved through a comparison between two of the main processes modeling standards – BPMN and BORM in the form of a usability study. Paper presents the adequate methods used to compare the usability that builds upon the ISO/IEC 25066 for usability reporting. The study is based in a suitable laboratory environment and proposes the case study model which could be then extended and generalized. The results from the two case studies performed show significant differences between the BPMN and BORM.

Invited/Awarded proceedings paper

10.1007/978-3-030-35646-0_13

Department of Software Engineering

This paper deals with the comparison of BPMN and DEMO process modelling tools in the form of Usability study. The authors present the methods used to compare, define the appropriate equipment of the laboratory and propose the CASE study model. The results from the two CASE studies performed are critical and define the conclusion. The result is a recommendation when it is advisable to use BPMN and when DEMO. Another result is the proposed method of verification of process modelling tools.

Proceedings paper

10.1007/978-3-030-35646-0_11

Department of Software Engineering

Business process modeling is undoubtedly one of the most important parts of Applied (Business) Informatics. Quality of business process models (diagrams) is crucial for any purpose in this area. The goal of a process analyst’s work is to create generally understandable, explicit, unambiguous and error-free models. If a process is properly described, created models can be used as an input into deep analysis and optimization. Optimization is mostly focused on a higher efficiency of the process or at least on a better clarification of its meaning and working. Objective: It can be assumed that properly designed business process models (similarly as in the case of correctly written algorithms) contain characteristics that can be mathematically described. If it is possible to find measurable attributes of business process model’s quality, it will be possible to define a different quality maturity levels of business process modeling results. Furthermore, it will be possible creating a tool helping process analysts designing proper models. Method: A systematic literature review was conducted in order to find and analyze business process model’s design and business process model’s quality measuring methods. Results: It was found that mentioned area had already been subject of research investigation in the past. Thirty-three suitable scientific publications and twenty-two quality measures were found. Conclusions: Analyzed articles and existing quality measures do not reflect all important attributes of business process model’s clarity, simplicity and completeness. Therefore it would be appropriate adding new measures of quality.

Invited/Awarded proceedings paper

10.1007/978-3-030-00787-4_12

Department of Software Engineering

This invited workshop Methods for evaluating the quality of process modelling tools was a part of EOMAS 2018. Workshop dealt with the comparison of BPMN and BORM process modelling tools in the form of Usability study. We practically presented the methods used to compare, defined the appropriate equipment of the laboratory and proposed the CASE study model. We hired participants (from the audience) and we used Tobii Glasses for eyes tracking and recording the participants focus. This technology has been used by authors in previous years to find a measure of quality of process models, and this year has been demonstrated and applied on BPMN and DEMO models.

Proceedings paper

Department of Software Engineering

The documentation, evaluation and improvement of the processes should be a part of every strategic management. According to the dynamic changes of the environment should organization constantly adopt processes to the market changes. Make it effectively possible the processes should be described and documented. It is for example via process models with the quality measures (brevity, clarity, accuracy and graphic quality). The process models quality management can be supported by the tools based on the mathematical expression of their qualitative characteristics. The team of the authors want to design such the tool.

Article

10.18267/j.aip.57

Business process modelling and analysing is undoubtedly one of the most important parts of Applied (Business) Informatics. Quality of business process models (diagrams) is crucial for any purpose in this area. The goal of a process analyst’s work is to create generally understandable, explicit and error free models. If a process is properly described, created models can be used as an input into deep analysis and optimization. It can be assumed that properly designed business process models (similarly as in the case of correctly written algorithms) contain characteristics that can be mathematically described. Besides it will be possible to create a tool that will help process analysts to design proper models. As part of this review will be conducted systematic literature review in order to find and analyse business process model’s design and business process model’s quality measures. It was found that mentioned area had already been the subject of research investigation in the past. Thirty-three suitable scientific publications and twenty-too quality measures were found. Analysed scientific publications and existing quality measures do not reflect all important attributes of business process model’s clarity, simplicity and completeness. Therefore it would be appropriate to add new measures of quality.

Proceedings paper

10.1109/IGBSG.2014.6835278

Department of Software Engineering

Abstract—the navigation within the building is possible to display using the oriented graph. To find shortest way in the graph is possible to solve in the different mode. Our question is Is possible to predict the shortest way by artificial Intelligence, primarily by Perceptron neural network with one secret layer. During the test project was used algorithm Dijkstra [1] and was developed tool for automatic way generation. Its name space is cz.cvut.fel.BHHETool [2] and is possible freely disseminate in according to GNU license. The tool allows generating the shortest way by input vector for neural network. The neural network is modeled by the tool Neuroph [3]. This article deals with the process and practical verification the possible prediction and to measure the deviation from the algorithm tools.

Proceedings paper

10.1109/IGBSG.2014.6835275

Department of Software Engineering

Business process modeling for understanding and increasing company effectivity is common today. BPM (Business Process Models) allow to describe company business processes, better understand and influence them. These tasks are done for increasing company business. Very often is ability to understand business, to open new opportunities, to make business or to design process to be fluent and understandably for customers. To understand process and to be able to make it fluent opens opportunity to use BPM for modeling the emergency escape models for buildings etc. The escape emergency methodology powered by BPM we are calling B.H.H.E Methodology.