springer berlin heidelberg jun 1986 (72 risultati)

Taschenbuch. Condizione: Neu. Neuware -A preliminary discussion.- The weierstrass representation and the classical examples.- Complete minimal surfaces with finite total curvature.- Recent examples of complete minimal surfaces.- Nonexistence of certain minimal surfaces.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Monodromy and poles of X f2 .- Le groupe de monodromie des familles universelles d'hypersurfaces et d'intersections completes.- Complete families of stable vector bundles over 2.- Appendix to the paper ¿complete families of stable vector bundles over ¿.- On the minimal model problem.- Modulr¿e holomorpher Abbildungen auf komplexen Mannigfaltigkeiten mit 1-konkavem Rand.- Stable rationality of some moduli spaces of vector bundles on P2.- Compact k¿er manifolds of nonnegative holomorphic bisectional curvature.- Concavity, convexity and complements in complex spaces.- Subvarieties in homogeneous manifolds.- Rational curves in mois zon 3-folds.- On the structure of 4 folds with a hyperplane section which is a 1 bundle over a ruled surface.- Complex surfaces with negative tangent bundle.- Nonequidimensional value distribution theory and subvariety extension.- On the adjunction theoretic structure of projective varieties.- Value distribution theory for moving targets. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Action de groupes sur A1( ).- Conditions Noeth¿ennes dans les anneaux gradu¿- The subgroup structure of the brauer group of RG-dimodule algebras.- A graded version of artin's refinement theorem.- Exemples de sous-corps commutatifs maximaux dans D2(k).- Semigroup rings which are separable algebras.- Classnumbers of maximal orders in central simple algebras over global function fields.- Generating the ring of matrix invariants.- Hereditary and semihereditary endomorphism rings.- The poincare series of m,2.- An explicit description of 3,2.- S-d¿vations alg¿iques sur les anneaux premiers.- On affine algebras.- Ideaux premiers purement codimensionels d'algebres enveloppantes.- Sur le groupe des extensions cubiques.- Universal localisation for hereditary rings and quivers.- Differential operators on commutative algebras.- Height relative to a torsion theory.- Polynomes tordus et T-anneaux a gauche.- The algebraic index of a division algebra.- Hecke Actions on Relative Picard Groups.- The general linear group of discrete hodge algebras. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -The microelectrode technique is today the most widely used method in electrophy siology. Microelectrodes offer a unique approach to measurements of electrical pa rameters and ion activities of single cells. Several important breakthroughs in trans port physiology have arisen from microelectrode studies. Undoubtedly, there is a progressively wide-spread use of conventional and ion-selective microelectrodes. Due to their particular dimension and properties micro electrodes are exclusive ly applied to measurements on living matter. This must have many consequences to my thoughts on experiments with microelectrodes. In this book, my concern is fo cussing on the description of an intracellular method that should lead to reliable in formation on cellular parameters. The methodical basis for any meaningful applica tion is treated extensively. However, technical perfection and accurate results are not the only concern when working on animals and human beings. Rather, my thoughts are governed by the intellectual and moral mastery of the experimental ap proach on living subjects. A measurement with microelectrodes usually necessitates the sacrifice of an ani mal. This is an immense fact, and means that the knowledge gained by the experi ment must justify the death of a living subject.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 368 pp. Englisch.

