in this paper, we study the plasmonic thermal conductance of ordered stacks of metallic nanorings in a host material. using second quantized formalism of the random phase approximation, we first determine the dispersion relations of surface plasmon waves on the stacks of nanorings. then, using landauer-buttiker formalism, we determine the coefficient of plasmonic thermal conductance and heat cu...

It is difficult to create appropriate bar charts for data that cover large value ranges. The usual approach for these cases employs a logarithmic scale, which, however, suffers from issues inherent to its non-linear mapping: for example, a quantitative comparison of different values is difficult. We present a new approach for bar charts that combines the advantages of linear and logarithmic sca...

We design an interactive stack in the setting of stream processing functions. The design passes through a series of abstraction levels relating different views of the stack component. The external view describes the component’s input/output behaviour, the transition view captures the stepwise transitions, and the state-based view discloses the internal structure. The different descriptions can ...

We introduce a technology stack or specification describing the multiple levels of abstraction and specialization needed to implement a neuromorphic processor (NPU) based on the previously-described concept of AHaH Computing and integrate it into today’s digital computing systems. The general purpose NPU implementation described here is called Thermodynamic-RAM (kT-RAM) and is just one of many ...

The verification of memory safety–no program will crash when referencing memory–falls into two categories. A runtime system may enforce memory safety at a cost. Or, we may rely on error-prone programmers. Runtime overhead, most noticeably garbage collection, is undesirable in embedded or real-time systems. The frequency of collection points is not deterministic. Languages that rely on garbage c...

The emergence of stacks as a hardware device in stack machines implies the recognition of the importance of using stacks in different computer applications and the need to make use of them in others. This paper uses stacks to solve the sorting problem. Two stack-based sorting algorithms are introduced. The first is based upon sorting by the insertion technique, whereas the second is based upon ...

The Location Stack is a set of design abstractions for location systems for ubiquitous computing. Our contribution presented in this paper is twofold. First, the Location Stack design abstractions themselves give the ubiquitous computing community a common vocabulary and comparative framework for multi-sensor location systems. Second, our implementation of the Location Stack employs novel proba...

We introduce a functional calculus with simple syntax and operational semantics in which the calculi introduced so far in the Curry–Howard correspondence for Classical Logic can be faithfully encoded. Our calculus enjoys confluence without any restriction. Its type system enforces strong normalization of expressions and it is a sound and complete system for full implicational Classical Logic. W...

Stack inspection is a mechanism for programming secure applications in the presence of code from various protection domains. Run-time checks of the call stack allow a method to obtain information about the code that (directly or indirectly) invoked it in order to make access control decisions. This mechanism is part of the security architecture of Java and the .NET Common Language Runtime. A ce...