This proceedings LNCS 13521 constitutes the refereed proceedings of the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually as part of the 24th International Conference, HCII 2022, in June 26 to July 1, 2022. HCII 2022 received a total of 5583 submissions from academia, research institutes, industry, and governmental agencies from 88 countries submit…
The four-volume set CCIS 1580, CCIS 1581, CCIS 1582, and CCIS 1583 contains the extended abstracts of the posters presented during the 24th International Conference on Human-Computer Interaction, HCII 2022, which was held virtually in June - July 2022. The total of 1276 papers and 275 posters included in the 40 HCII 2021 proceedings volumes was carefully reviewed and selected from 5583 subm…
This book reviews the hydrogeology of karst systems, starting with the classifications from the applied point of view, and then the hydraulic parameters (porosity, permeability, and transmissivity). It also addresses the karstification process, its resulting forms, and their hydrogeological significance. Besides, the author describes possible models of karstic aquifers and their characterizati…
Earth has become a huge mine, with a greater quantity and variety of fundamental mineral resources being extracted year after year. Technology, from electric cars to everyday electrical equipment, consume vast amounts of scarce raw materials. On a planet with limited resources, are these minerals being properly assessed? Will there be enough raw materials to meet the demand of a world populatio…
Buku ini adalah versi pengembangan dari Aljabar Linear Elementer, Edisi Kedelapan, yang ditulis oleh Howard Anton. Sepuluh bab pertama dari buku ini identik dengan sepuluh bab pertama buku dari teks tersebut; bab kesebelas terdiri dari 21 macam aplikasi aljabar linear yang diambil dari bidang bisnis, ekonomi, teknik, fisika, ilmu komputer, teori aproksimasi, ekologi, sosiologi, demografi, dan g…
This book provides the first comprehensive overview of the most important water-related issues that centre on Italy, analysed from several disciplinary perspectives – such as hydrology, economics, law, sociology, environmental sciences and policy studies – in order to promote full understanding of the challenges the country is facing and the ways it could best tackle them. Despite the mi…
This book gathers the peer-reviewed proceedings of the 1st congress on Geoethics & Groundwater Management (GEOETH&GWM'20), held in Porto, Portugal, in an online format on 18-22 May 2020. Hosted in School of Engineering (ISEP), Polytechnic of Porto based on Porto city (a UNESCO World Heritage Site), the international conference focused on what has now been dubbed “hydrogeoethics”, a novel tr…
This book discusses several topics regarding different vocabularies, such as sacred architecture, heritage buildings, open spaces, landmarks, and street escapes, all of which have a direct influence on the city form. The city form is also affected by the indirect impact of the citizens themselves, for example their culture, which in turn depends on the arts, as can be seen and embodied in moral…
Software programs are formal entities with precise meanings independent of their programmers, so the transition from ideas to programs necessarily involves a formalisation at some point. The first part of this graduate-level introduction to formal methods develops an understanding of what constitutes formal methods and what their place is in Software Engineering. It also introduces logics as…
This second and expanded edition of the first book on agromining (phytomining) presents a comprehensive overview of the metal farming & recovery of the agromining production chain. Agromining is an emerging technology that aims to transform the extraction of sources of target elements not accessible by traditional mining and processing techniques. Agromining, which is based on sustainable devel…
This book covers a broad range of topics relating to architecture and urban design, such as the conservation of cities’ culture and identity through design and planning processes, various ideologies and approaches to achieving more sustainable cities while retaining their identities, and strategies to help cities advertise themselves on the global market. Every city has its own unique id…
This open access book constitutes the refereed proceedings of 1st International Workshop on Psychology, Learning, Technology, PLT 2022, Foggia, Italy, during January 2022. The 8 full papers presented here were carefully reviewed and selected from 23 submissions. In addition, one invited paper is also included. Psychology, Learning, ad Technology Conference (PLT2022) aims to explore learning…
Irrigation water rcquircments as a whole necds to bc known because it is one important step that is rcquircd in the planning and management of irrigation systems. Accordingly, the purpose of this study is to analyze the needs of irrigation water in order to get the predietion value of the irrigation water requirement of maximum and minimum in the area of study in this area is Air Keban River Ir…
In carrying out its savings and loan business activities, the Swakarta Cooperative still keeps records of savings and loans manually in a notebook. These records will only be transferred to an excel file when making financial reports. Recording done in this way is prone to damage or loss of records previously made. The limitations of the problems discussed in this study include savings, loans, …
This open access volume collects emerging issues in Environmental and Civil Engineering, originating from outstanding doctoral dissertations discussed at Politecnico di Milano in 2021. The advanced innovative insights provided are presented with reference to the relevant sustainable development goals (SDGs), hoping that scientists, technicians and decision makers will find them as a valid suppo…
This book proposes an integrated model of treatment for Personality Disorders (PDs) that goes beyond outdated categorical diagnoses, aiming to treat the general factors underlying the pathology of personality. The authors emphasize the development of metacognitive functions and the integration of procedures and techniques of different psychotherapies. The book addresses the treatment of comple…
This research aims to determine the level of noise and vibration in animal feed chopper machines. The research was conducted from May 2023 to June 2023 at the Green House of the Department of Agricultural Technology, Faculty of Agriculture, Sriwijaya University, Indralaya, South Sumatra. The research method used a descriptive method with data presentation in graph, contour, and table. This rese…