Filter by
Logic-Based Program Synthesis and Transformation: 25th International Symposiu…
This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in Siena, Italy, in July 2015. The 21 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 30 submissions. The aim of the LOPSTR series is to stimulate and promote …
- Edition
- -
- ISBN/ISSN
- 978-3-319-27436-2
- Collation
- -
- Series Title
- -
- Call Number
- -
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how contemporary paraconsistent logics can be used to better understand human reasoning in science and mathematics. Offering a variety of perspectives, they shed a new light on the question of whether paraconsistent logics can function as the u…
- Edition
- -
- ISBN/ISSN
- 978-3-319-40220-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Local Government Budget Stabilization: Explorations and Evidence
This book is the first comprehensive, full-scale treatment of the politics, law, and economics with regard to the policies and policy instruments for budget stabilization at the local level. It examines budget stabilization in the United States from the 1910s to 2010 (from adoption of public budgeting in this country through the Great Recession). In addition, it provides details on the methods …
- Edition
- -
- ISBN/ISSN
- 78-3-319-15186-1
- Collation
- -
- Series Title
- -
- Call Number
- -
Stand up, Speak out : The Practice and Ethics of Public Speaking
Stand up, Speak out: The Practice and Ethics of Public Speaking features two key themes. First it focuses on helping students become more seasoned and polished public speakers, and second is its emphasis on ethics in communication. It is this practical approach and integrated ethical coverage that sets Stand up, Speak out: The Practice and Ethics of Public Speaking apart from the other texts in…
- Edition
- -
- ISBN/ISSN
- 9781946135254
- Collation
- -
- Series Title
- -
- Call Number
- 808.51 STA
Local Flaps in Facial Reconstruction: A Defect Based Approach
Written by three experienced consultants with a large skin cancer practice and international reputations for excellence, this book provides comprehensive practical solutions to defects in the head and neck region that are confronted by the clinician in day-to-day practice. Essential information is first provided on anesthesia, defect assessment and individual flaps, while the core chapters focu…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08479-4
- Collation
- -
- Series Title
- -
- Call Number
- -
University Success
University Success has a student-friendly format arranged to help you develop the essential skills and provide the information you need to succeed in university. This is not a textbook full of theory and extensive detail that merely discusses student success; rather, this is a how-to manual for your first year of study. The book provides realistic, practical guidance ranging from study skills t…
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 378 MAH u
AI based Robot Safe Learning and Control
This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance cont…
- Edition
- -
- ISBN/ISSN
- 978-981-15-5503-9
- Collation
- -
- Series Title
- -
- Call Number
- 006.3 ZHO a
Advances in Neural Networks – ISNN 2015: 12th International Symposium on Ne…
The volume LNCS 9377 constitutes the refereed proceedings of the 12th International Symposium on Neural Networks, ISNN 2015, held in Jeju, South Korea in October 2015. The 55 revised full papers presented were carefully reviewed and selected from 97 submissions. These papers cover many topics of neural network-related research including intelligent control, neurodynamic analysis, memristive neu…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-25393-0
- Collation
- XVI, 510
- Series Title
- Lecture Notes in Computer Science
- Call Number
- 006.3 ADV a
Local Firm Upgrading in Global Value Chains: A Business Model Perspective
Jan Hauke Holste analyzes how a company can innovate and change its business model to the degree that it can climb up the value chain. His research synthesizes a combination of the global value chain and the business model literature to create a new framework of local firm upgrading. The findings of an empirical test of the model indicate that local firms are more than just a link within a glob…
- Edition
- -
- ISBN/ISSN
- 978-3-658-09768-4
- Collation
- -
- Series Title
- -
- Call Number
- -
General Psychology : An Introduction
The NOBA Project is a growing collection of expert-authored, open-licensed modules in psychology, funded by the Diener Education Fund. From these open modules, Tori Kearns and Deborah Lee created an arranged open textbook for her introductory psychology class. This textbook was created under a Round One ALG Textbook Transformation Grant.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 150 KEA g
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography