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