Results 11 to 20 of about 318,464 (268)
SINGLE IMAGE REFLECTION REMOVAL WITH SEGMENTATION
ICTACT Journal on Image and Video Processing, 2022 Removal of reflection is of high importance to reclaim the original background image. Several attempts have been made to separate reflection from background.
Rashmi Chaurasiya, Dinesh Ganotra
doaj +1 more source
Types of Beixi slopes and the process of tectonic evolution [PDF]
E3S Web of Conferences, 2022 The phenomenon of oil and gas accumulation on the Beixi slope is obvious, which is one of the important directions of oil and gas pre-exploration and increasing reserves and production in the future.
Lv Chao, Wang Yougong
doaj +1 more source
Reflections on existential types
CoRR, 2022 Existential types are reconstructed in terms of small reflective subuniverses and dependent sums. The folklore decomposition detailed here gives rise to a particularly simple account of first-class modules as a mode of use of traditional second-class modules in connection with the modal operator induced by a reflective subuniverse, leading to a ...
openaire +2 more sources
A Type System for Reflective Program Generators [PDF]
Science of Computer Programming, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Christof Lutteroth +2 more
openaire +4 more sources
Super-Precise Scale Bar for Reflection-Type THz Imaging
IEEE Photonics Journal, 2017 The reflection of terahertz wave from a metallic surface with subwavelength periodic structure was investigated experimentally and theoretically.
Senfeng Lai +4 more
doaj +1 more source
Miniature Reflection-Type Optical Displacement Sensor Incorporating a Projected Beam
IEEE Photonics Journal, 2015 We embody a miniature reflection-type optical displacement sensor tapping into a projected beam that features high structural tolerance. A code scale with periodic patterns spatially encrypts the projected beam, which is established by imaging a ...
Yong-Geon Lee +2 more
doaj +1 more source
Eliminating reflection from type theory [PDF]
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019 Type theories with equality reflection, such as extensional type theory (ETT), are convenient theories in which to formalise mathematics, as they make it possible to consider provably equal terms as convertible. Although type-checking is undecidable in this context, variants of ETT have been implemented, for example in NuPRL and more recently in ...
Théo Winterhalter +2 more
openaire +2 more sources
APPLICATIONS OF REFLECTION AMPLITUDES IN TODA-TYPE THEORIES [PDF]
Integrable Quantum Field Theories and Their Applications, 2001 withdrawn
Ahn, Changrim, Kim, Chanju, Rim, Chaiho
openaire +3 more sources
A study on acoustic metamaterial to control reflection sound
Nihon Kikai Gakkai ronbunshu, 2017 Acoustic metamaterial can have arbitrary acoustic characteristics , and there is possibility to improve acoustic performance of any products dramatically. As metamaterial, many kind of types have been propounded and studied.
Yukihide NAGAYO +2 more
doaj +1 more source
A Revised LRSPR Sensor with Sharp Reflection Spectrum
Sensors, 2014 In this work, we have proposed a novel long-range surface plasmon resonance (LRSPR) sensor with sharp reflection spectrum, which consists of a glass prism, a (A/B)4-type waveguide-coupled layer and a metal layer.
Yinquan Yuan, Yutang Dai
doaj +1 more source