|
|
Title | Date | Type | Setname |
| 1 |
 |
(BAl12)Cs: a cluster-assembled solid | 1997-06 | Text | ir_uspace |
| 2 |
 |
100 electrode intracortical array: structural variability | 1990 | Text | ir_uspace |
| 3 |
 |
13 crazy, notorious things to do in an EM class | 2005-06 | Text | ir_uspace |
| 4 |
 |
13C NMR analysis of soot produced from model compounds and a coal | 2001 | Text | ir_uspace |
| 5 |
|
13C NMR spin-lattice relaxation and conformational dynamics in a 1,4-polybutadiene melt | 2001 | Text | ir_uspace |
| 6 |
 |
2-D scene analysis using split-level relaxation | 1985 | Text | ir_uspace |
| 7 |
 |
2D knowledge based vision system | 1987-07 | Text | ir_computersa |
| 8 |
 |
3-D Design of Free-Form B-Spline Surfaces | 1974-09 | Text | ir_computersa |
| 9 |
 |
3-D design of free-form B-spline Surfaces | 1974 | Text | ir_etd |
| 10 |
 |
3-D model building for computer vision | 1985 | Text | ir_uspace |
| 11 |
 |
3D Line textures and the visualization of confidence in Architecture | 2007 | Text | ir_uspace |
| 12 |
 |
3D ray-tracing for intra-vehicle environments | 2009 | Text | ir_uspace |
| 13 |
 |
4500 South (300 West to State Street) closure: the evaluation of users' impacts | 2008-05 | Text | ir_etd |
| 14 |
 |
5 kW multilevel DC-DC converter for hybrid electric and fuel cell automotive applications | 2007-09 | Text | ir_uspace |
| 15 |
 |
A 3D glass optrode array for optical neural stimulation | 2012-01-01 | Text | ir_uspace |
| 16 |
 |
A 5 kW Bi-directional multilevel modular DC-DC converter (MMCCC) featuring built in power management for fuel cell and hybrid electric automobiles | 2007 | Text | ir_uspace |
| 17 |
 |
A baseband residual vector quantization algorithm for voiceband data signals | 1989 | Text | ir_uspace |
| 18 |
 |
A biomechanical analysis of seating stresses based upon wheelchair propulsion | 2013-05 | Text | ir_etd |
| 19 |
 |
A blind adaptive projection receiver for CDMA systems | 1998 | Text | ir_uspace |
| 20 |
 |
A blind projection receiver for coded CDMA systems | 1999 | Text | ir_uspace |
| 21 |
 |
A boolean sum interpolation scheme to random data for computer aided geometric design | 1975 | Text | ir_uspace |
| 22 |
 |
A Busy Professor's Guide to Sanely Flipping Your Classroom | 2019 | Text | ir_uspace |
| 23 |
 |
A busy professors guide to sanely flipping your classroom | 2013-01-01 | Text | ir_uspace |
| 24 |
 |
A case for increased operating system support in chip multi-processors | 2005 | Text | ir_uspace |
| 25 |
 |
A case for increased operating system support in chip multi-processors | 2005 | Text | ir_uspace |
| 26 |
 |
A category theoretic formalism for abstract interpretation | 1984 | Text | ir_uspace |
| 27 |
 |
A cell set for self-timed design using actel FPGAs | 1991 | Text | ir_uspace |
| 28 |
 |
A cell-based approach to hierarchical interdomain VLSI design | 1992-06 | Text | ir_computersa |
| 29 |
 |
A cellularized biomaterial model of cardiac fibroblasts for evaluation of fibroblast induced changes in stiffness | 2013-05 | Text | ir_etd |
| 30 |
 |
A characterization of parallel systems | 1980 | Text | ir_uspace |
| 31 |
 |
A characterization of visual feature recognition | 2003-09-03 | Text | ir_uspace |
| 32 |
 |
A code size microbenchmark for C | | Text; Image | ir_uspace |
| 33 |
 |
A collective approach to harness idle resources | 2008 | Text | ir_uspace |
| 34 |
 |
A collective approach to harness idle resources of end nodes | 2011-08 | Text | ir_etd |
| 35 |
 |
