Boolean

Results: 2137



#Item
41

Three Deductive Systems of Classical (or Boolean) Type Theory and Their Denotational-Semantic Completeness Ken Akiba Virginia Commonwealth University, Richmond, Virginia, USA Abstract

Add to Reading List

Source URL: www.anupamdas.com

- Date: 2017-08-07 04:57:01
    42

    On random Boolean threshold networks Reinhard Heckel, Steffen Schober and Martin Bossert Institute of Telecommunications and Applied Information Theory Ulm University Albert-Einstein-Allee 43, 89081Ulm, Germany Email: {r

    Add to Reading List

    Source URL: www.reinhardheckel.com

    - Date: 2018-02-25 20:24:32
      43

      Harmonic Analysis of Boolean Networks: Determinative Power and Perturbations Reinhard Heckel∗, Steffen Schober† and Martin Bossert† Abstract Consider a large Boolean network with a feed forward structure. Given a p

      Add to Reading List

      Source URL: www.reinhardheckel.com

      - Date: 2018-02-26 16:24:33
        44

        The “Jump-counting” Skipfield Pattern A replacement for boolean skipfields yielding O(n) time complexity for iteration over unskipped elements Matthew Bentley

        Add to Reading List

        Source URL: plflib.org

        - Date: 2017-01-05 18:22:54
          45

          QUICK REFERENCE GUIDE SEARCHING WITH BOOLEAN TERMS AND CONNECTORS On Westlaw, you can search for documents by either typing a Boolean Terms and Connectors query or typing a plain language query in the Search box at the

          Add to Reading List

          Source URL: static.legalsolutions.thomsonreuters.com

          - Date: 2017-05-11 09:29:46
            46

            Friedgut-Kalai-Naor theorem for slices of the Boolean cube

            Add to Reading List

            Source URL: cjtcs.cs.uchicago.edu

            - Date: 2016-10-23 23:17:32
              47

              Towards an Algebraic Theory of Boolean Circuits Yves Lafont∗ February 12, 2003 Abstract Boolean circuits are used to represent programs on finite data. Reversible Boolean circuits and

              Add to Reading List

              Source URL: iml.univ-mrs.fr

              - Date: 2008-02-25 09:20:30
                48

                Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e To cite this version: Hugues Mandon, Stefan Haar, Lo¨ıc Paulev´e. Relat

                Add to Reading List

                Source URL: www.lsv.ens-cachan.fr

                - Date: 2016-09-24 12:34:25
                  49

                  Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, The Complexity of Satisfiability for Sub-Boolean Fragments of ALC Arne Meier1 and Thomas Schneider2 1

                  Add to Reading List

                  Source URL: ceur-ws.org

                  - Date: 2010-04-20 14:40:19
                    50

                    A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation Thomas Lukasiewicz1,3 and Azzurra Ragone2 1 Computing Laboratory, University of Oxford

                    Add to Reading List

                    Source URL: ceur-ws.org

                    - Date: 2009-07-07 04:46:34
                      UPDATE