this book constitutes the refereed proceedings of the 7thinternationalconference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.;the 27 revised full papers presented i...
详细信息
ISBN:
(数字)9783540685968
ISBN:
(纸本)9783540614647
this book constitutes the refereed proceedings of the 7thinternationalconference on Rewriting Techniques and Applications, RTA-96, held in New Brunswick, NJ, USA, in July 1996.;the 27 revised full papers presented in this volume were selected from a total of 84 submissions, also included are six system descriptions and abstracts of three invited papers. the topics covered include analysis of term rewriting systems, string and graph rewriting, rewrite-based theorem proving, conditional term rewriting, higher-order rewriting, unification, symbolic and algebraic computation, and efficient implementation of rewriting on sequential and parallel machines.
In this paper, a fully distributed active complementary fault-tolerant coordination control problem is addressed for nonlinear multi-agent systems (MASs) under multiplicative actuator faults over undirected graph. To ...
详细信息
the Ministry of Road Transport and Highways estimates that 158,964 two-wheeler road accidents occurred in India in 2020, resulting in 56,873 fatalities, some of which were brought on by the lack of a helmet. this is s...
详细信息
Parallel programs executing on non-dedicated SMPs should be adaptive, that is, they should be able to execute on a dynamically varying environment without loss of efficiency. this paper defines a unified set of servic...
详细信息
In this paper, we analysed a new tuning method for PD controller using approximation with Laguerre functions. the optimization was performed for various sets of parameters. We also analysed the convergence of chosen o...
详细信息
the County Energy Internet (CEI) is an emerging trend of energy utilization under energy transition, which integrates multiple energy resources and microgrids (MGs), and can promote system economy, reliability as well...
详细信息
Withthe development of information and communication technology and the continuous improvement of power network automation, the traditional power grid has developed into a smart grid(SG) that integrates the communica...
详细信息
Recently the availability of Machine Learning(ML) algorithms through state of the artprogramming interfaces & tools has lead the research community to employ ML based object detection/classification algorithms &a...
详细信息
Withthe continuous increase of the penetration rate of distributed generation (DG) in the distribution network, higher requirements have been put forward for the dependable and cost-effective operation of the distrib...
详细信息
In this paper we consider the problem of optimal task allocation and scheduling in embedded real-time systems. this problem is far from trivial due to the wide range of complex constraints that typically appear in thi...
详细信息
暂无评论