201 - 225 of 1,959
Number of results to display per page
CreatorTitleDescriptionSubjectDate
201 Myers, Chris J.Using decision diagrams to compactly represent the state space for explicit model checkingThe enormous number of states reachable during explicit model checking is the main bottleneck for scalability. This paper presents approaches of using decision diagrams to represent very large state space compactly and efficiently. This is possible for asynchronous systems as two system states conne...2012-01-01
202 Mastrangelo, Carlos H.Precision curved micro hemispherical resonator shells fabricated by poached-egg micro-moldingThis paper presents a new technique for the fabrication of high resolution non-planar precision microshells for hemispherical resonating gyros via a poached-egg micromolding (PEM) method. In PEM, precision ball lenses are used as starting molds. Hemispherical shells are formed on the lenses using fi...2012-01-01
203 Mastrangelo, Carlos H.MEMS-based hemispherical resonator gyroscopesThis paper introduces a fabrication technique that uses planar MEMS micromachining processes to produce hemispherical resonating shells for gyroscopes. The hemispheres exhibit a quality factor in excess of 20,000 with resonant frequencies in the range of 20 kHz for the 4-node wineglass mode. The fab...2012-01-01
204 Venkatasubramanian, SureshSensor network localization for moving sensorsSensor network localization (SNL) is the problem of determining the locations of the sensors given sparse and usually noisy inter-communication distances among them. In this work we propose an iterative algorithm named PLACEMENT to solve the SNL problem. This iterative algorithm requires an initial ...2012-01-01
205 Mastrangelo, Carlos H.Fabrication of localized plasma gold-tip nanoprobes with integrated microchannels for direct-write nanomanufacturingWe present the microfabrication and characterization of an AFM-tip like device with integrated gas delivery microchannel for the generation of localized microplasmas. The device plasma is generated within a submicron region around its tip for direct-write micro and nanofabrication. The device is fab...2012-01-01
206 Mastrangelo, Carlos H.A high-resolution flexible tactile imager system based on floating comb electrodesFlexible high-resolution contact force imagers are needed in many applications for robotic grippers and gait analysis, but its intrinsic intimate contact requirement often causes breaking of top metallization layers and failure in a short time. The use of floating electrodes has significantly improv...2012-01-01
207 Mastrangelo, Carlos H.Characterization of electrical interferences for ground reaction sensor clusterThis paper presents the characterization of electrical interferences for a high-resolution error-correcting biomechanical ground reaction sensor cluster (GRSC), developed for improving inertial measurement unit (IMU) position sensing accuracy. The GRSC is composed of 13 x 13 sensing nodes, which can...2012-01-01
208 Rosen, Paul AndrewData management and analysis with WRF and SFIREWe introduce several useful utilities in development for the creation and analysis of real wildland fire simulations using WRF and SFIRE. These utilities exist as standalone programs and scripts as well as extensions to other well known software. Python web scrapers automate the process of downloadi...2012-01-01
209 Wan, YongInteractive extraction of neural structures with user-guided morphological diffusionExtracting neural structures with their fine details fromconfocal volumes is essential to quantitative analysis in neurobiology research. Despite the abundance of various segmentation methods and tools, for complex neural structures, both manual and semi-automatic methods are ineffective either in f...2012-01-01
210 Khan, Faisal HabibDesign of drives for inverter-assisted induction generatorsThis paper investigates the control of power generation using two-phase squirrel-cage induction machines, where the load is connected to one stator winding and the load voltage is controlled through the other winding. The concept can be applied to three-phase machines as well. A state-space model of...2012-01-01
211 Blair, StevenOptical antenna design for fluorescence enhancement in the ultravioletThrough rational design, we compare the performance of three plasmonic antenna structures for UV fluorescence enhancement. Among the antenna performance metrics considered are the local increase in excitation intensity and the increase in quantum efficiency, the product of which represents the net f...2012-01-01
212 Scarpulla, MichaelPulsed and continuous wave solid phase laser annealing of electrodeposited CuInSe2 thin filmsCu(In,Ga)Se2 (CIGS) thin film photovoltaic absorber layers are primarily synthesized by vacuum based techniques at industrial scale. In this work, we investigate non-vacuum film synthesis by electrochemical deposition coupled with pulsed laser annealing (PLA) and or continuous wave laser annealing (...2012-01-01
213 Khan, Faisal HabibFabrication processes and experimental validation of a planar PV power system with monolithically embedded power convertersThis paper summarizes the research outcome intended to identify the most suitable device architecture and its implementation for cell-level power conversion in a photovoltaic (PV) system. The fabrication process to accommodate the power conditioning unit with the PV cells using the same process run ...2012-01-01
214 Gale, Bruce K.New approaches to bridge nerve gaps: Development of a novel drug-delivering nerve conduitContemporary bridging techniques for repairing nerve gaps caused by trauma require autologous nerve grafts, which are difficult to harvest and handle and result in significant donor site deficit. Several nerve conduits with axon growth-enhancing potential have been proposed, developed and tested ove...2012-01-01
215 Khan, Faisal HabibOutput impedance modeling of a multilevel modular switched-capacitor converter to achieve continuously variable conversion ratioThe multilevel modular capacitor clamped dc-to-dc converter (MMCCC) topology is completely modular and belongs to two-phase switched capacitor converter group. The conversion ratio of an ideal MMCCC converter in step-up mode is an integer and depends on the number of modules used. For a k-module MMC...2012-01-01
216 Tiwari, AshutoshElectrical transport in ultrathin NdNiO3 filmsElectrical transport properties in ultrathin NdNiO3 films grown on single crystal LaAlO3 (001) substrate were characterized. Films with thicknesses ranging from 0.6 nm to 12 nm were grown using a pulsed laser technique. Four probe resistivity as a function of temperature measurements indicated a str...2012-01-01
217 Khan, Faisal HabibCharacterization of aging process in power converters using spread spectrum time domain reflectometryThis paper aims to find a new technique to predict the state of health of power converters by characterizing the most vulnerable components in the converter without affecting the normal circuit operation. Spread spectrum time domain reflectometry (SSTDR) can detect most of the aged components inside...2012-01-01
218 Blair, StevenA 3D glass optrode array for optical neural stimulationThis paper presents optical characterization of a first-generation SiO2 optrode array as a set of penetrating waveguides for both optogenetic and infrared (IR) neural stimulation. Fused silica and quartz discs of 3-mm thickness and 50-mm diameter were micromachined to yield 10×10 arrays of up to 2-...2012-01-01
219 Henderson, Thomas C.Multisensor methods to estimate thermal diffusivitySeveral methods for the estimation of thermal diffusivity are studied in this work. In many application scenarios, the thermal diffusivity is unknown and must be estimated in order to perform other estimation functions (e.g., tracking of the physical phenomenon, or solving other inverse problems lik...2012-01-01
220 Ring, Terry ArthurVerification of analytic energy moments for the one-dimensional energy dependent neutron diffusion equation with MCNP5 and Attila-7.1.0The energy dependent neutron diffusion equation (EDNDE) is converted into a moment equation which is solved analytically for the 1-D problem of a bare sphere of pure 235U. The normalized moments 0-5 generated analytically are compared to normalized energy moments, from Monte Carlo N Particle 5 versi...2012-01-01
221 Ring, Terry ArthurValidation of energy moments from the one-dimensional energy dependent neutron diffusion equation, MCNP5 and Attila-7.1.0 with the GODIVA experimentNormalized neutron energy moments (moments) from the one-dimensional energy dependent neutron diffusion equation (EDNDE), Monte Carlo N Particle 5 version 1.40 (MCNP5) and Attila-7.1.0-beta version (Attila) are validated with the GODIVA experiment (GODIVA). Energy moments 0-5 for all three methods a...2012-01-01
222 Thompson, William B.Evaluating the accuracy of size perception in real and virtual environmentsAccurate perception of the size of 3D objects depicted on 2D desktop displays is important for many applications. Whether users perceive objects depicted on a display to be the same size as comparable real world objects is not well understood. We propose using affordances judgments as a way of measu...2012-01-01
223 Whitty, Kevin J.A pulse-width modulation controlled wire-mesh heater apparatus for investigation of solid fuel pyrolysisA novel wire mesh heater apparatus has been developed to study the devolatilization of solid fuels under pressurized conditions at well-controlled heating rates on the order of 1000 K/s. The apparatus combines direct current and pulse-width modulation with a fast-acting and high current-capacity re...2012-01-01
224 Liu, FengElectronic strengthening of graphene by charge dopingGraphene is known as the strongest 2D material in nature, yet we show that moderate charge doping of either electrons or holes can further enhance its ideal strength by up to 17%, based on first-principles calculations. This unusual electronic enhancement, versus conventional structural enhancement,...2012-01-01
225 Myers, Chris J.Formal verification of genetic circuitsResearchers are beginning to be able to engineer synthetic genetic circuits for a range of applications in the environmental, medical, and energy domains [1]. Crucial to the success of these efforts is the development of methods and tools to verify the correctness of these designs. This verification...2012-01-01
201 - 225 of 1,959