Advanced Mobile Robotics: Volume 1

Mobile robotics is a challenging field with great potential. It covers disciplines including electrical engineering, mechanical engineering, computer science, cognitive science, and social science. It is essential to the design of automated robots, in combination with artificial intelligence, vision, and sensor technologies. Mobile robots are widely used for surveillance, guidance, transportati…

Zusammenwirken von natürlicher und künstlicher Intelligenz: Beurteilen-Mess…

Wie wird das Zusammenleben und -wirken von Menschen und Maschinen zukünftig aussehen? Lassen sich Umfang und Intensität der neuen Synergien bestimmen? Eine wichtige Rolle spielt dabei die Frage, womit wir es beim erweiterten Zusammenwirken mit künstlicher Intelligenz überhaupt zu tun haben. Ansätze, diese begrifflich-theoretisch zu beurteilen, im konkreten Fall messbar zu machen und auch e…

Demographic and Family Transition in Southeast Asia

Edition

-

ISBN/ISSN

978-3-030-85679-3

Collation

-

Series Title

-

Call Number

-

Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Tools and Algorithms for the Construction and Analysis of Systems = 31st Inte…

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Tools and Algorithms for the Construction and Analysis of Systems

The open access book set LNCS 15696, 15697 and 15698 constitutes the proceedings of the 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2025, which was held as part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, during May 3-8, 2025, in Hamilton, Canada. The 46 papers presented were carefully r…

Narratives of Kingship in Eurasian Empires, 1300-1800

Dalam Narasi Kekuasaan di Kekaisaran Eurasia, 1300-1800, Richard van Leeuwen menganalisis representasi dan konstruksi ide kekuasaan dalam teks fiksi dari berbagai genre, terutama yang termasuk dalam lapisan perantara antara sastra populer dan resmi. Analisis ini menunjukkan bagaimana ideologi kekuasaan tersemat dalam imajinasi sastra dan budaya masyarakat, nilai-nilai budaya, dan konseptualisas…

Missions and Preaching; Connected and Decompartmentalised Perspectives from t…

Berdasarkan pendekatan yang terhubung, relasional, dan multidisipliner (sejarah, etnografi, ilmu politik, dan teologi), Misi dan Pemberitaan membahas konsepsi misi melalui analisis kegiatan pemberitaan dan dinamika agama di seluruh Kekristenan, Islam, dan Yudaisme, di Timur Tengah dan Afrika Utara, dari akhir abad ke-19 hingga hari ini. 13 bab mengungkapkan titik kontak, pertukaran, dan sirkula…

Meaning and the Dynamics of Interpretation; Selected Papers of Hans Kamp

Kumpulan makalah penelitian yang ditulis oleh Hans Kamp ini menyajikan inti dari penelitian ilmiahnya tentang semantik bahasa alami dan hubungan antara logika, filosofi, dan linguistik. Disusun dalam enam bagian, topik yang dibahas mulai dari refleksi filosofis tentang isu-isu dasar dalam Paradoks Sorites kuno dengan penjelasan formal mengenai solusinya, hingga penjelasan mendetail tentang pras…