Cargando…

Problems and new solutions in the boolean domain /

The Internet of Things is a great new challenge for the development of digital systems. In addition to the increasing number of classical unconnected digital systems, more people are regularly using new electronic devices and software that are controllable and usable by means of the internet. All su...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Steinbach, Bernd
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Newcastle upon Tyne : Cambridge Scholars Publishing, 2016.
Temas:
Acceso en línea:Texto completo
Tabla de Contenidos:
  • I Methods, Algorithms, and Programs
  • General methods
  • Efficient calculations
  • II Applications
  • Several aspects of security
  • Exploration of properties
  • III Towards Future Technologies
  • Reversible circuits
  • Quantum circuits.
  • A vector space method for Boolean switching networks /Mitchell A. Thornton
  • Solving combinatorial problems using Boolean equations /Christian Posthoff, Bernd Steinbach
  • Simplification of extremely large expressions /Ben Ruijl, Jos Vermaseren, Aske Plaat, Jaap van den Herik
  • A novel approach of polynomial expansions of symmetric functions /Danila A. Gorodecky
  • XBOOLE-CUDA : fast calculations of large Boolean problems on the GPU /Bernd Steinbach, Matthias Werner
  • Efficient computing of the Gibbs dyadic derivatives /Radomir S. Stanković, Dusan Gajić, Suzana Stojković, Milos Radmanović
  • Understanding the performance of randomized algorithms /Jan Schmidt, Rudolf B. Blažek, Petr Fišer
  • Fast network intrusion detection systems with high maintainability /Shinobu Nagayama, Shinʼichi Wakabayashi
  • Utilization of Boolean functions in cryptography /Chunhui Wu, Bernd Steinbach
  • Minimization of ESOP forms for secure computation /Stelvio Cimato, Valentina Ciriani, Matteo Moroni
  • On the relationship of Boolean function spectra and circuit output probabilities /Micah A. Thornton, Mitchell A. Thornton
  • ROBDD-based computation of special sets with RelView applications /Rudolf Berghammer, Stefan Bolus
  • Multiple-valued functions with bent Reed-Muller spectra /Claudio Moraga, Milena Stanković, Radomir S. Stanković
  • A framework for reversible circuit complexity /Mathias Soeken, Nabila Abdessaied, Rolf Drechsler
  • Gate count minimal reversible circuits /Jerzy Jegier, Paweł Kerntopf
  • The synthesis of a quantum circuit /Alexis de Vos, Stijn de Baerdemacker
  • Universal two-qubit quantum gates /Md. Mazder Rahman, Gerhard W. Dueck.