Filter by
Automatic Control and Routing of Marine Vessels
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 …
- Edition
- 1
- ISBN/ISSN
- 9783036559193, 9783036559209
- Collation
- -
- Series Title
- -
- Call Number
- -
A New Social Question?; On Minimum Income Protection in the Postindustrial Era
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…
- Edition
- -
- ISBN/ISSN
- 9789048503445
- Collation
- 1 online resource
- Series Title
- -
- Call Number
- 362.582 MAR n
Automated Reasoning
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,…
- Edition
- 1
- ISBN/ISSN
- 9783031107696
- Collation
- -
- Series Title
- -
- Call Number
- -
A New Science for Future; Climate Impact Modeling and the Quest for Digital O…
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…
- Edition
- -
- ISBN/ISSN
- 9783839452653
- Collation
- 1 online resource (286 p.)
- Series Title
- Media yang Terletak dalam Konteks
- Call Number
- 363.738745 HIR n
Automated Model Generation and Observer Design for Interconnected Systems
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.
- Edition
- 1
- ISBN/ISSN
- 9783731511359
- Collation
- -
- Series Title
- -
- Call Number
- -
A New Rival State? : Australia in Tsarist Diplomatic Communications
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 …
- Edition
- -
- ISBN/ISSN
- 9781760462284
- Collation
- 1 electronic resource (368 p.)
- Series Title
- -
- Call Number
- 327.94047 MAS n
A New Perspective on Education in the Digital Age; Teaching, Media and Bildung
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…
- Edition
- -
- ISBN/ISSN
- 9781350167193
- Collation
- 1 online resource (216 p.)
- Series Title
- -
- Call Number
- 371.33 TAE n
A new method of seawater desalination via acrylic acid based hydrogels: Synth…
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 …
- Edition
- -
- ISBN/ISSN
- 9783731501435
- Collation
- 1 online resource (XVI, 290 p.)
- Series Title
- -
- Call Number
- 628.167 HOP n
Automated Machine Learning
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 …
- Edition
- 1
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Improvement of Software Architecture Models for Performance and Oth…
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…
- Edition
- 1
- ISBN/ISSN
- 9783866449732
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography