Search results for "algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Afrodita Iorgulescu	On BCK algebras: Part II: New algebras. The ordinal sum (product) of two bounded BCK algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Wajsberg algebra, Generalized-MV algebra, Generalized-Wajsberg algebra, BCK(P) lattice, Hájek(P) algebra, Generalized-BL algebra, Divisible BCK(P) lattice, Weak-BL algebra, MTL algebra, IMTL algebra, WNM algebra, NM algebra, R0 algebra, Pocrim, MV algebra, Residuated lattice, t-norm, BL algebra, Heyting algebra, BCK algebra
8	Joel Berman, Willem J. Blok	Free Lukasiewicz and Hoop Residuation Algebras.	Studia Logica	2004	DBLP DOI BibTeX RDF	free spectrum, hoop, hoop residuation algebra, ukasiewicz algebra, ukasiewicz residuation algebra, Hilbert algebra, MV-algebra, BCK-algebra, free algebra
6	Martin Papco	On effect algebras of fuzzy sets.	Soft Comput.	2008	DBLP DOI BibTeX RDF	D-poset, Convergence Sequentially continuous D-homomorphism, Convergence effect algebra, Sequentially continuous EA-homomorphism, D-poset of fuzzy sets, Pointwise convergence, ID-poset, Effect algebra of fuzzy sets, IE-algebra, Sober IE-algebra, Closed IE-algebra, IE-measurable space, Measurable map, Natural equivalence, Monocoreflective subcategory, Epireflective subcategory, Coproduct, Generalized elementary event, Generalized measurable space, Generalized probability measure, Product, Observable, Duality, State, Effect algebra, Fuzzy random variable
6	Afrodita Iorgulescu	Iséki algebras. Connection with BL algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Product algebra, Gödel algebra, Iséki algebra, MV algebra, t-norm, BL algebra, BCK algebra, t-conorm
6	Paul Flondor, George Georgescu, Afrodita Iorgulescu	Pseudo-t-norms and pseudo-BL algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Weak-BL algebra, Weak-pseudo-BL algebra, Pseudo- t -norm, Pseudo- t -conorm, Left continuity, Right continuity, MV algebra, t -norm, BL algebra, Pseudo-MV algebra, Pseudo-BL algebra, t -conorm
5	Afrodita Iorgulescu	Classes of examples of pseudo-MV algebras, pseudo-BL algebras and divisible bounded non-commutative residuated lattices.	Soft Comput.	2010	DBLP DOI BibTeX RDF	Pseudo-Wajsberg algebra, Pseudo-BCK algebra, Pseudo-Hájek(pP) algebra, Divisible bounded non-commutative residuated lattice, Divisible bounded pseudo-BCK(pP) lattice, Pseudo-MV algebra, Pseudo-BL algebra
5	Thomas Vetterlein	A Way to Interpret Lukasiewicz Logic and Basic Logic.	Studia Logica	2008	DBLP DOI BibTeX RDF	Basic Logic, a-equivalence relation, Boolean algebra, MV-algebra, BL-algebra, Heyting algebra, ?ukasiewicz Logic
5	Yingxu Wang, Yiyu Yao, Guoyin Wang	Perspectives on Denotational Mathematics: New Means of Thought.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, system algebra, visual semantic algebra, natural intelligence, AI, rough set, process algebra, knowledge engineering, granular computing, computational intelligence, Cognitive informatics, RTPA
5	Dunren Che, Radiya M. Sojitrawala	DUMAX: a dual mode algebra for XML queries.	Infoscale	2007	DBLP DOI BibTeX RDF	XML algebra, query processing, query optimization, algebra, XML database, query algebra
5	David J. Foulis	The Universal Group of a Heyting Effect Algebra.	Studia Logica	2006	DBLP DOI BibTeX RDF	lattice ordered, pseudocomplementation, partially ordered abelian group, ?-group, universal group, central comparability, central Rickart property, MV-algebra, effect algebra, Heyting algebra
5	Joel Berman, Willem J. Blok	Algebras Defined from Ordered Sets and the Varieties they Generate.	Order	2006	DBLP DOI BibTeX RDF	equationally definable order relation, subdirectly irreducible, Hilbert algebra, order algebra, algebra, ordered set, semilattice, quasi-order, free algebra
5	Masoud Haveshki, Arsham Borumand Saeid, Esfandiar Eslami	Some types of filters in BL algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Implicative filter, Positive implicative filter, Fantastic filter, G?del algebra, Filter, Boolean algebra, MV algebra, BL-algebra, Boolean filter
5	Thorsten Ehm	Pointer Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	pointer algebra, pointer structures, embedding, Kleene algebra
5	Anatolij Dvurecenskij	Blocks of pseudo-effect algebras with the Riesz interpolation property.	Soft Comput.	2003	DBLP DOI BibTeX RDF	Pseudo-effect algebra, Strong compatibility, Riesz interpolation property, Block, MV-algebra, compatibility, Effect algebra, Pseudo MV-algebra
5	Zdenka Riecanová	Sub-effect algebras and Boolean sub-effect algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Sub-effect algebra, Boolean sub-effect algebra, Complete effect algebra, Blocks, Effect algebra
5	Clemens Ballarin, Lawrence C. Paulson	Reasoning About Coding Theory: The Benefits We Get from Computer Algebra.	AISC	1998	DBLP DOI BibTeX RDF	mechanised reasoning, combining systems, soundness of computer algebra systems, specialisation problem, AISC topics, Integration of logical reasoning and computer algebra, Computer algebra, coding theory, automated theorem provers
5	Ivo G. Rosenberg	An Algebraic Approach to Hyperalgebras. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	hyperalgebras, hypergroups theory, universal-algebra type theory, nonvoid subsets, hyperclones, inclusion-isotone clones, subuniverses, algebra, type theory, Boolean algebra, Boolean algebra, congruences, algebraic approach
5	Olivier D. Faugeras, Bernard Mourrain	On the Geometry and Algebra of the Point and Line Correspondences Between N Images. (PDF / PS)	ICCV	1995	DBLP DOI BibTeX RDF	algebraic relations, geometric relations, Grassmann-Cayley algebra, 3D point, bilinear relations, trilinear relations, quadrilinear relations, perspective projection equation, computational geometry, edge detection, image matching, geometry, algebra, algebra, stereo image processing, epipolar constraints, point correspondence, line correspondence
5	Michael Pittarelli	An Algebra for Probabilistic Databases.	IEEE Trans. Knowl. Data Eng.	1994	DBLP DOI BibTeX RDF	probabilistic data model, probabilistic algebra, /spl alpha/-acyclic database schemes, homomorphic image, statistical smoothing procedure, Bayes networks, data structures, probability, decision support systems, database management systems, Markov processes, decision support, database theory, relational algebra, relational algebra, algebra, Bayes methods, probabilistic databases, uncertainty handling, Markov networks, uncertain information
5	Michele Angelaccio, Michele Colajanni	Unifying and Optimizing Parallel Linear Algebra Algorithms.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	parallel linear algebra algorithms, linear algebra algorithms, parallelimplementations, subcube matrix decomposition, meta-algorithm, decomposition-independent definition, linearalgebra, optimization, parallel algorithms, communication, parallel programs, optimisation, computation, matrix algebra, multicomputers
4	Anatolij Dvurecenskij	Cyclic elements and subalgebras of GMV-algebras.	Soft Comput.	2010	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Cyclic element, Perfect GMV-algebra, n-Perfect GMV-algebra, Free product, Representation
4	Georg Regensburger, Markus Rosenkranz, Johannes Middeke	A skew polynomial approach to integro-differential operators.	ISSAC	2009	DBLP DOI BibTeX RDF	baxter algebra, integro-differential algebra, integro-differential operators, skew polynomials, weyl algebra
4	Sylvia Pulmannová	MV-pairs and states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
4	Dexter Kozen	Nonlocal Flow of Control and Kleene Algebra with Tests.	LICS	2008	DBLP DOI BibTeX RDF	control flow, Kleene algebra, program restructuring, Kleene algebra with tests
4	François Boulier, François Lemaire	Differential Algebra and System Modeling in Cellular Biology.	AB	2008	DBLP DOI BibTeX RDF	cellular biology, system modeling, Computer algebra, differential algebra
4	Yingxu Wang	On Contemporary Denotational Mathematics for Computational Intelligence.	Transactions on Computational Science	2008	DBLP DOI BibTeX RDF	Denotational mathematics, concept algebra, system algebra, embedded relations, incremental relations, big-R notation, software engineering, process algebra, knowledge engineering, computational intelligence, cognitive informatics, RTPA
4	Murray R. Bremner, Michael J. Hancock, Yunfeng Piao	Nonassociative structures on polynomial algebras arising from bio-operations on formal languages: an application of computer algebra to nonassociative systems.	ISSAC	2007	DBLP DOI BibTeX RDF	bio-operations, nonassociative algebra, polynomial identities, finite fields, formal languages, DNA computing, computer algebra, linear systems
4	Antonio di Nola, Mirko Navara	MV-Algebras with the Cantor-Bernstein Property.	IFSA	2007	DBLP DOI BibTeX RDF	Cantor-Bernstein theorem, boolean element of an MV-algebra, partition of unity, direct product decomposition, ?-complete MV-algebra, multiplicative MV-algebra, MV-algebra
4	Gejza Jenca	A Representation Theorem for MV-algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Boolean algebra, MV-algebra, Effect algebra
4	Daniele Mundici	A Characterization of the free n-generated MV-algebra.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Free MV-algebra, Chang completeness theorem, McNaughton theorem, standard triangulation of the n-cube, Partition of unity, ?-functor, Singular homology group, Pyramidal function, MV-algebra, piecewise linear function
4	Wenbo Qu, Zhihao Ma, Hao Jiang	Fuzzy Dual Ideal in a BCK-Algebra.	FSKD	2006	DBLP DOI BibTeX RDF	BCI-algebra, dual ideal, fuzzy dual ideal, BCK-algebra
4	Alban Ponse, Mark van der Zwaag	An Introduction to Program and Thread Algebra.	CiE	2006	DBLP DOI BibTeX RDF	Program Algebra, PGA, Thread Algebra
4	Dumitru Daniel Dragulici	Conservative extension of polyadic MV-algebras to polyadic pavelka algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Pavelka algebra, Polyadic MV-algebra, Polyadic Pavelka algebra, MV-algebra
4	Lawrence Peter Belluce, Revaz Grigolia, Ada Lettieri	Representations of monadic MV -algebras.	Studia Logica	2005	DBLP DOI BibTeX RDF	Monadic algebra, Projective algebra, MV -algebra
4	Thomas Vetterlein	BL-algebras and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Weak effect algebra, D-poset, Weak D-poset, Effect algebra, BL-algebra
4	Hans-Joachim Baues, Mamuka Jibladze	The Steenrod Algebra and Theories Associated to Hopf Algebras.	Applied Categorical Structures	2004	DBLP DOI BibTeX RDF	Steenrod algebra, Hopf algebra, algebraic theory
4	Hongbo Li	Symbolic computation in the homogeneous geometric model with clifford algebra.	ISSAC	2004	DBLP DOI BibTeX RDF	homogeneous model, automated theorem proving, symbolic computation, geometric algebra, clifford algebra
4	Hongbo Li, Lina Zhao, Ying Chen	Polyhedral Scene Analysis Combining Parametric Propagation with Calotte Analysis.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	polyhedral scene analysis, imaging algebra, Grassmann-Cay ley algebra, constraint satisfaction, projective reconstruction
4	Hongbo Li, Ronghua Xu, Ning Zhang	On Miquel's Five-Circle Theorem.	IWMM/GIAE	2004	DBLP DOI BibTeX RDF	Miquel’s Theorem, Mathematics mechanization, Null bracket algebra, “breefs”, Conformal geometric algebra
4	Bernhard Möller, Georg Struth	Greedy-Like Algorithms in Modal Kleene Algebra.	RelMiCS	2003	DBLP DOI BibTeX RDF	Idempotent semiring, image and preimage operation, modal operators, Geach formula, program development and analysis, confluence, Kleene algebra
4	Leo Dorst, Stephen Mann	Geometric Algebra: A Computational Framework for Geometrical Applications (Part 1).	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	blades, geometric product, outer product, subspaces, geometric algebra, inner product, Clifford algebra
4	Stephen Mann, Leo Dorst	Geometric Algebra: A Computational Framework for Geometrical Applications (Part 2).	IEEE Computer Graphics and Applications	2002	DBLP DOI BibTeX RDF	rotation reprensentation, Plucker coordinates, geometric differentiation, computational geometry, join, quaternions, meet, geometric algebra, Clifford algebra, homogeneous coordinates, dualization
4	Roman Fric	Measures on MV-algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Semisimple M V -algebra, Initial sequential convergence, I -sequential M V -algebra, Sequential continuity, Absolutely sequentially closed object, Epireflection, Sequentially continuous measure, ?-completion, Extension of measures, Natural equivalence, Bold algebra, ?ukasiewicz tribe, Measurable map, Probability event, D -poset, Coproduct, Quantum structure, Observable, Duality, Measurable space
4	Dexter Kozen	On Hoare logic and Kleene algebra with tests.	ACM Trans. Comput. Log.	2000	DBLP DOI BibTeX RDF	specification, dynamic logic, Hoare logic, Kleene algebra, Kleene algebra with tests
4	Yoshinao Isobe, Kazuhito Ohmaki	A process logic for distributed system synthesis .	APSEC	2000	DBLP DOI BibTeX RDF	process logic, distributed system synthesis, concurrent behavior, interleaving behavior, DS algebra, SP logic, computability, process algebra, process algebra, satisfiability, algebraic specification, concurrency theory
4	Elisa Bertino, Danilo Montesi, Alberto Trombetta	Fuzzy and Presentation Algebras for Web and Multimedia Data. (PDF / PS)	IDEAS	2000	DBLP DOI BibTeX RDF	fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
4	Mark W. Hopkins, Dexter Kozen	Parikh's Theorem in Commutative Kleene Algebra.	LICS	1999	DBLP DOI BibTeX RDF	formal methods, Kleene algebra, universal algebra, logics of programs
4	Corrie Huijs	A Graph Rewriting Approach for Transformational Design of Digital Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	graph rewriting approach, behaviour preserving transformations, compositional formal semantics, semantic aspects, attribute algebra, table algebra, database theory, visualisation, relation algebra, rewriting systems, digital systems, graph representations, correctness by construction, attributed graphs, transformational design
4	Boris A. Romov	Polynomial Completeness Criteria in Finite Boolean Algebras. (PDF / PS)	ISMVL	1996	DBLP DOI BibTeX RDF	completeness criteria, finite Boolean algebras, arity-calibrated product, two-valued logic algebras, maximal subalgebras, Sheffer criterion, Slupecki type criterion, multiple base relation, logic algebras, process algebra, polynomials, algebra, Boolean algebra
4	Roberto Manduchi, Pietro Perona	Pyramidal implementation of deformable kernels. (PDF / PS)	ICIP	1995	DBLP DOI BibTeX RDF	deformable kernels, pyramidal decomposition, multirate implementation, quadratic error criterion, hypermatrix algebra, multilinear problem, pseudo-SVD, quadratic approximation error minimisation, basis filters, steerable-scalable decomposition, computer vision, computer vision, image processing, image processing, global optimization, singular value decomposition, rendering, iterative methods, matrix algebra, aliasing, filtering theory, rendering (computer graphics), image filtering, Kronecker algebra, iterative procedure
4	Neil L. White	Grassmann - Cayley algebra and robotics.	Journal of Intelligent and Robotic Systems	1994	DBLP DOI BibTeX RDF	Plücker coordinates, Grassmann-Cayley algebra, motion space, series-parallel, infinitesimal rigiditly, Cayley factorization, bracket algebra, robot, spline, projective geometry, mechanism
4	Rita V. Rodríguez	A relativistic temporal algebra for efficient design of distributed systems.	Appl. Intell.	1993	DBLP DOI BibTeX RDF	Atomic relation, incomparable events, interval temporal model, relativistic space-time, temporal algebra, distributed system, relation algebra
4	Jan J. M. M. Rutten, Daniele Turi	Initial Algebra and Final Coalgebra Semantics for Concurrency.	REX School/Symposium	1993	DBLP DOI BibTeX RDF	bisimulation, Algebra, algebra, induction, initiality, labelled transition system, congruence, coalgebra, coinduction, finality
4	Abdullah Uz Tansel, Lucy Garnett	On Roth, Korth, and Silberschatz's Extended Algebra and Calculus for Nested Relational Databases.	ACM Trans. Database Syst.	1992	DBLP DOI BibTeX RDF	equivalence of algebra and calculus, relational algebra, relational calculus, nested relations
4	Wei-Tek Tsai, Dmitry Volovik, Thomas F. Keefe	Automated Test Case Generation for Programs Specified by Relational Algebra Queries.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	black-box software testing, relational algebra queries, arbitrary specifications, relational algebra expressions, automated test case generation method, formal specification, relational databases, program testing, automatic programming
4	Ivo G. Rosenberg	Mal'cev algebras for universal algebra terms.	Algebraic Logic and Universal Algebra in Computer Science	1988	DBLP DOI BibTeX RDF
4	Jacques Calmet	Intelligent Computer Algebra System: Myth, Fancy or Reality?	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
4	Antonio L. Furtado, Larry Kerschberg	An Algebra of Quotient Relations.	SIGMOD Conference	1977	DBLP DOI BibTeX RDF	high level query language, intermediate level language, quotient algebra, quotient relations, query language, relational algebra, relational model
3	Anthony N. Lasenby, Robert Lasenby, Chris Doran	Rigid Body Dynamics and Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Andreas Aristidou, Joan Lasenby	Inverse Kinematics Solutions Using Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Robert Valkenburg, Leo Dorst	Estimating Motors from a Variety of Geometric Data in 3D Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Leo Dorst, Robert Valkenburg	Square Root and Logarithm of Rotors in 3D Conformal Geometric Algebra Using Polar Decomposition.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Ron Goldman	A Homogeneous Model for Three-Dimensional Computer Graphics Based on the Clifford Algebra for ℝ3.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Hongbo Li, Lixian Zhang	Line Geometry in Terms of the Null Geometric Algebra over ℝ3, 3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Leo Dorst	Tutorial Appendix: Structure Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Anthony N. Lasenby	Rigid Body Dynamics in a Constant Curvature Space and the '1D-up' Approach to Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Robert Valkenburg, Nawar Alwesh	Calibration of Target Positions Using Conformal Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Philippe Serré, Nabil Anwer, Jian-Xin Yang	On the Use of Conformal Geometric Algebra in Geometric Constraint Solving.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Hongbo Li, Yuanhao Cao	On Geometric Theorem Proving with Null Geometric Algebra.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
3	Thibaud Debaecker, Ryad Benosman, Sio-Hoi Ieng	Image Sensor Model Using Geometric Algebra: From Calibration to Motion Estimation.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Alyn Rockwood, Dietmar Hildenbrand	Engineering Graphics in Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Dietmar Hildenbrand, Joachim Pitt, Andreas Koch	Gaalop - High Performance Parallel Computing Based on Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Minh Tuan Pham, Kanta Tachibana, Eckhard M. S. Hitzer, Tomohiro Yoshikawa, Takeshi Furuhashi	Classification and Clustering of Spatial Patterns with Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Agnieszka Patyk	Geometric Algebra Model of Distributed Representations.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Eckhard M. S. Hitzer, Christian Perwass, Daisuke Ichikawa	Interactive 3D Space Group Visualization with CLUCalc and Crystallographic Subperiodic Groups in Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Hongbo Li	Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Leo Dorst	Tutorial: Structure-Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
3	Fritz Henglein	Optimizing relational algebra operations using generic equivalence discriminators and lazy products.	PEPM	2010	DBLP DOI BibTeX RDF	cross-product, disriminator, optimization, optimize, optimizing, evaluation, generic, query, product, algebra, formal, relational, equivalence, join, discrimination, symbolic, lazy
3	Patrick Bosc, Olivier Pivert, Amine Mokhtari, Ludovic Lietard	Extending relational algebra to handle bipolarity.	SAC	2010	DBLP DOI BibTeX RDF	bipolarity, database fuzzy querying, relational algebra
3	Rahul Breh, Vivek Kumar	Making mathematical problem solving exploratory and social-synergizing computer algebra systems with semantic and web-2.0 technology.	Bangalore Compute Conf.	2010	DBLP DOI BibTeX RDF	web 2.0, semantic web technology, Sage, computer algebra systems
3	Mirco Tribastone	Relating layered queueing networks and process algebra models.	WOSP/SIPEW	2010	DBLP DOI BibTeX RDF	pepa, process algebra, queueing networks
3	Yousheng Tian, Yingxu Wang, Kai Hu	A Knowledge Representation Tool for Autonomous Machine Learning Based on Concept Algebra.	Transactions on Computational Science	2009	DBLP DOI BibTeX RDF	denotational mathematics, concept algebra, OAR, LRMB, machine learning, visualization, knowledge representation, case studies, intelligent systems, computational intelligence, Cognitive informatics, support tool, cognitive computing
3	João Pedro Cerveira Cordeiro, Gilberto Câmara, Ubirajara Moura de Freitas, Felipe Almeida	Yet Another Map Algebra.	GeoInformatica	2009	DBLP DOI BibTeX RDF	map algebra, cartographic modeling, automata, formal languages, dynamic modeling, spatial analysis
3	Chris McCaig, Rachel Norman, Carron Shankland	From Individuals to Populations: A Symbolic Process Algebra Approach to Epidemiology.	Mathematics in Computer Science	2009	DBLP DOI BibTeX RDF	mean field equations, Process algebra, symbolic computation, epidemiology, population dynamics
3	Mingsheng Ying, Yuan Feng, Runyao Duan, Zheng-Feng Ji	An algebra of quantum processes.	ACM Trans. Comput. Log.	2009	DBLP DOI BibTeX RDF	super-operator, Quantum computation, process algebra, bisimulation, quantum communication
3	Yamine Aït Ameur, Mickaël Baron, Nadjet Kamel, Jean-Marc Mota	Encoding a process algebra using the Event B method.	STTT	2009	DBLP DOI BibTeX RDF	Event B method, User tasks validation, Human-computer interaction, Refinements, Process algebra
3	Florian Wörsdörfer, Florian Stock, Eduardo Bayro-Corrochano, Dietmar Hildenbrand	Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra.	CIARP	2009	DBLP DOI BibTeX RDF	Robot Grasping, Runtime Performance, CUDA, Conformal Geometric Algebra
3	Kuo-pao Yang, Wendy Zhang, Fred Petry	Building content dictionaries for geometric algebra in OMDoc format.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	OMDoc, content dictionaries, documentation semantics, XML, XHTML, geometric algebra
3	Mauricio Chui Rodrigues, Simon Malkowski, João Eduardo Ferreira	Implementing rigorous web services with process algebra: navigation plan for web services.	SAC	2009	DBLP DOI BibTeX RDF	web services, workflow, implementation, software, process algebra, BPEL
3	Zhengjiang Wu, Lingxiao Yang, Tian-rui Li, Keyun Qin	The Basis Algebra in L-Fuzzy Rough Sets.	RSKT	2009	DBLP DOI BibTeX RDF	basis algebra, Rough sets, residuated lattice
3	Xiaohong Zhang	Topological Residuated Lattice: A Unifying Algebra Representation of Some Rough Set Models.	RSKT	2009	DBLP DOI BibTeX RDF	Topological residuated lattice, Intuitionistic fuzzy rough set, Triangle algebra, Rough set
3	Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska	Computational Social Choice Using Relation Algebra and RelView.	RelMiCS	2009	DBLP DOI BibTeX RDF
3	C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman	Foundations of Concurrent Kleene Algebra.	RelMiCS	2009	DBLP DOI BibTeX RDF
3	Claude Bolduc, Béchir Ktari	Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs.	RelMiCS	2009	DBLP DOI BibTeX RDF
3	Peter Höfner, Bernhard Möller	An extension for feature algebra.	FOSD	2009	DBLP DOI BibTeX RDF	algebraic characterisation of FOSD, feature algebra, feature oriented software development
3	Antonio L. Furtado, Marco A. Casanova, Karin Koogan Breitman, Simone Diniz Junqueira Barbosa	A Frame Manipulation Algebra for ER Logical Stage Modelling.	ER	2009	DBLP DOI BibTeX RDF	abstract data types, Frames, algebra, semi-structured data
3	Jens Groth	Linear Algebra with Sub-linear Zero-Knowledge Arguments.	CRYPTO	2009	DBLP DOI BibTeX RDF	Sub-linear size zero-knowledge arguments, public-coin special honest verifier zero-knowledge, Pedersen commitments, linear algebra, circuit satisfiability
3	Jens Bachmann, Martin Riedl, Johann Schuster, Markus Siegle	An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA.	SOFSEM	2009	DBLP DOI BibTeX RDF	MTBDD, elimination of immediate transitions, stochastic process algebra
3	Mai Gehrke	Stone Duality and the Recognisable Languages over an Algebra.	CALCO	2009	DBLP DOI BibTeX RDF
3	Marcio K. Oikawa, João Eduardo Ferreira, Simon Malkowski, Calton Pu	Towards Algorithmic Generation of Business Processes: From Business Step Dependencies to Process Algebra Expressions.	BPM	2009	DBLP DOI BibTeX RDF	series-parallel reductions and process algebra, business process modeling, directed acyclic graphs