The halting probability via Wang tiles
- Gregory Chaitin
- 2008
- Fundamenta Informaticae
Paper
Publications
3605 results for Mathematical Sciences
Adaptive barrier update strategies for nonlinear interior methods
- Jorge Nocedal
- Andreas Wächter
- et al.
- 2008
- SIAM Journal on Optimization
PaperResource constrained stream mining with classifier tree topologies
- Brian Foo
- Deepak S. Turaga
- et al.
- 2008
- IEEE SPL
PaperOptical diagnostics for IBM POWER6 TM Microprocessor
- Peilin Song
- Stephen Ippolito
- et al.
- 2008
- IEEE ITC 2008
Conference paperFingerprint verification using SIFT features
- Unsang Park
- Sharath Pankanti
- et al.
- 2008
- SPIE Defense + Security 2008
Conference paperEvaluation of 32nm Advanced immersion lithography pellicles
- N. Zhou
- K. Racette
- et al.
- 2008
- SPIE Photomask Technology + EUV Lithography 2008
Conference paperIntegration of polymer self-assembly for lithographic application
- Joy Y. Cheng
- Daniel P. Sanders
- et al.
- 2008
- SPIE Advanced Lithography 2008
Conference paperOn-chip timing uncertainty measurements on IBM microprocessors
- R.L. Franch
- P. Restle
- et al.
- 2008
- IEEE ITC 2008
Conference paperWavefront generated by reflection of a plane wave from a conic section
- John A. Hoffnagle
- David L. Shealy
- 2008
- SPIE Optical Engineering + Applications 2008
Conference paperImprovements in accuracy of dense OPC models
- Chidam Kallingal
- James Oberschmidt
- et al.
- 2008
- SPIE Photomask Technology + EUV Lithography 2008
Conference paper