Search Results - Computing methodologies Symbolic and algebraic manipulation Computer algebra systems*

Comments on the use of computer symbolic algebra for theoretical physics by Kennedy, A. D.

“…We discuss some of the Algebraic Manipulation Programs currently available, mainly considering MACSYMA, SCHOONSCHIP, and REDUCE, from the viewpoint of high energy theoretical physics calculations…”
Get full text

Behavioural Preorders via Graded Monads by Ford, Chase, Milius, Stefan, Schroder, Lutz

“…Like notions of process equivalence, behavioural preorders on processes come in many flavours, ranging from fine-grained comparisons such as ready simulation…”
Get full text

Fixed-Points for Quantitative Equational Logics by Mardare, Radu, Panangaden, Prakash, Plotkin, Gordon

“…We develop a fixed-point extension of quantitative equational logic and give semantics in one-bounded complete quantitative algebras…”
Get full text

Constraint Satisfaction Problems over Finite Structures by Barto, Libor, DeMeo, William, Mottet, Antoine

“…) over finite structures that may contain both relations and operations. We show the close connection between this problem and a natural algebraic question…”
Get full text

Scratchpad memory: design alternative for cache on-chip memory in embedded systems by Banakar, Rajeshwari, Steinke, Stefan, Lee, Bo-Sik, Balakrishnan, M., Marwedel, Peter

“…In this paper we address the problem of on-chip memory selection for computationally intensive applications, by proposing scratch pad memory as an alternative…”
Get full text

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory by Yang, Guowu, Hung, William N. N., Song, Xiaoyu, Perkowski, Marek

“…We propose an approach to optimally synthesize quantum circuits from non-permutative quantum gates such as Controlled-Square-Root-of-Not (i.e. Controlled-V)…”
Get full text

An object-oriented modeling method for algebraic specifications in CafeOBJ by Nakajima, Shin, Futatsugi, Kokichi

“…A scenario-based object-oriented modeling method for algebraic specifications is proposed…”
Get full text

Formal Analysis of Statistical Dependence Based Homological Algebra by Tsumoto, Shusaku, Hirano, Shoji

“…This paper proposes homological analysis of statistical dependency graph. If a dependency graph model satisfy the condition of a chain complex, homological algebra can be applied…”
Get full text

Incremental Multi-manifold Out-of-Sample Data Prediction by Zhongxin Liu, Wenmin Wang, Ronggang Wang

“…A lot of manifold learning algorithms have been developed, which are used to learn a low dimensional model on a manifold representing large numbers of data in…”
Get full text

CA-ABAC: Class Algebra Attribute-Based Access Control by Buehrer, D. J., Chun-Yao Wang

“… We use class algebra, which is similar to SROIQ(D) description logic, as the access control policy language…”
Get full text

Unsupervised structure discovery for biodiversity information by Cui, Hong, McCourt, Richard M., Feist, Monique

“…The project presented concerns with improving the access to biodiversity information in legacy formats. The majority of biodiversity information, for example,…”
Get full text

Integrating occlusion culling with view-dependent rendering by El-Sana, Jihad, Sokolovsky, Neta, Silva, Cláudio T.

“… Because computing exact visibility is expensive and it is currently not possible to perform this computation in real time, we use a visibility estimation technique instead…”
Get full text

MPI and OpenMP paradigms on cluster of SMP architectures: the vacancy tracking algorithm for multi-dimensional array transposition by He, Yun, Ding, Chris H. Q.

“…We investigate remapping multi-dimensional arrays on cluster of SMP architectures under OpenMP, MPI, and hybrid paradigms. Traditional method of array…”
Get full text

BIP-SMP: high performance message passing over a cluster of commodity SMPs by Geoffray, Patrick, Prylli, Loïc, Tourancheau, Bernard

Get full text

Large field visualization with demand-driven calculation by Moran, Patrick J., Henze, Chris

“…We present a system designed for the interactive definition and visualization techniques to the result. Expressions can include differential operators and…”
Get full text

A native process algebra for VHDL by Breuer, Peter T., Madrid, Natividad Martínez

Get full text

Stepwise refinement process with modularity by Nakagawa, Ataru T., Futatsugi, Kokichi

Get full text

Low power pipelining of linear systems: a common operand centric approach by Kim, Daehong, Shin, Dongwan, Choi, Kiyoung

Get full text