Springer springer jun 1986 (193 risultati)

Buch. Condizione: Neu. Neuware - The subject of this book is Complex Analysis in Several Variables. This text begins at an elementary level with standard local results, followed by a thorough discussion of the various fundamental concepts of 'complex convexity' related to the remarkable extension properties of holomorphic functions in more than one variable. It then continues with a comprehensive introduction to integral representations, and concludes with complete proofs of substantial global results on domains of holomorphy and on strictly pseudoconvex domains inC', including, for example, C. Fefferman's famous Mapping Theorem. The most important new feature of this book is the systematic inclusion of many of the developments of the last 20 years which centered around integral representations and estimates for the Cauchy-Riemann equations. In particu lar, integral representations are the principal tool used to develop the global theory, in contrast to many earlier books on the subject which involved methods from commutative algebra and sheaf theory, and/or partial differ ential equations. I believe that this approach offers several advantages: (1) it uses the several variable version of tools familiar to the analyst in one complex variable, and therefore helps to bridge the often perceived gap between com plex analysis in one and in several variables; (2) it leads quite directly to deep global results without introducing a lot of new machinery; and (3) concrete integral representations lend themselves to estimations, therefore opening the door to applications not accessible by the earlier methods.…

Taschenbuch. Condizione: Neu. Neuware - The present collection of papers grew out of a Workshop on Scandinavian Syntax and Theory of Grammar, held in Trondheim in 1982. Five of the contributions - those by Maling, Herslund, Cooper, Platzack and Thniinsson - are developments of papers read at this workshop, and all of the contributions reflect (and have partly inspired) the strong momentum which this area of research has gained over the last few years. It is our hope that the collection will be useful for those who want to familiarize themselves with this research, as well as for those actively engaged in it. We are grateful to the authors for their collaboration in getting the volume together, and to Frank Heny and the Reidel staff (Martin Scrivener, editor, in particular) for their help, encouragement and patience through the various phases of the production of this book. Very many thanks also to our anonymous referees, and to Elisabet Engdahl for help and advice. KIRST! KOCH CHRISTENSEN LARS HELLAN vii LARS HELLAN AND KIRSTI KOCH CHRISTENSEN INTRODUCTION O. INTRODUCTION A natural theoretical perspective for a language-family-oriented anthology like the present one is that of COMPARATIVE RESEARCH. This is not to say that the papers of this volume are all focused on comparative issues (in fact, most of them are not), but rather that the language family from which most of the data are drawn lends itself naturally to comparative studies.…

Buch. Condizione: Neu. Neuware - The development of chemistry, like that of the other fields of science and technology, has depended greatly upon the availability of instruments. Accordingly, the study of the history of instrumentation is a major area in any survey of the progress in this science. Recognizing this fact, the Division of the History of Chemistry of the American Chemical Society organized and held a very successful symposium on the history of chemical instrumentation during the Washington, D.C. National Meeting in 1979. Re~arks, both formal and informal, made during this symposium stressed points that soon become obvious to anyone who looks at the ancestry of present-day instruments . In some cases, the total history is measured in years, rather than in centuries . Chemical instrumentation, by no means confined to the laboratory, is vital in industry. There is a natural tendency to discard an item of any kind when a newer version is acquired. Often, 'to discard' means 'to scrap'. If the item scrapped is an instrument that is unique - sometimes the last of its kind - we have a permanent artefactual gap in the history of science. …

Buch. Condizione: Neu. Neuware - Techniques in the neurosciences are evolving rapidly. There are currently very few volumes dedicated to the methodology - ployed by neuroscrentists, and those that are available often seem either out of date or limited in scope. This series is about the methods most widely used by modern-day neuroscientists and 1s written by their colleagues who are practicing experts. Volume 1 will be useful to all neuroscientists since it concerns those procedures used routinely across the widest range of s- drsciplines. Collecting these general techniques together in a single volume stnkes us not only as a service, but will no doubt prove of exceptional utilitarian value as well. Volumes 2 and 3 describe all current procedures for the analyses of ammes and theirmetabolites and of amino acrds, respectively. These collections will clearly be of value to all neuroscientists working in or contemplating research in these fields. Similar reasons exist for Volume 4 on receptor binding techniques since experimental details are provided for many types of ligand-receptor binding, including chapters on general prin- ples, drug discovery and development, and a most useful app- dix on computer programs for Scatchard, nonlinear, and compe- tive displacement analyses. Volume 5 provides procedures for the assessment of enzymes involved in biogenic amine synthesis and catabolism. Volumes in the NEUROMETHODS series will be useful to neurochemists, -pharmacologists, -physrologists, -anatomists, psychopharmacologists, psychiatrists, neurologists, and chemists (organic, analytical, pharmaceutical, medicinal); in fact, everyone involved in the neurosciences, both basic and clinical.…

