08055nam 22005175 450 991025744160332120200704050934.03-540-35521-910.1007/3-540-09115-7(CKB)1000000000229925(DE-He213)978-3-540-35521-2(PPN)155209175(EXLCZ)99100000000022992520121227d1979 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierSixth International Conference on Numerical Methods in Fluid Dynamics[electronic resource] Proceedings of the Conference, Held in Tbilisi (U.S.S.R.) June 21-24, 1978 /edited by H. Cabannes, M. Holt, V. V. Rusanov1st ed. 1979.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1979.Lecture Notes in Physics,0075-8450 ;900-387-09115-7 3-540-09115-7 Numerical calculation of hydrodynamic stability problems with time-dependent boundary conditions -- On numerical simulation in fluid dynamics -- Some finite element methods in fluid flow -- Numerical study of nonlinear axisymmetric flow of fluid between two concentric rotating spheres -- Investigation of hydrodynamic stability by means of computers -- Implicit finite-difference simulations of steady and unsteady transonic flows -- Numerical investigation of some gas dynamics problems by net-characteristic method -- The method of discrete vortices in aerohydrodynamic problems and the theory of multidimensional singular integral equations -- Analysis of higher order methods for the numerical simulation of confined flows -- Numerical simulations of two-dimensional plasma flows -- Numerical simulation of turbulent flows with a three-dimensional vortex-in-cell method -- Mathematical and numerical aspects of discrete kinetic theory -- Resolution Numerique d'une Equation de Conservation par une Approche Variationnelle -- Errors in finite difference solutions of Navier-Stokes equations -- A free boundary problem in hydrodynamic lubrication including surface tension -- Approximation viscosity and stability of difference schemes -- A study on curvilinear coordinates and macro -elements for multiply connected flow fields -- Separating, incompressible, laminar boundary-layer flow over a smooth step of small height -- On certain solutions of the non- stationary equations for rotating flow -- A unification of unidirectional flow approximation -- A finite element formulation suitable for subsonic and transonic flow -- Tests of computational algorithms for inviscid hyperbolic flows -- Initialization of the navier-stokes equations for use in numerical simulations and predictions of severe (convective) weather events -- The algorithm of approximate calculation of potential-type singular integrals and their applications -- Aerodynamics and dynamics of bodies with mass loss and shape change under the influence of radiative heating -- Ergodic behavior of two-dimensional inviscid turbulence -- Calculation of the three-dimensional supersonic blunt body flow of viscous perfect gas and nonequilibrium gas mixture -- Numerical simulation of MHD-problems on the basis of variational approach -- Numerical solution for unsteady separated inviscid incompressible flow past an arbitrary body -- Direct numerical method for the velocity profile and the form of a laminar jet in a liquid-liquid system -- Model calculations of self-excited oscillations in transonic flow in a duct with an abrupt enlargement -- An orthogonal finite element method for transonic flow calculations -- Solution of turbulent transport equations by an accurate numerical method -- A new numerical method for solving exterior linear elliptic problems -- The transformation of external disturbances into the boundary layer waves -- The effect of strong magnetic field on the shift flow of viscous incompressible electroconducting fluid -- A Lagrangian method for the numerical solution of the Euler equations for transonic flows -- On computational modelling of the Tunguska catastrophe -- Numerical solution of transonic flow through a cascade with slender profiles -- Czochralski bulk flow in the growth of garnet crystals -- Numerical shock structure and nonlinear corrections for difference schemes in conservation form -- Numerical simulation of explosion phenomena taking into account non-equilibrium physical-chemical processes -- Calculation of three-dimensional turbulent subsonic flows in transition ducts -- Pulmonary haemodynamics -- A vortex-grid method for blood flow through heart valves -- Supersonic viscous flow over cones at incidence -- Calculation of supersonic gas flows about wings -- Large Eddy Simulation of turbulent shear flows -- Numerical solution of the nonlinear stability of an imcompressible ekman boundary layer -- Non-forward-marching method for three dimensional flow around spinning bodies -- Applications of the energy estimates analogous to Saint-Venant's principle to problems of elasticity and hydrodynamics -- Finite element analysis of viscous incompressible flow around an oscillating airfoil -- Some permeable boundaries in multidimensional unsteady flows -- Supersonic flow of viscous gas around bodies and the flaw in the wake (methods of a numerical solution and computing results) -- Numerical models of turbulent convection based on the unsteady Navier-Stokes equations -- Solution by Newton's method to the steady transonic Euler equations -- A simplified spline solution procedure -- A test case for checking computational methods for gas flows with discontinuities -- To the numerical simulation and propagation of tsunami according to the shallow water equations -- A hybrid random choice method with application to internal combustion engines -- The solution of the Navier-Stokes equation via successive approximations -- On the condensing of grid points in the process of solving and high order schemes in viscous gas flow computations -- Investigation of unsteady supersonic flows about blunt bodies -- Calculation of the flow field in supersonic inlets using a bicharacteristics method with shock wave fitting -- Bispectral measurements in turbulence computations -- On the application of orthogonal polynomials in the theory of elasticity -- Numerical modeling of atmospheric pollution -- Integral-representation approach for time-dependent viscous flows -- On some methods for the numerical simulation of flows with complex structure -- Design criteria and generation of optimum finite element meshes -- Self-adapted algorithms in problems of gas dynamics -- Application of Lagrangian invariants to the calculation of three-dimensional rotational flows of a perfect fluid -- Sixth International Conference on Numerical Methods in Fluid Dynamics Tbilisi, U.S.S.R., 20–25 June, 1978.Lecture Notes in Physics,0075-8450 ;90FluidsPhysicsFluid- and Aerodynamicshttps://scigraph.springernature.com/ontologies/product-market-codes/P21026Mathematical Methods in Physicshttps://scigraph.springernature.com/ontologies/product-market-codes/P19013Numerical and Computational Physics, Simulationhttps://scigraph.springernature.com/ontologies/product-market-codes/P19021Fluids.Physics.Fluid- and Aerodynamics.Mathematical Methods in Physics.Numerical and Computational Physics, Simulation.532533.62Cabannes Hedthttp://id.loc.gov/vocabulary/relators/edtHolt Medthttp://id.loc.gov/vocabulary/relators/edtRusanov V. Vedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910257441603321Sixth international conference on numerical methods in fluid dynamics358431UNINA05105nam 22006615 450 99646530230331620200704004318.03-540-73580-110.1007/978-3-540-73580-9(CKB)1000000000490194(SSID)ssj0000315666(PQKBManifestationID)11248906(PQKBTitleCode)TC0000315666(PQKBWorkID)10256312(PQKB)10928157(DE-He213)978-3-540-73580-9(MiAaPQ)EBC3067887(PPN)123163692(EXLCZ)99100000000049019420100301d2007 u| 0engurnn|008mamaatxtccrAbstraction, Reformulation, and Approximation[electronic resource] 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings /edited by Ian Miguel, Wheeler Tuml1st ed. 2007.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2007.1 online resource (XI, 420 p.) Lecture Notes in Artificial Intelligence ;4612Bibliographic Level Mode of Issuance: Monograph3-540-73579-8 Includes bibliographical references and index.Invited Talks (Abstracts) -- State Abstraction in Real-Time Heuristic Search -- Abstraction and Reformulation in the Generation of Constraint Models -- A Framework for Integrating Optimization and Constraint Programming -- Research Papers -- DFS-Tree Based Heuristic Search -- Partial Pattern Databases -- CDB-PV: A Constraint Database-Based Program Verifier -- Generating Implied Boolean Constraints Via Singleton Consistency -- Reformulating Constraint Satisfaction Problems to Improve Scalability -- Reformulating Global Constraints: The Slide and Regular Constraints -- Relaxation of Qualitative Constraint Networks -- Dynamic Domain Abstraction Through Meta-diagnosis -- Channeling Abstraction -- Approximate Model-Based Diagnosis Using Greedy Stochastic Search -- Combining Perimeter Search and Pattern Database Abstractions -- Solving Satisfiability in Ground Logic with Equality by Efficient Conversion to Propositional Logic -- Tailoring Solver-Independent Constraint Models: A Case Study with Essence? and Minion -- A Meta-CSP Model for Optimal Planning -- Reformulation for Extensional Reasoning -- An Abstract Theory and Ontology of Motion Based on the Regions Connection Calculus -- Computing and Using Lower and Upper Bounds for Action Elimination in MDP Planning -- Model-Based Exploration in Continuous State Spaces -- Active Learning of Dynamic Bayesian Networks in Markov Decision Processes -- Boosting MUS Extraction -- Homogeneous Hierarchical Composition of Areas in Multi-robot Area Coverage -- Formalizing the Abstraction Process in Model-Based Diagnosis -- Boolean Approximation Revisited -- An Analysis of Map-Based Abstraction and Refinement -- Solving Difficult SAT Instances Using Greedy Clique Decomposition -- Abstraction and Complexity Measures -- Research Summaries -- Abstraction, Emergence, and Thought -- What’s Your Problem? The Problem of Problem Definition -- A Reformulation-Based Approach to Explanation in Constraint Satisfaction -- Integration of Constraint Programming and Metaheuristics -- Rule-Based Reasoning Via Abstraction -- Extensional Reasoning -- Reformulating Constraint Models Using Input Data -- Using Analogy Discovery to Create Abstractions -- Distributed CSPs: Why It Is Assumed a Variable per Agent? -- Decomposition of Games for Efficient Reasoning -- Generalized Constraint Acquisition -- Using Infeasibility to Improve Abstraction-Based Heuristics -- Leveraging Graph Locality Via Abstraction.Lecture Notes in Artificial Intelligence ;4612Artificial intelligenceComputersMathematical logicComputer logicArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Theory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XArtificial intelligence.Computers.Mathematical logic.Computer logic.Artificial Intelligence.Theory of Computation.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.004Miguel Ianedthttp://id.loc.gov/vocabulary/relators/edtTuml Wheeleredthttp://id.loc.gov/vocabulary/relators/edtBOOK996465302303316Abstraction, Reformulation and Approximation772062UNISA