A prognosticall prediction of admirable events that are like to happen within His Majesties dominions (especially in England) within lesse than a yeares compasse; [[electronic resource]] : and amongst others, that in all probability His Maiestie (for all this) shall lay downe his sword, and take up his septer and that such as are truely false to him, his friendly enemies, shall by their owne policies and powers breake their owne necks, and so at once recover both the freedoms and love of their countrey. Besides such as have any skill in physiognomy, may by be-holding certaine pictures here, discover the malicious minds, and prevent the pernicious practises of many that have as base hearts though not so brave habits

• Record Nr.: UNISA996387135503316
• Pubbl/distr/stampa: Printed at London, : according to order for G. Bishop, July 13. 1644
• Descrizione fisica: 8 p
• Soggetti: Great Britain History Charles I, 1625-1649
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Reproduction of original in Thomason Collection, British Library.
• Sommario/riassunto: eebo-0018

31st IEEE International Symposium on Multiple-Valued Logic. 2001, Warsaw, Poland

• Record Nr.: UNINA9910872838103321
• Pubbl/distr/stampa: [Place of publication not identified], : IEEE Computer Society Press, 2001
• Descrizione fisica: 1 online resource (380 pages)
• Disciplina: 511.3
• Soggetti: Many-valued logic; Switching theory
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: Proceedings 31st IEEE International Symposium on Multiple-Valued Logic -- Algebras for hazard detection -- A new improved cost-table-based technique for synthesis of 4-valued unary functions implemented using current-mode CMOS circuits -- Dual-rail multiple-valued current-mode VLSI with biasing current sources -- Realization of NMAX and NMIN functions with multi-valued voltage comparators -- An application of multiple-valued logic to test case generation for software system functional testing -- Spectral techniques in binary and multiple-valued switching theory. A review of results in the decade 1991-2000 -- Tunnelling diode technology -- Power efficient inter-module communication for digit-serial DSP architectures in deep-submicron technology -- A 4 digit CMOS quaternary to analog converter with current switch and neuron MOS down-literal circuit -- On some classes of fuzzy information relations -- On complete residuated many-valued logics with t-norm conjunction -- A three-valued D-flip-flop and shift register using multiple-junction surface tunnel transistors -- Flash analog-to-digital converter using resonant-tunneling multiple-valued circuits.
• Sommario/riassunto: The proceedings of the May 2001 symposium consists of 44 papers, five lectures, and two tutorials. A variety of research fields within multiple-valued logic are considered, such as circuits, design and verification of systems, automated reasoning, computing paradigms, ; complexity, and theoretical aspects of MV logics and algebra. Some of the topics are realization of NMAX and NMIN functions with multi-valued voltage comparators, spectral techniques in binary and multiple-valued switching theory, evaluation of inconsistency in a 2- way adaptive system using shadowed sets, and automated reasoning with ordinary assertions and default assumptions. Other topics include an information theory method for flexible network synthesis, relations between clones and full monoids, design of Haar wavelet transforms and Haar spectral transform decision diagrams, a set theory within fuzzy logic, and logic circuit diagnosis using neural networks. No subject index. c. Book News Inc.