Filter by
Unifying Theories of Programming 5th International Symposium, UTP 2014, Sing…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14806-9
- Collation
- -
- Series Title
- -
- Call Number
- -
A Higher-Dimensional Sieve Method With Procedures for Computing Sieve Functions
Nearly a hundred years have passed since Viggo Brun invented his famous sieve, and the use of sieve methods is constantly evolving. As probability and combinatorics have penetrated the fabric of mathematical activity, sieve methods have become more versatile and sophisticated and in recent years have played a part in some of the most spectacular mathematical discoveries. Many arithmetical inves…
- Edition
- -
- ISBN/ISSN
- 9780511542909
- Collation
- -
- Series Title
- Cambridge Tracts in Mathematics (177)
- Call Number
- -
Understanding Facial Expressions in Communication
This important volume provides a holistic understanding of the cultural, psychological, neurological and biological elements involved in human facial expressions and of computational models in the analyses of expressions. It includes methodological and technical discussions by leading scholars across the world on the subject. Automated and manual analysis of facial expressions, involving cultur…
- Edition
- -
- ISBN/ISSN
- 978-81-322-1934-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Harmonic Analysis on Exponential Solvable Lie Groups
This book is the first one that brings together recent results on the harmonic analysis of exponential solvable Lie groups. There still are many interesting open problems, and the book contributes to the future progress of this research field. As well, various related topics are presented to motivate young researchers. The orbit method invented by Kirillov is applied to study basic problems …
- Edition
- -
- ISBN/ISSN
- 978-4-431-55287-1
- Collation
- XI, 465
- Series Title
- -
- Call Number
- 300 FUJ h
Artificial General Intelligence: 8th International Conference, AGI 2015, AGI …
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, origin…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-21365-1
- Collation
- XII, 416
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ART a
Conceptualising and measuring work identity : South-African perspectives and …
This book provides a systematic overview on issues and challenges related to work identity and identification at work in the?new? South African workplace. It shares results and measures of a work identity research project that was conducted in a variety of modern South African workplaces. It looks at the concept of work identity in the light of a keen and growing interest in why people are beco…
- Edition
- -
- ISBN/ISSN
- 9789401792424
- Collation
- 261 pages
- Series Title
- -
- Call Number
- 301
Representations of Reductive Groups
Over the last forty years, David Vogan has left an indelible imprint on the representation theory of reductive groups. His groundbreaking ideas have lead to deep advances in the theory of real and p-adic groups, and have forged lasting connections with other subjects, including number theory, automorphic forms, algebraic geometry, and combinatorics. Representations of Reductive Groups is an…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-23443-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Relational and Algebraic Methods in Computer Science
This book constitutes the proceedings of the 15th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2015, held in Braga, Portugal, in September/October 2015. The 20 revised full papers and 3 invited papers presented were carefully selected from 25 submissions. The papers deal with the theory of relation algebras and Kleene algebras, process algebras; fi…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- -
Creating Models in Psychological Research
This concise reference serves as a companion to traditional research texts by focusing on such essentials as model construction, robust methodologies and defending a compelling hypothesis. Designed to wean Master's and doctorate-level students as well as new researchers from their comfort zones, the book challenges readers to engage in multi-method approaches to answering multidisciplinary ques…
- Edition
- 1
- ISBN/ISSN
- 9783319157535
- Collation
- XXI, 126
- Series Title
- SpringerBriefs in Psychology
- Call Number
- 150
A Guide to Reproduction Social Issues and Human Concerns
The purpose of this comprehensive text is to increase awareness of human reproduction and its consequences. The central theme links reproductive capacity, the social consequences of the multiple stresses this places on the environment and the ways this relates back to the reproductive health of humans and other animals. In the first section, the biology of human reproduction is discussed, inclu…
- Edition
- -
- ISBN/ISSN
- 9780511608582
- 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