springer springer jun 1980 (97 risultati)

Buch. Condizione: Neu. Neuware - This book brings together a number of articles, for the most part already pub lished, that develop a contemporary institutionalist approach to the study of the economic role of government. The institutionalist tradition in these matters began with the work of Henry Carter Adams on economics and jurisprudence! and Richard T. Ely on the relation of the institutions of property and contract 2 to the distribution of wealth. It continued with John R. Commons's monu 3 mental analytical and historical study of the legal foundations of capitalism, Edwin E. Witte's work on the role of government in the economy,4 and Ken s neth Parson's study of economic developmenL The approach to law and economics that is developed in this book centers on (1) an identification of the objective fundamentals of the interrelations between legal and economic pro cesses and (2) the development of skills with which to analyze and predict the performance consequences of alternative institutional designs. We must stress that our principal goal is quite simply to understand what is going on-to identify the instrumental variables and fundamental issues and processes-in the operation of legal institutions of economic significance. We envision government as an object of legal control. We also see law as an instrument of securing economic gain and advantage-that is, as a wealth producing and -acquiring alternative.

Buch. Condizione: Neu. Neuware - Uniqueness of style versus plurality of styles: in terms of these aesthetic categories one of the most important differences between the recent past and the present can be described. This difference manifests itself in all spheres of life - in fashion, in everyday life, in the arts, in science. What is of interest for my purposes in this book are its manifestations in the processes of con cept formation as they occur in the humanities, broadly conceived. Here the following methodological approaches seem to dominate the scene. 1. A tendency to apply semiotic concepts in various fields of research. 2. Attempts to introduce metrical concepts and measurement, even into disciplines tra ditionally considered as unamenable to mathematical treatment, like aesthetics and theory of art. 3. Efforts to fmd ways of formulating empirically testable, operational criteria for the application of concepts, especially concepts which refer to objects directly not observable, like dispositions, attitudes, character or personality traits. Care is also taken to take advantage of the conceptual apparatus of methodology to express problems in the humanities with the highest possible degree of clarity and precision. 4. Analysis of the p~rsuasive function oflanguage and its possible uses in science and in everyday life. The above tendencies are present in this book. It is divided into two parts: I. Methods of Concept Formation, and II. Applications. In the first part some general methods of concept formation are presented and their merits discussed.

Buch. Condizione: Neu. Neuware - Migratory farm workers provide the extra hands that are so badly needed during the planting and harvest season in the United States. Although these workers have been essential to the American agricultural system for more than a hundred years, our knowledge of them is limited and quite fragmentary; it can be divided roughly into two types of information. On the one hand, we have the statistical data collected by various censuses and the data gathered by agricultural econ omists to study the supply of and demand for farm labor. The economic aspects of farm labor generally predominate in such material. On the other, we have the scientific studies and journalistic descriptions that report on migratory farm by using a qualitative approach. The social scientists and journalists who workers have compiled these reports lived in the labor camps and have vividly described the dismal and oppressive conditions these workers must endure. The drawback of the first type of data is that its orientation to economic problems makes it too superficial and one-sided. It fails to interrelate the diverse economic factors affecting the lives and work of all farm workers, and conse quently presents a distorted and incomplete picture of migratory farm worker life. Also, because the migratory farm workers are quite elusive and usually keep a low profIle, they are often underrepresented in such data. The data gathered by using qualitative methods have the major disadvantage of being quite limited in scope.

