Filter by
A Distributed Pi-Calculus
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
- Edition
- -
- ISBN/ISSN
- 9780511611063
- Collation
- -
- Series Title
- -
- Call Number
- -
https://link.springer.com/10.1007/978-3-658-08502-
This book explores how the Indian education and training system prepares young people for the world of work and for the requirements of the employment market – because India is a leading industrialised nation with a very young population and a high demand for a skilled workforce. Indian experts write from a course-specific perspective, offering a comprehensive picture of educational policy, c…
- Edition
- -
- ISBN/ISSN
- 978-3-658-08501-8
- Collation
- VI, 355
- Series Title
- -
- Call Number
- 305 IND
A Complex Systems Approach to Epilepsy: Concept, Practice, and Therapy
The epilepsies are devastating neurological disorders for which progress developing effective new therapies has slowed over recent decades, primarily due to the complexity of the brain at all scales. This reality has shifted the focus of experimental and clinical practice toward complex systems approaches to overcoming current barriers. Organized by scale from genes to whole brain, the chapters…
- Edition
- -
- ISBN/ISSN
- 9781108582285
- Collation
- -
- Series Title
- -
- Call Number
- -
Freezing of Lakes and the Evolution of their Ice Cover
A large number of boreal lakes are ice-covered in winter. However, research and literature of these lakes concerns by far only the open water season. In particular, no textbook on physics of ice-covered lakes exists, and now it would be a proper time to prepare such. Winter limnology has become an increasing active field of research recently. A series of winter limnology symposia was started…
- Edition
- -
- ISBN/ISSN
- 978-3-642-29081-7
- Collation
- -
- Series Title
- -
- Call Number
- -
A Companion to the Works of Thomas Bernhard
Since the death of Thomas Bernhard in 1989, the literary reputation of this complex and unique writer has risen to the point that he is now regarded as a major European figure. Bernhard emerged in the 1960s as one of Austria's major writers, challenging the popularity of such established writers as Heinrich Böll and Günter Grass on the German literary scene. His idiosyncratic prose consists o…
- Edition
- -
- ISBN/ISSN
- 9781571136060
- Collation
- -
- Series Title
- -
- Call Number
- -
Chapter Longitudinal profile of a set of biomarkers in predicting Covid-19 mo…
In survival analysis, time-varying covariates are endogenous when their measurements are directly related to the event status and incomplete information occur at random points during the follow-up. Consequently, the time-dependent Cox model leads to biased estimates. Joint models (JM) allow to correctly estimate these associations combining a survival and longitudinal sub-models by means of a s…
- Edition
- -
- ISBN/ISSN
- 9788855184618
- Collation
- -
- Series Title
- -
- Call Number
- -
Towards Cognitive Cities Advances in Cognitive Computing and its Application…
This book introduces the readers to the new concept of cognitive cities. It demonstrates why cities need to become cognitive and why therefore a concept of cognitive city is needed. It highlights the main building blocks of cognitive cities and illustrates the concept by various cases. Following a concise introductory chapter the book features nine chapters illustrating various aspects and dime…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33798-2
- Collation
- -
- Series Title
- -
- Call Number
- -
300 Problems in Special and General Relativity: With Complete Solutions
Einstein's theories of special relativity and general relativity form a core part of today's undergraduate (or Masters-level) physics curriculum. This is a supplementary problem book or student's manual, consisting of 150 problems in each of special and general relativity. The problems, which have been developed, tested and refined by the authors over the past two decades, are a mixture of shor…
- Edition
- -
- ISBN/ISSN
- 9781009039345
- Collation
- -
- Series Title
- -
- Call Number
- -
Data Science, Learning by Latent Structures, and Knowledge Discovery
This volume comprises papers dedicated to data science and the extraction of knowledge from many types of data: structural, quantitative, or statistical approaches for the analysis of data; advances in classification, clustering, and pattern recognition methods; strategies for modeling complex data and mining large data sets; applications of advanced methods in specific domains of practice. The…
- Edition
- -
- ISBN/ISSN
- 9783662449837
- Collation
- xxii, 560 pages
- Series Title
- -
- Call Number
- 006.312
Database systems for advanced applications
This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The 63 full papers presented were carefully reviewed and selected from a total of 287 submissions. The papers cover the following topics: data mining; data streams and time series;…
- Edition
- -
- ISBN/ISSN
- 9783319181202
- Collation
- xxii, 643 pages
- Series Title
- -
- Call Number
- 328
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography