Download or read book Evefiala Or Ewe English Dictionary written by Diedrich Westermann and published by . This book was released on 1928 with total page 316 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Ifa Divination written by William W. Bascom and published by Indiana University Press. This book was released on 1991-03-22 with total page 605 pages. Available in PDF, EPUB and Kindle. Book excerpt: "The sacred texts of Ifa, repository of the accumulated wisdom of countless generations of Yoruba people, are an invaluable source not only for all students of African oral literature and Yoruba civilization, but also for future generations interested in the continuing vitality of Ifa divination and a Yoruba way of life and thought." -- Henry Drewal This landmark study of Ifa, the most important and elaborate system of divination of the Yoruba people of Nigeria, remains a monumental contribution to scholarship in anthropology, folklore, religion, philosophy, linguistics, and African and African-American studies.

Download or read book The Journal of the Manchester Geographical Society written by and published by . This book was released on 1888 with total page 912 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Automated Technology for Verification and Analysis written by Zhe Hou and published by Springer Nature. This book was released on 2021-10-13 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 19th International Symposium on Automated Technology for Verification and Analysis, ATVA 2021, held in Gold Coast, Australia in October 2021. The symposium is dedicated to promoting research in theoretical and practical aspects of automated analysis, verification and synthesis by providing an international venue for the researchers to present new results. The 19 regular papers presented together with 4 tool papers and 1 invited paper were carefully reviewed and selected from 75 submissions. The papers are divided into the following topical sub-headings: Automata Theory; Machine learning for Formal Methods; Theorem Proving and Tools; Model Checking; Probabilistic Analysis; Software and Hardware Verification; System Synthesis and Approximation; and Verification of Machine Learning.

Download or read book Astronomical and Magnetical and Meteorological Observations Made at the Royal Observatory Greenwich in the Year written by and published by . This book was released on 1853 with total page 852 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Results of the Magnetic and Meteorological Observations written by Royal Greenwich Observatory. Magnetic Station, Hartland, Eng and published by . This book was released on 1853 with total page 888 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Progress in Electron Properties of Solids written by E. Doni and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 454 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume on the novelties in the electronic properties of solids appears in occasion of Franco Bassani sixtieth birthday, and is dedicated to honour a scientific activity which has contributed so much of the development of this very active area of research. It is re markable that this book can cover so large a part of the current research on electronic properties of solids by contributions from Bassani's former students, collaborators at different stages of his scientific life, and physicists from all over the world who have been in close scientific relationship with him. A personal flavour therefore accompanies a number of the papers of this volume, which are both up-to-date reports on present research and original recollections of the early events of modern solid state physics. The volume begins with a few contributions dealing with theoretical procedures for electronic energy levels, a primary step toward the interpretation of structural and optical properties of extended and confined systems. Other papers concern the interacting state of electrons with light (polaritons) and the effect of the coupling of electrons with lattice vibrations, with emphasis on the thermal behaviour of the electron levels and on such experimental procedures as piezospectroscopy. Electron-lattice interaction in external magnetic field and transport-related properties due to high light excitation are also con sidered. The impact of synchroton radiation on condensed matter spectroscopy is dis cussed in a topical contribution, and optical measurements are presented for extended and impurity levels.

Download or read book Encyclopedia of Linguistics written by Philipp Strazny and published by Taylor & Francis. This book was released on 2013-02-01 with total page 1304 pages. Available in PDF, EPUB and Kindle. Book excerpt: Utilizing a historical and international approach, this valuable two-volume resource makes even the more complex linguistic issues understandable for the non-specialized reader. Containing over 500 alphabetically arranged entries and an expansive glossary by a team of international scholars, the Encyclopedia of Linguistics explores the varied perspectives, figures, and methodologies that make up the field.

Download or read book Bitopological Spaces Theory Relations with Generalized Algebraic Structures and Applications written by Badri Dvalishvili and published by Elsevier. This book was released on 2005-01-20 with total page 430 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph is the first and an initial introduction to the theory of bitopological spaces and its applications. In particular, different families of subsets of bitopological spaces are introduced and various relations between two topologies are analyzed on one and the same set; the theory of dimension of bitopological spaces and the theory of Baire bitopological spaces are constructed, and various classes of mappings of bitopological spaces are studied. The previously known results as well the results obtained in this monograph are applied in analysis, potential theory, general topology, and theory of ordered topological spaces. Moreover, a high level of modern knowledge of bitopological spaces theory has made it possible to introduce and study algebra of new type, the corresponding representation of which brings one to the special class of bitopological spaces. It is beyond any doubt that in the nearest future the areas of essential applications will be the theories of linear topological spaces and topological groups, algebraic and differential topologies, the homotopy theory, not to mention other fundamental areas of modern mathematics such as geometry, mathematical logic, the probability theory and many other areas, including those of applied nature. Key Features:- First monograph is "Generalized Lattices" * The first introduction to the theory of bitopological spaces and its applications.