Taschenbuch. Condizione: Neu. Neuware - For over 35 years, radio astronomical techniques have made an impressive series of advances in our understanding of solar phenomena. However, although the subject has been partially discussed in 'Paris Symposium on Radio Astronomy' in 1958, NASA-GSFC Symposium on 'Physics of Solar Flares' in 1963, and the lAU Symposium No. 57 on 'Coronal Disturbances' in 1973, there has not been a major international meeting dedicated to 'Radio Physics of the Sun'. This is the first major symposium on the subject held under the auspices of the International Astronomical Union. It was jointly spon sored by lAU Commission 40, Radio Astronomy, and by lAU Commission 10, Solar Activity. It was also sponsored by the Solar Physics Division of the American Astronomical Society. Thig volume contains the proceedings of this meeting, lAU Symposium No. 86 on 'Radio Physics of the Sun' that was held in College Park, Maryland, August 7-10, 1979. The Scientific Organizing Committee of the Symposium consisted of M. R. Kundu (chairman), G. A. Dulk, O. Hachenberg, M. Kuperus, D. J. McLean, D. Melrose, M. Pick, J. L. Steinberg, T. Takakura, A. Tlamicha and V. V. Zheleznyakov. The topics and speakers were chosen in order to emphasize the current observational material with particular reference to centi meter wavelength observations of a few arc-second resolution, fast two-dimensional pictures of the sun at meter-decameter wavelengths and the recent advances in plasma and radiation theory.