Taschenbuch. Condizione: Neu. Neuware -Die hier vorgestellte Studie wurde von Mitte 1983 bis Ende 1984 von der Deutschen Forschungsgemeinschaft innerhalb des Schwerpunktbereichs 'Medizinsoziologie' gefOrdert. An ihrer Entstehung und Fertigstellung haben (z. T. weit uber diese kurze Zeitspanne hinaus) viele Menschen Anteil genommen. Denen, die an ihrem Entstehen in besonderem MaBe beteiligt waren, mochte ich hier meinen Dank ausdriicken. Ulrich Laaser hat mir eine uneigennutzige Unterstutzung in der Planung, Durchfuhrung und nicht zuletzt auch der organisatori schen Absicherung des Projektes gegeben. Ich danke ihm fUr das personliche Vertrauen ebenso wie fur seine inhaltlichen Anre gungen. Die gemeinschaftliche Abwicklung der Forschungsar beiten empfinde ich als beispielhaft dafur, wie ein Aufeinander treffen von sozialwissenschaftlichen und medizinischen Denk weisen (ohne Verleugnung bestehender EigensUindigkeiten auf jeder Seite) zu fruchtbaren, in Ansiitzen sogar gebietsubergrei fenden Ergebnissen fuhren kann. Gisela Schussler hat die Entstehung, den AbschluB und die Fol gen der vorliegenden Arbeit hautnah begleitet. Ich schulde ihr Dank fur ihre emmntemde Geduld und liebevolle Hartniickig keit, die den engen Rahmen der wissenschaftlichen Tiitigkeit bei weitem uberschritten haben. Mit Eberhard Wenzel verb and mich in den vergangenen Jahren eine Freundschaft, in der per sonliche von beruflichen Momenten nur wenig getrennt waren. Er wird einige unserer gemeinsamen Gedanken und Einstellun gen in bzw. zwischen den Zeilen dieses Buches wiederfinden. Hannes Friedrich und Brigitte Pajung verdanke ich eine kundige und vielfaltig unterstiitzende Beratung in konzeptionellen und methodischen Belangen der Studie.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 236 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 324 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -In den letzten 25 Jahren mag der falsche Eindruck entstanden sein, daß mit der stabilen Osteosynthese und funktionellen Nachbehand lung im Sinne der AO die konservative Knochenbruchbehandlung nur mehr gelegentlich angebracht sei. In Wirklichkeit werden an der Klinik für Orthopädische Chirurgie des Kantonsspitals St. Gallen klare Richtlinien dafür beachtet, welche Fraktur der operativen und welche der konservativen Behandlung bedarf. Von diesen Richtli nien gibt es natürlich Abweichungen in der einen oder anderen Richtung, je nachdem, welcher Patient welche Fraktur aufweist und wie die Begleitumstände sind. Zahlenmäßig ausgedrückt werden an unserer Klinik beim Kind 85% der Schaftbrüche, beim Erwachsenen 40% der Schaftbrüche konservativ behandelt. Im vorliegenden Buch haben in einer zweiten Auflage Dr. F. Freuler, Dr. U. Wiedmer und Herr D. Bianchini, Gipspfleger, jene Maßnah men dargestellt, die entweder zur konservativen Behandlung dienen oder die operative Versorgung ergänzen. Dabei handelt es sich um Extensionen, Fixationen, Gipsschienen und Gipsverbände her kömmlicher Art, in der jetzigen Auflage mit Berücksichtigung der neuen Kunststoffverbände und der funktionellen Verbände ('tap ing'). Die Autoren haben das Verdienst, zahlreiche Maßnahmen und Tricks zusammengestellt zu haben. Von der Beherrschung dieser Maßnahmen hängt in hohem Grade das Heilungsergebnis sowohl bei konservativer als auch bei operativer Behandlung von Verletzun gen des Bewegungsapparats ab. Meinen Mitarbeitern gilt besonde rer Dank dafür, auch mit der 2. Auflage Ihrer Schrift dazu einen Bei trag zu leisten.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 188 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -A. Theis! Wenn eine der iiltesten medizinischen Vereinigungen - wie es die DEUTSCHE GESELLSCHAFT FiiR PSYCHIATRIE UND NERVENHEILKUNDE ist - an einer Universitiit tagt, die gerade auf diesem Fachgebiet eine lange und ruhmreiche Tradition besitzt, so ist das ein ganz besonderer AnlaB, zu dem ich Sie auf das Herzlichste hier in Tiibingen begriiBen mochte. Sie haben fiir Ihre Tagung ein Thema gewiihlt, das von Standespolitikern nur vor sichtig in die Diskussion gebracht wird. Doch wer Sie, verehrter Herr Professor Hei mann, kennt, weiB, daB dieses Thema eines Ihrer groBen Anliegen ist. Nicht etwa, weil es in der Forschungspolitik modern geworden ist, iiber Interdisziplinaritiit zu reden, sondern weil Sie seit lahren urn die universitiitsinterne Zusammenarbeit verschiedener Disziplinen bemiiht sind. Die Kooperation mit den klinischen Psychologen ist an Ihrer Klinik zur Selbstverstiindlichkeit geworden. Sie haben sich auch fiir die Einrichtung von Tages- und Nachsorgekliniken mit medizinischer und sozialpiidagogischer Betreuung eingesetzt und in den letzten lahren beim Aufbau des interdiszipliniiren Forschungsbereiches NEUROBIOLOGIE, einem Kooperationsprojekt von Medizi nern, Biologen, Verhaltensforschern und Psychologen mitgewirkt. Und Sie haben sich auch immer mit dem nicht nur medizinischen, sondern auch ethischen Problem beschiiftigt: Wie krank ist mein Patient eigentlich Und diese Fragen haben Sie immer wieder mit Kollegen auch anderer Fachrichtungen diskutiert.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 396 pp. Deutsch.

