Results 271 to 280 of about 3,605,424 (316)
Some of the next articles are maybe not open access.
Generalized resolution and NC-resolution
Journal of Computer Science and Technology, 1994zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Xuhua Liu, Jigui Sun
openaire +2 more sources
Immunological Reviews, 2023
SummaryPhagocytosis is a fundamental immunobiological process responsible for the removal of harmful particulates. While the number of phagocytic events achieved by a single phagocyte can be remarkable, exceeding hundreds per day, the same phagocytic cells are relatively long‐lived.
Sivakami Mylvaganam, Spencer A. Freeman
openaire +2 more sources
SummaryPhagocytosis is a fundamental immunobiological process responsible for the removal of harmful particulates. While the number of phagocytic events achieved by a single phagocyte can be remarkable, exceeding hundreds per day, the same phagocytic cells are relatively long‐lived.
Sivakami Mylvaganam, Spencer A. Freeman
openaire +2 more sources
Resolution and super‐resolution
Microscopy Research and Technique, 2017AbstractMany papers have claimed the attainment of super‐resolution, i.e. resolution beyond that achieved classically, by measurement of the profile of a feature in the image. We argue that measurement of the contrast of the image of a dark bar on a bright background does not give a measure of resolution, but of detection sensitivity.
openaire +2 more sources
Journal of the ACM, 1968
A refinement of the resolution method for mechanical theorem proving is presented. A resolvent C of clauses A and B is called a merge if literals from A and B merge together to form some literal of
openaire +2 more sources
A refinement of the resolution method for mechanical theorem proving is presented. A resolvent C of clauses A and B is called a merge if literals from A and B merge together to form some literal of
openaire +2 more sources
Super-resolution for high-resolution displays
2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE), 2014We propose a super-resolution system for high-resolution displays that decomposes the input image into a structure component and a texture component using total variation regularization. The structure component is processed using a shock filter and the texture component is processed by a pulse enhancement filter. This system requires less computational
Kyohei Goto +4 more
openaire +1 more source
Trends in Cognitive Sciences, 1997
Attention can enhance selectively the visual information processing of particular locations or objects. Recent studies have shown that this enhancement has limited spatial resolution, the smallest regions that can be isolated by attention are much coarser than the smallest details that can be resolved by vision.
S, He, P, Cavanagh, J, Intriligator
openaire +2 more sources
Attention can enhance selectively the visual information processing of particular locations or objects. Recent studies have shown that this enhancement has limited spatial resolution, the smallest regions that can be isolated by attention are much coarser than the smallest details that can be resolved by vision.
S, He, P, Cavanagh, J, Intriligator
openaire +2 more sources
Regular Resolution Versus Unrestricted Resolution
SIAM Journal on Computing, 1993The resolution proof rule is a basic principle of many implementations in logic programming, and a number of theoretical and applied aspects are based on it. The introduction of restriction influences the length of regular resolution proofs of an unsatisfiable propositional formula.
openaire +2 more sources
The Laryngoscope, 1973
AbstractIn the Mongolian gerbil's middle ear, response to the presence of blood clot is characterized by mucosal hypertrophy and a vigorous organizational response within a two‐week period. Another three to four weeks are necessary for complete assimilation of remaining inflammatory products by active phagocytosis and absorption through a multi‐layered
openaire +2 more sources
AbstractIn the Mongolian gerbil's middle ear, response to the presence of blood clot is characterized by mucosal hypertrophy and a vigorous organizational response within a two‐week period. Another three to four weeks are necessary for complete assimilation of remaining inflammatory products by active phagocytosis and absorption through a multi‐layered
openaire +2 more sources
2009
We introduce a new method for solving systems of linear inequalities over the rationals-the conflict resolution method. The method successively refines an initial assignment with the help of newly derived constraints until either the assignment becomes a solution of the system or a trivially unsatisfiable constraint is derived. We show that this method
Konstantin Korovin +2 more
openaire +3 more sources
We introduce a new method for solving systems of linear inequalities over the rationals-the conflict resolution method. The method successively refines an initial assignment with the help of newly derived constraints until either the assignment becomes a solution of the system or a trivially unsatisfiable constraint is derived. We show that this method
Konstantin Korovin +2 more
openaire +3 more sources
Extending resolution to resolution logics
Journal of Experimental & Theoretical Artificial Intelligence, 1991Abstract In previous papers (O'Hearn & Stachniak 1989b, Stachniak & O'Hearn 1990, Stachniak 1989,1990a) we proposed an algebraic methodological framework for the introduction and analysis of resolution proof systems for finitely-valued logical calculi. In the present paper we extend this approach to a wider class of the so-called resolution logics.
openaire +1 more source