We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one ACmatching and reduced term construction. The proposed matching method is based on the construction of compact bipartite graphs, and is designed for working very efficiently on specific classes of AC patterns. We show how to refine this algorithm to...

A factor in the complexity of conventional algorithms for model checking Computation Tree Logic (CTL) is the size of the formulae, and, more precisely, the number of fixpoint operators. This paper addresses the following questions: given a CTL formula f , is there an equivalent formula with fewer fixpoint operators? and how term rewriting techniques may be used to find it? Moreover, for some su...

In this paper, we propose a framework for the performance analysis and flow classification design of Multi-Protocol Over ATM (MPOA) network. The study based on the real Internet/intranet traces shows that even at high cost with long delay for each shortcut setup, MPOA can offer significant performance gain over the traditional routed network in an inter ELAN communication environment. In compar...

the brief reports on natalizumab were referred to biogen idec, the manufacturer, which offers the following response: After learning of one confirmed and one suspected case of progressive multifocal leukoencephalopathy (PML) in patients treated with natalizumab, Biogen Idec and Elan quickly notified the Food and Drug Administration (FDA) and other regulatory authorities. We worked closely with ...

Several algebraic operations can be efficiently implement by arrays of functional units such as systolic arrays. Systolic arrays provide a large amount of parallelism. However, their applicability is restricted to a small set of computational problems due to their lack of flexibility. This limitation can be circumvented by using reconfigurable systolic arrays, where the node operations and inte...

This article extends current methodologies for the linguistic analysis of sign language acquisition to cases of bimodal bilingual acquisition. Using ELAN, we are transcribing longitudinal spontaneous production data from hearing children of Deaf parents who are learning either American Sign Language (ASL) and American English (AE), or Brazilian Sign Language (Libras, also referred to as Língua ...

The question of how musical training can influence perceptual and cognitive abilities of children has been the subject of numerous past studies. However, evidence showing which neural mechanisms underlie changes in cognitive skills in another domain following musical training has remained sparse. Syntax processing in language and music has been shown to rely on overlapping neural resources, and...

This paper discusses the representativeness, coextensitivity and scientific accountability of corpus-based grammatical descriptions of previously unresearched languages. While a grammatical description of a previously unresearched language can hardly be representative for any kind of its varieties, it can be adequate in coextensitivity if it covers the linguistic phenomena presented in the corp...

This article aims to test the applicability and possibility of adaptation Functional Grammar Dance, which is at core development new interdisciplinary research area called Kinesemiotics. As a model analysis for movement-based communication, Dance has already been used classical ballet choreography, it currently employed in collaborative project involving authors this their group Loughborough Un...

Flame recognition is of great significance in fire prevention. However, current algorithms for flame detection have some problems, such as missing and false detection, the accuracy cannot satisfy requirements In order to further above we propose a algorithm based on an improved YOLOv7 network. our algorithm, replace convolution MP-1 module with SimAM structure, which parameter-free attention me...