Search results for "Quine"

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