scholarly journals The Graph Grammar Library - A Generic Framework for Chemical Graph Rewrite Systems

Author(s):  
Martin Mann ◽  
Heinz Ekker ◽  
Christoph Flamm
2020 ◽  
Vol 18 (1) ◽  
pp. 1362-1369
Author(s):  
Farkhanda Afzal ◽  
Sabir Hussain ◽  
Deeba Afzal ◽  
Saira Hameed

AbstractChemical graph theory is a subfield of graph theory that studies the topological indices for chemical graphs that have a good correlation with chemical properties of a chemical molecule. In this study, we have computed M-polynomial of zigzag edge coronoid fused by starphene. We also investigate various topological indices related to this graph by using their M-polynomial.


2021 ◽  
Author(s):  
Parsoa Khorsand ◽  
Fereydoun Hormozdiari

Abstract Large scale catalogs of common genetic variants (including indels and structural variants) are being created using data from second and third generation whole-genome sequencing technologies. However, the genotyping of these variants in newly sequenced samples is a nontrivial task that requires extensive computational resources. Furthermore, current approaches are mostly limited to only specific types of variants and are generally prone to various errors and ambiguities when genotyping complex events. We are proposing an ultra-efficient approach for genotyping any type of structural variation that is not limited by the shortcomings and complexities of current mapping-based approaches. Our method Nebula utilizes the changes in the count of k-mers to predict the genotype of structural variants. We have shown that not only Nebula is an order of magnitude faster than mapping based approaches for genotyping structural variants, but also has comparable accuracy to state-of-the-art approaches. Furthermore, Nebula is a generic framework not limited to any specific type of event. Nebula is publicly available at https://github.com/Parsoa/Nebula.


Author(s):  
Mohammad Istiak Hossain ◽  
Jan I. Markendahl

AbstractSmall-scale commercial rollouts of Cellular-IoT (C-IoT) networks have started globally since last year. However, among the plethora of low power wide area network (LPWAN) technologies, the cost-effectiveness of C-IoT is not certain for IoT service providers, small and greenfield operators. Today, there is no known public framework for the feasibility analysis of IoT communication technologies. Hence, this paper first presents a generic framework to assess the cost structure of cellular and non-cellular LPWAN technologies. Then, we applied the framework in eight deployment scenarios to analyze the prospect of LPWAN technologies like Sigfox, LoRaWAN, NB-IoT, LTE-M, and EC-GSM. We consider the inter-technology interference impact on LoRaWAN and Sigfox scalability. Our results validate that a large rollout with a single technology is not cost-efficient. Also, our analysis suggests the rollout possibility of an IoT communication Technology may not be linear to cost-efficiency.


2019 ◽  
Vol 17 (1) ◽  
pp. 955-962 ◽  
Author(s):  
Zhiqiang Zhang ◽  
Zeshan Saleem Mufti ◽  
Muhammad Faisal Nadeem ◽  
Zaheer Ahmad ◽  
Muhammad Kamran Siddiqui ◽  
...  

AbstractAtoms displayed as vertices and bonds can be shown by edges on a molecular graph. For such graphs we can find the indices showing their bioactivity as well as their physio-chemical properties such as the molar refraction, molar volume, chromatographic behavior, heat of atomization, heat of vaporization, magnetic susceptibility, and the partition coefficient. Today, industry is flourishing because of the interdisciplinary study of different disciplines. This provides a way to understand the application of different disciplines. Chemical graph theory is a mixture of chemistry and mathematics, which plays an important role in chemical graph theory. Chemistry provides a chemical compound, and graph theory transforms this chemical compound into a molecular graphwhich further is studied by different aspects such as topological indices.We will investigate some indices of the line graph of the subdivided graph (para-line graph) of linear-[s] Anthracene and multiple Anthracene.


Author(s):  
Auroshis Rout ◽  
Brijesh Mainali ◽  
Suneet Singh ◽  
Chetan Singh Solanki
Keyword(s):  

Author(s):  
Aart Middeldorp ◽  
Julian Nagele ◽  
Kiraku Shintani

AbstractWe report on the 2019 edition of the Confluence Competition, a competition of software tools that aim to prove or disprove confluence and related (undecidable) properties of rewrite systems automatically.


Author(s):  
Zhan Shi ◽  
Jiande Zhang ◽  
Tingting Zhang ◽  
Xiaoqin Zeng ◽  
Dawei Li
Keyword(s):  

2021 ◽  
Vol 60 ◽  
pp. 102855
Author(s):  
Jiyan Zhang ◽  
Ting Cui ◽  
Chenhui Jin

Sign in / Sign up

Export Citation Format

Share Document