Výsledky vyhľadávania - Computing methodologies Symbolic and algebraic manipulation Computer algebra systems

Comments on the use of computer symbolic algebra for theoretical physics Autor 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…”
Získať plný text

Fixed-Points for Quantitative Equational Logics Autor 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…”
Získať plný text

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

“… We introduce a unified semantic framework for behavioural preorders and their characteristic logics in which we parametrize the system type as a functor on the category Pos of partially ordered sets…”
Získať plný text

Constraint Satisfaction Problems over Finite Structures Autor 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…”
Získať plný text

Exact Synthesis of 3-Qubit Quantum Circuits from Non-Binary Quantum Gates Using Multiple-Valued Logic and Group Theory Autor 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)…”
Získať plný text

Scratchpad memory: design alternative for cache on-chip memory in embedded systems Autor 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…”
Získať plný text

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

“…A scenario-based object-oriented modeling method for algebraic specifications is proposed…”
Získať plný text

Formal Analysis of Statistical Dependence Based Homological Algebra Autor 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…”
Získať plný text

Incremental Multi-manifold Out-of-Sample Data Prediction Autor 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…”
Získať plný text

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

“… We use class algebra, which is similar to SROIQ(D) description logic, as the access control policy language…”
Získať plný text

Unsupervised structure discovery for biodiversity information Autor 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,…”
Získať plný text

Integrating occlusion culling with view-dependent rendering Autor 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…”
Získať plný text

MPI and OpenMP paradigms on cluster of SMP architectures: the vacancy tracking algorithm for multi-dimensional array transposition Autor 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…”
Získať plný text

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

Získať plný text

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

“…We present a system designed for the interactive definition and visualization techniques to the result…”
Získať plný text

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

Získať plný text

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

Získať plný text

Pipirima: Predicting Patterns in Sparsity to Accelerate Matrix Algebra Autor Bakhtiar, Ubaid, Joo, Donghyeon, Asgari, Bahar

“…While sparsity, a feature of data in many applications, provides optimization opportunities such as reducing unnecessary computations, data transfers, and…”
Získať plný text

Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP Autor Barto, Libor, Brady, Zarathustra, Bulatov, Andrei, Kozik, Marcin, Zhuk, Dmitriy

“…This paper focuses on the algebraic theory underlying the study of the complexity and the algorithms for the Constraint Satisfaction Problem (CSP…”
Získať plný text

SpV8: Pursuing Optimal Vectorization and Regular Computation Pattern in SpMV Autor Li, Chenyang, Xia, Tian, Zhao, Wenzhe, Zheng, Nanning, Ren, Pengju

“…Sparse Matrix-Vector Multiplication (SpMV) plays an important role in many scientific and industry applications, and remains a well-known challenge due to the…”
Získať plný text