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
- -
Energy Efficient Servers Blueprints for Data Center Optimization
Computer science
- Edition
- -
- ISBN/ISSN
- 9781430266389
- Collation
- -
- Series Title
- -
- Call Number
- -
Cutaneous haptic feedback in robotic teleoperation
This work addresses the challenge of providing effective cutaneous haptic feedback in robotic teleoperation, with the objective of achieving the highest degree of transparency whilst guaranteeing the stability of the considered systems. On the one hand, it evaluates teleoperation systems that provide only cutaneous cues to the operator, thus guaranteeing the highest degree of safety. This cutan…
- Edition
- -
- ISBN/ISSN
- 9783319254579
- Collation
- -
- Series Title
- -
- Call Number
- 004
Cellular Automata and Discrete Complex Systems
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected from a total of 25 submissions. It also contains one invited talk in full paper length.
- Edition
- -
- ISBN/ISSN
- 978-3-319-18812-6
- Collation
- -
- Series Title
- -
- Call Number
- 004
Topics in Numerical Partial Differential Equations and Scientific Computing
Numerical partial differential equations (PDEs) are an important part of numerical simulation, the third component of the modern methodology for science and engineering, besides the traditional theory and experiment. This volume contains papers that originated with the collaborative research of the teams that participated in the IMA Workshop for Women in Applied Mathematics: Numerical Partial …
- Edition
- -
- ISBN/ISSN
- 978-1-4939-6399-7
- Collation
- -
- Series Title
- -
- Call Number
- -
The impact of inter-vehicle communication on vehicular traffic
The work addresses communication networks established over radio equipped vehicles in our everyday road traffic, so called Vehicular Ad Hoc Networks (VANETs), and discusses their impact on two major goals, namely traffic safety and traffic efficiency. For both objectives, the thesis proposes an appropriate modeling of the essential building blocks Traffic, Communication and Application and enab…
- Edition
- -
- ISBN/ISSN
- 978-3-86644-445-4
- Collation
- XVI, 160
- Series Title
- -
- Call Number
- 624 KIL i
Time Series Analysis and Forecasting Selected Contributions from the ITISE C…
This volume presents selected peer-reviewed contributions from The International Work-Conference on Time Series, ITISE 2015, held in Granada, Spain, July 1-3, 2015. It discusses topics in time series analysis and forecasting, advanced methods and online learning in time series, high-dimensional and complex/big data time series as well as forecasting in real problems. The International Work-C…
- Edition
- -
- ISBN/ISSN
- 978-3-319-28725-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Data Management Technologies and Applications
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Data Technologies and Applications, DATA 2014, held in Vienna, Austria, in August 2014. The 12 revised full papers were carefully reviewed and selected from 87 submissions. The papers deal with the following topics: databases, data warehousing, data mining, data management, data security, knowledg…
- Edition
- -
- ISBN/ISSN
- 9783319259369
- Collation
- xiv, 199 pages
- Series Title
- -
- Call Number
- 004
Theoretical Aspects of Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55336-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- 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