Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
61 | Javad Safaei, Hamid Beigy |
Quine-McCluskey Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 13-16 May 2007, Amman, Jordan, pp. 404-411, 2007, IEEE Computer Society, 1-4244-1030-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | N. Raja 0001, R. K. Shyamasundar |
Combinatory Formaulations of Concurrent Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 19(6), pp. 899-915, 1997. The full citation details ...](Pics/full.jpeg) |
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'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(2), pp. 195-213, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
New Foundations, Rieger-Bernays permutation methods, symmetry |
42 | Milan Petrík |
Quine-McCluskey method for many-valued logical functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(4), pp. 393-402, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICYCS ![In: Proceedings of the 9th International Conference for Young Computer Scientists, ICYCS 2008, Zhang Jia Jie, Hunan, China, November 18-21, 2008, pp. 1211-1216, 2008, IEEE Computer Society, 978-0-7695-3398-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Jean-Philippe Aumasson, Dmitry Khovratovich, Bart Mennink, Porçu Quine |
SAFE: Sponge API for Field Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 522, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
32 | Seeyam Quine |
Kristine Is Not Well. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Asia XR ![In: SIGGRAPH Asia 2023 XR, SA 2023, Sydney, NSW, Australia, December 12-15, 2023, pp. 16:1-16:2, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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? ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 13(9), pp. 1614, 2021. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Remote. Sens. ![In: Remote. Sens. 12(11), pp. 1805, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 321, pp. 526-543, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
32 | Ronald G. Hauser, Douglas B. Quine, Alex Ryder, Sheldon Campbell |
Unit conversions between LOINC codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 25(2), pp. 192-196, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 25(2), pp. 121-126, 2018. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 258, pp. 425-435, 2015. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Geosci. Remote. Sens. ![In: IEEE Trans. Geosci. Remote. Sens. 50(2), pp. 357-361, 2012. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1205.1768, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
32 | Mark A. Post, Brendan M. Quine, Regina Li |
Bayesian Decision Making for Planetary Micro-Rovers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Infotech@Aerospace ![In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012, 2012, 978-1-60086-939-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 218(5), pp. 1894-1902, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
32 | Mark A. Post, Regina Lee, Brendan M. Quine |
Modular Design for Space Engineering Research Platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICINCO (2) ![In: ICINCO 2011 - Proceedings of the 8th International Conference on Informatics in Control, Automation and Robotics, Volume 2, Noordwijkerhout, The Netherlands, 28 - 31 July, 2011, pp. 427-436, 2011, SciTePress, 978-989-8425-75-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 181(5), pp. 876-882, 2010. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Future Application and Middleware Technology on e-Science ![In: Future Application and Middleware Technology on e-Science, pp. 31-41, 2010, Springer, 978-1-4419-1718-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Phys. Commun. ![In: Comput. Phys. Commun. 177(9), pp. 700-706, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Brendan M. Quine |
A derivative-free implementation of the extended Kalman filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 42(11), pp. 1927-1934, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Educ. ![In: IEEE Trans. Educ. 47(4), pp. 453-458, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | John R. Quine, Timothy A. Cross |
Protein Structure from Solid-State NMR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mathematical Methods for Protein Structure Analysis and Design ![In: Mathematical Methods for Protein Structure Analysis and Design, Advanced Lectures, pp. 131-137, 2003, Springer, 3-540-40104-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2002, Toronto, Ontario, Canada, 24-28 June 2002, pp. 3136-3138, 2002, IEEE, 0-7803-7536-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Éamonn McKernan, Brendan M. Quine, James Drummond |
MOPITT sensitivity studies: Computation of instrument parameter dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2002, Toronto, Ontario, Canada, 24-28 June 2002, pp. 1102-1104, 2002, IEEE, 0-7803-7536-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2002, Toronto, Ontario, Canada, 24-28 June 2002, pp. 2166-2168, 2002, IEEE, 0-7803-7536-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IGARSS ![In: IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2002, Toronto, Ontario, Canada, 24-28 June 2002, pp. 3196-3198, 2002, IEEE, 0-7803-7536-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Promoting extensionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 98(1), pp. 143-151, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Predicate Functors Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 46(3), pp. 649-652, 1981. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Unification of Universes in Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 21(3), pp. 267-279, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Formulas with Valid Cases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 21(2), pp. 148, 1956. The full citation details ...](Pics/full.jpeg) |
1956 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
A Proof Procedure for Quantification Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 20(2), pp. 141-149, 1955. The full citation details ...](Pics/full.jpeg) |
1955 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Interpretations of Sets of Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(2), pp. 97-102, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Reduction to a Dyadic Predicate. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(3), pp. 180-182, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Quantification and the Empty Domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 19(3), pp. 177-179, 1954. The full citation details ...](Pics/full.jpeg) |
1954 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On omega;-Inconsistency and a So-Called Axiom of Infinity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 18(2), pp. 119-124, 1953. The full citation details ...](Pics/full.jpeg) |
1953 |
DBLP DOI BibTeX RDF |
|
32 | Alonzo Church, Willard Van Orman Quine |
Some Theorems on Definability and Decidability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 17(3), pp. 179-187, 1952. The full citation details ...](Pics/full.jpeg) |
1952 |
DBLP DOI BibTeX RDF |
|
32 | William Craig, Willard Van Orman Quine |
On Reduction to a Symmetric Relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 17(3), pp. 188, 1952. The full citation details ...](Pics/full.jpeg) |
1952 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Natural Deduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 15(2), pp. 93-102, 1950. The full citation details ...](Pics/full.jpeg) |
1950 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Universals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 12(3), pp. 74-84, 1947. The full citation details ...](Pics/full.jpeg) |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
The Problem of Interpreting Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 12(2), pp. 43-48, 1947. The full citation details ...](Pics/full.jpeg) |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Nelson Goodman, Willard Van Orman Quine |
Steps Toward a Constructive Nominalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 12(4), pp. 105-122, 1947. The full citation details ...](Pics/full.jpeg) |
1947 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Concatenation as a Basis for Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 11(4), pp. 105-114, 1946. The full citation details ...](Pics/full.jpeg) |
1946 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Relations as Coextensive with Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 11(3), pp. 71-72, 1946. The full citation details ...](Pics/full.jpeg) |
1946 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Ordered Pairs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 10(3), pp. 95-96, 1945. The full citation details ...](Pics/full.jpeg) |
1945 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On the Logic of Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 10(1), pp. 1-12, 1945. The full citation details ...](Pics/full.jpeg) |
1945 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Existence Conditions for Elements and Classes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 7(4), pp. 157-159, 1942. The full citation details ...](Pics/full.jpeg) |
1942 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Element and Number. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 6(4), pp. 135-149, 1941. The full citation details ...](Pics/full.jpeg) |
1941 |
DBLP BibTeX RDF |
|
32 | Willard Van Orman Quine, Nelson Goodman |
Elimination of Extra-Logical Postulates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 5(3), pp. 104-109, 1940. The full citation details ...](Pics/full.jpeg) |
1940 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Completeness of the Propositional Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 3(1), pp. 37-40, 1938. The full citation details ...](Pics/full.jpeg) |
1938 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On the Theory of Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 3(4), pp. 125-139, 1938. The full citation details ...](Pics/full.jpeg) |
1938 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Derivability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 2(3), pp. 113-119, 1937. The full citation details ...](Pics/full.jpeg) |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
On Cantor's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 2(3), pp. 120-124, 1937. The full citation details ...](Pics/full.jpeg) |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Logic based on Inclusion and Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 2(4), pp. 145-152, 1937. The full citation details ...](Pics/full.jpeg) |
1937 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Set-Theoretic Foundations for Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 1(2), pp. 45-57, 1936. The full citation details ...](Pics/full.jpeg) |
1936 |
DBLP DOI BibTeX RDF |
|
32 | Willard Van Orman Quine |
Toward a Calculus of Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 1(1), pp. 2-25, 1936. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 3-66, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(1), pp. 41-57, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 77(3), pp. 325-354, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 36(3), pp. 277-292, 1987. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 11, pp. 64324-64347, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Aleksei Udovenko |
DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.10083, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Aleksei Udovenko |
DenseQMC: an efficient bit-slice implementation of the Quine-McCluskey algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2023, pp. 201, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
24 | Guillaume Petiot |
Improved Encoding of Possibilistic Networks in CNF Using Quine-McCluskey Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAART (3) ![In: Proceedings of the 15th International Conference on Agents and Artificial Intelligence, ICAART 2023, Volume 3, Lisbon, Portugal, February 22-24, 2023., pp. 798-805, 2023, SCITEPRESS, 978-989-758-623-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCI ![In: Computational Collective Intelligence - 15th International Conference, ICCCI 2023, Budapest, Hungary, September 27-29, 2023, Proceedings, pp. 245-255, 2023, Springer, 978-3-031-41455-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFA ![In: Rencontres francophones sur la Logique Floue et ses Applications, LFA 2022, Toulouse, France, October 20-21, 2022, 2022, Cépaduès, 9782364939523. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
24 | James Andrew Smith |
Quine on naturalism, nominalism, and philosophy's place within science. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 198(2), pp. 1549-1567, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Dingzhou Fei |
Deep Neural Networks as Interpretable Cognitive Models for the Quine's Uncertainty Thesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AHFE (13) ![In: Advances in Artificial Intelligence, Software and Systems Engineering - Proceedings of the AHFE 2021 Virtual Conferences on Human Factors in Software and Systems Engineering, Artificial Intelligence and Social Computing, and Energy, July 25-29, 2021, USA, pp. 141-147, 2021, Springer, 978-3-030-80623-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: 29th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2020, Glasgow, UK, July 19-24, 2020, pp. 1-6, 2020, IEEE, 978-1-7281-6932-3. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Sander Verhaegh |
Sign and Object: Quine's forgotten book project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 196(12), pp. 5039-5060, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 8(2), pp. 64, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Sung-Yun Lee, Sunmean Kim, Seokhyeong Kang |
Ternary Logic Synthesis with Modified Quine-McCluskey Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), Fredericton, NB, Canada, May 21-23, 2019, pp. 158-163, 2019, IEEE, 978-1-7281-0092-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
Quine's Fluted Fragment Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.06440, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Oscar Chang, Hod Lipson |
Neural Network Quine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1803.05859, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
24 | Oscar Chang, Hod Lipson |
Neural Network Quine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALIFE ![In: 2018 Conference on Artificial Life, ALIFE 2018, Tokyo, Japan, July 23-27, 2018, pp. 234-241, 2018, MIT Press. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Ryan Wright |
Quine: A Temporal Graph System for Provenance Storage and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPAW ![In: Provenance and Annotation of Data and Processes - 7th International Provenance and Annotation Workshop, IPAW 2018, London, UK, July 9-10, 2018, Proceedings, pp. 177-180, 2018, Springer, 978-3-319-98378-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Maurice Salles |
On Quine on Arrow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soc. Choice Welf. ![In: Soc. Choice Welf. 48(4), pp. 877-886, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Thomas William Barrett, Hans Halvorson |
Quine's conjecture on many-sorted logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 194(9), pp. 3563-3582, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Jared Warren |
Revisiting Quine on Truth by Convention. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 46(2), pp. 119-139, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | David E. Taylor |
Quine on matters of fact. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 193(2), pp. 605-636, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Thomas William Barrett, Hans Halvorson |
Glymour and Quine on Theoretical Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 45(5), pp. 467-483, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera |
Quine's Fluted Fragment is Non-Elementary. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France, pp. 39:1-39:21, 2016, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-022-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Kanishka Bajpayee, Surya Kant, Bhaskar Pant, Ankur Chaudhary, Shashi Kumar Sharma |
Mining Frequent Itemset Using Quine-McCluskey Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocProS (2) ![In: Proceedings of Fifth International Conference on Soft Computing for Problem Solving - SocProS 2015, Volume 2, Saharanpur, Uttar Pradesh, India, December 18-20, 2015., pp. 763-769, 2015, Springer, 978-981-10-0450-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Bredo C. Johnsen |
Reclaiming Quine's epistemology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 191(5), pp. 961-988, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Murdoch James Gabbay |
Consistency of Quine's New Foundations using nominal techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.4060, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Sourangsu Banerji |
Computer Simulation Codes for the Quine-McCluskey Method of Logic Minimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1404.3349, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Jiangbo Huang |
Programing implementation of the Quine-McCluskey method for minimization of Boolean expression. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1410.1059, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | Mayukh Sarkar, Prasun Ghosal, Saraju P. Mohanty |
Reversible circuit synthesis using ACO and SA based Quine-McCluskey method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWSCAS ![In: IEEE 56th International Midwest Symposium on Circuits and Systems, MWSCAS 2013, Columbus, OH, USA, August 4-7, 2013, pp. 416-419, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Abrol Fairweather |
Duhem-Quine virtue epistemology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 187(2), pp. 673-692, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Vitthal Jadhav, Amar Buchade |
Modified Quine-McCluskey Method ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1203.2289, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
24 | Roberta Ballarin |
Quine on intensional entities: Modality and quantification, truth and satisfaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 10(3), pp. 238-249, 2012. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scheme@ICFP ![In: Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012, pp. 8-29, 2012, ACM, 978-1-4503-1895-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Dov M. Gabbay |
Dung's Argumentation is Essentially Equivalent to Classical Propositional Logic with the Peirce-Quine Dagger. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logica Universalis ![In: Logica Universalis 5(2), pp. 255-318, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Andrew Jorgensen |
Scepticism about Meaning and Reference: Three Arguments by Quine, Putnam and Kripke. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Linguistics Compass ![In: Lang. Linguistics Compass 4(8), pp. 694-704, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Rogério Passos Severo |
"Plausible insofar as it is intelligible": Quine on underdetermination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 161(1), pp. 141-165, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Sean Crawford |
Quantifiers and propositional attitudes: Quine revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 160(1), pp. 75-96, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAS ![In: Fourth International Conference on Autonomic and Autonomous Systems, ICAS 2008, 16-21 March 2008, Gosier, Guadeloupe, pp. 165-168, 2008, IEEE Computer Society, 978-0-7695-3093-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Esther E. Klein, Paul J. Herskovitz |
Philosophy of science underpinnings of prototype validation: Popper vs. Quine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Syst. J. ![In: Inf. Syst. J. 17(1), pp. 111-132, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Vanessa Gratzer, David Naccache |
Alien vs. Quine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 5(2), pp. 26-31, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|