Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This volume presents a selection of in-depth studies and state-of-the-art surveys of several challenging topics that are at the forefront of modern applied mathematics, mathematical modeling, and computational science.  These three areas represent the foundation upon which the methodology of mathematical modeling and computational experiment is built as a tool in all areas of applications of mathematics. The articles cover both fundamental and applied research, and provide the reader with state-of-the-art achievements in the development and application of new theories at the interfaces of applied mathematics, modeling, and computational science. The book can serve as a reference on several important current topics in modern applied mathematics and modeling, including random matrix theory with its innovative applications, and dynamic blocking problems. Other important areas covered include: energy stable weighted essentially non-oscillatory schemes with applications in fluid dynamics and aerospace sciences; elliptic curves over finite fields and their applications in cryptography; multiple scale methods coupling network and continuum models and their applications in various areas involving porous media; new and efficient finite difference schemes for hyperbolic equations; statistical geometric  and topological techniques and their applications in the life sciences; optimal control applications combining discrete and continuous features. The material presented in this book aims at fostering interdisciplinary collaborations required to meet the modern challenges of applied mathematics, modeling and computational science. At the same time, the contributions combine rigorous mathematical and computational procedures and examples from a variety of applications ranging from engineering to life sciences, and provide a rich source for graduate student projects.

Computer science -- Mathematics. --- Mathematical models. --- Mathematics. --- Mathematics --- Mathematical models --- Computer science --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Applied Mathematics --- Mathematical Theory --- Mathematics - General --- Computer simulation. --- Computer science. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Informatics --- Models, Mathematical --- Computer modeling --- Computer models --- Modeling, Computer --- Models, Computer --- Simulation, Computer --- Math --- Applied mathematics. --- Engineering mathematics. --- Biomathematics. --- Mathematical Modeling and Industrial Mathematics. --- Applications of Mathematics. --- Mathematical and Computational Biology. --- Simulation methods --- Science --- Biology --- Engineering --- Engineering analysis --- Mathematical analysis --- Electromechanical analogies --- Model-integrated computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Applications of Computer Algebra (ACA) conference covers a wide range of topics from Coding Theory to Differential Algebra to Quantam Computing, focusing on the interactions of these and other areas with the discipline of Computer Algebra. This volume provides the latest developments in the field as well as its applications in various domains, including communications, modelling, and theoretical physics. The book will appeal to researchers and professors of computer algebra, applied mathematics, and computer science, as well as to engineers and computer scientists engaged in research and development.

Mathematics. --- Coding theory. --- Algebraic geometry. --- Commutative algebra. --- Commutative rings. --- Algebra. --- Field theory (Physics). --- Computer science --- Computer mathematics. --- Commutative Rings and Algebras. --- Field Theory and Polynomials. --- Coding and Information Theory. --- Mathematical Applications in Computer Science. --- Algebraic Geometry. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Classical field theory --- Continuum physics --- Physics --- Continuum mechanics --- Mathematics --- Mathematical analysis --- Rings (Algebra) --- Algebra --- Algebraic geometry --- Geometry --- Data compression (Telecommunication) --- Digital electronics --- Information theory --- Machine theory --- Signal theory (Telecommunication) --- Computer programming --- Math --- Science --- Geometry, algebraic. --- Information theory. --- Computer science—Mathematics. --- Communication theory --- Communication --- Cybernetics

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Handbook of Computational Neurodegeneration provides a comprehensive overview of the field and thus bridges the gap between standard textbooks of research on neurodegeneration and dispersed publications for specialists that have a narrowed focus on computational methods to study this complicated process. The handbook reviews the central issues and methodological approaches related to the field for which the reader pursues a thorough overview. It also conveys more advanced knowledge, thus serving both as an introductory text and as a starting point for an in-depth study of a specific area, as well as a quick reference source for the expert by reflecting the state of the art and future prospects. The book includes topics that are usually missing in standard textbooks and that are only marginally represented in the specific literature. The broad scope of this handbook is reflected by five major parts that facilitate an integration of computational concepts, methods and applications in the study of neurodegeneration. Each part is intended to stand on its own, giving an overview of the topic and the most important problems and approaches, which are supported by examples, practical applications, and proposed methodologies. The basic concepts and knowledge, standard procedures and methods are presented, as well as recent advances and new perspectives.

