Abstract Currently, deep learning models have been widely adopted and achieved promising results on various application domains. Despite their intriguing performance, most function as black boxes, lacking explicit reasoning capabilities explanations, which are usually essential for complex problems. Take joint inference in information extraction an example. This task requires the identification...

Neural networks have been widely used and implemented on various hardware platforms, but high computational costs low similarity of network structures relative to are often obstacles research. In this paper, we propose a novel neural in combination with the structural features recently proposed memory-based programmable logic device, compare it standard structure, test common datasets full bina...

We introduce a new formal logic, called equality propositional logic. It has two basic connectives, $boldsymbol{wedge}$ (conjunction) and $equiv$ (equivalence). Moreover, the $Rightarrow$ (implication) connective can be derived as $ARightarrow B:=(Aboldsymbol{wedge}B)equiv A$. We formulate the equality propositional logic and demonstrate that the resulting logic has reasonable properties such a...

Abstract We introduce a framework for the verification of protocols involving distinguished machine (referred to as leader) orchestrating operation an arbitrary number identical machines followers) in network. At core our is high-level formalism capturing these types together with their network interactions. show that this automatically translates tractable form first-order temporal logic. Chec...

By increasing, the complexity of chips and the need to integrating more components into a chip has made network –on- chip known as an important infrastructure for network communications on the system, and is a good alternative to traditional ways and using the bus. By increasing the density of chips, the possibility of failure in the chip network increases and providing correction and fault tol...

This paper proposes an efficient performance measurement system to evaluate the excellence of e-learning centers of universities. The proposed system uses the analytic network process (ANP) as an effective multi-criteria decision making (MCDM) method and its fuzzy mode to respond to uncertainties in judgements. This system also needs a targeted and systematic criteria set which is collected thr...

In this paper we present SAN-Logic, a lightweight logic-based programming paradigm that enables the dynamic progammability and configuration of sensor-actuator interactions in wireless sensor networks used to support Cyber-Physical Systems (CPS). Our goal is to simplify complex CPS design by providing a structured model of interactions that can be automatically mapped and deployed to a sensor-a...

Sandia National Laboratories has found that the reliability and failure modes of current-generation network technologies can be effectively modeled using fault treebased probabilistic logic modeling {PLM) techniques. We have developed fault tree models that include various hierarchical networking technologies and classes of components interconnected in a wide variety of typical and atypical con...