Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Javad Safaei, Hamid Beigy |
Quine-McCluskey Classification. |
AICCSA |
2007 |
DBLP DOI BibTeX RDF |
|
47 | N. Raja 0001, R. K. Shyamasundar |
Combinatory Formaulations of Concurrent Languages. |
ACM Trans. Program. Lang. Syst. |
1997 |
DBLP DOI BibTeX RDF |
Quine-Bernays combinators, functional completeness |
42 | M. Randall Holmes |
Symmetry as a Criterion for Comprehension Motivating Quine's 'New Foundations'. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
New Foundations, Rieger-Bernays permutation methods, symmetry |
42 | Milan Petrík |
Quine-McCluskey method for many-valued logical functions. |
Soft Comput. |
2008 |
DBLP DOI BibTeX RDF |
Logical circuit design, Many-valued logic, Normal form, Hardware design |
37 | Rui Zhang, Jianhui Jiang, Jie Yin, Ang Jin, Jungang Lou, Ying Wu |
A New Method for Test Suite Reduction. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Philippe Aumasson, Dmitry Khovratovich, Bart Mennink, Porçu Quine |
SAFE: Sponge API for Field Elements. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
32 | Seeyam Quine |
Kristine Is Not Well. |
SIGGRAPH Asia XR |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Boyi Liang, Timothy A. Quine, Hongyan Liu 0003, Elizabeth L. Cressey, Ian J. Bateman |
How Can We Realize Sustainable Development Goals in Rocky Desertified Regions by Enhancing Crop Yield with Reduction of Environmental Risks? |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
32 | Boyi Liang, Hongyan Liu 0003, Xiaoqiu Chen, Xinrong Zhu, Elizabeth L. Cressey, Timothy A. Quine |
Periodic Relations between Terrestrial Vegetation and Climate Factors across the Globe. |
Remote. Sens. |
2020 |
DBLP DOI BibTeX RDF |
|
32 | Sanjar M. Abrarov, Brendan M. Quine |
A rational approximation of the Dawson's integral for efficient computation of the complex error function. |
Appl. Math. Comput. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Ronald G. Hauser, Douglas B. Quine, Alex Ryder, Sheldon Campbell |
Unit conversions between LOINC codes. |
J. Am. Medical Informatics Assoc. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Ronald G. Hauser, Douglas B. Quine, Alex Ryder |
LabRS: A Rosetta stone for retrospective standardization of clinical laboratory test results. |
J. Am. Medical Informatics Assoc. |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Sanjar M. Abrarov, Brendan M. Quine |
Sampling by incomplete cosine expansion of the sinc function: Application to the Voigt/complex error function. |
Appl. Math. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Hugh Chesser, Regina Lee, Guy Benari, Rajinder K. Jagpal, Kenneth Lam, Brendan M. Quine |
Geolocation of Argus Flight Data. |
IEEE Trans. Geosci. Remote. Sens. |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Sanjar M. Abrarov, Brendan M. Quine |
On the Fourier expansion method for highly accurate computation of the Voigt/complex error function in a rapid algorithm |
CoRR |
2012 |
DBLP BibTeX RDF |
|
32 | Mark A. Post, Brendan M. Quine, Regina Li |
Bayesian Decision Making for Planetary Micro-Rovers. |
Infotech@Aerospace |
2012 |
DBLP DOI BibTeX RDF |
|
32 | Sanjar M. Abrarov, Brendan M. Quine |
Efficient algorithmic implementation of the Voigt/complex error function based on exponential series approximation. |
Appl. Math. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Mark A. Post, Regina Lee, Brendan M. Quine |
Modular Design for Space Engineering Research Platforms. |
ICINCO (2) |
2011 |
DBLP BibTeX RDF |
|
32 | Sanjar M. Abrarov, Brendan M. Quine, Rajinder K. Jagpal |
High-accuracy approximation of the complex probability function by Fourier expansion of exponential multiplier. |
Comput. Phys. Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Regina Lee, Brendan M. Quine, Kartheephan Sathiyanathan, Caroline Roberts |
Design of a Four Degree_of_Freedom Manipulator for Northern Light Mars Mission. |
Future Application and Middleware Technology on e-Science |
2010 |
DBLP DOI BibTeX RDF |
|
32 | Brendan M. Quine, Valery Tarasyuk, Henok Mebrahtu, Richard Hornsey |
Determining star-image location: A new sub-pixel interpolation technique to process image centroids. |
Comput. Phys. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Brendan M. Quine |
A derivative-free implementation of the extended Kalman filter. |
Autom. |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Ronald R. DeLyser, Richard W. Quine, Paul J. Rullkoetter, Daniel L. Armentrout |
A sophomore capstone course in measurement and automated data acquisition. |
IEEE Trans. Educ. |
2004 |
DBLP DOI BibTeX RDF |
|
32 | John R. Quine, Timothy A. Cross |
Protein Structure from Solid-State NMR. |
Mathematical Methods for Protein Structure Analysis and Design |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Kimberly Strong, Peter F. Bernath, James Drummond, Hans Fast, John C. McConnell, C. Thomas McElroy, Brendan M. Quine, Theodore G. Shepherd, Brian H. Solheim, Dale Sommerfeldt, Pierre F. Fogal, Frank J. Murcray, Florence Goutail |
The MANTRA campaigns - studying the stratosphere from balloons. |
IGARSS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Éamonn McKernan, Brendan M. Quine, James Drummond |
MOPITT sensitivity studies: Computation of instrument parameter dependencies. |
IGARSS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | James Drummond, Victoria J. Hipkin, Boyd T. Tolton, Kimberly Strong, Brendan M. Quine, B. A. Rivard, J. J. Caldwell, John C. McConnell, G. R. Davis, François Châteauneuf, John Hackett |
A Canadian atmospheric and geological mission to Mars. |
IGARSS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Denis G. Dufour, James Drummond, Brendan M. Quine, Wayne F. J. Evans, Eldon Puckrin |
Characterization of simultaneous ozone measurements by the MAESTRO and FTS space instruments. |
IGARSS |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Promoting extensionality. |
Synth. |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Predicate Functors Revisited. |
J. Symb. Log. |
1981 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Unification of Universes in Set Theory. |
J. Symb. Log. |
1956 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Formulas with Valid Cases. |
J. Symb. Log. |
1956 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
A Proof Procedure for Quantification Theory. |
J. Symb. Log. |
1955 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Interpretations of Sets of Conditions. |
J. Symb. Log. |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Reduction to a Dyadic Predicate. |
J. Symb. Log. |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Quantification and the Empty Domain. |
J. Symb. Log. |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On omega;-Inconsistency and a So-Called Axiom of Infinity. |
J. Symb. Log. |
1953 |
DBLP DOI BibTeX RDF |
|
32 | Alonzo Church, Willard Van Orman Quine |
Some Theorems on Definability and Decidability. |
J. Symb. Log. |
1952 |
DBLP DOI BibTeX RDF |
|
32 | William Craig, Willard Van Orman Quine |
On Reduction to a Symmetric Relation. |
J. Symb. Log. |
1952 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Natural Deduction. |
J. Symb. Log. |
1950 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Universals. |
J. Symb. Log. |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
The Problem of Interpreting Modal Logic. |
J. Symb. Log. |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Nelson Goodman, Willard Van Orman Quine |
Steps Toward a Constructive Nominalism. |
J. Symb. Log. |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Concatenation as a Basis for Arithmetic. |
J. Symb. Log. |
1946 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Relations as Coextensive with Classes. |
J. Symb. Log. |
1946 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Ordered Pairs. |
J. Symb. Log. |
1945 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On the Logic of Quantification. |
J. Symb. Log. |
1945 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Existence Conditions for Elements and Classes. |
J. Symb. Log. |
1942 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Element and Number. |
J. Symb. Log. |
1941 |
DBLP BibTeX RDF |
|
32 | Willard Van Orman Quine, Nelson Goodman |
Elimination of Extra-Logical Postulates. |
J. Symb. Log. |
1940 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Completeness of the Propositional Calculus. |
J. Symb. Log. |
1938 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On the Theory of Types. |
J. Symb. Log. |
1938 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Derivability. |
J. Symb. Log. |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Cantor's Theorem. |
J. Symb. Log. |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Logic based on Inclusion and Abstraction. |
J. Symb. Log. |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Set-Theoretic Foundations for Logic. |
J. Symb. Log. |
1936 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Toward a Calculus of Concepts. |
J. Symb. Log. |
1936 |
DBLP DOI BibTeX RDF |
|
28 | Francis Jeffry Pelletier, Renée Elio, Philip P. Hanson |
Is Logic all in our Heads? From Naturalism to Psychologism. |
Stud Logica |
2008 |
DBLP DOI BibTeX RDF |
Mill, Frege, Husserl, Quine, artificial intelligence, psychologism, cognitive science, naturalism |
28 | M. Randall Holmes |
Paradoxes in Double Extension Set Theories. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
double extension set theory, Quine ordered pair, universal set |
28 | Robert Charles Koons |
The Logic of Causal Explanation An Axiomatization. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
causal explanation, strong Kleene, Quine, Kim, Davidson, Barwise, Etchemendy, facta, causal relata, actuality, truth-makers, ontology, modal logic, events, modality, three-valued logic, mereology, facts, causation, situation theory |
28 | Robert Brian Cutler, Saburo Muroga |
Derivation of Minimal Sums for Completely Specified Functions. |
IEEE Trans. Computers |
1987 |
DBLP DOI BibTeX RDF |
Tison Method, Abridged minterm base, inclusion function, minimum sum, Petrick function, presence function, Quine- McCluskey method, programmable logic array, switching theory, branch-and-bound method |
24 | Ramdas Kapila, Thirumalaisamy Ragunathan, Sumalatha Saleti, T. Jaya Lakshmi, Mohd Wazih Ahmad |
Heart Disease Prediction Using Novel Quine McCluskey Binary Classifier (QMBC). |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Aleksei Udovenko |
DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Aleksei Udovenko |
DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
24 | Guillaume Petiot |
Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm. |
ICAART (3) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Lidia Bedhouche, Mohamed Amir Koalal, Alaidine Ben Ayed, Ismaïl Biskri |
Efficient Association Rules Minimization Using a Double-Stage Quine-McCluskey-Based Approach. |
ICCCI |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Guillaume Petiot |
Utilisation de l'algorithme de Quine-Mc Cluskey pour améliorer la compilation des réseaux Possibilistes. |
LFA |
2022 |
DBLP BibTeX RDF |
|
24 | James Andrew Smith |
Quine on naturalism, nominalism, and philosophy's place within science. |
Synth. |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Dingzhou Fei |
Deep Neural Networks as Interpretable Cognitive Models for the Quine's Uncertainty Thesis. |
AHFE (13) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Leonardo Jara, Antonio González 0005, Raúl Pérez |
A preliminary study to apply the Quine McCluskey algorithm for fuzzy rule base minimization. |
FUZZ-IEEE |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sander Verhaegh |
Sign and Object: Quine's forgotten book project. |
Synth. |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Alfredo Roque Freire |
Review of "The Significance of the New Logic" Willard Van Orman Quine. Edited and Translated by Walter Carnielli, Frederique Janssen-Lauret, and William Pickering. Cambridge University Press, Cambridge, UK, 2018, pp. 1-200. ISBN-10: 1107179025 ISBN-13: 978-1107179028. |
Axioms |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Sung-Yun Lee, Sunmean Kim, Seokhyeong Kang |
Ternary Logic Synthesis with Modified Quine-McCluskey Algorithm. |
ISMVL |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
Quine's Fluted Fragment Revisited. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Oscar Chang, Hod Lipson |
Neural Network Quine. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Oscar Chang, Hod Lipson |
Neural Network Quine. |
ALIFE |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ryan Wright |
Quine: A Temporal Graph System for Provenance Storage and Analysis. |
IPAW |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Maurice Salles |
On Quine on Arrow. |
Soc. Choice Welf. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Thomas William Barrett, Hans Halvorson |
Quine's conjecture on many-sorted logic. |
Synth. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jared Warren |
Revisiting Quine on Truth by Convention. |
J. Philos. Log. |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David E. Taylor |
Quine on matters of fact. |
Synth. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Thomas William Barrett, Hans Halvorson |
Glymour and Quine on Theoretical Equivalence. |
J. Philos. Log. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
Quine's Fluted Fragment is Non-Elementary. |
CSL |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Kanishka Bajpayee, Surya Kant, Bhaskar Pant, Ankur Chaudhary, Shashi Kumar Sharma |
Mining Frequent Itemset Using Quine-McCluskey Algorithm. |
SocProS (2) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Bredo C. Johnsen |
Reclaiming Quine's epistemology. |
Synth. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Murdoch James Gabbay |
Consistency of Quine's New Foundations using nominal techniques. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
24 | Sourangsu Banerji |
Computer Simulation Codes for the Quine-McCluskey Method of Logic Minimization. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
24 | Jiangbo Huang |
Programing implementation of the Quine-McCluskey method for minimization of Boolean expression. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
24 | Mayukh Sarkar, Prasun Ghosal, Saraju P. Mohanty |
Reversible circuit synthesis using ACO and SA based Quine-McCluskey method. |
MWSCAS |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Abrol Fairweather |
Duhem-Quine virtue epistemology. |
Synth. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Vitthal Jadhav, Amar Buchade |
Modified Quine-McCluskey Method |
CoRR |
2012 |
DBLP BibTeX RDF |
|
24 | Roberta Ballarin |
Quine on intensional entities: Modality and quantification, truth and satisfaction. |
J. Appl. Log. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | William E. Byrd, Eric Holk, Daniel P. Friedman |
miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). |
Scheme@ICFP |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Dov M. Gabbay |
Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. |
Logica Universalis |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Jorgensen |
Scepticism about Meaning and Reference: Three Arguments by Quine, Putnam and Kripke. |
Lang. Linguistics Compass |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Rogério Passos Severo |
"Plausible insofar as it is intelligible": Quine on underdetermination. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sean Crawford |
Quantifiers and propositional attitudes: Quine revisited. |
Synth. |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Tarun Kumar Jain, Dharmender Singh Kushwaha, Arun Kumar Misra |
Optimization of the Quine-McCluskey Method for the Minimization of the Boolean Expressions. |
ICAS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Esther E. Klein, Paul J. Herskovitz |
Philosophy of science underpinnings of prototype validation: Popper vs. Quine. |
Inf. Syst. J. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Vanessa Gratzer, David Naccache |
Alien vs. Quine. |
IEEE Secur. Priv. |
2007 |
DBLP DOI BibTeX RDF |
|