Throughout this paper,all groups are finite and G always denotes a finite group;σis some partition of the set of all primes P.A group G is said to beσ-primary if G is aπ-group for someπ∈σ.Aπ-semiprojector of G[...
详细信息
Throughout this paper,all groups are finite and G always denotes a finite group;σis some partition of the set of all primes P.A group G is said to beσ-primary if G is aπ-group for someπ∈σ.Aπ-semiprojector of G[29]is a subgroup H of G such that HN/N is a maximalπ-subgroup of G/N for all normal subgroups N of ***П⊆σ.Then we say thatχ={X_(1),...,X_(t)}is aП-covering subgroup system for a subgroup H in G if all members of the setχareσ-primary subgroups of G and for eachπ∈Пwithπ∩π(H)≠φthere are an index i and aπ-semiprojector U of H such that U≤X_(i).We study the embedding properties of subgroups H of G under the hypothesis that G has aП-covering subgroup systemχsuch that H permutes with X^(x)for all X∈χand x∈*** well-known results are generalized.
A system is a collection of processes connected by channels over which they communicate. We consider systems where processes can be communicated. We propose an extension to propositional temporal logic as specificatio...
详细信息
In this paper, the heat conduction equation for composite materials posed and solved. This problem is known as an inverse initial value problem for the heat conduction equation. In order to solve and formulate this in...
详细信息
In this paper we study the use of parallelism to speed up execution of Answer Set Programs (ASP). ASP is an emerging programming paradigm which combines features from constraint programming, logic programming, and non...
详细信息
Graph colouring is the system of assigning a colour to each vertex of a *** is done in such a way that adjacent vertices do not have equal *** is fundamental in graph *** is often used to solve real-world problems lik...
详细信息
Graph colouring is the system of assigning a colour to each vertex of a *** is done in such a way that adjacent vertices do not have equal *** is fundamental in graph *** is often used to solve real-world problems like traffic light signalling,map colouring,scheduling,***,social networks are prevalent systems in our ***,the users are considered as vertices,and their connections/interactions are taken as *** users follow other popular users’profiles in these networks,and some don’t,but those non-followers are connected directly to the popular *** means,along with traditional relationship(information flowing),there is another relation among *** depends on the domination of the relationship between the *** type of situation can be modelled as a directed fuzzy *** the colouring of fuzzy graph theory,edge membership plays a vital *** membership is a representation of flowing information between end nodes of the *** from the communication relationship,there may be some other factors like domination in *** influence of power is captured *** this article,the colouring of directed fuzzy graphs is defined based on the influence of *** with this,the chromatic number and strong chromatic number are provided,and related properties are *** application regarding COVID-19 infection is presented using the colouring of directed fuzzy graphs.
The paper gives an insight of the work done so far in modelling and implementation of user adapted software systems or adaptive web sites. We introduce a five layer framework which gives to our adaptive web based syst...
详细信息
The number of annual scientific publications is growing year by year, which has led to the accumulation and formation of large databases. This increases the complexity of the search for relevant articles. Modern searc...
详细信息
This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTS part of the system integrates Shapiro's I...
详细信息
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover...
详细信息
ISBN:
(纸本)0897913280
We present a method for computing the number of steps needed to compute a lazy first order functional program e (to an approximation of its value). The method itself is described as a lazy functional program. Moreover, it is compositional, because it is denned by recursion on the structure of e. In other words, the number of steps needed to compute e is described in terms of the number of steps the parts of e need. (This is in contrast with the obvious operational method to define an interpreter and count the number of steps that it needs.) The equations that define the analysing program can also be used when reasoning about time complexity of lazy functional programs. Two simple examples are given at the end of the paper.
Optimistic versioning is a key component in supporting collaborative workflows. Text-based versioning has been widely adopted for versioning code, but in model-driven engineering, dealing with visual concrete syntaxes...
详细信息
暂无评论