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.

This book constitutes the refereed proceedings of the International Conference IFIP TCS 2000 held in Sendai, Japan in August 2000. The 32 revised full papers presented together with nine invited contributions were carefully reviewed and selected from a total of 70 submissions. The papers are organized in two tracks on algorithms, complexity, and models of computation and on logics, semantics, specification, and verification. The book is devoted to exploring new frontiers of theoretical informatics and addresses all current topics in theoretical computer science.

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.

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.

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

This book constitutes extended, revised, and selected papers from the JSAI annual conference, JSAI 2022, and the 14th International Symposium on Artificial Intelligence, JSAI-isAI 2022, held in Kyoto, Japan, in June 2022. The 18 full papers were carefully selected from 67 submissions and presented during the two events: 16th International Workshop on Juris-informatics, JURISIN 2022, and JSAI 2022 Intenational Session. This papers present discussion on fundamental and practical issues in Juris-informatics among researchers from various backgrounds such as law, social science, information and intelligent technology, logic, and philosophy, including the conventional AI and Law area.

This book constitutes the refereed proceedings of the 32nd Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2006, held in Merin, Czech Republic in January 2006. The 45 revised full papers, including the best Student Research Forum paper, presented together with 10 invited contributions were carefully reviewed and selected from 157 submissions. The papers were organized in four topical tracks on computer science foundations, wireless, mobile, ad hoc and sensor networks, database technologies, and semantic Web technologies.

"This book disseminates current issues and trends emerging in the field of adult e-learning and online instruction"--Provided by publisher.