Taschenbuch. Condizione: Neu. Neuware -anderer Stoffe.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Deutsch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Conics.- Complete conics.- Systems of conics.- Equations of the degeneration hypersurfaces.- Conditions imposed on conics.- Action of the projective group and proper solutions of an enumarative problem.- Genericity of the data of conditions.- Local characters of a condition.- Halphen's first formula.- Computation of characteristic numbers.- Examples.- Strict equivalence of conditions.- Systems of conics contained in Sp,q.- Conics satisfying five independent conditions.- Cycles on W and on B.- Multiplicity cycles and Noether's formula.- Improper intersection numbers.- Generalization of Halphen's formula to conditions of higher order.- Examples of higher order conditions.- Strict equivalence of conditions.- Enumerative ring of W.- Computation of products in hal¿ (W).- Further examples. 144 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A preliminary discussion.- The weierstrass representation and the classical examples.- Complete minimal surfaces with finite total curvature.- Recent examples of complete minimal surfaces.- Nonexistence of certain minimal surfaces. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -A brief survey of Antoine Ehrhard's scientific work.- Invariance principles for the empirical measure of a mixing sequence and for the local time of markov processes.- Almost exchangeable sequences in Lq, 1 q 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Monodromy and poles of X f2 .- Le groupe de monodromie des familles universelles d'hypersurfaces et d'intersections completes.- Complete families of stable vector bundles over 2.- Appendix to the paper ¿complete families of stable vector bundles over ¿.- On the minimal model problem.- Modulr¿e holomorpher Abbildungen auf komplexen Mannigfaltigkeiten mit 1-konkavem Rand.- Stable rationality of some moduli spaces of vector bundles on P2.- Compact k¿er manifolds of nonnegative holomorphic bisectional curvature.- Concavity, convexity and complements in complex spaces.- Subvarieties in homogeneous manifolds.- Rational curves in mois zon 3-folds.- On the structure of 4 folds with a hyperplane section which is a 1 bundle over a ruled surface.- Complex surfaces with negative tangent bundle.- Nonequidimensional value distribution theory and subvariety extension.- On the adjunction theoretic structure of projective varieties.- Value distribution theory for moving targets. 244 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Action de groupes sur A1( ).- Conditions Noeth¿ennes dans les anneaux gradu¿- The subgroup structure of the brauer group of RG-dimodule algebras.- A graded version of artin's refinement theorem.- Exemples de sous-corps commutatifs maximaux dans D2(k).- Semigroup rings which are separable algebras.- Classnumbers of maximal orders in central simple algebras over global function fields.- Generating the ring of matrix invariants.- Hereditary and semihereditary endomorphism rings.- The poincare series of m,2.- An explicit description of 3,2.- S-d¿vations alg¿iques sur les anneaux premiers.- On affine algebras.- Ideaux premiers purement codimensionels d'algebres enveloppantes.- Sur le groupe des extensions cubiques.- Universal localisation for hereditary rings and quivers.- Differential operators on commutative algebras.- Height relative to a torsion theory.- Polynomes tordus et T-anneaux a gauche.- The algebraic index of a division algebra.- Hecke Actions on Relative Picard Groups.- The general linear group of discrete hodge algebras. 240 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Characterizations of PUNC and precomputation.- Comparison of algorithms controlling concurrent access to a database: A combinatorial approach.- A new duality result concerning Voronoi diagrams.- Classification of all the minimal bilinear algorithms for computing the coefficients of the product of two polynomials modulo a polynomial.- On exponential lowness.- A tradeoff between search and update time for the implicit dictionary problem.- Intersections of some families of languages.- Correspondence between ternary simulation and binary race analysis in gate networks.- Counting with rational functions.- Finite biprefix sets of paths in a Graph.- Parallel RAMs with owned global memory and deterministic context-free language recognition.- A Strong restriction of the inductive completion procedure.- On discerning words by automata.- Complexity classes without machines: On complete languages for UP.- Containment, separation, complete sets, and immunity of complexity classes.- On nontermination of Knuth-Bendix algorithm.- Tradeoffs for language recognition on parallel computing models.- Rational equivalence relations.- Some further results on digital search trees.- Knowledge, belief and time.- A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication.- Decompositions of nondeterministic reductions.- Hierarchical planarity testing algorithms.- Synthesis and equivalence of concurrent systems.- The set union problem with backtracking.- Torsion matrix semigroups and recognizable transductions.- On recognizable subsets of free partially commutative monoids.- Min Cut is NP-complete for edge weighted trees.- Alternating automata, the weak monadic theory of the tree, and its complexity.- Subpolynomial complexity classes of real functions and real numbers.- Etude syntaxique des parties reconnaissables de mots infinis.- Refusal testing.- A timed model for communicating sequential processes.- A uniform reduction theorem extending a result of J. Grollmann and A. Selman.- On the complexity of deciding fair termination of probabilistic concurrent finite-state programs.- A new approach to detection of locally indicative stability.- A more efficient algorithm for lattice basis reduction.- Lower bounds by recursion theoretic arguments.- An improved algorithm for transitive closure on acyclic digraphs.- Un algorithme determinant les melanges de deux mots.- A very fast, practical algorithm for finding a negative cycle in a digraph.- A compositional reformulation of Owicki-Gries's partial correctness logic for a concurrent while language.- Semigroups and languages of dot-depth 2.- A parallel vertex insertion algorithm for minimum spanning trees.- More complicated questions about maxima and minima, and some closures of NP.- Lower bounds for dynamic range query problems that permit subtraction (extended abstract).- E-unification algorithms for a class of confluent term rewriting systems.- On fixed-point clones. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Verification of an alternating bit protocol by means of process algebra protocol.- Predicative programming revisited.- Some problems on inductive inference from positive data.- Language and example of knowledge-based programming.- Inductive inference hierarchies: Probabilistic VS pluralistic strategies.- Natural mathematical texts VS. programs.- An algebraic framework for inductive program synthesis.- Approximation logic.- Learning on the basis of a polynomial pattern synthesis algorithm.- The proof-checking component for the pleats programming system enabling specification of theories.- The METANET. A knowledge representation tool based on abstract data types.- One more property of array languages.- Theoretical aspects of -programming.- Decidability in pratt's process logics.- A program synthesis algorithm exemplified.- The algorithmic specification method of abstract data types: An overview.- Orientation problems on sequences by recursive functions.- The solution of discrete problems by means of ternary representations.- Formalizing analogical reasoning.- Some results in the theory of effective program synthesis: Learning by defective information.- Deductive normal forms of relations.- How fast is program synthesis from examples.- On recursive optimizers. 256 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Digital filtering in VLSI.- Two processor scheduling is in NC.- Breaking symmetry in synchronous networks.- Parallel ear decomposition search (EDS) and st-numbering in graphs.- A unifying framework for systolic designs.- Optimal tradeoffs for addition on systolic arrays.- On the connection between hexagonal and unidirectional rectangular systolic arrays.- Lower bounds for sorting on mesh-connected architectures.- Diogenes, circa 1986 o o o.- Nonsequential computation and laws of nature.- Linear algorithms for two CMOS layout problems.- Some new results on a restricted channel routing problem.- Efficient modular design of TSC checkers for m-out-of-2m codes.- Vlsi algorithms and pipelined architectures for solving structured linear system.- A high-performance single-chip vlsi signal processor architecture.- Exploiting hierarchy in VLSI design.- A polynomial algorithm for recognizing images of polyhedra.- Parallel tree techniques and code optimization.- AT2-optimal galois field multiplier for VLSI.- Linear and book embeddings of graphs.- Efficient parallel evaluation of straight-line code and arithmetic circuits.- A logarithmic boolean time algorithm for parallel polynomial division.- A polynomial algorithm for recognizing small cutwidth in hypergraphs.- A generalized topological sorting problem.- Combinational static CMOS networks.- Fast and efficient parallel linear programming and linear least squares computations.- On the time required to sum n semigroup elements on a parallel machine with simultaneous writes.- A comparative study of concurrency control methods in B-trees.- Generalized river routing ¿ Algorithms and performance bounds. 340 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Conics.- Complete conics.- Systems of conics.- Equations of the degeneration hypersurfaces.- Conditions imposed on conics.- Action of the projective group and proper solutions of an enumarative problem.- Genericity of the data of conditions.- Local characters of a condition.- Halphen's first formula.- Computation of characteristic numbers.- Examples.- Strict equivalence of conditions.- Systems of conics contained in Sp,q.- Conics satisfying five independent conditions.- Cycles on W and on B.- Multiplicity cycles and Noether's formula.- Improper intersection numbers.- Generalization of Halphen's formula to conditions of higher order.- Examples of higher order conditions.- Strict equivalence of conditions.- Enumerative ring of W.- Computation of products in hal¿ (W).- Further examples.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 144 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -A brief survey of Antoine Ehrhard's scientific work.- Invariance principles for the empirical measure of a mixing sequence and for the local time of markov processes.- Almost exchangeable sequences in Lq, 1 qSpringer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Domaines de Reinhardt born¿homogenes de (S, ).- Le calcul de la forme hermitienne canonique pour Xa+Yb+Zc=0.- Boundary continuity of proper holomorphic correspondences.- Sur les singularites des ensembles analytiques.- Division dans les espaces de Lipschitz de fonctions holomorphes.- Sur l'identite de Bochner-Kodaira-Nakano en geometrie hermitienne.- Un exemple de fibr¿olomorphe non de Stein ¿ibre 2 au-dessus du disque ou du plan.- Une presentation de la theorie des sous-analytiques sans desingularisation.- H1 et multiplicit¿pour le spectre d'une alg¿e.- Fonctions finement holomorphes de plusieures variables ¿ Un essai.- Une classe d'op¿teurs singuliers non lin¿res a singularit¿¿li¿.- On a vanishing theorem on irreducible quotients of finite volume of polydiscs.- Pseudo-convexite des ouverts invariants et convexite geodesique dans certains espaces symetriques.- Perturbations de structures C.R.- Probleme des bords : Maximale complexite forte.- Holomorphic extendability past boundary points and flat functions in C2 and Cn.- Sur les domaines cercl¿born¿de l'espace Co(IN).- Proprietes cohomologiques d'une classe de varietes analytiques complexes compactes.- Quelques applications des geodesiques complexes aux points fixes d'applications holomorphes. 272 pp. Englisch, Französisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parallel execution of logic programs.- Delta Prolog: A distributed backtracking extension with events.- OLD resolution with tabulation.- Logic programs and alternation.- Intractable unifiability problems and backtracking.- On the complexity of unification sequences.- How to invent a Prolog machine.- A sequential implementation of Parlog.- A GHC abstract machine and instruction set.- A Prolog processor based on a pattern matching memory device.- An improved version of Shapiro's model inference system.- A framework for ICAI systems based on inductive inference and logic programming.- Rational debugging in logic programming.- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning.- Some issues and trends in the semantics of logic programming.- Parallel logic programming languages.- P-Prolog: A parallel logic language based on exclusive relation.- Making exhaustive search programs deterministic.- Compiling OR-parallelism into AND-parallelism.- Shared memory execution of committed-choice languages.- Logic program semantics for programming with equations.- On the semantics of logic programming languages.- Towards a formal semantics for concurrent logic programming languages.- Design of a Prolog-based machine translation system.- Parallel logic programming for numeric applications.- Sequential and concurrent deterministic logic grammars.- A parallel parsing system for natural language analysis.- Equivalences of logic programs.- Qualified answers and their application to transformation.- Procedures in Horn-clause programming.- Higher-order logic programming.- Abstract interpretation of Prolog programs.- Verifleation of Prolog programs using an extension of execution.- Detection and optimization of functional computations in Prolog.- Control of logic program execution based on the functional relation.- Declarative graphics.- Test-pattern generation for VLSI circuits in a Prolog environment.- Using Prolog to represent and reason about protein structure.- A New approach for introducing Prolog to naive users.- Prolog programming environments: Architecture and implementation.- Design overview of the NAIL! System.- A superimposed codeword indexing scheme for very large Prolog databases.- Interfacing Prolog to a persistent data store.- A general model to implement DIF and FREEZE.- Cyclic tree traversal.- Completeness of the SLDNF-resolution for a class of logic programs.- Choices in, and limitations of, logic programming.- Negation and quantifiers in NU-Prolog.- Gracefully adding negation and disjunction to Prolog.- Memory performance of Lisp and Prolog programs.- The design and implementation of a high-speed incremental portable Prolog compiler.- Compiler optimizations for the WAM.- Fast decompilation of compiled Prolog clauses.- Logic continuations.- Cut & Paste ¿ defining the impure primitives of Prolog.- Tokio: Logic programming language based on temporal logic and its compilation to Prolog.- The OR-forest description for the execution of logic programs. 736 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeA martingale approach to partially observable controlled stochastic systems.- On the limiting distribution of extremum points for certain stochastic optimization models.- The structure of persistently nearly-optimal strategies in stochastic dynamic programming problems.- On the derivation of a filtering equation for a non-observable semimartingale.- On the representation of functionals of a wiener sheet by stochastic integrals.- The maximum principle for optimal control of diffusions with partial information.- Explicit solution of a consumption/investment problem.- On the asymptotic behavior of some optimal estimates of parameters of nonlinear regression functions.- On the -optimal control of a stochastic integral equation with an unknown parameter.- Some properties of value functions for controlled diffusion processes.- Stochastic control with state constraints and non-linear elliptic equations with infinite boundary conditions.- On the weak convergence of controlled semi-martingales.- Estimation of parameters and control of systems with unknown parameters.- On recursive approximations with error bounds in nonlinear filtering.- On approximations to discrete-time stochastic control problems.- On lexicographical optimality criteria in controlled markov chains.- Canonical correlations, hankel operatiors and markovian representations of multivariate stationary Gaussian processes.- The maximum principle in stochastic problems with non-fixed random control time.- Optimal control of stochastic integral equations.- Some direct methods for computing optimal estimators for forecasting and filtering problems involving stochastic processes.- On functional equations of discrete dynamic programming.- Risk-sensitive and Hamiltonian formulations in optimal control.- Martingales in survival analysis.- Markov decision processes with both continuous and impulsive control.- Stochastic programming methods: Convergence and non-asymptotic estimation of the convergence rate.- Solution of a stochastic programming problem concerning the distribution of water resources.- Limit theorems for processes generated by stochastic optimization algorithms.- On the structure of optimality criteria in stochastic optimization models.- Strong laws for a class of path-dependent stochastic processes with applications.- The generalized extremum in the class of discontinuous functions and finitely additive integration.- Convex multivalued mappings and stochastic models of the dynamics of economic systems.- Stability in stochastic programming - Probabilistic constraints.- Duality in improper mathematical programming problems under uncertainty.- Equilibrium states of monotonic operators and equilibrium trajectories in stochastic economic models.- Finite horizon approximates of infinite horizon stochastic programs.- Stochastic optimization techniques for finding optimal submeasures.- Strong consistency theorems related to stochastic quasi-Newton methods.- Stochastic gradient methods for optimizing electrical transportation networks.- On the functional dependence between the available information and the chosen optimality principle.- Uncertainty in stochastic programming.- Stochastic programming models for safety stock allocation.- Direct averaging and perturbed test function methods for weak convergence.- On the approximation of stochastic convex programming problems.- Extremal problems with probability measures, functionally closed preorders and strong stochastic dominance.- Expected value versus probability of ruin strategies.- Controlled random search procedures for global optimization.- On Bayesian methods in nondifferential and stochastic programming.- On stochastic programming in hilbert space.- Reduction of risk using a differentiated approach.- A stochastic lake eutrophication management model.- A dynamic model of market behavior.- Recursive stochastic gradient procedures in the presence of dependent noise.- Random search as a method for optimization and adaptati 772 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Differential stability of projection in Hilbert space onto convex set. Applications to sensitivity analysis of optimal control problems.- Sensitivity of solutions to convex optimal control problems for parabolic equations.- Parametric optimization problems for evolution initial - boundary value problems.- Finite element approximation of an optimal design problem for free vibrating plates.- The design of a two-dimensional domain.- Numerical treatment of variational inequality governing multidimensional two-phase stefan problem.- Improvement of an algorithm for the computation of optimal control.- Quasi-optimal feedback for linear differential games.- Suboptimal strategies for Nash nonlinear differential games.- Quasi ¿ Subgradient algorithms for calculating surrogate constraints. 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Characterizations of PUNC and precomputation.- Comparison of algorithms controlling concurrent access to a database: A combinatorial approach.- A new duality result concerning Voronoi diagrams.- Classification of all the minimal bilinear algorithms for computing the coefficients of the product of two polynomials modulo a polynomial.- On exponential lowness.- A tradeoff between search and update time for the implicit dictionary problem.- Intersections of some families of languages.- Correspondence between ternary simulation and binary race analysis in gate networks.- Counting with rational functions.- Finite biprefix sets of paths in a Graph.- Parallel RAMs with owned global memory and deterministic context-free language recognition.- A Strong restriction of the inductive completion procedure.- On discerning words by automata.- Complexity classes without machines: On complete languages for UP.- Containment, separation, complete sets, and immunity of complexity classes.- On nontermination of Knuth-Bendix algorithm.- Tradeoffs for language recognition on parallel computing models.- Rational equivalence relations.- Some further results on digital search trees.- Knowledge, belief and time.- A termination detector for static and dynamic distributed systems with asynchronous non-first-in-first-out communication.- Decompositions of nondeterministic reductions.- Hierarchical planarity testing algorithms.- Synthesis and equivalence of concurrent systems.- The set union problem with backtracking.- Torsion matrix semigroups and recognizable transductions.- On recognizable subsets of free partially commutative monoids.- Min Cut is NP-complete for edge weighted trees.- Alternating automata, the weak monadic theory of the tree, and its complexity.- Subpolynomial complexity classes of real functions and real numbers.- Etude syntaxique des parties reconnaissables de mots infinis.- Refusal testing.- A timed model for communicating sequential processes.- A uniform reduction theorem extending a result of J. Grollmann and A. Selman.- On the complexity of deciding fair termination of probabilistic concurrent finite-state programs.- A new approach to detection of locally indicative stability.- A more efficient algorithm for lattice basis reduction.- Lower bounds by recursion theoretic arguments.- An improved algorithm for transitive closure on acyclic digraphs.- Un algorithme determinant les melanges de deux mots.- A very fast, practical algorithm for finding a negative cycle in a digraph.- A compositional reformulation of Owicki-Gries's partial correctness logic for a concurrent while language.- Semigroups and languages of dot-depth 2.- A parallel vertex insertion algorithm for minimum spanning trees.- More complicated questions about maxima and minima, and some closures of NP.- Lower bounds for dynamic range query problems that permit subtraction (extended abstract).- E-unification algorithms for a class of confluent term rewriting systems.- On fixed-point clones.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Differential stability of projection in Hilbert space onto convex set. Applications to sensitivity analysis of optimal control problems.- Sensitivity of solutions to convex optimal control problems for parabolic equations.- Parametric optimization problems for evolution initial - boundary value problems.- Finite element approximation of an optimal design problem for free vibrating plates.- The design of a two-dimensional domain.- Numerical treatment of variational inequality governing multidimensional two-phase stefan problem.- Improvement of an algorithm for the computation of optimal control.- Quasi-optimal feedback for linear differential games.- Suboptimal strategies for Nash nonlinear differential games.- Quasi ¿ Subgradient algorithms for calculating surrogate constraints.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 252 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The role of logic programming in the Fifth Generation Computer Project.- An abstract machine for restricted AND-parallel execution of logic programs.- Efficient management of backtracking in AND-Parallelism.- An intelligent backtracking algorithm for parallel execution of logic programs.- Delta Prolog: A distributed backtracking extension with events.- OLD resolution with tabulation.- Logic programs and alternation.- Intractable unifiability problems and backtracking.- On the complexity of unification sequences.- How to invent a Prolog machine.- A sequential implementation of Parlog.- A GHC abstract machine and instruction set.- A Prolog processor based on a pattern matching memory device.- An improved version of Shapiro's model inference system.- A framework for ICAI systems based on inductive inference and logic programming.- Rational debugging in logic programming.- Using definite clauses and integrity constraints as the basis for a theory formation approach to diagnostic reasoning.- Some issues and trends in the semantics of logic programming.- Parallel logic programming languages.- P-Prolog: A parallel logic language based on exclusive relation.- Making exhaustive search programs deterministic.- Compiling OR-parallelism into AND-parallelism.- Shared memory execution of committed-choice languages.- Logic program semantics for programming with equations.- On the semantics of logic programming languages.- Towards a formal semantics for concurrent logic programming languages.- Design of a Prolog-based machine translation system.- Parallel logic programming for numeric applications.- Sequential and concurrent deterministic logic grammars.- A parallel parsing system for natural language analysis.- Equivalences of logic programs.- Qualified answers and their application to transformation.- Procedures in Horn-clause programming.- Higher-order logic programming.- Abstract interpretation of Prolog programs.- Verifleation of Prolog programs using an extension of execution.- Detection and optimization of functional computations in Prolog.- Control of logic program execution based on the functional relation.- Declarative graphics.- Test-pattern generation for VLSI circuits in a Prolog environment.- Using Prolog to represent and reason about protein structure.- A New approach for introducing Prolog to naive users.- Prolog programming environments: Architecture and implementation.- Design overview of the NAIL! System.- A superimposed codeword indexing scheme for very large Prolog databases.- Interfacing Prolog to a persistent data store.- A general model to implement DIF and FREEZE.- Cyclic tree traversal.- Completeness of the SLDNF-resolution for a class of logic programs.- Choices in, and limitations of, logic programming.- Negation and quantifiers in NU-Prolog.- Gracefully adding negation and disjunction to Prolog.- Memory performance of Lisp and Prolog programs.- The design and implementation of a high-speed incremental portable Prolog compiler.- Compiler optimizations for the WAM.- Fast decompilation of compiled Prolog clauses.- Logic continuations.- Cut & Paste ¿ defining the impure primitives of Prolog.- Tokio: Logic programming language based on temporal logic and its compilation to Prolog.- The OR-forest description for the execution of logic programs.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 736 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -With the advent of heavy-ion reactions, nuclear physics has acquired a new frontier. The new heavy-ion sources operating at electrostatic accelerators and the high-energy experiments performed at Berkeley, Dubna, Manchester and Orsay, have opened up the field, and have shown us impressive new prospects. The new accelerators now under construction at Berlin, Daresbury and Darmstadt, as well as those under consideration (GANIL, Oak Ridge, etc. ) are expected to add significantly to our knowledge and understanding of nuclear properties. This applies not only to such exotic topics as the existence and lifetimes of superheavy elements, or the possibil ity of shock waves in nuclei, but also to such more mundane issues as high-spin states, new regions of deformed nuclei and friction forces. The field promises not only to produce a rich variety of interesting phenomena, but also to have wide-spread theoretical implications. Heavy-ion reactions are characterized by the large masses of the fragments, as well as the high total energy and the large total angular momentum typically involved in the collision. A purely quantum-mechanical description of such a collision process may be too complicated to be either possible or inter esting. We expect and, in some cases,know that the classical limit, the limit of geometrical optics, a quantum-statistical or a hydrodynamical description correctly account for typical features.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 292 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 224 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Digital filtering in VLSI.- Two processor scheduling is in NC.- Breaking symmetry in synchronous networks.- Parallel ear decomposition search (EDS) and st-numbering in graphs.- A unifying framework for systolic designs.- Optimal tradeoffs for addition on systolic arrays.- On the connection between hexagonal and unidirectional rectangular systolic arrays.- Lower bounds for sorting on mesh-connected architectures.- Diogenes, circa 1986 o o o.- Nonsequential computation and laws of nature.- Linear algorithms for two CMOS layout problems.- Some new results on a restricted channel routing problem.- Efficient modular design of TSC checkers for m-out-of-2m codes.- Vlsi algorithms and pipelined architectures for solving structured linear system.- A high-performance single-chip vlsi signal processor architecture.- Exploiting hierarchy in VLSI design.- A polynomial algorithm for recognizing images of polyhedra.- Parallel tree techniques and code optimization.- AT2-optimal galois field multiplier for VLSI.- Linear and book embeddings of graphs.- Efficient parallel evaluation of straight-line code and arithmetic circuits.- A logarithmic boolean time algorithm for parallel polynomial division.- A polynomial algorithm for recognizing small cutwidth in hypergraphs.- A generalized topological sorting problem.- Combinational static CMOS networks.- Fast and efficient parallel linear programming and linear least squares computations.- On the time required to sum n semigroup elements on a parallel machine with simultaneous writes.- A comparative study of concurrency control methods in B-trees.- Generalized river routing ¿ Algorithms and performance bounds.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.