A communication-ordered task graph allocation algorithm | 1992 | Text | ir_uspace |
| 36 |
 |
A communication-ordered task graph allocation algorithm | 1992 | Text | ir_uspace |
| 37 |
 |
A comparative study on two types of transparent patch antennas | 2011 | Text | ir_uspace |
| 38 |
 |
A comparison of corrosion resistant reinforcement in moderately and highly corrosive conditions | 2019 | Text | ir_etd |
| 39 |
 |
A comparison of Jiazzi and AspectJ for feature-wise decomposition | 2004-03-23 | Text | ir_uspace |
| 40 |
 |
A comparison of magnetoelectric trandsucer designs for use as wireless magnetic power receivers in biomedical implant applications | 2018 | Text | ir_etd |
| 41 |
 |
A comparison of modular self-timed design styles | 1995 | Text | ir_uspace |
| 42 |
 |
A comparison of online superpage promotion mechanisms | 1999 | Text | ir_uspace |
| 43 |
 |
A comparison of self-timed design using FPGA, CMOS, and GaAs technologies | 1992 | Text | ir_uspace |
| 44 |
 |
A comparison of software and hardware synchronization mechanisms for distributed shared memory multiprocessors | 1996 | Text | ir_uspace |
| 45 |
 |
A comparison of various models in predicting ignition delay in single-particle coal combustion | 2014-01-01 | Text | ir_uspace |
| 46 |
 |
A composable static analysis framework for program analysis | 2016 | Text | ir_etd |
| 47 |
 |
A compositional minimization approach for large asynchronous design verification | 2012-01-01 | Text | ir_uspace |
| 48 |
 |
A compositional model for synchronous VLSI systems | 1987 | Text | ir_uspace |
| 49 |
 |
A computation study of momentum and scalar transport in urban areas | | Text | ir_etd |
| 50 |
 |
A computational framework to characterize the fast neural coding dynamics during eye movements | 2020 | Text | ir_etd |
| 51 |
 |
A Computer Program to Plot an Isometric Projection of a Solution Space Surface | 1968-08 | Text | ir_computersa |
| 52 |
 |
A Constant Percentage Bandwidth Transform for Acoustic Signal Processing | 1980-01 | Text | ir_computersa |
| 53 |
 |
A continuous fluorescence assay for polymerase activity | 2013-12 | Text | ir_etd |
| 54 |
 |
A control paradigm for general purpose manipulation systems | 1987 | Text | ir_uspace |
| 55 |
 |
A control system for an active wearable lift assist device | 2012-05 | Text | ir_etd |
| 56 |
 |
A convected-particle tetrahedron interpolation in the material-point method for mesoscale modeling of aluminum oxynitride | 2019 | Text | ir_etd |
| 57 |
 |
A correctness criterion for asynchronous circuit validation and optimization | 1992 | Text | ir_uspace |
| 58 |
 |
A correctness criterion for asynchronous circuit validation and optimization | 1992 | Text | ir_uspace |
| 59 |
 |
A cost-effective planar electromagnetic energy harvesting transducer | 2012-01-01 | Text | ir_uspace |
| 60 |
 |
A density functional theory study of dual surfactant effect in enhancing P-type doping in III-V semiconductors | 2010 | Text | ir_etd |
| 61 |
 |
A description of several tools for the synchronization of concurrent processes | 1980 | Text | ir_uspace |
| 62 |
 |
A digital comb filter | 1983-03 | Text | ir_htca |
| 63 |
 |
A directional occlusion shading model for interactive direct volume rendering | | Text; Image | ir_uspace |
| 64 |
 |
A distributed garbage collection algorithm | 1992 | Text | ir_uspace |
| 65 |
 |
A distributed object-oriented graphical programming system | 1990 | Text | ir_uspace |
| 66 |
 |
A dossier driven persistent objects facility | 1994 | Text | ir_uspace |
| 67 |
 |
A DRAM backend for the impulse memory system | 1998-12-16 | Text | ir_uspace |
| 68 |
 |
A dynamic framework for intelligent inspection | 1992 | Text | ir_uspace |
| 69 |
 |
A dynamic framwork for intelligent inspection | 1992 | Text | ir_uspace |
| 70 |
 |
