Cracking is a major concern in welding aluminum alloys. Although weld solidification cracks can be eliminated through the addition of filler metal, the additives modify the alloy or base metal constituents and may not always be desirable. High-energy beam processes, such as electron beam welding, that result in minimal heat input reduce crack sensitivity, but their high cost limits their applic...

Verifying correctness of programs operating on data structures has become an integral part of software verification. A method is a program that acts on an input data structure (modeled as a graph) and produces an output data structure. The parameterized correctness problem for such methods can be defined as follows: Given a method and a property of the input graphs, we wish to verify that for a...

This paper presents the design, implementation and measurements of a BiCMOS integrated tunable Low Noise Amplifier for 5 GHz WLAN applications. It consists of a cascode gain cell, noise and power matched to a 50 Ω input source, and power matched to a 50 Ω load. In order to broaden the available bandwidth, the output matching network is modified by means of a shunt varactor, thus allowing the tu...

Updating a concept lattice when introducing new objects to input data can be done by any of the so-called incremental algorithms for computing concept lattice of the data. The algorithms use and update the lattice while introducing new objects one by one. The present concept lattice of input data without the new objects is thus required before the update. In this paper we propose an efficient a...

Introduction: A major building block of analogue integrated circuits is the operational transconductance amplifier (OTA), which for many applications is the most power consuming block. Recently, the folded cascode (FC) amplifier has gained preference over the telescopic owing to the low voltage nature of present and future CMOS technologies, despite the higher power budget. In addition, the PMO...

In this paper a high resistant EMI interference CMOS operational amplifier has been designed and simulated. It is designed by implementing easy modification of the differential pair with active current load. The power amplifier seems to be leading the output voltage power with respect to the input supply given, the two stage power amplifier was designed in this current technology and results ar...

The performance of interfaces is affected by human factors, which vary from one person to another, and by the inherent characteristics of the various devices involved. A set of techniques has been studied in order to improve the efficiency and efficacy of input interface devices. These techniques are based on the modification of the motor scaling factor, a transformation similar to the known Co...

29 The performance of neural codes to represent attributes of sensory signals has been 30 evaluated in the vertebrate peripheral and central nervous system. Here we determine 31 how information signaled by populations of neurons is modified by plasticity. 32 Suprathreshold neuronal responses from a large number of neurons were recorded in the 33 juvenile mouse barrel cortex using dithered rando...

In area efficient low error compensation multiplier design is using fixed width RPR (Reduced Precision Redundancy). We propose a new method called fixed width RPR for DSP applications. This fixed width multiplier is placed in ANT architecture to meet high speed, low power consumption and area efficiency. The fixed RPR is designed with compensation circuit for minimizing the occurrence of error....

By the motivation to discover patterns in massive structured data in the form of graphs and trees, we study a special case of the ksubtree enumeration problem, originally introduced by (Ferreira, Grossi, and Rizzi, ESA’11, 275-286, 2011), where an input graph is a tree of n nodes. Based on reverse search technique, we present the first constant delay enumeration algorithm that lists all k-subtr...