Results 11 to 20 of about 1,625,324 (292)
Magnetic Resonance Lithography with Nanometer Resolution
Technologies, 2016 We propose an approach for super-resolution optical lithography which is based on the inverse of magnetic resonance imaging (MRI). The technique uses atomic coherence in an ensemble of spin systems whose final state population can be optically detected ...
Fahad AlGhannam +3 more
doaj +4 more sources
On the proof complexity of Paris-harrington and off-diagonal ramsey tautologies [PDF]
, 2016 We study the proof complexity of Paris-Harrington’s Large Ramsey Theorem for bi-colorings of graphs and of off-diagonal Ramsey’s Theorem. For Paris-Harrington, we prove a non-trivial conditional lower bound in Resolution and a non-trivial upper bound ...
Carlucci, Lorenzo +2 more
core +1 more source
Resolution over Linear Equations and Multilinear Proofs [PDF]
, 2007 We develop and study the complexity of propositional proof systems of varying strength extending resolution by allowing it to operate with disjunctions of linear equations instead of clauses.
Alekhnovich +26 more
core +4 more sources
A lower bound for the pigeonhole principle in tree-like Resolution by asymmetric Prover-Delayer games [PDF]
, 2010 In this note we show that the asymmetric Prover–Delayer game developed in Beyersdorff et al. (2010) [2] for Parameterized Resolution is also applicable to other tree-like proof systems.
Atserias +10 more
core +2 more sources
Advanced Science, 2022 Continued research in fields such as materials science and biomedicine requires the development of a super‐resolution imaging technique with a large field of view (FOV) and deep subwavelength resolution that is compatible with both fluorescent and ...
Mingwei Tang +10 more
doaj +1 more source
INVESTIGATIONS ON A COMBINED RGB / TIME-OF-FLIGHT APPROACH FOR CLOSE RANGE APPLICATIONS [PDF]
The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences, 2012 3D surface and scene reconstruction for close range applications mainly rely on high resolution and accurate system devices and powerful algorithms.
H. Hastedt, Th. Luhmann
doaj +1 more source
Fractional Branes on a Non-compact Orbifold [PDF]
, 2001 Fractional branes on the non-compact orbifold $\C^3/\Z_5$ are studied. First, the boundary state description of the fractional branes are obtained. The open-string Witten index calculated using these states reproduces the adjacency matrix of the quiver ...
Mukhopadhyay, Subir, Ray, Koushik
core +3 more sources
THE PRINCIPLE OF TERRITORIAL INTEGRITY IN THE CONTEXT OF TERRITORIAL DISPUTES RESOLUTION
Московский журнал международного права, 2018 INTRODUCTION. The research of the conceptual foundations of the principle of territorial integrity of states, taking into account possible conflicts of this principle with the principle of the right of people to self-determination equivalent in their ...
T. D. Matveeva
doaj +1 more source
Necessity Measures and the Resolution Principle
IEEE Transactions on Systems, Man, and Cybernetics, 1987 In this paper a careful distinction is made between fuzzy propositions (i.e. propositions involving vague predicates) which may have intermediary degrees of truth, and uncertain propositions (with non-vague predicates) whose truth or falsity cannot definitely established due to the incompleteness of the available information.
Dubois, Didier, Prade, Henri
openaire +4 more sources
, 2005 Evaluation of residual elastic strain within the bulk of engineering components or natural objects is a challenging task, since in general it requires mapping a six-component tensor quantity in three dimensions.
Dini, Daniele +6 more
core +2 more sources