Logic Synthesis for Genetic Diseases: Modeling Disease Behavior Using Boolean Networks
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
2014
|
| Schlagworte: | |
| Online-Zugang: | BTU01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext |
| Beschreibung: | This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors provide several VLSI logic techniques to model the genetic disease behavior as a BN, with powerful implicit enumeration techniques. Coverage also includes techniques from VLSI testing to control a faulty BN, transforming its behavior to a healthy BN, potentially aiding in efforts to find the best candidates for treatment of genetic diseases. • Discusses a new application for logic synthesis, which enables the use of Boolean Networks to model the behavior of genetic-based diseases; • Demonstrates how techniques such as Boolean Satisfiability (SAT) and Automatic Test Pattern Generation (ATPG) can be applied in the context of genetics; • Provides content that appeals to researchers in genetics and logic synthesis and enables readers to make the connection between genetic diseases and logic techniques in a clear, unambiguous manner |
| Beschreibung: | 1 Online-Ressource (XXI, 100 p.) 28 illus., 8 illus. in color |
| ISBN: | 9781461494294 |
| DOI: | 10.1007/978-1-4614-9429-4 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV041470904 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 131210s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461494294 |9 978-1-4614-9429-4 | ||
| 024 | 7 | |a 10.1007/978-1-4614-9429-4 |2 doi | |
| 035 | |a (OCoLC)863895962 | ||
| 035 | |a (DE-599)BVBBV041470904 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-Aug4 |a DE-92 |a DE-634 |a DE-859 |a DE-898 |a DE-573 |a DE-861 |a DE-706 |a DE-863 |a DE-862 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 100 | 1 | |a Lin, Pey-Chang Kent |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic Synthesis for Genetic Diseases |b Modeling Disease Behavior Using Boolean Networks |c by Pey-Chang Kent Lin, Sunil P. Khatri |
| 264 | 1 | |c 2014 | |
| 300 | |a 1 Online-Ressource (XXI, 100 p.) |b 28 illus., 8 illus. in color | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors provide several VLSI logic techniques to model the genetic disease behavior as a BN, with powerful implicit enumeration techniques. Coverage also includes techniques from VLSI testing to control a faulty BN, transforming its behavior to a healthy BN, potentially aiding in efforts to find the best candidates for treatment of genetic diseases. • Discusses a new application for logic synthesis, which enables the use of Boolean Networks to model the behavior of genetic-based diseases; • Demonstrates how techniques such as Boolean Satisfiability (SAT) and Automatic Test Pattern Generation (ATPG) can be applied in the context of genetics; • Provides content that appeals to researchers in genetics and logic synthesis and enables readers to make the connection between genetic diseases and logic techniques in a clear, unambiguous manner | ||
| 505 | 0 | |a Introduction -- Part I Inference of Gene Regulatory Networks -- Predictor Set Inference using SAT -- Determining Gene Function in Boolean Networks using SAT -- Predictor Ranking using Modified Zhegalkin Functions -- Part II Intervention of Gene Regulatory Networks -- ATPG for Cancer Therapy -- Summary and Future Work | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Bioinformatics | |
| 650 | 4 | |a Systems engineering | |
| 650 | 4 | |a Biomedical engineering | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Biomedical Engineering | |
| 650 | 4 | |a Computational Biology/Bioinformatics | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 700 | 1 | |a Khatri, Sunil P. |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4614-9429-4 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-ENG | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-026917047 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-1-4614-9429-4 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Datensatz im Suchindex
| DE-BY-FWS_katkey | 1015770 |
|---|---|
| _version_ | 1824553636050501632 |
| any_adam_object | |
| author | Lin, Pey-Chang Kent |
| author_facet | Lin, Pey-Chang Kent |
| author_role | aut |
| author_sort | Lin, Pey-Chang Kent |
| author_variant | p c k l pck pckl |
| building | Verbundindex |
| bvnumber | BV041470904 |
| collection | ZDB-2-ENG |
| contents | Introduction -- Part I Inference of Gene Regulatory Networks -- Predictor Set Inference using SAT -- Determining Gene Function in Boolean Networks using SAT -- Predictor Ranking using Modified Zhegalkin Functions -- Part II Intervention of Gene Regulatory Networks -- ATPG for Cancer Therapy -- Summary and Future Work |
| ctrlnum | (OCoLC)863895962 (DE-599)BVBBV041470904 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-1-4614-9429-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03758nmm a2200553zc 4500</leader><controlfield tag="001">BV041470904</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">131210s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461494294</subfield><subfield code="9">978-1-4614-9429-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4614-9429-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863895962</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041470904</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-862</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lin, Pey-Chang Kent</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic Synthesis for Genetic Diseases</subfield><subfield code="b">Modeling Disease Behavior Using Boolean Networks</subfield><subfield code="c">by Pey-Chang Kent Lin, Sunil P. Khatri</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XXI, 100 p.)</subfield><subfield code="b">28 illus., 8 illus. in color</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="500" ind1=" " ind2=" "><subfield code="a">This book brings to bear a body of logic synthesis techniques, in order to contribute to the analysis and control of Boolean Networks (BN) for modeling genetic diseases such as cancer. The authors provide several VLSI logic techniques to model the genetic disease behavior as a BN, with powerful implicit enumeration techniques. Coverage also includes techniques from VLSI testing to control a faulty BN, transforming its behavior to a healthy BN, potentially aiding in efforts to find the best candidates for treatment of genetic diseases. • Discusses a new application for logic synthesis, which enables the use of Boolean Networks to model the behavior of genetic-based diseases; • Demonstrates how techniques such as Boolean Satisfiability (SAT) and Automatic Test Pattern Generation (ATPG) can be applied in the context of genetics; • Provides content that appeals to researchers in genetics and logic synthesis and enables readers to make the connection between genetic diseases and logic techniques in a clear, unambiguous manner</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Introduction -- Part I Inference of Gene Regulatory Networks -- Predictor Set Inference using SAT -- Determining Gene Function in Boolean Networks using SAT -- Predictor Ranking using Modified Zhegalkin Functions -- Part II Intervention of Gene Regulatory Networks -- ATPG for Cancer Therapy -- Summary and Future Work</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Bioinformatics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Systems engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biomedical engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Biomedical Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Biology/Bioinformatics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Khatri, Sunil P.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4614-9429-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026917047</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4614-9429-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</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.1007/978-1-4614-9429-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV041470904 |
| illustrated | Illustrated |
| indexdate | 2025-02-20T06:39:01Z |
| institution | BVB |
| isbn | 9781461494294 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-026917047 |
| oclc_num | 863895962 |
| open_access_boolean | |
| owner | DE-Aug4 DE-92 DE-634 DE-859 DE-898 DE-BY-UBR DE-573 DE-861 DE-706 DE-863 DE-BY-FWS DE-862 DE-BY-FWS |
| owner_facet | DE-Aug4 DE-92 DE-634 DE-859 DE-898 DE-BY-UBR DE-573 DE-861 DE-706 DE-863 DE-BY-FWS DE-862 DE-BY-FWS |
| physical | 1 Online-Ressource (XXI, 100 p.) 28 illus., 8 illus. in color |
| psigel | ZDB-2-ENG |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| record_format | marc |
| spellingShingle | Lin, Pey-Chang Kent Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks Introduction -- Part I Inference of Gene Regulatory Networks -- Predictor Set Inference using SAT -- Determining Gene Function in Boolean Networks using SAT -- Predictor Ranking using Modified Zhegalkin Functions -- Part II Intervention of Gene Regulatory Networks -- ATPG for Cancer Therapy -- Summary and Future Work Engineering Bioinformatics Systems engineering Biomedical engineering Circuits and Systems Biomedical Engineering Computational Biology/Bioinformatics Ingenieurwissenschaften |
| title | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks |
| title_auth | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks |
| title_exact_search | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks |
| title_full | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks by Pey-Chang Kent Lin, Sunil P. Khatri |
| title_fullStr | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks by Pey-Chang Kent Lin, Sunil P. Khatri |
| title_full_unstemmed | Logic Synthesis for Genetic Diseases Modeling Disease Behavior Using Boolean Networks by Pey-Chang Kent Lin, Sunil P. Khatri |
| title_short | Logic Synthesis for Genetic Diseases |
| title_sort | logic synthesis for genetic diseases modeling disease behavior using boolean networks |
| title_sub | Modeling Disease Behavior Using Boolean Networks |
| topic | Engineering Bioinformatics Systems engineering Biomedical engineering Circuits and Systems Biomedical Engineering Computational Biology/Bioinformatics Ingenieurwissenschaften |
| topic_facet | Engineering Bioinformatics Systems engineering Biomedical engineering Circuits and Systems Biomedical Engineering Computational Biology/Bioinformatics Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-1-4614-9429-4 |
| work_keys_str_mv | AT linpeychangkent logicsynthesisforgeneticdiseasesmodelingdiseasebehaviorusingbooleannetworks AT khatrisunilp logicsynthesisforgeneticdiseasesmodelingdiseasebehaviorusingbooleannetworks |