The history of flight control is inseparably linked to the history of aviation itself. Since the early days, the concept of automatic flight control systems has evolved from mechanical control systems to highly advanced automatic fly-by-wire flight control systems which can be found nowadays in military jets and civil airliners. Even today, many research efforts are made for the further develop…
The main objective of this book is to analyse and detect small changes in ECG waves and complexes that indicate cardiac diseases and disorders. Detecting predisposition to Torsade de Points (TDP) by analysing the beat-to-beat variability in T wave morphology is the main core of this work. The second main topic is detecting small changes in QRS complex and predicting future QRS complexes of pati…
Due to the intensive development of the global economy, many problems are constantly emerging connected to the safety of ships’ motion in the context of increasing marine traffic. These problems seem to be especially significant for the further development of marine transportation services, with the need to considerably increase their efficiency and reliability. One of the most commonly used …
Negara kesejahteraan maju dikatakan menghadapi, dalam kata-kata Pierre Rosanvallon, "Pertanyaan Sosial Baru". Gagasan di sini, dan ini adalah gagasan yang banyak dibagikan, adalah bahwa transisi dari lingkungan industri ke pasca-industri telah membawa serta serangkaian risiko sosial, kendala, dan pertukaran baru yang memerlukan kalibrasi ulang radikal sistem jaminan sosial. Buku ini menganalisi…
This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,…
Berdasarkan konsep dari Studi Sains & Teknologi, Simon David Hirsbrunner menyelidiki praktik dan infrastruktur pemodelan komputer dan komunikasi sains dalam penelitian dampak iklim. Buku ini mengkarakterisasi bagaimana para ilmuwan menghitung risiko iklim di masa depan dalam model dan skenario komputer, tetapi juga bagaimana mereka menyebarkan wawasan mereka dan membuatnya dapat diakses serta d…
This work addresses the automated generation of physical-based models and model-based observers. We develop port-Hamiltonian methods, which for the first time allow a complete and consistent automation of these two processes for a large class of interconnected systems.
A New Rival State? adalah koleksi unik dari laporan-laporan yang ditulis pada tahun 1857–1917 oleh konsul Rusia di Melbourne kepada Kedutaan Besar Kekaisaran Rusia di London dan Kementerian Luar Negeri Rusia di St Petersburg. Ditulis oleh delapan konsul, laporan-laporan ini menawarkan pandangan Rusia tentang perkembangan koloni pemukim pada akhir abad kesembilan belas dan tahun-tahun pertama …
Dengan menyatukan penelitian berbasis tindakan dengan sosiologi pendidikan, teori media, dan tradisi Bildung, para penulis menawarkan perspektif baru tentang pendidikan di era digital, menjelajahi emansipasi, pencerahan, pembentukan diri, dan pendidikan demokratis. Para penulis memanfaatkan 15 tahun penelitian berbasis tindakan dan mengaitkannya dengan teori untuk menunjukkan bagaimana guru dan…
Kelangkaan air minum adalah tantangan besar. Ini dapat diatasi dengan desalinasi air laut. Dalam pekerjaan ini, kemungkinan teknik desalinasi baru menggunakan hidrogel polimer sebagai media pemisah untuk air dan garam dieksplorasi. Muatan terikat dalam jaringan polimer tersebut mencegah garam masuk ke dalamnya - di bawah tekanan, air desalinasi dilepaskan dari gel. Ditunjukkan bahwa metode ini …