Search

Showing total 332 results
332 results

Search Results

251. Analog Seizure Detection and Performance Evaluation.

252. Modeling and Analysis of a Flywheel Energy Storage System for Voltage Sag Correction.

253. Joint Encoding and Decoding Methods for Digital Audio Broadcasting of Multiple Programs.

254. Automated Detection of Prostatic Adenocarcinoma From High-Resolution Ex Vivo MRI.

255. Design Aspects of Industrial Distribution Systems to Limit Arc Flash Hazard.

256. Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance.

257. Collateral Damage: American Science and the War on Terrorism.

258. High Power Density Superconducting Motor for All-Electric Aircraft Propulsion.

259. Approximate Model of European Interconnected System as a Benchmark System to Study Effects of Cross-Border Trades.

260. State-of-the-Art W-Band Extended Interaction Klystron for the CloudSat Program.

261. Global Survey and Statistics of Radio-Frequency Interference in AMSR-E Land Observations.

262. Automatic CRP Mapping Using Nonparametric Machine Learning Approaches.

263. An Onboard Processor and Adaptive Scanning Controller for the Second-Generation Precipitation Radar.

264. Integrated High-Speed Intelligent Utility Tie Unit for Disbursed/Renewable Generation Facilities.

265. Interference Analysis of Co-Sited DTV and NTSC Translators.

266. System Impact Study for the Interconnection of Wind Generation and Utility System.

267. The Effects of Cable Capacitance on Longwall Power Systems.

268. Low-Complexity Multiuser Detectors for Time-Hopping Impulse-Radio Systems.

269. The Development of a Construct for Measuring an Individual's Perceptions of Email as a Medium for Electronic Communication in Organizations.

270. A Grid Information Resource for Nationwide Real-Time Power Monitoring.

271. Mold Growth on Nonceramic Insulators and its Impact on Electrical Performance.

272. The Advanced Microwave Scanning Radiometer for the Earth Observing System (AMSR-E), NASDA's Contribution to the EOS for Global Energy and Water Cycle Studies.

273. Combining Digital and Analog Signals for US IBOC FM Broadcasting.

274. The 2001 IMS Technical Program.

275. Formal Analysis of a Space-Craft Controller Using SPIN.

276. Mentoring Undergraduates in Computer Vision Research.

277. Special Collection on Program Testing.

278. Special Section on Symbolic Methods for Complex Control Systems.

279. The 1999 IEEE MTT-S International Microwave Symposium: `The Magic Touch of Microwaves'.

280. Completeness and Consistency in Hierarchical State-Based Requirements.

281. Estimeetings: Development Estimates and a Front-End Process For a Large Project.

282. The Concurrency Control Mechanism of SDD-1: A System for Distributed Databases (The Fully Redundant Case).

283. Dying for Data.

284. The Next Voting Debacle?

285. WHAT'S UP, POSTDOC?

286. Feedback Encoding for Efficient Symbolic Control of Dynamical Systems.

287. Reachability and Control Synthesis for Piecewise-Affine Hybrid Systems on Simplices.

288. Logic-Based Solution Methods for Optimal Control of Hybrid Systems.

289. Symbolic Control of Linear Systems Based on Symbolic Subsystems.

290. Guest Editorial.

291. Digital Millenium Copyright Act Faces Court Tests.

292. Improving an Unjustified Common Practice in Ex Post LMP Calculation.

293. From the Editor.

294. The IMS2002 Technical Program.

295. Special Issue on Wireless Information Technology and Networks.

296. GLOBECOM 2001 'THE EVOLVING GLOBAL COMMUNICATIONS NETWORK.'.

297. Corrections to “Fine Asymptotics for Universal One-to-One Compression of Parametric Sources”.

299. Guest Editors' Introduction: 2003 International Conference on Software Engineering.

300. Guest Editors' Introduction: 1999 International Conference on Software Engineering.