-
61
Equality and Hashing for (almost) Free: Generating Implementations from Abstraction Functions
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
62
Bayesian Detection in Bounded Height Tree Networks
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Get full text
Article -
63
Automatic extraction of heap reference properties in object-oriented programs
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
64
Powered Ankle–Foot Prosthesis Improves Walking Metabolic Economy
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
65
Underdetermined Blind Source Separation Based on Subspace Representation
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
66
Digital Intuition: Applying Common Sense Using Dimensionality Reduction
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
67
Assessment of Autonomic Control and Respiratory Sinus Arrhythmia Using Point Process Models of Human Heart Beat Dynamics
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Get full text
Article -
68
Increasing autonomy of UAVs
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Get full text
Article -
69
Updated MINDS Report on Speech Recognition and Understanding, Part 2
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
70
Stress Analysis of a High Temperature Superconductor Coil Wound With Bi-2223/Ag Tapes for High Field HTS/LTS NMR Magnet Application
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
71
Research Developments and Directions in Speech Recognition and Understanding, Part 1
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
72
Multirobot inspection of industrial machinery
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
73
Blind calibration of timing skew in time-interleaved analog-to-digital converters
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
74
Magnetic Testing of a Superferric Dipole That Uses Metal-Oxide Insulated CICC
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
75
The capacity of finite Abelian group codes over symmetric memoryless channels
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
76
Quantum Copy-Protection and Quantum Money
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
77
Spatial and Temporal Variations of a Screening Current Induced Magnetic Field in a Double-Pancake HTS Insert of an LTS/HTS NMR Magnet
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
78
Adaptive Predistortion Using a Delta Sigma Modulator for Automatic Inversion of Power Amplifier Nonlinearity
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article -
79
Magnetic Resonant Coupling As a Potential Means for Wireless Power Transfer to Multiple Small Receivers
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Article -
80
A multipathway phosphoproteomic signaling network model of idiosyncratic and inflammatory cytokine-induced toxicity in human hepatocytes
Published 2010“…Institute of Electrical and Electronics Engineers…”
Get full text
Get full text
Article