Listing 1 - 10 of 137 | << page >> |
Sort by
|
Choose an application
Computer science - Mathematics --- Mathematics --- Logic, symbolic and mathematical --- Computer science
Choose an application
Relational mathematics is to operations research and informatics what numerical mathematics is to engineering: it is intended to help modelling, reasoning, and computing. Its applications are therefore diverse, ranging from psychology, linguistics, decision aid, and ranking to machine learning and spatial reasoning. Although many developments have been made in recent years, they have rarely been shared amongst this broad community of researchers. This comprehensive 2010 overview begins with an easy introduction to the topic, assuming a minimum of prerequisites; but it is nevertheless theoretically sound and up to date. It is suitable for applied scientists, explaining all the necessary mathematics from scratch using a multitude of visualised examples, via matrices and graphs. It ends with tangible results on the research level. The author illustrates the theory and demonstrates practical tasks in operations research, social sciences and the humanities.
Computer science --- Operations research --- Mathematics --- Mathematics. --- Operational analysis --- Operational research --- Industrial engineering --- Management science --- Research --- System theory --- Computer mathematics --- Electronic data processing --- Computer science - Mathematics --- Operations research - Mathematics
Choose an application
Games provide mathematical models for interaction. Numerous tasks in computer science can be formulated in game-theoretic terms. This fresh and intuitive way of thinking through complex issues reveals underlying algorithmic questions and clarifies the relationships between different domains. This collection of lectures, by specialists in the field, provides an excellent introduction to various aspects of game theory relevant for applications in computer science that concern program design, synthesis, verification, testing and design of multi-agent or distributed systems. Originally devised for a Spring School organised by the GAMES Networking Programme in 2009, these lectures have since been revised and expanded, and range from tutorials concerning fundamental notions and methods to more advanced presentations of current research topics. This volume is a valuable guide to current research on game-based methods in computer science for undergraduate and graduate students. It will also interest researchers working in mathematical logic, computer science and game theory.
Game theory. --- Computer science --- Théorie des jeux --- Informatique --- Mathematics. --- Mathématiques --- Game theory --- Mathematics --- Théorie des jeux --- Mathématiques --- Operational research. Game theory --- Games, Theory of --- Theory of games --- Mathematical models --- Computer mathematics --- Electronic data processing --- Computer science - Mathematics
Choose an application
Scientific computing is about developing mathematical models, numerical methods and computer implementations to study and solve real problems in science, engineering, business and even social sciences. Mathematical modelling requires deep understanding of classical numerical methods. This essential guide provides the reader with sufficient foundations in these areas to venture into more advanced texts.The first section of the book presents numEclipse, an open source tool for numerical computing based on the notion of MATLAB®. numEclipse is implemented as a plug-in for Eclipse, a leadin
Computer science -- Mathematics. --- Numerical analysis -- Data processing. --- Science -- Data processing. --- Computer science --- Science --- Engineering & Applied Sciences --- Computer Science --- Mathematics --- Data processing --- Mathematics. --- Data processing. --- Electronic data processing --- Computer mathematics
Choose an application
Mathematics and mathematical modelling are of central importance in computer science, and therefore it is vital that computer scientists are aware of the latest concepts and techniques. This concise and easy-to-read textbook/reference presents an algorithmic approach to mathematical analysis, with a focus on modelling and on the applications of analysis. Fully integrating mathematical software into the text as an important component of analysis, the book makes thorough use of examples and explanations using MATLAB, Maple, and Java applets. Mathematical theory is described alongside the basic concepts and methods of numerical analysis, supported by computer experiments and programming exercises, and an extensive use of figure illustrations. Topics and features: Thoroughly describes the essential concepts of analysis, covering real and complex numbers, trigonometry, sequences and series, functions, derivatives and antiderivatives, definite integrals and double integrals, and curves Provides summaries and exercises in each chapter, as well as computer experiments Discusses important applications and advanced topics, such as fractals and L-systems, numerical integration, linear regression, and differential equations Presents tools from vector and matrix algebra in the appendices, together with further information on continuity Includes definitions, propositions and examples throughout the text, together with a list of relevant textbooks and references for further reading Supplementary software can be downloaded from the book’s webpage at www.springer.com This textbook is essential for undergraduate students in Computer Science. Written to specifically address the needs of computer scientists and researchers, it will also serve professionals looking to bolster their knowledge in such fundamentals extremely well. Dr. Michael Oberguggenberger is a professor in the Department of Civil Engineering Sciences at the University of Innsbruck, Austria. Dr. Alexander Ostermann is a professor in the Department of Mathematics at the University of Innsbruck, Austria.
Computer science -- Mathematics. --- Electronic books. -- local. --- Computer science --- Engineering & Applied Sciences --- Computer Science --- Mathematics --- Mathematics. --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer science. --- Computer mathematics. --- Applied mathematics. --- Engineering mathematics. --- Computer Science. --- Math Applications in Computer Science. --- Computational Mathematics and Numerical Analysis. --- Appl.Mathematics/Computational Methods of Engineering. --- Discrete Mathematics in Computer Science. --- Computational complexity. --- Mathematical and Computational Engineering. --- Complexity, Computational --- Machine theory --- Engineering --- Engineering analysis --- Mathematical analysis --- Informatics --- Science --- Computer science—Mathematics. --- Discrete mathematics. --- Mathematical Applications in Computer Science. --- Mathematical and Computational Engineering Applications. --- Data processing. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis
Choose an application
Along with finite differences and finite elements, spectral methods are one of the three main methodologies for solving partial differential equations on computers. This book provides a detailed presentation of basic spectral algorithms, as well as a systematical presentation of basic convergence theory and error analysis for spectral methods. Readers of this book will be exposed to a unified framework for designing and analyzing spectral algorithms for a variety of problems, including in particular high-order differential equations and problems in unbounded domains. The book contains a large number of figures which are designed to illustrate various concepts stressed in the book. A set of basic matlab codes has been made available online to help the readers to develop their own spectral codes for their specific applications.
Computer. Automation --- informatica --- differentiaalvergelijkingen --- wiskunde --- Computer science --- Partial differential equations --- Spectral theory (Mathematics) --- Functional analysis --- Hilbert space --- Measure theory --- Transformations (Mathematics) --- Differential equations. --- 517.91 Differential equations --- Differential equations --- Differential equations, partial. --- Computer science. --- Computational Mathematics and Numerical Analysis. --- Partial Differential Equations. --- Mathematics of Computing. --- Mathematics. --- Informatics --- Science --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Mathematics --- Computer mathematics. --- Partial differential equations. --- Computer science—Mathematics.
Choose an application
The subject of Partial Differential Equations (PDEs) which first emerged in the 18th century holds an exciting and special position in the applications relating to the mathematical modelling of physical phenomena. The subject of PDEs has been developed by major names in applied mathematics such as Euler, Legendre, Laplace and Fourier and has applications to each and every physical phenomenon known to us e.g. fluid flow, elasticity, electricity and magnetism, weather forecasting and financial modelling. This book introduces the recent developments of PDEs in the field of geometric design particularly for computer based design and analysis involving the geometry of physical objects. Starting from the basic theory through to the discussion of practical applications the book describes how PDEs can be used in the area of Computer Aided Design and Simulation Based Design. Extensive examples with real life applications of PDEs in the area of geometric design are discussed in the book.
Differential equations, Elliptic. --- Differential equations, Partial. --- Geometrical models. --- Differential equations, Partial --- Differential equations, Elliptic --- Geometrical models --- Mathematics --- Civil & Environmental Engineering --- Engineering & Applied Sciences --- Physical Sciences & Mathematics --- Calculus --- Civil Engineering --- Computer Science --- Elliptic differential equations --- Elliptic partial differential equations --- Linear elliptic differential equations --- Partial differential equations --- Computer science. --- Computer science --- Computer Science. --- Math Applications in Computer Science. --- Mathematics. --- Differential equations, Linear --- Informatics --- Science --- Engineering design --- Geometrical drawing. --- Data processing. --- Mathematical models. --- Computer science—Mathematics.
Choose an application
A deterministic extractor is a function that extracts almost perfect random bits from a weak random source. In this research monograph the author constructs deterministic extractors for several types of sources. A basic theme in this work is a methodology of recycling randomness which enables increasing the output length of deterministic extractors to near optimal length. The author's main work examines deterministic extractors for bit-fixing sources, deterministic extractors for affine sources and polynomial sources over large fields, and increasing the output length of zero-error dispersers. This work will be of interest to researchers and graduate students in combinatorics and theoretical computer science.
Mathematical optimization. --- Nonlinear programming. --- Mathematical optimization --- Engineering & Applied Sciences --- Mathematics --- Physical Sciences & Mathematics --- Computer Science --- Algebra --- Computer science. --- Informatics --- Computers. --- Computer science --- Algebraic geometry. --- Combinatorics. --- Computer Science. --- Theory of Computation. --- Mathematics of Computing. --- Algebraic Geometry. --- Mathematics. --- Science --- Information theory. --- Geometry, algebraic. --- Algebraic geometry --- Geometry --- Communication theory --- Communication --- Cybernetics --- Combinatorics --- Mathematical analysis --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Computer systems --- Machine theory --- Calculators --- Cyberspace
Choose an application
The book contains a selection of high quality papers, chosen among the best presentations during the International Conference on Spectral and High-Order Methods (2009), and provides an overview of the depth and breadth of the activities within this important research area. The carefully reviewed selection of the papers will provide the reader with a snapshot of state-of-the-art and help initiate new research directions through the extensive bibliography.
Computer science -- Mathematics. --- Electronic books. -- local. --- Fluid dynamics. --- Mathematical physics. --- Mathematics --- Physical Sciences & Mathematics --- Mathematics - General --- Computer science --- Mathematics. --- Physical mathematics --- Physics --- Computer mathematics --- Discrete mathematics --- Electronic data processing --- Computer mathematics. --- Physics. --- Fluid mechanics. --- Computational Mathematics and Numerical Analysis. --- Computational Science and Engineering. --- Numerical and Computational Physics. --- Engineering Fluid Dynamics. --- Hydromechanics --- Continuum mechanics --- Natural philosophy --- Philosophy, Natural --- Physical sciences --- Dynamics --- Math --- Science --- Fluid mechanics --- Computer science. --- Hydraulic engineering. --- Numerical and Computational Physics, Simulation. --- Engineering, Hydraulic --- Engineering --- Hydraulics --- Shore protection --- Informatics
Choose an application
This book contains a collection of thoroughly refereed papers derived from the First IFIP WG 9.7 Conference on Soviet and Russian Computing, held in Petrozavodsk, Russia, in July 2006. The 32 revised papers were carefully selected from numerous submissions; many of them were translated from Russian. They reflect much of the shining history of computing activities within the former Soviet Union from its origins in the 1950s with the first computers used for military decision-making problems up to the modern period where Russian ICT grew substantially, especially in the field of custom-made programming.
Computer science --- Engineering & Applied Sciences --- Computer Science --- Computer systems --- History --- ADP systems (Computer systems) --- Computing systems --- Systems, Computer --- Computer science. --- Computer hardware. --- Software engineering. --- Computers. --- Computer Science. --- History of Computing. --- Computer Hardware. --- Software Engineering/Programming and Operating Systems. --- Theory of Computation. --- Mathematics of Computing. --- Mathematics. --- Electronic systems --- Cyberinfrastructure --- Information theory. --- Communication theory --- Communication --- Cybernetics --- Computer software engineering --- Engineering --- Informatics --- Science --- Computer science—Mathematics. --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Machine theory --- Calculators --- Cyberspace --- Computers --- Software Engineering. --- History. --- Computer mathematics --- Electronic data processing --- Mathematics
Listing 1 - 10 of 137 | << page >> |
Sort by
|