|
|
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 |
26 | J. Smit |
Computer algebra and VLSI, prospects for cross fertilization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAL ![In: Computer Algebra, EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings, pp. 275-285, 1983, Springer, 3-540-12868-9. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
26 | Anthony C. Hearn |
REDUCE - A Case Study in Algebra System Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAM ![In: Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp. 263-272, 1982, Springer, 3-540-11607-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | J. A. van Hulzen |
Computer Algebra Systems Viewed by a Notorious User. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAM ![In: Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp. 166-180, 1982, Springer, 3-540-11607-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | A. C. Norman |
The Development of a Vector-based Algebra System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAM ![In: Computer Algebra, EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April, 1982, Proceedings, pp. 237-248, 1982, Springer, 3-540-11607-9. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
26 | Majid Alizadeh |
Completions of Basic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information and Computation, 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, pp. 72-83, 2009, Springer, 978-3-642-02260-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(10), pp. 1027-1034, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 181-186, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EGC ![In: Advances in Grid Computing - EGC 2005, European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers, pp. 1097-1106, 2005, Springer, 3-540-26918-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings, pp. 135-150, 2002, Springer, 3-540-44240-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(6), pp. 467-473, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 1-21, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 11-13 December 1997, Seoul, Korea, Proceedings, pp. 52-58, 1997, IEEE Computer Society, 0-8186-8227-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 88-102, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
partially ordered monad, Kleene algebra |
25 | Philippe Balbiani, Tinko Tinchev |
Boolean Logics with Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings, pp. 4-21, 2008, Springer, 978-3-540-78912-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 34-48, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004, pp. 366-367, 2004, ACM, 1-58113-815-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 271-278, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 10(5), pp. 686-705, 1998. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 5(12), pp. 1302-1309, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 42(5), pp. 591-596, 1993. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 40(12), pp. 1429-1435, 1991. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 30(8), pp. 609-613, 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 89(1), pp. 1-18, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(6), pp. 463-470, 2005. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 5(4), pp. 611-668, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(4), pp. 319-338, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 7(7), pp. 482-485, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 5(5), pp. 386-395, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 17(1), pp. 23-41, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 13(2), pp. 107-120, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Franz Baader, Werner Nutt |
Combination problems for commutative/monoidal theories or how algebra can help in equational unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(4), pp. 309-337, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Computer Algebra ![In: Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, pp. 167-176, 1987, Springer, 3-540-18928-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | John A. Abbott, Russell J. Bradford, James H. Davenport |
Factorisation of Polynominals: Old Ideas and Recent Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trends in Computer Algebra ![In: Trends in Computer Algebra, International Symposium, Bad Neuenahr, Germany, May 19-21, 1987, Proceedings, pp. 81-91, 1987, Springer, 3-540-18928-9. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
22 | Ivan Chajda |
Double Basic Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 26(2), pp. 149-162, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 461-468, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Shazzad Hosain, Hasan M. Jamil |
An Algebraic Language for Semantic Data Integration on the Hidden Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSC ![In: Proceedings of the 3rd IEEE International Conference on Semantic Computing (ICSC 2009), 14-16 September 2009, Berkeley, CA, USA, pp. 237-244, 2009, IEEE Computer Society, 978-0-7695-3800-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu |
Cartesian product of compressible effect algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 12(11), pp. 1115-1118, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 87(1), pp. 1-11, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Polyadic algebras, cylindric algebras |
22 | Vilém Novák |
EQ-Algebras in Progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (2) ![In: Theoretical Advances and Applications of Fuzzy Logic and Soft Computing, Selection of Papers from IFSA 2007, pp. 876-884, 2007, Springer, 978-3-540-72433-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway, pp. 46, 2007, IEEE Computer Society, 978-0-7695-2831-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Jianhua Dai |
Study on the Axis Problem of Rough 3-Valued Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 217-220, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 35(1), pp. 20-25, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
XML, SQL |
22 | Marina Issakova |
Learning Linear Equation Solving Algorithm and Its Steps in Intelligent Learning Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 8th International Conference, ITS 2006, Jhongli, Taiwan, June 26-30, 2006, Proceedings, pp. 725-727, 2006, Springer, 3-540-35159-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Daniel Fontijne, Leo Dorst |
Modeling 3D Euclidean Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Computer Graphics and Applications ![In: IEEE Computer Graphics and Applications 23(2), pp. 68-78, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Peter B. Ladkin, Roger D. Maddux |
On Binary Constraint Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 41(3), pp. 435-469, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 25-28, 1993, Washington, DC, USA, pp. 49-58, 1993, ACM Press, 0-89791-593-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Arkadius G. Kalka |
Representation Attacks on the Braid Diffie-Hellman Public Key Encryption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 17(3-4), pp. 257-266, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(3), pp. 175-210, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 7(5), pp. 339-349, 1996. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 15th International Conference on Intelligent User Interfaces, IUI 2010, Hong Kong, China, February 7-10, 2010, pp. 305-308, 2010, ACM, 978-1-60558-515-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 69-76, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Yingxu Wang |
Granular algebra for modeling granular systems and granular computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the 8th IEEE International Conference on Cognitive Informatics, ICCI 2009, June 15-17, 2009, Hong Kong, China, pp. 145-154, 2009, IEEE Computer Society, 978-1-4244-4642-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Christoph Koch 0001 |
A compositional query algebra for second-order logic and uncertain databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 127-140, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICEC ![In: Entertainment Computing - ICEC 2009, 8th International Conference, Paris, France, September 3-5, 2009. Proceedings, pp. 132-144, 2009, Springer, 978-3-642-04051-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
algebraic formalisms, logic design, storytelling, narratology, plots |
22 | Benjamin Adams, Martin Raubal |
A Metric Conceptual Space Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COSIT ![In: Spatial Information Theory, 9th International Conference, COSIT 2009, Aber Wrac'h, France, September 21-25, 2009, Proceedings, pp. 51-68, 2009, Springer, 978-3-642-03831-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Calculemus/MKM ![In: Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings, pp. 467-473, 2009, Springer, 978-3-642-02613-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Qi Yu 0001, Athman Bouguettaya |
Framework for Web service query algebra and optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Web ![In: ACM Trans. Web 2(1), pp. 6:1-6:35, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 45(3), pp. 211-236, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ling Zhuo, Viktor K. Prasanna |
High-Performance Designs for Linear Algebra Operations on Reconfigurable Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 57(8), pp. 1057-1071, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Ninghui Li, Qihua Wang |
Beyond separation of duty: An algebra for specifying high-level security policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 55(3), pp. 12:1-12:46, 2008. The full citation details ...](Pics/full.jpeg) |
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?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMT@TOOLS ![In: Theory and Practice of Model Transformations - 1st International Conference, ICMT@TOOLS 2008, Zurich, Switzerland, July 1-2, 2008, Proceedings, pp. 61-75, 2008, Springer, 978-3-540-69926-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pillars of Computer Science ![In: Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, pp. 596-619, 2008, Springer, 978-3-540-78126-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Luis Falcón-Morales, Eduardo Bayro-Corrochano |
Radon transform and Conformal Geometric Algebra with lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Christian Gebken, Gerald Sommer |
Stochastically Optimal Epipole Estimation in Omnidirectional Images with Geometric Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RobVis ![In: Robot Vision, Second International Workshop, RobVis 2008, Auckland, New Zealand, February 18-20, 2008, Proceedings, pp. 85-97, 2008, Springer, 978-3-540-78156-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Jeremy G. Siek, Ian Karlin, Elizabeth R. Jessup |
Build to order linear algebra kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 4070-4074, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Hang Zhao, Jorge Lobo 0001, Steven M. Bellovin |
An Algebra for Integration and Analysis of Ponder2 Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POLICY ![In: 9th IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY 2008), 2-4 June 2008, Palisades, New York, USA, pp. 74-77, 2008, IEEE Computer Society, 978-0-7695-3133-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Kai Hu, Yingxu Wang |
Autolearner: An Autonomic Machine Learning System Based on Concept Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Six IEEE International Conference on Cognitive Informatics, ICCI 2007, August 6-8, Lake Tahoe, CA, USA, pp. 502-512, 2007, IEEE Computer Society, 1-4244-1327-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Frank Drewes, Johanna Högberg |
An Algebra for Tree-Based Music Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAI ![In: Algebraic Informatics, Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers, pp. 172-188, 2007, Springer, 978-3-540-75413-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSD ![In: Tenth Euromicro Conference on Digital System Design: Architectures, Methods and Tools (DSD 2007), 29-31 August 2007, Lübeck, Germany, pp. 436-439, 2007, IEEE Computer Society, 0-7695-2978-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Serge Abiteboul |
A Calculus and Algebra for Distributed Data Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, pp. 1-11, 2007, Springer, 978-3-540-70917-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Kazumaro Aoki, Takeshi Shimoyama, Hiroki Ueda |
Experiments on the Linear Algebra Step in the Number Field Sieve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security, Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007, Proceedings, pp. 58-73, 2007, Springer, 978-3-540-75650-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2007, Waterloo, Ontario, Canada, July 28 - August 1, 2007, Proceedings, pp. 391-392, 2007, ACM, 978-1-59593-743-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Fred G. Gustavson, Jerzy Wasniewski |
Novel Data Formats and Algorithms for Dense Linear Algebra Computations: Minisymposium Abstract. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARA ![In: Applied Parallel Computing. State of the Art in Scientific Computing, 8th International Workshop, PARA 2006, Umeå, Sweden, June 18-21, 2006, Revised Selected Papers, pp. 520, 2006, Springer, 978-3-540-75754-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Peter Höfner, Ridha Khédri, Bernhard Möller |
Feature Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings, pp. 300-315, 2006, Springer, 3-540-37215-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Giacomo Buratti, Danilo Montesi |
A Data Model and an Algebra for Querying XML Documents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 17th International Workshop on Database and Expert Systems Applications (DEXA 2006), 4-8 September 2006, Krakow, Poland, pp. 482-486, 2006, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Thomas A. Henzinger, Slobodan Matic |
An Interface Algebra for Real-Time Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 4-7 April 2006, San Jose, California, USA, pp. 253-266, 2006, IEEE Computer Society, 0-7695-2516-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Lishi Zhang, Xiaodong Liu 0001 |
Concept Lattice and AFS Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD ![In: Fuzzy Systems and Knowledge Discovery, Third International Conference, FSKD 2006, Xi'an, China, September 24-28, 2006, Proceedings, pp. 290-299, 2006, Springer, 3-540-45916-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Stelios Paparizos, H. V. Jagadish |
The Importance of Algebra for XML Query Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT Workshops ![In: Current Trends in Database Technology - EDBT 2006, EDBT 2006 Workshops PhD, DataX, IIDB, IIHA, ICSNW, QLQP, PIM, PaRMA, and Reactivity on the Web, Munich, Germany, March 26-31, 2006, Revised Selected Papers, pp. 126-135, 2006, Springer, 3-540-46788-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Javed I. Khan, Sajid S. Shaikh |
Relationship Algebra for Computing in Social Networks and Social Network Based Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 18-22 December 2006, Hong Kong, China, pp. 113-116, 2006, IEEE Computer Society, 0-7695-2747-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Anna Maria Bigatti, Lorenzo Robbiano |
CoCoA: a system for computations in commutative algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2006, Genoa, Italy, July 9-12, 2006, Proceedings, pp. 6, 2006, ACM, 1-59593-276-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos |
Compound Term Composition Algebra: The Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 58-84, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 27-30 November 2005, Houston, Texas, USA, pp. 242-249, 2005, IEEE Computer Society, 0-7695-2278-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, Baltimore, Maryland, USA, June 14-16, 2005, pp. 131-142, 2005, ACM, 1-59593-060-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 19th International Parallel and Distributed Processing Symposium (IPDPS 2005), CD-ROM / Abstracts Proceedings, 4-8 April 2005, Denver, CO, USA, 2005, IEEE Computer Society, 0-7695-2312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Marina Issakova, Dmitri Lepp, Rein Prank |
Input Design in Interactive Learning Environment T-Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: Proceedings of the 5th IEEE International Conference on Advanced Learning Technologies, ICALT 2005, Kaohsiung, Taiwan, July 5-8, 2005, pp. 489-491, 2005, IEEE Computer Society, 0-7695-2338-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller, Georg Struth |
p Is. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, pp. 200-211, 2005, Springer, 3-540-33339-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jouni Järvinen, Ewa Orlowska |
Relational Correspondences for Lattices with Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers, pp. 134-146, 2005, Springer, 3-540-33339-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Jan A. Bergstra, Cornelis A. Middelburg |
Strong Splitting Bisimulation Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings, pp. 83-97, 2005, Springer, 3-540-28620-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller |
Lazy Kleene Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004, Proceedings, pp. 252-273, 2004, Springer, 3-540-22380-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Bernhard Möller, Georg Struth |
Modal Kleene Algebra and Partial Correctness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings, pp. 379-393, 2004, Springer, 3-540-22381-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Intelligent Tutoring Systems ![In: Intelligent Tutoring Systems, 7th International Conference, ITS 2004, Maceiò, Alagoas, Brazil, August 30 - September 3, 2004, Proceedings, pp. 240-250, 2004, Springer, 3-540-22948-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Luciano Gerber, Alvaro A. A. Fernandes |
An Abstract Algebra for Knowledge Discovery in Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ADBIS ![In: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding, pp. 83-98, 2004, Springer, 3-540-23243-5. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Program. Comput. Softw. ![In: Program. Comput. Softw. 29(2), pp. 94-99, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Tomoko Ninomiya, Masao Mukaidono |
Complete and Independent Sets of Axioms of Boolean Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMVL ![In: 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 16-19 May 2003, Tokyo, Japan, pp. 169-174, 2003, IEEE Computer Society, 0-7695-1918-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Sergey A. Inutin |
Parallel Square Modular Computer Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPAM ![In: Parallel Processing and Applied Mathematics, 5th International Conference, PPAM 2003, Czestochowa, Poland, September 7-10, 2003. Revised Papers, pp. 993-997, 2003, Springer, 3-540-21946-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Communication in Multiagent Systems ![In: Communication in Multiagent Systems, Agent Communication Languages and Conversation Policies., pp. 113-128, 2003, Springer, 3-540-40385-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Ayal Z. Pinkus, Serge Winitzki |
YACAS: A Do-It-Yourself Symbolic Algebra Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 332-336, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Antonio Cerone |
Implementing Condition/Event Nets in the Circal Process Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, pp. 49-63, 2002, Springer, 3-540-43353-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
22 | Jae Young Lee, Ramez Elmasri |
A Temporal Algebra for an ER-Based Temporal Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 17th International Conference on Data Engineering, April 2-6, 2001, Heidelberg, Germany, pp. 33-40, 2001, IEEE Computer Society, 0-7695-1001-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
Displaying result #401 - #500 of 19248 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|