Neurosciences. --- Bioinformatics. --- Medical informatics. --- Neural networks (Computer science). --- Neuroscience. --- Computational and Systems Biology. --- Health Informatics. --- Mathematical Models of Cognitive Processes and Neural Networks. --- Artificial neural networks --- Nets, Neural (Computer science) --- Networks, Neural (Computer science) --- Neural nets (Computer science) --- Artificial intelligence --- Natural computation --- Soft computing --- Clinical informatics --- Health informatics --- Medical information science --- Information science --- Medicine --- Bio-informatics --- Biological informatics --- Biology --- Computational biology --- Systems biology --- Neural sciences --- Neurological sciences --- Neuroscience --- Medical sciences --- Nervous system --- Data processing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, held in Berlin, Germany, in November 2015. The 48 revised papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are grouped in topical sections on curves and surfaces, applied algebraic geometry, cryptography, verified numerical computation, polynomial system solving, managing massive data, computational theory of differential and difference equations, data and knowledge exploration, algorithm engineering in geometric computing, real complexity: theory and practice, global optimization, and general session.

Computer Science --- Engineering & Applied Sciences --- Computer science. --- Computers. --- Algorithms. --- Computer science --- Database management. --- Data mining. --- Artificial intelligence. --- Computer Science. --- Mathematics of Computing. --- Data Mining and Knowledge Discovery. --- Database Management. --- Artificial Intelligence (incl. Robotics). --- Algorithm Analysis and Problem Complexity. --- Computation by Abstract Devices. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algorithmic knowledge discovery --- Factual data analysis --- KDD (Information retrieval) --- Knowledge discovery in data --- Knowledge discovery in databases --- Mining, Data --- Database searching --- Data base management --- Data services (Database management) --- Database management services --- DBMS (Computer science) --- Generalized data management systems --- Services, Database management --- Systems, Database management --- Systems, Generalized database management --- Computer mathematics --- Discrete mathematics --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Cybernetics --- Calculators --- Cyberspace --- Informatics --- Science --- Mathematics. --- Mathematics --- Foundations --- Computer software. --- Artificial Intelligence. --- Software, Computer --- Databases. --- Data banks --- Data bases --- Databanks --- Database systems --- Computer files --- Electronic information resources --- Computer science—Mathematics. --- Theory of Computation.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 7th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2017, held in Vienna, Austria, in November 2017. The 28 revised papers and 8 short papers presented were carefully reviewed and selected from 67 submissions. The papers are organized in the following topical sections: foundation of algorithms in mathematics, engineering and scientific computation; combinatorics and codes in computer science; data modeling and analysis; and mathematical aspects of information security and cryptography.

Computer science. --- Special purpose computers. --- Software engineering. --- Computer security. --- Mathematical logic. --- Computer science --- Artificial intelligence. --- Computer Science. --- Mathematics of Computing. --- Software Engineering. --- Systems and Data Security. --- Artificial Intelligence (incl. Robotics). --- Mathematical Logic and Formal Languages. --- Special Purpose and Application-Based Systems. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Computer software engineering --- Special purpose computers --- Informatics --- Computer privacy --- Computer system security --- Computer systems --- Computers --- Cyber security --- Cybersecurity --- Electronic digital computers --- Protection of computer systems --- Security of computer systems --- Mathematics. --- Mathematics --- Protection --- Security measures --- Bionics --- Cognitive science --- Digital computer simulation --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Data protection --- Security systems --- Hacking --- Engineering --- Science --- Artificial Intelligence. --- Computer science—Mathematics. --- Data protection. --- Machine theory. --- Computers, Special purpose. --- Data and Information Security. --- Formal Languages and Automata Theory. --- Abstract automata --- Abstract machines --- Automata --- Mathematical machine theory --- Algorithms --- Logic, Symbolic and mathematical --- Recursive functions --- Robotics --- Data governance --- Data regulation --- Personal data protection --- Protection, Data