Search for dissertations about: "Boolean Analysis"

Showing result 1 - 5 of 20 swedish dissertations containing the words Boolean Analysis.

  1. 1. Analysis and Synthesis of Boolean Networks

    Author : Ming Liu; Elena Dubrova; Radomir Stankovic; KTH; []
    Keywords : ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY;

    Abstract : 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. READ MORE

  2. 2. Dynamics in Random Boolean Networks

    Author : Björn Samuelsson; Funktionell zoologi; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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;

    Abstract : 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. READ MORE

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

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

    Abstract : 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). READ MORE

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

    Author : Evgenii Kotelnikov; Chalmers University of Technology; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; first-order logic; program analysis; program verification; TPTP; automated theorem proving; Vampire;

    Abstract : 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. READ MORE

  5. 5. Gene Regulatory Networks: Dynamics and Stability

    Author : Carl Troein; Beräkningsbiologi och biologisk fysik; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; 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;

    Abstract : 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. READ MORE