A Dynamic Model for Computer-Aided Choreography | 1970-06 | Text | ir_computersa |
| 71 |
 |
A dynamic recursive structure for intelligent exploration | 1992 | Text | ir_uspace |
| 72 |
 |
A dynamic recursive structure for intelligent inspection | 1992 | Text | ir_uspace |
| 73 |
 |
A fast iterative method for a class of Hamilton-Jacobi equations on parallel systems | 2007 | Text | ir_uspace |
| 74 |
 |
A fast parallel squarer based on divide-and-conquer | 1995 | Text | ir_uspace |
| 75 |
 |
A fast recursive least-squares adaptive nonlinear filter | 1988 | Text | ir_uspace |
| 76 |
 |
A fast recursive least-squares second order volterra filter | 1988 | Text | ir_uspace |
| 77 |
 |
A fault tolerant sensor scheme | 1983 | Text | ir_uspace |
| 78 |
 |
A Feasibility Study of a Transfer of Federal Lands: Assessing the Triple Bottom Line | 2016 | | ir_uspace |
| 79 |
 |
A feasibility study of microjets applied to breast cancer detection | 2012-01-01 | Text | ir_uspace |
| 80 |
 |
A filter-independent model identification technique for turbulent combustion modeling | 2012-01-01 | Text | ir_uspace |
| 81 |
 |
A finite element fracture mechanics-based approach for the simulation of damage progression and failure of composite scarf repairs | 2018 | Text | ir_etd |
| 82 |
 |
A FORTRAN V Interactive Graphical System | 1968-04-03 | Text | ir_computersa |
| 83 |
 |
A Framework for creative visualization-oppourtunities workshops | 2019 | Text | ir_etd |
| 84 |
 |
A Framework for evaluating the potential of renewable power generation systems under techno-economic uncertainties | 2018 | Text | ir_etd |
| 85 |
 |
A framework for hardware design analysis and synthesis using VHDL | 1993-03 | Text | ir_computersa |
| 86 |
 |
A framework for module-based language processors | 1993 | Text | ir_uspace |
| 87 |
 |
A framework for multi-sensor integration and data acquisition | 1983-08 | Text | ir_computersa |
| 88 |
 |
A framework for water supply system performance assessment to support integrated water resources management and decision making process | 2016 | Text | ir_etd |
| 89 |
 |
A front end user interface to a geometric modelling system | 1987-12 | Text | ir_computersa |
| 90 |
 |
A fundamental multiscale study on mechanical, microstructural, and topographical characteristics of machining-induced surface integrity in Ti-6Al-4V titanium alloy | 2017 | Text | ir_etd |
| 91 |
 |
A gallium arsenide mutual exclusion element | 1993 | Text | ir_uspace |
| 92 |
 |
A Gaussian probability accelerator for SPHINX 3 | 2003-07-22 | Text | ir_uspace |
| 93 |
 |
A general compositional approach to verifying hierarchical cache coherence protocols | 2006-11-26 | Text | ir_uspace |
| 94 |
 |
A general model for the user interface of screen editors | 1983-03 | Text | ir_computersa |
| 95 |
 |
A generic operational memory model specification framework for multithreaded program verification | 2003 | Text | ir_uspace |
| 96 |
 |
A geographic information system (GIS)-Based analysis for predicting crash hotspots on freeway | 2019 | Text | ir_etd |
| 97 |
 |
A geometric multigrid approach to solving the 2D inhomogeneous laplace equation with internal drichlet boundary conditions | 2005 | Text | ir_uspace |
| 98 |
 |
A GPU-based maximal independent set aggregation strategy: algorithms, comparisons, and applications withing algebraic multigrid | 2014-08 | Text | ir_etd |
| 99 |
 |
A GPU-based, three-dimensional level set solver with curvature flow | 2002-12-11 | Text | ir_uspace |
| 100 |
 |
A graphical environment and applications for discrete event and hybrid systems in robotics and automation | 1994 | Text | ir_uspace |
| 101 |
 |
A graphical workstation and programming environment for data-driven computation | 1983-03 | Text | ir_computersa |
| 102 |
 |
A hidden line algorithm for halftone picture representation | 1968 | Text | ir_uspace |
| 103 |
 |
