Boolean models and methods in mathematics, computer science, and engineering:
This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic t...
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2010
|
| Schriftenreihe: | Encyclopedia of mathematics and its applications
volume 134 |
| Schlagworte: | |
| Online-Zugang: | BSB01 FHN01 URL des Erstveröffentlichers |
| Zusammenfassung: | This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 05 Oct 2015) |
| Beschreibung: | 1 online resource (xviii, 759 pages) |
| ISBN: | 9780511780448 |
| DOI: | 10.1017/CBO9780511780448 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043941108 | ||
| 003 | DE-604 | ||
| 005 | 20181206 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 161206s2010 |||| o||u| ||||||eng d | ||
| 020 | |a 9780511780448 |c Online |9 978-0-511-78044-8 | ||
| 024 | 7 | |a 10.1017/CBO9780511780448 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9780511780448 | ||
| 035 | |a (OCoLC)967774593 | ||
| 035 | |a (DE-599)BVBBV043941108 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-92 | ||
| 082 | 0 | |a 511.3/24 |2 22 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Boolean models and methods in mathematics, computer science, and engineering |c edited by Yves Crama, Peter L. Hammer |
| 246 | 1 | 3 | |a Boolean Models & Methods in Mathematics, Computer Science, & Engineering |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2010 | |
| 300 | |a 1 online resource (xviii, 759 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Encyclopedia of mathematics and its applications |v volume 134 | |
| 500 | |a Title from publisher's bibliographic system (viewed on 05 Oct 2015) | ||
| 505 | 8 | 0 | |t Algebraic structures. Compositions and clones of Boolean functions |r Reinhard Pöschel and Ivo Rosenberg |t Decomposition of Boolean functions |r Jan C. Bioch |t Logic. Proof theory |r Alasdair Urquhart |t Probabilistic analysis of satisfiability algorithms |r John Franco |t Optimization methods in logic |r John Hooker |t Learning theory and cryptography. Probabilistic learning and Boolean functions |r Martin Anthony |t Learning Boolean functions with queries |r Robert H. Sloan, Balázs Szörényi, and György Turán |t Boolean functions for cryptography and error-correcting codes |r Claude Carlet |t Vectorial Boolean functions for cryptography |r Claude Carlet |t Graph representations and efficient computation models. Binary decision diagrams |r Beate Bollig ... [et al.] |t Circuit complexity |r Matthias Krause and Ingo Wegener |t Fourier transforms and threshold circuit complexity |r Jehoshua Bruck |t Neural networks and Boolean functions |r Martin Anthony |t Decision lists and related classes of Boolean functions |r Martin Anthony |t Applications in engineering. Hardware equivalence and property verification |r J.-H. Roland Jiang and Tiziano Villa |t Synthesis of multi-level Boolean networks |r Tiziano Villa ... [et al.] |t Boolean aspects of network reliability |r Charles J. Colbourn |
| 520 | |a This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research | ||
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Probabilities | |
| 650 | 0 | 7 | |a Boolesche Algebra |0 (DE-588)4146280-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Statistische Entscheidungstheorie |0 (DE-588)4077850-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Maschinelles Lernen |0 (DE-588)4193754-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Boolesche Algebra |0 (DE-588)4146280-4 |D s |
| 689 | 0 | 1 | |a Statistische Entscheidungstheorie |0 (DE-588)4077850-2 |D s |
| 689 | 0 | 2 | |a Maschinelles Lernen |0 (DE-588)4193754-5 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Crama, Yves |d 1958- |0 (DE-588)112187854 |4 edt | |
| 700 | 1 | |a Hammer, P. L. |d 1936-2006 |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-0-521-84752-0 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/CBO9780511780448 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029350078 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511780448 |l BSB01 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/CBO9780511780448 |l FHN01 |p ZDB-20-CBO |q FHN_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176882386599936 |
|---|---|
| any_adam_object | |
| author2 | Crama, Yves 1958- Hammer, P. L. 1936-2006 |
| author2_role | edt edt |
| author2_variant | y c yc p l h pl plh |
| author_GND | (DE-588)112187854 |
| author_additional | Reinhard Pöschel and Ivo Rosenberg Jan C. Bioch Alasdair Urquhart John Franco John Hooker Martin Anthony Robert H. Sloan, Balázs Szörényi, and György Turán Claude Carlet Beate Bollig ... [et al.] Matthias Krause and Ingo Wegener Jehoshua Bruck J.-H. Roland Jiang and Tiziano Villa Tiziano Villa ... [et al.] Charles J. Colbourn |
| author_facet | Crama, Yves 1958- Hammer, P. L. 1936-2006 |
| building | Verbundindex |
| bvnumber | BV043941108 |
| classification_rvk | SK 130 |
| collection | ZDB-20-CBO |
| contents | Algebraic structures. Compositions and clones of Boolean functions Decomposition of Boolean functions Logic. Proof theory Probabilistic analysis of satisfiability algorithms Optimization methods in logic Learning theory and cryptography. Probabilistic learning and Boolean functions Learning Boolean functions with queries Boolean functions for cryptography and error-correcting codes Vectorial Boolean functions for cryptography Graph representations and efficient computation models. Binary decision diagrams Circuit complexity Fourier transforms and threshold circuit complexity Neural networks and Boolean functions Decision lists and related classes of Boolean functions Applications in engineering. Hardware equivalence and property verification Synthesis of multi-level Boolean networks Boolean aspects of network reliability |
| ctrlnum | (ZDB-20-CBO)CR9780511780448 (OCoLC)967774593 (DE-599)BVBBV043941108 |
| dewey-full | 511.3/24 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3/24 |
| dewey-search | 511.3/24 |
| dewey-sort | 3511.3 224 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1017/CBO9780511780448 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04512nmm a2200553zcb4500</leader><controlfield tag="001">BV043941108</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20181206 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">161206s2010 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780511780448</subfield><subfield code="c">Online</subfield><subfield code="9">978-0-511-78044-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/CBO9780511780448</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9780511780448</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)967774593</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043941108</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3/24</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Boolean models and methods in mathematics, computer science, and engineering</subfield><subfield code="c">edited by Yves Crama, Peter L. Hammer</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Boolean Models & Methods in Mathematics, Computer Science, & Engineering</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (xviii, 759 pages)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Encyclopedia of mathematics and its applications</subfield><subfield code="v">volume 134</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 05 Oct 2015)</subfield></datafield><datafield tag="505" ind1="8" ind2="0"><subfield code="t">Algebraic structures. Compositions and clones of Boolean functions</subfield><subfield code="r">Reinhard Pöschel and Ivo Rosenberg</subfield><subfield code="t">Decomposition of Boolean functions</subfield><subfield code="r">Jan C. Bioch</subfield><subfield code="t">Logic. Proof theory</subfield><subfield code="r">Alasdair Urquhart</subfield><subfield code="t">Probabilistic analysis of satisfiability algorithms</subfield><subfield code="r">John Franco</subfield><subfield code="t">Optimization methods in logic</subfield><subfield code="r">John Hooker</subfield><subfield code="t">Learning theory and cryptography. Probabilistic learning and Boolean functions</subfield><subfield code="r">Martin Anthony</subfield><subfield code="t">Learning Boolean functions with queries</subfield><subfield code="r">Robert H. Sloan, Balázs Szörényi, and György Turán</subfield><subfield code="t">Boolean functions for cryptography and error-correcting codes</subfield><subfield code="r">Claude Carlet</subfield><subfield code="t">Vectorial Boolean functions for cryptography</subfield><subfield code="r">Claude Carlet</subfield><subfield code="t">Graph representations and efficient computation models. Binary decision diagrams</subfield><subfield code="r">Beate Bollig ... [et al.]</subfield><subfield code="t">Circuit complexity</subfield><subfield code="r">Matthias Krause and Ingo Wegener</subfield><subfield code="t">Fourier transforms and threshold circuit complexity</subfield><subfield code="r">Jehoshua Bruck</subfield><subfield code="t">Neural networks and Boolean functions</subfield><subfield code="r">Martin Anthony</subfield><subfield code="t">Decision lists and related classes of Boolean functions</subfield><subfield code="r">Martin Anthony</subfield><subfield code="t">Applications in engineering. Hardware equivalence and property verification</subfield><subfield code="r">J.-H. Roland Jiang and Tiziano Villa</subfield><subfield code="t">Synthesis of multi-level Boolean networks</subfield><subfield code="r">Tiziano Villa ... [et al.]</subfield><subfield code="t">Boolean aspects of network reliability</subfield><subfield code="r">Charles J. Colbourn</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Probabilities</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Statistische Entscheidungstheorie</subfield><subfield code="0">(DE-588)4077850-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Boolesche Algebra</subfield><subfield code="0">(DE-588)4146280-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Statistische Entscheidungstheorie</subfield><subfield code="0">(DE-588)4077850-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Maschinelles Lernen</subfield><subfield code="0">(DE-588)4193754-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Crama, Yves</subfield><subfield code="d">1958-</subfield><subfield code="0">(DE-588)112187854</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hammer, P. L.</subfield><subfield code="d">1936-2006</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-0-521-84752-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/CBO9780511780448</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029350078</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511780448</subfield><subfield code="l">BSB01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/CBO9780511780448</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">FHN_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043941108 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:39:14Z |
| institution | BVB |
| isbn | 9780511780448 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029350078 |
| oclc_num | 967774593 |
| open_access_boolean | |
| owner | DE-12 DE-92 |
| owner_facet | DE-12 DE-92 |
| physical | 1 online resource (xviii, 759 pages) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO FHN_PDA_CBO |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Encyclopedia of mathematics and its applications |
| spelling | Boolean models and methods in mathematics, computer science, and engineering edited by Yves Crama, Peter L. Hammer Boolean Models & Methods in Mathematics, Computer Science, & Engineering Cambridge Cambridge University Press 2010 1 online resource (xviii, 759 pages) txt rdacontent c rdamedia cr rdacarrier Encyclopedia of mathematics and its applications volume 134 Title from publisher's bibliographic system (viewed on 05 Oct 2015) Algebraic structures. Compositions and clones of Boolean functions Reinhard Pöschel and Ivo Rosenberg Decomposition of Boolean functions Jan C. Bioch Logic. Proof theory Alasdair Urquhart Probabilistic analysis of satisfiability algorithms John Franco Optimization methods in logic John Hooker Learning theory and cryptography. Probabilistic learning and Boolean functions Martin Anthony Learning Boolean functions with queries Robert H. Sloan, Balázs Szörényi, and György Turán Boolean functions for cryptography and error-correcting codes Claude Carlet Vectorial Boolean functions for cryptography Claude Carlet Graph representations and efficient computation models. Binary decision diagrams Beate Bollig ... [et al.] Circuit complexity Matthias Krause and Ingo Wegener Fourier transforms and threshold circuit complexity Jehoshua Bruck Neural networks and Boolean functions Martin Anthony Decision lists and related classes of Boolean functions Martin Anthony Applications in engineering. Hardware equivalence and property verification J.-H. Roland Jiang and Tiziano Villa Synthesis of multi-level Boolean networks Tiziano Villa ... [et al.] Boolean aspects of network reliability Charles J. Colbourn This collection of papers presents a series of in-depth examinations of a variety of advanced topics related to Boolean functions and expressions. The chapters are written by some of the most prominent experts in their respective fields and cover topics ranging from algebra and propositional logic to learning theory, cryptography, computational complexity, electrical engineering, and reliability theory. Beyond the diversity of the questions raised and investigated in different chapters, a remarkable feature of the collection is the common thread created by the fundamental language, concepts, models, and tools provided by Boolean theory. Many readers will be surprised to discover the countless links between seemingly remote topics discussed in various chapters of the book. This text will help them draw on such connections to further their understanding of their own scientific discipline and to explore new avenues for research Algebra, Boolean Probabilities Boolesche Algebra (DE-588)4146280-4 gnd rswk-swf Statistische Entscheidungstheorie (DE-588)4077850-2 gnd rswk-swf Maschinelles Lernen (DE-588)4193754-5 gnd rswk-swf Boolesche Algebra (DE-588)4146280-4 s Statistische Entscheidungstheorie (DE-588)4077850-2 s Maschinelles Lernen (DE-588)4193754-5 s 1\p DE-604 Crama, Yves 1958- (DE-588)112187854 edt Hammer, P. L. 1936-2006 edt Erscheint auch als Druckausgabe 978-0-521-84752-0 https://doi.org/10.1017/CBO9780511780448 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Boolean models and methods in mathematics, computer science, and engineering Algebraic structures. Compositions and clones of Boolean functions Decomposition of Boolean functions Logic. Proof theory Probabilistic analysis of satisfiability algorithms Optimization methods in logic Learning theory and cryptography. Probabilistic learning and Boolean functions Learning Boolean functions with queries Boolean functions for cryptography and error-correcting codes Vectorial Boolean functions for cryptography Graph representations and efficient computation models. Binary decision diagrams Circuit complexity Fourier transforms and threshold circuit complexity Neural networks and Boolean functions Decision lists and related classes of Boolean functions Applications in engineering. Hardware equivalence and property verification Synthesis of multi-level Boolean networks Boolean aspects of network reliability Algebra, Boolean Probabilities Boolesche Algebra (DE-588)4146280-4 gnd Statistische Entscheidungstheorie (DE-588)4077850-2 gnd Maschinelles Lernen (DE-588)4193754-5 gnd |
| subject_GND | (DE-588)4146280-4 (DE-588)4077850-2 (DE-588)4193754-5 |
| title | Boolean models and methods in mathematics, computer science, and engineering |
| title_alt | Boolean Models & Methods in Mathematics, Computer Science, & Engineering Algebraic structures. Compositions and clones of Boolean functions Decomposition of Boolean functions Logic. Proof theory Probabilistic analysis of satisfiability algorithms Optimization methods in logic Learning theory and cryptography. Probabilistic learning and Boolean functions Learning Boolean functions with queries Boolean functions for cryptography and error-correcting codes Vectorial Boolean functions for cryptography Graph representations and efficient computation models. Binary decision diagrams Circuit complexity Fourier transforms and threshold circuit complexity Neural networks and Boolean functions Decision lists and related classes of Boolean functions Applications in engineering. Hardware equivalence and property verification Synthesis of multi-level Boolean networks Boolean aspects of network reliability |
| title_auth | Boolean models and methods in mathematics, computer science, and engineering |
| title_exact_search | Boolean models and methods in mathematics, computer science, and engineering |
| title_full | Boolean models and methods in mathematics, computer science, and engineering edited by Yves Crama, Peter L. Hammer |
| title_fullStr | Boolean models and methods in mathematics, computer science, and engineering edited by Yves Crama, Peter L. Hammer |
| title_full_unstemmed | Boolean models and methods in mathematics, computer science, and engineering edited by Yves Crama, Peter L. Hammer |
| title_short | Boolean models and methods in mathematics, computer science, and engineering |
| title_sort | boolean models and methods in mathematics computer science and engineering |
| topic | Algebra, Boolean Probabilities Boolesche Algebra (DE-588)4146280-4 gnd Statistische Entscheidungstheorie (DE-588)4077850-2 gnd Maschinelles Lernen (DE-588)4193754-5 gnd |
| topic_facet | Algebra, Boolean Probabilities Boolesche Algebra Statistische Entscheidungstheorie Maschinelles Lernen |
| url | https://doi.org/10.1017/CBO9780511780448 |
| work_keys_str_mv | AT cramayves booleanmodelsandmethodsinmathematicscomputerscienceandengineering AT hammerpl booleanmodelsandmethodsinmathematicscomputerscienceandengineering AT cramayves booleanmodelsmethodsinmathematicscomputerscienceengineering AT hammerpl booleanmodelsmethodsinmathematicscomputerscienceengineering |