Results 221 to 230 of about 311,159 (279)
Algorithms of $D$-modules with parameters (Computer Algebra - Theory and its Applications)
, 2020 中山, 洋将
openalex +1 more source
Optimising Wave Energy Plant Location Through Neutrosophic Multi‐Criteria Group Decision‐Making
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT The global shift towards sustainable energy has intensified research into renewable sources, particularly wave energy. Pakistan, with its long coastline, holds significant potential for wave energy development. However, identifying optimal locations for wave energy plants involves evaluating complex, multi‐faceted criteria.
Hafiz Muhammad Athar Farid +4 more
wiley +1 more source
Petri Net Morphisms and Codes (Logics, Algebras and Languages in Computer Science)
, 2014 良行 國持
openalex +1 more source
Distributed Formation Control for Heterogeneous Robot Systems Based on Competitive Mechanism
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT This paper presents an adaptive formation control method for a heterogeneous robot swarm, utilising a multilevel formation task tree to model various types of formation tasks and a single‐state distributed k‐winner‐take‐all (S‐DKWTA) algorithm to address the MRTA problem.
Zhenghui Cui, Xiaoyi Gu, Ning Tan
wiley +1 more source
A Universal Meta‐Heuristic Framework for Influence Maximisation in Hypergraphs
CAAI Transactions on Intelligence Technology, EarlyView.ABSTRACT Influence maximisation (IM) aims to select a small number of nodes that are able to maximise their influence in a network and covers a wide range of applications. Despite numerous attempts to provide effective solutions in simple networks, higher‐order interactions between entities in various real‐world systems are usually not taken into ...
Ming Xie +5 more
wiley +1 more source
多変数の解析的因数分解の実装について (Computer Algebra : Design of Algorithms, Implementations and Applications)
, 2007 真希 岩見
openalex +1 more source
Computer algebra for solving dynamics problems of piezoelectric robots with large number of joints
, 2011 Genadijus Kulvietis +3 more
openalex +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
Mathematical Structures in Computer Science, 2001
We introduce a framework that generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies. The resulting abstract mathematical description allows one to model the implementation of algebras on various platforms in a way that is independent of the function-oriented specifications.We study algebras with ...
Walicki, Michał +2 more
openaire +2 more sources
We introduce a framework that generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies. The resulting abstract mathematical description allows one to model the implementation of algebras on various platforms in a way that is independent of the function-oriented specifications.We study algebras with ...
Walicki, Michał +2 more
openaire +2 more sources