A hidden surface algorithm for computer generated halftone pictures | 1969 | Text | ir_etd |
| 104 |
 |
A high-efficiency modular switched-capacitor converter with continuously variable conversion ratio | 2012-01-01 | Text | ir_uspace |
| 105 |
 |
A high-heating=rate thermal analysis of solid-propellant reactions | 1971 | Text | ir_etd |
| 106 |
 |
A high-resolution flexible tactile imager system based on floating comb electrodes | 2012-01-01 | Text | ir_uspace |
| 107 |
 |
A history & future of implantable antennas | 2014-01-01 | Text | ir_uspace |
| 108 |
 |
A history and evaluation of the Wisconsin players of Milwaukee, Wisconsin | 1971 | Text | ir_etd |
| 109 |
 |
A hole-filling algorithm for triangular meshes | 2004-12-20 | Text | ir_uspace |
| 110 |
 |
A Holistic approach to cyanobacterial harmful algal blooms in shallow, eutrophic Utah Lake | 2018 | Text | ir_etd |
| 111 |
 |
A hybrid non-threaded run-to-run control and incorporation of multiphysics models into semiconductor virtual metrology | 2016 | Text | ir_etd |
| 112 |
 |
A Java-based active network operating system (JANOS) | 2003-11 | Text | ir_computersa |
| 113 |
 |
A kappa carrageenan sponge material for Marine oil spill remediation | 2019 | Text | ir_htoa |
| 114 |
 |
A lisp-based occam interpreter | 1991 | Text | ir_uspace |
| 115 |
 |
A low power UART design based on asynchronous techniques | 2013-01-01 | Text | ir_uspace |
| 116 |
 |
A low-cost non-mechanical maximum power point tracking scheme for grid-tied single-phase induction generators | 2012-01-01 | Text | ir_uspace |
| 117 |
 |
A lumped capacitance approach for the nondestructive dielectric measurements of substrates | 1988-06 | Text | ir_htca |
| 118 |
 |
A macroscopic and microscopic study of radon exposure using geant4 and mcnpx to estimate dose rates and dna damage | 2015-12 | Text | ir_etd |
| 119 |
 |
A magnetic field-independent absorbing boundary condition for magnetized cold plasma | 2011-01-01 | Text | ir_uspace |
| 120 |
 |
A mathematical approach to a low power FFT architecture | 1998 | Text | ir_uspace |
| 121 |
 |
A mathematical basis for the application of the modified geometric method to maximum frequency estimation | 2004 | Text | ir_uspace |
| 122 |
 |
A Method for Extending FORTRAN V for the Interactive Graphical Solution of Numerical Problems | 1968-12 | Text | ir_computersa |
| 123 |
 |
A method of solution for hydrodynamics and radiation diffusion as a multi-material problem in one dimension | 1971 | Text | ir_uspace |
| 124 |
 |
A methodology for physical design automation for integrated optics | 2012-01-01 | Text | ir_uspace |
| 125 |
 |
A microcomputer controlled E Field meter | 1981-06 | Text | ir_htca |
| 126 |
 |
A microfluidic in vitro model of the blood-brain barrier | 2014-12 | Text | ir_etd |
| 127 |
 |
A minimax approach for the joint design of acoustic crosstalk cancellation filters | 2007 | Text | ir_uspace |
| 128 |
 |
A morphing algorithm for generating near optimal grids: applications in computational medicine | 1994 | Text | ir_uspace |
| 129 |
 |
A multiphase interpolating digital power amplifier for TX beamforming | 2019 | Text | ir_etd |
| 130 |
 |
A Multiprocessor Implementation of CSP (Communicating Sequential Processes) | 1988-03 | Text | ir_computersa |
| 131 |
 |
A multiscale computational modeling platform for design and analysis of electrical neural stimulation | 2017 | Text | ir_etd |
| 132 |
 |
A multistrategy machine learning approach to object recognition | 1991-03 | Text | ir_computersa |
| 133 |
 |
A new approach to specifying and handling exceptions | 1980 | Text | ir_uspace |
| 134 |
 |
A new approach to tolerance analysis | 1994 | Text | ir_uspace |
| 135 |
 |
