Deep transfer modeling for classification of Maize Plant Leaf Disease

Multimedia Tools and Applications - Currently, Deep Learning is playing an influential role for Image analysis and object classification. Maize’s diseases reduce production that subsequently...     

Process Variation Study of SELBOX Inverted- T Junctionless FinFET for High-Performance Applications

This work investigates the performance of the inverted-T (IT) junctionless (JL) FinFET with selective buried oxide (SELBOX) topology. The electrical charac     

DDFSGEN

This paper presents a functional compiler for the automatic design of Direct Digital Frequency Synthesizer (DDFS) integrated circuits (ICs) using a ROM based table look-up architecture. The compiler allows the user to specify high-level specifications such as the acceptable spurious response and it generates the IC architecture, floorplan, and layout. To construct the layout for different specifications, a library of parameterized macrocells has been developed in 1.2 m CMOS technology.A test chip with a quadrature DDFS module has been generated, using the compiler, and fabricated. The chip has two input signals: one is for frequency control while the other is for phase initialization. Input and output word lengths are 16 bits and 6 bits respectively. The chip complexity is approximately 12,000 transistors (DDFS core) and the die size is 4.8×2.9mm ². A maximum sample rate of 80 MHz has been attained implying a maximum sine (cosine) output frequency of 40 MHz and a frequency resolution of 1.22 kHz. The maximum spurious level measured is –46 dB.     

Recycling of silicone rubber waste: Effect of ground silicone rubber vulcanizate powder on the properties of silicone rubber

The silicone rubber vulcanizate powder (SVP) obtained from silicone rubber by mechanical grinding exists in a highly aggregated state. The particle size distribution of SVP is broad, ranging from 2 µm to 110 µm with an average particle size of 33 µm. X‐ray Photoelectron Spectroscopy (XPS) and Infrared (IR) Spectroscopy studies show that there is no chemical change on the rubber surface following mechanical grinding of the heat‐aged (200°C/10 days) silicone rubber vulcanizate. Addition of SVP in silicone rubber increases the Mooney viscosity, Mooney scorch time, shear viscosity and activation energy for viscous flow. Measurement of curing characteristics reveals that incorporation of SVP into the virgin silicone rubber causes an increase in minimum torque, but marginal decrease in maximum torque and rate constant of curing. However, the activation energy of curing shows an increasing trend with increasing loading of SVP. Expectedly, incorporation of SVP does not alter the glass‐rubber transition and cold crystallization temperatures of silicone rubber, as observed in the dynamic mechanical spectra. It is further observed that on incorporation of even a high loading of SVP (i.e., 60 phr), the tensile and tear strength of the silicone rubber are decreased by only about 20%, and modulus dropped by 15%, while the hardness, tension set and hysteresis loss undergo marginal changes and compression stress‐relaxation is not significantly changed. Atomic Force Microscopy studies reveal that incorporation of SVP into silicone rubber does not cause significant changes in the surface morphology.     

Forensic image analysis using inconsistent noise pattern

With the advancement of image acquisition devices and social networking services, a huge volume of image data is generated. Using different image and video processing applications, these image data are manipulated, and thus, original images get tampered. These tampered images are the prime source of spreading fake news, defaming the personalities and in some cases (when used as evidence) misleading the law bodies. Hence before relying totally on the image data, the authenticity of the image must be verified. Works of the literature are reported for the verification of the authenticity of an image based on noise inconsistency. However, these works suffer from limitations of confusion between edges and noise, post-processing operation for localization and need of prior knowledge about an image. To handle these limitations, a noise inconsistency-based technique has been presented here to detect and localize a false region in an image. This work consists of three major steps of pre-processing, noise estimation and post-processing. For the experimental purpose two, publicly available datasets are used. The result is discussed in terms of precision, recall, accuracy and f1-score on the pixel level. The result of the presented work is also compared with the recent state-of-the-art techniques. The average accuracy of the proposed work on datasets is 91.70%, which is highest among state-of-the-art techniques.

     

Preparation and dielectric properties of La doped NBCCTO ceramics

Journal of Electroceramics - CaCu3Ti4O12 ceramics have great dielectric constant, excellent temperature stability and good frequency stability. However, due to high dielectric loss, its practical...     

Beyond Market Baskets: Generalizing Association Rules to Dependence Rules

One of the more well-studied problems in data mining is the search for association rules in market basket data. Association rules are intended to identify patterns of the type: A customer purchasing item A often also purchases item B. Motivated partly by the goal of generalizing beyond market basket data and partly by the goal of ironing out some problems in the definition of association rules, we develop the notion of dependence rules that identify statistical dependence in both the presence and absence of items in itemsets. We propose measuring significance of dependence via the chi-squared test for independence from classical statistics. This leads to a measure that is upward-closed in the itemset lattice, enabling us to reduce the mining problem to the search for a border between dependent and independent itemsets in the lattice. We develop pruning strategies based on the closure property and thereby devise an efficient algorithm for discovering dependence rules. We demonstrate our algorithm's effectiveness by testing it on census data, text data (wherein we seek term dependence), and synthetic data.     

Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5

We begin by showing how to faithfully encode the Classical ModalDisplay Logic (CMDL) of Wansing into the Calculus of Structures(CoS) of Guglielmi. Since every CMDL calculus enjoys cut-elimination,we obtain a cut-elimination theorem for all corresponding CoScalculi. We then show how our result leads to a minimal cut-freeCoS calculus for modal logic S5. No other existing CoS calculifor S5 enjoy both these properties simultaneously.     

2010 CAV award announcement

The 2010 CAV (Computer-Aided Verification) award was awarded to Kenneth L. McMillan of Cadence Research Laboratories for a series of fundamental contributions resulting in significant advances in scalability of model checking tools. The annual award recognizes a specific fundamental contribution or a series of outstanding contributions to the CAV field.