Filter by
Logic, Mathematics, and Computer Science: Modern Foundations with Practical A…
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 Birkhӓuser, this second edit…
- Edition
- -
- ISBN/ISSN
- 978-1-4939-3223-8
- Collation
- -
- Series Title
- -
- Call Number
- -
Fair Queueing
This monograph provides a detailed analysis on fair queueing rules from a normative, a strategic, and a non-cooperative viewpoint. The queueing problem is concerned with the following situation: There is a group of agents who must be served in a facility. The facility can handle only one agent at a time and agents incur waiting costs. The problem is to find the order in which to serve agents an…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33771-5
- Collation
- 1 b/w illustrations
- Series Title
- -
- Call Number
- -
Facets of Uncertainties and Applications ICFUA, Kolkata, India, December 2013
Since the emergence of the formal concept of probability theory in the seventeenth century, uncertainty has been perceived solely in terms of probability theory. However, this apparently unique link between uncertainty and probability theory has come under investigation a few decades back. Uncertainties are nowadays accepted to be of various kinds. Uncertainty in general could refer to differen…
- Edition
- -
- ISBN/ISSN
- 978-81-322-2301-6
- Collation
- 61 b/w illustrations
- Series Title
- -
- Call Number
- -
FMEA Using Uncertainty Theories and MCDM Methods
This book offers a thorough and systematic introduction to the modified failure mode and effect analysis (FMEA) models based on uncertainty theories (e.g. fuzzy logic, intuitionistic fuzzy sets, D numbers and 2-tuple linguistic variables) and various multi-criteria decision making (MCDM) approaches such as distance-based MCDM, compromise ranking MCDM and hybrid MCDM, etc. As such, it provides e…
- Edition
- -
- ISBN/ISSN
- 978-981-10-1466-6
- Collation
- 28 b/w illustrations, 11 illustrations in colour
- Series Title
- -
- Call Number
- -
FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-…
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
- Edition
- -
- ISBN/ISSN
- 978-3-319-19249-9
- Collation
- 156 b/w illustrations
- Series Title
- -
- Call Number
- -
The Distribution of Income and Wealth
This book presents a systematic overview of cutting-edge research in the field of parametric modeling of personal income and wealth distribution, which allows one to represent how income/wealth is distributed within a given population. The estimated parameters may be used to gain insights into the causes of the evolution of income/wealth distribution over time, or to interpret the differences b…
- Edition
- -
- ISBN/ISSN
- 978-3-319-27410-2
- Collation
- XVI, 177
- Series Title
- New Economic Windows
- Call Number
- -
The Digital Synaptic Neural Substrate
This book describes a new computational approach to creativity. With chess as the domain of investigation, the authors show experimentally how a computer can be imbued with the 'spark' of creativity that enables it to compose chess problems or puzzles that are both challenging and aesthetically appealing to humans. This new approach called the Digital Synaptic Neural Substrate (DSNS) mimics the…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28079-0
- Collation
- XV, 119
- Series Title
- SpringerBriefs in Cognitive Computation
- Call Number
- -
Neural Information Processing:22nd International Conference, ICONIP 2015, Nov…
The four volume set LNCS 9489, LNCS 9490, LNCS 9491, and LNCS 9492 constitutes the proceedings of the 22nd International Conference on Neural Information Processing, ICONIP 2015, held in Istanbul, Turkey, in November 2015. The 231 full papers presented were carefully reviewed and selected from 375 submissions. The 4 volumes represent topical sections containing articles on Learning Algorithm…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-26560-5
- Collation
- XVII, 702
- Series Title
- Theoretical Computer Science and General Issues
- Call Number
- -
Advances in Modelling and Control of Non-integer-Order Systems: 6th Conferenc…
This volume presents selected aspects of non-integer, or fractional order systems, whose analysis, synthesis and applications have increasingly become a real challenge for various research communities, ranging from science to engineering. The spectrum of applications of the fractional order calculus has incredibly expanded, in fact it would be hard to find a science/engineering-related subject …
- Edition
- Ed. 1
- ISBN/ISSN
- 978-3-319-09900-2
- Collation
- XIV, 295
- Series Title
- Lecture Notes in Electrical Engineering
- Call Number
- 519.4 ADV a
Advances in Mathematical Economics Volume 20
The series is designed to bring together those mathematicians who are seriously interested in getting new challenging stimuli from economic theories with those economists who are seeking effective mathematical tools for their research. A lot of economic problems can be formulated as constrained optimizations and equilibration of their solutions. Various mathematical theories have been supplying…
- Edition
- Ed. 1
- ISBN/ISSN
- 978-981-10-0476-6
- Collation
- VIII, 189
- Series Title
- Advances in Mathematical Economics
- Call Number
- 519.2 ADV a
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography