Results 221 to 230 of about 8,123,913 (272)
Tunable arbitrarily located quasi-corner states in multiphase weak topological insulator. [PDF]
Lou M, Li X, Qiu J, Tan D.
europepmc +1 more source
Localized Hydrogel-Based Therapeutics: A Strategic Approach to Mitigating Postoperative Recurrence in Breast Cancer. [PDF]
Kainat K +3 more
europepmc +1 more source
Exotic 4f-Correlated Electronic States of Ferromagnetic Kondo-Lattice Compounds <i>Re</i>Rh<sub>6</sub>Ge<sub>4</sub> (<i>Re</i> = Ce, Ho, Er, Tm). [PDF]
Wang C +5 more
europepmc +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '98, 1998
We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One
Benjamin C. Pierce, David N. Turner
openaire +2 more sources
We study two partial type inference methods for a language combining subtyping and impredicative polymorphism. Both methods are local in the sense that missing annotations are recovered using only information from adjacent nodes in the syntax tree, without long-distance constraints such as unification variables. One
Benjamin C. Pierce, David N. Turner
openaire +2 more sources
Efficient local type inference
ACM SIGPLAN Notices, 2008Inference of static types for local variables in Java bytecode is the first step of any serious tool that manipulates bytecode, be it for decompilation, transformation or analysis. It is important, therefore, to perform that step as accurately and efficiently as possible. Previous work has sought to give solutions with good worst-case complexity.
Ben Bellamy +3 more
openaire +2 more sources
Local distinguishability of Bell-type states
Quantum Information Processing, 2021zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fakhar Zaman +2 more
openaire +3 more sources

