You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book covers recent progress in solving propositional satisfiability and related problems. Propositional satisfiability is a powerful and general formalism used to solve a wide range of important problems including hardware and software verification. Research into methods to automate such reasoning has therefore a long history in artificial intelligence. This book follows on from the highly successful volume entitled SAT 2000 published five years ago.
An eye-opening account of the great black personalities of world history. In this first volume: outstanding blacks of Asia and Africa, and historical figures before Christ -- including Akhenaton, Aesop, Hannibal, Cleopatra, Zenobia, Askia the Great, the Mahdi, Samuel Adjai Crowther, and many more. World's Great Men of Color is a comprehensive account of the great Black personalities in world history. J. A. Rogers was one of the first Black scholars to devote most of his life to researching the lives of hundreds of men and women of color. This first volume is a convenient reference; equipped with a comprehensive introduction, it treats all aspects of recorded Black history. J. A. Rogers's book is vital reading for everyone who wants a fuller and broader understanding of the great personalities who have shaped our world. The companion volume covers the great Blacks of Europe, South and Central America, the West Indies, and the United States, including Marcus Garvey, Robert Browning, Dom Pedro, Alexandre Dumas, Joachim Murat, Aleksander Sergeevich Pushkin, Alessandro de' Medici, St. Benedict the Moor, and many others.
This book constitutes the refereed proceedings of the 14th International Conference on Field-Programmable Logic, FPL 2003, held in Leuven, Belgium in August/September 2004. The 78 revised full papers, 45 revised short papers, and 29 poster abstracts presented together with 3 keynote contributions and 3 tutorial summaries were carefully reviewed and selected from 285 papers submitted. The papers are organized in topical sections on organic and biologic computing, security and cryptography, platform-based design, algorithms and architectures, acceleration application, architecture, physical design, arithmetic, multitasking, circuit technology, network processing, testing, applications, signal processing, computational models and compiler, dynamic reconfiguration, networks and optimisation algorithms, system-on-chip, high-speed design, image processing, network-on-chip, power-aware design, IP-based design, co-processing architectures, system level design, physical interconnect, computational models, cryptography and compression, network applications and architecture, and debugging and test.
This book constitutes the refereed proceedings of the 12th International Conference on Field-Programmable Logic and Applications, FPL 2002, held in Montpellier, France, in September 2002. The 104 revised regular papers and 27 poster papers presented together with three invited contributions were carefully reviewed and selected from 214 submissions. The papers are organized in topical sections on rapid prototyping, FPGA synthesis, custom computing engines, DSP applications, reconfigurable fabrics, dynamic reconfiguration, routing and placement, power estimation, synthesis issues, communication applications, new technologies, reconfigurable architectures, multimedia applications, FPGA-based arithmetic, reconfigurable processors, testing and fault-tolerance, crypto applications, multitasking, compilation techniques, etc.
This book, originally published in 1987, is a socio-cultural analysis of a tropical belle epoque: Rio de Janeiro between 1898 and 1914. It relates how the city's elite evolved from the semi-rural, slave-owning patriarchy of the coffee-port seat of a monarchy into an urbane, professional, rentier upper crust dominating the centre of a 'modernising' oligarchical republic. It explores such varied topics as architecture, literature, prostitution, urban reform, the family, secondary schools, and the salon. It evokes a milieu increasingly marked by Europe, demonstrating how French and English culture permeated the lives of elite members who adapted it to their needs and perspectives as a dominant stratum of relatively recent and varied origin. This exploration of cultural 'dependency' in a unique, cosmopolitan, fin-de-siecle urban culture will also interest those concerned with the broader questions of culture and colonialism during the high tide of European imperialism.
For over three decades now, silicon capacity has steadily been doubling every year and a half with equally staggering improvements continuously being observed in operating speeds. This increase in capacity has allowed for more complex systems to be built on a single silicon chip. Coupled with this functionality increase, speed improvements have fueled tremendous advancements in computing and have enabled new multi-media applications. Such trends, aimed at integrating higher levels of circuit functionality are tightly related to an emphasis on compactness in consumer electronic products and a widespread growth and interest in wireless communications and products. These trends are expected to ...
This book constitutes the refereed proceedings of the 11th Portuguese Conference on Artificial Intelligence, EPIA 2003, held in Beja, Portugal in December 2003. The 29 revised full papers and 20 revised short papers presented were carefully reviewed and selected from a total of 119 submissions. In accordance with the five constituting workshops, the papers are organized in topical sections on artificial life and evolutionary algorithms, constraint and logic programming systems, extraction of knowledge from databases, multi-agent systems and AI for the Internet, and natural language processing and text retrieval.