Almost rotation minimizing parametrization of the canal surface is given. The basic building block of our approach is the curve approximation scheme that enables us to construct a curve, called the parameter curve, on the canal surface that produces, when projected and rescaled, an almost parallel normal vector field on the spine curve. Its construction relies on our earlier methods and results...

thinkers have always tried to define art with special features in the aesthetic analysis that they are common among all the artworks. but what they were suggested, for example representation and expression, is covered a part of artworks and artistic periods. formalism recommends attention to structural, perceptual and formal elements in order to overcome on these problems as a method in the ana...

Formal reasoning is notoriously long and arduous; in order to use it to reason eeectively in the construction of programs it is, therefore, paramount that we design our notations to be both clear and economical. Taking examples from AI, from imperative programming, from the use of the Bird-Meertens formalism and from category theory we demonstrate how the right choice of what to denote and how ...

How do skeptical thought experiments work? The skeptic invites us to “entertain” a vividly described possibility, then argues that skeptical conclusions follow from our inability to rule that possibility out. I contend that the argument’s soundness hinges on whether the skeptical possibilities generate legitimate doubts: we need to separate the issue of whether we can rule a possibility out fro...

The \Boom hierarchy" is a hierarchy of types that begins at the level of trees and includes lists, bags and sets. This hierarchy forms the basis for the calculus of total functions developed by Bird and Meertens, and which has become known as the \Bird-Meertens formalism". This paper describes a hierarchy of types that logically precedes the Boom hierarchy. We show how the basic operators of th...

The way we represent intentions, behaviors, and the spatial context, is crucial for any approach to mobile intention recognition. Formal grammars are cognitively comprehensible and make expressiveness properties explicit. By adding spatial domain knowledge to a grammar we can reduce parsing ambiguities. We argue that there are a number of mobile intention recognition problems which require the ...

stylistic is a branch of modern linguistic which surveys and analyzes the literary styles and technical methods. formalism school is one of important modern approaches in stylistics. russian formalisms believe that only the style (frame) can determine the meaning and the concept of the context. mahmoud darvish – palestinian poet – is one of the poets who worked in modernism style. he could pres...

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