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.

Explore Modern Communications and Understand Principles of Operations, Appropriate Technologies, and Elements of Design of Communication Systems Modern society requires a different set of communication systems than has any previous generation. To maintain and improve the contemporary communication systems that meet ever-changing requirements, engineers need to know how to recognize and solve cardinal problems. In Essentials of Modern Communications, readers will learn how modern communication has expanded and will discover where it is likely to go in the future. By discussing the fundamental principles, methods, and techniques used in various communication systems, this book helps engineers assess, troubleshoot, and fix problems that are likely to occur. In this reference, readers will learn about topics like: How communication systems respond in time and frequency domains Principles of analog and digital modulations Application of spectral analysis to modern communication systems based on the Fourier series and Fourier transform Specific examples and problems, with discussions around their optimal solutions, limitations, and applications Approaches to solving the concrete engineering problems of modern communications based on critical, logical, creative, and out-of-box thinking For readers looking for a resource on the fundamentals of modern communications and the possible issues they face, Essentials of Modern Communications is instrumental in educating on real-life problems that engineering students and professionals are likely to encounter.

Modern neuroscience is providing profound insights into nature's most mysterious puzzle -- the human brain -- while applications of information and computer science are transforming the way people interact with each other and with the world around them. The new science of neuroinformatics, which sits at the junction, integrates knowledge and promises to catalyze progress in these dynamic and seemingly disparate areas of study. Neuroinformatics research will allow brain and behavioral scientists to make better sense and use of their data through advanced information tools and approaches. These include new ways to acquire, store, visualize, analyze, integrate, synthesize, and share data, as well as the means for electronic scientific collaboration. In this country, the principal source of support for neuroinformatics research is the Human Brain Project. The project, which is led by the National Institute of Mental Health, now supports neuroinformatics research performed by over 60 scientists. This volume presents the findings of the first group of researchers. Their efforts will begin to arm the next generation of brain and behavioral scientists with tools to attack the serious problem of information overload, and ultimately relate their findings to those obtained from different species, levels of biological organization, methods, and laboratories. And the challenges presented by the amount, diversity, and complexity of brain and behavioral data will give informatics researchers the impetus to test and expand the limits of their own science. The work described in this volume signals a change in the way scientists interact with data, instruments and each other, and points the way to a very different and richer future understanding of the human brain and mind.

This book constitutes extended, revised and selected papers from the 9th International Symposium of Artificial Intelligence supported by the Japanese Society for Artificial Intelligence, JSAI-isAI 2017. It was held in November 2017 in Tokyo, Japan. The 22 papers were carefully selected from 109 submissions and are organized in sections on juris-informatics, skill science, artificial intelligence of and for business, logic and engineering of natural language semantics, argument for agreement and assurance, scientific document analysis, knowledge explication for industry.

Investigates the research and discoveries of computer scientists whose efforts have expanded knowledge of the rapidly changing field of computer science.

This book covers ideas, methods, algorithms, and tools for the in-depth study of the performance and reliability of dependable fault-tolerant systems. The chapters identify the current challenges that designers and practitioners must confront to ensure the reliability, availability, and performance of systems, with special focus on their dynamic behaviors and dependencies. Topics include network calculus, workload and scheduling; simulation, sensitivity analysis and applications; queuing networks analysis; clouds, federations and big data; and tools. This collection of recent research exposes system researchers, performance analysts, and practitioners to a spectrum of issues so that they can address these challenges in their work.

"This book looks at the combination of art, creativity and expression through the use and combination of computer science, and how technology can be used creatively for self expression using different approaches"--Provided by publisher.