Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of...
Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by human...
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product development. As this problem worsens for nanoscale IC technologies, the high cost of design and multiple manufacturing spins causes fewer products to have the volume required to support full custom implementation. We propose a regular analog/RF IC using metal-mask configurability design methodology ORACLE, which is a combination of reuse and shared-use by formulating the synthesis problem as an optimization with recourse problem. Using a two-stage...
Long design cycles due to the inability to predict silicon realities is a well-known problem that plagues analog/RF integrated circuit product develop...
Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by humans and artificial intelligence systems. In this textbook for the first time a general introduction on lattice-valued logic is given. It systematically summarizes research from the basic notions up to recent results on lattice implication algebras, lattice-valued logic systems based on lattice implication algebras, as well as the corresponding reasoning theories and methods. The book provides the suitable theoretical logical background of...
Lattice-valued Logic aims at establishing the logical foundation for uncertain information processing routinely performed by human...
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, held in Gold Coast, QLD, Australia, in December 2014. The conference was co-located with the 13th Pacific RIM International Conference on Artificial Intelligence, PRICAI 2014. The 21 revised full papers presented together with 15 short papers and 2 invited papers were carefully reviewed and selected from 77 submissions. The papers are organized in topical sections on self organization and social networks/crowdsourcing; logic and...
This book constitutes the refereed proceedings of the 17th International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2014, hel...
This thesis examines the feasibility of using silver nanoparticles (AgNPs) as a viable disinfectant. It explores the opportunities and challenges of using AgNPs as an antimicrobial agent, and includes the latest research findings. It compares three kinds of AgNPs with regard to their antibacterial and antiviral effects; their sustainability in real water matrices; and their antiviral mechanisms. The outcome of this research equips the water industry with a better understanding of the capacity, extent and mechanisms of nanosilver disinfection. It is of interest to graduate students, academics...
This thesis examines the feasibility of using silver nanoparticles (AgNPs) as a viable disinfectant. It explores the opportunities and challenges of u...
These proceedings present the latest information on software reliability, industrial safety, cyber security, physical protection, testing and verification for nuclear power plants. The papers were selected from more than 80 submissions and presented at the First International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection for Nuclear Power Plants, held in Yinchuan, China on May 30 - June 1, 2016. The primary aim of this symposium was to provide a platform to facilitate the discussion for comprehension, application and management of digital...
These proceedings present the latest information on software reliability, industrial safety, cyber security, physical protection, testing and verif...
This book gathers selected papers from the Second International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Protection of Nuclear Power Plant, held in Chengdu, China on August 23-25, 2017.
This book gathers selected papers from the Second International Symposium on Software Reliability, Industrial Safety, Cyber Security and Physical Prot...
