Filter by
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
- -
Automated Experiments for Deriving Performance-relevant Properties of Softwar…
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…
- Edition
- 1
- ISBN/ISSN
- 9783731501381
- Collation
- -
- Series Title
- -
- Call Number
- -
Automated Deduction – CADE 28
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…
- Edition
- 1
- ISBN/ISSN
- 9783030798765
- 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