|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 7798 occurrences of 3322 keywords
|
|
|
Results
Found 19249 publication records. Showing 19248 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
30 | Britta Kehden |
Evaluating Sets of Search Points Using Relational Algebra. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Anthony N. Lasenby |
Recent Applications of Conformal Geometric Algebra. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Rich Wareham, Jonathan Cameron, Joan Lasenby |
Applications of Conformal Geometric Algebra in Computer Vision and Graphics. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Clint J. van Alten |
On Varieties of Biresiduation Algebras. |
Stud Logica |
2006 |
DBLP DOI BibTeX RDF |
biresiduation algebra, residuated lattice, BCK-algebra |
30 | Klaus-Dieter Schewe, Bernhard Thalheim |
Reasoning About Web Information Systems Using Story Algebras. |
ADBIS |
2004 |
DBLP DOI BibTeX RDF |
navigation, process algebra, personalisation, Web information system, Kleene algebra |
30 | Gianpiero Cattaneo, Davide Ciucci |
Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets. |
Rough Sets and Current Trends in Computing |
2002 |
DBLP DOI BibTeX RDF |
Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra |
30 | Ludger Becker, Ralf Hartmut Güting |
Rule-Based Optimization and Query Processing in an Extensible Geometric Database System. |
ACM Trans. Database Syst. |
1992 |
DBLP DOI BibTeX RDF |
geometric query processing, many-sorted algebra, rule-based optimization, optimization, extensibility, relational algebra |
30 | Gunther Schmidt 0001 |
Relational Measures and Integration. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
evidence and belief, necessity and possibility measures, relational measure, relation algebra, Choquet integral, plausibility, Sugeno integral |
30 | Hongbo Li 0012, Lina Cao, Nanbin Cao, Weikun Sun |
Intrinsic Differential Geometry with Geometric Calculus. |
IWMM/GIAE |
2004 |
DBLP DOI BibTeX RDF |
Intrinsic differential geometry, Mathematics mechanization, Symbolic geometric computing, Clifford algebra |
30 | 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 |
30 | 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 |
30 | 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 |
30 | 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 |
29 | 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 |
29 | Boris A. Romov |
Polynomial Completeness Criteria in Finite Boolean Algebras. |
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 |
29 | Roberto Manduchi, Pietro Perona |
Pyramidal implementation of deformable kernels. |
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 |
27 | George E. Andrews |
Application of Scratchpad to Problems in Special Functions and Combinatorics. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Richard D. Jenks, Robert S. Sutor, Stephen M. Watt |
Scratchpad II: An Abstract Datatype System for Mathematical Computation. |
Trends in Computer Algebra |
1987 |
DBLP DOI BibTeX RDF |
|
27 | Hans Z. Munthe-Kaas, Will M. Wright |
On the Hopf Algebraic Structure of Lie Group Integrators. |
Found. Comput. Math. |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Xue-fang Wang, Peishun Liu |
A Method for Constructing Lattice Implication Algebras on the Interval [0, 1]. |
FSKD (1) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Floris Geerts, Jan Van den Bussche |
Relational Completeness of Query Languages for Annotated Databases. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Rachid El Harti, Gábor Lukács |
Bounded and Unitary Elements in Pro-C*-algebras. |
Appl. Categorical Struct. |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 18A05, 46H05, 46J05, 46K05 |
27 | Christoph Koch 0001 |
On the complexity of nonrecursive XQuery and functional query languages on complex values. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Stelios Paparizos, Yuqing Wu, Laks V. S. Lakshmanan, H. V. Jagadish |
Tree Logical Classes for Efficient Evaluation of XQuery. |
SIGMOD Conference |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Issam Abbas, Omar Boucelma |
A Framework for Algebraic Optimization of Object-Oriented Query Languages. |
DEXA |
1997 |
DBLP DOI BibTeX RDF |
|
27 | Alberto Belussi, Elisa Bertino, Barbara Catania |
Manipulating Spatial Data in Constraint Databases. |
SSD |
1997 |
DBLP DOI BibTeX RDF |
|
27 | José Barros, Joseph A. Goguen |
Semantics of Non-terminating Rewrite Systems Using Minimal Coverings. |
CSL |
1995 |
DBLP DOI BibTeX RDF |
|
27 | Hermann von Issendorff |
A theory of organization. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Hermann von Issendorff |
A theory of organization. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Van-Ly Le |
Polly Two : A New Algebraic Polynomial-based Public-Key Scheme. |
Appl. Algebra Eng. Commun. Comput. |
2006 |
DBLP DOI BibTeX RDF |
Combinatorially algebraic public-key cryptoschemes, Polly Cracker, EnRoot, Linear-Algebra attacks, System of algebraic equations, Elimination ideals, Sparse polynomials |
26 | Rance Cleaveland |
Better Automata Through Process Algebra. |
A Journey from Process Algebra via Timed Automata to Model Learning |
2022 |
DBLP DOI BibTeX RDF |
|
26 | Rosemary Carroll Farley |
Student undergraduate research projects in linear algebra using a computer algebra system. |
ACM Commun. Comput. Algebra |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Zoltán Kovács, Bernard Parisse |
Giac and GeoGebra - Improved Gröbner Basis Computations. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Willem A. de Graaf |
Orbit Closures of Linear Algebraic Groups. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Cristian-Silviu Radu |
A Note on a Problem Proposed by Kim and Lisonek. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Felix Breuer |
An Invitation to Ehrhart Theory: Polyhedral Geometry and its Applications in Enumerative Combinatorics. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Manuel Kauers, Maximilian Jaroschek, Fredrik Johansson 0001 |
Ore Polynomials in Sage. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Ragni Piene |
Polar Varieties Revisited. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Georg Grasegger, Franz Winkler 0001 |
Symbolic Solutions of First-Order Algebraic ODEs. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Maria-Laura Torrente |
Rational Normal Curves as Set-Theoretic Complete Intersections of Quadrics. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Carsten Schneider |
Fast Algorithms for Refined Parameterized Telescoping in Difference Fields. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | J. Rafael Sendra, David Sevilla, Carlos Villarino |
Some Results on the Surjectivity of Surface Parametrizations. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Joachim von zur Gathen, Konstantin Ziegler |
Survey on Counting Special Types of Polynomials. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Carlos D'Andrea |
Moving Curve Ideals of Rational Plane Parametrizations. |
Computer Algebra and Polynomials |
2015 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012, 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 |
|
26 | 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 |
|
26 | 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 |
|
26 | Ron Goldman 0002 |
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 |
|
26 | 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 |
|
26 | Robert Valkenburg, Nawar Alwesh |
Calibration of Target Positions Using Conformal Geometric Algebra. |
Guide to Geometric Algebra in Practice |
2011 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | Andreas Aristidou, Joan Lasenby |
Inverse Kinematics Solutions Using Conformal Geometric Algebra. |
Guide to Geometric Algebra in Practice |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012, Yuanhao Cao |
On Geometric Theorem Proving with Null Geometric Algebra. |
Guide to Geometric Algebra in Practice |
2011 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | 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 |
|
26 | Daniel M. Dunlavy, Tamara G. Kolda, W. Philip Kegelmeyer |
Multilinear Algebra for Analyzing Data with Multiple Linkages. |
Graph Algorithms in the Language of Linear Algebra |
2011 |
DBLP DOI BibTeX RDF |
|
26 | Agnieszka Patyk |
Geometric Algebra Model of Distributed Representations. |
Geometric Algebra Computing |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Hongbo Li 0012 |
Parameterization of 3D Conformal Transformations in Conformal Geometric Algebra. |
Geometric Algebra Computing |
2010 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | Alyn Rockwood, Dietmar Hildenbrand |
Engineering Graphics in Geometric Algebra. |
Geometric Algebra Computing |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Dietmar Hildenbrand, Joachim Pitt, Andreas Koch 0001 |
Gaalop - High Performance Parallel Computing Based on Conformal Geometric Algebra. |
Geometric Algebra Computing |
2010 |
DBLP DOI BibTeX RDF |
|
26 | Leo Dorst |
Tutorial: Structure-Preserving Representation of Euclidean Motions Through Conformal Geometric Algebra. |
Geometric Algebra Computing |
2010 |
DBLP DOI BibTeX RDF |
|
26 | 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 |
|
26 | 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 |
|
26 | Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld |
07071 Abstracts Collection -- Web Information Retrieval and Linear Algebra Algorithms. |
Web Information Retrieval and Linear Algebra Algorithms |
2007 |
DBLP BibTeX RDF |
|
26 | Andreas Frommer, Michael W. Mahoney, Daniel B. Szyld |
07071 Report on Dagstuhl Seminar -- Web Information Retrieval and Linear Algebra Algorithms. |
Web Information Retrieval and Linear Algebra Algorithms |
2007 |
DBLP BibTeX RDF |
|
26 | Dirk Draheim, Winfried Neun, Dima Suliman |
Employing Computer Algebra for Classifying Mathematical Web Content. |
Algorithmic Algebra and Logic |
2005 |
DBLP BibTeX RDF |
|
26 | Gema M. Diaz-Toca |
Galois Theory, Splitting Fields, and Computer Algebra. |
Algorithmic Algebra and Logic |
2005 |
DBLP BibTeX RDF |
|
26 | Masayuki Noro |
A Computer Algebra System: Risa/Asir. |
Algebra, Geometry, and Software Systems |
2003 |
DBLP BibTeX RDF |
|
26 | James H. Davenport |
The Geometry of Cn is Important for the Algebra of Elementary Functions. |
Algebra, Geometry, and Software Systems |
2003 |
DBLP BibTeX RDF |
|
26 | Jos C. M. Baeten, Twan Basten |
Partial-Order Process Algebra (and its Relation to Petri Nets). |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Rance Cleaveland, Gerald Lüttgen, V. Natarajan 0001 |
Priority in Process Algebra. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Sjouke Mauw, Michel A. Reniers |
A Process Algebra for Interworkings. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Wan J. Fokkink, Alban Ponse |
Process Algebra with Recursive Operations. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jan A. Bergstra, Cornelis A. Middelburg, Yaroslav S. Usenko |
Discrete Time Process Algebra and the Semantics of SDL. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Jos C. M. Baeten, Cornelis A. Middelburg |
Process Algebra with Timing: Real Time and Discrete Time. |
Handbook of Process Algebra |
2001 |
DBLP DOI BibTeX RDF |
|
26 | N. Joachim Lehmann |
Computer Algebra and Practical Analysis. |
European Conference on Computer Algebra (1) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | George E. Collins |
The SAC-2 Computer Algebra System. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Robert S. Sutor |
The Scratchpad II Computer Algebra Language and System. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Stephen M. Watt |
A System for Parallel Computer Algebra Programs. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | J.-M. Drouffe |
Computer Algebra as a Research Tool in Physics. |
European Conference on Computer Algebra (1) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | John F. Ogilvie |
Application of Computer Algebra to the Theory of the Vibration-Rotational Spectra of Diatomic Molecules. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Arne Hornæs |
Computer Algebra in Norway. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Bob F. Caviness |
Computer Algebra: Past and Future. |
European Conference on Computer Algebra (1) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dennis S. Arnon |
On Mechanical Quantifier Elimination for Elementary Algebra and Geometry: Solution of a Non-Trivial Problem. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Dieter Armbruster |
Bifurcation Theory and Computer Algebra: An Initial Approach. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | Terje Wahl |
Infinite Dimensional Computer Lie Algebra? |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | D. M. Klimov |
Symbolic Algebra in Problems of Non-Linear Mechanics. |
European Conference on Computer Algebra (2) |
1985 |
DBLP DOI BibTeX RDF |
|
26 | José Manuel Casas, Manuel A. Insua, Manuel Ladra, Susana Ladra |
Algorithm for Testing the Leibniz Algebra Structure. |
EUROCAST |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Fengguang Song, Asim YarKhan, Jack J. Dongarra |
Dynamic task scheduling for linear algebra algorithms on distributed-memory multicore systems. |
SC |
2009 |
DBLP DOI BibTeX RDF |
|
26 | Yousheng Tian, Yingxu Wang 0001 |
A Knowledge Representation Tool Based on Concept Algebra. |
IEEE ICCI |
2007 |
DBLP DOI BibTeX RDF |
|
26 | John Harding, Carol L. Walker, Elbert A. Walker |
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. |
FUZZ-IEEE |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Faxin Zhao, Zong Min Ma 0001, Li Yan 0001 |
A Vague Relational Model and Algebra. |
FSKD (1) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Cezary Kaliszyk, Freek Wiedijk |
Certified Computer Algebra on Top of an Interactive Theorem Prover. |
Calculemus/MKM |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Ninghui Li, Qihua Wang |
Beyond separation of duty: an algebra for specifying high-level security policies. |
CCS |
2006 |
DBLP DOI BibTeX RDF |
access control, category, separation of duty, policy design |
26 | Algimantas Cepulkauskas, Regina Kulvietiene, Genadijus Kulvietis |
Computer Algebra for the Formation of Structural Matrices of Piezoceramic Finite Elements. |
International Conference on Computational Science (2) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Víctor Álvarez 0001, José Andrés Armario, María Dolores Frau, Pedro Real 0001 |
Comparison Maps for Relatively Free Resolutions. |
CASC |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Antonio Gentile, Salvatore Segreto, Filippo Sorbello, Giorgio Vassallo, Salvatore Vitabile, Vincenzo Vullo |
CliffoSor: A Parallel Embedded Architecture for Geometric Algebra and Computer Graphics. |
CAMP |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Dirk Leinders, Jan Van den Bussche |
On the complexity of division and set joins in the relational algebra. |
PODS |
2005 |
DBLP DOI BibTeX RDF |
|
26 | Jos C. M. Baeten, Mario Bravetti |
A Ground-Complete Axiomatization of Finite State Processes in Process Algebra. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|