From peace to freedom [[electronic resource] ] : Quaker rhetoric and the birth of American antislavery, 1657-1761 / / Brycchan Carey

• Record Nr.: UNINA9910461918303321
• Autore: Carey Brycchan <1967->
• Pubbl/distr/stampa: New Haven [Conn.], : Yale University Press, c2012
• ISBN: 1-283-73627-6; 0-300-18227-9
• Descrizione fisica: 1 online resource (272 p.)
• Disciplina: 306.3620973
• Soggetti: Slavery and the church - Society of Friends - History - 18th century; Quaker abolitionists - History - 18th century; Society of Friends - History - 18th century; Antislavery movements - History - 18th century; Electronic books.
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Front matter -- Contents -- Acknowledgments -- Introduction -- One. "The Power That Giveth Liberty And Freedom" Barbados, 1657-76 -- Two. "We Are Against The Traffik Of Men-Body" Pennsylvania, 1688-1700 -- Three. "The Grief Of Divers Friends" Pennsylvania-London-New Jersey, 1711-19 -- Four. "O Unrighteous Gain!" From Rhetoric To Ritual, 1727-43 -- Five. "A Practice So Repugnant To Our Christian Profession" Philadelphia And London, 1753-61 -- Notes -- Bibliography Of Works Cited -- Index
• Sommario/riassunto: In the first book to investigate in detail the origins of antislavery thought and rhetoric within the Society of Friends, Brycchan Carey shows how the Quakers turned against slavery in the first half of the eighteenth century and became the first organization to take a stand against the slave trade. Through meticulous examination of the earliest writings of the Friends, including journals and letters, Carey reveals the society's gradual transition from expressing doubt about slavery to adamant opposition. He shows that while progression toward this stance was ongoing, it was slow and uneven and that it was vigorous internal debate and discussion that ultimately led to a call for abolition. ; His book will be a major contribution to the history of the rhetoric of antislavery and the development of antislavery thought as explicated in early Quaker writing.

Epea and Grammata : oral and written communication in ancient Greece / / edited by Ian Worthington and John Miles Foley

• Record Nr.: UNISA996237748803316
• Pubbl/distr/stampa: Boston : , : Brill, , 2002
• ISBN: 90-04-35092-6
• Descrizione fisica: 1 online resource (viii, 206 pages) : illustrations
• Collana: Orality and literacy in ancient Greece ; ; v. 4; Mnemosyne, bibliotheca classica Batava. Supplementum, , 0169-8958 ; ; 230
• Disciplina: 880.9001
• Soggetti: Written communication - Greece; Oral tradition - Greece; Oral communication - Greece; Literacy - Greece; Language and culture - Greece; Greek literature - History and criticism; Greek language - Written Greek; Greek language - Spoken Greek
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references (pages [191]-201) and index.
• Nota di contenuto: Preliminary Material / IAN WORTHINGTON and JOHN MILES FOLEY -- PREFACE / IAN WORTHINGTON and JOHN MILES FOLEY -- LIST OF ILLUSTRATIONS / IAN WORTHINGTON and JOHN MILES FOLEY -- NOTES ON CONTRIBUTORS / IAN WORTHINGTON and JOHN MILES FOLEY -- LITERATURE, ART, AND DRAMA / IAN WORTHINGTON and JOHN MILES FOLEY -- EDITING AND TRANSLATING TRADITIONAL ORAL EPIC: THE SOUTH SLAVIC SONGS AND HOMER / JOHN MILES FOLEY -- RITUAL SPEECH IN EARLY GREEK SONG / JOHN F. GARCÍA -- THE EVOCATION OF EMOTIONAL RESPONSE IN EARLY GREEK POETRY AND PAINTING / E.; A. MACKAY -- SPEECH ACTS IN THE EVERYDAY WORLD AND IN HOMER: THE REBUKE AS A CASE STUDY / ELIZABETH MINCHIN -- HOMERIC SIGNS AND FLASHBULB MEMORY / RUTH SCODEL -- DANCING THE ALPHABET: PERFORMATIVE LITERACY ON THE ATTIC STAGE / NIALL W. SLATER -- RHETORIC AND SOCIETY / IAN WORTHINGTON and JOHN MILES FOLEY -- ENTERTAINMENT AND DEMOCRATIC DISTRUST: THE AUDIENCE'S ATTITUDES TOWARDS ORAL AND WRITTEN ORATORY IN CLASSICAL ATHENS / JOHAN SCHLOEMANN -- LITERACY, ORALITY, AND LEGISLATIVE PROCEDURE IN CLASSICAL ATHENS / JAMES P. SICKINGER -- PHILOSOPHY / IAN WORTHINGTON and JOHN MILES FOLEY -- PHILOLOGY OR PHILOSOPHY? SIMPLICIUS ON THE USE OF QUOTATIONS / HAN BALTUSSEN -- BIBLIOGRAPHY / IAN WORTHINGTON and JOHN MILES FOLEY -- INDEX / IAN WORTHINGTON and JOHN MILES FOLEY -- SUPPLEMENTS TO MNEMOSYNE / H. PINKSTER , H.S. VERSNEL , D.M. SCHENKEVELD , P.H. SCHRIJVERS and S.R. SLINGS.
• Sommario/riassunto: This volume deals with aspects of orality and oral traditions in ancient Greece, and is a selection of refereed papers from the fourth biennial Orality and Literacy in Ancient Greece conference, held at the University of Missouri Columbia in 2000. The book is divided into three parts: literature, rhetoric and society, and philosophy. The papers focus on genres such as epic poetry, drama, poetry and art, public oratory, legislative procedure, and Simplicius’ philosophy. All papers present new approaches to their topics or ask new and provocative questions.

2005 IEEE International High Level Design Validation and Test Workshop

• Record Nr.: UNINA9910142188403321
• Pubbl/distr/stampa: [Place of publication not identified], : I E E E, 2005
• ISBN: 9781509097258; 1509097252
• Descrizione fisica: 1 online resource (viii, 250 pages) : illustrations
• Disciplina: 005.14
• Soggetti: Computer software - Verification
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Simulation-based functional test generation for embedded processors,"C. -- Scalable defect mapping and configuration of memory-based nanofabrics,"Chen -- Improvement of fault injection techniques based on VHDL code modification,"J. -- MVP: a mutation-based validation paradigm,"J. -- Establishing latch correspondence for embedded circuits of PowerPC microprocessors,"H. -- Sequential equivalence checking based on k-th invariants and circuit SAT solving,"Feng -- VERISEC: verifying equivalence of sequential circuits using SAT,"M. -- Automated clock inference for stream function-based system level specifications,"J. -- Cosimulation of ITRON-based embedded software with SystemC,"S. -- A software test program generator for verifying system-on-chips,"A. -- Stimulus generation for interface protocol verification using the nondeterministic extended finite state machine model,"Che-Hua -- DVGen: a test generator for the transmeta Efficeon VLIW processor,"K. -- Reuse in system-level stimuli-generation,"Y. -- Harnessing machine learning to improve the success rate of stimuli generation,"S. -- A new simulation-based property checking algorithm based on partitioned alternative search space traversal,"Qingwei -- Validating families of latency insensitive protocols,"S. -- GASIM: a fast Galois field based simulator for functional model,"D. -- Overlap reduction in symbolic system traversal,"P. -- Formal verification of high-level conformance with symbolic simulation,"R. -- A method for generation of GSTE assertion graphs,"E. -- Automatic abstraction ; refinement for Petri nets verification,"Zhenyu -- An optimum algorithm for compacting error traces for efficient functional debugging,"Chia-Chih -- Increasing the deducibility in CNF instances for efficient SAT-based bounded model checking,"V. -- B-cubing theory: new possibilities for efficient SAT-solving,"D. -- Multilevel design validation in a secure embedded system,"D. -- Security evaluation against electromagnetic analysis at design time,"Huiyun -- Formal meaning of coverage metrics in simulation-based hardware design verification,"I. -- Advanced analysis techniques for cross-product coverage,"H. -- A proof of correctness for the construction of property monitors,".