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 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 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 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 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 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 Gbesela Or English Ewe Dictionary written by Diedrich Westermann and published by . This book was released on 1922 with total page 140 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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 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 Radiationless Processes written by Baldassare Di Bartolo and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 555 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents an account of the NATO Advanced Study Institute on "Radiationless Processes," held in Erice, Italy, from November 18 to December 1, 1979. This meeting was organized by the International School of Atomic and Molecular Spectroscopy of the "Ettore Majorana" Centre for Scientific Culture. The objective of the Institute was to formulate a comprehensive treatment of the various processes by which molecules and crystals in excited electronic levels relax nonradiatively to the ground level. A total of 83 participants came from 62 laboratories and 22 nations (Australia, Belgium, Brasil, Canada, Czechoslovakia, France, F. R. Germany, Greece, Hungary, India, Ireland, Israel, Italy, Mexico, The Netherlands, Poland, Portugal, Switzerland, Turkey, United Kingdom, United States, and U.S.S.R.). The secretaries of the Institute were: Velda Goldberg for the scientific aspects and Antonino La Francesca for the administrative aspects of the meeting. Eleven series of lectures for a total of 36 hours were given. Nine "long" seminars and 7 "short" seminars were also presented. In addition, two informal seminars and 2 round-table discussions were held. After an introductory overview of the theory of radiation1ess processes, the Institute dealt firstly with the interaction of electrons with the distribution of vibrational modes in simple molecules, then with the increasingly complex situation found in large lsolated molecules, gnd finally with the coupling of excited electrons with the continuous phonon distribution in insulating solids.

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 African Oral Literature written by Howard James Jordan and published by Dorrance Publishing. This book was released on 2024-04-10 with total page 723 pages. Available in PDF, EPUB and Kindle. Book excerpt: African Oral Literature: Its Philosophical Thoughts Conveyed in Yuruba Society explores the ways that the Yoruba people of Nigeria have made remarkable contributions to the world’s civilization. Yoruba philosophical, religious tenets, artistic tenets, ideas, and icons have helped to transform religious beliefs and practices and the arts. When considering the study of Yoruba oral traditions, one learns how its philosophical concepts are the bases for an interpretation of what constitutes their aesthetic performance in art forms. This book introduces distinguished Yoruba cultural historians documenting the full spectrum, which extends beyond the visual art form. Through oral tradition, the effigy with its ako naturalism is not judged for its photographic realism, but for its efficacy within the context of the ako traditional ceremony, which is intended to make the end of this life and the beginning of the next one honorable and dignifying for one's parents where good will is needed by those still on earth. About the Author Howard James Jordan was born in Philadelphia, Pennsylvania in 1948. He is a lifetime member of the following associations: The Buffalo Soldiers, 24th Infantry Regiment of New Jersey; The Buffalo Soldiers 9th & 10th Horse Cavalry Association of Baltimore, MD and Los Angeles, CA; Disabled American Veterans (DVA) and Veterans of Foreign Wars, Dept. of New Jersey. Howard’s hobbies include writing, reading history, dancing, roller skating, horseback riding, traveling, wood carving, and painting. He also taught art in Nigeria Secondary Schools, was a research assistant at Nigerian University, and taught special education in Philadelphia Public Schools.

Download or read book Despatch communicating the Discovery of a Native Written Character at Bohmar on the western coast of Africa near Liberia accompanied by a vocabulary of the Vahie or Vei tongue With notes on the Vei language and alphabet by E Norris Read before the Royal Geographical Society of London on the 23rd of April 1849 written by Frederick Edwyn Forbes and published by . This book was released on 1849 with total page 40 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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 Ake written by Wole Soyinka and published by Vintage. This book was released on 1989-10-23 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: A dazzling memoir of an African childhood from Nobel Prize-winning Nigerian novelist, playwright, and poet Wole Soyinka. Aké: The Years of Childhood gives us the story of Soyinka's boyhood before and during World War II in a Yoruba village in western Nigeria called Aké. A relentlessly curious child who loved books and getting into trouble, Soyinka grew up on a parsonage compound, raised by Christian parents and by a grandfather who introduced him to Yoruba spiritual traditions. His vivid evocation of the colorful sights, sounds, and aromas of the world that shaped him is both lyrically beautiful and laced with humor and the sheer delight of a child's-eye view. A classic of African autobiography, Aké is also a transcendantly timeless portrait of the mysteries of childhood.

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 Tear Drops written by Gideon C Mekwunye and published by Xlibris Corporation. This book was released on 2014-08-14 with total page 566 pages. Available in PDF, EPUB and Kindle. Book excerpt: This is the story of a family and how they survived life’s perils. Chiwinke, the protagonist and the first son of Chimebele, was determined to succeed in life by bringing all his brothers to study and succeed in America in order to get his parents permanently out of poverty. Despite all the obstacles, calamities, trials, and tribulations that befell him in life, he kept his humor until he triumphed with the help of his God.