Spin-transfer switching and low-field precession in exchange-biased spin valve nano-pillars (2008)
Wu, M. C., Aziz, A., Morecroft, D., Blamire, M. G., Hickey, M. C., Ali, M., ...
Using a three-dimensional focused-ion beam lithography process we have fabricated nanopillar devices which show spin transfer torque switching at zero external magnetic fields. Under a small in-plane...
Aziz, A., Bending, S. J., Robert, H., Crampin, S., Heard, P. J., Marrows, C. H.
We present the results of experimental investigations of magnetic switching and magnetotransport in a new generation of magnetic devices containing artificially patterned domains. Our devices are...
On an inequality concerning the polar derivative of a polynomial (2007)
In this paper, we present a correct proof of an $L_p$-inequality concerning the polar derivative of a polynomial with restricted zeros. We also extend Zygmund's inequality to the polar derivative of...
Brinkmann, M., Graff, S., Straupe, C., Wittmann, J. C., Chaumont, C., Nüesch, F., ...
Oriented films of tetracene and pentacene have been obtained by high vacuum sublimation onto oriented poly(tetrafluoroethylene) (PTFE) substrates. Polymorphism, orientation, and morphology of the...
Angular dependence of domain wall resistivity in artificial magnetic domain structures (2006)
Aziz, A., Bending, S. J., Roberts, H. G., Crampin, S., Heard, P. J., Marrows, C. H.
We exploit the ability to precisely control the magnetic domain structure of perpendicularly magnetized Pt/Co/Pt trilayers to fabricate artificial domain wall arrays and study their transport...
A detailed examination of interactive buckling in plain channel sections (2006)
Aziz, A., Rhodes, J.*, Macdonald, M., Nash, D.H.
A finite element analysis that focused on elastic buckling of columns is presented. The key points of interest for the study were the affect of the wandering neutral axis and the assumed effective...
Genetic Variability among Different Rice Cultivars for Phosphorus Uptake and Utilization (2000)
A. Aziz, M.A Gill, M. Aslam, ...
Ten rice (Oryza sativa) genotypes were evaluated for growth and utilization efficiency of phosphorus (P), in hydroponics using modified Yoshida solution containing three levels of phosphorus viz. P1...
Genetic Variability among Different Rice Cultivars for Zinc Uptake and Utilization (2000)
M.A.Gill, A. Aziz, M. Aslam, ...
Genetic variability among eight rice cultivars was determined by conducting a solution culture experiment using modified Yoshida solution. Three Zn levels were developed by the addition of no DTPA...
Sequential Optimisation without State Space Exploration (1998)
A Mehrotra, S Qadeer, V Singhal, A Aziz, R K Brayton
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the circuit. The...
Sequential Optimisation without State Space Exploration (1997)
A Mehrotra, S Qadeer, V Singhal, A Aziz, R K Brayton
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the circuit. The...
Sequential Optimisation without State Space Exploration (1997)
A Mehrotra, S Qadeer, V Singhal, A Aziz, R K Brayton
We propose an algorithm for area optimisation of sequential circuits through redundancy removal. The algorithm finds compatible redundancies by implying values over nets in the circuit. The...
HSIS: A BDD-Based Environment for Formal Verification (1995)
A. Aziz, F. Balarin, R. K. Brayton, R. Hojati, S. C. Krishnan, ...
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now gaining acceptance...
HSIS: A BDD-Based Environment for Formal Verification (1995)
A. Aziz, F. Balarin, R. K. Brayton, R. Hojati, S. C. Krishnan, ...
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now gaining acceptance...
Supervisory Control of Finite State Machines (1995)
A. Aziz, F. Balarin, R. K. Brayton, M. D. Dibenedetto, A. Saldanha
. We address a problem of finding a finite state machine (FSM), which composed with a given FSM, satisfies a given specification. The composition we use is the standard synchronous automata...
HSIS: A BDD-Based Environment for Formal Verification (1994)
A. Aziz, F. Balarin, S. T. Cheng, R. Hojati, T. Kam, S. C. Krishnan, ...
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now gaining acceptance...
Improved perturbation solutions for laminar natural convection on a vertical cylinder (1982)
The method of extended perturbation series is applied to solve for laminar natural convection from an isothermal, thin vertical cylinder. The series in terms of the transverse curvature parameter ξ...
Perturbation analysis for periodic heat transfer in radiating fins (1981)
A perturbation analysis is presented for periodic heat transfer in radiating fins of uniform thickness. The base temperature is assumed to oscillate around a mean value. The perturbation expansion is...
Periodic heat transfer in fins with variable thermal parameters (1981)
Periodic heat transfer in a convecting fin with temperature dependent thermal conductivity and coordinate dependent heat transfer coefficient, is analyzed using a perturbation analysis. The...
A numerical scheme for unsteady flow of a viscous fluid between elliptic plates (1981)
A new continuation method has been developed to solve the nonlinear eigenvalue problem describing the unsteady, squeezing flow of a viscous fluid between elliptic plates. Unlike the numerical schemes...
Peer Reviewed
Resistance to rifampicin and isoniazid in strains of Mycobacterium tuberculosis.
Siddiqi, S H, Aziz, A, Reggiardo, Z, Middlebrook, G
Drug susceptibility studies on strains of Mycobacterium tuberculosis isolated from widely different populations of patients and tested by two different techniques indicated that all 55 strains...
Resistance to rifampicin and isoniazid in strains of Mycobacterium tuberculosis.
Siddiqi, S H, Aziz, A, Reggiardo, Z, Middlebrook, G
Drug susceptibility studies on strains of Mycobacterium tuberculosis isolated from widely different populations of patients and tested by two different techniques indicated that all 55 strains...