- Table View
- List View
Integration and Cubature Methods: A Geomathematically Oriented Course (Chapman & Hall/CRC Monographs and Research Notes in Mathematics)
by Willi Freeden Martin GuttingIn industry and economics, the most common solutions of partial differential equations involving multivariate numerical integration over cuboids include techniques of iterated one-dimensional approximate integration. In geosciences, however, the integrals are extended over potato-like volumes (such as the ball, ellipsoid, geoid, or the Earth) and their boundary surfaces which require specific multi-variate approximate integration methods. Integration and Cubature Methods: A Geomathematically Oriented Course provides a basic foundation for students, researchers, and practitioners interested in precisely these areas, as well as breaking new ground in integration and cubature in geomathematics.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part I (Lecture Notes in Computer Science #14742)
by Bistra DilkinaThis book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024. The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28–31, 2024, Proceedings, Part II (Lecture Notes in Computer Science #14743)
by Bistra DilkinaThis book constitutes the proceedings of the 21st International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2024, held in Uppsala, Sweden, during May 28–31, 2024.The 33 full papers and the 9 short papers presented in the proceedings were carefully reviewed and selected from a total of 104 submissions. The content of the papers focus on new techniques or applications in the area and foster the integration of techniques from different fields dealing with large and complex problems.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part I (Lecture Notes in Computer Science #15762)
by Guido TackThis two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2025, held in Melbourne, VIC, Australia, November 10–13, 2025.The 30 full papers and the 2 short papers presented in the proceedings were carefully reviewed and selected from a total of 68 submissions.The conference featured a masterclass and several joint invited talks that covered topics of interest at the intersection of constraint programming, artificial Intelligence, operations research, planning and scheduling, and knowledge representation.
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10–13, 2025, Proceedings, Part II (Lecture Notes in Computer Science #15763)
by Guido TackThis two-volume set LNCS 15762-15763 constitutes the proceedings of the 22nd International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2025, held in Melbourne, VIC, Australia, November 10–13, 2025.The 30 full papers and the 2 short papers presented in the proceedings were carefully reviewed and selected from a total of 68 submissions.The conference featured a masterclass and several joint invited talks that covered topics of interest at the intersection of constraint programming, artificial Intelligence, operations research, planning and scheduling, and knowledge representation.
Integration, Measure and Probability
by H. R. PittThis text provides undergraduate mathematics students with an introduction to the modern theory of probability as well as the roots of the theory's mathematical ideas and techniques. Centered around the concept of measure and integration, the work is applicable to other branches of analysis and explores more specialized topics, including convergence theorems and random sequences and functions. 1963 edition.
Integrative Problem-Solving in a Time of Decadence
by George ChristakosPresents a unique study of Integrative Problem-Solving (IPS). The consideration of 'Decadence' is essential in the scientific study of environmental and other problems and their rigorous solution, because the broad context within which the problems emerge can affect their solution. Stochastic reasoning underlines the conceptual and methodological framework of IPS, and its formulation has a mathematical life of its own that accounts for the multidisciplinarity of real world problems, the multisourced uncertainties characterizing their solution, and the different thinking modes of the people involved. Only by interpolating between the full range of disciplines (including stochastic mathematics, physical science, neuropsychology, philosophy, and sociology) and the associated thinking modes can scientists arrive at a satisfactory account of problem-solving, and be able to distinguish between a technically complete problem-solution, and a solution that has social impact.
Integrative Statistics for the Social and Behavioral Sciences
by Renee R. Ha James C. HaDesigned to engage students and lower their "fear factor", Integrative Statistics for the Social and Behavioral Sciences is a concise, user-friendly text that prepares students to use statistics in the real world. Providing depth and breadth of statistical tests, the text focuses on choosing the appropriate statistical analysis, and shows how to interpret the output and present the results.
Integrity of Randomized Clinical Trials: How to prevent research misconduct and ensure transparency
by Khalid S. KhanToday, scientists are expected to be more accountable and transparent than at any other time in history. Globally, the pursuit of knowledge creation enjoys a place of distinction, and the public expects to reap considerable benefits from the innovative contributions made by researchers. It is, therefore, more important than ever that ethics, transparency, and professionalism explicitly guide research integrity.Despite the clear importance of acquiring a fundamental understanding of clinical trials in the context of health research and innovation, medical training generally fails to cover clinical trial integrity in its curriculum, including it neither at the undergraduate nor at the postgraduate levels. This new book provides a curriculum to address this gap, offering best practice guidelines to improve the quality, openness, and trustworthiness of clinical trials and filling a current void in the market.Key Features: The first book on clinical trial integrity Provides clear guidance on how to ensure probity in peer review, appraisal of trials, and investigation of complaints concerning misconduct in clinical trials Trains and supports researchers globally on how to undertake trials with integrity Ensures that the increasing demand for public documentation of all aspects throughout the lifecycle of a clinical trial can be met This book is essential reading for master and doctoral students undertaking courses in clinical trials, epidemiology, and medical statistics and an invaluable reference for medical journal editors and peer reviewers, clinicians who recruit patients into trials, pharmaceutical industry professionals, patient and public representatives who engage in clinical trials, systematic reviewers, guideline writers, and funders and regulators of clinical trials.
Integro-Differential Elliptic Equations (Progress in Mathematics #350)
by Xavier Ros-Oton Xavier Fernández-RealThis monograph offers a self-contained introduction to the regularity theory for integro-differential elliptic equations, mostly developed in the 21st century. This class of equations finds relevance in fields such as analysis, probability theory, mathematical physics, and in several contexts in the applied sciences. The work gives a detailed presentation of all the necessary techniques, with a primary focus on the main ideas rather than on proving all the results in their greatest generality. The basic building blocks are presented first, with the study of the square root of the Laplacian, and weak solutions to linear equations. Subsequently, the theory of viscosity solutions to nonlinear equations is developed, and proofs are provided for the main known results in this context. The analysis finishes with the investigation of obstacle problems for integro-differential operators and establishes the regularity of solutions and free boundaries. A distinctive feature of this work lies in its presentation of nearly all covered material in a monographic format for the first time, and several proofs streamline, and often simplify, those in the original papers. Furthermore, various open problems are listed throughout the chapters.
Integrodifference Equations in Spatial Ecology (Interdisciplinary Applied Mathematics #49)
by Frithjof LutscherThis book is the first thorough introduction to and comprehensive treatment of the theory and applications of integrodifference equations in spatial ecology. Integrodifference equations are discrete-time continuous-space dynamical systems describing the spatio-temporal dynamics of one or more populations. The book contains step-by-step model construction, explicitly solvable models, abstract theory and numerical recipes for integrodifference equations. The theory in the book is motivated and illustrated by many examples from conservation biology, biological invasions, pattern formation and other areas. In this way, the book conveys the more general message that bringing mathematical approaches and ecological questions together can generate novel insights into applications and fruitful challenges that spur future theoretical developments. The book is suitable for graduate students and experienced researchers in mathematical ecology alike.
Intellectual Development and Mathematics Learning
by Chongde LinThis book introduces the outcomes of author’s 40 years of research, especially the theory of “the Triangular Pyramid Structure of Thinking” that he independently proposed, and the application of his development theory in the field of mathematics education. The book firstly explains the substantial character of intelligence, the development law of intelligence, and the relationship between intelligence development and creativity cultivation. Secondly, it discusses the structure of mathematical thinking of children and adolescents from 0 to 18 years old, and the methods of developing students’ thinking ability and the quality of intelligence through arithmetic learning. In the end, this book also demonstrates the characteristics of the development of mathematical thinking ability of children at age 0-6, elementary school students, and secondary school students, and the related latest research in this field. Based on the theory of “the Triangular Pyramid Structure of Thinking”, a number of examples are given to illustrate how the theory of intelligence development can be used in mathematics teaching to promote the development of students’ thinking abilities and to improve the quality of teaching.This book covers various areas including psychology, mathematics, and education. It has a great reference value for scholars in the field of psychology to study the theory of intelligence and the structure of thinking, providing guidance for parents and mathematics teachers to promote children’s quality of intelligence and mathematical thinking abilities, and to enhance their mathematics learning effects. In addition, it provides examples for psychological research to serve specific subject teaching in elementary and secondary schools.
Intellectual Property Statistics: Measuring Framework for Standards and Trade in Ideas (Contributions to Economics)
by Eskil UllbergPatents and other intellectual property (IP) rights are increasingly part of cross-border trade in their own rights. Patent transfers and patent licensing between inventors, investors and innovators create new business strategies of cooperation in the creation of new technology – increasing the productivity in the stock of technology assets – and efficient “distribution” of these rights. The rights bundles are then used – also increasingly – in products and services being traded cross-border, furthering economic efficiency created by this cooperative strategy. Today’s international trade statistics, however, lack statistics explicitly on trade flows from ideas, based on IP rights. This book offers an idea based statistical framework to measure IP, (i.e., increasingly depends on trade in ideas) and explores ways to introduce the framework into international standards. Specifically, it offers a theory of value to measure the flows from IP and an asset view of IP to deal with allocation of resources and who owns these rights. This is then contrasted with the current way IP is treated and a “gap analysis” is used to identify what needs to change in the standards. This new framework can help develop theories, policies, practices and inform the decisions needed to better leverage the human capital formation of inventors everywhere. Praise for Intellectual Property Statistics… “In this book, Prof. Ullberg has undertaken a Herculean task – to lay out a paradigm for the collection of IP Statistics to ensure that the … market of trade in ideas has the information and data necessary to function well. [the] volume should be viewed as a starting point, a work in progress, but an important one that could very well influence the development of this important set of data on trade in ideas. At a time when global issues … require both new ideas and the spread of those ideas widely to help ensure both economic growth and continued global economic convergence data that helps us monitor and evaluate what is happening in trade in ideas will be extremely valuable.” – Robert Koopman, American University, Washington, DC, USA and Former Chief Economist, World Trade Organization, Geneva, Switzerland
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part I (Communications in Computer and Information Science #2146)
by Yong Liu Kangshun LiThis two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18–19, 2023. The 82 full papers included in these proceedings were carefully reviewed and selected from 178 submissions. The papers presented in these two volumes are organized in the following topical sections: Part I: Frontiers of evolutionary Intelligent Optimization Algorithms; Exploration of computer vision; Machine learning and its applications. Part II: Machine Learning and its applications; Big data analysis and Information security; Intelligent application of computer.
Intelligence Computation and Applications: 14th International Symposium, ISICA 2023, Guangzhou, China, November 18–19, 2023, Revised Selected Papers, Part II (Communications in Computer and Information Science #2147)
by Yong Liu Kangshun LiThis two-volume set, CCIS 2146 and CCIS 2147, constitutes the refereed proceedings of the 14th International Symposium on Intelligence Computation and Applications, ISICA 2023, held in Guangzhou, China, during November 18–19, 2023. The 82 full papers included in these proceedings were carefully reviewed and selected from 178 submissions. The papers presented in these two volumes are organized in the following topical sections: Part I: Frontiers of evolutionary Intelligent Optimization Algorithms; Exploration of computer vision; Machine learning and its applications. Part II: Machine Learning and its applications; Big data analysis and Information security; Intelligent application of computer.
Intelligence Optimization for Green Scheduling in Manufacturing Systems (Engineering Applications of Computational Methods #18)
by Liang Gao Xinyu Li Chao Lu Lvjiang YinThis book investigates in detail production scheduling technology in different kinds of shop environment to achieve sustainability manufacturing. Studies on shop scheduling have attracted engineers and scientists from various disciplines, such as electrical, mechanical, automation, computer, and industrial engineering. Pursuing a holistic approach, the book establishes a fundamental framework for this topic, while emphasizing the importance of intelligent optimization and the significant influence of production scheduling in the manufacturing systems. The book is intended for undergraduate and graduate students who are interested in intelligent optimization technology, shop scheduling, and green manufacturing systems or other scheduling applications.
Intelligent Bridge Maintenance and Management: Emerging Digital Technologies (Springer Tracts in Civil Engineering)
by Gang Wu Ji Dang ZhiQiang ChenThis book provides a timely introduction to the methodology of Intelligent Bridge Maintenance and Management (IBM&M) and a comprehensive synthesis of emerging digital technologies for realizing IBM&M. The authors, who carry research, teaching, and consulting experience in the USA, Japan, and China, present the background, principles, methods, and application examples of essential IBM&M solutions in eight dedicated chapters. The digital technologies covered in this book include: • Artificial intelligence, big data, machine learning, computer vision. • Data fusion, 3D building information, digital twin modeling, virtual and augmented reality. • Internet of things sensors, robotics including unmanned vehicles. The book targets the audience in the broader Bridge Engineering community, including academic researchers, students, bridge owners, and technology providers.
Intelligent City Evaluation System (Strategic Research on Construction and Promotion of China's Intelligent Cities)
by Zhiqiang WuThis book assesses various intelligent-city evaluation systems around the globe, and subsequently combines that assessment with local-government and enterprise practices to create an evaluation index system for quantifying the Intelligent City concept. In addition, the book provides the results of the CityIQ indicator ranking of intelligent cities in China and worldwide, a system that focuses on three of the most crucial aspects of urban development: the development environment, future trends, and construction and operation. After data sorting, calculation and dimensionless treatment, a score system ranging from 0 to 100 is created for ranking and analyzing cities. Providing unique strategies for promoting an intelligent city evaluation system, the book offers a valuable reference guide for intelligent-city decision-makers, as well as leaders in public urban economy, social welfare and environmental authorities.
Intelligent Comparisons: Analytic Inequalities
by George A. AnastassiouThis monograph presents recent and original work of the author on inequalities in real, functional and fractional analysis. The chapters are self-contained and can be read independently, they include an extensive list of references per chapter. The book's results are expected to find applications in many areas of applied and pure mathematics, especially in ordinary and partial differential equations and fractional differential equations. As such this monograph is suitable for researchers, graduate students, and seminars of the above subjects, as well as Science and Engineering University libraries.
Intelligent Computer Mathematics
by Manfred Kerber Jacques Carette Cezary Kaliszyk Florian Rabe Volker SorgeThis book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions. The papers are organized in topical sections following the tracks of the conference: Invited Talks; Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Projects and Surveys; Systems and Data.
Intelligent Computer Mathematics
by Herman Geuvers Florian Rabe Matthew England Osman Hasan Olaf TeschkeThis book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on Systems and Projects descriptions that span both the Calculemus and MKM topics, all held in Bertinoro, Italy, in July 2011. All 51 submissions passed through a rigorous review process. A total of 15 papers were submitted to Calculemus, of which 9 were accepted. Systems and Projects track 2011 there have been 12 papers selected out of 14 submissions while MKM 2011 received 22 submissions, of which 9 were accepted for presentation and publication. The events focused on the use of AI techniques within symbolic computation and the application of symbolic computation to AI problem solving; the combination of computer algebra systems and automated deduction systems; and mathematical knowledge management, respectively.
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings (Lecture Notes in Computer Science #11006)
by Florian Rabe William M. Farmer Grant O. Passmore Abdou YoussefThis book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Intelligent Computer Mathematics: 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings (Lecture Notes in Computer Science #12833)
by Fairouz Kamareddine Claudio Sacerdoti CoenThis book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.* The conference was held virtually due to the COVID-19 pandemic.
Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings (Lecture Notes in Computer Science #14101)
by Manfred Kerber Catherine DuboisThis book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023.The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.
Intelligent Computers, Algorithms, and Applications: 4th BenchCouncil International Symposium, IC 2024, Guangzhou, China, December 4–6, 2024, Revised Selected Papers (Communications in Computer and Information Science #2517)
by Weiping Li Chunjie LuoThis book constitutes the proceedings of the 4th BenchCouncil International Symposium on Intelligent Computers, Algorithms, and Applications, IC 2024, held in Guangzhou, China, during December 4–6, 2024. The 16 full papers included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: Algorithms; Education; Evaluation; System.