Matches in SemOpenAlex for { <https://semopenalex.org/work/W2139371904> ?p ?o ?g. }
- W2139371904 endingPage "70" @default.
- W2139371904 startingPage "39" @default.
- W2139371904 abstract "Optical systems are becoming increasingly important by resolving many bottlenecks in today’s communication, electronics, and biomedical systems. However, given the continuous nature of optics, the inability to efficiently analyze optical system models using traditional paper-and-pencil and computer simulation approaches sets limits especially in safety-critical applications. In order to overcome these limitations, we propose to employ higher-order-logic theorem proving as a complement to computational and numerical approaches to improve optical model analysis in a comprehensive framework. The proposed framework allows formal analysis of optical systems at four abstraction levels, i.e., ray, wave, electromagnetic, and quantum." @default.
- W2139371904 created "2016-06-24" @default.
- W2139371904 creator A5007159598 @default.
- W2139371904 creator A5017246972 @default.
- W2139371904 creator A5036366006 @default.
- W2139371904 creator A5064508508 @default.
- W2139371904 creator A5066768973 @default.
- W2139371904 creator A5070167249 @default.
- W2139371904 creator A5074297675 @default.
- W2139371904 date "2014-03-01" @default.
- W2139371904 modified "2023-10-15" @default.
- W2139371904 title "Formal Analysis of Optical Systems" @default.
- W2139371904 cites W117387719 @default.
- W2139371904 cites W1417172323 @default.
- W2139371904 cites W1497011154 @default.
- W2139371904 cites W1498330459 @default.
- W2139371904 cites W1521372188 @default.
- W2139371904 cites W1525737662 @default.
- W2139371904 cites W1545409775 @default.
- W2139371904 cites W1569069553 @default.
- W2139371904 cites W1600435877 @default.
- W2139371904 cites W1601195943 @default.
- W2139371904 cites W1971212788 @default.
- W2139371904 cites W1977733098 @default.
- W2139371904 cites W1992640898 @default.
- W2139371904 cites W1993393507 @default.
- W2139371904 cites W1993928621 @default.
- W2139371904 cites W2001586697 @default.
- W2139371904 cites W2011964761 @default.
- W2139371904 cites W2015436908 @default.
- W2139371904 cites W2041251400 @default.
- W2139371904 cites W2042317202 @default.
- W2139371904 cites W2044449547 @default.
- W2139371904 cites W2044506466 @default.
- W2139371904 cites W2056514642 @default.
- W2139371904 cites W2058874525 @default.
- W2139371904 cites W2090445846 @default.
- W2139371904 cites W2092091429 @default.
- W2139371904 cites W2095715758 @default.
- W2139371904 cites W2104526670 @default.
- W2139371904 cites W2111980500 @default.
- W2139371904 cites W2133093325 @default.
- W2139371904 cites W2155605528 @default.
- W2139371904 cites W2158168319 @default.
- W2139371904 cites W2160548068 @default.
- W2139371904 cites W2164146313 @default.
- W2139371904 cites W2165462659 @default.
- W2139371904 cites W2174838357 @default.
- W2139371904 cites W2179731956 @default.
- W2139371904 cites W2954029160 @default.
- W2139371904 cites W2963360541 @default.
- W2139371904 cites W3088536789 @default.
- W2139371904 cites W3100984027 @default.
- W2139371904 cites W3104420136 @default.
- W2139371904 cites W4241214195 @default.
- W2139371904 cites W4250821946 @default.
- W2139371904 cites W4299908858 @default.
- W2139371904 cites W43281984 @default.
- W2139371904 cites W4816195 @default.
- W2139371904 doi "https://doi.org/10.1007/s11786-014-0175-z" @default.
- W2139371904 hasPublicationYear "2014" @default.
- W2139371904 type Work @default.
- W2139371904 sameAs 2139371904 @default.
- W2139371904 citedByCount "18" @default.
- W2139371904 countsByYear W21393719042014 @default.
- W2139371904 countsByYear W21393719042015 @default.
- W2139371904 countsByYear W21393719042016 @default.
- W2139371904 countsByYear W21393719042017 @default.
- W2139371904 countsByYear W21393719042020 @default.
- W2139371904 countsByYear W21393719042023 @default.
- W2139371904 crossrefType "journal-article" @default.
- W2139371904 hasAuthorship W2139371904A5007159598 @default.
- W2139371904 hasAuthorship W2139371904A5017246972 @default.
- W2139371904 hasAuthorship W2139371904A5036366006 @default.
- W2139371904 hasAuthorship W2139371904A5064508508 @default.
- W2139371904 hasAuthorship W2139371904A5066768973 @default.
- W2139371904 hasAuthorship W2139371904A5070167249 @default.
- W2139371904 hasAuthorship W2139371904A5074297675 @default.
- W2139371904 hasBestOaLocation W21393719042 @default.
- W2139371904 hasConcept C104317684 @default.
- W2139371904 hasConcept C111472728 @default.
- W2139371904 hasConcept C112313634 @default.
- W2139371904 hasConcept C113775141 @default.
- W2139371904 hasConcept C120665830 @default.
- W2139371904 hasConcept C121332964 @default.
- W2139371904 hasConcept C124304363 @default.
- W2139371904 hasConcept C127716648 @default.
- W2139371904 hasConcept C134949993 @default.
- W2139371904 hasConcept C138885662 @default.
- W2139371904 hasConcept C185592680 @default.
- W2139371904 hasConcept C188082640 @default.
- W2139371904 hasConcept C41008148 @default.
- W2139371904 hasConcept C55493867 @default.
- W2139371904 hasConcept C80444323 @default.
- W2139371904 hasConceptScore W2139371904C104317684 @default.
- W2139371904 hasConceptScore W2139371904C111472728 @default.
- W2139371904 hasConceptScore W2139371904C112313634 @default.
- W2139371904 hasConceptScore W2139371904C113775141 @default.