<--- Back to Details
First PageDocument Content
Adaptive optics / Deformable mirror / Wavefront sensor / Wavefront / Scanning laser ophthalmoscopy / Shack–Hartmann wavefront sensor / Holography / Mirror / Photonics / Optics / Physics / Electromagnetic radiation
Date: 2011-06-02 03:29:43
Adaptive optics
Deformable mirror
Wavefront sensor
Wavefront
Scanning laser ophthalmoscopy
Shack–Hartmann wavefront sensor
Holography
Mirror
Photonics
Optics
Physics
Electromagnetic radiation

Microsoft Word - AOIM8_Murcia__Program.doc

Add to Reading List

Source URL: congresos.um.es

Download Document from Source Website

File Size: 75,08 KB

Share Document on Facebook

Similar Documents

Software / Proof assistants / Computing / Logic in computer science / JEdit / Isabelle / Standard ML / Plug-in / Selection / Logic for Computable Functions / HOL / Isabel

PDF Document

DocID: 1xVXo - View Document

Algebra / Abstract algebra / Mathematics / Semigroup theory / Algebraic structures / Monoid / Semigroup / Inverse element / Constructible universe / Ordinal number / Variety of finite semigroups / Special classes of semigroups

PDF Document

DocID: 1xVC6 - View Document

Mathematical logic / Logic / Mathematics / Automated theorem proving / Proof theory / Logic in computer science / Proof assistants / Type theory / Isabelle / Mathematical proof / Automated reasoning / Proof

PDF Document

DocID: 1xVrz - View Document

Type theory / Theoretical computer science / Proof assistants / Mathematical logic / Programming language theory / Formal methods / Lambda calculus / Logic in computer science / Isabelle / HOL / HindleyMilner type system / Automated theorem proving

Tobias Nipkow Programming and Proving in Isabelle/HOL le l

DocID: 1xV5d - View Document

Mathematical logic / Logic / Proof theory / Mathematics / Proof assistants / Logic in computer science / Type theory / Substructural logic / Sequent / First-order logic / Isabelle / Higher-order logic

PDF Document

DocID: 1xV2k - View Document