Search results for "MV-algebra"

Hits ?▲	Authors	Title	Venue	Year	Link
18	Till Mossakowski, Wieslaw Pawlowski, Donald Sannella, Andrzej Tarlecki	Parchments for CafeOBJ Logics.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Min Zhang 0002, Kazuhiro Ogata 0001, Kokichi Futatsugi	Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Anh-Dung Phan, Michael R. Hansen, Jan Madsen	EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Anne E. Haxthausen	An Institution for Imperative RSL Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Dines Bjørner	Domain Endurants - An Analysis and Description Process Model.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Shaoying Liu	Extending Operation Semantics to Enhance the Applicability of Formal Refinement.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Leon J. Osterweil	On Formal Definition and Analysis of Formal Verification Processes.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Jon Grov, Peter Csaba Ölveczky	Formal Modeling and Analysis of Google's Megastore in Real-Time Maude.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Masaki Nakamura 0001, Kazuhiro Ogata 0001, Kokichi Futatsugi	Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	John Rushby	The Versatile Synchronous Observer.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Francisco Durán 0001, Manuel Roldán, Antonio Moreno-Delgado, José María Álvarez 0002	Dynamic Validation of Maude Prototypes of UML Models.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	María Alpuente, Demis Ballis, Francisco Frechina, Julia Sapiña	Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way).	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Mark-Oliver Stehr, Minyoung Kim, Carolyn L. Talcott	Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Camilo Rocha, José Meseguer 0001	Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Lenz Belzner, Rocco De Nicola, Andrea Vandin, Martin Wirsing	Reasoning (on) Service Component Ensembles in Rewriting Logic.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Roberto Bruni, Hernán C. Melgratti, Ugo Montanari	Behaviour, Interaction and Dynamics.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Carlo Ghezzi, Andrea Mocci, Mario Sangiorgio	Synthesis of Infinite-State Abstractions and Their Use for Software Validation.	Specification, Algebra, and Software	2014	DBLP DOI BibTeX RDF
18	Alain Lascoux	Polynomial Representations of the Hecke Algebra of the Symmetric Group.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
18	Ibrahim Assem, Juan Carlos Bustamante 0002, Kiyoshi Igusa, Ralf Schiffler	The First Hochschild Cohomology Group of a Cluster tilted Algebra Revisited.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
18	Martin Goldstern, Michael Pinsker, Saharon Shelah	A Closed Algebra with a Non-Borel Clone and an Ideal with a Borel Clone.	Int. J. Algebra Comput.	2013	DBLP DOI BibTeX RDF
18	Hitay Özbay	Computation of H ∞ controllers for infinite dimensional plants using numerical linear algebra.	Numer. Linear Algebra Appl.	2013	DBLP DOI BibTeX RDF
18	David F. Gleich, Chen Greif, James M. Varah	The power and Arnoldi methods in an algebra of circulants.	Numer. Linear Algebra Appl.	2013	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18		Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Chen Bui, Gérard Henry Edmond Duchamp, Vincel Hoang Ngoc Minh	Schützenberger's factorization on q?stuffle Hopf algebra.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Daniel S. Roche	Abstracts of the 2013 east coast computer algebra day.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Johannes Middeke	Annihilating monomials with the integro-differential Weyl algebra.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	David R. Stoutemyer	A computer algebra user interface manifesto.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2013	DBLP DOI BibTeX RDF
18	Iliya Bouyukliev, Stanislav Bulygin, Edgar Martínez-Moro	Foreword: computer algebra in coding theory and cryptography.	Appl. Algebra Eng. Commun. Comput.	2013	DBLP DOI BibTeX RDF
18	Alexei G. Myasnikov, Alexander Ushakov, Dong Wook Won	Power Circuits, exponential Algebra, and Time Complexity.	Int. J. Algebra Comput.	2012	DBLP DOI BibTeX RDF
18	Davod Khojasteh Salkuyeh, Shiva Behnejad	'Modified Hermitian and skew-Hermitian splitting methods for non-Hermitian positive-definite linear systems' [Numer. Linear Algebra Appl. 14 (2007) 217-235].	Numer. Linear Algebra Appl.	2012	DBLP DOI BibTeX RDF
18	Zhong-Zhi Bai, Iain S. Duff, Lothar Reichel, Zhong-Ci Shi	Innovative methods and theories in numerical algebra.	Numer. Linear Algebra Appl.	2012	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Tony Shaska, Daniel E. Steffy	East coast computer algebra day 2012 abstracts.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2012	DBLP DOI BibTeX RDF
18	Graham Ellis, Eduardo Sáenz-de-Cabezón	Special issue on computer algebra in algebraic topology and its applications.	Appl. Algebra Eng. Commun. Comput.	2012	DBLP DOI BibTeX RDF
18	Marcel Jackson, Timothy Stokes 0001	Modal restriction Semigroups: towards an Algebra of Functions.	Int. J. Algebra Comput.	2011	DBLP DOI BibTeX RDF
18	John May	East coast computer algebra day 2011 abstracts.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	Akira Terui	Abstracts from RIMS workshop on developments in computer algebra research.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	David R. Stoutemyer	Ways to implement computer algebra compactly.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy Johnson 0001	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy R. Johnson	Abstracts of recent doctoral dissertations in computer algebra.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	David Joyner, Ondrej Certík, Aaron Meurer, Brian E. Granger	Open source computer algebra systems: SymPy.	ACM Commun. Comput. Algebra	2011	DBLP DOI BibTeX RDF
18	José Mennesson, Christophe Saint-Jean, Laurent Mascarilla	Color Object Recognition Based on a Clifford Fourier Transform.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	David Hestenes	The Shape of Differential Geometry in Geometric Calculus.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Glen Mullineux, Leon Simpson	Rigid-Body Transforms Using Symbolic Infinitesimals.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	René Schott, G. Stacey Staples	On the Complexity of Cycle Enumeration for Simple Graphs.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Eduardo Bayro-Corrochano, Eduardo Ulises Moya-Sánchez	Quaternion Atomic Function for Image Processing.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Charles Gunn	On the Homogeneous Model of Euclidean Geometry.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Lilian Aveneau, Sylvain Charneau, Laurent Fuchs, Frédéric Mora	A Framework for n-Dimensional Visibility Computations.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Daniel Fontijne, Leo Dorst	Reconstructing Rotations and Rigid Body Motions from Exact Point Correspondences Through Reflections.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Liam Candy, Joan Lasenby	Attitude and Position Tracking.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Elizabeth L. Mansfield, Jun Zhao	On the Modern Notion of a Moving Frame.	Guide to Geometric Algebra in Practice	2011	DBLP DOI BibTeX RDF
18	Jeremy T. Fineman, Eric Robinson	Fundamental Graph Algorithms.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Charles M. Rader	Connected Components and Minimum Paths.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy Kepner	Graphs and Matrices.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Viral B. Shah, John R. Gilbert, Steve P. Reinhardt	Some Graph Algorithms in an Array-Based Language.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Aydin Buluç, John R. Gilbert	New Ideas in Sparse Matrix Matrix Multiplication.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Huy N. Nguyen, Jeremy Kepner, Alan Edelman	Visualizing Large Kronecker Graphs.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	David A. Bader, Christine E. Heitsch, Kamesh Madduri	Large-Scale Network Analysis.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy Kepner, David A. Bader, Robert Bond, Nadya T. Bliss, Christos Faloutsos, Bruce Hendrickson, John R. Gilbert, Eric Robinson	Fundamental Questions in the Analysis of Large Graphs.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Eric Robinson	Complex Graph Algorithms.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Aydin Buluç, John R. Gilbert, Viral B. Shah	Implementing Sparse Matrices for Graph Algorithms.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Eric Robinson, Jeremy Kepner, John R. Gilbert	Linear Algebraic Notation and Definitions.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy Kepner	Subgraph Detection.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Jeremy Kepner	The Kronecker Theory of Power Law Graphs.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Eric Robinson, Nadya T. Bliss, Sanjeev Mohindra	Parallel Mapping of Sparse Computations.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Jure Leskovec	Kronecker Graphs.	Graph Algorithms in the Language of Linear Algebra	2011	DBLP DOI BibTeX RDF
18	Joe Gildea	The Structure of the Unit Group of the Group Algebra of Pauli's Group over any Field of Characteristic 2.	Int. J. Algebra Comput.	2010	DBLP DOI BibTeX RDF
18	Brian A. Davey, Jane G. Pitkethly	Counting the Relations Compatible with an Algebra.	Int. J. Algebra Comput.	2010	DBLP DOI BibTeX RDF
18	David Saunders	Abstract only: Exact linear algebra.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Flavia Stan	Algorithms for special functions: computer algebra and analytical aspects.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Mickaël Gastineau, Jacques Laskar	TRIP: a computer algebra system dedicated to celestial mechanics and perturbation series.	ACM Commun. Comput. Algebra	2010	DBLP DOI BibTeX RDF
18	Wieland Reich, Gerik Scheuermann	Analyzing Real Vector Fields with Clifford Convolution and Clifford-Fourier Transform.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Mawardi Bahri, Eckhard S. M. Hitzer, Sriwulan Adji	Two-Dimensional Clifford Windowed Fourier Transform.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Fred Brackx, Nele De Schepper, Frank Sommen	The Cylindrical Fourier Transform.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Yi Xu 0001, Xiaokang Yang, Li Song 0001, Leonardo Traversoni, Wei Lu	QWT: Retrospective and New Applications.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Rafal Ablamowicz	Some Applications of Gröbner Bases in Robotics and Engineering.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Daniel Fontijne, Leo Dorst	Efficient Algorithms for Factorization and Join of Blades.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Thomas Batard, Michel Berthier, Christophe Saint-Jean	Clifford-Fourier Transform for Color Image Processing.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Klaus Gürlebeck, João Pedro Morais	Geometric Characterization of M-Conformal Mappings.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Jorge Rivera-Rovelo, Eduardo Bayro-Corrochano, Rüdiger Dillmann	Geometric Neural Computing for 2D Contour and 3D Surface Reconstruction.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Benjamín Cruz, Ricardo Barrón, Humberto Sossa	Geometric Associative Memories and Their Applications to Pattern Classification.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	David Hestenes	New Tools for Computational Geometry and Rejuvenation of Screw Theory.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Fred Brackx, Bram De Knock, Hennie De Schepper	Hilbert Transforms in Clifford Analysis.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	David Israel Gonzalez-Aguirre, Tamim Asfour, Eduardo Bayro-Corrochano, Rüdiger Dillmann	Model-Based Visual Self-localization Using Gaussian Spheres.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Klaus Gürlebeck, Wolfgang Sprößig	Fluid Flow Problems with Quaternionic Analysis - An Alternative Conception.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	René Schott, G. Stacey Staples	Computational Complexity Reductions Using Clifford Algebras.	Geometric Algebra Computing	2010	DBLP DOI BibTeX RDF
18	Leo Creedon, Joe Gildea	Unitary Units of the Group Algebra F2kQ8.	Int. J. Algebra Comput.	2009	DBLP DOI BibTeX RDF
18	Katsunori Kawamura	Universal Algebra of Sectors.	Int. J. Algebra Comput.	2009	DBLP DOI BibTeX RDF
18	Akira Suzuki	Computing gröbner bases within linear algebra and its implementation.	ACM Commun. Comput. Algebra	2009	DBLP DOI BibTeX RDF
18	David Richardson	Effcient programming techniques for the SACLIB computer algebra library.	ACM Commun. Comput. Algebra	2009	DBLP DOI BibTeX RDF
18	David Joyner	Open source computer algebra systems: GAP.	ACM Commun. Comput. Algebra	2009	DBLP DOI BibTeX RDF
18	Howard Cheng, George Labahn	Applying linear algebra routines to modular ore polynomial matrix algorithms.	ACM Commun. Comput. Algebra	2009	DBLP DOI BibTeX RDF
18	Roland Bacher	Determinants Related to Dirichlet Characters Modulo 2, 4 and 8 of binomial Coefficients and the Algebra of Recurrence Matrices.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
18	Suthathip Suanmali	On the Relationship between the Class of a Lie Algebra and the Classes of its Subalgebras.	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF
18	Plamen Koshlukov	Graded Polynomial Identities for the Lie Algebra SL2(k).	Int. J. Algebra Comput.	2008	DBLP DOI BibTeX RDF