Hybrid logic

Results: 87



#Item
1

ALERT LOGIC WEB SECURITY MANAGER PREMIER™ ® MANAGED WEB APPLICATION FIREWALL FOR CLOUD AND HYBRID ENVIRONMENTS Web Security Manager Premier™ is a highly tunable, enterprise-grade, cloud based web application firewal

Add to Reading List

Source URL: www.alertlogic.com

Language: English - Date: 2018-08-16 13:48:55
    2

    100 Book Reviews This much carries over to Hale’s possibility semantics. Hale’s metaphysics motivates adopting a hybrid modal logic. Where n is a

    Add to Reading List

    Source URL: www.disputatio.letras.ulisboa.pt

    Language: Portuguese - Date: 2017-09-22 11:53:34
      3

      Stochastic Differential Dynamic Logic for Stochastic Hybrid Programs Andr´e Platzer April 2011 CMU-CS

      Add to Reading List

      Source URL: reports-archive.adm.cs.cmu.edu

      - Date: 2011-04-25 20:05:44
        4

        Quantified Differential Dynamic Logic for Distributed Hybrid Systems Andr´e Platzer May 2010 CMU-CS

        Add to Reading List

        Source URL: reports-archive.adm.cs.cmu.edu

        - Date: 2011-02-24 16:10:58
          5Software engineering / Computing / Computer programming / Adder / Binary logic / Computer arithmetic / Objective-C / Application programming interface / Go

          Hybrid Session Verification through Endpoint API Generation Raymond Hu and Nobuko Yoshida Imperial College London Abstract. This paper proposes a new hybrid session verification methodology for applying session types di

          Add to Reading List

          Source URL: mrg.doc.ic.ac.uk

          Language: English - Date: 2016-08-22 17:55:56
          6Philosophy / Meta-ethics / Philosophy of language / Philosophical logic / Meaning / Statements / Expressivism / Proposition / Norm / Semantics / Truth / Sentence

          (How) Is Ethical Neo-Expressivism a Hybrid View? Dorit Bar-On, Matthew Chrisman, James Sias 1. Introduction Mainline metaethical expressivists of the 1960s-1990s generally conceived of expressivism as a view in philosoph

          Add to Reading List

          Source URL: www.doritbar-on.com

          Language: English - Date: 2015-05-31 01:51:42
          7Artificial intelligence / Logic / Applied mathematics / Cybernetics / Neuro-fuzzy / Artificial neural network / Fuzzy logic / Hybrid intelligent system / Fuzzy set / Fuzzy control system / Modularity / Self-organizing map

          Microsoft Word - IBSS&K Engineering.doc

          Add to Reading List

          Source URL: foibg.com

          Language: English - Date: 2015-02-02 08:46:08
          8Electronic design automation / Electronic engineering / Logic design / Logic simulation / Simulation / Electronic circuit / Aspic

          Introduction ASPIC is a software for fast and accurate analysis, modelling and design of integrated and hybrid optical circuits without restrictions in dimensions and complexity. Its model-based approach does not need d

          Add to Reading List

          Source URL: www.europractice.stfc.ac.uk

          Language: English - Date: 2015-04-28 04:30:56
          9Formal methods / Predicate transformer semantics / Loop invariant / Hoare logic / State-space representation

          Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus Daisuke Ishii1 , Guillaume Melquiond2 , and Shin Nakajima1 1 2

          Add to Reading List

          Source URL: www.lri.fr

          Language: English - Date: 2013-06-11 11:16:39
          UPDATE