Quantifier elimination and cylindrical algebraic decomposition

Subjects: “…Decomposition method Data processing Congresses.…”

Domain decomposition methods in sciences and engineering 8th international conference,Beijing,P.R.China

Subjects: “…Decomposition method Congresses differential equations, partial Congresses…”

Decomposition methodology for knowledge discovery and data mining theory and applications by Maimon, Oded Z.

Subjects: “…Decomposition method…”

Decomposition analysis method in linear and nonlinear differential equations by Haldar, Kansari

Table of Contents: “…Decomposition Method -- Asymptotic Decomposition -- Bessel's Equation -- Navier-Stokes Equations in Cartesian Coordinates -- Navier-Stokes Equations in Cylindrical Polar Coordinates -- Blood Flow in Artery -- Steady Subsonic Flow -- Steady Transonic Flow -- Laplace's Equation -- Flow Near a Rotating Disc in a Fluid at Rest…”

Theory of Silk Weaving A Treatise on the Construction and Application of Weaves, and the Decomposition and Calculation of Broad and Narrow, Plain, Novelty and Jacquard Silk Fabrics by Wolfensberger, Arnold

Get full text
Rights

Exploring linear algebra labs and projects with Mathematica by Arangala, Crista

Table of Contents: “…Matrix Operations -- Invertibility -- Vector Spaces -- Orthogonality -- Matrix Decomposition with Applications -- Applications to Differential Equations…”

Algebraic number theory by Mollin, Richard A. 1947-

Table of Contents: “…Ideal Theory -- 4. Ideal Decomposition in Extension Fields -- 5. Reciprocity Laws -- App. …”

Computer solution of large linear systems by Meurant, Gerard

Table of Contents: “…Introductory Material -- Gaussian elimination for general linear systems -- -- Gaussian elimination for sparse linear systems -- Fast solvers for separable PDEs -- Classical iterative methods -- The conjugate gradient and related methods -- Krylov methods for non-symmetric systems -- Preconditioning -- Multigrid methods -- Domain decomposition and multilevel methods…”

Ship resistance and flow by Larsson, Lars, Raven, Hoyte C.

Table of Contents: “…Governing equations -- Similarity -- Decomposition of resistance -- Inviscid flow around the hull, wave making, and wave resistance -- The flow around the hull and the viscous resistance -- Other resistance components -- Experimental resistance prediction and flow measurement -- Numerical prediction of resistance and flow around the hull -- Empirical resistance prediction -- Hull design…”

Electric power system applications of optimization by Momoh, James A. 1950-

Table of Contents: “…Introduction -- Electric power system models -- Power-flow computations -- Constrained optimization and applications -- Linear programming and applications -- Interior point methods -- Nonlinear programming -- Dynamic programming -- Lagrangian relaxation -- Decomposition method -- State estimation -- Optimal power flow -- Pricing -- Unit commitment -- Genetic algorithms -- Functional optimization, optimal control, and adaptive dynamic programming…”

Linear Programming and Network Flows / by Bazaraa, Mokhtar S., Jarvis, John J., Sherali, Hanif D., 1952-

Table of Contents: “…Linear algebra, convex analysis, and polyhedral sets -- The simplex method -- Starting solution and convergence -- Special simplex implementations and optimality conditions -- Duality and sensitivity analysis -- The decomposition principle -- Complexity of the simplex algorithm and polynomial-time algorithms -- Minimal-cost network flows -- The transportation and assignment problems -- The out-of-kilter algorithm -- Maximal flow, shortest path, multicommodity flow, and network synthesis problems…”

Structured analysis and design of information systems by Aktas, A. Ziya

Table of Contents: “…Fundamental concepts -- Information systems life cycles -- Classical approach -- Structured approach -- Hierarchy charts and hipo -- Data flow diagrams -- SADT -- Structure charts -- Warnier/ORR diagrams -- Other diagrams -- Nongraphical tools -- Evaluation and refinement of qualities of a system design -- An overview of information systems development methodologies -- Functional decomposition methodologies -- Data-oriented methodologies -- Prescriptive methodologies -- Contemporary research -- A case study.…”

Early childhood mathematics education research learning trajectories for young children / by Sarama, Julie

Table of Contents: “…Early childhood mathematics learning -- Quantity, number, and subitizing -- Verbal and object counting -- Comparing, ordering, and estimating -- Arithmetic : early addition and subtraction and counting strategies -- Arithmetic : composition of number, place value, and multidigit addition and subtraction -- Spatial thinking -- Shape --Composition and decomposition of shapes -- Geometric measurement, part 1 : length -- Geometric measurement, part 2 : area, volume, and angle -- Other content domains -- Mathematical processes -- Professional development and scaling up.…”
NetLibrary
MyiLibrary
MyiLibrary
ebrary
ebrary

Numerical and analytical solutions for solving nonlinear equations in heat transfer by Ganji, Davood Domairry, Talarposhti, Roghayeh Abbasi

Engineering problem solving with ANSI C fundamental concepts by Etter, Delores M.

Wavelets and their applications

Fiber and whisker reinforced ceramics for structural applications by Belitskus, David

Table of Contents: “…Matrix Formation by Macromolecule Decomposition -- 14. Production of Ceramic Matrix Composites by Chemical Vapor Infiltration -- 15. …”

Computing and communication

Simulating enzyme reactivity

Table of Contents: “…Perspective on Computer Modelling of Enzymatic Reactions; Fundamentals of Enzymatic Catalysis: Determination of Rate Constants; A Transition State Theory Perspective for Enzymatic Reactions: Fundamentals and Applications; Electron Transfer Reactions in Enzymes: Seven Things that Might Break Down in Vanilla Marcus Theory and How to Fix Them if They Do; Kinetic Isotope Effects; Free Energy Calculation Methods and Rare Event Sampling Techniques for Biomolecular Simulations; Methods to Trace Conformational Transitions; Key Concepts and Applications of ONIOM Methods; First Principles Methods in Biology: From Continuum Models to Hybrid Ab initio Quantum Mechanics/Molecular Mechanics; Nuclear Quantum Effects in Enzymatic Reactions; QM/MM Methods for Simulating Enzyme Reactions; Ribozymes; Effects of Water and Non-aqueous Solvents on Enzyme Activity; Modelling Reactivity in Metalloproteins: Hydrogen Peroxide Decomposition by Haem Enzymes; Enzyme Design…”

Fundamentals of materials science and engineering by Callister, William D., Rethwisch, David G.