rss_2.0Computer Sciences FeedSciendo RSS Feed for Computer Scienceshttps://www.sciendo.com/subject/COhttps://www.sciendo.comComputer Sciences Feedhttps://www.sciendo.com/subjectImages/Computer_Sciences.jpg700700The Attitude of the United States to the Baltic Region in 1918–1922: The Example of Latviahttps://sciendo.com/article/10.2478/bjes-2021-0006<abstract> <title style='display:none'>Abstract</title> <p>The article discusses the attitude of the USA towards the newborn independent Baltic States in 1918–1922 using the most devastated of them—Latvia—as an example. Relations between Latvia and the United States in 1918–1922 reflect Latvia’s intense foreign policy efforts to ensure its political and social development through relations with one of the world’s most influential and powerful economies in spite of the United States’ reserved behavior. In addition, this unique era in Latvia and the Baltic States as a whole (influenced by the Soviet Russian and German factors, war and its aftermath, and the ethnically diverse and complicated social situation) illustrates the specifics of US policy towards Eastern Europe and Russia.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00A Case in Relations between Great Powers and Small States—France’s Recognition of Finnish Independence, 1917–1918https://sciendo.com/article/10.2478/bjes-2021-0002<abstract> <title style='display:none'>Abstract</title> <p>What are the most important variables explaining the 4 January 1918 decision by the French Government to recognise Finland’s independence? This short contribution to the Special Issue aims at giving a broad overview of developments explaining this decision. It will first of all introduce general notions concerning France’s relation with “nationalities” during the First World War. It will more specifically describe the geopolitical environment of the winter 1917–1918, when France looked for ways to react to the crumbling of its Russian ally against Germany. It will also emphasise the way domestic developments and the long-term action of Finnish national networks helped in shaping up this decision. Finally, based on this example, it will consider various ways for small states to try and influence their international environment.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00Cross-Border Capacity-Building for Port Ecosystems in Small and Medium-Sized Baltic Portshttps://sciendo.com/article/10.2478/bjes-2021-0008<abstract> <title style='display:none'>Abstract</title> <p>One of the key challenges related to the threat posed by the COVID-19 pandemic is preservation of employment and protecting staff who are working in port operations and struggling to keep ports operating for ship calls. These activities performed by port labour are deemed to be crucial for the EU and European ports, since 75% of the EU external trade and 30% of intra-EU transport goods are moved by waterborne transport. As a response to the global lockdown and the vulnerability of global supply chains, the majority of international organisations and maritime ports networks have shortlisted measures necessary to keep the severe effects of the lockdown to a minimum. One of the key measures identified is how to limit physical interaction. As an effect, millions of people and organisations across the globe have had to use and/or increase their deployment of digital technologies, such as digital documentation, tracing information systems and digital group-working platforms. Hence, blockchain and data-enabling systems have become to be recognised as a core element maintaining the uninterrupted flow of goods and services at ports.</p> <p>In pursuing uninterrupted trade and keeping ports open and running, this research paper addresses how the current situation afflicts the small and medium-sized ports located on the Baltic Sea which are argued to be critical actors of the port-centric logistics’ ecosystem. Given the topicality of this research and addressing the research gap, the authors suggest a conceptual capacity-building framework for port employees. This suggested framework is based on empirical insights: primary and secondary data collected from the project Connect2SmallPorts, part-financed by the Interreg South Baltic Programme 2014–2020 from the European Regional Development Fund (ERDF). The conceptual framework aims towards a practical training programme dedicated to fill in the missing skills or expand the limited competence of human resources and ports’ capacity when adapting or advancing digitalisation in the ports’ ecosystems. In particular, specific areas of capacity building are addressed and individual solutions suggested to foster a digital transformation of ports. The conceptual training framework is designed as a training tool indicating opportunities to help ports upgrade their competences with the blockchain technology, and to advance their transportation, environmental and economic performance with improved digitalisation. For this purpose, the conducted research employed mixed methods and applied concepts and approaches based on the field of management. For example, the construct of absorptive capacity, organisational learning, transformation, resource-based view and the concept of dynamic capabilities are included in the ecosystem discourse and are linked with open innovation and service design. The research presented in this article provides both theoretical and practical contributions, in which the affected stakeholders can test and utilise the developed tool as well as transfer it to other regions.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00Normativity in the EU’s Approach towards Disinformationhttps://sciendo.com/article/10.2478/bjes-2021-0011<abstract> <title style='display:none'>Abstract</title> <p>With the rapid growth of disinformation, two major steps were taken to battle the phenomenon in the online environment—first on the global level, and second on the European Union level. The first step is the Joint Declaration on Freedom of Expression and “Fake News”, Disinformation and Propaganda, which provides a general overview of possible actions to be taken to fight disinformation, and how “things should be”. The steps are connected to following human rights standards, promoting the diversity of media, and paying special attention to intermediaries and media outlets. The second one is the Code of Practice on Disinformation, which is a self-regulatory document that can be voluntarily signed by major social media platforms and advertising bodies, and its main focus is making political advertising coherent and clear, preventing the creation of fake accounts, providing users with tools to report disinformation, and promote further research. Nevertheless, based on the reports and criticism from stakeholders, the Code of Practice has not reached a common ground regarding definitions, it has provided no mechanism to access the development, and has had several other drawbacks which need additional attention and discussion. The article is devoted to identifying gaps in the Code of Practice on Disinformation based on the reports and criticism provided by the stakeholders and elaborating on possible practices to regulate the legal issues raised by disinformation on the European Union level. We use doctrinal and comparative methods in the work.</p> <p>The doctrinal method targets the cluster that was identified in order to analyze the Code of Practice, identifies weak spots and inconsistencies, and offers solutions from different areas of law. The comparative method was selected since in several areas of law, such as human rights and consumer protection law, the previously identified approaches will be addressed to find the best outcomes. This combination of methods allows an in-depth understanding of legal documents and identifying successful solutions, which can influence further development based on efficient examples.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00Not All Past is Legacy: Echoes of 1917–1923 in Contemporary East Central Europehttps://sciendo.com/article/10.2478/bjes-2021-0004<abstract> <title style='display:none'>Abstract</title> <p>The article discusses parallelisms between the social and political realities of East Central Europe around 1917–1923 and the current state of affairs. It starts with an analysis of the dynamic social relations in the final year of the Great War to follow with the question of their impact on politics and a short outline of the region’s history after 1918. While in terms of political and social reality there is little to invite comparison between these two periods under scrutiny, the language of politics and popular sentiments do. Most importantly, and similarly to East Central Europe in the interwar period, fear of a radical change (be it Bolshevism as in 1917–1923 or the cultural revolution) is the main tool of conservative mobilization which represents the sole actual danger to the existing social and political order.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00Interpretable Machine-Learning Approach in Estimating FDI Inflow: Visualization of ML Models with LIME and H2Ohttps://sciendo.com/article/10.2478/bjes-2021-0009<abstract> <title style='display:none'>Abstract</title> <p>In advancement of interpretable machine learning (IML), this research proposes local interpretable model-agnostic explanations (LIME) as a new visualization technique in a novel informative way to analyze the foreign direct investment (FDI) inflow. This article examines the determinants of FDI inflow through IML with a supervised learning method to analyze the foreign investment determinants in Hungary by using an open-source artificial intelligence H2O platform. This author used three ML algorithms—general linear model (GML), gradient boosting machine (GBM), and random forest (RF) classifier—to analyze the FDI inflow from 2001 to 2018. The result of this study shows that in all three classifiers GBM performs better to analyze FDI inflow determinants. The variable value of production in a region is the most influenced determinant to the inflow of FDI in Hungarian regions. Explanatory visualizations are presented from the analyzed dataset, which leads to their use in decision-making.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00The Emergence and Restoration of the State: Latvia in 1918 and 1990https://sciendo.com/article/10.2478/bjes-2021-0005<abstract> <title style='display:none'>Abstract</title> <p>On 18 November 1918, the independent Republic of Latvia was declared in an extremely complicated international and domestic environment—the First World War was still going on, empires were collapsing, and ethnically and ideologically diverse military troops were fighting within the boundaries of Latvian territory. Despite the historical context of a previously tense relationship between Latvians and other ethnic groups, representatives of all minorities fought next to Latvians against the enemies of the Latvian state. Up until 11 August 1920, when the Peace Treaty with the Soviet Russia was signed, the prospects of <italic>de jure</italic> recognition of the newly established state were blurred; yet, the defeat of the White forces in the Russian Civil War opened the long awaited “window of opportunity”, as a result of which Latvia managed to achieve its international recognition on 26 January 1921. More than seventy years later, on 4 May 1990, when the Declaration of Independence was adopted by the Supreme Council of the Latvian Soviet Socialist Republic (SSR), the international and domestic situation was no less complicated. Latvia was forcefully incorporated into the Soviet Union in 1940 and became part of it, yet the economic and political deterioration of the Soviet Union, the national awakening in the Baltic States and other Soviet republics alongside the fall of the Berlin Wall gave momentum for the regime to change. On 21 August 1991, after the barricades and bloody clashes with the Soviet Special Purpose Police Units (OMON) in Riga on January and the failed coup d’état in Moscow in August, Latvia’s independence once again became a reality.</p> <p>In the events of the 1990s, the memories of 1918 and Latvia’s independence in the period between the two world wars were crucial. It is manifested by the fact that Latvian statehood in 1991 was not established anew but restored. Acknowledging the importance of history on contemporary identification and policy-making, this article aims to provide an insight into the history of 1917–1922 and its resonance in the contemporary situation. Using the methodology of literature analysis and historical process-tracing it will reveal the complicated process of the state’s formation and recognition in the period of 1917–1922, paying particular attention to the role of the minorities and diplomatic efforts. It will also uncover the resonance of the events of 1918–1922 in the 1990s, when Latvia’s independence from the Soviet Union was declared, focusing in particular on aspects defining the statehood of Latvia and its citizenship. In this part, it will be argued that the history of 1917–1922 was brought back when the statehood of Latvia was concerned, while overshadowed by fifty years of the Soviet occupation, when the citizenship issue was on the agenda. Indeed, not only ethnic Latvians but also minorities living in Latvia played a decisive role in the efforts of restoring Latvia’s independence. However, as a result of the Citizenship Law,<sup>1</sup> adopted in 1994, more than one-fourth of the population—in most cases, representatives of the Russian-speaking community—were denied citizenship. This practice contrasts the Act that had been adopted in the interwar period, when Latvian citizenship was granted to all ethnic groups who were living within the borders of the then agreed Latvian territory, notwithstanding their diverse ideological background. Given this fact, the article provides future research opportunities related to perceptions of history in contemporary policy-making.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00The Common European Investment Policy and Its Perspectives in the Context of the Case Lawhttps://sciendo.com/article/10.2478/bjes-2021-0010<abstract> <title style='display:none'>Abstract</title> <p>Current developments in the field of international investment relations are influenced by the ruling of the Court of Justice in the <italic>Achmea</italic> case, when <italic>de facto</italic> European law became superior to international law. The verdict of the Court of Justice changes the usual legal procedures and customs in the field of bilateral investment agreements. However, the impact of this court decision is an almost unexplored area due to the lack of interest of legal theorists, and it is relatively difficult to find answers to the ambiguities and problems that have arisen. The scientific study analyses the current process of introducing new rules in the field of investment policy within the European Union, which means the end of bilateral investment agreements within the European Union. It also examines the European Union’s activities in the field of foreign direct investment and the development of a stable European investment policy. Determining the goal of the scientific study is based directly on current needs and emerging practical problems in practice. Their correct understanding and application has a fundamental impact on the possibilities of rules in the field of investment policy. Due to the nature of the researched topic, we applied selected qualitative methods suitable for recognising the law. However, we also analysed scientific literature, case-law and the analogy of law, thus providing qualified answers to the application pitfalls of legal practice.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00The Emergence of New States in Eastern Europe in 1918—Lessons for All of Europehttps://sciendo.com/article/10.2478/bjes-2021-0001<abstract> <title style='display:none'>Abstract</title> <p>The year of 1918 was a crucial point in the history of Europe. Its importance does not only stem from the end of World War I, but also from the establishment of new states. Eastern Europe was particularly an arena where many new states emerged after the dissolution of tsarist Russia. The abovementioned process was correlated with the outcome of World War I (the defeat of the Central Powers on the Western Front and their victory on the Eastern Front against the tsarist Russia resulting in imposing their protectorate over Eastern Europe) but simultaneously it was influenced by the 1917 Bolshevik Revolution originating from a structural crisis of Russia.</p> <p>The legacy of nation-building processes, taking place in the period of 1917–1921 in the European part of the tsarist Russia— even when some of the states did not manage to survive— occupies a key role in the historical memories of those countries. The importance of this legacy originates from the fact that these states often constituted the most progressive nation-building efforts in the world. The wider context of these developments and the important interlinkages existing between them are very often unfamiliar to many Europeans today. Despite that, the state-building attempts, undertaken in Eastern Europe between 1917 and 1921, had a huge impact on the trajectory of European history. Contextualising this particular academic enquiry with the events of 1918 and benefiting from methodological advantages of process tracing, our project represents an attempt to restore (or, if necessary, build from scratch) a communicational system for sending a historical message to a wider Europe. A century after, while celebrating the Finnish, Estonian, Latvian, Lithuanian and Polish truly big anniversaries in 2017–2018, Europeans have already forgotten how interconnected and interlinked the 1918-bound events had been and by how much those events had affected the entire European continent as well as the international system.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00An Honourable U-Turn? Finland and New Europe after the End of the First World Warhttps://sciendo.com/article/10.2478/bjes-2021-0003<abstract> <title style='display:none'>Abstract</title> <p>The article deals with the situation of a small, newly- and uncertainly independent country that had a peculiar experience in the year 1918. The country had declared its independence in December 1917, had received the recognition from Soviet Russia, the Nordic countries, Germany and its allies, and France in January 1918. Almost simultaneously, it drifted to a civil war, in which both the Germans and the Russians participated. However, the Civil War was mainly a domestic concern, and the outcome was the defeat of an attempt at a socialist revolution and the victory of an extremely pro-German government that even elected a German king in Finland in October 1918. The project was never fulfilled, but the experience left an exceptional, pro-German mental heritage, to which the terms of the armistice of November 1918 was a shock. They were seen as unjust, revengeful and even petty—both by the Finnish “Whites” (non-socialists) and the “Reds” (socialists).</p> <p>The Versailles Treaty in 1919 did not directly concern Finland. However, it might have done so in the question of Finnish borders, which was still partly unresolved—both in the west (a strife with Sweden over the Åland Islands) and in the east (ethnically Finnish Eastern Karelia). Moreover, the Allies were uncertain whether Finland should be considered Scandinavian or Baltic. Britain and the United States had not yet recognized Finland’s independence, so in order to secure independence and territorial integrity, the Finns had to adjust to the Allies’ demands and actively drive a Western-oriented policy. This was done for the same reason why the German orientation had been previously adapted—the threat of Russia and revolution—but it was psychologically strenuous for some political circles because they felt that there was an element of dishonorable opportunism to it. However, they could offer no alternative in a situation in which a newborn state had to secure its independence and legitimacy in New Europe, adjusting to disappointments and demands.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00The Emergence of New States in Eastern Europe after World War I: The German Impacthttps://sciendo.com/article/10.2478/bjes-2021-0007<abstract> <title style='display:none'>Abstract</title> <p>After World War I, many borders in Europe were redrawn, especially in the northeast and southeast of Germany. Almost all political forces in Germany strived to restore the prewar German borders, especially towards Poland. Even Poland’s very existence was denied by many German political forces. The Baltic States were less important for Germany in this respect. Here the relationship with the Baltic Germans and trade relations prevailed. The independence of these states was in the eyes of German elite subordinated to the relations with Russia. The article presents this pattern of German policy until the Treaty of Rapallo in 1922.</p> </abstract>ARTICLE2021-05-26T00:00:00.000+00:00Real Time Enterprise as a Platform of Support Management Systemshttps://sciendo.com/article/10.2478/fman-2021-0001<abstract> <title style='display:none'>Abstract</title> <p>The current, fast market changes require enterprises to dynamically adapt the way they conduct their business. This poses many challenges for information technology. Market requirements for immediate response to business changes became the basis of the idea of a real-time information processing (RTE) company. RTE provides real-time information to employees and business partners. Integrated IT systems supporting management constitute a common platform – the foundation of a real-time enterprise. The aim of the article is to present the basic problems of building an IT system that is the basis of a real-time information processing (RTE) company. It is a summary of our work on this type of system. The article justifies the thesis about the need to build a system for the RTE's requirements and the conditions of its implementation. Such a system is designed to provide employees and business partners with the information they need in real time. The use of integrated systems such as ERP, CRM, SCM, and so on provides the ability to implement the main business processes of a real-time enterprise. The article presents both literature analysis and the characteristics of own work on designing IT systems for RTE. Particular attention was paid to the analysis of success factors (determinants) in system design and the use of MUST methodology (MUST is a Danish acronym for theories of and methods for design activities). The final part of the article presents a proposal for further work on IT systems for RTE in the context of existing trends such as DARQ technology (Distributed Ledger, Artificial Intelligence, Extended Reality, Quantum computing).</p> </abstract>ARTICLE2021-04-29T00:00:00.000+00:00Strategic Communication and Competitive Advantage: Assessing CEO Letters of Global Airline Allianceshttps://sciendo.com/article/10.2478/fman-2021-0005<abstract> <title style='display:none'>Abstract</title> <p>For the last several decades, global airline alliances have ensured their market presence in the aviation industry. Scholars have focused on the effects of alliance affiliation for airlines and what the competitive advantages of alliances are. However, these issues have been discussed in relation to operational aspects. The quality of strategic communication can be an important factor in achieving a competitive advantage and realizing a differentiation strategy. This study assessed the differences in quality of strategic communication between the three leading alliance groups (oneworld, SkyTeam, and Star Alliance) and a non-alliance group. Comprehensive content analysis was implemented using the letters of chief executive officers (CEOs) of 46 airlines. We found that the non-alliance group has more ideal CEO letters than the alliance groups, and the main topics and quality of CEO letters of alliance group differed. This study provides a novel insight into the competitive advantage of global airline alliances.</p> </abstract>ARTICLE2021-06-08T00:00:00.000+00:00Research Method for Management of Thermoplastics Production Improvement in Rubber Industry with the Use of 3D Simulation Modelinghttps://sciendo.com/article/10.2478/fman-2021-0002<abstract> <title style='display:none'>Abstract</title> <p>The paper concerns research and improvement of production processes in one of the European companies in the rubber industry<fn id="j_fman-2021-0002_fn_001" symbol="1"><p>The company did not allow the name or country to be given.</p></fn>. The main goal is to improve the production process of the thermo-plastics obtained from polymer materials on the company's production line. Improvement is defined as a reduction of the setup time of a key machine in the tested production process. The research method includes the analysis of the literature, observation of the studied process, and the accomplished computer simulation experiments. The proposed activities relate to the reinforcement of the key part of the machine, the change of the machine setup method, and the preliminary staff assignment to the specific tasks. The results of the simulation experiments confirm the implementation of the proposed improvements. The theoretical contribution to the research field development is the proposal of the simulation modeling methodology to improve production processes of continuous materials. Practical conclusions lead to recommendations for the implementation of improvements in the enterprise, with direct application of the proposed actions.</p> </abstract>ARTICLE2021-04-29T00:00:00.000+00:00Innovation and Leadership: A Study of Organizations Based in the United Arab Emirateshttps://sciendo.com/article/10.2478/fman-2021-0006<abstract> <title style='display:none'>Abstract</title> <p>The successful practice of innovation in any organization demands the integration and interaction of individual, collective, and organizational climate levels of management. Leadership styles have an impact on all these three levels of management. However, little work has been done to assess this impact, especially in the context of United Arab Emirates (UAE)-based organizations. This study was conducted with the purpose of assessing whether leadership processes, tools, and techniques differ in innovative organizations and, thereafter, propose general leadership requirements for innovative projects in the UAE. This study adopts statistical data-processing methods, such as descriptive statistics, the reliability of the instrument, correlation, and regression analysis. Data obtained through a survey of UAE-based organizations were used for analyzing whether innovativeness (as perceived by employees) is statistically correlated with leadership dimensions. The research results show that the transformational leadership style scores better over transactional leadership when it comes to predicting innovations.</p> </abstract>ARTICLE2021-06-08T00:00:00.000+00:00Creating a New, Sustainable Mindset through Responsible Consumption: A Case Study of the International Chain of Sustainable Restaurantshttps://sciendo.com/article/10.2478/fman-2021-0004<abstract> <title style='display:none'>Abstract</title> <p>This paper presents research conducted in the United Arab Emirates with the management of Bareburger, the chain of sustainable restaurants, as well as among its clients. In our project, we are interested in the relation between the offer of sustainability and the culture of conscious consumption. The opinions of industry experts and customers collected in an interview session are analyzed to derive the answer to the research questions. The research focuses on finding the possibility of changing the mindset and habits of consumers and creating an impact on consumer behavior by offering a responsible and sustainable nutrition model. An experiment was conducted to analyze the effect of sustainable restaurants on consumer culture in terms of cultivating healthy food habits. In our case study, we analyze Bareburger, a healthier fast-food chain that originated in the United States, which took the concept of sustainability to a completely new level, from ideation to implementation. Observing this process, we checked whether the unhealthy eating habits that we observe in the Middle East can be changed through the carefully composed model of a responsible restaurant.</p> </abstract>ARTICLE2021-07-05T00:00:00.000+00:00Quality Gaps in Higher Education from the Perspective of Studentshttps://sciendo.com/article/10.2478/fman-2021-0003<abstract> <title style='display:none'>Abstract</title> <p>The presented research work relates to the category of quality in higher education. This article aims to present the determinants of the quality of education in the context of international standards. The background of the considerations is the Bologna Declaration and the European Higher Education Area. The results of the research carried out with the use of the nominal group method and the data analysis carried out based on the SERVQUAL model for education revealed groups of quality determinants that are not included in the standards of internal quality assurance. It has been found that the principle of autonomy of universities in the European Higher Education Area is a sufficient basis to include the determinants of the quality of education identified by internal stakeholders of a given university in the internal quality of education assurance system.</p> </abstract>ARTICLE2021-05-10T00:00:00.000+00:00Functional Sequence in Norm Spacehttps://sciendo.com/article/10.2478/forma-2020-0023<abstract> <title style='display:none'>Summary</title> <p>In this article, we formalize in Mizar [1], [2] functional sequences and basic operations on functional sequences in norm space based on [5]. In the first section, we define functional sequence in norm space. In the second section, we define pointwise convergence and prove some related theorems. In the last section we define uniform convergence and limit of functional sequence.</p> </abstract>ARTICLE2021-05-21T00:00:00.000+00:00General Theory and Tools for Proving Algorithms in Nominative Data Systemshttps://sciendo.com/article/10.2478/forma-2020-0024<abstract> <title style='display:none'>Summary</title> <p>In this paper we introduce some new definitions for sequences of operations and extract general theorems about properties of iterative algorithms encoded in nominative data language [20] in the Mizar system [3], [1] in order to simplify the process of proving algorithms in the future.</p> <p>This paper continues verification of algorithms [10], [13], [12], [14] written in terms of simple-named complex-valued nominative data [6], [8], [18], [11], [15], [16].</p> <p>The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2], [4] with partial pre- and postconditions [17], [19], [7], [5].</p> </abstract>ARTICLE2021-05-21T00:00:00.000+00:00Partial Correctness of an Algorithm Computing Lucas Sequenceshttps://sciendo.com/article/10.2478/forma-2020-0025<abstract> <title style='display:none'>Summary</title> <p>In this paper we define some properties about finite sequences and verify the partial correctness of an algorithm computing <italic>n</italic>-th element of Lucas sequence [23], [20] with given <italic>P</italic> and <italic>Q</italic> coefficients as well as two first elements (<italic>x</italic> and <italic>y</italic>). The algorithm is encoded in nominative data language [22] in the Mizar system [3], [1].</p> <p><disp-quote><p><monospace>i := 0</monospace></p> <p><monospace>s := x</monospace></p> <p><monospace>b := y</monospace></p> <p><monospace>c := x</monospace></p> <p><monospace>while (i &lt;&gt; n)</monospace></p> <p> <monospace>c := s</monospace></p> <p> <monospace>s := b</monospace></p> <p> <monospace>ps := p*s</monospace></p> <p> <monospace>qc := q*c</monospace></p> <p> <monospace>b := ps − qc</monospace></p> <p> <monospace>i := i + j</monospace></p> <p><monospace>return s</monospace></p></disp-quote></p> <p>This paper continues verification of algorithms [10], [14], [12], [15], [13] written in terms of simple-named complex-valued nominative data [6], [8], [19], [11], [16], [17]. The validity of the algorithm is presented in terms of semantic Floyd-Hoare triples over such data [9]. Proofs of the correctness are based on an inference system for an extended Floyd-Hoare logic [2], [4] with partial pre- and post-conditions [18], [21], [7], [5].</p> </abstract>ARTICLE2021-05-21T00:00:00.000+00:00en-us-1