scholarly journals On sub-class sizes of mutually permutable products

2021 ◽  
Vol 19 (1) ◽  
pp. 238-243
Author(s):  
Jinbao Li ◽  
Yong Yang

Abstract In this paper, we investigate the influence of sub-class sizes on a mutually permutable factorized group in which the sub-class sizes of some elements of its factors have certain quantitative properties. Some criteria for a group to be p p -nilpotent or p p -supersolvable are given.

Author(s):  
Alvin Cheng-Hsien Chen

AbstractIn this study, we aim to demonstrate the effectiveness of network science in exploring the emergence of constructional semantics from the connectedness and relationships between linguistic units. With Mandarin locative constructions (MLCs) as a case study, we extracted constructional tokens from a representative corpus, including their respective space particles (SPs) and the head nouns of the landmarks (LMs), which constitute the nodes of the network. We computed edges based on the lexical similarities of word embeddings learned from large text corpora and the SP-LM contingency from collostructional analysis. We address three issues: (1) For each LM, how prototypical is it of the meaning of the SP? (2) For each SP, how semantically cohesive are its LM exemplars? (3) What are the emerging semantic fields from the constructional network of MLCs? We address these questions by examining the quantitative properties of the network at three levels: microscopic (i.e., node centrality and local clustering coefficient), mesoscopic (i.e., community) and macroscopic properties (i.e., small-worldness and scale-free). Our network analyses bring to the foreground the importance of repeated language experiences in the shaping and entrenchment of linguistic knowledge.


Author(s):  
Thomas Pfeiffer ◽  
Sebastian Bonhoeffer

Adenosine triphosphate (ATP) is a key compound in the energy metabolism of cells and is required to drive vital biochemical reactions. In heterotrophic organisms ATP production is coupled to the degradation of energy-rich organic material taken up from the environment. In the transfer of the environmental energy to cellular processes heterotrophs face a tradeoff, since the conversion of the environmental energy into ATP cannot be both maximally fast and efficient. Here we show how tradeoffs between rate and yield of ATP production arise firstly from thermodynamical principles, and secondly for the ATP production by respiration and fermentation. Using methods derived from game theory and population dynamics we investigate the evolutionary consequences for both tradeoffs. We show that spatially structured environments enable the evolution of efficient pathways with high yield. The strategies of ATP production realized in a population, however, depend on the quantitative properties of the tradeoffs.


2011 ◽  
Vol 2011 ◽  
pp. 1-24 ◽  
Author(s):  
Bin Zheng ◽  
Qinghua Feng

Some new Volterra-Fredholm-type discrete inequalities in two independent variables are established, which provide a handy tool in the study of qualitative and quantitative properties of solutions of certain difference equations. The established results extend some known results in the literature.


2018 ◽  
Vol 11 (1) ◽  
pp. 29-48
Author(s):  
Amel Boumaza ◽  
Ramdane Maamri

The conversion of web services to semantic web comes the opportunity to automate various tasks. OWL-S plays a key role in describing web services behaviour. While ontology-based semantics given to OWL-S is structural rather than behaviourally oriented, we cannot automate an essential task in this field, verification. In this article, the mapping of OWL-S process model to Timed automata is investigated, which is a suitable formalism for real time systems modeling and automatic verification. Hence, this has led to not only enabling automatic verification but also covering problems related to automated verification of temporal quantitative properties as bounded liveness property. As a starting point, the OWL-S and sub entry of time ontologies for describing the timed behaviour of services has been chosen. A defined set of mapping rules is used to automatically encode control constructs defined in OWL-S and temporal information into timed automata. Also, it is shown how a Uppaal checker is used to check required properties formulated in TCTL. Finally, an EClinic case study is used to illustrate the technique.


Cerâmica ◽  
2018 ◽  
Vol 64 (370) ◽  
pp. 176-182 ◽  
Author(s):  
C. I. Torres ◽  
N. M. Rendtorff ◽  
M. Cipollone ◽  
E. F. Aglietti ◽  
G. Suárez

Abstract The results of qualitative and quantitative properties of clay based ceramic are presented in this work. Four different shaping methods and sintering temperatures were used to understand their influence in the final properties of a ceramic material formulated using kaolinite clay and calcined alumina. This material can be used as a structural ceramic for different applications, and there is no pre-established relation between the forming method and the final sintered properties. Forming methods used to prepare the samples were uniaxial pressing (a batch process that allows application in dry samples), extruding (a continuous process that requires moisture), slip casting (a process that allows to shape complex ceramic ware), and lamination (a batch process that requires moisture). Sintering temperatures were in the range of 1100 and 1400 °C. In order to compare how properties behave as the shaping method and sintering temperature change, textural properties, shrinkage, porosimetry, phase composition and mechanical strength were evaluated and analyzed. Scanning electron microscopy and microtomography were employed for analyzing and comparing the developed microstructures. Differences in the resulting properties are explained in terms of the developed crystalline phases and microstructure.