Buch. Condizione: Neu. Neuware - The book exmaines closure spaces, an abstract mathematical theory, with special emphasis on results applicable to formal logic. The theory is developed, conceptually and methodologically, as part of topology. At the least, the book shows how techniques and results from topology can be usefully employed in the theory of deductive systems. At most, since it shows that much of logical theory can be represented within closure space theory, the abstract theory of derivability and consequence can be considered a branch of applied topology. One upshot of this appears to be that the concepts of logic need not be overtly linguistic nor do logical systems need to have the syntax they are usually assumed to have. Audience: The book presupposes very little technical knowledge, but can probably be read most easily by someone with a background in symbolic logic or, even better, upper division or graduate mathematics. It should be of interest to logicians and, to a lesser degree, computer scientists and other mathematicians.…

Buch. Condizione: Neu. Neuware - This book was conceived by Professor K.H. Ephraim, the former director of the Institute for Nuclear Medicine of the University Hospital of Utrecht. Unfortunately, due to a serious illness, he was not able to finish the work he started. He is, however, very pleased to know that the book is, nevertheless, being published. In principle the volume consists of two parts. The first is dedicated to basic science and technology in nuclear medicine. It provides the data which are necessary to a clear understanding of the possibilities and limitations of investigations which make use of radioactive materials. The second part of the book covers those disciplines in medicine in which nuclear medicine can be of help in solving certain clinical problems. Each chapter can be read separately, even without thorough knowledge of the first part of the book. The contributors to this book come from both Europe and North America. Each of them has written his chapter out of long-standing personal interest in his particular field of nuclear medicine. This book will be of value to a wide variety of professionals. It is of interest not only to clinicians of various specialties, but also to diagnostic professionals, i.e. radiologists and nuclear medicine clinicians. Last but not least it will be of use to physicians in training.…

