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...

in this paper, a nonlinear model of the underactuated six degrees of freedom (6 dof) quadrotor helicopter was derived based on the newton-euler formalism. a new nonlinear robust control strategy was proposed to solve the stabilizing and path following problems in presence of external disturbances and parametric uncertainties. the proposed control structure consist of a sliding mode control base...

This paper introduces a new qualitative spatial reasoning formalism, called Interval Occlusion Calculus (IOC), that takes into account multiple (distinct) viewpoints of a scene. This formalism extends Allen’s Interval Algebra by including an interval-based definition for spatial occlusion. We show how the IOC can be applied to share the information obtained by various (distinct) views of a scene.

We adopt a factorized QCD formalism to describe the transverse momentum distribution of lowmass lepton pairs produced in pp collisions, when the pair transverse momentum QT ≫ Q, with the pair’s invariant mass Q as low as Q ∼ ΛQCD. We extend this formalism to dilepton production in AA collisions by including the nuclear dependent power correction due to parton multiple scattering.

We describe the evolution of solvers for dominance constraints, a formalism used in underspecified semantics, and present a new graph-based solver using charts. An evaluation on real-world data shows that each solver (including the new one) is significantly faster than its predecessors. We believe that our strategy of successively tailoring a powerful formalism to the actual inputs is more gene...

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including ‘donkey sentences’ and crosssentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predi...