Filter by
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-63498-7
- Collation
- 1 online resource ( XVI, 482 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.3 BEN a
Automated Reasoning: 12th International Joint Conference, IJCAR 2024, Nancy, …
Kumpulan dua volume LNAI 14739-14740 ini merupakan prosiding Konferensi Gabungan Internasional ke-12 tentang Penalaran Otomatis, IJCAR 2024, yang diselenggarakan di Nancy, Prancis, selama 3-6 Juli 2024. 39 makalah penelitian lengkap dan 6 makalah pendek yang disajikan dalam buku ini ditinjau dan dipilih secara saksama dari 115 kiriman. Makalah-makalah tersebut berfokus pada topik-topik berikut:…
- Edition
- 1
- ISBN/ISSN
- 978-3-031-63501-4
- Collation
- 1 online resource (XV, 424 Pages)
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 511.3 BEN a
Pflege-Report 2023: Versorgungsqualität von Langzeitgepflegten
Fragen der Versorgungsqualität gewinnen zunehmend an Bedeutung. Das gilt auch für die pflegerische Versorgung. Der Pflege-Report, der jährlich in Buchform und als Open-Access-Publikation erscheint, beleuchtet im Schwerpunkt 2023 die Versorgungsqualität von Langzeitgepflegten. Bereits im Jahr 2018 stand das Thema „Qualität in der Langzeitpflege“ im Fokus des Pflege-Reports. Viel ist sei…
- Edition
- -
- ISBN/ISSN
- 9783662676691
- Collation
- XVI, 289
- Series Title
- -
- Call Number
- -
Resilienz durch Organisationsentwicklung
Die zurückliegenden fast zwei Jahre der Bewältigung einer globalen Pandemiekrise haben ihre Spuren in Gesellschaft und Wirtschaft hinterlassen. Es gibt so gut wie kein Unternehmen, das nicht in irgendeiner Weise von der Krise betroffen ist, und die Krise und ihre Auswirkungen werden uns wohl auch weiterhin noch geraume Zeit beschäftigen. Vor diesem aktuellen Hintergrund dürfte sich au…
- Edition
- -
- ISBN/ISSN
- 9783658360221
- Collation
- VIII, 336
- Series Title
- -
- Call Number
- -
Researching Values
Te editors want to express our gratitude to those ofering their valuable advice and responses to this book. We thank all the authors for their enthusiastic and in-depth contributions. We are standing on the shoulders of the initiators of the master’s degree programme in values-based leadership at VID Specialized University: Einar Aadland, Harald Askeland, Leif Stapnes, Morten Skjørs…
- Edition
- -
- ISBN/ISSN
- 9783030907693
- Collation
- XIX, 309
- Series Title
- -
- Call Number
- -
Wheat Improvement
Wheat is a staple for rich and poor alike. Its improvement as a discipline was boosted when statisticians frst distinguished heritable variation from environment effects. Many twentieth century crop scientists contributed to the Green Revolution that tripled yield potential of staple crops but yield stagnation is now a concern, especially considering the multiple challenges facing food s…
- Edition
- -
- ISBN/ISSN
- 9783030906733
- Collation
- LII, 629
- Series Title
- -
- Call Number
- -
Development and Characterization of a Dispersion-Encoded Method for Low-Coher…
This work discusses an extension to conventional low-coherence interferometry by the introduction of dispersion-encoding. The extension facilitates the measurement of surface height profiles with sub-nm resolution. The selection of a dispersive element for encoding allows for tuning of the axial measurement range and resolution of the setup. The approach is theoretically designed and imple…
- Edition
- -
- ISBN/ISSN
- 9783658359263
- Collation
- XXIII, 163
- Series Title
- -
- Call Number
- -
Seeds for Diversity and Inclusion
Seed diversity is crucial to the sustainability of food and agricultural systems. Yet as Michel Pimbert’s survey of the global ‘state of seeds’ reveals, both wild and domesticated varieties are disappearing under an onslaught of human-driven pressures. Planetary crises—the sixth great extinction and climate change—constitute one. Industrialized agriculture is another: just three …
- Edition
- -
- ISBN/ISSN
- 9783030894054
- Collation
- XIX, 199
- Series Title
- -
- Call Number
- -
Learning to Diagnose with Simulations
Making decisions require professionals in different fields to be able to identify, understand, and even predict situations and events relevant to their professions. This makes diagnosis an essential part of professional competences across domains. Diagnosis involves identifying the problem, analyzing the context, and application of obtained knowledge and experience to make practical decisio…
- Edition
- -
- ISBN/ISSN
- 9783030891473
- Collation
- VI, 157
- Series Title
- -
- Call Number
- -
Wohlbefinden und Gesundheit im Jugendalter
Wohlbefnden und Gesundheit im Kindheits- und Jugendalter haben in den vergangenen Jahren in der sozialwissenschaftlichen Forschung an Bedeutung gewonnen. Im Vordergrund steht dabei vor allem die Erforschung der Bedingungsfaktoren für die Entwicklung eines „guten“ Wohlbefndens und einer „guten“ Gesundheit bei Kindern und Jugendlichen. Die verschiedenen Fachdisziplinen beschäfti…
- Edition
- -
- ISBN/ISSN
- 9783658357443
- Collation
- XVIII, 729
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography