Search results for "Boole"

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