A new carrier frequency estimator for modem signals | 1988 | Text | ir_uspace |
| 136 |
 |
A new family of variational-form-based regularizers for reconstructing epicardial potentials from body-surface mapping | 2010 | Text | ir_uspace |
| 137 |
 |
A new local basis for designing with tensioned splines | 1985 | Text | ir_uspace |
| 138 |
 |
A new model of perceptual threshold functions for application in image compression systems | 1995 | Text | ir_uspace |
| 139 |
 |
A new theory for the dependence of detonation velocity on cylindrical charge diameter | 1980-05 | Text | ir_htca |
| 140 |
 |
A new thermal hydraulics code coupled to agent for light water reactor analysis | 2016-05 | Text | ir_etd |
| 141 |
 |
A nonlinear/inelastic rooftop tuned mass damper frame | 2012-12 | Text | ir_etd |
| 142 |
 |
A note on optimal algorithms for fixed points | 2009 | Text | ir_uspace |
| 143 |
 |
A note on the Oslo algorithm | 1987 | Text | ir_uspace |
| 144 |
 |
A novel ELF radar for major oil deposits | 2006-01-01 | Text | ir_uspace |
| 145 |
 |
A novel hydrogel based piezoresistive pressure sensor platform for chemical sensing | 2010 | Text | ir_etd |
| 146 |
 |
A novel MRI-based screening method for assessing atrio-esophageal fistula risk following cardia ablation | 2014-12 | Text | ir_htoa |
| 147 |
 |
A novel multilevel safety-factor centered framework for optimized utilization of research reactors | 2017 | Text | ir_etd |
| 148 |
 |
A novel tool to capture neural activity across an entire brain using C-FOS as an indicator | 2016-05 | Text | ir_htoa |
| 149 |
 |
A novel use of sampling pressure from sidestream capnometer | 2014-12 | Text | ir_etd |
| 150 |
 |
A painterly approach to human skin | 1999 | Text | ir_uspace |
| 151 |
 |
A parameter survey of a 2-D homogeneous and heterogeneous simulation of a triga reactor using agent with a reflective and vacuum boundary condition in isotropic scattering | 2011-08 | Text | ir_etd |
| 152 |
 |
A parametric model for human faces | 1975 | Text | ir_uspace |
| 153 |
 |
A Parametric Model for Human Faces | 1974-12 | Text | ir_computersa |
| 154 |
 |
A partial order reduction algorithm without the Proviso | 1998 | Text | ir_uspace |
| 155 |
 |
A partial scan methodology for testing self-timed circuits | 1995 | Text | ir_uspace |
| 156 |
 |
A partial scan methodology for testing self-timed circuits | 1995 | Text | ir_uspace |
| 157 |
 |
A path-precise analysis for property synthesis | 2003-12-01 | Text | ir_uspace |
| 158 |
 |
A patterned microtexture to reduce polyethylene wear in metal on polyethylene bearings, with application in prosthetic hip implants | 2018 | Text | ir_etd |
| 159 |
 |
A performance evaluation of hot mix asphalt thin lift treatments | 2017 | Text | ir_etd |
| 160 |
 |
A personalized system for conversational recommendations | 2002-06-26 | Text | ir_uspace |
| 161 |
 |
A phase likelihood-based algorithm for blind identification of PSK signals | 2014-01-01 | Text | ir_uspace |
| 162 |
 |
A pipelined architecture for ray tracing | 1994-06 | Text | ir_computersa |
| 163 |
 |
A polymorphic, hierarchical type system for Prolog | 1992-08 | Text | ir_computersa |
| 164 |
 |
A practical logic framework for verifying safety properties of executables | 2011-01-01 | Text | ir_uspace |
| 165 |
 |
A practical perspective on the benefits of combined traffic assignment and control models | 2012-05 | Text | ir_etd |
| 166 |
 |
A practical workflow for making anatomical atlases for biological research | 2012-01-01 | Text | ir_uspace |
| 167 |
 |
A preliminary analysis of the ability of a potential orthotic device to reduce and mitigate shoe slip | 2017 | Text | ir_etd |
| 168 |
 |
