This book provides a collection of papers from the Ninth Workshop on Computing: Theory and Practice, WCTP 2019 devoted to theoretical and practical approaches to computation, which was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad overview of recent research trends in computer science research in Asia, particularly in these two countries. The papers included in the proceedings focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, applications of machine learning, empathic computing, and various applications of information technology.

This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology. The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.

Discover How to Apply DES to Problems Encountered in HTA Discrete event simulation (DES) has traditionally been used in the engineering and operations research fields. The use of DES to inform decisions about health technologies is still in its infancy. Written by specialists at the forefront of this area, Discrete Event Simulation for Health Technology Assessment is the first book to make all the central concepts of DES relevant for health technology assessment (HTA). Accessible to beginners, the book requires no prerequisites and describes the concepts with as little jargon as possible. The book first covers the essential concepts and their implementation. It next provides a fully worked out example using both a widely available spreadsheet program (Microsoft Excel) and a popular specialized simulation package (Arena). It then presents approaches to analyze the simulations, including the treatment of uncertainty; tackles the development of the required equations; explains the techniques to verify that the models are as efficient as possible; and explores the indispensable topic of validation. The book also covers a variety of non-essential yet handy topics, such as the animation of a simulation and extensions of DES, and incorporates a real case study involving screening strategies for breast cancer surveillance. This book guides you in leveraging DES in your assessments of health technologies. After reading the chapters in sequence, you will be able to construct a realistic model designed to help in the assessment of a new health technology.

This book provides a collection of papers from the Ninth Workshop on Computing: Theory and Practice, WCTP 2019 devoted to theoretical and practical approaches to computation, which was organized by four top universities in Japan and the Philippines: Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad overview of recent research trends in computer science research in Asia, particularly in these two countries. The papers included in the proceedings focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, applications of machine learning, empathic computing, and various applications of information technology.

This volume contains the papers presented at the 8th Workshop on Computing: Theory and Practice, WCTP 2018 and is devoted to theoretical and practical approaches to computation. The conference was organized by four top universities in Japan and the Philippines: the Tokyo Institute of Technology, Osaka University, the University of the Philippines Diliman, and De La Salle University. The proceedings provide a broad view of the recent developments in computer science research in Asia, with an emphasis on Japan and the Philippines. The papers focus on both theoretical and practical aspects of computations, such as programming language theory, modeling of software systems, empathic computing, and various applications of information technology. The book will be of interest to academic and industrial researchers interested in recent developments in computer science research.

This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)-2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research-Osaka University, the University of the Philippines Diliman, and De La Salle University-Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing.

Computation should be a good blend of theory and practice, and researchers in the field should create algorithms to address real world problems, putting equal weight on analysis and implementation. Experimentation and simulation can be viewed as yielding to refined theories or improved applications. The Workshop on Computation: Theory and Practice (WCTP)-2011 was the first workshop organized jointly by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research-Osaka University, the University of the Philippines Diliman, and De La Salle University-Manila devoted to theoretical and practical approaches to computation. The aim of the workshop was to present the latest developments by theoreticians and practitioners in academe and industry working to address computational problems that can directly impact the way we live in society. This book comprises the refereed proceedings of WCTP-2011, held in Quezon City, the Philippines, in September 2011. The 16 carefully reviewed and revised full papers presented here deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing..

This book summarizes the research findings presented at the 2nd International Conference on Novel & Intelligent Digital Systems (NiDS 2022). NiDS 2022 was implemented virtually due to COVID-19 restrictions, on September 29-30, 2022, under the auspices of the Institute of Intelligent Systems. NiDS lays special emphasis on the novelties of intelligent systems and on the interdisciplinary research which enables, supports, and enhances artificial intelligence (AI) in software development. It promotes high-quality research, creating a forum for the exploration of challenges and new advances in AI, and addresses experts, researchers, and scholars in the fields of artificial and computational intelligence in systems and in computer sciences in general, enabling them to learn more about pertinent, strongly related, and mutually complementary fields. The conference promotes an exchange of ideas, reinforcing and expanding the network of researchers, academics, and market representatives.

Discover How to Apply DES to Problems Encountered in HTA Discrete event simulation (DES) has traditionally been used in the engineering and operations research fields. The use of DES to inform decisions about health technologies is still in its infancy. Written by specialists at the forefront of this area, Discrete Event Simulation for Health Technology Assessment is the first book to make all the central concepts of DES relevant for health technology assessment (HTA). Accessible to beginners, the book requires no prerequisites and describes the concepts with as little jargon as possible. The book first covers the essential concepts and their implementation. It next provides a fully worked out example using both a widely available spreadsheet program (Microsoft Excel) and a popular specialized simulation package (Arena). It then presents approaches to analyze the simulations, including the treatment of uncertainty; tackles the development of the required equations; explains the techniques to verify that the models are as efficient as possible; and explores the indispensable topic of validation. The book also covers a variety of non-essential yet handy topics, such as the animation of a simulation and extensions of DES, and incorporates a real case study involving screening strategies for breast cancer surveillance. This book guides you in leveraging DES in your assessments of health technologies. After reading the chapters in sequence, you will be able to construct a realistic model designed to help in the assessment of a new health technology.