The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for Boole with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1966-1988 (15) 1990-2000 (16) 2001-2007 (18) 2008-2012 (15) 2013-2016 (15) 2017-2023 (15)
Publication types (Num. hits)
article(54) book(2) incollection(4) inproceedings(31) phdthesis(3)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 25 occurrences of 24 keywords

Results
Found 96 publication records. Showing 94 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
83Javier García Zubía Educational Software for Digital Electronics: BOOLE-DEUSTO. Search on Bibsonomy MSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
83Luis M. Laita, Luis de Ledesma, Eugenio Roanes-Lozano, Alberto Brunori George Boole, a Forerunner of Symbolic Computation. Search on Bibsonomy AISC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
44Florian Mendel, Tomislav Nad, Martin Schläffer Collision Attack on Boole. Search on Bibsonomy ACNS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
44Walter Alexandre Carnielli Polynomizing: Logic Inference in Polynomial Format and the Legacy of Boole. Search on Bibsonomy Model-Based Reasoning in Science, Technology, and Medicine The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
41André Noll Barreto, Stefan Köpsell, Arsenia Chorti, Bertram Poettering, Jens Jelitto, Julia Hesse, Jonathan Boole, Konrad Rieck, Marios Kountouris, Dave Singelée, Kumar Ashwinee Towards Intelligent Context-Aware 6G Security. Search on Bibsonomy CoRR The full citation details ... 2021 DBLP  BibTeX  RDF
41Ivars Bilinskis, Eugene S. Boole Signal Transmission and Representation Based on High Performance Event Timing. Search on Bibsonomy Balt. J. Mod. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
41V. A. Bespal'ko, Eugene S. Boole, A. S. Rybakov The use of the correlation method in evaluating the accuracy characteristics of precision instruments. Search on Bibsonomy Autom. Control. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
41Ivars Bilinskis, Eugene S. Boole, Kaspars Sudars, Vadims Vedin Digital representing of analog signals using event timing information. Search on Bibsonomy Autom. Control. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
41Yuri Artyukh, V. A. Bespal'ko, Eugene S. Boole Nonlinearity errors of high-precision event timing. Search on Bibsonomy Autom. Control. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
41Frank Papenfuß, Yuri Artyukh, Eugene S. Boole, Dirk Timmermann Optimal sampling functions in nonuniform sampling driver designs to overcome the Nyquist limit. Search on Bibsonomy ICASSP (6) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Frank Papenfuß, Yuri Artyukh, Eugene S. Boole, Dirk Timmermann Optimal sampling functions in nonuniform sampling driver designs to overcome the Nyquist limit. Search on Bibsonomy ICME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
41Frank Papenfuss, Yuri Artyukh, Eugene S. Boole, Dirk Timmermann Nonuniform sampling driver design for optimal ADC utilization. Search on Bibsonomy ISCAS (4) The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
33Tamás Szántai Approximation of Multivariate Probability Integrals. Search on Bibsonomy Encyclopedia of Optimization The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Boole-Bonferroni bounds, Hunter-Worsley bounds, Probability integrals, Probabilistic constrained stochastic programming, Approximation, Variance reduction
33Herman Ruge Introduction of Computers in Norwegian School Mathematics. Search on Bibsonomy History of Nordic Computing The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Boole, forsøksgymnaset, Norway, logic, Mathematics
25R. IssanRaj, S. Visalakshi Modelling of photovoltaic cells using Boole's rule-based multi-objective genetic algorithm implemented in Indoor hardware setup. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25John M. Campbell A proof via Zeilberger's algorithm of Boole's formula for factorials. Search on Bibsonomy Bull. ICA The full citation details ... 2023 DBLP  BibTeX  RDF
25Aaron J. Gutknecht, Abdullah Makkeh, Michael Wibral From Babel to Boole: The Logical Organization of Information Decompositions. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Kushagri Tandon, Niladri Chatterjee LRL_NC at SemEval-2023 Task 4: The Touche23-George-boole Approach for Multi-Label Classification of Human-Values behind Arguments. Search on Bibsonomy SemEval@ACL The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
25Yu. M. Movsisyan Boole-De Morgan Bilattices. Search on Bibsonomy J. Multiple Valued Log. Soft Comput. The full citation details ... 2022 DBLP  BibTeX  RDF
25Radomir S. Stankovic, Milena Stankovic, Jaakko Astola, Claudio Moraga George J. Boole - A Nineteenth Century Man for the Modern Digital Era. Search on Bibsonomy EUROCAST The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Victor L. Selivanov Boole vs Wadge: Comparing Two Basic Tools of Descriptive Set Theory. Search on Bibsonomy CiE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
25Endre Boros, Joonhee Lee Boole's probability bounding problem, linear programming aggregations, and nonnegative quadratic pseudo-Boolean functions. Search on Bibsonomy ISAIM The full citation details ... 2022 DBLP  BibTeX  RDF
25Denis Blackmore, Alexander A. Balinsky, Radoslaw A. Kycia, Anatolij K. Prykarpatski Entropy and Ergodicity of Boole-Type Transformations. Search on Bibsonomy Entropy The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
25Zeno Toffano Eigenlogic in the Spirit of George Boole. Search on Bibsonomy Logica Universalis The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
25Yilmaz Simsek, Ji Suk So On Generating Functions for Boole Type Polynomials and Numbers of Higher Order and Their Applications. Search on Bibsonomy Symmetry The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
25Subhash C. Kak On the Algebra in Boole's Laws of Thought. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
25Themba Dube When Boole Commutes with Hewitt and Lindelöf. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
25Francesco Berto, Jacopo Tagliabue, Gabriele Rossi There's Plenty of Boole at the Bottom: A Reversible CA Against Information Entropy. Search on Bibsonomy Minds Mach. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25John N. Hooker Projection, consistency, and George Boole. Search on Bibsonomy Constraints An Int. J. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
25Taekyun Kim 0001, Dae San Kim Barnes-type Boole polynomials. Search on Bibsonomy Contributions Discret. Math. The full citation details ... 2016 DBLP  BibTeX  RDF
25Zeno Toffano Eigenlogic in the spirit of George Boole. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
25Dae San Kim, Taekyun Kim 0001 Some Identites Of Boole And Euler Polynomials. Search on Bibsonomy Ars Comb. The full citation details ... 2015 DBLP  BibTeX  RDF
25Horst Alzer, Robin Chapman On Boole's formula for factorials. Search on Bibsonomy Australas. J Comb. The full citation details ... 2014 DBLP  BibTeX  RDF
25Stanley N. Burris, Hanamantagouda P. Sankappanavar The Horn theory of Boole's partial algebras. Search on Bibsonomy Bull. Symb. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Javier García-Zubía, Ignacio Angulo, Luis Rodriguez-Gil, Pablo Orduña, Olga Dziabenko, Maria Guenaga Boole-WebLab-FPGA: Creating an Integrated Digital Electronics Learning Workflow Through a Hybrid Laboratory and an Educational Electronics Design Tool. Search on Bibsonomy Int. J. Online Biomed. Eng. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Hua Zhao, Zeshui Xu, Zhong Wang Intuitionistic Fuzzy Clustering Algorithm Based on Boole Matrix and Association Measure. Search on Bibsonomy Int. J. Inf. Technol. Decis. Mak. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Virendra Sule Generalization of Boole-Shannon expansion, consistency of Boolean equations and elimination by orthonormal expansion. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
25Frédéric Lang, Radu Mateescu 0001 Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Javier García-Zubía, Ignacio Angulo, Luis Rodriguez-Gil, Pablo Orduña, Olga Dziabenko Boole-WebLab-Deusto: Integration of a remote lab in a tool for digital circuits design. Search on Bibsonomy FIE The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
25Erdener Uyan Analysis of Boolean functions with respect to Walsh spectrum (Boole fonksiyonlarının Walsh spektruma göre analizi) Search on Bibsonomy 2013   RDF
25Martin Hopfensitz Binarisierung von Genexpressionsdaten für die Rekonstruktion Boole'scher Netzwerke. Search on Bibsonomy 2012   RDF
25Priyedarshi Jetli The Completion of the Emergence of Modern Logic from Boole's The Mathematical Analysis of Logic to Frege's Begriffsschrift. Search on Bibsonomy ICLA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
25Sara L. Uckelman Computing with Concepts, Computing with Numbers: Llull, Leibniz, and Boole. Search on Bibsonomy CiE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Michèle Friend Boole: From Calculating Numbers to Calculating Thoughts. Search on Bibsonomy CiE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
25Frank Markham Brown George Boole's Deductive System. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Jonathan M. Borwein, Neil J. Calkin, Dante Manna Euler-Boole Summation Revisited. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2009 DBLP  BibTeX  RDF
25Aviezri S. Fraenkel Games played by Boole and Galois. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Jim Brennan, Richard Ehrenborg, Eugene A. Herman Goes Back to Boole: 11234. Search on Bibsonomy Am. Math. Mon. The full citation details ... 2008 DBLP  BibTeX  RDF
25Andrei Yu. Khrennikov Bell-Boole Inequality: Nonlocality or Probabilistic Incompatibility of Random Variables? Search on Bibsonomy Entropy The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Dale Jacquette Boole's logic. Search on Bibsonomy British Logic in the Nineteenth Century The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
25Dan C. Marinescu, Gabriela M. Marinescu The Boole Lecture Quantum Information: A Glimpse at the Strange and Intriguing Future of Information. Search on Bibsonomy Comput. J. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Nikolaj A. Kuznetsov The Science of Infocommunications (The Boole Lecture). Search on Bibsonomy Comput. J. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
25Doron Zeilberger How Berger, Felzenbaum and Fraenkel Revolutionized Covering - Systems the Same Way that George Boole Revolutionized Logic. Search on Bibsonomy Electron. J. Comb. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Shankar Krishnan, Dinesh Manocha, M. Gopi 0001, Tim Culver, John Keyser BOOLE: A Boundary Evaluation System for Boolean Combinations of Sculptured Solids. Search on Bibsonomy Int. J. Comput. Geom. Appl. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Solomon Marcus Under the Sign of Boole. Search on Bibsonomy J. Univers. Comput. Sci. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Wolfgang Thomas Die Logiken von Boole und Büchi-Elgot-Trakhtenbrot in der Beschreibung diskreter Systeme. Search on Bibsonomy Angewandte Mathematik, insbesondere Informatik The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Paul Forster Kant, Boole and Peirce's Early Metaphysics. Search on Bibsonomy Synth. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Luis de Ledesma, Aurora Pérez, Daniel Borrajo, Luis M. Laita A Computational Approach to George Boole's Discovery of Mathematical Logic. Search on Bibsonomy Artif. Intell. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
25Pierre Hansen, Brigitte Jaumard, Marcus Poggi de Aragão Boole's Conditions of Possible Experience and Reasoning under Uncertainty. Search on Bibsonomy Discret. Appl. Math. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
25Robert G. Reynolds, Jonathan I. Maletic The Use of Version Space Controlled Genetic Algorithms to Solve the Boole Problem. Search on Bibsonomy Int. J. Artif. Intell. Tools The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
25Robert G. Reynolds, Jonathan I. Maletic, Shan-Ping Chang The use of version space controlled genetic algorithms to solve the Boole problem. Search on Bibsonomy ICTAI The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
25Alain Touraille Théories d'Algébres de Boole Munies d'Idéaux Distingués, II. Search on Bibsonomy J. Symb. Log. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
25András Prékopa Boole-Bonferroni Inequalities and Linear Programming. Search on Bibsonomy Oper. Res. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25William S. Cooper Getting beyond Boole. Search on Bibsonomy Inf. Process. Manag. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
25Alain Touraille Theories d'Algebres de Boole Munies d'Ideaux Distingues. I. Theories Elementaires. Search on Bibsonomy J. Symb. Log. The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
25Theodore Hailperin Boole's logic and probability - a critical exposition from the standpoint of contemporary algebra, logic and probability theory (2. ed.). Search on Bibsonomy 1986   RDF
25Georges Hansoul Algebres de boole primitives. Search on Bibsonomy Discret. Math. The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
25Jean Della Dora, Evelyne Tournier Homogeneous Linear Difference Equation (Frobenius - Boole Method). Search on Bibsonomy EUROSAM The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
25John Corcoran, Susan Wood Boole's criteria for validity and invalidity. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
25Emily Michael An examination of the influence of Boole's algebra on Peirce's developments in logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
25Emily Michael A note on Peirce on Boole's algebra of logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1979 DBLP  DOI  BibTeX  RDF
25James W. van Evra A reassessment of George Boole's theory of logic. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1977 DBLP  DOI  BibTeX  RDF
25Jean-Marie Laborde Un développement algébrique de l'algorithme d'exclusion et quelques problèmes géométriques en algèbre de Boole. Search on Bibsonomy 1977   RDF
25Hans-Dieter Ehrich Minimale und m-minimale Variablenmengen für partielle Boole'sche Funktionen Search on Bibsonomy Acta Informatica The full citation details ... 1973 DBLP  BibTeX  RDF
25Joseph S. Wu The problem of existental import (From George Boole to P. F. Strawson. Search on Bibsonomy Notre Dame J. Formal Log. The full citation details ... 1969 DBLP  DOI  BibTeX  RDF
25Mireille Dupraz Utilisation de l'algèbre de Boole en logique mathématique. Search on Bibsonomy 1966   RDF
19Dmitry Khovratovich, Ivica Nikolic, Ralf-Philipp Weinmann Meet-in-the-Middle Attacks on SHA-3 Candidates. Search on Bibsonomy FSE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Andrei Yu. Khrennikov Contextual Probabilistic Analysis of Bell's Inequality: Nonlocality, "Death of Reality'' or Non-Kolmogorovness? Search on Bibsonomy ICQNM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Bell theorem, Kolmogorov probability
19Salvatore Greco, Benedetto Matarazzo, Roman Slowinski Dominance-Based Rough Set Approach as a Proper Way of Handling Graduality in Rough Set Theory. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Kenneth E. Iverson Notation as a tool of thought. Search on Bibsonomy ACM SIGAPL APL Quote Quad The full citation details ... 2007 DBLP  DOI  BibTeX  RDF APL
19Ali Mili 0001, Alex Vinokurov, Lamia Labed Jilani, Frederick T. Sheldon, Rahma Ben Ayed Towards an Engineering Discipline of Computational Society. Search on Bibsonomy HICSS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Computable security attributes, security, fault tolerance, reliability, verification, testing, integrity, dependability, safety, survivability
19Roman Slowinski, Salvatore Greco, Benedetto Matarazzo Dominance-Based Rough Set Approach to Reasoning About Ordinal Data. Search on Bibsonomy RSEISP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Ordinal data, Rough sets, Decision support, Case-based reasoning, Granular computing, Fuzzy rough sets, Dominance-based Rough Set Approach
19Hung Son Nguyen Approximate Boolean Reasoning: Foundations and Applications in Data Mining. Search on Bibsonomy Trans. Rough Sets The full citation details ... 2006 DBLP  DOI  BibTeX  RDF boolean reasoning, feature selection and extraction, decision rule construction, large data tables, data mining, Rough sets, association rules, discretization, decision tree induction
19Léonard Kwuida, Andreja Tepavcevic, Branimir Seselja Negation in Contextual Logic. Search on Bibsonomy ICCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
19Robert A. Kowalski Is Logic Really Dead or Only Just Sleeping? Search on Bibsonomy ICLP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Max Walter, Carsten Trinitis, Wolfgang Karl OpenSESAME: An Intuitive Dependability Modeling Environment Supporting Inter-Component Dependencies. Search on Bibsonomy PRDC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19John H. Holmes Applying a Learning Classifier System to Mining Explanatory and Predictive Models from a Large Clinical Database. Search on Bibsonomy IWLCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
19Shaun Saxon, Alwyn Barry XCS and the Monk's Problems. Search on Bibsonomy Learning Classifier Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19John H. Holmes Learning Classifier Systems Applied to Knowledge Discovery in Clinical Research Databases. Search on Bibsonomy Learning Classifier Systems The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
19Peter Langner, Christoph Schneider, Joachim Wehler Petri Net Based Certification of Event-Driven Process Chains. Search on Bibsonomy ICATPN The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Ki-Seok Chung, C. L. Liu 0001 Local transformation techniques for multi-level logiccircuits utilizing circuit symmetries for power reduction. Search on Bibsonomy ISLPED The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
19Prabhat Jain, Ganesh Gopalakrishnan Efficient symbolic simulation-based verification using the parametric form of Boolean expressions. Search on Bibsonomy IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
19Tobias Nipkow Unification in Primal Algebras, Their Powers and Their Varieties Search on Bibsonomy J. ACM The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
19Asad Khailany, John Audritch Control charts as a memory performance measurement tool (abstract only). Search on Bibsonomy ACM Conference on Computer Science The full citation details ... 1985 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #94 of 94 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license