- Table View
- List View
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings (Lecture Notes in Computer Science #11436)
by Junzo Watada T. V. GopalThis book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019. The 43 revised full papers were carefully reviewed and selected from 60 submissions. The main themes of the selected papers are computability, computer science logic, complexity, algorithms, models of computation, and systems theory.
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings (Lecture Notes in Computer Science #14637)
by Bo Li Xujin ChenThis book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13–15, 2024. The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory, as well as their integration with machine learning theory and the foundations of artificial intelligence.
Theory and Applications of Non-integer Order Systems
by Artur Babiarz Adam Czornik Jerzy Klamka Michał NiezabitowskiThis book collects papers from the 8th Conference on Non-Integer Order Calculus and Its Applications that have been held on September 20-21, 2016 in Zakopane, Poland. The preceding two conferences were held in Szczecin, Poland in 2015, and in Opole, Poland, in 2014. This conference provides a platform for academic exchange on the theory and application of fractional calculus between domestic and international universities, research institutes, corporate experts and scholars. The Proceedings of the 8th Conference on Non-Integer Order Calculus and Its Applications 2016 brings together rigorously reviewed contributions from leading international experts. The included papers cover novel various important aspects of mathematical foundations of fractional calculus, modeling and control of fractional systems as well as controllability, detectability, observability and stability problems for this systems.
Theory and Applications of Time Series Analysis and Forecasting: Selected Contributions from ITISE 2021 (Contributions to Statistics)
by Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier HerreraThis book presents a selection of peer-reviewed contributions on the latest developments in time series analysis and forecasting, presented at the 7th International Conference on Time Series and Forecasting, ITISE 2021, held in Gran Canaria, Spain, July 19-21, 2021. It is divided into four parts. The first part addresses general modern methods and theoretical aspects of time series analysis and forecasting, while the remaining three parts focus on forecasting methods in econometrics, time series forecasting and prediction, and numerous other real-world applications. Covering a broad range of topics, the book will give readers a modern perspective on the subject.The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2018 (Contributions to Statistics)
by Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando RojasThis book presents selected peer-reviewed contributions from the International Conference on Time Series and Forecasting, ITISE 2018, held in Granada, Spain, on September 19-21, 2018. The first three parts of the book focus on the theory of time series analysis and forecasting, and discuss statistical methods, modern computational intelligence methodologies, econometric models, financial forecasting, and risk analysis. In turn, the last three parts are dedicated to applied topics and include papers on time series analysis in the earth sciences, energy time series forecasting, and time series analysis and prediction in other real-world problems. The book offers readers valuable insights into the different aspects of time series analysis and forecasting, allowing them to benefit both from its sophisticated and powerful theory, and from its practical applications, which address real-world problems in a range of disciplines. The ITISE conference series provides a valuable forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the field of time series analysis and forecasting. It focuses on interdisciplinary and multidisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2019 (Contributions to Statistics)
by Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier HerreraThis book presents a selection of peer-reviewed contributions on the latest advances in time series analysis, presented at the International Conference on Time Series and Forecasting (ITISE 2019), held in Granada, Spain, on September 25-27, 2019. The first two parts of the book present theoretical contributions on statistical and advanced mathematical methods, and on econometric models, financial forecasting and risk analysis. The remaining four parts include practical contributions on time series analysis in energy; complex/big data time series and forecasting; time series analysis with computational intelligence; and time series analysis and prediction for other real-world problems. Given this mix of topics, readers will acquire a more comprehensive perspective on the field of time series analysis and forecasting.The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Applications of Time Series Analysis: Selected Contributions from ITISE 2022 (Contributions to Statistics)
by Ignacio Rojas Héctor Pomares Olga Valenzuela Fernando Rojas Luis Javier HerreraThis book presents the latest developments in the theory and applications of time series analysis and forecasting. Comprising a selection of refereed papers, it is divided into several parts that address modern theoretical aspects of time series analysis, forecasting and prediction, with applications to various disciplines, including econometrics and energy research. The broad range of topics discussed, including matters of particular relevance for sustainable development, will give readers a modern perspective on the subject.The included contributions were originally presented at the 8th International Conference on Time Series and Forecasting, ITISE 2022, held in Gran Canaria, Spain, June 27-30, 2022. The ITISE conference series provides a forum for scientists, engineers, educators and students to discuss the latest advances and implementations in the foundations, theory, models and applications of time series analysis and forecasting. It focuses on interdisciplinary research encompassing computer science, mathematics, statistics and econometrics.
Theory and Approaches of Unascertained Group Decision-Making (Systems Evaluation, Prediction, And Decision-making Ser.)
by Jianjun ZhuTackling the question of how to effectively aggregate uncertain preference information in multiple structures given by decision-making groups, Theory and Approaches of Unascertained Group Decision-Making focuses on group aggregation methods based on uncertainty preference information. It expresses the complexity existing in each group decision-maki
Theory and Computation of Complex Tensors and its Applications
by Yimin Wei Maolin CheThe book provides an introduction of very recent results about the tensors and mainly focuses on the authors' work and perspective. A systematic description about how to extend the numerical linear algebra to the numerical multi-linear algebra is also delivered in this book. The authors design the neural network model for the computation of the rank-one approximation of real tensors, a normalization algorithm to convert some nonnegative tensors to plane stochastic tensors and a probabilistic algorithm for locating a positive diagonal in a nonnegative tensors, adaptive randomized algorithms for computing the approximate tensor decompositions, and the QR type method for computing U-eigenpairs of complex tensors.This book could be used for the Graduate course, such as Introduction to Tensor. Researchers may also find it helpful as a reference in tensor research.
Theory and Modeling of Polymer Nanocomposites (Springer Series in Materials Science #310)
by Valeriy V. Ginzburg Lisa M. HallThis edited volume brings together the state of the art in polymer nanocomposite theory and modeling, creating a roadmap for scientists and engineers seeking to design new advanced materials. The book opens with a review of molecular and mesoscale models predicting equilibrium and non-equilibrium nanoscale structure of hybrid materials as a function of composition and, especially, filler types. Subsequent chapters cover the methods and analyses used for describing the dynamics of nanocomposites and their mechanical and physical properties. Dedicated chapters present best practices for predicting materials properties of practical interest, including thermal and electrical conductivity, optical properties, barrier properties, and flammability. Each chapter is written by leading academic and industrial scientists working in each respective sub-field. The overview of modeling methodology combined with detailed examples of property predictions for specific systems will make this book useful for academic and industrial practitioners alike.
Theory and Practice of Computation: Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2019), September 26-27, 2019, Manila, The Philippines
by Shin-Ya NishizakiThis 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.
Theory and Practice of Lesson Study in Mathematics: An International Perspective (Advances in Mathematics Education)
by Rongjin Huang João Pedro da Ponte Akihiko TakahashiThis book brings together and builds on the current research efforts on adaptation, conceptualization, and theorization of Lesson Study (LS). It synthesizes and illustrates major perspectives for theorizing LS and enriches the conceptualization of LS by interpreting the activity as it is used in Japan and China from historical and cultural perspectives. Presenting the practices and theories of LS with practicing teachers and prospective teachers in more than 10 countries, it enables the reader to take a comparative perspective. Finally, the book presents and discusses studies on key aspects of LS such as lesson planning, post-lesson discussion, guiding theories, connection between research and practice, and upscaling.Lesson Study, which has originated in Asia as a powerful effective professional development model, has spread globally. Although the positive effects of lesson study on teacher learning, student learning, and curriculum reforms have been widely documented, conceptualization of and research on LS have just begun to emerge. This book, including 38 chapters contributed by 90 scholars from 21 countries, presents a truly international collaboration on research on and adaptation of LS, and significantly advances the development of knowledge about this process.Chapter 15: "How Variance and Invariance Can Inform Teachers’ Enactment of Mathematics Lessons" of this book is available open access under a CC BY 4.0 license at link.springer.comTheory and Practice of Lesson Study in Mathematics: An International Perspective shows that the power of Lesson Study to transform the role of teachers in classroom research cannot be explained by a simple replication model. Here we see Lesson Study being successful internationally when its key principles and practices are taken seriously and are adapted to meet local issues and challenges. (Max Stephens, Senior research fellow at The University of Melbourne)It works. Instruction improves, learning improves. Wide scale? Enduring? Deep impact? Lesson study has it. When something works as well as lesson study does, while alternative systems for improving instruction fail, or only succeed on small scale or evaporate as quickly as they show promise, it is time to understand how and why lesson study works. This volume brings the research on lesson study together from around the world. Here is what we already know and here is the way forward for research and practice informed by research. It is time to wake up and pay attention to what has worked so well, on wide scale for so long.(Phil Dara, A leading author of the Common Core State Standards of Mathematics in the U.S.)
Theory and Practice of Relational Databases
by Bob Champion Stefan Stanczyk Richard LeytonThe study of relationship databases is a core component of virtually every undergraduate computer science degree course. This new edition of Theory and Practice of Relationship Databases retains all the features that made the previous edition such as success, and goes on to give even more comprehensive and informative coverage.Written in a tutorial style and containing a great many examples and exercises as well as extensively using illustrative and explanatory graphics, the author has produced an undergraduate textbook of great depth and clarity that is very easy to follow. The subject of relational databases is brought to life by the writing style and the inclusion of an homogenous case study that reinforces the issues dealt with in each chapter.The primary objective of the book is to present a comprehensive explanation of the process of development of database application systems within the framework of a set processing paradigm. Since the majority of these applications are built as relationship systems, a complete though reasonably concise account of that model is presented. Dr. Stanczyk has achieved this by concentrating on the issues that contribute significantly to the application development while de-emphasizing purely theoretical aspects of the subject. This has led to an imaginative and highly practical textbook that will be an excellent read for the undergraduate computer science student.
Theory and Practice of STEAM Education in Japan (Routledge Research in Education)
by Tetsuo IsozakiWith unique insights into the potential power of Japan’s STEM education, Isozaki and his team of contributors share multiple perspectives on STEM education theory and practices in Japan.Examining how Japan has become an economic superpower based on scientific and technological innovations, this book provides a particular focus on the theoretical and practical analysis of STEM education from historical and comparative perspectives. Additionally, it links the theory and practice of STEM education from primary education to teacher education at universities across Japan and considers both societal and individual needs in advancing STEM literacy. Chapters are written by researchers from a diverse range of fields in education, including science, mathematics, technology, and pedagogy. The book also offers practical teaching tools and materials for teacher education and assessment to promote STEM literacy in students so that they are able to address local and global socio-scientific issues in a real-world context.Covering a wide spectrum of STEM education, this book provides valuable insights and practical suggestions, from a Japanese perspective, for academic researchers, policymakers, and educators who are interested in STEM education.
Theory and Practice: A History of Two Centuries of Dutch Mathematics Education (International Studies in the History of Mathematics and its Teaching)
by Harm Jan SmidThis book describes and analyses the history of Dutch mathematics education from the point of view of the changing motivations behind the teaching of mathematics over a 200 year period. During the course of the 19th century, mathematics in the Netherlands developed from a topic for practitioners into a school topic that was taught to almost all pupils of secondary education. As mathematics teaching gradually lost its practical orientation and became more and more motivated on the basis of its supposed formative value, the HBS (Hogere Burgerschool), the Dutch variant of the German Realschule, became the dominant school of thought for mathematics pedagogy. This book examines the gradual development of the field, culminating in the country-wide adoption of Realistic Mathematics Education as the new method of mathematics teaching. This book is important for anyone who is interested in the history of mathematics education. It provides an interesting perspective on the development of mathematics education in a country that, in many aspects, went its own way.
Theory and Principled Methods for the Design of Metaheuristics
by Yossi Borenstein Alberto MoraglioMetaheuristics, and evolutionary algorithms in particular, are known to provide efficient, adaptable solutions for many real-world problems, but the often informal way in which they are defined and applied has led to misconceptions, and even successful applications are sometimes the outcome of trial and error. Ideally, theoretical studies should explain when and why metaheuristics work, but the challenge is huge: mathematical analysis requires significant effort even for simple scenarios and real-life problems are usually quite complex. In this book the editors establish a bridge between theory and practice, presenting principled methods that incorporate problem knowledge in evolutionary algorithms and other metaheuristics. The book consists of 11 chapters dealing with the following topics: theoretical results that show what is not possible, an assessment of unsuccessful lines of empirical research; methods for rigorously defining the appropriate scope of problems while acknowledging the compromise between the class of problems to which a search algorithm is applied and its overall expected performance; the top-down principled design of search algorithms, in particular showing that it is possible to design algorithms that are provably good for some rigorously defined classes; and, finally, principled practice, that is reasoned and systematic approaches to setting up experiments, metaheuristic adaptation to specific problems, and setting parameters. With contributions by some of the leading researchers in this domain, this book will be of significant value to scientists, practitioners, and graduate students in the areas of evolutionary computing, metaheuristics, and computational intelligence.
Theory and Simulation Methods for Electronic and Phononic Transport in Thermoelectric Materials (SpringerBriefs in Physics)
by Neophytos NeophytouThis book introduces readers to state-of-the-art theoretical and simulation techniques for determining transport in complex band structure materials and nanostructured-geometry materials, linking the techniques developed by the electronic transport community to the materials science community. Starting from the semi-classical Boltzmann Transport Equation method for complex band structure materials, then moving on to Monte Carlo and fully quantum mechanical models for nanostructured materials, the book addresses the theory and computational complexities of each method, as well as their advantages and capabilities. Presented in language that is accessible to junior computational scientists, while including enough detail and depth with regards to numerical implementation to tackle modern research problems, it offers a valuable resource for computational scientists and postgraduate researchers whose work involves the theory and simulation of electro-thermal transport in advanced materials.
Theory and Simulation in Physics for Materials Applications: Cutting-Edge Techniques in Theoretical and Computational Materials Science (Springer Series in Materials Science #296)
by Elena V. Levchenko Yannick J. Dappe Guido OriThis book provides a unique and comprehensive overview of the latest advances, challenges and accomplishments in the rapidly growing field of theoretical and computational materials science. Today, an increasing number of industrial communities rely more and more on advanced atomic-scale methods to obtain reliable predictions of materials properties, complement qualitative experimental analyses and circumvent experimental difficulties. The book examines some of the latest and most advanced simulation techniques currently available, as well as up-to-date theoretical approaches adopted by a selected panel of twelve international research teams. It covers a wide range of novel and advanced materials, exploring their structural, elastic, optical, mass and electronic transport properties. The cutting-edge techniques presented appeal to physicists, applied mathematicians and engineers interested in advanced simulation methods in materials science. The book can also be used as additional literature for undergraduate and postgraduate students with majors in physics, chemistry, applied mathematics and engineering.
Theory and Simulation of Random Phenomena: Mathematical Foundations and Physical Applications (UNITEXT for Physics)
by Ettore Vitali Mario Motta Davide Emilio GalliThe purpose of this book is twofold: first, it sets out to equip the reader with a sound understanding of the foundations of probability theory and stochastic processes, offering step-by-step guidance from basic probability theory to advanced topics, such as stochastic differential equations, which typically are presented in textbooks that require a very strong mathematical background. Second, while leading the reader on this journey, it aims to impart the knowledge needed in order to develop algorithms that simulate realistic physical systems. Connections with several fields of pure and applied physics, from quantum mechanics to econophysics, are provided. Furthermore, the inclusion of fully solved exercises will enable the reader to learn quickly and to explore topics not covered in the main text. The book will appeal especially to graduate students wishing to learn how to simulate physical systems and to deepen their knowledge of the mathematical framework, which has very deep connections with modern quantum field theory.
Theory and Statistical Applications of Stochastic Processes
by Yuliya Mishura Georgiy ShevchenkoThis book is concerned with the theory of stochastic processes and the theoretical aspects of statistics for stochastic processes. It combines classic topics such as construction of stochastic processes, associated filtrations, processes with independent increments, Gaussian processes, martingales, Markov properties, continuity and related properties of trajectories with contemporary subjects: integration with respect to Gaussian processes, Itȏ integration, stochastic analysis, stochastic differential equations, fractional Brownian motion and parameter estimation in diffusion models.
Theory and Synthesis of Linear Passive Time-Invariant Networks
by Dante C. YoulaExploring the overlap of mathematics and engineering network synthesis, this book presents a rigorous treatment of the key principles underpinning linear lumped passive time-invariant networks. Based around a series of lectures given by the author, this thoughtfully written book draws on his wide experience in the field, carefully revealing the essential mathematical structure of network synthesis problems. Topics covered include passive n-ports, broadband matching, the design of passive multiplexes and two-state passive devices. It also includes material not usually found in existing texts, such as the theoretical behavior of transverse electromagnetic (TEM) coupled transmission lines. Introducing fundamental principles in a formal theorem-proof style, illustrated by worked examples, this book is an invaluable resource for graduate students studying linear networks and circuit design, academic researchers, and professional circuit engineers.
Theory and Technology of Roll Stamping
by Vyacheslav Aleksandrovich Golenkov Sergey Yuryevich Radchenko Daniil Olegovich DorokhovThis book gives a complete overview of the roll stamping process of metal forming. This fundamentally new technique features an integrated local loading of the plastic deformation zone of the workpiece, simultaneously combining the die forging operation and local deformation of the deformation zone by rotating rollers or drive rolls. The book presents the basics of the theory behind roll stamping, delivering a complete technical analysis including the key results of mathematical modeling studies and a discussion of methodologies for designing novel roll stamping techniques. The aim of the new metal forming processes proposed in the book is directed toward the production of competitive equipment for fabrication of various mechanical parts having enhanced materials and physical properties in combination with a low cost of production and maintenance. This book is an ideal resource for any student or practicing engineer working with the roll stamping process.
Theory of Affine Projection Algorithms for Adaptive Filtering
by Kazuhiko OzekiThis book focuses on theoretical aspects of the affine projection algorithm (APA) for adaptive filtering. The APA is a natural generalization of the classical, normalized least-mean-squares (NLMS) algorithm. The book first explains how the APA evolved from the NLMS algorithm, where an affine projection view is emphasized. By looking at those adaptation algorithms from such a geometrical point of view, we can find many of the important properties of the APA, e. g. , the improvement of the convergence rate over the NLMS algorithm especially for correlated input signals. After the birth of the APA in the mid-1980s, similar algorithms were put forward by other researchers independently from different perspectives. This book shows that they are variants of the APA, forming a family of APAs. Then it surveys research on the convergence behavior of the APA, where statistical analyses play important roles. It also reviews developments of techniques to reduce the computational complexity of the APA, which are important for real-time processing. It covers a recent study on the kernel APA, which extends the APA so that it is applicable to identification of not only linear systems but also nonlinear systems. The last chapter gives an overview of current topics on variable parameter APAs. The book is self-contained, and is suitable for graduate students and researchers who are interested in advanced theory of adaptive filtering.
Theory of Agglomerative Hierarchical Clustering (Behaviormetrics: Quantitative Approaches to Human Behavior #15)
by Sadaaki MiyamotoThis book discusses recent theoretical developments in agglomerative hierarchical clustering. The general understanding of agglomerative hierarchical clustering is that its theory was completed long ago and there is no room for further methodological studies, at least in its fundamental structure. This book has been planned counter to that view: it will show that there are possibilities for further theoretical studies and they will be not only for methodological interests but also for usefulness in real applications. When compared with traditional textbooks, the present book has several notable features. First, standard linkage methods and agglomerative procedure are described by a general algorithm in which dendrogram output is expressed by a recursive subprogram. That subprogram describes an abstract tree structure, which is used for a two-stage linkage method for a greater number of objects. A fundamental theorem for single linkage using a fuzzy graph is proved, which uncovers several theoretical features of single linkage. Other theoretical properties such as dendrogram reversals are discussed. New methods using positive-definite kernels are considered, and some properties of the Ward method using kernels are studied. Overall, theoretical features are discussed, but the results are useful as well for application-oriented users of agglomerative clustering.
Theory of Algebraic Surfaces (SpringerBriefs in Mathematics)
by Kunihiko KodairaThis is an English translation of the book in Japanese, published as the volume 20 in the series of Seminar Notes from The University of Tokyo that grew out of a course of lectures by Professor Kunihiko Kodaira in 1967. It serves as an almost self-contained introduction to the theory of complex algebraic surfaces, including concise proofs of Gorenstein's theorem for curves on a surface and Noether's formula for the arithmetic genus. It also discusses the behavior of the pluri-canonical maps of surfaces of general type as a practical application of the general theory. The book is aimed at graduate students and also at anyone interested in algebraic surfaces, and readers are expected to have only a basic knowledge of complex manifolds as a prerequisite.