New Frontiers in Quantitative Methods in Informatics

✍ Scribed by Simonetta Balsamo, Andrea Marin, Enrico Vicario

Publisher: Springer International Publishing
Year: 2018
Tongue: English
Leaves: 176
Series: Communications in Computer and Information Science 825
Edition: 1st ed.
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 7th Workshop on New Frontiers in Quantitative Methods in Informatics, InfQ 2017, held in Venice, Italy, in December 2017.
The 11 revised full papers and the one revised short paper presented were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on networking and mobile applications; applications of quantitative modeling; big data processing and IoT; theory, methods and tools for quantitative analysis.

✦ Table of Contents

Front Matter ....Pages I-X
Front Matter ....Pages 1-1
Geofenced Broadcasts via Centralized Scheduling of Device-to-Device Communications in LTE-Advanced (Giovanni Nardini, Giovanni Stea, Antonio Virdis)....Pages 3-17
Analysis of Performance in Depth Based Routing for Underwater Wireless Sensor Networks (Simonetta Balsamo, Dieter Fiems, Mohsin Jafri, Andrea Marin)....Pages 18-31
Front Matter ....Pages 33-33
Performance Evaluation of a Secure and Scalable E-Voting Scheme Using PEPA (Mohammed Alotaibi, Nigel Thomas)....Pages 35-48
Modeling Crowd Behavior in a Theater (Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Alexander H. Levis)....Pages 49-54
Front Matter ....Pages 55-55
Vs-Driven Big Data Process Development (Rustem Dautov, Salvatore Distefano)....Pages 57-71
Capacity Planning of Fog Computing Infrastructures for Smart Monitoring (Riccardo Pinciroli, Marco Gribaudo, Manuel Roveri, Giuseppe Serazzi)....Pages 72-81
Performance Degradation and Cost Impact Evaluation of Privacy Preserving Mechanisms in Big Data Systems (Safia Kalwar, Eugenio Gianniti, Joas Yannick Kinouani, Youssef Ridene, Danilo Ardagna)....Pages 82-96
Auto-Scaling in Data Stream Processing Applications: A Model-Based Reinforcement Learning Approach (Valeria Cardellini, Francesco Lo Presti, Matteo Nardelli, Gabriele Russo Russo)....Pages 97-110
Front Matter ....Pages 111-111
(\mathtt {Entang{\lambda }})e: A Translation Framework from Quipper Programs to Quantum Markov Chains (Linda Anticoli, Carla Piazza, Leonardo Taglialegne, Paolo Zuliani)....Pages 113-126
Analysis of Non-Markovian Systems in GreatSPN (Elvio Gilberto Amparore, Susanna Donatelli)....Pages 127-138
Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models (Stefano Caselli, Gianni Conte, Mauro Diligenti)....Pages 139-155
Mean Field Analysis for Continuous Time Bayesian Networks (Davide Cerotti, Daniele Codetta-Raiteri)....Pages 156-169
Back Matter ....Pages 171-171

✦ Subjects

Computer Science; Probability and Statistics in Computer Science; Computer Communication Networks; Software Engineering; System Performance and Evaluation

📜 SIMILAR VOLUMES

Frontiers in Quantum Computing: New Rese

📁 Frontiers in Quantum Computing: New Research

✍ R. Anandan 📂 Library 📅 2022 🏛 Nova Science Publishers 🌐 English

The objective of this book is to communicate advancements of knowledge and help disseminate results concerning recent applications and case studies in the area of quantum computing among working professionals and professionals in education and research, covering a broad cross-section of technical di

Methods in Alcohol-Related Neuroscience

📁 Methods in Alcohol-Related Neuroscience Research (Methods and New Frontiers in Neuroscience)

✍ Yuan Liu, David M. Lovinger 📂 Library 📅 2002 🌐 English

Neuroscience research in alcohol-related disorders has made remarkable progress in the last two decades. The advances are due, in great part, to the large array of powerful biomedical, bioengineering, and computational biological techniques that are now employed. To date, there has not been a compre

Second Quantization-based Methods in Qua

📁 Second Quantization-based Methods in Quantum Chemistry

✍ Poul Jorgensen and Jack Simons 📂 Library 📅 1982 🏛 Academic Press Inc 🌐 English

Second Quantization-Based Methods in Qua

📁 Second Quantization-Based Methods in Quantum Chemistry

✍ Jørgensen, Poul & Simons, Jack 📂 Library 📅 1981 🏛 Academic Press 🌐 English

Evaluation Methods in Biomedical Informa

📁 Evaluation Methods in Biomedical Informatics (Health Informatics)

✍ Charles P. Friedman, Jeremy Wyatt 📂 Library 📅 2005 🏛 Springer 🌐 English

Heavily updated and revised from the successful first edition Appeals to a wide range of informatics professionals, from students to on-site medical information system administrators Includes case studies and real world system evaluations References and self-tests for feedback and motivati

New Methods of Concurrent Checking (Fron

📁 New Methods of Concurrent Checking (Frontiers in Electronic Testing)

✍ Michael Goessel, Vitaly Ocheretny, Egor Sogomonyan, Daniel Marienfeld 📂 Library 📅 2008 🏛 Springer 🌐 English

Written by a team of two leading experts and two very successful young former PhD students, New Methods of Concurrent Checking describes new methods of concurrent checking, such as partial duplication, use of output dependencies, complementary circuits, self-dual parity, self-dual duplication and ot