Conference Proceeding | CU Experts | CU Boulder

Conference Proceeding RDF

pages:

Non-linear loop invariant generation using Grobner bases
Non-linear loop invariant generation using Gröbner bases.
NON-LINEAR PROPAGATION OF UNCERTAINTY WITH NON-CONSERVATIVE EFFECTS
NON-NEWTONIAN STUDY OF BLOOD FLOW IN A BIFURCATION WITH A STABILIZED FINITE ELEMENT METHOD
Non-Perturbative Harmonic Generation in ZnO Driven by a Few-Cycle, 100 MHz Er:fiber Frequency Comb
Non-Raster Sampling in Atomic Force Microscopy: A Compressed Sensing Approach
Non-Redundant Array of Serpentine Optical Phased Array Beamsteering Tiles for 3-D Computational Lidar Imaging
Non-Symmetric Behavior of High Strain Composite Tape Spring Hinges for Folding Structures
Non-symmetric broadening of the reflection notch in polymer stabilized cholesteric liquid crystals
Non-Traditional Cyanines: Candidate Materials for All-Optical Signal Processing Applications
Non-Unity Lewis Number Simulations of a Low Reynolds Number Jet Diffusion Flame in Crossflow
Nonblowups, Periodicities, Vortex Shreddings in Combustion and Hydrodynamic Flows: A Conference Report
Nonclassical dense gas flows for simple geometries
Noncoherent decision feedback multiuser detection: Optimality, performance bounds, and rules for ordering users
Noncommutative Geometry and Global Analysis
Noncommutative solenoids and their projective modules
Noncontact alternatives to laser detection of ultrasonic signals
Nondestructive, high-resolution, chemically specific 3D nanostructure characterization using extreme ultraviolet, coherent diffractive imaging reflectometry
NonEquilibrium Processes in Plasma Torches of Inductively Coupled Plasma Facilities
Nonideal measurement locations in planar near-field antenna metrology
Nonlinear amplification for a 10 W, 750-MHz Yb:fiber frequency comb
Nonlinear approximations in quantum chemistry
Nonlinear Behavior of Decrease in Reflectivity of Multilayer Mirrors for Extreme Ultraviolet Lithography Optics by High-Flux Extreme Ultraviolet Irradiation in Various Vacuum Environments
Nonlinear Chalcogenide Photonic Devices
Nonlinear classification of EEG data for seizure detection
Nonlinear Co-Simulations for Transmit Broadband Phased Arrays
NONLINEAR CONTROL ANALYSIS OF A DOUBLE-GIMBAL VARIABLE-SPEED CONTROL MOMENT GYRO
Nonlinear Control Design for the Photovoltaic Isolated-Port Architecture with Submodule Integrated Converters
Nonlinear control for improved dynamic response of digitally controlled DC-DC converters
Nonlinear control for maneuvering multiple flexible mode systems

pages: