Filter by
Unifying the Philosophy of Truth
This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told (Amster…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9673-6
- Collation
- 30 b/w illustrations
- Series Title
- -
- Call Number
- -
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
- 10 b/w illustrations
- Series Title
- -
- Call Number
- -
What We Are When We Are Kaj smo, ko smo
Working within a postmodern style, this rhythmic and melodious collection of poems originally written in Slovenian by Cvetka Lipuš and translated here by Tom Priestly, blends the real with the surreal, dull urban lives with dreams. Lipuš, known for the lexical beauty of her work, dwells on topics of time and space which she handles in an almost revolving, irreverent manner. Priestly captures …
- Edition
- -
- ISBN/ISSN
- 9781771992497.01
- Collation
- -
- Series Title
- -
- Call Number
- 5.5 x 7.25, 104 pages
Human Missions to Mars: Enabling Technologies for Exploring the Red Planet
A mission to send humans to explore the surface of Mars has been the ultimate goal of planetary exploration since the 1950s, when von Braun conjectured a flotilla of 10 interplanetary vessels carrying a crew of at least 70 humans. Since then, more than 1,000 studies were carried out on human missions to Mars, but after 60 years of study, we remain in the early planning stages. Th…
- Edition
- -
- ISBN/ISSN
- 978-3-319-22248-6
- Collation
- XXVIII, 582
- Series Title
- -
- Call Number
- 600 RAP h
The Virtues of Disillusionment
Most people go through life chasing illusions of success, fame, wealth, happiness, and few things are more painful than the reality-revealing loss of an illusion. But if illusions are negative, why is the opposite, being disillusioned, also negative? In this essay based on his inaugural writer-in-residence lecture at Athabasca University, internationally acclaimed writer Steven Heighton mathema…
- Edition
- -
- ISBN/ISSN
- 9781771993265.01
- Collation
- -
- Series Title
- -
- Call Number
- 5 x 8, 48 pages
Human Interface and the Management of Information. Information and Knowledge …
The two-volume set LNCS 9172 and 9173 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20617-2
- Collation
- XXV, 693
- Series Title
- -
- Call Number
- 004
The Virtues of Disillusionment
Most people go through life chasing illusions of success, fame, wealth, happiness, and few things are more painful than the reality-revealing loss of an illusion. But if illusions are negative, why is the opposite, being disillusioned, also negative? In this essay based on his inaugural writer-in-residence lecture at Athabasca University, internationally acclaimed writer Steven Heighton mathema…
- Edition
- -
- ISBN/ISSN
- 9781771993265.01
- Collation
- -
- Series Title
- -
- Call Number
- 5 x 8, 48 pages
Dynamic scenarios in two-state quantum dot lasers : excited state lasing, gro…
André Röhm investigates the dynamic properties of two-state lasing quantum dot lasers, with a focus on ground state quenching. With a novel semi-analytical approach, different quenching mechanisms are discussed in an unified framework and verified with numerical simulations. The known results and experimental findings are reproduced and parameter dependencies are systematically studied. Add…
- Edition
- -
- ISBN/ISSN
- 9783658094027
- Collation
- xv, 102 pages
- Series Title
- -
- Call Number
- 530
Dynamic spectrum access for wireless networks
This SpringerBrief presents adaptive resource allocation schemes for secondary users for dynamic spectrum access (DSA) in cognitive radio networks (CRNs) by considering Quality-of-Service requirements, admission control, power/rate control, interference constraints, and the impact of spectrum sensing or primary user interruptions. It presents the challenges, motivations, and applications of the…
- Edition
- -
- ISBN/ISSN
- 9783319152998
- Collation
- xv, 69 pages
- Series Title
- -
- Call Number
- 621.382
Human Interface and the Management of Information. Information and Knowledge …
The two-volume set LNCS 9172 and 9173 constitutes the refereed proceedings of the Human Interface and the Management of Information thematic track, held as part of the 17th International Conference on Human-Computer Interaction, HCII 2015, held in Los Angeles, CA, USA, in August 2015, jointly with 15 other thematically similar conferences. The total of 1462 papers and 246 posters presented at t…
- Edition
- -
- ISBN/ISSN
- 978-3-319-20611-0
- Collation
- XXV, 693
- Series Title
- -
- Call Number
- 004 HUM
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography