Author: Anatoly Alikhanov
Publisher: Springer Nature
ISBN: 3031341279
Category : Technology & Engineering
Languages : en
Pages : 528
Book Description
This book is based on the best papers accepted for presentation during the International Conference on Actual Problems of Applied Mathematics and Computer Systems (APAMCS-2022), Russia. The book includes research materials on modern mathematical problems, solutions in the field of scientific computing, data analysis and modular computing. The scope of numerical methods in scientific computing presents original research, including mathematical models and software implementations, related to the following topics: numerical methods in scientific computing; solving optimization problems; methods for approximating functions, etc. The studies in data analysis and modular computing include contributions in the field of deep learning, neural networks, mathematical statistics, machine learning methods, residue number system and artificial intelligence. Finally, the book gives insights into the fundamental problems in mathematics education. The book intends for readership specializing in the field of scientific computing, parallel computing, computer technology, machine learning, information security and mathematical education.
Current Problems in Applied Mathematics and Computer Science and Systems
Author: Anatoly Alikhanov
Publisher: Springer Nature
ISBN: 3031341279
Category : Technology & Engineering
Languages : en
Pages : 528
Book Description
This book is based on the best papers accepted for presentation during the International Conference on Actual Problems of Applied Mathematics and Computer Systems (APAMCS-2022), Russia. The book includes research materials on modern mathematical problems, solutions in the field of scientific computing, data analysis and modular computing. The scope of numerical methods in scientific computing presents original research, including mathematical models and software implementations, related to the following topics: numerical methods in scientific computing; solving optimization problems; methods for approximating functions, etc. The studies in data analysis and modular computing include contributions in the field of deep learning, neural networks, mathematical statistics, machine learning methods, residue number system and artificial intelligence. Finally, the book gives insights into the fundamental problems in mathematics education. The book intends for readership specializing in the field of scientific computing, parallel computing, computer technology, machine learning, information security and mathematical education.
Publisher: Springer Nature
ISBN: 3031341279
Category : Technology & Engineering
Languages : en
Pages : 528
Book Description
This book is based on the best papers accepted for presentation during the International Conference on Actual Problems of Applied Mathematics and Computer Systems (APAMCS-2022), Russia. The book includes research materials on modern mathematical problems, solutions in the field of scientific computing, data analysis and modular computing. The scope of numerical methods in scientific computing presents original research, including mathematical models and software implementations, related to the following topics: numerical methods in scientific computing; solving optimization problems; methods for approximating functions, etc. The studies in data analysis and modular computing include contributions in the field of deep learning, neural networks, mathematical statistics, machine learning methods, residue number system and artificial intelligence. Finally, the book gives insights into the fundamental problems in mathematics education. The book intends for readership specializing in the field of scientific computing, parallel computing, computer technology, machine learning, information security and mathematical education.
Current Problems of Applied Mathematics and Computer Systems
Author: Anatoly Alikhanov
Publisher: Springer Nature
ISBN: 3031640101
Category :
Languages : en
Pages : 660
Book Description
Publisher: Springer Nature
ISBN: 3031640101
Category :
Languages : en
Pages : 660
Book Description
AISMA-2024: International Workshop on Advanced Information Security Management and Applications
Author: Maria Lapina
Publisher: Springer Nature
ISBN: 3031721713
Category :
Languages : en
Pages : 357
Book Description
Publisher: Springer Nature
ISBN: 3031721713
Category :
Languages : en
Pages : 357
Book Description
Mathematics for Information Technology
Author: Alfred Basta
Publisher: Cengage Learning
ISBN: 9781111127831
Category : Mathematics
Languages : en
Pages : 512
Book Description
MATHEMATICS FOR INFORMATION TECHNOLOGY delivers easy-to-understand and balanced mathematical instruction. Each chapter begins with an application, goes on to present the material with examples, and closes with a summary of the relevant concepts and practice exercises. With numerous illustrations included, students can understand the content from a number of different angles. Whether used in a classroom or an online distance-learning format, students majoring in electronics, computer programming, and information technology will find Mathematics for Information Technology an extremely valuable resource. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.
Publisher: Cengage Learning
ISBN: 9781111127831
Category : Mathematics
Languages : en
Pages : 512
Book Description
MATHEMATICS FOR INFORMATION TECHNOLOGY delivers easy-to-understand and balanced mathematical instruction. Each chapter begins with an application, goes on to present the material with examples, and closes with a summary of the relevant concepts and practice exercises. With numerous illustrations included, students can understand the content from a number of different angles. Whether used in a classroom or an online distance-learning format, students majoring in electronics, computer programming, and information technology will find Mathematics for Information Technology an extremely valuable resource. Important Notice: Media content referenced within the product description or the product text may not be available in the ebook version.
Energy and Water Development Appropriations for 2013
Author: United States. Congress. House. Committee on Appropriations. Subcommittee on Energy and Water Development
Publisher:
ISBN:
Category : Federal aid to energy development
Languages : en
Pages : 948
Book Description
Publisher:
ISBN:
Category : Federal aid to energy development
Languages : en
Pages : 948
Book Description
Energy and Water Development Appropriations for 2013: Dept. of Energy FY 2013 justifications
Author: United States. Congress. House. Committee on Appropriations. Subcommittee on Energy and Water Development
Publisher:
ISBN:
Category : Federal aid to energy development
Languages : en
Pages : 948
Book Description
Publisher:
ISBN:
Category : Federal aid to energy development
Languages : en
Pages : 948
Book Description
Nuclear Science Abstracts
Author:
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1118
Book Description
Publisher:
ISBN:
Category : Nuclear energy
Languages : en
Pages : 1118
Book Description
Electromagnetics and Calculation of Fields
Author: Nathan Ida
Publisher: Springer Science & Business Media
ISBN: 1468405268
Category : Technology & Engineering
Languages : en
Pages : 474
Book Description
The present text is intended as an introduction to electromagnetics and computation of electromagnetic fields. While many texts on electromagnetics exist, the subject of computation of electromagnetic fields is nonnally not treated or is treated in a number of idealized examples, with the main emphasis on development of theoretical relations. "Why another book on Electromagnetics?" This is perhaps the first question the reader may ask when opening this book. It is a valid question, because among the many books on Electromagnetics some are excellent. We have two answers to this question, answers that have motivated the writing of this book. The first concerns the method of presentation of Electromagnetism. Generally, in classical books the material is presented in the following sequence: electrostatics, magnetostatics, magnetodynamics, and wave propagation, using integral fonns of the field equations. As a primary effect of this presentation, the reader is led to think that the knowledge of this science is synonymous to memorizing dozens offonnulas. Additionally, an impression that there is no finn connection between these equations lingers in the reader's mind since at each step new postulates are added, seemingly unrelated to previous material. Our opinion is, and we shall try to convey this to the reader, that the Electromagnetic formalism is extremely simple and based on very few equations. They are the four "Maxwell equations" which include practically all the existent relationships between the electromagnetic quantities. The only additional relationships that need be considered is the Lorentz force and the material constitutive relations.
Publisher: Springer Science & Business Media
ISBN: 1468405268
Category : Technology & Engineering
Languages : en
Pages : 474
Book Description
The present text is intended as an introduction to electromagnetics and computation of electromagnetic fields. While many texts on electromagnetics exist, the subject of computation of electromagnetic fields is nonnally not treated or is treated in a number of idealized examples, with the main emphasis on development of theoretical relations. "Why another book on Electromagnetics?" This is perhaps the first question the reader may ask when opening this book. It is a valid question, because among the many books on Electromagnetics some are excellent. We have two answers to this question, answers that have motivated the writing of this book. The first concerns the method of presentation of Electromagnetism. Generally, in classical books the material is presented in the following sequence: electrostatics, magnetostatics, magnetodynamics, and wave propagation, using integral fonns of the field equations. As a primary effect of this presentation, the reader is led to think that the knowledge of this science is synonymous to memorizing dozens offonnulas. Additionally, an impression that there is no finn connection between these equations lingers in the reader's mind since at each step new postulates are added, seemingly unrelated to previous material. Our opinion is, and we shall try to convey this to the reader, that the Electromagnetic formalism is extremely simple and based on very few equations. They are the four "Maxwell equations" which include practically all the existent relationships between the electromagnetic quantities. The only additional relationships that need be considered is the Lorentz force and the material constitutive relations.
Formal Methods for Trustworthy Computer Systems (FM89)
Author: Dan Craigen
Publisher: Springer Science & Business Media
ISBN: 1447135326
Category : Computers
Languages : en
Pages : 246
Book Description
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. ยท The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap plication of formal methods techniques; 4.
Publisher: Springer Science & Business Media
ISBN: 1447135326
Category : Computers
Languages : en
Pages : 246
Book Description
The 1989 Workshop on the Assessment of Formal Methods for Trustworthy Com puter Systems (FM89} was an invitational workshop that brought together repre sentatives from the research, commercial and governmental spheres of Canada, the United Kingdom, and the United States. The workshop was held in Halifax, Nova Scotia, Canada, from July 23 through July 27, 1989. This document reports the activities, observations, recommendations and conclusions resulting. from FM89. 1. 1 Purpose of Workshop The primary purpose for holding FM89 was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The need for this assessment was predicated upon four observations: 1. Critical systems are increasingly being controlled by computer systems; 2. Existing techniques for developing, assuring and certifying computer-based critical systems are inadequate; 3. Formal methods have the potential for playing the same role in the devel opment of computer-based systems as applied mathematics does for other engineering disciplines; and 4. Formal methods have had limited impact on the development of comput- based systems and supporting technologies. ยท The goal of the workshop was to complete the following tasks: 1. Assess the problems retarding the development of trustworthy critical systems; 2. Determine the (potential) impact of applying formal methods techniques to the development of trustworthy critical systems; 3. Determine the research and development required to facilitate a broader ap plication of formal methods techniques; 4.
Scientific and Technical Aerospace Reports
Author:
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 772
Book Description
Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 772
Book Description