springer berlin heidelberg jun 1984 (56 risultati)

Taschenbuch. Condizione: Neu. Neuware -Abstract pade approximants in operator theory.- Multivariate pade approximants.- The solution of nonlinear operator equations.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 152 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Splines in interactive computer graphics.- Some methods for separating stiff components in initial value problems.- Approximation order from smooth bivariate PP functions.- The numerical solution of integral equations with weakly singular kernels.- A trust-region approach to linearly constrained optimization.- Multigrid methods for problems with a small parameter in the highest derivative.- Nonconvex minimization calculations and the conjugate gradient method.- Particle approximation of linear hyperbolic equations of the first order.- Global error estimation for stiff ODEs.- Numerical techniques for nonlinear multi-parameter problems.- Sequential defect correction for high-accuracy floating-point algorithms.- Numerical experiments with partially separable optimization problems.- The numerical solution of total lp approximation problems.- An implicit diffusive numerical procedure for a slightly compressible miscible displacement problem in porous media.- Singularities in three-dimensional elliptic problems and their treatment with finite element methods. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 452 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Reissue of Encyclopedia of Physics / Handbuch der Physik, Volume VIa The mechanical response of solids was first reduced to an organized science of fairly general scope in the nineteenth century. The theory of small elastic deformations is in the main the creation of CAUCHY, who, correcting and simplifying the work of NAVIER and POISSON, through an astounding application of conjoined scholarship, originality, and labor greatly extended in breadth the shallowest aspects of the treatments of par of bodies by GALILEO, LEIBNIZ, JAMES BERNOULLI, PARENT, DANIEL BER ticular kinds NOULLI, EULER, and COULOMB. Linear elasticity became a branch of mathematics, culti vated wherever there were mathematicians. The magisterial treatise of loVE in its second edition, 1906 - clear, compact, exhaustive, and learned - stands as the summary of the classical theory. It is one of the great 'gaslight works' that in BOCHNER'S words! 'either do not have any adequate successor[s] . . . or, at least, refuse to be super seded . . . ; and so they have to be reprinted, in ever increasing numbers, for active research and reference', as long as State and Society shall permit men to learn mathe matics by, for, and of men's minds. Abundant experimentation on solids was done during the same century. Usually the materials arising in nature, with which experiment most justly concerns itself, do not stoop easily to the limitations classical elasticity posits.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 828 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abstract pade approximants in operator theory.- Multivariate pade approximants.- The solution of nonlinear operator equations. 152 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Orientation development in liquid crystal polymers.- A thermodynamic view of order parameters for liquid crystals.- Orientation and motion at a polymer-polymer interface: Interdiffusion of fluorescent-labelled macromolecules.- The necking of semicrystalline polymers in tension.- Discontinuous response in viscoelastic bars.- A phenomenological theory of the mechanics of cold drawing.- Theory for the cold-drawing of polymers.- A mathematical afterthought.- Erratum. 176 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Splines in interactive computer graphics.- Some methods for separating stiff components in initial value problems.- Approximation order from smooth bivariate PP functions.- The numerical solution of integral equations with weakly singular kernels.- A trust-region approach to linearly constrained optimization.- Multigrid methods for problems with a small parameter in the highest derivative.- Nonconvex minimization calculations and the conjugate gradient method.- Particle approximation of linear hyperbolic equations of the first order.- Global error estimation for stiff ODEs.- Numerical techniques for nonlinear multi-parameter problems.- Sequential defect correction for high-accuracy floating-point algorithms.- Numerical experiments with partially separable optimization problems.- The numerical solution of total lp approximation problems.- An implicit diffusive numerical procedure for a slightly compressible miscible displacement problem in porous media.- Singularities in three-dimensional elliptic problems and their treatment with finite element methods. 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The theory of data dependencies ¿ An overview.- The VLSI revolution in theoretical circles.- Tuple sequences and indexes.- The complexity of cubical graphs.- P-generic sets.- Functional dependencies and disjunctive existence constraints in database relations with null values.- The algebra of recursively defined processes and the algebra of regular processes.- Algebraic specification of exception handling and error recovery by means of declarations and equations.- Building the minimal DFA for the set of all subwords of a word on-line in linear time.- The complexity and decidability of separation.- Concurrent transmissions in broadcast networks.- Linear searching for a square in a word.- Domain algebras.- Principality results about some matrix languages families.- Oriented equational clauses as a programming language.- Relational algebra operations and sizes of relations.- Some results about finite and infinite behaviours of a pushdown automaton.- On the relationship of CCS and petri nets.- Communicating finite state machines with priority channels.- A modal characterization of observational congruence on finite terms of CCS.- Communication complexity.- Space and time efficient simulations and characterizations of some restricted classes of PDAS.- A complete axiom system for algebra of closed-regular expression.- The complexity of finding minimum-length generator sequences.- On probabilistic tape complexity and fast circuits for matrix inversion problems.- On three-element codes.- Recursion depth analysis for special tree traversal algorithms.- Performance analysis of Shamir's attack on the basic Merkle-Hellman knapsack cryptosystem.- Measures of presortedness and optimal sorting algorithms.- Languages and inverse semigroups.- Area-time optimal vlsi integer multiplier with minimum computation time.- On the interpretation of infinite computations in logic programming.- A linear time algorithm to solve the single function coarsest partition problem.- Complexit¿es facteurs des mots infinis engendr¿par morphismes it¿s.- Automates boustrophedon, semi-groupe de birget et monoide inversif libre.- Probabilistic bidding gives optimal distributed resource allocation.- Partial order semantics versus interleaving semantics for CSP ¿ like languages and its impact on fairness.- Cancellation, pumping and permutation in formal languages.- A hardware implementation of the CSP primitives and its verification.- Factorization of univariate integer polynomials by diophantine approximation and an improved basis reduction algorithm.- Robust algorithms: A different approach to oracles.- Node weighted matching.- The propositional mu-calculus is elementary.- AVL-trees for localized search.- The simple roots of real-time computation hierarchies.- Computational complexity of an optical disk interface.- Encoding graphs by derivations and implications for the theory of graph grammars.- Sampling algorithms for differential batch retrieval problems (extended abstract). 540 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeI. Extensions of the Predator-Prey-Model of a Growth Cycle.- Implications of Workers' Savings for Economic Growth and the Class Struggle.- Alternative Monetary Policies in a Classical Growth Cycle.- Unemployment Insurance and Cyclical Growth.- A Generalization of R.Goodwin's Model with Rational Behaviour of Economic Agents.- Disaggregating Models of Fluctuating Growth.- II. Further Contributions to a Theory of Fluctuating Growth.- Cyclical Input Demands and the Adjustment Cost Theory of the Firm.- Long-Term Growth and the Cyclical Restoration of Profitability.- The Inflation-Based 'Natural' Rate of Unemployment and the Conflict over Income Distribution.- Cyclical and Structural Aspects of Unemployment and Growth in a Nonlinear Model of Cyclical Growth.- III. On New Mathematical Methods and Methodological Concepts.- Some New Techniques for Modelling Nonlinear Economic Fluctuations: A Brief Survey.- Synergetics and Dynamic Economic Models.- Embodied Technical Progress in a Dynamic Economic Model: The Self-Organization Paradigm.- Fluctuations and Growth: Keynes, Schumpeter, Marx, and the Structural Instability of Capitalism.- IV. Econometric Models.- Cyclical Growth in a Nonlinear Macrodynamic Model of the Italian Economy.- An Econometric Model of the Shares of Wages in National Income: UK 1855-1965. 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -INRIA, Institut National de Recherche en Informatique et en Automatique 732 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -INRIA, Institut National de Recherche en Informatique et en Automatique 616 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Modelling and optimization in system planning in China.- Uncertainty algebra. A linear algebraic submodel of probability theory.- Energy models and energy policy problems.- The essentials of hierarchical control.- New developments in econometric commodity market modeling: A model of the world copper market.- The great recession: A crisis in parameters .- Analysis and modelling of the development economy in the least developed countries.- Macroeconomic equilibrium with rationing and variable working time.- Continuous-time asset-pricing models: Selected results.- The national investment model ¿ 'N.I.M.'.- A nonlinear econometric model with bounded controls and an entropy objective.- A model of coal transport management in a rail network.- Decomposition of optimal control in energy minimisation in railway traffic.- Optimal urban bus routing with scheduling flexibilities.- Development of demand-responsive strategies for urban traffic control.- An algorithm for Multiple Choice Knapsack Problem.- Aggregation of equalities in integer programming.- On job-shop sheduling with resources constraints.- Space covering technique for multicriterion optimization.- Lexicographical order, inequality systems and optimization.- Stability of generalized equations and Kuhn-Tucker points of perturbed convex programs.- Duality and stability theorems for convex multifunctional programs.- Parametrizing the value functions in dynamic programming.- A smooth sequential penalty function method for solving nonlinear programming problems.- A class of continuously differentiable exact penalty function algorithms for nonlinear programming problems.- On the effectiveness of the Bayesian nonparametric approach to global optimization.- Convergent cutting planes for linear programs with additional reverse convex constraints.- A fast Voronoi-diagram algorithm with applications to geographical optimization problems.- Nonlinear optimization by a curvilinear path strategy.- A unified nonlinear programming theory for penalty, multiplier, SQP and GRG methods.- A linearization algorithm for constrained nonsmooth minimization.- Better than linear convergence and safeguarding in nonsmooth minimization.- On three approaches to the construction of nondifferentiable optimization algorithms.- An algorithm for minimizing nondifferentiable convex functions under linear constraints.- On singular and bang-bang processes in optimal control.- Shape controlability for free boundaries.- Approximation of boundary control problems for evolution variational inequalities arising from free boundary problems.- Optimal control of generalized flow networks.- H¿lder condition for the minimum time function of linear systems.- The quadratic cost problem for L2[0,T; L2( )] boundary input hyperbolic equations.- Modelling and control of water quality in a river section.- A Galerkin approximation for the Zakai equation.- Some singular control problem with long term average criterion.- On Ergodic control problems associated with optimal maintenance and inspection.- Convergence of a stochastic variable metric method with application in adaptive prediction.- Modelization and filtering of discrete systems and discrete approximation of continuous systems.- Extremals in stochastic control theory.- Design wave determination by fast integration technique.- A method to evaluate the consequences of member failure in jacket-type offshore platform structures.- On selecting a target reliability for deep water tension leg platforms.- Frequency versus time domain identification of complex structures modal shapes under natural excitation.- Fatigue of offshore platforms: A method of analysis.- Stochastic design of rubble mound breakwaters.- Probabilistically optimum design of frame structure.- Reliability analysis of elasto-plastic structures.- Threshold crossings in nonlinear systems and ship capsize prevention.- Asymptotic approximations for multinormal domain and surface integrals.- Model uncertainty for bilinear hysteretic systems.- A stochastic algorithm for the optimization of simulation parameters.- Approximations and bounds in discrete stage markov decision processes.- Overall control of an electricity supply and demand system: A global feedback for the french system.- Optimal maintenance policies for modular standby systems.- Probabilistic analysis of some travelling salesman heuristics.- An optimal method for the mixed postman problem.- Modeling and analysis of computer and communications systems with queueing networks: An analytical study.- A hierarchical algorithm for large-scale system optimization problems with duality gaps.- Aggregation bounds in stochastic production problems.- An allocation problem in the design of a class of large-scale systems: Model and algorithm.- An immune lymphocyte circulation model.- Mathematical modeling of infectious diseases: Present state, problems and prospects.- Hyperthermia cancer therapy: Modelling, parameter estimation and control of temperature distribution in human tissue.- Optimal control of the heel-off to lift-off phase of two maximum height jumps.- Theoretical analysis of the sliding filament model for the evaluation of muscle macroscopic performance.- Or is what or does.- On the development of large-scale personnel planning models.- Modeling dynamic systems of variable structure.- Optimal structural design for maximum distance between adjacent eigenfrequencies.- Existence proofs for a class of plate optimization problems.- Short term production scheduling of the pulp mill ¿ A decentralized optimization approach.- Shape optimization for contact problems.- Variational approach to optimal design and sensitivity analysis of elastic structures.- Shape optimal design of a radiating fin.- Application of optimization procedures on the design of various shell structures.- On nondifferentiable plate optimal design problems.- Optimum geometry modeling for minimiz.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 452 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A kernel language for abstract data types and modules.- A semantics of multiple inheritance.- Understanding Russell a first attempt.- A basic Abstract Semantic Algebra.- Using information systems to solve reoursive domain equations effectively.- The semantics of second order polymorphic lambda calculus.- Polymorphism is not set-theoretic.- A theory of data type representation independence.- Abstract data types and their extensions within a constructive logic.- Deriving structural induction in LCF.- Executable specification of static semantics.- Cartesian closed categories of enumerations for effective type structures.- Type inference and type containment.- F-semantics for intersection type discipline.- The typechecking of programs with implicit type structure.- Partial implementations of abstract data types: A dissenting view on errors.- Building specifications in an arbitrary institution.- A proof system for verifying composability of abstract implementations.- Towards a proof theory of parameterized specifications.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The aim of the European Group for Paediatric Work Physiology is to promote the in ternational exchange of scientific information relevant to the physiology of exercise in of physiologists, paediatricians, and physical growing individuals. The group consists educators. The main purpose of these meetings has been to provide scientists in this field with an informal and efficient channel for mutual discussion. Meetings have previously been held in the Federal Republic ofGermany, Czechoslo vakia, Israel, Belgium, Canada, and Sweden. This time, it was a great honor us to be entrusted with the organization ofthe Tenth Symposium ofPaediatric Work Physiolo gy. The congress took place in Joutsa, a small community in central Finland.It was our wish to bring the group together in the middle of the Finnish summer in a forest hotel by one of our thousands of lakes, providing a peaceful and stimulating atmos phere for discussions on recent research activities. The meeting was fInancially assisted by the Finnish Ministry ofEducation, the com munity of Joutsa, the Rantasipi Joutsenlampi Hotel, Joutsa, as well as Tunturipyorii, Turku, Finland. We wish to express our sincere gratitude to all the sponsors. We would like to thank all the participants for their valuable contributions. We believe that the papers presented will greatly enhance further understanding and re search in the work physiology of children and adolescents. 300 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeThe use and ultimate validity of invariance principles.- Cohomology and contraction: The 'non-relativistic' limit revisited.- Linearization - A unified approach.- Weyl kinematical groups of electromagnetic and energy-momentum tensors.- From spinors to probability amplitudes of external and internal variables for spinning particles.- A characterizatton of factor systems of locally-operating representations.- Recent developments on shift operators.- Unitary and non-unitary, multiplicity free irreducible representations of SL (3,R).- The symmetry group of a differential equation.- Group contractions and the E(2)-like little group for massless particles as an infinite-momentum/zero-mass limit of the 0(3)-like little group for massive particles.- Representation approach to lattices of subgroups of space groups.- Young tableaux for the Lie superalgebra OSP(M/N).- The associated Lie Algebra of $$ddot x$$ + f2 $$dot x$$ + f1x = f0.- Three-dimensional commutative diagram of group homomorphisms.- Indecomposable representations of Verma type.- Some recent results on the SU(3) SO(3) state labelling problem.- Irreducible projective representations of the generalized symmetric groups B n m.- Indecomposable representations of some graded Lie Algebras.- Stephen Paneitz: A brief appreciation.- Indecomposable representations of the Poincare group and associated fields.- SL(n,R)/SO(n) unirreps and group decontraction.- Hysteresis & universal bifurcation in natural processes.- Irreducible representations of the basic classical Lie superalgebras SU(m/n); SU(n/n)/U(1); OSp(m/2n); D(2/1; ); G(3); F(4).- Group representations in indefinite metric spaces.- Tensor operator realisations of the classical Lie Algebras and non-trivial zeros of the 6j-symbol.- Yang - Baxter algebras of dynamical charges in the chiral gross - Neveu model.- Subgroups of Lie groups and symmetry reduction for nonlinear partial differential equations.- Spinorial description of Lie superalgebras.- Noetherian symmetries, backlund transformation and conservation laws for a completely integrable three dimensional system.- Einstein equations without killing vectors, self-dual Yang-Mills field and non-linear sigma models (integrability properties, links, new solutions).- Jet bundle technique, Lie Bäcklund vector fields and diffusion equations.- A group-theoretic treatment of Gaussian optics and third-order aberrations.- Study of Michel's conjecture.- Conformally invariant solutions of Yang-Mills equations in Minkowski space.- Two body relativistic scattering with an 0(1,1) symmetric sqaure well potential.- Emergence of central extension of Kac-Moody algebra in quantum integrable models.- Cohomological interpretation of anomalies the example of the trace anomaly.- On pure, conformal and exotic spinors.- Pohlmeyer-type transformations in general relativity.- On group covariance and the law of motion in a generalized metric theory.- Minimalization of Higgs potentials with application to the SU(5) model.- Self-dual monopoles and calorons.- U(1) Invariant hierarchy theories in d-dimension antisymmetric gauge tensor fields.- Generalized connection forms with linearized curvature.- Dynamical symmetry breaking in S4 De Sitter space.- Applications of conformal invariance to gauge Quantum Field Theory.- On the necessity of breaking colour SUC(3) symmetry.- Massive vector superfields with SU(2) internal symmetry.- Supergravity in eleven-dimensional space-time.- Dimensional reduction of exceptional gauge groups and flavor chirality.- Seven - Spheres from octonions.- A solution of Bianchi identities for extended supergravities.- N=2 unconstrained superfield supergravity from hypermultiplet.- Euclidean supersymmetries in three and four dimensions.- Gauge theories in higher dimensions: Linear relations for gauge fields, integrability conditions, spherical symmetry in eight dimensions.- Quantum vortices and diff ( 3).- The time dependent Sp(2, ) model for the breathing mode.- 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The theory of data dependencies ¿ An overview.- The VLSI revolution in theoretical circles.- Tuple sequences and indexes.- The complexity of cubical graphs.- P-generic sets.- Functional dependencies and disjunctive existence constraints in database relations with null values.- The algebra of recursively defined processes and the algebra of regular processes.- Algebraic specification of exception handling and error recovery by means of declarations and equations.- Building the minimal DFA for the set of all subwords of a word on-line in linear time.- The complexity and decidability of separation.- Concurrent transmissions in broadcast networks.- Linear searching for a square in a word.- Domain algebras.- Principality results about some matrix languages families.- Oriented equational clauses as a programming language.- Relational algebra operations and sizes of relations.- Some results about finite and infinite behaviours of a pushdown automaton.- On the relationship of CCS and petri nets.- Communicating finite state machines with priority channels.- A modal characterization of observational congruence on finite terms of CCS.- Communication complexity.- Space and time efficient simulations and characterizations of some restricted classes of PDAS.- A complete axiom system for algebra of closed-regular expression.- The complexity of finding minimum-length generator sequences.- On probabilistic tape complexity and fast circuits for matrix inversion problems.- On three-element codes.- Recursion depth analysis for special tree traversal algorithms.- Performance analysis of Shamir's attack on the basic Merkle-Hellman knapsack cryptosystem.- Measures of presortedness and optimal sorting algorithms.- Languages and inverse semigroups.- Area-time optimal vlsi integer multiplier with minimum computation time.- On the interpretation of infinite computations in logic programming.- A linear time algorithm to solve the single function coarsest partition problem.- Complexit¿es facteurs des mots infinis engendr¿par morphismes it¿s.- Automates boustrophedon, semi-groupe de birget et monoide inversif libre.- Probabilistic bidding gives optimal distributed resource allocation.- Partial order semantics versus interleaving semantics for CSP ¿ like languages and its impact on fairness.- Cancellation, pumping and permutation in formal languages.- A hardware implementation of the CSP primitives and its verification.- Factorization of univariate integer polynomials by diophantine approximation and an improved basis reduction algorithm.- Robust algorithms: A different approach to oracles.- Node weighted matching.- The propositional mu-calculus is elementary.- AVL-trees for localized search.- The simple roots of real-time computation hierarchies.- Computational complexity of an optical disk interface.- Encoding graphs by derivations and implications for the theory of graph grammars.- Sampling algorithms for differential batch retrieval problems (extended abstract).Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 540 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangabeI. Extensions of the Predator-Prey-Model of a Growth Cycle.- Implications of Workers' Savings for Economic Growth and the Class Struggle.- Alternative Monetary Policies in a Classical Growth Cycle.- Unemployment Insurance and Cyclical Growth.- A Generalization of R.Goodwin's Model with Rational Behaviour of Economic Agents.- Disaggregating Models of Fluctuating Growth.- II. Further Contributions to a Theory of Fluctuating Growth.- Cyclical Input Demands and the Adjustment Cost Theory of the Firm.- Long-Term Growth and the Cyclical Restoration of Profitability.- The Inflation-Based 'Natural' Rate of Unemployment and the Conflict over Income Distribution.- Cyclical and Structural Aspects of Unemployment and Growth in a Nonlinear Model of Cyclical Growth.- III. On New Mathematical Methods and Methodological Concepts.- Some New Techniques for Modelling Nonlinear Economic Fluctuations: A Brief Survey.- Synergetics and Dynamic Economic Models.- Embodied Technical Progress in a Dynamic Economic Model: The Self-Organization Paradigm.- Fluctuations and Growth: Keynes, Schumpeter, Marx, and the Structural Instability of Capitalism.- IV. Econometric Models.- Cyclical Growth in a Nonlinear Macrodynamic Model of the Italian Economy.- An Econometric Model of the Shares of Wages in National Income: UK 1855-1965.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 304 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Euler equations.- Vortex model.- An existence theorem for Euler equations.- Further considerations on vortex model.- A mean field limit.- Navier-Stokes equations.- Diffusion process and Navier-Stokes equations.- Mean field limit and propagation of chaos for Navier-Stokes equations.- The problem of boundary conditions, chorin method and concluding remarks.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 148 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The present Volume of Lecture Notes in Chemistry fulfils one of the stated aims of the Series, that of disseminating results discussed and evaluated at recent scientific international conferences; in our case a Satellite Meeting of the well-known Conference Series on the Physics of Electronic and Atomic a:ollisions, the XIIIth ICPEAC, which took place in Castelgandolfo, near Rome, from 23 to 25 July 1983. Since the Satellite Meeting attracted a widely international and in terdisciplina~y audience whose general consensus was one of warm appro val for the scie'ntific level achieved during it, we hope that the pre sent collection of essays will be met by similar success, thus warran ting our having asked the participants to work still further for us. Before turning to their efforts, however, it is only just to thank the Italian National Research Council (Chemistry Committee and Physics Committee), the University of Rome, the C.N.R. Tnstitute H.A.I. of the Rome Research Area (Montelibretti) and the E.N.E.A. Organisation for their financial aid, which made the Castelgandolfo Meeting possible. We warmly acknowledge the professional expertise of the staff at Villa Montecucco and for their collaboration we are grateful to: Rita Abbasciano, Catherine Cajone, Lucilla Crescentini, .Roberta Fantoni, An tonio Montani, Amedeo Palma, Rosario Platania, Maurizio Venanzi.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 296 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -INRIA, Institut National de Recherche en Informatique et en AutomatiqueSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 616 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Modelling and optimization in system planning in China.- Uncertainty algebra. A linear algebraic submodel of probability theory.- Energy models and energy policy problems.- The essentials of hierarchical control.- New developments in econometric commodity market modeling: A model of the world copper market.- The great recession: A crisis in parameters .- Analysis and modelling of the development economy in the least developed countries.- Macroeconomic equilibrium with rationing and variable working time.- Continuous-time asset-pricing models: Selected results.- The national investment model ¿ 'N.I.M.'.- A nonlinear econometric model with bounded controls and an entropy objective.- A model of coal transport management in a rail network.- Decomposition of optimal control in energy minimisation in railway traffic.- Optimal urban bus routing with scheduling flexibilities.- Development of demand-responsive strategies for urban traffic control.- An algorithm for Multiple Choice Knapsack Problem.- Aggregation of equalities in integer programming.- On job-shop sheduling with resources constraints.- Space covering technique for multicriterion optimization.- Lexicographical order, inequality systems and optimization.- Stability of generalized equations and Kuhn-Tucker points of perturbed convex programs.- Duality and stability theorems for convex multifunctional programs.- Parametrizing the value functions in dynamic programming.- A smooth sequential penalty function method for solving nonlinear programming problems.- A class of continuously differentiable exact penalty function algorithms for nonlinear programming problems.- On the effectiveness of the Bayesian nonparametric approach to global optimization.- Convergent cutting planes for linear programs with additional reverse convex constraints.- A fast Voronoi-diagram algorithm with applications to geographical optimization problems.- Nonlinear optimization by a curvilinear path strategy.- A unified nonlinear programming theory for penalty, multiplier, SQP and GRG methods.- A linearization algorithm for constrained nonsmooth minimization.- Better than linear convergence and safeguarding in nonsmooth minimization.- On three approaches to the construction of nondifferentiable optimization algorithms.- An algorithm for minimizing nondifferentiable convex functions under linear constraints.- On singular and bang-bang processes in optimal control.- Shape controlability for free boundaries.- Approximation of boundary control problems for evolution variational inequalities arising from free boundary problems.- Optimal control of generalized flow networks.- H¿lder condition for the minimum time function of linear systems.- The quadratic cost problem for L2[0,T; L2( )] boundary input hyperbolic equations.- Modelling and control of water quality in a river section.- A Galerkin approximation for the Zakai equation.- Some singular control problem with long term average criterion.- On Ergodic control problems associated with optimal maintenance and inspection.- Convergence of a stochastic variable metric method with application in adaptive prediction.- Modelization and filtering of discrete systems and discrete approximation of continuous systems.- Extremals in stochastic control theory.- Design wave determination by fast integration technique.- A method to evaluate the consequences of member failure in jacket-type offshore platform structures.- On selecting a target reliability for deep water tension leg platforms.- Frequency versus time domain identification of complex structures modal shapes under natural excitation.- Fatigue of offshore platforms: A method of analysis.- Stochastic design of rubble mound breakwaters.- Probabilistically optimum design of frame structure.- Reliability analysis of elasto-plastic structures.- Threshold crossings in nonlinear systems and ship capsize prevention.- Asymptotic approximations for multinormal domain and surface integrals.- Model uncertainty for bilinear hysteretic systems.- A stochastic algorithm for the optimization of simulation parameters.- Approximations and bounds in discrete stage markov decision processes.- Overall control of an electricity supply and demand system: A global feedback for the french system.- Optimal maintenance policies for modular standby systems.- Probabilistic analysis of some travelling salesman heuristics.- An optimal method for the mixed postman problem.- Modeling and analysis of computer and communications systems with queueing networks: An analytical study.- A hierarchical algorithm for large-scale system optimization problems with duality gaps.- Aggregation bounds in stochastic production problems.- An allocation problem in the design of a class of large-scale systems: Model and algorithm.- An immune lymphocyte circulation model.- Mathematical modeling of infectious diseases: Present state, problems and prospects.- Hyperthermia cancer therapy: Modelling, parameter estimation and control of temperature distribution in human tissue.- Optimal control of the heel-off to lift-off phase of two maximum height jumps.- Theoretical analysis of the sliding filament model for the evaluation of muscle macroscopic performance.- Or is what or does.- On the development of large-scale personnel planning models.- Modeling dynamic systems of variable structure.- Optimal structural design for maximum distance between adjacent eigenfrequencies.- Existence proofs for a class of plate optimization problems.- Short term production scheduling of the pulp mill ¿ A decentralized optimization approach.- Shape optimization for contact problems.- Variational approach to optimal design and sensitivity analysis of elastic structures.- Shape optimal design of a radiating fin.- Application of optimization procedures on the design of various shell structures.- On nondifferentiable plate optimal design problems.- Optimum geometry modeling for minimizing.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -INRIA, Institut National de Recherche en Informatique et en AutomatiqueSpringer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 732 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Homogeneous linear difference equation (Frobenius ¿ Boole method).- An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation.- Operational calculus techniques for solving differential equations.- On the application of symbolic computation to nonlinear control theory.- Quartic equations and algorithms for riemann tensor classification.- Symbolic computation and the Dirichlet problem.- Simplification of polynomials in n variables.- On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems.- Implementation of a p-adic package for polynomial factorization and other related operations.- Computations on curves.- Detecting torsion divisors on curves of genus 2.- Computation in radical extensions.- A primer: 11 Keys to new scratchpad.- A pure and really simple initial functional algebraic language.- Some effectivity problems in polynomial ideal theory.- Upper and lower bounds for the degree of Groebner bases.- On the complexity of the Gr¿bner-bases algorithm over K[x,y,z].- Algorithms for computing Gr¿bner bases of polynomial ideals over various Euclidean rings.- Computations with rational subsets of confluent groups.- Camac2: A portable system for combinatorial and algebraic computation.- Polynomial time algorithms for Galois groups.- Code generation and optimization for finite element analysis.- A comparison of algorithms for the symbolic computation of Pad¿pproximants.- Automatic error cumulation control.- Polynomial factorization by root approximation.- Effective Hilbert irreducibility.- GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation.- A new lifting process for the multivariate polynomial factorization.- Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11.- On a simple primality testing algorithm.- A criterion for the equivalence of two ideals.- y +fy=g.- Integration in finite terms with special functions: A progress report.- A note on the Risch differential equation.- Approximation by continued fraction of a polynomial real root.- On the automatic resolution of certain diophantine equations.- On pseudo-resultants.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -InhaltsangabeThe use and ultimate validity of invariance principles.- Cohomology and contraction: The 'non-relativistic' limit revisited.- Linearization - A unified approach.- Weyl kinematical groups of electromagnetic and energy-momentum tensors.- From spinors to probability amplitudes of external and internal variables for spinning particles.- A characterizatton of factor systems of locally-operating representations.- Recent developments on shift operators.- Unitary and non-unitary, multiplicity free irreducible representations of SL (3,R).- The symmetry group of a differential equation.- Group contractions and the E(2)-like little group for massless particles as an infinite-momentum/zero-mass limit of the 0(3)-like little group for massive particles.- Representation approach to lattices of subgroups of space groups.- Young tableaux for the Lie superalgebra OSP(M/N).- The associated Lie Algebra of $$ddot x$$ + f2 $$dot x$$ + f1x = f0.- Three-dimensional commutative diagram of group homomorphisms.- Indecomposable representations of Verma type.- Some recent results on the SU(3) SO(3) state labelling problem.- Irreducible projective representations of the generalized symmetric groups B n m.- Indecomposable representations of some graded Lie Algebras.- Stephen Paneitz: A brief appreciation.- Indecomposable representations of the Poincare group and associated fields.- SL(n,R)/SO(n) unirreps and group decontraction.- Hysteresis & universal bifurcation in natural processes.- Irreducible representations of the basic classical Lie superalgebras SU(m/n); SU(n/n)/U(1); OSp(m/2n); D(2/1; ); G(3); F(4).- Group representations in indefinite metric spaces.- Tensor operator realisations of the classical Lie Algebras and non-trivial zeros of the 6j-symbol.- Yang - Baxter algebras of dynamical charges in the chiral gross - Neveu model.- Subgroups of Lie groups and symmetry reduction for nonlinear partial differential equations.- Spinorial description of Lie superalgebras.- Noetherian symmetries, backlund transformation and conservation laws for a completely integrable three dimensional system.- Einstein equations without killing vectors, self-dual Yang-Mills field and non-linear sigma models (integrability properties, links, new solutions).- Jet bundle technique, Lie Bäcklund vector fields and diffusion equations.- A group-theoretic treatment of Gaussian optics and third-order aberrations.- Study of Michel's conjecture.- Conformally invariant solutions of Yang-Mills equations in Minkowski space.- Two body relativistic scattering with an 0(1,1) symmetric sqaure well potential.- Emergence of central extension of Kac-Moody algebra in quantum integrable models.- Cohomological interpretation of anomalies the example of the trace anomaly.- On pure, conformal and exotic spinors.- Pohlmeyer-type transformations in general relativity.- On group covariance and the law of motion in a generalized metric theory.- Minimalization of Higgs potentials with application to the SU(5) model.- Self-dual monopoles and calorons.- U(1) Invariant hierarchy theories in d-dimension antisymmetric gauge tensor fields.- Generalized connection forms with linearized curvature.- Dynamical symmetry breaking in S4 De Sitter space.- Applications of conformal invariance to gauge Quantum Field Theory.- On the necessity of breaking colour SUC(3) symmetry.- Massive vector superfields with SU(2) internal symmetry.- Supergravity in eleven-dimensional space-time.- Dimensional reduction of exceptional gauge groups and flavor chirality.- Seven - Spheres from octonions.- A solution of Bianchi identities for extended supergravities.- N=2 unconstrained superfield supergravity from hypermultiplet.- Euclidean supersymmetries in three and four dimensions.- Gauge theories in higher dimensions: Linear relations for gauge fields, integrability conditions, spherical symmetry in eight dimensions.- Quantum vortices and diff ( 3).- The time dependent Sp(2, ) model for the breathing mode.-Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 552 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Homogeneous linear difference equation (Frobenius ¿ Boole method).- An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation.- Operational calculus techniques for solving differential equations.- On the application of symbolic computation to nonlinear control theory.- Quartic equations and algorithms for riemann tensor classification.- Symbolic computation and the Dirichlet problem.- Simplification of polynomials in n variables.- On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems.- Implementation of a p-adic package for polynomial factorization and other related operations.- Computations on curves.- Detecting torsion divisors on curves of genus 2.- Computation in radical extensions.- A primer: 11 Keys to new scratchpad.- A pure and really simple initial functional algebraic language.- Some effectivity problems in polynomial ideal theory.- Upper and lower bounds for the degree of Groebner bases.- On the complexity of the Gr¿bner-bases algorithm over K[x,y,z].- Algorithms for computing Gr¿bner bases of polynomial ideals over various Euclidean rings.- Computations with rational subsets of confluent groups.- Camac2: A portable system for combinatorial and algebraic computation.- Polynomial time algorithms for Galois groups.- Code generation and optimization for finite element analysis.- A comparison of algorithms for the symbolic computation of Pad¿pproximants.- Automatic error cumulation control.- Polynomial factorization by root approximation.- Effective Hilbert irreducibility.- GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation.- A new lifting process for the multivariate polynomial factorization.- Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11.- On a simple primality testing algorithm.- A criterion for the equivalence of two ideals.- y +fy=g.- Integration in finite terms with special functions: A progress report.- A note on the Risch differential equation.- Approximation by continued fraction of a polynomial real root.- On the automatic resolution of certain diophantine equations.- On pseudo-resultants. 412 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In October 1982, a small international symposium was held at the Gesellschaft fUr Strahlen- und Umweltforschung mbH (GSF) in Munich as a satellite meeting of the IX International Conference on Analytical Cytology. The symposium focussed on cytometric approaches to biological dosimetry, and was, to the best of our knowledge, the first meeting on this subject ever held. There was strong encouragement from the 75 attendees and from others to publish a proceedings of the symposium. Hence this book, containing 30 of the 36 presentations, has been assembled. Dosimetry, the accurate and systematic determination of doses, usually refers to grams of substance administered or rads of ionization or some such measure of exposure of a patient, a victim or an experimental system. The term also can be used to describe the quantity of an ultimate, active agent as delivered to the appropriate target material within a biological system. Thus, for mutagens, one can speak of DNA dosimetry, meaning the number of adducts produced in the DNA of target cells such as bone-mar row stem cells or spermatogonia. 368 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The Medicolegal Library is the first and only series of its kind. Its importance is self-evident. During the last decade, science, especial ly medical practice, has become an increasingly complex under taking. Recent dramatic developments in medicine have given rise to both theoretical controversies and practical dilemmas. Society is struggling with new scientific, economic, cultural, and legal issues. The establishment of a series such as this appears vital for lawyers and physicians, for sociologists and psychologists, and for the pub lic at large. The editorial board of the Medicolegal Library consists of dis tinguished scientists from many different countries and disciplines. Judge Amnon Carmi acts as principal series editor. Judge Carmi is the author of many books and articles on medical law, and is Editor in-Chief of Medicine and Law: An International Journal. The Medicolegal Library will issue two books each year. The first four books, soon to be published, will deal with child abuse, euthanasia, disability, and nursing, laws and ethics. It is the wish and intention of Springer-Verlag that the Medicole gal Library play an important role throughout the world in the study and understanding of the field of medicine and law, for the benefit of both professions and of mankind at large. Contents I. Introduction Live Like a King: Die Like a King A.Carmi . . 3 II. The Duty to Live and the Right to Die On the Dichotomy of Divinity and Humanity in Jewish Law H. H. Cohn . . . . . . . . . . . . . . . . . . . . . . . 31 . . . . 200 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A wealth of information on osmotic and ionic reaulation in Estuarine and Marine Animals has been accumulated over the past decades. Beyond early studies of whole-animal responses to changes in envi ronmental salinities, efforts have been made later on to identify, to localize and to characterize the organs and structures responsible for the control of the characteristics of the cell's environmental fluid. When considering the problem of cell volume control in animals facing media of fluctuating salinities, we are indeed dealing with two different categories of mechanisms. A first one is concerned with the control of the osmolality of the intracellular fluid, hence with the processes directly implicated in the maintenance of cell volume and shape. They have been extensively described in several recent review papers. The second category includes the processes controllin~ the charac teristics of the cell's environmental fluid in order to minimize the amplitude of the osmotic shocks the cells may have to cope with upon acclimation to media of changed salinities. They are localized in particular organs and structures : the so-called 'caZt-transporting' epithelia. Up to now, most of the studies on salt-transportino epithe lia in estuarine and marine animals used the black box approach, so that little or sometimes nothing is still known on the physiological, the biochemical and the biophysical basis of the transporting mecha nisms as well as on the structure-function relationships. 236 pp. Englisch.