springer springer aug 1981 (81 risultati)

Buch. Condizione: Neu. Neuware - The subject of this NATO Advanced Study Institute was seismic monitoring under a nuclear test ban - an application of scienti fic knowledge and modern technology for a political purpose. The international political objective of a comprehensive nuclear test ban provided in turn the motivation for our technical and scientific discussions. In order to obtain a historical perspec tive on the progress of the work towards a comprehensive test-ban treaty (CTB), it is necessary to go back to 1958, when a confer ence of scientific experts in Geneva made the first steps toward an international seismic monitoring system. However, agreement on actual capabilities of a monitoring system for verifying compliance with such a treaty was not achieved, and thus the conference did not lead to immediate political results. After the Partial Test Ban Treaty of 1963, which banned nuclear explosions in the atmosphere, outer space and under the seas, renewed interest in the seismological verification of a CTB took place. A number of countries initiated large-scale research efforts toward detecting and identifying underground nuclear explosions, and it was in this context that the large aperture seismic arrays NORSAR and LASA were established. This type of development resulted in excellent seismic data in digital form and was thus of great irnprotance to the seismological com munity.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Continuous cohomology of Lie groups and Lie algebras.- Continuous tensor products, infinitely divisible and factorizable representations.- First order cohomology groups for certain semi-direct products.- First order cohomology for SL(2; R) and SL(2; C).- Further results on semi-simple Lie groups.- 'Genuine' infinitely divisible representations. 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The finite dimensional case.- The infinite dimensional case. 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formula translation.- Formula differentiation.- Generation of Taylor coefficients.- Examples of software for automatic differentiation and generation of Taylor coefficients.- Automatic computation of gradients, Jacobians, Hessians, and applications to optimization.- Automatic error analysis.- Solution of nonlinear systems of equations.- Numerical integration with regorous error estimation.- Additional notes of techniques, applications, and software. 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -On the Nielsen realization problem, preliminaries.- Tori, crystallographic groups and the realization of mapping classes.- Marked Riemann surfaces and Fuchsian groups and Fenchel's realization theorem.- The Nielsen construction of finite groups of mapping classes.- On the Nielsen realization problem.- On finite groups of mapping classes of 3-manifolds: Some applications. 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics ¿ the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how .- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -to water waves.- More comments on mathematical techniques.- The Hamiltonian for an isolated gravity wave field.- Deep water eigenmodes.- Resonant interactions and dynamics equations.- Resonance among gravity waves.- Resonant instabilities and the nonlinear Schröndinger equation.- Unstable finite amplitude waves and envelope functions.- Stability vs. instability.- Kolmogorov's average Hamiltonian technique.- Modification of the Hamiltonian to couple with the wind.- Langrangian formulation.- Linear stochastic differential equation (Langevin model).- Steady-state gravity-capillary spectrum.- Steady-state linear wave field.- Linear stochastic differential equation (cumulant expansions).- Gravity wave instability.- Stochastic nonlinear gravity waves.- Steady-state nonlinear wave field.- Phase space equation of evolution.- Entropy and the Fokker-Planck approximation.- State of minimum entropy production.- Entropy generation in the approach to the steady-state.- Closure of the moment transport equations.- Non-homogenous transport equation.- Example calculations.- Areas for further study. 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Observability and Nerode equivalence in concrete categories.- Some universal algebraic and model theoretic results in computer science.- Probabilistic analysis of the performance of greedy strategies over different classes of combinatorial problems.- Moderately exponential bound for graph isomorphism.- An algebraic definition of attributed transformations.- Analogies of PAL and COPY.- Quasi-equational logic for partial algeras.- Homogeneity and completeness.- On the error correcting power of pluralism in inductive inference.- Equality languages and language families.- Extremal combinatorial problems in relational data base.- Specifying algebraic data types by domain equations.- An axiomatization of regular forests in the language of algebraic theories with iteration.- Fast recognition of rings and lattices.- A definition of the P = NP-problem in categories.- Generating graph languages using hypergraph grammars.- Lower bounds for problems defined by polynomial inequalities.- What is computable for abstract data types .- On strongly cube-free -words generated by binary morphisms.- On the role of selectors in selective substitution grammars.- Classes of functions over binary trees.- Mathematical structures underlying greedy algorithms.- Some properties of language families generated by commutative languages.- Isomorphism completeness for some algebraic structures.- Reducing algebraic tree grammars.- Rational cone and substitution.- On the regularity problem of SF-languages generated by minimal linear grammars.- Co-algebras as machines for the interpretations of flow diagrams.- Random access machines and straight-line programs.- On the LBA problem.- Dynamic algebras of programs.- The equivalence problem for LL- and LR-regular grammars.- Context-free languages of infinite words as least fixpoints.- Remarks on the notion of concurrency relation in the case of systems.- On the size of conjunctive representations of n-ary relations.- On subwords of formal languages.- First order dynamic logic with decidable proofs and workable model theory.- Elimination of second-order quantifiers for well-founded trees in stationary logic and finitely determinate structures.- Processes in Petri nets.- Some algebraic aspects of recognizability and rationality.- Pebbling and bandwidth.- On cellular graph-automata and second-order definable graph-properties.- Extensions of symmetric hom-functors to the Kleisli category.- A new operation between languages.- Logical description of computation processes.- An algorithm to identify slices, with applications to vector replacement systems.- One pebble does not suffice to search plane labyrinths.- About the by codings of environments induced posets [¿ z, ] and [ z, ].- The complexity of automata and subtheories of monadic second order arithmetics.- Tape complexity of word problems. 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The complexity of manipulating hierarchically defined sets of rectangles.- The transformational machine: Theme and variations.- Probabilistic two-way machines.- A survey of some recent results on computational complexity in weak theories of arithmetic.- A survey on oracle techniques.- Time and space bounded complexity classes and bandwidth constrained problems.- Representations of graphs by means of products and their complexity.- Parsing strategies: A concise survey.- The art of dynamizing.- Fast parallel computation of polynomials using few processors.- Generalizations of Petri nets.- Partial match retrieval in implicit data structures.- A characterization of Floyd-provable programs.- Semantics of CSP via translation into CCS.- More about the geography of context-free languages.- On the power of algebraic specifications.- An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages.- On the complexity of word problems in certain Thue systems.- On the transformation of derivation graphs to derivation trees.- Pushdown automata with restricted use of storage symbols.- Structured nets.- Retraceability, repleteness and busy beaver sets.- Combining T and level-N.- On realization and implementation.- Multiplicative complexity of a bilinear form over a commutative ring.- Making dynamic logic first-order.- Partial interpretations of program schemata.- Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata.- Another hierarchy defined by multihead finite automata.- An extension of Rabin's complete proof concept.- How to find invariants for coloured Petri nets.- Relationships between probabilistic and deterministic tape complexity.- Grammatical levels of the position restricted grammars.- A general framework for comparing sequential and parallel rewriting.- A bin packing algorithm with complexity O(n log n) and performance 1 in the stochastic limit.- Codings of nonnegative integers.- The maximum k-flow in a network.- On the constructive description of graph languages accepted by finite automata.- Weighted multidimensional B-trees used as nearly optimal dynamic dictionaries.- Maximum flow in planar networks.- Probabilistic combinatorial optimization.- Time-processor trade-offs for universal parallel computers.- Negative results on the size of deterministic right parsers.- Key-equivalence of functional dependency statements systems.- On representation of dynamic algebras with reversion.- A framework for studying grammars.- On existence of complete predicate calculus in metamathematics without exponentiation.- On structural similarity of context-free grammars.- Axioms for the term-wise correctness of programs.- Complexity and entropy.- Axiomatic semantics of indirect addressing.- Testing of join dependency preserving by a modified chase method.- A starvation-free solution of the dining philosophers' problem by use of interaction systems.- Admissible representations of effective cpo's.- Preserving total order in constant expected time.- Constructive category theory (No. 1).- Two pebbles don't suffice. 608 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Die erste Fachtagung KünstZiche InteZZigenz der Gesellschaft für Informatik (wenngleich bereits der fünfte Workshop zu diesem Thema in Deutschland) wurde vorn 26. 1. bis 30. 1. 1981 im Physikzentrum in Badffixmef abgehalten. Damit wird nach fast fünfundzwanzigjähriger Verspätung [1] auch bei uns langsam ein Gebiet salonfähig, das zum Schaden der deut schen Informatik bisher vernachlässigt wurde und das in den USA (und anderen Ländern) bereits seit langem unter dem Namen 'Artificial Intelligence' zu den Kernfächern der Informatik gehört [2]. Die Tagung wurde geprägt durch den Wechsel von eingeladenen Hauptvor trägen von jeweils einstündiger Dauer mit anschließender halbstündiger Diskussion und den speziellen Fachvorträgen von jeweils halbstündiger Redezeit. Die Hauptvorträge (HV) geben auch in etwa die Forschungsschwerpunkte wieder, durch die die KünstZiche InteZZigenz in Deutschland vertreten ist: W. Radig (Harnburg) gibt in seinem HV 'Modelle und Strukturen in der Bildverarbeitung' einen Uberblick über die Forschung auf dem Gebiet Computersehen. Der Beitrag konzentriert sich dabei besonders auf die Aspekte, die über das traditionelle 'pattern recognition' hinausgehen und steht damit in engem Zusammenhang mit dem zweiten HV: J. Foith (Karlsruht:) 'Roboterforschung: Von Spielzeugwelten zur industriellen Anwendung'. Dieser Beitrag dürfte besonders für Leser aus der Industrie von Interesse sein. Beide Gebiete demonstrieren besonders anschaulich, mit welchem Tempo der Verlust wissenscha[tZicher Konkurrenzfähigkeit zum Verlust industrieZZer Wettbewerbs fähigkeit führen kann: die Grund lagenforschung wurde vor ca. 10 Jahren in den USA begonnen [3] und von der deutschen Informatik weitgehend ignoriert. 336 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The File is a collection of documents from a major disputeinvolving a number of American college professors, mainlymathematicians, statisticians,and sociologists. Thecontroversy was ignited by the mathematician Serge Lang'sreaction to a questionnaire, 'The 1977 Survey of theAmerican Professoriate', distributed by E. C. Ladd of theUniversity of Connecticut and S. M. Lipset of Stanford. Theensuing discussion - in part acrimonious and personal - sooninvolved a large group of active and passive participants,and included issues such as survey techniques, evaluation ofacademic work, public and political honesty, and McCarthyismat Harvard. 728 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Continuous cohomology of Lie groups and Lie algebras.- Continuous tensor products, infinitely divisible and factorizable representations.- First order cohomology groups for certain semi-direct products.- First order cohomology for SL(2; R) and SL(2; C).- Further results on semi-simple Lie groups.- 'Genuine' infinitely divisible representations.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 136 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The finite dimensional case.- The infinite dimensional case.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 116 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 292 pp. Französisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formula translation.- Formula differentiation.- Generation of Taylor coefficients.- Examples of software for automatic differentiation and generation of Taylor coefficients.- Automatic computation of gradients, Jacobians, Hessians, and applications to optimization.- Automatic error analysis.- Solution of nonlinear systems of equations.- Numerical integration with regorous error estimation.- Additional notes of techniques, applications, and software.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics ¿ the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how .- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -On the Nielsen realization problem, preliminaries.- Tori, crystallographic groups and the realization of mapping classes.- Marked Riemann surfaces and Fuchsian groups and Fenchel's realization theorem.- The Nielsen construction of finite groups of mapping classes.- On the Nielsen realization problem.- On finite groups of mapping classes of 3-manifolds: Some applications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 352 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Gut ist eine Lehrart, wo man vom Bekannten zum Unbekannten fortschreitet; schön ist sie, wenn sie sokratisch ist, d.i. wenn sie dieselben Wahrheiten aus dem Kopf und Herzen des Zuhörers herausfragt. Bei der ersten werden dem Verstand seine Uberzeugungen in Form abgefordert, bei der zweiten sie ihm abgelockt. Professor Friederich Schiller Jena, in a letter written on 23 February 1793 to his friend and supporter Körner, father of the poet Theodor Körner. Established clinicians and scientists as weil as students aga in tried the Wilsede experiment for three days and nights and learned from each other. In our fourth Wilsede meeting on 'Modern Trends in Human Leukemia' we concentrated once again on questions re gar ding the practical application of research and its benefits to the patient. The main emphasis of leukemia research has changed since the first Wilsede meeting in 1973. Virology is no longer the sole interest. Advances in immunology and cell genetics and a better understanding of Dr. h. c. Alfred Toepfer speeking with participants of the meeting in Wilsede XXI Arrival and discussion of participants in front of the meeting pI ace 'De Emmenhoff' XXII Personal and scientific discussion in Wilsede June 1980 Fotos: R. Völs XXIII the mechanisms regulating normal and pathological blood cell differen tiation have had a considerable impact on the direction of leukemia research. 588 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The formal framework.- Interior controls. Second order conditions.- Free-endpoint problems. 184 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Gut ist eine Lehrart, wo man vom Bekannten zum Unbekannten fortschreitet; schön ist sie, wenn sie sokratisch ist, d.i. wenn sie dieselben Wahrheiten aus dem Kopf und Herzen des Zuhörers herausfragt. Bei der ersten werden dem Verstand seine Uberzeugungen in Form abgefordert, bei der zweiten sie ihm abgelockt. Professor Friederich Schiller Jena, in a letter written on 23 February 1793 to his friend and supporter Körner, father of the poet Theodor Körner. Established clinicians and scientists as weil as students aga in tried the Wilsede experiment for three days and nights and learned from each other. In our fourth Wilsede meeting on 'Modern Trends in Human Leukemia' we concentrated once again on questions re gar ding the practical application of research and its benefits to the patient. The main emphasis of leukemia research has changed since the first Wilsede meeting in 1973. Virology is no longer the sole interest. Advances in immunology and cell genetics and a better understanding of Dr. h. c. Alfred Toepfer speeking with participants of the meeting in Wilsede XXI Arrival and discussion of participants in front of the meeting pI ace 'De Emmenhoff' XXII Personal and scientific discussion in Wilsede June 1980 Fotos: R. Völs XXIII the mechanisms regulating normal and pathological blood cell differen tiation have had a considerable impact on the direction of leukemia research.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 588 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Die erste Fachtagung KünstZiche InteZZigenz der Gesellschaft für Informatik (wenngleich bereits der fünfte Workshop zu diesem Thema in Deutschland) wurde vorn 26. 1. bis 30. 1. 1981 im Physikzentrum in Badffixmef abgehalten. Damit wird nach fast fünfundzwanzigjähriger Verspätung [1] auch bei uns langsam ein Gebiet salonfähig, das zum Schaden der deut schen Informatik bisher vernachlässigt wurde und das in den USA (und anderen Ländern) bereits seit langem unter dem Namen 'Artificial Intelligence' zu den Kernfächern der Informatik gehört [2]. Die Tagung wurde geprägt durch den Wechsel von eingeladenen Hauptvor trägen von jeweils einstündiger Dauer mit anschließender halbstündiger Diskussion und den speziellen Fachvorträgen von jeweils halbstündiger Redezeit. Die Hauptvorträge (HV) geben auch in etwa die Forschungsschwerpunkte wieder, durch die die KünstZiche InteZZigenz in Deutschland vertreten ist: W. Radig (Harnburg) gibt in seinem HV 'Modelle und Strukturen in der Bildverarbeitung' einen Uberblick über die Forschung auf dem Gebiet Computersehen. Der Beitrag konzentriert sich dabei besonders auf die Aspekte, die über das traditionelle 'pattern recognition' hinausgehen und steht damit in engem Zusammenhang mit dem zweiten HV: J. Foith (Karlsruht:) 'Roboterforschung: Von Spielzeugwelten zur industriellen Anwendung'. Dieser Beitrag dürfte besonders für Leser aus der Industrie von Interesse sein. Beide Gebiete demonstrieren besonders anschaulich, mit welchem Tempo der Verlust wissenscha[tZicher Konkurrenzfähigkeit zum Verlust industrieZZer Wettbewerbs fähigkeit führen kann: die Grund lagenforschung wurde vor ca. 10 Jahren in den USA begonnen [3] und von der deutschen Informatik weitgehend ignoriert.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 336 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The formal framework.- Interior controls. Second order conditions.- Free-endpoint problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 184 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Observability and Nerode equivalence in concrete categories.- Some universal algebraic and model theoretic results in computer science.- Probabilistic analysis of the performance of greedy strategies over different classes of combinatorial problems.- Moderately exponential bound for graph isomorphism.- An algebraic definition of attributed transformations.- Analogies of PAL and COPY.- Quasi-equational logic for partial algeras.- Homogeneity and completeness.- On the error correcting power of pluralism in inductive inference.- Equality languages and language families.- Extremal combinatorial problems in relational data base.- Specifying algebraic data types by domain equations.- An axiomatization of regular forests in the language of algebraic theories with iteration.- Fast recognition of rings and lattices.- A definition of the P = NP-problem in categories.- Generating graph languages using hypergraph grammars.- Lower bounds for problems defined by polynomial inequalities.- What is computable for abstract data types .- On strongly cube-free -words generated by binary morphisms.- On the role of selectors in selective substitution grammars.- Classes of functions over binary trees.- Mathematical structures underlying greedy algorithms.- Some properties of language families generated by commutative languages.- Isomorphism completeness for some algebraic structures.- Reducing algebraic tree grammars.- Rational cone and substitution.- On the regularity problem of SF-languages generated by minimal linear grammars.- Co-algebras as machines for the interpretations of flow diagrams.- Random access machines and straight-line programs.- On the LBA problem.- Dynamic algebras of programs.- The equivalence problem for LL- and LR-regular grammars.- Context-free languages of infinitewords as least fixpoints.- Remarks on the notion of concurrency relation in the case of systems.- On the size of conjunctive representations of n-ary relations.- On subwords of formal languages.- First order dynamic logic with decidable proofs and workable model theory.- Elimination of second-order quantifiers for well-founded trees in stationary logic and finitely determinate structures.- Processes in Petri nets.- Some algebraic aspects of recognizability and rationality.- Pebbling and bandwidth.- On cellular graph-automata and second-order definable graph-properties.- Extensions of symmetric hom-functors to the Kleisli category.- A new operation between languages.- Logical description of computation processes.- An algorithm to identify slices, with applications to vector replacement systems.- One pebble does not suffice to search plane labyrinths.- About the by codings of environments induced posets [µ z, ] and [ z, ].- The complexity of automata and subtheories of monadic second order arithmetics.- Tape complexity of word problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 488 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -to water waves.- More comments on mathematical techniques.- The Hamiltonian for an isolated gravity wave field.- Deep water eigenmodes.- Resonant interactions and dynamics equations.- Resonance among gravity waves.- Resonant instabilities and the nonlinear Schröndinger equation.- Unstable finite amplitude waves and envelope functions.- Stability vs. instability.- Kolmogorov's average Hamiltonian technique.- Modification of the Hamiltonian to couple with the wind.- Langrangian formulation.- Linear stochastic differential equation (Langevin model).- Steady-state gravity-capillary spectrum.- Steady-state linear wave field.- Linear stochastic differential equation (cumulant expansions).- Gravity wave instability.- Stochastic nonlinear gravity waves.- Steady-state nonlinear wave field.- Phase space equation of evolution.- Entropy and the Fokker-Planck approximation.- State of minimum entropy production.- Entropy generation in the approach to the steady-state.- Closure of the moment transport equations.- Non-homogenous transport equation.- Example calculations.- Areas for further study.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 356 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The complexity of manipulating hierarchically defined sets of rectangles.- The transformational machine: Theme and variations.- Probabilistic two-way machines.- A survey of some recent results on computational complexity in weak theories of arithmetic.- A survey on oracle techniques.- Time and space bounded complexity classes and bandwidth constrained problems.- Representations of graphs by means of products and their complexity.- Parsing strategies: A concise survey.- The art of dynamizing.- Fast parallel computation of polynomials using few processors.- Generalizations of Petri nets.- Partial match retrieval in implicit data structures.- A characterization of Floyd-provable programs.- Semantics of CSP via translation into CCS.- More about the 'geography' of context-free languages.- On the power of algebraic specifications.- An application of the theory of free partially commutative monoids: Asymptotic densities of trace languages.- On the complexity of word problems in certain Thue systems.- On the transformation of derivation graphs to derivation trees.- Pushdown automata with restricted use of storage symbols.- Structured nets.- Retraceability, repleteness and busy beaver sets.- Combining T and level-N.- On realization and implementation.- Multiplicative complexity of a bilinear form over a commutative ring.- Making dynamic logic first-order.- Partial interpretations of program schemata.- Closure properties of the family of languages recognized by one-way two-head deterministic finite state automata.- Another hierarchy defined by multihead finite automata.- An extension of Rabin's complete proof concept.- How to find invariants for coloured Petri nets.- Relationships between probabilistic and deterministic tape complexity.- Grammatical levels of the position restricted grammars.- A general framework for comparing sequential and parallel rewriting.- A bin packing algorithm with complexity O(n log n) and performance 1 in the stochastic limit.- Codings of nonnegative integers.- The maximum k-flow in a network.- On the constructive description of graph languages accepted by finite automata.- Weighted multidimensional B-trees used as nearly optimal dynamic dictionaries.- Maximum flow in planar networks.- Probabilistic combinatorial optimization.- Time-processor trade-offs for universal parallel computers.- Negative results on the size of deterministic right parsers.- Key-equivalence of functional dependency statements systems.- On representation of dynamic algebras with reversion.- A framework for studying grammars.- On existence of complete predicate calculus in metamathematics without exponentiation.- On structural similarity of context-free grammars.- Axioms for the term-wise correctness of programs.- Complexity and entropy.- Axiomatic semantics of indirect addressing.- Testing of join dependency preserving by a modified chase method.- A starvation-free solution of the dining philosophers' problem by use of interaction systems.- Admissible representations of effective cpo's.- Preserving total order in constant expected time.- Constructive category theory (No. 1).- Two pebbles don't suffice.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 608 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The File is a collection of documents from a major disputeinvolving a number of American college professors, mainlymathematicians, statisticians,and sociologists. Thecontroversy was ignited by the mathematician Serge Lang'sreaction to a questionnaire, 'The 1977 Survey of theAmerican Professoriate', distributed by E. C. Ladd of theUniversity of Connecticut and S. M. Lipset of Stanford. Theensuing discussion - in part acrimonious and personal - sooninvolved a large group of active and passive participantsand included issues such as survey techniques, evaluation ofacademic work, public and political honesty, and McCarthyismat Harvard.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 728 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -From the first to the third of August, 1980, an international sym posium entitled 'New Trends in Allergy' was held in Munich, sponsored by the Ludwig-Maximilian University, Munich, in cooperation with the German Society for Allergy and Immunity Research and the European Society for Dermatological Research. The symposium pursued two main goals: to bring allergy oriented colleagues from various specialties such as dermatology, otorhinolaryngology, pediatrics, internal medicine, immunology, and pulmonology together for interdisciplinary contacts and dis cussions; and to attract internationally known experts in an effort to disseminate information on new and fundamental develop ments in allergology. The fact that English has become the lingua franca at congresses for the exchange of ideas in medical specialties led to the decision to hold the symposium in English. In spite of the mild handicap this posed for some participants, it was also a major factor in the symposium's success. This book contains the papers delivered by the invited speakers together with the poster presentations. They cover both basic ex perimental research as well as clinical problems in allergology. 352 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume is concerned with a detailed description of the canonical operator method - one of the asymptotic methods of linear mathematical physics. The book is, in fact, an extension and continuation of the authors' works [59], [60], [65]. The basic ideas are summarized in the Introduction. The book consists of two parts. In the first, the theory of the canonical operator is develop ed, whereas, in the second, many applications of the canonical operator method to concrete problems of mathematical physics are presented. The authors are pleased to express their deep gratitude to S. M. Tsidilin for his valuable comments. THE AUTHORS IX INTRODUCTION 1. Various problems of mathematical and theoretical physics involve partial differential equations with a small parameter at the highest derivative terms. For constructing approximate solutions of these equations, asymptotic methods have long been used. In recent decades there has been a renaissance period of the asymptotic methods of linear mathematical physics. The range of their applicability has expanded: the asymptotic methods have been not only continuously used in traditional branches of mathematical physics but also have had an essential impact on the development of the general theory of partial differential equations. It appeared recently that there is a unified approach to a number of problems which, at first sight, looked rather unrelated. 316 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabeI. The Young Republic.- II. Ancient Science.- III. The Period of Transition.- IV. The Dutch Teachers of Mathematics and Navigation.- V. Simon Stevin.- VI. The New Science.- VII. Descartes.- VIII. Christiaan Huygens.- IX. The Living World.- X. Colonial Science.- XI. Into the Age of Boerhaave.- Notes. 208 pp. Englisch.

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In February 1979, I wrote to the Alfred P. Sloan Foundation seeking sup port for the Aspen Institute for Humanistic Studies to embark on a policy oriented program in vocational education. The reason for the request, which was generously granted by the foundation, was stated as follows: The federal program on vocational education dates from World War I. Impor tant changes were made in later legislation in 1963 and 1976, affecting the pro grams conducted by the Department of Health, Education and Welfare. The recently enacted Comprehensive Employment and Training Act (CETA) of the Department of Labor has brought large federal support to efforts to reduce unemployment, especially for youth, by providing preparatory training. It may be an understatement to report that the programs of these two government departments have lacked adequate coordination in Washington or in the field. Certainly there is a long way to go in improving both policy and program, and an opportunity presents itself in preparing the policies to be proposed to the Con gress when the vocational education program next comes up for reconsideration in 1980 and 1981. Responsibility for preparing the administration's position and recom mendations lies with the Deputy Assistant Secretary for Planning and Evaluation of HEW, Michael O'Keefe. 220 pp. Englisch.