Wavelet transformation is one of the most practical mathematical transformations in the field of image processing, especially image and signal processing. Depending on the nature of the multiresolution analysis, Wavelet transformation become more accessible and powerful tools. In this paper, we refer to the mathematical foundations of this transformation.   Introduction: The...

This paper introduces the concept of polymorphic electronics (polytronics) –referring to electronics with superimposed built-in functionality. A function change does not require switches/reconfiguration as in traditional approaches. Instead, the change comes from modifications in the characteristics of devices involved in the circuit, in response to controls such as temperature, power supply vo...

This paper focuses on the processes of occurrence magnetization during structure formation in samples Ni51Ti49 alloy under deformation conditions. The possibility existence a phase with an FCC (face-centered cubic) lattice titanium nickelide has been demonstrated by electron microscopy and diffraction. It discovered that interplanar distances BCC110 (body-centered cubic), FCC111, HCP002 (hexago...

In this paper we present construction of polymorphic type theory and its model in terms of category theory. We extend the notion of many-typed signature to polymorphic type signature. We define polymorphic type calculi for first-, secondand higher-order types and set-theoretical semantics of first-order polymorphism. Semantics for higher-order polymorphic type calculi we construct in categorica...

The generalized quantifier theory does not apply to Japanese quantifiers since: i) the number of NP argument is unspecified; and, ii) quantities are often expressed by predicative adjectives. The word order changes the interpretation, e.g., non-split quantifiers correspond to definite NPs with uniqueness and maximality conditions while split NPs are wide scope indefinites. This paper shows that...

Manifest contracts track precise properties by refining types with predicates—e.g., {x :Int | x > 0} denotes the positive integers. Contracts and polymorphism make a natural combination: programmers can give strong contracts to abstract types, precisely stating preand post-conditions while hiding implementation details—for example, an abstract type of stacks might specify that the pop operation...

OBJECTIVE To compare the repetitive DNA patterns of human actinic keratoses and squamous cell carcinomas to determine the genetic alterations that are associated with malignant transformation. INTRODUCTION Cancer cells are prone to genomic instability, which is often due to DNA polymerase slippage during the replication of repetitive DNA and to mutations in the DNA repair genes. The progressi...

In most formulations processed via continuous twin screw granulation microcrystalline cellulose (MCC) and/or lactose are used as excipients, but mannitol is also a preferred excipient for wet granulation and tableting due to its non-hygroscopicity and inertness. Therefore, the aim of the current study was to investigate the influence of process parameters on critical quality attributes of granu...

We present an alternative to traditional texture compression techniques whereby a clear data channel is embedded within a texture using steganographic techniques. The resulting pixels are polymorphic – they can be used without decompression and the embedded data can be extracted and used for alternative purposes. The technique has fewer degenerate cases than DXT, does not suffer from high-frequ...

We present a novel block-based UI called Polymorphic Blocks, in which a connector’s shape visually represents the structure of the data being passed through the connector. We use Polymorphic Blocks to add visual type information to block-based programming environments like Blockly or Scratch. We also use Polymorphic Blocks to represent logical proofs. In this context, if we erase all symbols, o...