A priori digital speech analysis | 1973-03 | Text | ir_computersa |
| 169 |
 |
A Probabilistic assessment of the structural integrity of spent nuclear fuel transportation casks under accident conditions after long-term storage | 2019 | Text | ir_etd |
| 170 |
 |
A program logic and its application in fully verified software fault isolation | 2012-08 | Text | ir_etd |
| 171 |
 |
A programmer's guide to PDP-10 euler | 1970 | Text | ir_uspace |
| 172 |
 |
A pulse-width modulation controlled wire-mesh heater apparatus for investigation of solid fuel pyrolysis | 2012-01-01 | Text | ir_uspace |
| 173 |
 |
A quantitative experimental study of the osciliatory combustion of solid rocket propellants | 1962 | Text | ir_etd |
| 174 |
 |
A quantitative study of the carotid sinus baroreceptors in normotensive and hypertensive dogs | 1967 | Text | ir_etd |
| 175 |
 |
A real time visible surface algorithm | 1970 | Text | ir_uspace |
| 176 |
 |
A real-time method for evaluating and monitoring heat stress potential using wearable Biosensors | 2018 | Text | ir_etd |
| 177 |
 |
A reliability-based geometric design approach to freeway number of lanes decisions | 2014-05 | Text | ir_etd |
| 178 |
 |
A review of progress in FDTD Maxwell's equations modeling of impulsive subionospheric propagation below 300 kHz | 2007-01-01 | Text | ir_uspace |
| 179 |
 |
A review of shear stress sign convention in interpreting Mohrs circle | 2012-01-01 | Text | ir_uspace |
| 180 |
 |
A Saddle Point Strategy for Path Planning | 1993 | Text | ir_computersa |
| 181 |
 |
A sampling and measurement procedure for cyanide in fossil fuel flames | 1980 | Text | ir_htca |
| 182 |
 |
A sarrus-based passive mechanism for rotorcraft perching | 2014-12 | Text | ir_etd |
| 183 |
 |
A scalable and tunable adaptive resolution parallel i/o framework | 2016 | Text | ir_etd |
| 184 |
 |
A scalable, efficient scheme for evaluation of stencil computations over unstructured meshes | 2013-01-01 | Text | ir_uspace |
| 185 |
 |
A scheduling strategy for shared memory multiprocessors | 1990 | Text | ir_uspace |
| 186 |
 |
A shading method for computer generated images | 1988-06 | Text | ir_computersa |
| 187 |
 |
A shared memory algorithm and proof for the alternative construct in CSP | 1987 | Text | ir_uspace |
| 188 |
 |
A simple convolution procedure for calculating currents induced in the human body for exposure to electromagnetic pulses | 1994 | Text | ir_uspace |
| 189 |
 |
A simple poroelastic-based algorithm for evaluating anomalous fluid pressure attributed to surface loading: case study of michigan basin glaciation | 2016 | Text | ir_etd |
| 190 |
 |
A single chip low power asynchronous implementation of an FFT algorithm for space applications | 1998 | Text | ir_uspace |
| 191 |
 |
A singularity-free mechanism for holonomic orientation control of a spherical permanent magnet | 2014 | Text | ir_etd |
| 192 |
 |
A small low-power wireless integrated microsystem | 2015 | Text | ir_etd |
| 193 |
 |
A stability condition for certain bilinear systems | 1994 | Text | ir_uspace |
| 194 |
 |
A stability result for RLS adaptive bilinear filters | 1994 | Text | ir_uspace |
| 195 |
 |
A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | 2006 | Text | ir_uspace |
| 196 |
 |
A stable adaptive Hammerstein filter employing partial orthogonalization of the input signals | 2002 | Text | ir_uspace |
| 197 |
 |
A standard magnetic tape format for digital image exchange | 1981 | Text | ir_uspace |
| 198 |
 |
A standard-cell self-timed multiplier for energy and area critical synchronous systems | 2001 | Text | ir_uspace |
| 199 |
 |
A stochastic FDTD method for statistically varying biological tissues | 2011 | Text | ir_uspace |
| 200 |
 |
A stochastic FDTD model of electromagnetic wave propagation in magnetized ionospheric plasma | 2013-01-01 | Text | ir_uspace |