Buch. Condizione: Neu. Neuware.

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 -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 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 -lnfonnation technology is about more than computers. Thus, it was a recurring-and rather infuriating-aspect of the early discussions on infonnation technology that those who participated tended either to ignore or to severely understate the role in infonnation technology of telecommunications. This very fine book by Ken Grover goes a long way toward correcting that misconception. However important the computer and computer-based equipment might be, the role of telecommunications equip ment has also been and continues to be significant. Moreover, as the author brings out, it is going to be even more important. As this enthralling story unfolds the reader will find him or herself continually remarking that there cannot be more-but again and again, there is. Those who are already of the world of telecommunications will, on reading this work, be proud of their colleague. Those who are already of the world of computers will learn a great deal and, it is to be hoped, will in future be fairer toward telecommunications than they have been in the past. Those who are new to the world of information technology will sally forth better balanced than most. 216 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 -The authors have provided an overview of the relationships between hormones that are physiologic constituents of the body as well as their pharmacologic use in replacement therapies and related endocrine dys function. Principles of Endocrine Pharmacology concerns itself with the ther apeutic use of hormones, and hormone like substances, or drugs that can act either by suppressing or enhancing the metabolism of certain glands of internal secretion. Other drugs used for nonendocrine ther apies can likewise affect the endocrine system. Endocrine pharmacology emerged in the early 1900s with the use of crude pituitary extracts. By the mid-1900s several investigators had isolated and begun to synthesize hormones or hormonelike substances. Recognizing the limited supply of hormones that could be obtained both from animal sources and human autopsy material, the search for so called hormone substitutes also began early in the 1900s. Recently, re combinant DNA technologies have been used to provide alternative therapeutic sources of human insulin and human growth hormone. Aside from insulin, perhaps no other use of hormonally-active sub stance is better exemplified by those drugs which affect fertility. The synthesis of an orally-effective steroid represented one of the first major breakthroughs in the chemical suppression of ovulation. Since the orally active 19-norsteroids were introduced in the 1950s, several oral contra ceptive steroid preparations have been marketed. Indeed, the advent of oral contraceptives for birth control has led to a renewed interest in endocrine pharmacology. 316 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -After two decades, data processing has finally, and probably forever, found its niche among civil engineering and construction (CEC) professionnals, through word processors, digitizing tables, management software, and increasingly via drawing software and computer-aided design (CAD), recently, robots have even started invading work sites. What are the main trends of CAD and robotics in the field of architecture and civil enginee ring What type of R&D effort do university and industrial laboratories undertake to devise the professional software that will be on the market in the next three to five years These are the issues which will be addressed during this symposium. To this effect, we have planned concurrently an equipment and software show, as well as a twofold conference. Robotic is just starting in the field of civil engineering and construction. A pioneer, the Civil Engineering Departement of Carnegie-Mellon University, in the United States, organized the first two international symposia, in 1984 and 1985 in Pittsburgh. This is the third meeting on the subject (this year, however, we have also included CAD). It constitutes the first large international symposium where CAD experts, specialists in architecture and CEC robotics will meet. From this standpoint, it should be an ideal forum for exchanging views and expe riences on a wide range of topics, and we hope it will give rise to novel applications and new syntheses. This symposium is intented for scientists, teachers, students and also for manufacturers and all CEC professionals. 292 pp. Englisch. …

Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The use of organic residues as a means of maintaining and increasing soil fertility is of long-standing. This tradition has been somewhat neglected since the introduc tion of mineral fertilizers at low cost. More and more farmers and scientists are now showing renewed interest in the proper and effective use of org~tnic residues, composts and other recycled organic additives. The role and function of organic amendments in modern agricultural systems have become topics of major interest in the scientific and agricultural communities. Research work on residue disposal has provided new concepts on the interaction between organic components and soils as well as new handling technologies (e. g. pelletizing of organic residues). The trend to conserve energy has led scientists to study the minimal tillage system, to find ways of replacing conventional inorganic fertilizers with natural organic prod ucts or microbial preparations, and to develop new composting methods. The drive to achieve higher yields in commercial greenhouse farming has led to a search for optimum substrates as growth media and for improved management techniques. This has led to the introduction of organic substitutes for peat, nota bly those originating from agricultural wastes. Another important aspect is the current interest in organic farming, where use of synthetic chemicals is avoided or prohibited. An increasing percentage of the population in highly developed countries is willing to pay premium prices for food produced on soils where inorganic fertilizers and other agricultural chemicals have not been used. 324 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This text describes the structure, functions, transmission and applications of bacterial plasmids. The rate of research and accumulating knowledge on bacterial plasmids since the first edition, has established a need for a thorough revision and update. Each chapter has been brought up-to-date, and current developments in the understanding of plasmid replication and transposable elements have received special attention. 124 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 -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. 292 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 - it takes 3-4 days longer - Neuware -In any business, the essential element for the successful use of data processing is training. This represents the largest expense both at start-up and as CAD impacts design office procedures other than drafting. Training is also the most difficult cost item to quantify. Even more than the equip ment, training - or retraining in the case of professionals in practice - is the key to increased productivity. Recommendations for specific programs of training are beyond the scope of this paper. Once staff has been retrained to work at higher levels of productivity with data processing equipment, they are more valuable. They will be more difficult to replace. Their new capabilities represent a significant invest ment in modernization, both to the individual design office and to the design profession as a whole. There is a shortage of qualified people with both professional and computer skills. Competition among employers for people with these skills already exists and will probably continueinto the foreseeable future. At the outset of training, an employment agreement is worth consider ing for the well-being of all parties. 116 pp. Englisch.…

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -In October, 1985, discussions were held in Santiago in regard to the possibility of organizing a minerals industry conference in Chile in November, 1986, under the auspices of the Institution of Mining and Metallurgy and in association with other bodies and organizations. I, in turn, was asked to chair the Organizing Committee and at our first meeting in London in November, 1985, we realized how little time we had if we were to meet the date proposed. In the event, thanks to considerable support from the Organizing Committee and others, coupled with the very good response from authors, we were able to put together a programme on a variety of topics, with some particular emphasis on operations in South America, and with special reference to Chile, that we regard as attractive. This is the first conference to have been organized by the Institution of Mining and Metallurgy in Chile, but it is intended that it should initiate a series to be held in Latin American countries. Chile has a long and healthy mining tradition and it is fitting, therefore, that it should have been chosen for the first such conference. 452 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 - Print on Demand Titel. 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 KG, Sachsenplatz 4-6, 1201 Wien 136 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 KG, Sachsenplatz 4-6, 1201 Wien 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 KG, Sachsenplatz 4-6, 1201 Wien 136 pp. Englisch. …

Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is a revised version of my Ph.D. dissertation that was submitted to the Massachusetts Institute of Technology in 1983. Although much of the analysis and argumentation of the dissertation has survived rewriting, the organization has been considerably changed. To Paul Kiparsky and Morris Halle, lowe a major debt. Not only has it been a great privilege to work on phonology with both of them, but it is hard to imagine what this piece of research would have looked like without them. (They, of course, may well imagine a number of appropriate ways in which the work could be different had I not been involved . ) In addition, special thanks are due to Ken Hale, the third member of my thesis committee. Our discussions of a variety of topics (including tone) helped me to keep a broader outlook on language than might have otherwise been the result of concentrating on a thesis topic. 264 pp. Englisch.…

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.…