Search results for "algebra"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	J. Smit	Computer algebra and VLSI, prospects for cross fertilization.	EUROCAL	1983	DBLP DOI BibTeX RDF
26	Anthony C. Hearn	REDUCE - A Case Study in Algebra System Development.	EUROCAM	1982	DBLP DOI BibTeX RDF
26	J. A. van Hulzen	Computer Algebra Systems Viewed by a Notorious User.	EUROCAM	1982	DBLP DOI BibTeX RDF
26	A. C. Norman	The Development of a Vector-based Algebra System.	EUROCAM	1982	DBLP DOI BibTeX RDF
26	Majid Alizadeh	Completions of Basic Algebras.	WoLLIC	2009	DBLP DOI BibTeX RDF	Basic algebra, Visser’s basic logic, Completion, Intuitionistic logic, Heyting algebra
26	Anatolij Dvurecenskij, Flavia Ventriglia	On two versions of the Loomis-Sikorski Theorem for algebraic structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Generalized pseudo effect algebra, Pseudo Vitali space, Monotone ?-complete algebra, Loomis-Sikorski Theorem, g-Effect-tribe, g-Vitali space, State
26	Timo Hanke	The isomorphism problem for cyclic algebras and an application.	ISSAC	2007	DBLP DOI BibTeX RDF	abelian crossed product, bicyclic crossed product, cyclic algebra, extension of automorphism, finite-dimensional central-simple algebra, noncrossed product, norm equation, isomorphism problem
26	Jan A. Bergstra, Alban Ponse	A Bypass of Cohen's Impossibility Result.	EGC	2005	DBLP DOI BibTeX RDF	Malcode, Program algebra, Worm, Virus, Thread algebra
26	Zoltán Ésik, Hans Leiß	Greibach Normal Form in Algebraically Complete Semirings.	CSL	2002	DBLP DOI BibTeX RDF	Greibach normal form, pre-fixed-point induction, Conway algebra, algebraically complete semirings, context-free languages, Kleene algebra, equational theory
26	Esko Turunen	Boolean deductive systems of BL-algebras.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF	Fuzzy logic -MV-algebra -BL-algebra, Many-valued logic, Residuated lattice
26	Lynne Baur	Cardinal Functions on Initial Chain Algebras on Pseudotrees.	Order	2000	DBLP DOI BibTeX RDF	cardinal function, cardinal invariant, initial chain algebra, interval algebra
26	Jaeyoung Choi, Sung-Hoon Moon	A parallel Cholesky factorization routine with a new version of PB-BLAS.	ICPADS	1997	DBLP DOI BibTeX RDF	parallel Cholesky factorization routine, PB-BLAS, Parallel Block Basic linear Algebra Subprograms, block cyclic data distribution, memory space management, PB-BLAS routine performance, Hermitian matrix, triangular matrix, high performance linear algebra routine library, Intel Paragon computer, distributed memory systems, distributed-memory systems, symmetric matrix, ScaLAPACK, data decomposition
25	Patrik Eklund, Robert Helgesson	Composing Partially Ordered Monads.	RelMiCS	2009	DBLP DOI BibTeX RDF	partially ordered monad, Kleene algebra
25	Philippe Balbiani, Tinko Tinchev	Boolean Logics with Relations.	RelMiCS	2008	DBLP DOI BibTeX RDF	First-order classical logic, propositional modal logic, relations, Boolean algebra
25	Stefan Milius, Thorsten Palm, Daniel Schwencke	Complete Iterativity for Algebras with Effects.	CALCO	2009	DBLP DOI BibTeX RDF	iterative algebra, terminal coalgebra, monad, initial algebra, distributive law
25	Harold W. Thimbleby, Jeremy Gow	Computer algebra in interface design research.	IUI	2004	DBLP DOI BibTeX RDF	MAUI, matrix algebra, computer algebra, mathematica
25	Fernando L. Pelayo, Fernando Cuartero, Valentín Valero Ruiz, Diego Cazorla	An example of performance evaluation by using the stochastic process algebra: ROSA.	RTCSA	2000	DBLP DOI BibTeX RDF	ROSA, algebraic language, performance indexes, Reasoning On Stochastic Algebras, average time to send a message, performance evaluation, performance evaluation, fault tolerance, real-time systems, formal methods, temporal logic, case studies, specification languages, process algebra, algebraic specification, stochastic process algebra, real-time requirements, designs specifications, Alternating Bit Protocol, temporal requirements
25	Alberto Belussi, Elisa Bertino, Barbara Catania	An Extended Algebra for Constraint Databases.	IEEE Trans. Knowl. Data Eng.	1998	DBLP DOI BibTeX RDF	generalized relations, nested relational algebra, external functions, Constraints, relational algebra
25	Alan Edelman, Steve Heller, S. Lennart Johnsson	Index Transformation Algorithms in a Linear Algebra Framework.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	indextransformation algorithms, linear algebra framework, Gray code encoding, vector reversal, hypercube communications algorithms, Gauss-Jordan elimination, encoding, hypercube networks, decoding, decoding, linear algebra, Gray codes, shuffles, hypercube multiprocessors, matrix transpose, bit reversal
25	Pablo P. Trabado, Antonio Lloris-Ruíz, Julio Ortega Lopera	Solution of Switching Equations Based on a Tabular Algebra.	IEEE Trans. Computers	1993	DBLP DOI BibTeX RDF	switching equations, tabular method, computer processing, benchmark equations, computational complexity, complexity, automatic test pattern generation, Boolean algebra, Boolean algebra, switching theory, switching theory
25	Vladimir Cherkassky, Karen Fassett, Nikolaos Vassilas	Linear Algebra Approach to Neural Associative Memories and Noise Performance of Neural Classifiers.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	linear algebra approach, neural associative memories, noise performance, neural classifiers, generalized inverse memory construction rules, performance evaluation, neural nets, linear algebra, content-addressable storage, comparative analysis, saturation, analytic evaluation, correlation matrix memory
25	Jim B. Surjaatmadja	An Algebra for Switching Circuits.	IEEE Trans. Computers	1981	DBLP DOI BibTeX RDF	canonical operators, noncanonical operators, postulates, switching circuit algebra, consensus, Boolean algebra, complementation, theorems, Karnaugh maps
25	Wojciech Buszkowski, Ewa Palka	Infinitary Action Logic: Complexity, Models and Grammars.	Stud Logica	2008	DBLP DOI BibTeX RDF	action algebra, relation algebra, Kleene algebra, categorial grammar
25	Anatolij Dvurecenskij, Maria Gabriella Graziano	An invitation to economical test spaces and effect algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF	Economical test, Economical system, Economical test space, Unambiguous events, ?-algebra, ?-system, Dynkin system of sets, Ellsberg paradox, Simpson paradox, Weight, Boolean algebra, State, Effect algebra
25	John V. Tucker, Jeffery I. Zucker	Abstract versus concrete computation on metric partial algebras.	ACM Trans. Comput. Log.	2004	DBLP DOI BibTeX RDF	Abstract computation, countable choice, effective Banach space, effective metric space, metric algebra, topological algebra, data types, partial algebra
25	F. Borceux	Non-Pointed Strongly Protomodular Theories.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	strongly protomodular category, semi-Abelian category, normal subobject, C *-algebra, Boolean algebra, ring, Heyting algebra
25	Jirí Rachunek	Compactness in MV-algebras and in their non-commutative generalizations.	Soft Comput.	2003	DBLP DOI BibTeX RDF	GMV-algebra, Unital ?-group, Compact element, Discrete GMV -algebra, Prime ideal, MV-algebra, Ideal
25	Ioana Leustean	Local pseudo MV-algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF	l-group, Local pseudo MV-algebra, Perfect pseudo MV-algebra, Pseudo MV-algebra
25	Anatolij Dvurecenskij, Maria Gabriella Graziano	Dedekind Complete Commutative BCK-algebras.	Order	2000	DBLP DOI BibTeX RDF	atomic BCK-algebra, commutative BCK-algebra, Dedekind complete BCK-algebra, relative cancellation property, subdirect product, universal group
23	Justo Peralta, Blas Torrecillas	Graded Codes.	Appl. Algebra Eng. Commun. Comput.	2002	DBLP DOI BibTeX RDF
22	Franz Baader, Werner Nutt	Combination problems for commutative/monoidal theories or how algebra can help in equational unification.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Equational unification, Semiadditive categories, Semirings, Equational theories
22	Fritz Schwarz	Programming with Abstract Data Types: The Symmetry Package SPDE in Scratchpad.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
22	John A. Abbott, Russell J. Bradford, James H. Davenport	Factorisation of Polynominals: Old Ideas and Recent Results.	Trends in Computer Algebra	1987	DBLP DOI BibTeX RDF
22	Ivan Chajda	Double Basic Algebras.	Order	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D35, 06C15, 03G25, 08A65
22	Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu, LinYuan Liu	Modeling Cost-Aware Web Services Composition Using PTCCS.	ICWS	2009	DBLP DOI BibTeX RDF
22	Shazzad Hosain, Hasan M. Jamil	An Algebraic Language for Semantic Data Integration on the Hidden Web.	ICSC	2009	DBLP DOI BibTeX RDF
22	Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu	Cartesian product of compressible effect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product
22	Miklós Ferenczi	Finitary Polyadic Algebras from Cylindric Algebras.	Stud Logica	2007	DBLP DOI BibTeX RDF	Polyadic algebras, cylindric algebras
22	Vilém Novák	EQ-Algebras in Progress.	IFSA (2)	2007	DBLP DOI BibTeX RDF	fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality
22	Janusz A. Brzozowski, Yuli Ye	Simulation of Gate Circuits with Feedback in Multi-Valued Algebras.	ISMVL	2007	DBLP DOI BibTeX RDF
22	Jianhua Dai	Study on the Axis Problem of Rough 3-Valued Algebras.	GrC	2007	DBLP DOI BibTeX RDF
22	Murali Mani, Song Wang 0001, Daniel J. Dougherty, Elke A. Rundensteiner	Join minimization in XML-to-SQL translation: an algebraic approach.	SIGMOD Rec.	2006	DBLP DOI BibTeX RDF	XML, SQL
22	Marina Issakova	Learning Linear Equation Solving Algorithm and Its Steps in Intelligent Learning Environment.	Intelligent Tutoring Systems	2006	DBLP DOI BibTeX RDF
22	Daniel Fontijne, Leo Dorst	Modeling 3D Euclidean Geometry.	IEEE Computer Graphics and Applications	2003	DBLP DOI BibTeX RDF
22	Peter B. Ladkin, Roger D. Maddux	On Binary Constraint Problems.	J. ACM	1994	DBLP DOI BibTeX RDF	constraint matrices, relation algebras, constraint satisfaction problems, relations, path consistency
22	Stéphane Grumbach, Tova Milo	Towards Tractable Algebras for Bags.	PODS	1993	DBLP DOI BibTeX RDF
22	Arkadius G. Kalka	Representation Attacks on the Braid Diffie-Hellman Public Key Encryption.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Braid Diffie-Hellman key agreement protocol, Generalized conjugacy search problem, Decomposition problem, Linear algebra attack, Lawrence-Krammer representation, Public-key cryptography, Braid group
22	Meinolf Geck, Gerhard Hiss, Frank Lübeck, Gunter Malle, Götz Pfeiffer	CHEVIE - A system for computing and processing generic character tables.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Finite groups of Lie type, Iwahori-Hecke algebras, Computer algebra, Characters
22	Willem A. de Graaf, Gábor Ivanyos, Lajos Rónyai	Computing Cartan subalgebras of Lie algebras.	Appl. Algebra Eng. Commun. Comput.	1996	DBLP DOI BibTeX RDF	Cartan subalgebra, Polynomial time algorithm, Symbolic computation, Lie algebra
22	Eugene Creswick, Aaron M. Novstrup	Error-tolerant version space algebra.	IUI	2010	DBLP DOI BibTeX RDF	programming by demonstration, smart environments, error tolerance, version spaces
22	Fernando L. Pelayo, Luis de la Ossa, Fernando Cuartero, Maria L. Pelayo, Juan Luis García Guirao	Towards the Evolutionary Process Algebra.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
22	Yingxu Wang	Granular algebra for modeling granular systems and granular computing.	IEEE ICCI	2009	DBLP DOI BibTeX RDF
22	Christoph Koch 0001	A compositional query algebra for second-order logic and uncertain databases.	ICDT	2009	DBLP DOI BibTeX RDF
22	Börje F. Karlsson, Simone Diniz Junqueira Barbosa, António L. Furtado 0001, Marco A. Casanova	A Plot-Manipulation Algebra to Support Digital Storytelling.	ICEC	2009	DBLP DOI BibTeX RDF	algebraic formalisms, logic design, storytelling, narratology, plots
22	Benjamin Adams, Martin Raubal	A Metric Conceptual Space Algebra.	COSIT	2009	DBLP DOI BibTeX RDF
22	Jónathan Heras, Vico Pascual, Julio Rubio 0001	Using Open Mathematical Documents to Interface Computer Algebra and Proof Assistant Systems.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF
22	Qi Yu 0001, Athman Bouguettaya	Framework for Web service query algebra and optimization.	ACM Trans. Web	2008	DBLP DOI BibTeX RDF	service query, Web service, query optimization, service oriented computing
22	Rudolf Berghammer	Applying relation algebra and Rel View to solve problems on orders and lattices.	Acta Informatica	2008	DBLP DOI BibTeX RDF
22	Ling Zhuo, Viktor K. Prasanna	High-Performance Designs for Linear Algebra Operations on Reconfigurable Hardware.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF
22	Ninghui Li, Qihua Wang	Beyond separation of duty: An algebra for specifying high-level security policies.	J. ACM	2008	DBLP DOI BibTeX RDF	Access control, separation of duty, policy design
22	Marcel van Amstel, Mark G. J. van den Brand, Zvezdan Protic, Tom Verhoeff	Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.	ICMT@TOOLS	2008	DBLP DOI BibTeX RDF
22	César Sánchez 0001, Matteo Slanina, Henny B. Sipma, Zohar Manna	The Reaction Algebra: A Formal Language for Event Correlation.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
22	Luis Falcón-Morales, Eduardo Bayro-Corrochano	Radon transform and Conformal Geometric Algebra with lines.	ICPR	2008	DBLP DOI BibTeX RDF
22	Christian Gebken, Gerald Sommer	Stochastically Optimal Epipole Estimation in Omnidirectional Images with Geometric Algebra.	RobVis	2008	DBLP DOI BibTeX RDF
22	Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup	Build to order linear algebra kernels.	IPDPS	2008	DBLP DOI BibTeX RDF
22	Minh Tuan Pham, Kanta Tachibana, Eckhard M. S. Hitzer, Sven Buchholz 0001, Tomohiro Yoshikawa, Takeshi Furuhashi	Feature extractions with geometric algebra for classification of objects.	IJCNN	2008	DBLP DOI BibTeX RDF
22	Hang Zhao, Jorge Lobo 0001, Steven M. Bellovin	An Algebra for Integration and Analysis of Ponder2 Policies.	POLICY	2008	DBLP DOI BibTeX RDF
22	Kai Hu, Yingxu Wang	Autolearner: An Autonomic Machine Learning System Based on Concept Algebra.	IEEE ICCI	2007	DBLP DOI BibTeX RDF
22	Frank Drewes, Johanna Högberg	An Algebra for Tree-Based Music Generation.	CAI	2007	DBLP DOI BibTeX RDF
22	Silvia Franchini, Antonio Gentile, M. Grimaudo, C. A. Hung, Sandro Impastato, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile	A Sliced Coprocessor for Native Clifford Algebra Operations.	DSD	2007	DBLP DOI BibTeX RDF
22	Serge Abiteboul	A Calculus and Algebra for Distributed Data Management.	STACS	2007	DBLP DOI BibTeX RDF
22	Kazumaro Aoki, Takeshi Shimoyama, Hiroki Ueda	Experiments on the Linear Algebra Step in the Number Field Sieve.	IWSEC	2007	DBLP DOI BibTeX RDF	block Lanczos, parallel computation, ethernet, integer factoring, number field sieve
22	Gilles Villard	Some recent progress in exact linear algebra and related questions.	ISSAC	2007	DBLP DOI BibTeX RDF
22	Fred G. Gustavson, Jerzy Wasniewski	Novel Data Formats and Algorithms for Dense Linear Algebra Computations: Minisymposium Abstract.	PARA	2006	DBLP DOI BibTeX RDF
22	Peter Höfner, Ridha Khédri, Bernhard Möller	Feature Algebra.	FM	2006	DBLP DOI BibTeX RDF
22	Giacomo Buratti, Danilo Montesi	A Data Model and an Algebra for Querying XML Documents.	DEXA Workshops	2006	DBLP DOI BibTeX RDF
22	Thomas A. Henzinger, Slobodan Matic	An Interface Algebra for Real-Time Components.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
22	Lishi Zhang, Xiaodong Liu 0001	Concept Lattice and AFS Algebra.	FSKD	2006	DBLP DOI BibTeX RDF
22	Stelios Paparizos, H. V. Jagadish	The Importance of Algebra for XML Query Processing.	EDBT Workshops	2006	DBLP DOI BibTeX RDF
22	Javed I. Khan, Sajid S. Shaikh	Relationship Algebra for Computing in Social Networks and Social Network Based Applications.	Web Intelligence	2006	DBLP DOI BibTeX RDF
22	Anna Maria Bigatti, Lorenzo Robbiano	CoCoA: a system for computations in commutative algebra.	ISSAC	2006	DBLP DOI BibTeX RDF
22	Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos	Compound Term Composition Algebra: The Semantics.	J. Data Semantics	2005	DBLP DOI BibTeX RDF	Faceted Taxonomies, Semantics, Description Logics
22	Tamara G. Kolda, Brett W. Bader, Joseph P. Kenny	Higher-Order Web Link Analysis Using Multilinear Algebra.	ICDM	2005	DBLP DOI BibTeX RDF
22	Chengkai Li 0001, Kevin Chen-Chuan Chang, Ihab F. Ilyas, Sumin Song	RankSQL: Query Algebra and Optimization for Relational Top-k Queries.	SIGMOD Conference	2005	DBLP DOI BibTeX RDF
22	Saïd Amari, Jean Jacques Loiseau, Isabel Demongodin	Control of Temporal Constraints Based on Dioid Algebra for Timed Event Graphs.	IPDPS	2005	DBLP DOI BibTeX RDF
22	Marina Issakova, Dmitri Lepp, Rein Prank	Input Design in Interactive Learning Environment T-Algebra.	ICALT	2005	DBLP DOI BibTeX RDF
22	Bernhard Möller, Georg Struth	p Is.	RelMiCS	2005	DBLP DOI BibTeX RDF
22	Jouni Järvinen, Ewa Orlowska	Relational Correspondences for Lattices with Operators.	RelMiCS	2005	DBLP DOI BibTeX RDF
22	Jan A. Bergstra, Cornelis A. Middelburg	Strong Splitting Bisimulation Equivalence.	CALCO	2005	DBLP DOI BibTeX RDF
22	Bernhard Möller	Lazy Kleene Algebra.	MPC	2004	DBLP DOI BibTeX RDF
22	Bernhard Möller, Georg Struth	Modal Kleene Algebra and Partial Correctness.	AMAST	2004	DBLP DOI BibTeX RDF
22	Ethan A. Croteau, Neil T. Heffernan, Kenneth R. Koedinger	Why Are Algebra Word Problems Difficult? Using Tutorial Log Files and the Power Law of Learning to Select the Best Fitting Cognitive Model.	Intelligent Tutoring Systems	2004	DBLP DOI BibTeX RDF
22	Luciano Gerber, Alvaro A. A. Fernandes	An Abstract Algebra for Knowledge Discovery in Databases.	ADBIS	2004	DBLP DOI BibTeX RDF
22	Vladimir V. Kornyak	A Method of Splitting Cochain Complexes for Computing Cohomology: Lie Algebra of Hamiltonian Vector Fields H(2\|0).	Program. Comput. Softw.	2003	DBLP DOI BibTeX RDF
22	Tomoko Ninomiya, Masao Mukaidono	Complete and Independent Sets of Axioms of Boolean Algebra.	ISMVL	2003	DBLP DOI BibTeX RDF
22	Sergey A. Inutin	Parallel Square Modular Computer Algebra.	PPAM	2003	DBLP DOI BibTeX RDF
22	Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer	Process Algebra for Agent Communication: A General Semantic Approach.	Communication in Multiagent Systems	2003	DBLP DOI BibTeX RDF
22	Ayal Z. Pinkus, Serge Winitzki	YACAS: A Do-It-Yourself Symbolic Algebra Environment.	AISC	2002	DBLP DOI BibTeX RDF
22	Antonio Cerone	Implementing Condition/Event Nets in the Circal Process Algebra.	FASE	2002	DBLP DOI BibTeX RDF
22	Jae Young Lee, Ramez Elmasri	A Temporal Algebra for an ER-Based Temporal Data Model.	ICDE	2001	DBLP DOI BibTeX RDF