Buch. Condizione: Neu. Neuware.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Generalized symmetric riemannian spaces.- Reductive spaces.- Differentiable s-manifolds.- Locally regular s-manifolds.- Operations with s-manifolds.- Distinguished s-structures on generalized symmetric spaces.- The classification of generalized symmetric Riemannian spaces in low dimensions.- The classification of generalized affine symmetric spaces in low dimensions.- Existence of generalized symmetric spaces of solvable type.- Irreducible generalized affine symmetric spaces.- Generalized pointwise symmetric spaces.- Non-parallel s-structures on symmetric spaces.- Some advanced results. 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: ¿ EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk. 588 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -to general net theory.- Elements of general net theory.- Formal properties of place/transition nets.- Linear algebra in net theory.- Atomicity of activities.- Concurrency.- The relative strength of K-density.- Reductions of nets and parallel programs.- Adequacy of path programs.- Performance evaluation of systems using nets.- Survey of French research and applications based on Petri nets.- Nets in modeling and simulation.- Abstractions of net models.- Applications of net-based models.- The application of general net theory ¿ A personal history.- Petri-nets from the engineer's viewpoint lecture I.- Nets as a tool in teaching and in terminology work.- Structured representation of knowledge by Petri nets as an aid for teaching and research.- A dictionary of some basic notions of net theory.- Addresses of all authors. 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Classifications of periodic words and their application in group theory.- On the word problem for groups defined by periodic relations.- An application of the nilpotent quotient program.- Groups of exponent eight.- Finiteness proofs for groups of exponent 8.- Application of computers to questions like those of Burnside.- On certain groups of exponent eight generated by three involutions.- Generalized power laws.- Problems. 280 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -How to get rid of pseudoterminals.- Test sets for homomorphism equivalence on context free languages.- Languages with homomorphic replacements.- Functions equivalent to integer multiplication.- Languages with reducing reflexive types.- Semantics of unbounded nondeterminism.- A shifting algorithm for min-max tree partitioning.- A characterisation of computable data types by means of a finite equational specification method.- A note on sweeping automata.- Border rank of a p¿¿ tensor and the optimal approximation of a pair of bilinear forms.- Derivations et reductions dans les grammaires algebrioues.- Semantic analysis of communicating sequential processes.- Dos systems and languages.- Algebraic implementation of abstract data types: concept, syntax, semantics and correctness.- Parameterized data types in algebraic specification languages.- Characterizing correctness properties of parallel programs using fixpoints.- Formal properties of one-visit and multi-pass attribute grammars (extended abstract).- Cryptocomplexity and NP-completeness.- On the analysis of tree-matching algorithms.- Generating and searching sets induced by networks.- The complexity of the inequivalence problem for regular expressions with intersection.- An almost linear time algorithm for computing a dependency basis in a relational data base.- Bipolar synchronization systems.- Testing of properties of finite algebras.- A transaction model.- On observing nondeterminism and concurrency.- Terminal algebra semantics and retractions for abstract data types.- The complexity of semilinear sets.- A theory of nondeterminism.- A representation theorem for models of \*-free PDL.- Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions.- Symmertric space-bounded computation (extended abstract).- On some properties of local testability.- Semantics :Algebras,fixed points,axioms.- Measuring the expressive power of dynamic logics: An application of abstract model theory.- Pebbling mountain ranges and its application to DCFL-recognition.- Space-restricted attribute grammars.- A constructive approach to compiler correctness.- A worst-case analysis of nearest neighbor searching by projection.- Proprietes syntactiques du produit non ambigu.- On the optimal assignment of attributes to passes in multi-pass attribute evaluators.- Optimal unbounded search strategies.- A 'fast implementation' of a multidimensional storage into a tree storage.- Grammatical families.- Partitioned chain grammars.- An improved program for constructing open hash tables.- On the power of commutativity in cryptography.- Characterizations of the LL(k) property.- Computability in categories.- On the size complexity of monotone formulas.- Reversible computing.- The use of metasystem transition in theorem proving and program optimization.- On the power of real-time turing machines under varying specifications. 684 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The principles of neutron spin echo.- The polarised neutron technique of neutron spin echo.- Theory of neutron spin-echo spectrometry.- The IN11 neutron spin echo spectrometer.- Dynamics of dilute polymer solutions.- Dynamics of micelle solutions.- Tentative use of NSE in biological studies.- A proposal for determining h/mn with high accuracy.- Neutron spin echo study of spin glass dynamics.- Neutron spin echo investigation of elementary excitations in superfluid 4He.- Comparison of the performance of the backscattering spectrometer IN10 and the neutron spin-echo spectrometer IN11 on the basis of experimental results.- Neutron phase-echo concept and a proposal for a dynamical neutron polarisation method.- Separation of thermal diffuse scattering by NSE in diffraction studies.- Neutron spin echo and three-axis spectrometers.- Conclusion : Critical points and future progress. 268 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In this book a presentation of a phenomenological theory of elec trochemistry is given. More precisely, it should be stated that only one part of the whole field of electrochemistry is developed. It is the purpose of this treatment to describe the interconnection between the electric current in a composite thermodynamic system and the rate of production of a certain substance on the one side, the rate of deple tion of another substance on the other side, and the work per unit time which has to be delivered to or is supplied by the system. The last part of this programme leads to the computation of the electric potential or the electromotive force of a typical arrangement called a galvanic cell. It will only be the electric current~ which is considered, not the change of the electric current per unit time, i.e. d~/P{t - The vari ation of Jz with time would have to be the subject of the second part of this new treatment of electrochemistry. 272 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book covers those basic topics which usually form the core of intermediate courses in statistical theory; it is largely about estima tion and hypothesis testing. It is intended for undergraduates following courses in statistics but is also suitable preparatory read ing for some postgraduate courses. It is assumed that the reader has completed an introductory course which covered probability, random variables, moments and the sampling distributions. The level of mathematics required does not go beyond first year calculus. In case the reader has not acquired much facility in handling matrices, the results in least squares estimation are first obtained directly and then given an (optional) matrix formulation. If techniques for changing from one set of variables to another have not been met, then the appendix on these topics should be studied first. The same appendix contains essential discussion of the order statistics which are frequently used for illustrative purposes. Introductory courses usually include the elements of hypothesis testing and of point and interval estimation though the treatment must perforce become rather thin since at that stage it is difficult to provide adequate justifications for some procedures-plausible though they may seem. This text discusses these important topics in considerable detail, starting from scratch. The level is nowhere advanced and proofs of asymptotic results are omitted. Methods deriving from the Bayesian point of view are gradually introduced and alternate with the more usual techniques. 268 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Until recently quantum chemical ab initio calculations were re stricted to atoms and very small molecules. As late as in 1960 Allen l and Karo stated : 'Almost all of our ab initio experience derives from diatomic LCAO calculations --- N and we have found in the litera ture 'approximately eighty calculations, three-fourths of which are for diatomic molecules --- There are approximately twenty ab initio calculations for molecules with more than two atoms, but there is a decided dividing line between the existing diatomic and polyatomic wave functions. Confidence in the satisfactory evaluation of the many -center two-electron integrals is very much less than for the diatom ic case'. Among the noted twenty calculations, SiH was the largest 4 molecule treated. In most cases a minimal basis set was used and the many-center two-electron integrals were calculated in an approximate way. Under these circumstances the ab initio calculations could hard ly provide useful chemical information. It is therefore no wonder that the dominating role in the field of chemical applications was played by semiempirical and empirical methods. The situation changed essentially in the next decade. The problem of many-center integrals was solved, efficient and sophisticated computer programs were devel oped, basis sets suitable for a given type of problem were suggested, and, meanwhile, a considerable amount of results has been accumulated which serve as a valuable comparative material. The progress was of course inseparable from the development and availability of computers. 260 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -InhaltsangabePhysical effects of instantons.- Some aspects of instantons.- The interpretation of Higgs fields as Yang Mills fields.- Topological and phenomenological aspects of gravity and supergravity.- Bifurcation and stability in Yang-Mills theory with sources.- On the long-range interaction of topologically charged monopoles.- Interaction of superconducting vortices.- On groups of gauge transformations.- Construction of gauge fields from initial data.- Some solutions of the Einstein-Yang-Mills equations.- Some invariant solutions to the Yang-Mills equations in the presence of scalar fields in Minkowski space.- Graded Riemannian geometry and graded fibre bundles, a context for local super-gauge theories.- Metric and connection theories of gravity: The gauge theories of spacetime symmetry. 172 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Studies on cell kinetics in untreated animals have for the most part been done on or gans in which many proliferating cells can be found. In general the proliferating cells have been identified either in histologic sections as mitoses or by autoradiography as labeled interphase cells following the injection of a labeled precursor of DNA, such as 3H_ or 14C-thymidine (TdR). A great many proliferating cells can be observed in the rat and mouse brain during the embryonic period and for a short time after birth, and many studies on cell kinetics have been performed for this phase of life. By contrast, very few proliferating cells are found in the brain of adult rodents (except for the subependymallayer, see below). As a result, only isolated studies have been done on cell kinetics during this period. Al though there is an increase in proliferating cells in adult animals which had been pre treated (e g. , by wounding, X-irradiation, viral infection, withdrawal of water), this proliferation too has not been investigated in detail. A number of studies have been done since 1959 on the proliferation of cells in the sub ependymal layer of the lateral ventricles of the forebrain. This cell type is well suited for such investigations because mitoses can be found there even in animals which are quite old. Since the studies ofLe blond and co-workers (Walker and Leblond 1958 ;Messier et al. 84 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -During the last decade and a half, studies of evolution and variation have been revolutionized by the introduction of the methods and concepts of molecular genetics. We can now construct reliable phylogenetic trees, even when fossil records are missing, by compara tive studies of protein or mRNA sequences. If, in addition, paleon tological information is available, we can estimate the rate at which genes are substituted in the species in the course of evolution. Through the application of electrophoretic methods, it has become possible to study intraspecific variation in molecular terms. We now know that an immense genetic variability exists in a sexually repro ducing species, and our human species is no exception. The mathematical theory of population genetics (particularly its stochastic aspects) in conjunction with these new developments led us to formulate the 'neutral theory' of molecular evolution, pointing out that chance, in the form of random gene frequency drift, is playing a much more important role than previously supposed. I believe that the traditional paradigm of neo-Darwinism needs drastic revision. Also, the importance of gene duplication in evolution, as first glimpsed by early Drosophila workers, has now been demonstrated by directly probing into genetic material. Recently, it has been discovered that some genes exist in large-scale repetitive structures, and that they are accompanied by newly described phenomena such as 'coincidental evolution'. Working out the population genetical consequences of multigene families is a fascinating subject, for which Dr. Ohta has been largely responsible. 148 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The principles used in the translation of the Ethics are the same as those in the translations of the Physics and the Metaphysics, and their main function is to help the reader get Aristotle's meaning as accurately as possible. Briefly, they are principles of terminology and of thought, some of which will be repeated here. English terms common to all three translations have the same mean ings, with a few exceptions, and many terms proper to ethics are added. Many of the terms in the Glossary are defined or are made known dia lectically or in some other way. For the term 1tpOUiPEcrt~ the term 'inten tion' or the expression 'deliberate choice' will be used instead of the term 'choice', but the definition will be the same as that given in the Physics and the Metaphysics. Difficulties arise from some allied terms or terms close in meaning, e. g. , the terms UUAOC;, KUKOC;, ~OXeTPO~, and 1tovTp0C;, for the exact differences of their meanings are not ascertainable from the extant works. Each of these terms, however, seems to be used consistently, and we shall assume such consistency. The choice of the corresponding English terms can only be suggested by the usage of the Greek terms and by induction. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Generalized symmetric riemannian spaces.- Reductive spaces.- Differentiable s-manifolds.- Locally regular s-manifolds.- Operations with s-manifolds.- Distinguished s-structures on generalized symmetric spaces.- The classification of generalized symmetric Riemannian spaces in low dimensions.- The classification of generalized affine symmetric spaces in low dimensions.- Existence of generalized symmetric spaces of solvable type.- Irreducible generalized affine symmetric spaces.- Generalized pointwise symmetric spaces.- Non-parallel s-structures on symmetric spaces.- Some advanced results.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 204 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Abstract Architecture.- Foundations of denotational semantics.- Models of programming language concepts.- Formalization of data base models.- Experiments in block-structured GOTO language modeling: - EXITs versus continuations.- An introduction to data algebras.- Time sequences as a tool for describing program behaviour.- The semantics of clear, a specification language.- An example of hierarchical program specification.- Modular program construction using abstractions.- On the structure of application programs.- Abstract objects as abstract data types.- Design and analysis of highly parallel and distributed systems.- On the semantics of fair parallelism.- Dijkstra's predicate transformers and smyth's powerdomains.- Banquet talk.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 -to general net theory.- Elements of general net theory.- Formal properties of place/transition nets.- Linear algebra in net theory.- Atomicity of activities.- Concurrency.- The relative strength of K-density.- Reductions of nets and parallel programs.- Adequacy of path programs.- Performance evaluation of systems using nets.- Survey of French research and applications based on Petri nets.- Nets in modeling and simulation.- Abstractions of net models.- Applications of net-based models.- The application of general net theory - A personal history.- Petri-nets from the engineer's viewpoint lecture I.- Nets as a tool in teaching and in terminology work.- Structured representation of knowledge by Petri nets as an aid for teaching and research.- A dictionary of some basic notions of net theory.- Addresses of all authors.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 556 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs as descriptions of computation.- Program synthesis from incomplete specifications.- A system for proving equivalences of recursive programs.- Variable elimination and chaining in a resolution-based prover for inequalities.- Decision procedures for some fragments of set theory.- Simplifying interpreted formulas.- Specification and verification of real-time, distributed systems using the theory of constraints.- Reasoning by plausible inference.- Logical support in a time-varying model.- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions.- An experiment with 'Edinburgh LCF'.- An approach to theorem proving on the basis of a typed lambda-calculus.- Adding dynamic paramodulation to rewrite algorithms.- Hyperparamodulation: A refinement of paramodulation.- The AFFIRM theorem prover: Proof forests and management of large proofs.- Data structures and control architecture for implementation of theorem-proving programs.- A note on resolution: How to get rid of factoring without loosing completeness.- Abstraction mappings in mechanical theorem proving.- Transforming matings into natural deduction proofs.- Analysis of dependencies to improve the behaviour of logic programs.- Selective backtracking for logic programs.- Canonical forms and unification.- Deciding unique termination of permutative rewriting systems: Choose your term algebra carefully.- How to prove algebraic inductive hypotheses without induction.- A complete, nonredundant algorithm for reversed skolemization. 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Classifications of periodic words and their application in group theory.- On the word problem for groups defined by periodic relations.- An application of the nilpotent quotient program.- Groups of exponent eight.- Finiteness proofs for groups of exponent 8.- Application of computers to questions like those of Burnside.- On certain groups of exponent eight generated by three involutions.- Generalized power laws.- Problems.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch.

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

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -How to get rid of pseudoterminals.- Test sets for homomorphism equivalence on context free languages.- Languages with homomorphic replacements.- Functions equivalent to integer multiplication.- Languages with reducing reflexive types.- Semantics of unbounded nondeterminism.- A shifting algorithm for min-max tree partitioning.- A characterisation of computable data types by means of a finite equational specification method.- A note on sweeping automata.- Border rank of a p×q×2 tensor and the optimal approximation of a pair of bilinear forms.- Derivations et reductions dans les grammaires algebrioues.- Semantic analysis of communicating sequential processes.- Dos systems and languages.- Algebraic implementation of abstract data types: concept, syntax, semantics and correctness.- Parameterized data types in algebraic specification languages.- Characterizing correctness properties of parallel programs using fixpoints.- Formal properties of one-visit and multi-pass attribute grammars (extended abstract).- Cryptocomplexity and NP-completeness.- On the analysis of tree-matching algorithms.- Generating and searching sets induced by networks.- The complexity of the inequivalence problem for regular expressions with intersection.- An almost linear time algorithm for computing a dependency basis in a relational data base.- Bipolar synchronization systems.- Testing of properties of finite algebras.- A transaction model.- On observing nondeterminism and concurrency.- Terminal algebra semantics and retractions for abstract data types.- The complexity of semilinear sets.- A theory of nondeterminism.- A representation theorem for models of \*-free PDL.- Present-day Hoare-like systems for programming languages with procedures: Power, limits and most likely extensions.- Symmertricspace-bounded computation (extended abstract).- On some properties of local testability.- Semantics :Algebras,fixed points,axioms.- Measuring the expressive power of dynamic logics: An application of abstract model theory.- Pebbling mountain ranges and its application to DCFL-recognition.- Space-restricted attribute grammars.- A constructive approach to compiler correctness.- A worst-case analysis of nearest neighbor searching by projection.- Proprietes syntactiques du produit non ambigu.- On the optimal assignment of attributes to passes in multi-pass attribute evaluators.- Optimal unbounded search strategies.- A 'fast implementation' of a multidimensional storage into a tree storage.- Grammatical families.- Partitioned chain grammars.- An improved program for constructing open hash tables.- On the power of commutativity in cryptography.- Characterizations of the LL(k) property.- Computability in categories.- On the size complexity of monotone formulas.- Reversible computing.- The use of metasystem transition in theorem proving and program optimization.- On the power of real-time turing machines under varying specifications.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 684 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The purpose of the present study is to evaluate the predictive performance of an earlier version of the Bonn . Monetary Hodel ('Ein Okonometrisches Vierteljahresmodell des Geld- und Kreditsektors fur die Bundesrepublik Deutsch land', by Jorn Martiensen (1975), Heisenheim, Verlag Anton Hain) against the benchmark provided by the Box-Jenkins univariate autoregressive-integrated moving average, ARI~ffi, model. Similar studies aimed at evaluating the predictive performance of the econometric models of the Horti, American economies :,ad been reported earlier. But to the best of my knowledge, no suc;, works, at least up to the time, early 1976 when I took up the present investigation, had been done with any of the European econometric mbdels, except Prothero and Wallis (1976), discussed in the introduction to the present book. The previous studies of this type generated plenty of unconstructive and sometimes unpleasant dialogues. Neither do I appreciate the over-reaction of the eco- metricians when an econometric model is evaluated nor do I appreciate when it is said that econometrics is withering. According to my opinion, econometric model building is a great experimentation and univariate time series models are not expected to be substitutes for econometric models.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 160 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Studies on cell kinetics in untreated animals have for the most part been done on or gans in which many proliferating cells can be found. In general the proliferating cells have been identified either in histologic sections as mitoses or by autoradiography as labeled interphase cells following the injection of a labeled precursor of DNA, such as 3H_ or 14C-thymidine (TdR). A great many proliferating cells can be observed in the rat and mouse brain during the embryonic period and for a short time after birth, and many studies on cell kinetics have been performed for this phase of life. By contrast, very few proliferating cells are found in the brain of adult rodents (except for the subependymallayer, see below). As a result, only isolated studies have been done on cell kinetics during this period. Al though there is an increase in proliferating cells in adult animals which had been pre treated (e g. , by wounding, X-irradiation, viral infection, withdrawal of water), this proliferation too has not been investigated in detail. A number of studies have been done since 1959 on the proliferation of cells in the sub ependymal layer of the lateral ventricles of the forebrain. This cell type is well suited for such investigations because mitoses can be found there even in animals which are quite old. Since the studies ofLe blond and co-workers (Walker and Leblond 1958 ;Messier et al.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 84 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Using meta-theoretic reasoning to do algebra.- Generating contours of integration: An application of PROLOG in symbolic computing.- Using meta-level inference for selective application of multiple rewrite rules in algebraic manipulation.- Proofs as descriptions of computation.- Program synthesis from incomplete specifications.- A system for proving equivalences of recursive programs.- Variable elimination and chaining in a resolution-based prover for inequalities.- Decision procedures for some fragments of set theory.- Simplifying interpreted formulas.- Specification and verification of real-time, distributed systems using the theory of constraints.- Reasoning by plausible inference.- Logical support in a time-varying model.- An experiment with the Boyer-Moore theorem prover: A proof of the correctness of a simple parser of expressions.- An experiment with 'Edinburgh LCF'.- An approach to theorem proving on the basis of a typed lambda-calculus.- Adding dynamic paramodulation to rewrite algorithms.- Hyperparamodulation: A refinement of paramodulation.- The AFFIRM theorem prover: Proof forests and management of large proofs.- Data structures and control architecture for implementation of theorem-proving programs.- A note on resolution: How to get rid of factoring without loosing completeness.- Abstraction mappings in mechanical theorem proving.- Transforming matings into natural deduction proofs.- Analysis of dependencies to improve the behaviour of logic programs.- Selective backtracking for logic programs.- Canonical forms and unification.- Deciding unique termination of permutative rewriting systems: Choose your term algebra carefully.- How to prove algebraic inductive hypotheses without induction.- A complete, nonredundant algorithm for reversed skolemization.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 404 pp. Englisch.

Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Physical effects of instantons.- Some aspects of instantons.- The interpretation of Higgs fields as Yang Mills fields.- Topological and phenomenological aspects of gravity and supergravity.- Bifurcation and stability in Yang-Mills theory with sources.- On the long-range interaction of topologically charged monopoles.- Interaction of superconducting vortices.- On groups of gauge transformations.- Construction of gauge fields from initial data.- Some solutions of the Einstein-Yang-Mills equations.- Some invariant solutions to the Yang-Mills equations in the presence of scalar fields in Minkowski space.- Graded Riemannian geometry and graded fibre bundles, a context for local super-gauge theories.- Metric and connection theories of gravity: The gauge theories of spacetime symmetry.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 172 pp. Englisch.