5 research outputs found
The nil Hecke ring and singularity of Schubert varieties
- Author
- A. Joseph
- A. Joseph
- A. Ramanathan
- A. Ramanathan
- B. Kostant
- B. Kostant
- B.D. Boe
- D. Kazhdan
- D. Mumford
- E. Cline
- H.H. Andersen
- I.N. Bernstein
- J. Harris
- J.B. Carrell
- J.C. Jantzen
- J.S. Wolper
- J.S. Wolper
- K.M. Ryan
- M.J. Dyer
- N. Bourbaki
- O. Mathieu
- P. Polo
- P. Slodowy
- R. Hartshorne
- S. Kumar
- Shrawan Kumar
- V. Lakshmibai
- V. Lakshmibai
- V.V. Deodhar
- V.V. Deodhar
- W. Rossmann
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1995
- Field of study
We give a criterion for smoothness of a point in any Schubert variety in any
G/B in terms of the nil Hecke ring.Comment: AMSTE
The myth makers and wreckers: Syndicated and non-syndicated sports columnists at 103 metro newspapers
- Author
- Publication venue
- 'Elsevier BV'
- Publication date
- Field of study
A model parametric real-time logic
- Author
- ANDREWS P.B.
- Angelo Morzenti
- ATTIYA H.
- BARRINGER H.
- BEN-ARL M.
- BERNSTEIN A.
- Carlo Ghezzi
- CLARKE E. M.
- COEN A.
- Dino Mandrioli
- GHEZZI C.
- GUTTAG J. V.
- HALPERN J.
- KEMMERER R.A
- KOYMANS R.
- KOYMANS R.
- KOYMANS R.
- KR GER
- LYNCH N.
- MENDELSON E.
- MO ENTI
- MORZENTI A.
- MORZENTI A.
- MOSZKOWSKI B
- NARAYANA K. T.
- OSTROFF J. S.
- OSTROFF J.S.
- PNUELI A.
- SCYIWARTZ R. L.
- SMULLIAN R.M.
- WOLPER P
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
Formal hardware verification methods: A survey
- Author
- A. Bronstein
- A. Bronstein
- A. Cohn
- A. Cohn
- A. Pneuli
- A. Pnueli
- A. Pnueli
- A. Pnueli
- A.C. Shaw
- A.J. Camilleri
- A.J. Martin
- A.P. Sistla
- A.P. Sistla
- A.P. Sistla
- B. Gopinath
- B. Mishra
- C.A.R. Hoare
- C.A.R. Hoare
- C.A.R. Hoare
- D. Borrione
- D. Borrione
- D. Harel
- D. Kozen
- D. Lehmann
- D. Niwinski
- D. Park
- D. Park
- D. Verkest
- D. Verkest
- D. Weise
- D.L. Beatty
- D.L. Dill
- D.L. Dill
- D.L. Dill
- E. Harel
- E. Mendelson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.A. Emerson
- E.F. Moore
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- E.M. Clarke
- F. Jahanian
- F. Jahanian
- F. Maruyama
- F.K. Hanna
- G. Hunter
- G. Winskel
- G.E. Hughes
- G.H. MacEwen
- G.V. Bochmann
- H. Busch
- H. Eveking
- H. Lewis
- H. Ochi
- H.G. Barrow
- I. Dhingra
- I. Gertner
- J. Burch
- J. Burch
- J. Halpern
- J. Ostroff
- J.A. Darringer
- J.C. Madre
- J.E. Hopcroft
- J.J. Joyce
- J.P. Billon
- J.P. Billon
- J.P. Queille
- J.P. Queille
- J.R. Burch
- J.R. Burch
- J.R. Burch
- J.R. Burch
- J.R. Büchi
- J.S. Moore
- K. Apt
- L. Lamport
- L. Lamport
- M. Ben-Ari
- M. Fujita
- M. Fujita
- M. Fujita
- M. Rem
- M. Sheeran
- M. Vardi
- M. Vardi
- M. Yoeli
- M.C. Browne
- M.C. Browne
- M.C. Browne
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.J.C. Gordon
- M.R. Barbacci
- M.R. Garey
- N. Francez
- N. Rescher
- O. Coudert
- O. Coudert
- O. Coudert
- O. Coudert
- O. Grumberg
- O. Lichtenstein
- P. Camurati
- P. Halmos
- P. Loewenstein
- P. Loewenstein
- P. Wolper
- P. Wolper
- R. Alur
- R. Alur
- R. Alur
- R. Milner
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Bryant
- R.E. Shostak
- R.P. Kurshan
- R.P. Kurshan
- R.P. Kurshan
- R.S. Boyer
- R.S. Boyer
- R.W. Floyd
- S. Aggarwal
- S. Bose
- S. Bose
- S. Owicki
- S.M. German
- T.-A. Chu
- T.F. Melham
- T.F. Melham
- W. Luk
- W. Thomas
- W.A. Hunt Jr.
- W.A. Hunt Jr.
- W.D. Young
- W.F. Clocksin
- W.J. Cullyer
- W.R. Bevier
- W.R. Bevier
- W.S. Hatcher
- Y. Malachi
- Z. Chaochen
- Z. Har'El
- Z. Kohavi
- Z. Manna
- Z. Manna
- Z. Manna
- Z. Manna
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- Field of study
Physician Payment Systems: A Review of History, Alternatives and Evidence
- Author
- American Medical Association
- Anderson G.
- Arrow K.J.
- Auster R.D.
- Beck R.G.
- Becker E.R.
- Beebe J.
- Begun J.W.
- Berry C.
- Blumberg M.S.
- Brown D.M.
- Brown L.D.
- Broyles R.W.
- Bunker J.P.
- Burkett G.L.
- Burney I.L.
- Cantwell J.R.
- Cantwell J.R.
- Carroll M.S.
- Christianson J.B.
- Coelen C.G.
- Conrad D.A.
- Davis K.
- Davis K.
- Davis K.
- Delbanco T.L.
- Densen P.M.
- Dicker M.
- Dutton B.L.
- Dyckman Z.Y.
- Eggers P.W.
- Eisenstadt D.
- Enthoven A.
- Evans R.G.
- Feder J.M.
- Feder J.M.
- Feldman R.
- Feldman R.
- Feldstein M.S.
- Ferry T.P.
- Foster R.W.
- Frech H.E.
- Freeland M.S.
- Freeland M.S.
- Freshnock L.J.
- Fuchs V.R.
- Fuchs V.R.
- Gabel J.R.
- Gabel J.R.
- Gabel J.R.
- Garner D.D.
- Gaumer G.L.
- Gianfrancesco F.D.
- Gibson R.M.
- Gibson R.M.
- Ginsburg P.B.
- Ginsburg P.B.
- Goldstein I.
- Golladay F.L.
- Goodman L.J.
- Goodman L.J.
- Gornick M.
- Graduate Medical Education National Advisory Committee
- Green J.
- Greenberg W.
- Greenlick M.R.
- Greenspan N. T.
- Hadley J.
- Hadley J.
- Hadley J.
- Hadley J.
- Haug M.
- Havighurst C.C.
- Havighurst C.C.
- Hay J.W.
- Hay J.W.
- Health Care Financing Administration Medicare Bureau
- Helms L.J.
- Holahan J.
- Holahan J.
- Holahan J.
- Holahan J.
- Homer C.G.
- Hsiao W.C.
- Hsiao W.C.
- Huang L.
- Ingram J.
- Jencks S.F.
- Johnson J.L.
- Juba D.A.
- Kasper J.A.
- Kass D.I.
- Keeler E.B.
- Keeler E.B.
- Keeler E.B.
- Kehrer B.H.
- Kehrer B.H.
- Kehrer B.H.
- Kessel R.A.
- Kimbell L.J.
- Kimbell L.J.
- Kimberly J.R.
- Lamb S.J.
- Langwell K.M.
- Langwell K.M.
- Laurence K.
- Lee R.H.
- Lee R.H.
- Lindsay C.M.
- Link C.R.
- LoGerfo J.P.
- Lomas J.
- Long S.H.
- Lorant J.H.
- Luce B.R.
- Luft H.S.
- Marder W.D.
- Margolis S.E.
- Markel S.F.
- Marquis M.S.
- Masson R.T.
- Mathematica Policy Research
- McCann R.W.
- McGuire T.G.
- McKibben M.S.
- McLean R.A.
- McMenamin P.
- McPherson K.
- Mechanic D.
- Meier J.
- Meyer J.A.
- Mitchell J.B.
- Mitchell J.B.
- Mitchell S.
- Morrisey M.A.
- Muller C.F.
- Muse D.N.
- Nagumey J.T.
- Nathanson C.A.
- National Center for Health Services Research
- Newhouse J.P.
- Newhouse J.P.
- Newhouse J.P.
- Newhouse J.P.
- Newhouse J.P.
- Newhouse J.P.
- Noie N.E.
- Nutting P.A.
- Otelsberg J.
- Paringer L.
- Pauly M.V.
- Pauly M.V.
- Perry J.E.
- Pfizenmayer R.F.
- Phelps C.E.
- Pollard M.R.
- Prussin J.A.
- Ramsey J.B.
- Ramsey J.B.
- Reinhardt U.E.
- Rice T.
- Rice T.H.
- Richardson W.C.
- Roback G.
- Rodgers J.F.
- Roe B.B.
- Rossiter L.F.
- Rossiter L.F.
- Rossiter L.F.
- Rothschild M.
- Roy W. R.
- Ruffin R.J.
- Salkever D.S.
- Saward E.W.
- Scheffler R.M.
- Schieber G.J.
- Schroeder S.A.
- Schwartz W.B.
- Scitovsky A.A.
- Seidman L.S.
- Showstack J.A.
- Sloan F.A.
- Sloan F.A.
- Sloan F.A.
- Sloan F.A.
- Sloan F.A.
- Sloan F.A.
- Stano M.
- Steinwald B.
- Steinwald B.
- Thomas J.W.
- U.S. Congress. Senate Committee on Finance House Committee on Ways and Means, and the House Committee on Energy and Commerce
- U.S. Congressional Budget Office
- U.S. Congressional Office of Technology Assessment
- U.S. Department of Health and Human Services. Office of the Assistant Secretary for Planning and Evaluation Division of Health Resources and Services Policy
- U.S. General Accounting Office
- U.S. House of Representatives. Committee on Ways and Means Subcommittee on Health
- U.S. Senate. Special Committee on Aging
- Vahovich S.G.
- Warner J.S.
- Wolfson D.B.
- Wolinsky F.D.
- Wolkstein I.
- Wolper L.F.
- Woodward A.
- Yett D.E.
- Yett D.E.
- Yoder S.G.
- Young D.W.
- Zelten R.A.
- Publication venue
- 'SAGE Publications'
- Publication date
- Field of study