Výsledky vyhledávání - "Computing methodologies Symbolic and algebraic manipulation Computer algebra system"

Behavioural Preorders via Graded Monads Autor 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…”
Získat 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. Unlike previous related…”
Získat plný text

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

“…We initiate a systematic study of the computational complexity of the Constraint Satisfaction Problem (CSP) over finite structures that may contain both…”
Získat 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ískat 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ískat 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. The method is based on the integration of a new algebraic…”
Získat 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…”
Získat 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ískat plný text

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

“…We propose a trust framework model for an educational cloud which is designed to overcome inequalities of M-shaped incomes by simplifying contract-based…”
Získat 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ískat plný text

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

“…We present a novel approach that integrates occlusion culling within the view-dependent rendering framework. View-dependent rendering provides the ability to…”
Získat 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ískat plný text

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

Získat 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. Expressions can include differential operators and…”
Získat plný text

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

Získat plný text

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

Získat plný text