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...
Gespeichert in:
| Weitere Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Newcastle upon Tyne :
Cambridge Scholars Publishing,
2016.
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Zusammenfassung: | 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 such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore's Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues. Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements. |
| Beschreibung: | 1 online resource (xxxv, 445 pages) : illustrations (some color) |
| Bibliographie: | Includes bibliographical references (pages 384-422) and index. |
| ISBN: | 9781443892421 1443892424 |
Internformat
MARC
| LEADER | 00000cam a22000003c 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn948734400 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr |n||||||||| | ||
| 008 | 160504s2016 enka ob 001 0 eng d | ||
| 040 | |a YDXCP |b eng |e pn |c YDXCP |d N$T |d IDEBK |d CDX |d N$T |d EBLCP |d OCLCF |d OCLCQ |d DEBSZ |d NAM |d UAB |d OCLCQ |d U3W |d OCLCQ |d NLE |d AGLDB |d G3B |d IGB |d STF |d ESU |d UKAHL |d OCLCQ |d ELBRO |d K6U |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d SXB | ||
| 020 | |a 9781443892421 |q (electronic bk.) | ||
| 020 | |a 1443892424 |q (electronic bk.) | ||
| 020 | |z 1443889474 | ||
| 020 | |z 9781443889476 | ||
| 035 | |a (OCoLC)948734400 | ||
| 037 | |a 4535221 |b Proquest Ebook Central | ||
| 050 | 4 | |a QA76.5915 | |
| 072 | 7 | |a COM |x 013000 |2 bisacsh | |
| 072 | 7 | |a COM |x 014000 |2 bisacsh | |
| 072 | 7 | |a COM |x 018000 |2 bisacsh | |
| 072 | 7 | |a COM |x 067000 |2 bisacsh | |
| 072 | 7 | |a COM |x 032000 |2 bisacsh | |
| 072 | 7 | |a COM |x 037000 |2 bisacsh | |
| 072 | 7 | |a COM |x 052000 |2 bisacsh | |
| 082 | 7 | |a 004.6/78/0285511324 |2 23 | |
| 049 | |a MAIN | ||
| 245 | 0 | 0 | |a Problems and new solutions in the boolean domain / |c edited by Bernd Steinbach. |
| 260 | |a Newcastle upon Tyne : |b Cambridge Scholars Publishing, |c 2016. | ||
| 300 | |a 1 online resource (xxxv, 445 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 504 | |a Includes bibliographical references (pages 384-422) and index. | ||
| 505 | 0 | |a 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. | |
| 505 | 0 | |a 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. | |
| 520 | 8 | |a 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 such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore's Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues. Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements. | |
| 650 | 0 | |a Ubiquitous computing. |0 http://id.loc.gov/authorities/subjects/sh2002000759 | |
| 650 | 0 | |a Algebra, Boolean. |0 http://id.loc.gov/authorities/subjects/sh85003429 | |
| 650 | 6 | |a Informatique omniprésente. | |
| 650 | 6 | |a Algèbre de Boole. | |
| 650 | 7 | |a COMPUTERS |x Computer Literacy. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Computer Science. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Data Processing. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Hardware |x General. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Information Technology. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Machine Theory. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Algebra, Boolean |2 fast | |
| 650 | 7 | |a Ubiquitous computing |2 fast | |
| 655 | 4 | |a Electronic book. | |
| 700 | 1 | |a Steinbach, Bernd. | |
| 758 | |i has work: |a Problems and new solutions in the Boolean domain (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGBb8j9pVP89HpvbhwygqP |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |z 1443889474 |z 9781443889476 |w (OCoLC)948549808 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1227790 |3 Volltext |
| 938 | |a Askews and Holts Library Services |b ASKH |n AH31427061 | ||
| 938 | |a Coutts Information Services |b COUT |n 34550961 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL4535221 | ||
| 938 | |a EBSCOhost |b EBSC |n 1227790 | ||
| 938 | |a eLibro |b ELBO |n ELB150466 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis34550961 | ||
| 938 | |a YBP Library Services |b YANK |n 12973765 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn948734400 |
|---|---|
| _version_ | 1816882347786633216 |
| adam_text | |
| any_adam_object | |
| author2 | Steinbach, Bernd |
| author2_role | |
| author2_variant | b s bs |
| author_facet | Steinbach, Bernd |
| author_sort | Steinbach, Bernd |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.5915 |
| callnumber-search | QA76.5915 |
| callnumber-sort | QA 276.5915 |
| callnumber-subject | QA - Mathematics |
| collection | ZDB-4-EBA |
| contents | 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. |
| ctrlnum | (OCoLC)948734400 |
| dewey-full | 004.6/78/0285511324 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.6/78/0285511324 |
| dewey-search | 004.6/78/0285511324 |
| dewey-sort | 14.6 278 9285511324 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>06984cam a22007333c 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn948734400</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr |n|||||||||</controlfield><controlfield tag="008">160504s2016 enka ob 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">YDXCP</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">YDXCP</subfield><subfield code="d">N$T</subfield><subfield code="d">IDEBK</subfield><subfield code="d">CDX</subfield><subfield code="d">N$T</subfield><subfield code="d">EBLCP</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEBSZ</subfield><subfield code="d">NAM</subfield><subfield code="d">UAB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">NLE</subfield><subfield code="d">AGLDB</subfield><subfield code="d">G3B</subfield><subfield code="d">IGB</subfield><subfield code="d">STF</subfield><subfield code="d">ESU</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">ELBRO</subfield><subfield code="d">K6U</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781443892421</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1443892424</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1443889474</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781443889476</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)948734400</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">4535221</subfield><subfield code="b">Proquest Ebook Central</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.5915</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">013000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">014000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">018000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">067000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">032000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">037000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">COM</subfield><subfield code="x">052000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">004.6/78/0285511324</subfield><subfield code="2">23</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Problems and new solutions in the boolean domain /</subfield><subfield code="c">edited by Bernd Steinbach.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Newcastle upon Tyne :</subfield><subfield code="b">Cambridge Scholars Publishing,</subfield><subfield code="c">2016.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xxxv, 445 pages) :</subfield><subfield code="b">illustrations (some color)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (pages 384-422) and index.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">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.</subfield></datafield><datafield tag="520" ind1="8" ind2=" "><subfield code="a">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 such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore's Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues. Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Ubiquitous computing.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh2002000759</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Algebra, Boolean.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85003429</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique omniprésente.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Algèbre de Boole.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Literacy.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Computer Science.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Data Processing.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Hardware</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Information Technology.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Machine Theory.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="x">Reference.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algebra, Boolean</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Ubiquitous computing</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic book.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Steinbach, Bernd.</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Problems and new solutions in the Boolean domain (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGBb8j9pVP89HpvbhwygqP</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="z">1443889474</subfield><subfield code="z">9781443889476</subfield><subfield code="w">(OCoLC)948549808</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1227790</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH31427061</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">34550961</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest Ebook Central</subfield><subfield code="b">EBLB</subfield><subfield code="n">EBL4535221</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">1227790</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">eLibro</subfield><subfield code="b">ELBO</subfield><subfield code="n">ELB150466</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">cis34550961</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">12973765</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| genre | Electronic book. |
| genre_facet | Electronic book. |
| id | ZDB-4-EBA-ocn948734400 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:27:10Z |
| institution | BVB |
| isbn | 9781443892421 1443892424 |
| language | English |
| oclc_num | 948734400 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (xxxv, 445 pages) : illustrations (some color) |
| psigel | ZDB-4-EBA |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge Scholars Publishing, |
| record_format | marc |
| spelling | Problems and new solutions in the boolean domain / edited by Bernd Steinbach. Newcastle upon Tyne : Cambridge Scholars Publishing, 2016. 1 online resource (xxxv, 445 pages) : illustrations (some color) text txt rdacontent computer c rdamedia online resource cr rdacarrier Includes bibliographical references (pages 384-422) and index. 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. 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 such systems utilize the elementariness of Boolean values. A Boolean variable can carry only two different Boolean values: FALSE or TRUE (0 or 1), and has the best interference resistance in technical systems. However, a Boolean function exponentially depends on the number of its variables. This exponential complexity is the cause of major problems in the process of design and realization of circuits. According to Moore's Law, the complexity of digital systems approximately doubles every 18 months. This requires comprehensive knowledge and techniques to solve complex Boolean problems. This book summarizes both new problems and solutions in the Boolean domain in solving such issues. Part 1 describes powerful new approaches in solving exceptionally complex Boolean problems. Efficient methods contribute to solving problems of extreme complexity. New algorithms and programs utilize the huge number of computing cores of the Graphical Processing Unit and improve the performance of calculations by several orders of magnitude. Part 2 represents several applications of digital systems. Due to the crucial role of the internet, both solutions and open problems regarding the security of these systems are discussed. The exploration of certain properties of such systems leads to a number of efficient solutions, which can be reused in a wide field of applications. Part 3 discusses the scientific basis of future circuit technologies, investigating the need for completely new design methods for the atomic level of quantum computers. This part also concerns itself with reversible circuits as the basis for quantum circuits and specifies important issues regarding future improvements. Ubiquitous computing. http://id.loc.gov/authorities/subjects/sh2002000759 Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Informatique omniprésente. Algèbre de Boole. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Algebra, Boolean fast Ubiquitous computing fast Electronic book. Steinbach, Bernd. has work: Problems and new solutions in the Boolean domain (Text) https://id.oclc.org/worldcat/entity/E39PCGBb8j9pVP89HpvbhwygqP https://id.oclc.org/worldcat/ontology/hasWork Print version: 1443889474 9781443889476 (OCoLC)948549808 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1227790 Volltext |
| spellingShingle | Problems and new solutions in the boolean domain / 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. Ubiquitous computing. http://id.loc.gov/authorities/subjects/sh2002000759 Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Informatique omniprésente. Algèbre de Boole. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Algebra, Boolean fast Ubiquitous computing fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh2002000759 http://id.loc.gov/authorities/subjects/sh85003429 |
| title | Problems and new solutions in the boolean domain / |
| title_auth | Problems and new solutions in the boolean domain / |
| title_exact_search | Problems and new solutions in the boolean domain / |
| title_full | Problems and new solutions in the boolean domain / edited by Bernd Steinbach. |
| title_fullStr | Problems and new solutions in the boolean domain / edited by Bernd Steinbach. |
| title_full_unstemmed | Problems and new solutions in the boolean domain / edited by Bernd Steinbach. |
| title_short | Problems and new solutions in the boolean domain / |
| title_sort | problems and new solutions in the boolean domain |
| topic | Ubiquitous computing. http://id.loc.gov/authorities/subjects/sh2002000759 Algebra, Boolean. http://id.loc.gov/authorities/subjects/sh85003429 Informatique omniprésente. Algèbre de Boole. COMPUTERS Computer Literacy. bisacsh COMPUTERS Computer Science. bisacsh COMPUTERS Data Processing. bisacsh COMPUTERS Hardware General. bisacsh COMPUTERS Information Technology. bisacsh COMPUTERS Machine Theory. bisacsh COMPUTERS Reference. bisacsh Algebra, Boolean fast Ubiquitous computing fast |
| topic_facet | Ubiquitous computing. Algebra, Boolean. Informatique omniprésente. Algèbre de Boole. COMPUTERS Computer Literacy. COMPUTERS Computer Science. COMPUTERS Data Processing. COMPUTERS Hardware General. COMPUTERS Information Technology. COMPUTERS Machine Theory. COMPUTERS Reference. Algebra, Boolean Ubiquitous computing Electronic book. |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=1227790 |
| work_keys_str_mv | AT steinbachbernd problemsandnewsolutionsinthebooleandomain |