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 …
This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML …
Quality attributes, such as performance or reliability, are crucial for the success of a software system and largely influenced by the software architecture. Their quantitative prediction supports systematic, goal-oriented software design and forms a base of an engineering approach to software design. This thesis proposes a method and tool to automatically improve component-based software archi…
The software execution environment can play a crucial role when analyzing the performance of a software system. In this book, a novel approach for the automated detection of performance-relevant properties of the execution environment is presented. The properties are detected using predefined experiments and integrated into performance prediction tools. The approach is applied to experiments fo…
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including…
This eBook is a collection of articles from a Frontiers Research Topic. Frontiers Research Topics are very popular trademarks of the Frontiers Journals Series: they are collections of at least ten articles, all centered on a particular subject. With their unique mix of varied contributions from Original Research to Review Articles, Frontiers Research Topics unify the most influential researcher…
The brief description of tumours being “wounds that do not heal” by Dr Harold F. Dworak nearly three decades ago (N Engl J Med 1986) has provided not only a vivid illustration of neoplastic diseases in general but also, in retrospect conceptually, a plausible immunological definition of cancers. Based on our current understanding in the field, it could have even a multi-dimensional meaning …