Download or read book Chieftaincy in Ghana written by A. K. P. Kludze and published by Austin & Winfield Publishers. This book was released on 2000 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt: Chieftaincy in Ghana is an extensive account of the many roles of chiefs in modern society. A. Kodzo Paaku Kludze provides detailed accounts and analyses of the law practices, rituals, and customs of chieftaincy. Kludze begins his study with a historical account bringing his analyses to the present, and speculates on the future of chieftaincy in its formal and informal roles in the changing social milieu. The author's close personal background and association with chieftaincy allows him to shed light on the mysterious practices and supernatural connections. Kludze offers an authoritative and comprehensive study of chieftaincy in the context of the modern social, political, and legal institutions of Ghana.

Download or read book Manifolds And Local Structures A General Theory written by Marco Grandis and published by World Scientific. This book was released on 2021-02-10 with total page 374 pages. Available in PDF, EPUB and Kindle. Book excerpt: Local structures, like differentiable manifolds, fibre bundles, vector bundles and foliations, can be obtained by gluing together a family of suitable 'elementary spaces', by means of partial homeomorphisms that fix the gluing conditions and form a sort of 'intrinsic atlas', instead of the more usual system of charts living in an external framework.An 'intrinsic manifold' is defined here as such an atlas, in a suitable category of elementary spaces: open euclidean spaces, or trivial bundles, or trivial vector bundles, and so on.This uniform approach allows us to move from one basis to another: for instance, the elementary tangent bundle of an open Euclidean space is automatically extended to the tangent bundle of any differentiable manifold. The same holds for tensor calculus.Technically, the goal of this book is to treat these structures as 'symmetric enriched categories' over a suitable basis, generally an ordered category of partial mappings.This approach to gluing structures is related to Ehresmann's one, based on inductive pseudogroups and inductive categories. A second source was the theory of enriched categories and Lawvere's unusual view of interesting mathematical structures as categories enriched over a suitable basis.

Download or read book Computer Aided Verification written by Gerard Berry and published by Springer. This book was released on 2003-05-15 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 13th International Conference on Computer Aided Verification, CAV 2001, held in Paris, France in July 2001. The 33 revised full papers presented were carefully reviewed and selected from 106 regular paper submissions; also included are 13 reviewed tool presentations selected from 27 submissions. The book offers topical sections on model checking and theorem proving, automata techniques, verification core technology, BDD and decision trees, abstraction and refinement, combinations, infinite state systems, temporal logics and verification, microprocessor verification and cache coherence, SAT and applications, and timed automata.

Download or read book Generalized Lattices written by B. Dvalishvili and published by Nova Publishers. This book was released on 2005 with total page 196 pages. Available in PDF, EPUB and Kindle. Book excerpt: If, presumably, the definition of a Boolean algebra employs the notion of a partially ordered set, whereas a general definition of a topological space is based on the notion of a metric, then by considering a more general situation with quasi metrics one may obtain the notion of a bitopological space (i.e., a set endowed with two arbitrary topologies). A further development of the theory of bitopological spaces has made it possible to introduce and study an algebra of a new type that is based on a nonordinary variant of a quasi ordered set and the corresponding representation of which brings one to bitopological spaces. The author calls this a generalised Boolean algebra, which is interesting not only as the subject of independent research, but also can be used as an important tool in establishing its various relationships with other areas of mathematics and, in particular, as in related double Boolean algebras with mathematical studies.

Download or read book Computer Aided Verification written by and published by Springer Science & Business Media. This book was released on 2000 with total page 533 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mathematical Foundations of Computer Science 2003 written by Branislav Rovan and published by Springer. This book was released on 2003-12-03 with total page 706 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book constitutes the refereed proceedings of the 28th International Symposium on Mathematical Foundations of Computer Science, MFCS 2003, held in Bratislava, Slovakia in August 2003. The 55 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 137 submissions. All current aspects in theoretical computer science are addressed, ranging from discrete mathematics, combinatorial optimization, graph theory, networking, algorithms, and complexity to programming theory, formal methods, and mathematical logic.

Download or read book Models and Theories in Social Systems written by Cristina Flaut and published by Springer. This book was released on 2018-10-12 with total page 576 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book concisely presents a broad range of models and theories on social systems. Because of the huge spectrum of topics involving social systems, various issues related to Mathematics, Statistics, Teaching, Social Science, and Economics are discussed. In an effort to introduce the subject to a wider audience, this volume, part of the series “Studies in Systems, Decision and Control”, equally addresses the needs of mathematicians, statisticians, sociologists and philosophers. The studies examined here are divided into four parts. The first part, “Perusing the Minds Behind Scientific Discoveries”, traces the winding path of Syamal K. Sen and Ravi P. Agarwal’s scholarship throughout history, and most importantly, the thought processes that allowed each of them to master their subject. The second part covers “Theories in Social Systems” and the third discusses “Models in Social Systems”, while the fourth and final part is dedicated to “Mathematical Methods in the Social Sciences”. Given its breadth of coverage, the book will offer inquisitive readers a valuable point of departure for exploring these rich, vast, and ever-expanding fields of knowledge.

Download or read book The Econometrics of Networks written by Áureo de Paula and published by Emerald Group Publishing. This book was released on 2020-10-19 with total page 496 pages. Available in PDF, EPUB and Kindle. Book excerpt: Showcasing fresh methodological and empirical research on the econometrics of networks, and comprising both theoretical, empirical and policy papers, the authors in this volume bring together a wide range of perspectives to facilitate a dialogue between academics and practitioners for better understanding this groundbreaking field.