BDDs provide an established technique for propositional formula manipulation. In this paper we re-develop the basic BDD theory using standard rewriting techniques. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical ROBDDs can be obtained. For this rewriting system a layerwise strategy is ...

Building deep neural networks to control autonomous agents which have to interact in real-time with the physical world, such as robots or automotive vehicles, requires a seamless integration of time into a network’s architecture. The central question of this work is, how the temporal nature of reality should be reflected in the execution of a deep neural network and its components. Most artific...

In this paper we propose a uniform description of basic BDD theory and algorithms by means of term rewriting. Since a BDD is a DAG instead of a tree we need a notion of shared rewriting and develop appropriate theory. A rewriting system is presented by which canonical forms can be obtained. Various reduction strategies give rise to diier-ent algorithms. A layerwise strategy is proposed having t...

Mobile Ad-hoc Networks (MANETs) have the ability to setup networks on the fly in a hostile environment where it may not possible to deploy a traditional network infrastructure. Their natural characteristics make them vulnerable to passive and active attacks. Particularly Denial of Service attack is one such severe attack against MANET Layers which is a challenging one to defend against. There i...

The accuracy of the Variational Asymptotic Plate and Shell Analysis (VAPAS) is assessed against several higher order, zig zag and layerwise theories generated by using the invariant axiomatic framework denoted as Generalized Unified Formulation (GUF). These theories are also compared against the elasticity solution developed for the case of a sandwich structure with high Face to Core Stiffness ...

Presented here is a new total-Lagrangian displacement-based finite-element formulation for plates and shells undergoing large displacements and rotations. The theory fully accounts for geometric nonlinearities, general initial curvatures, and extensionality by using Jaumann stress and strain measures, an exact coordinate transformation, and orthogonal virtual rotations. Moreover, transverse she...

An accurate coupled field piezoelectric beam finite element formulation is presented. The formulation is based on First-order Shear Deformation Theory (FSDT) with layerwise electric potential. An appropriate through-thickness electric potential distribution is derived using electrostatic equilibrium equations, unlike conventional FSDT based formulations which use assumed independent layerwise l...