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
- xv; 756 PG; ill.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 AUT a
Youth suicide prevention and intervention
This open access book focuses on the public health crisis of youth suicide and provides a review of current research and prevention practices. It addresses important topics, including suicide epidemiology, suicide risk detection in school and medical settings, critical cultural considerations, and approaches to lethal means safety. This book offers cutting-edge research on emerging discoveries …
- Edition
- -
- ISBN/ISSN
- Springer Cham
- Collation
- xvi; 169; ill.
- Series Title
- -
- Call Number
- 362.280835 YOU y
Planar maps, random walks and circle packing
This open access book focuses on the interplay between random walks on planar maps and Koebe’s circle packing theorem. Further topics covered include electric networks, the He–Schramm theorem on infinite circle packings, uniform spanning trees of planar maps, local limits of finite planar maps and the almost sure recurrence of simple random walks on these limits. One of its main goals is t…
- Edition
- 1
- ISBN/ISSN
- 9783030279684
- Collation
- xii; 120 PG; ill.
- Series Title
- -
- Call Number
- 519.282 ASA a
Collaborative technologies and data science in artificial intelligence applic…
In September 2020, researchers from Armenia, Chile, Germany and Japan met at the American University of Armenia for a virtual conference to discuss technologies with applications in smart cities, data science and information theory approaches for intelligent systems, technical challenges for intelligent environments, smart human centered computing, artificial neural networks, and deep learning.…
- Edition
- -
- ISBN/ISSN
- 9783832551414
- Collation
- vii, 190p.; ill.
- Series Title
- -
- Call Number
- 006.3 COL c
Content Embedded Literacy in The Workplace
The topic of embedded literacy, closely connected to embedded learning on one hand, and training in the workplace on the other, is a central theme for reflection on adult education in Europe and around the world. The Council of Europe indicates knowledge as a pivotal element for the economic and social development of the EU countries and the workplace is an important place for the learning and …
- Edition
- -
- ISBN/ISSN
- 9788864530871
- Collation
- -
- Series Title
- -
- Call Number
- -
Self-build homes : social discourse, experiences and directions
Self-Build Homes connects the burgeoning interdisciplinary research on self-build with commentary from leading international figures in the self-build and wider housing sector. Through their focus on community, dwelling, home and identity, the chapters explore the various meanings of self-build housing, encouraging new directions for discussions about self-building and calling for the recogniti…
- Edition
- -
- ISBN/ISSN
- 9781911576877
- Collation
- xiii, 332 p. ill;
- Series Title
- -
- Call Number
- 338.47690809411 SEL M
The Political Economy of Non-Western Migration Regimes : Central Asian Migran…
This open access book contributes new theoretical and comparative insights on migrant agency, undocumentedness and informality in non-Western, non-democratic migration regimes. The book is conceived as a critical reflection on the contemporary migration regime scholarship, and, more generally, on comparative migration studies, which primarily focus on migrants’ experiences and immigration pol…
- Edition
- -
- ISBN/ISSN
- 9783030992569
- Collation
- IX, 192 p ; ill
- Series Title
- -
- Call Number
- 327.111 POL
Sociological Debates on Gestational Surrogacy : Between Legitimation and Inte…
This open access book discusses and analyses competing views and social implications of gestational surrogacy, which is making inroads as an option for parenthood as well as a work opportunity for women. It provides a rich account of transnational mobilizations for the abolition and regulation of surrogacy, with focus on United States, Italy and Mexico. The author critically assesses the core n…
- Edition
- -
- ISBN/ISSN
- 9783030803025
- Collation
- xxii, 158 p.
- Series Title
- -
- Call Number
- 306.8743 SOC D
Turkey, Migration And The EU: Potentials, Challenges And Opportunities
In the context of Turkey's accession to the EU, the issue of potential migration from Turkey and its impact upon European labor markets became one of the concerns of the EU, considering Turkey's growing population and young labor force. In 2011, half a century after the bi-lateral agreement between Turkey and Germany on labor recruitment in 1961, migration plays a key role in relations of Turke…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Shared physical custody : interdisciplinary insights in child custody arrange…
This open access book provides an overview of the ever-growing phenomenon of children in shared physical custody thereby providing legal, psychological, family sociological and demographical insights. It describes how, despite the long evolution of broken families, only the last decade has seen a radical shift in custody arrangements for children in divorced families and the gender revolution i…
- Edition
- 9
- ISBN/ISSN
- 9783030684792
- Collation
- 331p;
- Series Title
- -
- Call Number
- 346.173 SHA L
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography