Sökning: "Boolean Analysis"

Visar resultat 1 - 5 av 21 avhandlingar innehållade orden Boolean Analysis.

  1. 1. Analysis and Synthesis of Boolean Networks

    Författare :Ming Liu; Elena Dubrova; Radomir Stankovic; KTH; []
    Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Sammanfattning : In this thesis, we present techniques and algorithms for analysis and synthesis of synchronous Boolean and multiple-valued networks.Synchronous Boolean and multiple-valued networks are a discrete-space discrete-time model of gene regulatory networks. LÄS MER

  3. 2. Dynamics in Random Boolean Networks

    Författare :Björn Samuelsson; Funktionell zoologi; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; gravitation; relativity; quantum mechanics; biomathematics biometrics; Bioinformatik; medicinsk informatik; biomatematik; Mathematical logic; set theory; combinatories; Matematisk logik; Mathematical and general theoretical physics; kombinatorik; mängdlära; classical mechanics; Bioinformatics; tissue simulations; transcription networks; random graphs; random maps; nested canalyzing; canalyzing; genetic regulation; Kauffman networks; random Boolean networks; statistical physics; thermodynamics; medical informatics; Matematisk och allmän teoretisk fysik; klassisk mekanik; kvantmekanik; relativitet; termodynamik; statistisk fysik;

    Sammanfattning : There are many examples of complex networks in science. It can be genetic regulation in living cells, computers on the Internet, or social and economic networks. In this context, Boolean networks provide simplistic models that are relatively easy to handle using computer simulations and mathematical methods. LÄS MER

  4. 3. Label Cover Reductions for Unconditional Approximation Hardness of Constraint Satisfaction

    Författare :Cenny Wenner; Johan Håstad; Irit Dinur; Numerical Analysis and Computer Science (NADA) Faculty of Science Stockholm University; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Optimization; NP; Approximation; Approximability; Inapproximability; Constraint Satisfaction; CSP; Boolean Analysis; Satisfiability; SAT; Acyclic Subgraph; Betweenness; Unique Games; Computer Science; Datalogi;

    Sammanfattning : Problem solving is an integral aspect of modern society and includes such tasks as picking the fastest route to work, optimizing a production line, scheduling computer tasks, placing new bus stops, or picking a meal from available ingredients.We study the hardness of solving Constraint Satisfaction Problems (CSPs). LÄS MER

  5. 4. Automated Theorem Proving in a First-Order Logic with First class Boolean Sort

    Författare :Evgenii Kotelnikov; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Sammanfattning : Automated theorem proving is one of the central areas of computer mathematics. It studies methods and techniques for establishing validity of mathematical problems using a computer. The problems are expressed in a variety of formal logics, including first-order logic. LÄS MER

  7. 5. Gene Regulatory Networks: Dynamics and Stability

    Författare :Carl Troein; Beräkningsbiologi och biologisk fysik - Genomgår omorganisation; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; systems; control; Datalogi; numerisk analys; system; kontroll; Computer science; numerical analysis; Fysik; biomathematics biometrics; Bioinformatik; medicinsk informatik; biomatematik; Physics; medical informatics; transcriptional regulation; gene regulatory networks; Bioinformatics; signaling pathway profiling; stem cell regulation; metabolic pathway; fitness; nested canalyzing rules; Kauffman networks; random Boolean networks; Fysicumarkivet:2007:Troein;

    Sammanfattning : Life as we know it is based on cells that use proteins and RNA to carry out metabolism, self-replication, and other essential tasks. The genes that code for these molecules are encoded in DNA, and through the processes of transcription and translation the cell expresses its genes. LÄS MER