Search alternatives:
sspine » spine (Expand Search), supine (Expand Search)
linke » linked (Expand Search), linker (Expand Search), lzinke (Expand Search), lineke (Expand Search), linkke (Expand Search)
ping » ling (Expand Search), ming (Expand Search), peng (Expand Search)
lin » line (Expand Search), link (Expand Search)
sspine » spine (Expand Search), supine (Expand Search)
linke » linked (Expand Search), linker (Expand Search), lzinke (Expand Search), lineke (Expand Search), linkke (Expand Search)
ping » ling (Expand Search), ming (Expand Search), peng (Expand Search)
lin » line (Expand Search), link (Expand Search)
-
1281
Terahertz microfluidic sensing with dual-torus toroidal metasurfaces
Published 2022Get full text
Journal Article -
1282
-
1283
-
1284
-
1285
-
1286
Progress in indentation study of materials via both experimental and numerical methods
Published 2018Get full text
Get full text
Journal Article -
1287
Online video streaming for human tracking based on weighted resampling particle filter
Published 2019Get full text
Get full text
Journal Article -
1288
Free-standing one-dimensional plasmonic nanostructures
Published 2013Get full text
Get full text
Journal Article -
1289
Fourier transform-based scalable image quality measure
Published 2013Get full text
Get full text
Journal Article -
1290
Optical and electro-optic anisotropy of epitaxial PZT thin films
Published 2015Get full text
Get full text
Journal Article -
1291
Animatezoo: zero-shot video generation of cross-species animation via subject alignment
Published 2024Internet publication -
1292
-
1293
Awareness of Green Building Design in Malaysia
Published 2018Get full text
Conference or Workshop Item -
1294
Awareness of Green Building Design in Malaysia
Published 2018Get full text
Conference or Workshop Item -
1295
Foundational Integration Verification of a Cryptographic Server
Published 2024“…We used very different formal-reasoning techniques throughout the stack, ranging from computer algebra, symbolic execution, and verification-condition generation to interactive verification of functional programs including compilers for C-like and functional languages. All these component specifications and domain-specific reasoning techniques are defined and justified against common foundations in the Coq proof assistant. …”
Get full text
Article -
1296
Conformable ultrasound breast patch for deep tissue scanning and imaging
Published 2024Get full text
Article -
1297
-
1298
Topological phenomena at defects in acoustic, photonic and solid-state lattices
Published 2023“…Topological lattice defects in topological materials offer a platform to explore a diverse range of phenomena, such as robust topological-bound states, fractional charges, topological Wannier cycles, chiral and gravitational anomalies, topological lasers and topological-defect-induced pumping and non-Hermitian skin effects. In this Perspective article, we survey the developments in this rapidly moving field from both theoretical and experimental perspectives, with an emphasis on the latter. …”
Get full text
Journal Article -
1299
Highly compact ultra-low loss polarization insensitive 1-to-2 multimode interference splitter
Published 2013Get full text
Get full text
Conference Paper -
1300
Phase-preserved macroscopic visible-light carpet cloaking beyond two dimensions
Published 2015Get full text
Get full text
Journal Article