Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Stephen A. Cook
Two Applications of Inductive Counting for Complementation Problems
SIAM Journal on Computing
Mathematics
Computer Science
The Complexity of Theorem-Proving Procedures
Related publications
Some Hard Families of Parameterized Counting Problems
ACM Transactions on Computation Theory
Computational Theory
Theoretical Computer Science
Mathematics
Investigation of a Low-Cost Magneto-Inductive Magnetometer for Space Science Applications
Foundations for Decision Problems in Separation Logic With General Inductive Predicates
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Applications of High-Resolution Imaging for Open Field Container Nursery Counting
Remote Sensing
Earth
Planetary Sciences
Impedance Strongly Inductive Two-Layer Media
New Horizons in Mathematical Physics
Investigation of Fuzzy Inductive Modeling Method in Forecasting Problems
Membrane Applications for Environmental Problems.
membrane
Improvement of Radio Frequency Current Measurement for Inductive Coupled Plasma and Its Applications.
SHINKU
Comparison of Two Automatic Cell-Counting Solutions for Fluorescent Microscopic Images
Journal of Microscopy
Forensic Medicine
Pathology
Histology