ISRN Algebra ◽  
2011 ◽  
Vol 2011 ◽  
pp. 1-4
Author(s):  
Rola A. Hijazi

Let G be a finite group and G1, G2 are two subgroups of G. We say that G1 and G2 are mutually permutable if G1 is permutable with every subgroup of G2 and G2 is permutable with every subgroup of G1. We prove that if is the product of three supersolvable subgroups G1, G2, and G3, where Gi and Gj are mutually permutable for all i and j with and the Sylow subgroups of G are abelian, then G is supersolvable. As a corollary of this result, we also prove that if G possesses three supersolvable subgroups whose indices are pairwise relatively prime, and Gi and Gj are mutually permutable for all i and j with , then G is supersolvable.


2018 ◽  
Vol 18 ◽  
pp. 309-316
Author(s):  
V.V. Kozhevnikov

In most cases while performing trace evidence examinations the research volume depends questions asked an expert. Issues are identifying (sameness determination, group affiliation) and non-identifying (establishing a trace-forming mechanism). Although identifying researches are more important while truth establishing and have some probative value in criminal and other processes, the research of non-identifying nature is also important. However, thanks to them an expert establishes the kind of trace-forming object on general features reflected in traces. Use of information and reference collections is a significant help while performing examinations of a non-identifying nature. Using natural objects from collections allows to establish qualitative or quantitative properties of real evidence, to attribute them to certain groups (kind) of objects. This is accomplished by comparing the research object with samples from collections, which results in coincidence or differences in their generic characteristics. Evaluation of these coincidences or differences allows determining that studied object belongs to (or does not belong) a group (kind, class) of the relevant objects in the collection or that it arose as a result of a certain trace-forming mechanism. For example if for an expert it is necessary to find out the trace-forming mechanism of dynamic traces, having the collection natural objects; it is possible to perform a number of expert experiments and according to these results to reach a certain conclusion. Thus, the use of information and reference collections while performing trace evidence examinations in procedural form (while performing examinations) is a simple and accessible support means for correct and scientifically substantiated answering to questions asked an expert. Effectiveness of using such collections depends on objects number or volume of information contained in, their systematization and classification, as well as expert ability to apply objects of these collections at one or another stage of expert research.


2021 ◽  
Author(s):  
Thomaz R. Mostardeiro ◽  
Ananya Panda ◽  
Norbert G. Campeau ◽  
Robert J. Witte ◽  
Yi Sui ◽  
...  

Abstract Background: MR fingerprinting (MRF) is a novel imaging method proposed for the diagnosis of Multiple Sclerosis (MS). This study aims to determine if MR Fingerprinting (MRF) relaxometry can differentiate frontal normal appearing white matter (F-NAWM) and splenium in patients diagnosed with MS as compared to controls and to characterize the relaxometry of demyelinating plaques relative to the time of diagnosis.Methods: Three-dimensional (3D) MRF data were acquired on a 3.0T MRI system resulting in isotropic voxels (1x1x1mm3) and a total acquisition time of 4min 38s. Data were collected on 18 subjects paired with 18 controls. Regions of interested were drawn over MRF-derived T1 relaxometry maps encompassing selected MS lesions, F-NAWM and splenium. T1 and T2 relaxometry features from those segmented areas were used to classify MS lesions from F-NAWM and splenium with T-distributed stochastic neighbor embedding algorithms (T-SNE). Partial least squares discriminant analysis (PLS-DA) was performed to discriminate NAWM and Splenium in MS compared with controls. Results: Mean out-of-fold machine learning prediction accuracy for discriminant results between MS patients and controls for F-NAWM was 65% and approached 90% for the splenium. There was significant positive correlation between time since diagnosis and MS lesions mean T2 (p=0.015), minimum T1 (p=0.03) and negative correlation with splenium uniformity (p=0.04). Perfect discrimination (AUC=1) was achieved between selected features from MS lesions and F-NAWM.Conclusions: 3D-MRF has the ability to differentiate between MS and controls based on relaxometry properties from the F-NAWM and splenium. Whole brain coverage allows the assessment of quantitative properties within lesions that provide chronological assessment of the time from MS diagnosis.


2007 ◽  
Vol 342 (11) ◽  
pp. 1480-1489 ◽  
Author(s):  
Da’san M.M. Jaradat ◽  
Stefan Mebs ◽  
Lilianna Chęcińska ◽  
Peter Luger

Sign in / Sign up

Export Citation Format

Share Document