Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083490
Z. Porkoláb
Green computing - paying attention to energy consumption of programs - getting more and more important in software construction. When dealing with high performance systems cost factors of energy consumption and cooling are important. When programming small, or embedded devices the battery capacity may be the restriction. Earlier research shows that the C and C++ programming languages are by far the best choices when we decide based on the run time performance / energy consumption ratio. In this presentation we show why C++ acts so well in this arena. We learn language techniques like the move semantics, RAII (resource acquisition is initialization) technique, effective concurrent programming as well as various compiler optimizations to understand how we can maximize performance while minimizing energy consumption of C++ programs.
{"title":"Save the Earth, Program in C++!","authors":"Z. Porkoláb","doi":"10.1109/Informatics57926.2022.10083490","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083490","url":null,"abstract":"Green computing - paying attention to energy consumption of programs - getting more and more important in software construction. When dealing with high performance systems cost factors of energy consumption and cooling are important. When programming small, or embedded devices the battery capacity may be the restriction. Earlier research shows that the C and C++ programming languages are by far the best choices when we decide based on the run time performance / energy consumption ratio. In this presentation we show why C++ acts so well in this arena. We learn language techniques like the move semantics, RAII (resource acquisition is initialization) technique, effective concurrent programming as well as various compiler optimizations to understand how we can maximize performance while minimizing energy consumption of C++ programs.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121605695","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083421
Michal Kvet
Databases are continuously migrated to the cloud environment. On the other hand, there are still many requirements to locate the data in a local repository due to legislative and security reasons. Database files are block oriented forming the storage. This paper aims to analyze the impact of disc storage on performance in an on-premise world, pointing to the data themselves, as well as indexes to split the workload into multiple disc-type environments. It provides the methodology for dealing with various storage types and access routes.
{"title":"Impact of Disc Types on Database Performance","authors":"Michal Kvet","doi":"10.1109/Informatics57926.2022.10083421","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083421","url":null,"abstract":"Databases are continuously migrated to the cloud environment. On the other hand, there are still many requirements to locate the data in a local repository due to legislative and security reasons. Database files are block oriented forming the storage. This paper aims to analyze the impact of disc storage on performance in an on-premise world, pointing to the data themselves, as well as indexes to split the workload into multiple disc-type environments. It provides the methodology for dealing with various storage types and access routes.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123875604","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083452
Michal Kvet
Temporal databases are used to monitor states in the object, attribute, or group granularity. Performance of the data retrieval is a critical requirement, consisting of relevant data block identification, loading, and tuple extraction. Instance memory loading must always take the whole block. This paper deals with the impact of block size on the performance of temporal databases, by pointing to block fragmentation, expansion, and shrinking. It also points to the definition of block migration, if the tuple after the Update operation does not fit the original block.
{"title":"Relation between the Temporal Database Environment and Disc Block Size","authors":"Michal Kvet","doi":"10.1109/Informatics57926.2022.10083452","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083452","url":null,"abstract":"Temporal databases are used to monitor states in the object, attribute, or group granularity. Performance of the data retrieval is a critical requirement, consisting of relevant data block identification, loading, and tuple extraction. Instance memory loading must always take the whole block. This paper deals with the impact of block size on the performance of temporal databases, by pointing to block fragmentation, expansion, and shrinking. It also points to the definition of block migration, if the tuple after the Update operation does not fit the original block.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128036781","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083433
W. Schreiner, Ágoston Sütö
We report on a new extension of the RISCAL model checker that allows to specify nondeterministic transition systems by formulas in linear temporal logic (LTL) and to verify them under fairness constraints. This extension is based on an automata-theoretic approach to explicit state model checking; the performance of its implementation is in some representative examples competitive with (in fact mostly superior to) that of TLA +, a widely known tool for system modeling and analysis. Thus, while RISCAL was originally developed for describing and analyzing mathematical theories and algorithms over discrete structures, these extensions make RISCAL also a competent checker for formal models of concurrent systems.
{"title":"A Temporal Logic Extension of the RISCAL Model Checker","authors":"W. Schreiner, Ágoston Sütö","doi":"10.1109/Informatics57926.2022.10083433","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083433","url":null,"abstract":"We report on a new extension of the RISCAL model checker that allows to specify nondeterministic transition systems by formulas in linear temporal logic (LTL) and to verify them under fairness constraints. This extension is based on an automata-theoretic approach to explicit state model checking; the performance of its implementation is in some representative examples competitive with (in fact mostly superior to) that of TLA +, a widely known tool for system modeling and analysis. Thus, while RISCAL was originally developed for describing and analyzing mathematical theories and algorithms over discrete structures, these extensions make RISCAL also a competent checker for formal models of concurrent systems.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130530525","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083502
P. Sedlaček, Patrik Rusnak, S. Stankevich
The usage of unmanned aerial vehicles like drones is nowadays an important aspect in a number of different areas such as terrain mapping, crop spraying, transportation of packages etc. One such application is intralogistics in warehouses and factories. In those situations, drones are used for automatic transportation of goods. The main aim of this paper is to present method for analysis of critical state of drone fleet in limited space. From reliability point of view, such system can be represented as a multi-state non-coherent system. Proposed method is based on time-independent structure function and uses generalized methods for analysis of multi-state systems, specifically logic differential calculus. This method allows us to analyze a drone fleet, and to identify the best amount of drones in fleet with regard to the efficiency of transport in a limited space. This will be demonstrated on selected drone fleet in case study of this paper.
{"title":"Critical state analysis of drone fleet in limited space","authors":"P. Sedlaček, Patrik Rusnak, S. Stankevich","doi":"10.1109/Informatics57926.2022.10083502","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083502","url":null,"abstract":"The usage of unmanned aerial vehicles like drones is nowadays an important aspect in a number of different areas such as terrain mapping, crop spraying, transportation of packages etc. One such application is intralogistics in warehouses and factories. In those situations, drones are used for automatic transportation of goods. The main aim of this paper is to present method for analysis of critical state of drone fleet in limited space. From reliability point of view, such system can be represented as a multi-state non-coherent system. Proposed method is based on time-independent structure function and uses generalized methods for analysis of multi-state systems, specifically logic differential calculus. This method allows us to analyze a drone fleet, and to identify the best amount of drones in fleet with regard to the efficiency of transport in a limited space. This will be demonstrated on selected drone fleet in case study of this paper.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"142 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133733326","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083441
P. Voštinár, Michal Šrobár
The paper deals with the creation of a computer game that is controlled via electroencephalography (EEG) and a brain-computer interface (BCI). This technology is relatively young, with several shortcomings that could be eliminated in the coming years, but we can already use this technology in some cases and replace the classic computer mouse control. The game “Ball and Mind” was created in Unity Engine and the main goal for the player is to get a ball from the start to the finish via BCI commands, and collect the highest possible score. The game has three levels with gradually increasing difficulty.
{"title":"Game control via EEG helmets","authors":"P. Voštinár, Michal Šrobár","doi":"10.1109/Informatics57926.2022.10083441","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083441","url":null,"abstract":"The paper deals with the creation of a computer game that is controlled via electroencephalography (EEG) and a brain-computer interface (BCI). This technology is relatively young, with several shortcomings that could be eliminated in the coming years, but we can already use this technology in some cases and replace the classic computer mouse control. The game “Ball and Mind” was created in Unity Engine and the main goal for the player is to get a ball from the start to the finish via BCI commands, and collect the highest possible score. The game has three levels with gradually increasing difficulty.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133439359","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083398
Norbert Fcrcnčík, R. Hudák, B. Štefanovič, M. Kohan, Veronika Sedláková, William Steingartner
The purpose of this paper is to monitor the influence of the light spectrum on sleep quality. The theoretical part of the thesis is based on current research on sleep quality. The work is focused on the influence of the light spectrum on sleep. Sleep is monitored by a bracelet and the change of the light spectrum is ensured by an RGB light band. The secondary goal is to measure the influence of external factors on sleep. The investigated factors are CO2 level, TVOC, humidity and ambient temperature. External influences are measured by commonly available sensors. An Arduino microcomputer is used to collect data and control the RGB light.
{"title":"Monitoring the Quality of Sleep Using a Smart Bracelet at Different Light Spectrum","authors":"Norbert Fcrcnčík, R. Hudák, B. Štefanovič, M. Kohan, Veronika Sedláková, William Steingartner","doi":"10.1109/Informatics57926.2022.10083398","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083398","url":null,"abstract":"The purpose of this paper is to monitor the influence of the light spectrum on sleep quality. The theoretical part of the thesis is based on current research on sleep quality. The work is focused on the influence of the light spectrum on sleep. Sleep is monitored by a bracelet and the change of the light spectrum is ensured by an RGB light band. The secondary goal is to measure the influence of external factors on sleep. The investigated factors are CO2 level, TVOC, humidity and ambient temperature. External influences are measured by commonly available sensors. An Arduino microcomputer is used to collect data and control the RGB light.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131668298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083455
G. Sági, Karrar Al-Sabti
Let $mathcal{X}=langle X, varrhorangle$ be a metric space, let $Asubseteq X$ and let $varepsilon$ be a positive real number. The similarity detecting problem is to find all $ain A$ for which $varrho(a, x)leqvarepsilon$ where $xin X$ is a given input. In this work we study the similarity detecting problem with the additional assumption that $mathcal{X}$ is an ultrametric space of finite spectrum; these assumptions seem to be natural from the point of view of practical applications. We establish model theoretical results for ultrametric spaces. More concretely, we provide sufficient conditions for the existence of metric retractions for certain ultrametric spaces. Based on these theoretical results, we propose a similarity detecting algorithm for ultrametric spaces. The time complexity of our algorithm will be discussed, as well.
{"title":"Metric retractions and similarity detecting algorithms","authors":"G. Sági, Karrar Al-Sabti","doi":"10.1109/Informatics57926.2022.10083455","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083455","url":null,"abstract":"Let $mathcal{X}=langle X, varrhorangle$ be a metric space, let $Asubseteq X$ and let $varepsilon$ be a positive real number. The similarity detecting problem is to find all $ain A$ for which $varrho(a, x)leqvarepsilon$ where $xin X$ is a given input. In this work we study the similarity detecting problem with the additional assumption that $mathcal{X}$ is an ultrametric space of finite spectrum; these assumptions seem to be natural from the point of view of practical applications. We establish model theoretical results for ultrametric spaces. More concretely, we provide sufficient conditions for the existence of metric retractions for certain ultrametric spaces. Based on these theoretical results, we propose a similarity detecting algorithm for ultrametric spaces. The time complexity of our algorithm will be discussed, as well.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132527435","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083446
Zdeněk Buk, Anežka Kotěrová, J. Brůžek, J. Velemínská
The paper presents an age-at-death estimation model based on artificial neural networks with no explicit feature extraction, thus, completely eliminating the need for expert knowledge. As input information, it uses a 3D surface scan of the acetabulum, and as the output, it provides an estimated age-at-death. This study is based on a heterogeneous multipopulational database composed of 943 adult ossa coxae coming from 380 males and 327 females. The mean absolute error of our model for this database is about 12.4 years. The correlation coefficient between actual and estimated age-at-death is 0.6. This clearly demonstrates that our model captures age-related morphological changes of the shape and surface of the acetabulum.
{"title":"Skeletal age-at-death estimation from the acetabulum based on a convolutional neural network","authors":"Zdeněk Buk, Anežka Kotěrová, J. Brůžek, J. Velemínská","doi":"10.1109/Informatics57926.2022.10083446","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083446","url":null,"abstract":"The paper presents an age-at-death estimation model based on artificial neural networks with no explicit feature extraction, thus, completely eliminating the need for expert knowledge. As input information, it uses a 3D surface scan of the acetabulum, and as the output, it provides an estimated age-at-death. This study is based on a heterogeneous multipopulational database composed of 943 adult ossa coxae coming from 380 males and 327 females. The mean absolute error of our model for this database is about 12.4 years. The correlation coefficient between actual and estimated age-at-death is 0.6. This clearly demonstrates that our model captures age-related morphological changes of the shape and surface of the acetabulum.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129916113","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2022-11-23DOI: 10.1109/Informatics57926.2022.10083462
Gabriela Necasová, Petr Veigend, Václav Šátek
This article deals with the high-order integration method based on the Taylor series. The paper shows the positive properties of the Modern Taylor Series Method on a set of technical initial value problems. These problems can be transformed into autonomous systems of ordinary differential equations for both linear and nonlinear problems, and the solution can be effectively parallelized. The numerical solution is analyzed and compared with the state-of-the-art solvers.
{"title":"Taylor Series Method in Numerical Integration: Linear and Nonlinear Problems","authors":"Gabriela Necasová, Petr Veigend, Václav Šátek","doi":"10.1109/Informatics57926.2022.10083462","DOIUrl":"https://doi.org/10.1109/Informatics57926.2022.10083462","url":null,"abstract":"This article deals with the high-order integration method based on the Taylor series. The paper shows the positive properties of the Modern Taylor Series Method on a set of technical initial value problems. These problems can be transformed into autonomous systems of ordinary differential equations for both linear and nonlinear problems, and the solution can be effectively parallelized. The numerical solution is analyzed and compared with the state-of-the-art solvers.","PeriodicalId":101488,"journal":{"name":"2022 IEEE 16th International Scientific Conference on Informatics (Informatics)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124325260","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：