3.7 AEROSOL RETRIEVALS OVER LAND SURFACES (THE ADVANTAGES OF POLARIZATION) Brian Cairns∗, Larry Travis, Michael I. Mishchenko and Jacek Chowdhary NASA Goddard Institute for Space Studies, New York, NY

Source URL: data.giss.nasa.gov

Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction

Source URL: fm.csl.sri.com

• Theoretical computer science
• Formal methods
• Logic in computer science
• Electronic design automation
• NP-complete problems
• Boolean algebra
• Boolean satisfiability problem
• Solver
• Formal equivalence checking
• Formal verification
• Model checking
• Uclid

14 Stochastic Optimization Method for Analytic Continuation Andrey S. Mishchenko RIKEN Advanced Science Institute (ASI) Cross-Correlated Materials Research Group (CMRG), Wako, Japan

Source URL: www.cond-mat.de

• Estimation theory
• Inverse problems
• Linear algebra
• Tikhonov regularization
• Least squares
• Mathematical optimization
• Sobolev spaces for planar domains

Progress Report for Proposal entitled " The Direct Radiative Forcing of Biomass Burning Aerosols: Investigations during SCAR-B and ZIBBEE" Submitted to Dr. Michael Mishchenko NASA Goddard Institute for Space Studies

Source URL: gacp.giss.nasa.gov

3.7 AEROSOL RETRIEVALS OVER LAND SURFACES (THE ADVANTAGES OF POLARIZATION) Brian Cairns∗, Larry Travis, Michael I. Mishchenko and Jacek Chowdhary NASA Goddard Institute for Space Studies, New York, NY

Source URL: data.giss.nasa.gov

Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert Brayton

Source URL: www.eecs.berkeley.edu

Scalably-Verifiable Sequential Synthesis Robert Brayton Alan Mishchenko Department of EECS, University of California, Berkeley

Source URL: www.eecs.berkeley.edu

Combinational and Sequential Mapping with Priority Cuts Alan Mishchenko Sungmin Cho Satrajit Chatterjee

Source URL: www.eecs.berkeley.edu

Session Papers A General Circulation Model (GCM) Parameterization of Pinatubo Aerosols A. A. Lacis, B.E. Carlson, and M.I. Mishchenko NASA Goddard Institute for Space Studies

Source URL: www.arm.gov

• Climate forcing
• Aerosol science
• Radiative forcing
• Mount Pinatubo
• Aerosol
• Atmospheric radiative transfer codes
• Global climate model
• Stratospheric sulfur aerosols
• Closure
• Atmospheric sciences
• Volcanology
• Climatology

RF INSTALLATION FOR THE GRAIN DISINFESTATION B.V. Zajtzev, V.A. Bomko, V.M. Rashkovan, A.F. Kobetz, B.I. Rudiak, L.A. Bazyma, A.V. Basteev, M.S. Lesnykh, O.O. Mishchenko, V.G.Zhuravlev, E.D. Marinina NSC "Kharkov Institu

Source URL: www.kipt.kharkov.ua

• Particle accelerators
• Nuclear weapon design