首页 > 最新文献

IET Systems Biology最新文献

英文 中文
Arbitrary-order sliding mode-based robust control algorithm for the developing artificial pancreas mechanism 基于任意阶滑模的人工胰腺机构鲁棒控制算法
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-10-13 DOI: 10.1049/iet-syb.2018.5075
Waqar Alam, Qudrat Khan, Raja Ali Riaz, Rini Akmeliawati

In Diabetes Mellitus, the pancreas remains incapable of insulin administration that leads to hyperglycaemia, an escalated glycaemic concentration, which may stimulate many complications. To circumvent this situation, a closed-loop control strategy is much needed for the exogenous insulin infusion in diabetic patients. This closed-loop structure is often termed as an artificial pancreas that is generally established by the employment of different feedback control strategies. In this work, the authors have proposed an arbitrary-order sliding mode control approach for development of the said mechanism. The term, arbitrary, is exercised in the sense of its applicability to any n -order controllable canonical system. The proposed control algorithm affirms the finite-time effective stabilisation of the glucose–insulin regulatory system, at the desired level, with the alleviation of sharp fluctuations. The novelty of this work lies in the sliding manifold that incorporates indirect non-linear terms. In addition, the necessary discontinuous terms are filtered-out once before its employment to the plant, i.e. diabetic patient. The robustness, in the presence of external disturbances, i.e. meal intake is confirmed via rigorous mathematical stability analysis. In addition, the effectiveness of the proposed control strategy is ascertained by comparing the results with the standard literature.

在糖尿病患者中,胰腺仍然不能给胰岛素,导致高血糖,血糖浓度升高,这可能会刺激许多并发症。为了避免这种情况,糖尿病患者外源性胰岛素输注需要一个闭环控制策略。这种闭环结构通常被称为人工胰腺,通常通过采用不同的反馈控制策略来建立。在这项工作中,作者提出了一种任意阶滑模控制方法来发展上述机制。术语,任意,是在它适用于任何n阶可控正则系统的意义上行使的。所提出的控制算法确认了葡萄糖-胰岛素调节系统在期望水平上的有限时间有效稳定,并减轻了急剧波动。这项工作的新颖之处在于包含间接非线性项的滑动歧管。此外,必要的不连续项在工厂使用之前被过滤掉一次,即糖尿病患者。鲁棒性,在存在外部干扰,即膳食摄入量是通过严格的数学稳定性分析证实。此外,通过将结果与标准文献进行比较,确定了所提出控制策略的有效性。
{"title":"Arbitrary-order sliding mode-based robust control algorithm for the developing artificial pancreas mechanism","authors":"Waqar Alam,&nbsp;Qudrat Khan,&nbsp;Raja Ali Riaz,&nbsp;Rini Akmeliawati","doi":"10.1049/iet-syb.2018.5075","DOIUrl":"10.1049/iet-syb.2018.5075","url":null,"abstract":"<div>\u0000 <p>In Diabetes Mellitus, the pancreas remains incapable of insulin administration that leads to hyperglycaemia, an escalated glycaemic concentration, which may stimulate many complications. To circumvent this situation, a closed-loop control strategy is much needed for the exogenous insulin infusion in diabetic patients. This closed-loop structure is often termed as an artificial pancreas that is generally established by the employment of different feedback control strategies. In this work, the authors have proposed an arbitrary-order sliding mode control approach for development of the said mechanism. The term, arbitrary, is exercised in the sense of its applicability to any <i>n</i> -order controllable canonical system. The proposed control algorithm affirms the finite-time effective stabilisation of the glucose–insulin regulatory system, at the desired level, with the alleviation of sharp fluctuations. The novelty of this work lies in the sliding manifold that incorporates indirect non-linear terms. In addition, the necessary discontinuous terms are filtered-out once before its employment to the plant, i.e. diabetic patient. The robustness, in the presence of external disturbances, i.e. meal intake is confirmed via rigorous mathematical stability analysis. In addition, the effectiveness of the proposed control strategy is ascertained by comparing the results with the standard literature.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 6","pages":"307-313"},"PeriodicalIF":2.3,"publicationDate":"2020-10-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687268/pdf/SYB2-14-307.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38783043","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Experimental evidence for constraints in amplitude-timescale co-variation of a biomolecular pulse generating circuit design 生物分子脉冲产生电路设计幅-时标共变约束的实验证据
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-10-01 DOI: 10.1049/iet-syb.2019.0123
Abhilash Patel, Shaunak Sen

Understanding constraints on the functional properties of biomolecular circuit dynamics, such as the possible variations of amplitude and timescale of a pulse, is an important part of biomolecular circuit design. While the amplitude-timescale co-variations of the pulse in an incoherent feedforward loop have been investigated computationally using mathematical models, experimental support for any such constraints is relatively unclear. Here, the authors address this using experimental measurement of an existing pulse generating incoherent feedforward loop circuit realisation in the context of a standard mathematical model. They characterise the trends of co-variation in the pulse amplitude and rise time computationally by randomly exploring the parameter space. They experimentally measured the co-variation by varying inducers and found that larger amplitude pulses have a slower rise time. They discuss the gap between the experimental measurements and predictions of the standard model, highlighting model additions and other biological factors that might bridge the gap.

了解生物分子电路动力学功能特性的约束,如脉冲振幅和时间尺度的可能变化,是生物分子电路设计的重要组成部分。虽然已经使用数学模型研究了非相干前馈环路中脉冲的振幅-时间尺度共变,但对任何此类约束的实验支持相对不清楚。在这里,作者在标准数学模型的背景下使用现有脉冲产生非相干前馈回路电路实现的实验测量来解决这个问题。他们通过随机探索参数空间,计算出脉冲振幅和上升时间的共变趋势。他们通过实验测量了不同诱导剂的共变,发现振幅较大的脉冲上升时间较慢。他们讨论了实验测量和标准模型预测之间的差距,强调了模型添加和其他可能弥补差距的生物因素。
{"title":"Experimental evidence for constraints in amplitude-timescale co-variation of a biomolecular pulse generating circuit design","authors":"Abhilash Patel,&nbsp;Shaunak Sen","doi":"10.1049/iet-syb.2019.0123","DOIUrl":"10.1049/iet-syb.2019.0123","url":null,"abstract":"<div>\u0000 <p>Understanding constraints on the functional properties of biomolecular circuit dynamics, such as the possible variations of amplitude and timescale of a pulse, is an important part of biomolecular circuit design. While the amplitude-timescale co-variations of the pulse in an incoherent feedforward loop have been investigated computationally using mathematical models, experimental support for any such constraints is relatively unclear. Here, the authors address this using experimental measurement of an existing pulse generating incoherent feedforward loop circuit realisation in the context of a standard mathematical model. They characterise the trends of co-variation in the pulse amplitude and rise time computationally by randomly exploring the parameter space. They experimentally measured the co-variation by varying inducers and found that larger amplitude pulses have a slower rise time. They discuss the gap between the experimental measurements and predictions of the standard model, highlighting model additions and other biological factors that might bridge the gap.</p></div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"217-222"},"PeriodicalIF":2.3,"publicationDate":"2020-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ftp.ncbi.nlm.nih.gov/pub/pmc/oa_pdf/79/66/SYB2-14-217.PMC9272780.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38521217","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Using sliding mode observers to estimate BtuB concentration from measured vitamin B12 concentration 使用滑模观察器从测量的维生素B12浓度估计BtuB浓度
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-29 DOI: 10.1049/iet-syb.2020.0007
Mohammad Abbadi, Sarah Spurgeon, Martin Warren, Naziyat Khan, Bernhard Kräutler

A simple model for the B12 -riboswitch regulatory network in Escherichia coli is first described and the same analysis is applied when changing the strain to Salmonella enterica. Model validation is undertaken by linking the dynamics of the riboswitch model to bacterial growth and comparing the results obtained with in vivo experimental measurements. Measurements of bacterial growth are relatively straightforward to obtain experimentally, but experimental measurements relating to the operation of the riboswitch are more difficult. Using the validated model, sliding mode observer design methods are used to estimate BtuB given measurements of the concentration of vitamin B12. The sliding mode approach is selected because of its inherent robustness properties as well as for the ease of implementation. Validation of the estimates of BtuB produced by the observer is undertaken by comparing the BtuB and vitamin B12 concentrations estimated from the observer with green fluorescent protein production and the concentration of vitamin B12 obtained experimentally. These experimental results also provide further validation of the underpinning mathematical model. The results establish that using a sliding mode observer as a soft sensor is a useful approach to explore the operation of a vitamin B12 riboswitch given measurements of the concentration of vitamin B12.

首先描述了大肠杆菌中B12 -核糖开关调节网络的简单模型,并在将菌株改为肠沙门氏菌时应用了相同的分析。通过将核糖开关模型的动力学与细菌生长联系起来,并将获得的结果与体内实验测量结果进行比较,从而进行模型验证。细菌生长的测量相对容易通过实验获得,但与核素开关的操作有关的实验测量则比较困难。利用验证的模型,滑模观测器设计方法用于估计给定的维生素B12浓度测量的BtuB。选择滑模方法是因为其固有的鲁棒性以及易于实现。通过将观察者估计的BtuB和维生素B12浓度与绿色荧光蛋白产量和实验获得的维生素B12浓度进行比较,来验证观察者产生的BtuB估计值。这些实验结果也进一步验证了基础数学模型。结果表明,使用滑模观测器作为软传感器是一种有效的方法,可以在给定维生素B12浓度测量的情况下探索维生素B12核蛋白开关的操作。
{"title":"Using sliding mode observers to estimate BtuB concentration from measured vitamin B12 concentration","authors":"Mohammad Abbadi,&nbsp;Sarah Spurgeon,&nbsp;Martin Warren,&nbsp;Naziyat Khan,&nbsp;Bernhard Kräutler","doi":"10.1049/iet-syb.2020.0007","DOIUrl":"10.1049/iet-syb.2020.0007","url":null,"abstract":"<div>\u0000 <p>A simple model for the B<sub>12</sub> -riboswitch regulatory network in <i>Escherichia coli</i> is first described and the same analysis is applied when changing the strain to <i>Salmonella enterica</i>. Model validation is undertaken by linking the dynamics of the riboswitch model to bacterial growth and comparing the results obtained with in vivo experimental measurements. Measurements of bacterial growth are relatively straightforward to obtain experimentally, but experimental measurements relating to the operation of the riboswitch are more difficult. Using the validated model, sliding mode observer design methods are used to estimate <i>BtuB</i> given measurements of the concentration of vitamin B<sub>12</sub>. The sliding mode approach is selected because of its inherent robustness properties as well as for the ease of implementation. Validation of the estimates of <i>BtuB</i> produced by the observer is undertaken by comparing the <i>BtuB</i> and vitamin B<sub>12</sub> concentrations estimated from the observer with green fluorescent protein production and the concentration of vitamin B<sub>12</sub> obtained experimentally. These experimental results also provide further validation of the underpinning mathematical model. The results establish that using a sliding mode observer as a soft sensor is a useful approach to explore the operation of a vitamin B<sub>12</sub> riboswitch given measurements of the concentration of vitamin B<sub>12</sub>.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 6","pages":"334-342"},"PeriodicalIF":2.3,"publicationDate":"2020-09-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687388/pdf/SYB2-14-334.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38783046","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Prognostic alternative splicing signature in cervical squamous cell carcinoma 宫颈鳞状细胞癌预后的选择性剪接特征
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-21 DOI: 10.1049/iet-syb.2019.0095
Hua-yu Wu, Qi-qi Li, Liang Liang, Lan-lan Qiu, Hong-wei Wei, Bing-ying Huang, Chen Gang-, Rong-quan He, Zhi-guang Huang, Wei Hou, Qi-ping Hu, Shang-ling Pan

Basing on alternative splicing events (ASEs) databases, the authors herein aim to explore potential prognostic biomarkers for cervical squamous cell carcinoma (CESC). mRNA expression profiles and relevant clinical data of 223 patients with CESC were obtained from The Cancer Genome Atlas (TCGA). Correlated genes, ASEs and percent-splice-in (PSI) were downloaded from SpliceSeq, respectively. The PSI values of survival-associated alternative splicing events (SASEs) were used to construct the basis of a prognostic index (PI). A protein–protein interaction (PPI) network of genes related to SASEs was generated by STRING and analysed with Gene Ontology (GO) and Kyoto Encyclopedia of Genes and Genomes (KEGG). Consequently, 41,776 ASEs were discovered in 19,724 genes, 2596 of which linked with 3669 SASEs. The PPI network of SASEs related genes revealed that TP53 and UBA52 were core genes. The low-risk group had a longer survival period than high-risk counterparts, both groups being defined according to PI constructed upon the top 20 splicing events or PI on the overall splicing events. The AUC value of ROC reached up to 0.88, demonstrating the prognostic potential of PI in CESC. These findings suggested that ASEs involve in the pathogenesis of CESC and may serve as promising prognostic biomarkers for this female malignancy.

基于选择性剪接事件(ASEs)数据库,作者旨在探索宫颈鳞状细胞癌(CESC)的潜在预后生物标志物。从癌症基因组图谱(TCGA)中获得223例CESC患者的mRNA表达谱和相关临床数据。相关基因、ase和百分比剪接(PSI)分别从SpliceSeq下载。生存相关的选择性剪接事件(SASEs)的PSI值被用来构建预后指数(PI)的基础。利用STRING生成了SASEs相关基因的蛋白-蛋白相互作用(PPI)网络,并用基因本体(GO)和京都基因与基因组百科全书(KEGG)进行了分析。结果,在19,724个基因中发现了41,776个ase,其中2596个与3669个sase相关。SASEs相关基因的PPI网络显示TP53和UBA52是核心基因。低危组的生存期较高危组长,两组均根据前20个剪接事件构建的PI或剪接事件总体PI来定义。ROC的AUC值高达0.88,显示了PI在CESC中的预后潜力。这些发现表明,ASEs参与了CESC的发病机制,并可能作为这种女性恶性肿瘤的预后生物标志物。
{"title":"Prognostic alternative splicing signature in cervical squamous cell carcinoma","authors":"Hua-yu Wu,&nbsp;Qi-qi Li,&nbsp;Liang Liang,&nbsp;Lan-lan Qiu,&nbsp;Hong-wei Wei,&nbsp;Bing-ying Huang,&nbsp;Chen Gang-,&nbsp;Rong-quan He,&nbsp;Zhi-guang Huang,&nbsp;Wei Hou,&nbsp;Qi-ping Hu,&nbsp;Shang-ling Pan","doi":"10.1049/iet-syb.2019.0095","DOIUrl":"10.1049/iet-syb.2019.0095","url":null,"abstract":"<div>\u0000 <p>Basing on alternative splicing events (ASEs) databases, the authors herein aim to explore potential prognostic biomarkers for cervical squamous cell carcinoma (CESC). mRNA expression profiles and relevant clinical data of 223 patients with CESC were obtained from The Cancer Genome Atlas (TCGA). Correlated genes, ASEs and percent-splice-in (PSI) were downloaded from SpliceSeq, respectively. The PSI values of survival-associated alternative splicing events (SASEs) were used to construct the basis of a prognostic index (PI). A protein–protein interaction (PPI) network of genes related to SASEs was generated by STRING and analysed with Gene Ontology (GO) and Kyoto Encyclopedia of Genes and Genomes (KEGG). Consequently, 41,776 ASEs were discovered in 19,724 genes, 2596 of which linked with 3669 SASEs. The PPI network of SASEs related genes revealed that TP53 and UBA52 were core genes. The low-risk group had a longer survival period than high-risk counterparts, both groups being defined according to PI constructed upon the top 20 splicing events or PI on the overall splicing events. The AUC value of ROC reached up to 0.88, demonstrating the prognostic potential of PI in CESC. These findings suggested that ASEs involve in the pathogenesis of CESC and may serve as promising prognostic biomarkers for this female malignancy.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 6","pages":"314-322"},"PeriodicalIF":2.3,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687194/pdf/SYB2-14-314.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38783044","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Identification of robust genes in transcriptional regulatory network of Mycobacterium tuberculosis 结核分枝杆菌转录调控网络中稳健基因的鉴定
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-21 DOI: 10.1049/iet-syb.2020.0039
Prithvi Singh, Mohd Amir, Upasana Chaudhary, Fozail Ahmad, Sachin Bhatt, Shweta Sankhwar, Ravins Dohare

About 30% of the world population is infected with Mycobacterium tuberculosis (MTB). It is well known that the gene expression in MTB is highly variable, thus screening of traditional single-gene in MTB has been incapable to meet the desires of clinical diagnosis. In this report, the authors systemically analysed the transcription regulatory network (TRN) in MTB H37Rv. The complex interplay of these gene interactions has been revealed using exhaustive topological and global analysis of TRN using parameters including indegree, outdegree, degree, directed and undirected average path length (APL), and randomly performed. Results from indegree analysis reveal a set of important genes, including papA5 and Rv0177 which are associated with high indegree values. Gene ontology analysis suggested their importance in the virulence of MTB. In addition, APL and analysis of highly significant genes further identified some critical genes with different APL values. Among the list of genes identified, thecsoR gene has the shortest directed APL score and high outdegree value, thus suggesting their importance in maintaining network topology. This study provides a comprehensive analysis of TRN and offers a good basis of understanding for developing experimental study in search of new therapeutic targets against MTB H37Rv pathogen.

大约30%的世界人口感染了结核分枝杆菌(MTB)。众所周知,MTB的基因表达具有高度的可变性,传统的MTB单基因筛选已不能满足临床诊断的需要。本文系统分析了结核分枝杆菌H37Rv的转录调控网络(TRN)。这些基因相互作用的复杂相互作用已经揭示了详尽的拓扑分析和TRN的全局分析,使用参数包括度,度,度,有向和无向平均路径长度(APL),并随机执行。度分析结果揭示了一组与高度值相关的重要基因,包括papA5和Rv0177。基因本体论分析表明它们在结核分枝杆菌毒力中起重要作用。此外,通过对APL和高显著性基因的分析,进一步鉴定出一些具有不同APL值的关键基因。在已鉴定的基因列表中,sor基因具有最短的定向APL评分和较高的外度值,从而表明其在维持网络拓扑结构方面的重要性。本研究对TRN进行了全面的分析,为开展寻找MTB H37Rv病原体治疗新靶点的实验研究提供了良好的认识基础。
{"title":"Identification of robust genes in transcriptional regulatory network of Mycobacterium tuberculosis","authors":"Prithvi Singh,&nbsp;Mohd Amir,&nbsp;Upasana Chaudhary,&nbsp;Fozail Ahmad,&nbsp;Sachin Bhatt,&nbsp;Shweta Sankhwar,&nbsp;Ravins Dohare","doi":"10.1049/iet-syb.2020.0039","DOIUrl":"10.1049/iet-syb.2020.0039","url":null,"abstract":"<div>\u0000 <p>About 30% of the world population is infected with Mycobacterium tuberculosis (MTB). It is well known that the gene expression in MTB is highly variable, thus screening of traditional single-gene in MTB has been incapable to meet the desires of clinical diagnosis. In this report, the authors systemically analysed the transcription regulatory network (TRN) in MTB <i>H37Rv.</i> The complex interplay of these gene interactions has been revealed using exhaustive topological and global analysis of TRN using parameters including indegree, outdegree, degree, directed and undirected average path length (APL), and randomly performed. Results from indegree analysis reveal a set of important genes, including <i>papA5</i> and <i>Rv0177</i> which are associated with high indegree values. Gene ontology analysis suggested their importance in the virulence of MTB. In addition, APL and analysis of highly significant genes further identified some critical genes with different APL values. Among the list of genes identified, the<i>csoR</i> gene has the shortest directed APL score and high outdegree value, thus suggesting their importance in maintaining network topology. This study provides a comprehensive analysis of TRN and offers a good basis of understanding for developing experimental study in search of new therapeutic targets against MTB H37Rv pathogen.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"292-296"},"PeriodicalIF":2.3,"publicationDate":"2020-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687171/pdf/SYB2-14-292.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38618109","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Formal reasoning about synthetic biology using higher-order-logic theorem proving 用高阶逻辑定理证明合成生物学的形式推理
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-16 DOI: 10.1049/iet-syb.2020.0026
Sa'ed Abed, Adnan Rashid, Osman Hasan

Synthetic biology is an interdisciplinary field that uses well-established engineering principles for performing the analysis of the biological systems, such as biological circuits, pathways, controllers and enzymes. Conventionally, the analysis of these biological systems is performed using paper-and-pencil proofs and computer simulation methods. However, these methods cannot ensure accurate results due to their inherent limitations. Higher-order-logic (HOL) theorem proving is proposed and used as a complementary approach for analysing linear biological systems, which is based on developing a mathematical model of the genetic circuits and the bio-controllers used in synthetic biology based on HOL and analysing it using deductive reasoning in an interactive theorem prover. The involvement of the logic, mathematics and the deductive reasoning in this method ensures the accuracy of the analysis. It is proposed to model the continuous dynamics of the genetic circuits and their associated controllers using differential equations and perform their transfer function-based analysis using the Laplace transform in a theorem prover. For illustration, the genetic circuits of activated and repressed expressions and autoactivation of protein, and phase lag and lead controllers, which are widely used in cancer-cell identifiers and multi-input receptors for precise disease detection, are formally analyzed.

合成生物学是一个跨学科的领域,它使用完善的工程原理来执行生物系统的分析,如生物电路,途径,控制器和酶。传统上,这些生物系统的分析是使用纸笔证明和计算机模拟方法进行的。然而,这些方法由于其固有的局限性,并不能保证结果的准确性。提出并使用高阶逻辑(HOL)定理证明作为分析线性生物系统的补充方法,该方法基于基于HOL的合成生物学中使用的遗传电路和生物控制器的数学模型,并在交互式定理证明器中使用演绎推理进行分析。这种方法中涉及到逻辑、数学和演绎推理,保证了分析的准确性。提出了用微分方程对遗传电路及其相关控制器的连续动力学建模,并在定理证明中使用拉普拉斯变换对其进行基于传递函数的分析。举例来说,本文正式分析了广泛用于癌细胞识别和精确疾病检测的多输入受体的激活和抑制表达和蛋白质自激活的遗传回路,以及相位滞后和导联控制器。
{"title":"Formal reasoning about synthetic biology using higher-order-logic theorem proving","authors":"Sa'ed Abed,&nbsp;Adnan Rashid,&nbsp;Osman Hasan","doi":"10.1049/iet-syb.2020.0026","DOIUrl":"10.1049/iet-syb.2020.0026","url":null,"abstract":"<div>\u0000 <p>Synthetic biology is an interdisciplinary field that uses well-established engineering principles for performing the analysis of the biological systems, such as biological circuits, pathways, controllers and enzymes. Conventionally, the analysis of these biological systems is performed using paper-and-pencil proofs and computer simulation methods. However, these methods cannot ensure accurate results due to their inherent limitations. Higher-order-logic (HOL) theorem proving is proposed and used as a complementary approach for analysing linear biological systems, which is based on developing a mathematical model of the genetic circuits and the bio-controllers used in synthetic biology based on HOL and analysing it using deductive reasoning in an interactive theorem prover. The involvement of the logic, mathematics and the deductive reasoning in this method ensures the accuracy of the analysis. It is proposed to model the continuous dynamics of the genetic circuits and their associated controllers using differential equations and perform their transfer function-based analysis using the Laplace transform in a theorem prover. For illustration, the genetic circuits of activated and repressed expressions and autoactivation of protein, and phase lag and lead controllers, which are widely used in cancer-cell identifiers and multi-input receptors for precise disease detection, are formally analyzed.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"271-283"},"PeriodicalIF":2.3,"publicationDate":"2020-09-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687371/pdf/SYB2-14-271.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38521223","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Bifurcation and oscillatory dynamics of delayed CDK1-APC feedback loop 延迟CDK1-APC反馈回路的分岔和振荡动力学
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-15 DOI: 10.1049/iet-syb.2020.0050
Shenshuang Zhou, Wei Zhang, Yuan Zhang, Xuan Ni, Zhouhong Li

Extensive experimental evidence has been demonstrated that the dynamics of CDK1-APC feedback loop play crucial roles in regulating cell cycle processes, but the dynamical mechanisms underlying the regulation of this loop are still not completely understood. Here, the authors systematically investigated the stability and bifurcation criteria for a delayed CDK1-APC feedback loop. They showed that the maximum reaction rate of CDK1 inactivation by APC can drive sustained oscillations of CDK1 activity ( ) and APC activity ( ), and the amplitude of these oscillations is increasing with the increase of the reaction rate over a wide range; a certain range of the self-activation rate for CDK1 is also significant for generating these oscillations, for too high or too low rates the oscillations cannot be generated. Moreover, they derived the sufficient conditions to determine the stability and Hopf bifurcations, and found that the sum of time delays required for activating CDK1 and APC can induce and to be oscillatory, even when the and settle in a definite stable steady state. Furthermore, they presented an explicit algorithm for the properties of periodic oscillations. Finally, numerical simulations have been presented to justify the validity of theoretical analysis.

大量的实验证据表明,CDK1-APC反馈回路的动力学在调节细胞周期过程中起着至关重要的作用,但该回路调节的动力学机制尚不完全清楚。在这里,作者系统地研究了延迟CDK1-APC反馈回路的稳定性和分岔准则。结果表明,APC灭活CDK1的最大反应速率可驱动CDK1活性()和APC活性()的持续振荡,且振荡幅度随反应速率的增加而在较宽范围内增大;CDK1一定范围的自激活率对于产生这些振荡也很重要,过高或过低的自激活率都不能产生振荡。此外,他们推导了确定稳定性和Hopf分岔的充分条件,并发现激活CDK1和APC所需的时间延迟总和可以诱导和振荡,即使它们处于确定的稳定状态。此外,他们提出了周期振荡性质的显式算法。最后,通过数值模拟验证了理论分析的有效性。
{"title":"Bifurcation and oscillatory dynamics of delayed CDK1-APC feedback loop","authors":"Shenshuang Zhou,&nbsp;Wei Zhang,&nbsp;Yuan Zhang,&nbsp;Xuan Ni,&nbsp;Zhouhong Li","doi":"10.1049/iet-syb.2020.0050","DOIUrl":"10.1049/iet-syb.2020.0050","url":null,"abstract":"<div>\u0000 <p>Extensive experimental evidence has been demonstrated that the dynamics of CDK1-APC feedback loop play crucial roles in regulating cell cycle processes, but the dynamical mechanisms underlying the regulation of this loop are still not completely understood. Here, the authors systematically investigated the stability and bifurcation criteria for a delayed CDK1-APC feedback loop. They showed that the maximum reaction rate of CDK1 inactivation by APC can drive sustained oscillations of CDK1 activity ( ) and APC activity ( ), and the amplitude of these oscillations is increasing with the increase of the reaction rate over a wide range; a certain range of the self-activation rate for CDK1 is also significant for generating these oscillations, for too high or too low rates the oscillations cannot be generated. Moreover, they derived the sufficient conditions to determine the stability and Hopf bifurcations, and found that the sum of time delays required for activating CDK1 and APC can induce and to be oscillatory, even when the and settle in a definite stable steady state. Furthermore, they presented an explicit algorithm for the properties of periodic oscillations. Finally, numerical simulations have been presented to justify the validity of theoretical analysis.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"297-306"},"PeriodicalIF":2.3,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687261/pdf/SYB2-14-297.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38618110","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Combinatorial dynamics of protein synthesis time delay and negative feedback loop in NF-κ B signalling pathway NF-κ B信号通路中蛋白质合成时滞和负反馈回路的组合动力学
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-15 DOI: 10.1049/iet-syb.2020.0034
Fang Yan, Li Liu, Qingyun Wang

The transcription factor NF-κ B links immune response and inflammatory reaction and its different oscillation patterns determine different cell fates. In this study, a mathematical model with Iκ Bα protein synthesis time delay is developed based on the experimental evidences. The results show that time delay has the ability to drive oscillation of NF-κ B via Hopf bifurcation. Meanwhile, the amplitude and period are sensitive to the time delay. Moreover, the time delay threshold is a function of four parameters characterising the negative feedback loop. Likewise, the parameters also have effects on the amplitude and period of NF-κ B oscillation induced by time delay. Therefore, the oscillation patterns of NF-κ B are collaborative results of time delay coupled with the negative feedback loop. These results not only enhance the understanding of NF-κ B biological oscillation but also provide clues for the development of anti-inflammatory or anti-cancer drugs.

转录因子NF-κ B连接免疫反应和炎症反应,其不同的振荡模式决定不同的细胞命运。本研究基于实验证据,建立了Iκ Bα蛋白合成时滞的数学模型。结果表明,时间延迟能够通过Hopf分岔驱动NF-κ B振荡。同时,振幅和周期对时延敏感。此外,时间延迟阈值是表征负反馈回路的四个参数的函数。同样,这些参数也对延时引起的NF-κ B振荡的幅度和周期有影响。因此,NF-κ B的振荡模式是时间延迟与负反馈环耦合的协同结果。这些结果不仅增强了对NF-κ B生物振荡的认识,而且为抗炎或抗癌药物的开发提供了线索。
{"title":"Combinatorial dynamics of protein synthesis time delay and negative feedback loop in NF-κ B signalling pathway","authors":"Fang Yan,&nbsp;Li Liu,&nbsp;Qingyun Wang","doi":"10.1049/iet-syb.2020.0034","DOIUrl":"https://doi.org/10.1049/iet-syb.2020.0034","url":null,"abstract":"<div>\u0000 <p>The transcription factor NF-<i>κ</i> B links immune response and inflammatory reaction and its different oscillation patterns determine different cell fates. In this study, a mathematical model with I<i>κ</i> B<i>α</i> protein synthesis time delay is developed based on the experimental evidences. The results show that time delay has the ability to drive oscillation of NF-<i>κ</i> B via Hopf bifurcation. Meanwhile, the amplitude and period are sensitive to the time delay. Moreover, the time delay threshold is a function of four parameters characterising the negative feedback loop. Likewise, the parameters also have effects on the amplitude and period of NF-<i>κ</i> B oscillation induced by time delay. Therefore, the oscillation patterns of NF-<i>κ</i> B are collaborative results of time delay coupled with the negative feedback loop. These results not only enhance the understanding of NF-<i>κ</i> B biological oscillation but also provide clues for the development of anti-inflammatory or anti-cancer drugs.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"284-291"},"PeriodicalIF":2.3,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ietresearch.onlinelibrary.wiley.com/doi/epdf/10.1049/iet-syb.2020.0034","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"92295922","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Estimation of skin impedance models with experimental data and a proposed model for human skin impedance 用实验数据估计皮肤阻抗模型,并提出一种人体皮肤阻抗模型
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-15 DOI: 10.1049/iet-syb.2020.0049
Dhruba Jyoti Bora, Rajdeep Dasgupta

The skin is a complex biological tissue whose impedance varies with frequency. The properties and structure of skin changes with the location on the body, age, geographical location and other factors. Considering these factors, skin impedance analysis is a sophisticated data analysis. However, despite all these variations, various researchers have always worked to develop an equivalent electrical model of the skin. The two most important categories of electrical models are RC-based model and CPE-based model which focus on the physiological stratification and biological properties of skin, respectively. In this work, experimental skin impedance data is acquired from ten sites on the body to find the fitting model. It is observed that a hybrid of fractional-order CPE-based model and higher-order RC layered-based model can provide the best fitting electrical model of skin. A new model is developed with this hybrid orders. Genetic algorithm is used for the extraction of parameter components. Least error of fitting has been observed for the proposed model as compared with the other models. This model can be used in correlating many skin problems and in the development of diagnostic tools. It will offer an additional supportive tool in-vitro to the medical specialist.

皮肤是一种复杂的生物组织,其阻抗随频率而变化。皮肤的性质和结构随着身体的位置、年龄、地理位置等因素而变化。考虑到这些因素,皮肤阻抗分析是一项复杂的数据分析。然而,尽管有这些变化,不同的研究人员一直在努力开发一个等效的皮肤电模型。两类最重要的电模型是基于rc的模型和基于cpe的模型,它们分别关注皮肤的生理分层和生物学特性。在这项工作中,我们从身体的十个部位获取皮肤阻抗的实验数据来寻找拟合模型。结果表明,分数阶cpe模型和高阶RC分层模型的混合模型可以提供最适合皮肤的电模型。利用这种混合订单开发了一种新的模型。采用遗传算法对参数分量进行提取。与其他模型相比,该模型的拟合误差最小。该模型可用于许多皮肤问题的关联和诊断工具的开发。它将为医学专家提供额外的体外辅助工具。
{"title":"Estimation of skin impedance models with experimental data and a proposed model for human skin impedance","authors":"Dhruba Jyoti Bora,&nbsp;Rajdeep Dasgupta","doi":"10.1049/iet-syb.2020.0049","DOIUrl":"10.1049/iet-syb.2020.0049","url":null,"abstract":"<div>\u0000 <p>The skin is a complex biological tissue whose impedance varies with frequency. The properties and structure of skin changes with the location on the body, age, geographical location and other factors. Considering these factors, skin impedance analysis is a sophisticated data analysis. However, despite all these variations, various researchers have always worked to develop an equivalent electrical model of the skin. The two most important categories of electrical models are RC-based model and CPE-based model which focus on the physiological stratification and biological properties of skin, respectively. In this work, experimental skin impedance data is acquired from ten sites on the body to find the fitting model. It is observed that a hybrid of fractional-order CPE-based model and higher-order RC layered-based model can provide the best fitting electrical model of skin. A new model is developed with this hybrid orders. Genetic algorithm is used for the extraction of parameter components. Least error of fitting has been observed for the proposed model as compared with the other models. This model can be used in correlating many skin problems and in the development of diagnostic tools. It will offer an additional supportive tool in-vitro to the medical specialist.</p>\u0000 </div>","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"230-240"},"PeriodicalIF":2.3,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687349/pdf/SYB2-14-230.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38521219","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Integrated expression analysis revealed RUNX2 upregulation in lung squamous cell carcinoma tissues 综合表达分析显示RUNX2在肺鳞癌组织中表达上调
IF 2.3 4区 生物学 Q4 CELL BIOLOGY Pub Date : 2020-09-15 DOI: 10.1049/iet-syb.2020.0063
Da-Ping Yang, Hui-Ping Lu, Gang Chen, Jie Yang, Li Gao, Jian-Hua Song, Shang-Wei Chen, Jun-Xian Mo, Jin-Liang Kong, Zhong-Qing Tang, Chang-Bo Li, Hua-Fu Zhou, Lin-Jie Yang
This study aimed to investigate the clinicopathological significance and prospective molecular mechanism of RUNX family transcription factor 2 (RUNX2) in lung squamous cell carcinoma (LUSC). The authors used immunohistochemistry (IHC), RNA-seq, and microarray data from multi-platforms to conduct a comprehensive analysis of the clinicopathological significance and molecular mechanism of RUNX2 in the occurrence and development of LUSC. RUNX2 expression was significantly higher in 16 LUSC tissues than in paired non-cancerous tissues detected by IHC (P < 0.05). RNA-seq data from the combination of TCGA and genotype-tissue expression (GTEx) revealed significantly higher expression of RUNX2 in 502 LUSC samples than in 476 non-cancer samples. The expression of RUNX2 protein was also significantly higher in pathologic T3-T4 than in T1-T2 samples (P = 0.031). The pooled standardised mean difference (SMD) for RUNX2 was 0.87 (95% CI, 0.58-1.16), including 29 microarrays from GEO and one from ArrayExpress. The co-expression network of RUNX2 revealed complicated connections between RUNX2 and 45 co-expressed genes, which were significantly clustered in pathways including ECM-receptor interaction, focal adhesion, protein digestion and absorption, human papillomavirus infection and PI3K-Akt signalling pathway. Overexpression of RUNX2 plays an essential role in the clinical progression of LUSC.
本研究旨在探讨RUNX家族转录因子2 (RUNX2)在肺鳞癌(LUSC)中的临床病理意义及未来的分子机制。作者利用免疫组织化学(IHC)、RNA-seq、多平台微阵列数据,综合分析RUNX2在LUSC发生发展中的临床病理意义及分子机制。RUNX2在16个LUSC组织中的表达明显高于IHC检测的配对非癌组织(P < 0.05)。结合TCGA和基因型组织表达(GTEx)的RNA-seq数据显示,502例LUSC样本中RUNX2的表达明显高于476例非癌症样本。病理T3-T4组RUNX2蛋白表达也明显高于T1-T2组(P = 0.031)。RUNX2的汇总标准化平均差(SMD)为0.87 (95% CI, 0.58-1.16),包括29个来自GEO的芯片和1个来自ArrayExpress的芯片。RUNX2共表达网络揭示了RUNX2与45个共表达基因之间的复杂联系,这些基因在ecm受体相互作用、局点黏附、蛋白质消化吸收、人乳头瘤病毒感染和PI3K-Akt信号通路中显著聚集。RUNX2过表达在LUSC的临床进展中起着至关重要的作用。
{"title":"Integrated expression analysis revealed RUNX2 upregulation in lung squamous cell carcinoma tissues","authors":"Da-Ping Yang,&nbsp;Hui-Ping Lu,&nbsp;Gang Chen,&nbsp;Jie Yang,&nbsp;Li Gao,&nbsp;Jian-Hua Song,&nbsp;Shang-Wei Chen,&nbsp;Jun-Xian Mo,&nbsp;Jin-Liang Kong,&nbsp;Zhong-Qing Tang,&nbsp;Chang-Bo Li,&nbsp;Hua-Fu Zhou,&nbsp;Lin-Jie Yang","doi":"10.1049/iet-syb.2020.0063","DOIUrl":"10.1049/iet-syb.2020.0063","url":null,"abstract":"This study aimed to investigate the clinicopathological significance and prospective molecular mechanism of RUNX family transcription factor 2 (RUNX2) in lung squamous cell carcinoma (LUSC). The authors used immunohistochemistry (IHC), RNA-seq, and microarray data from multi-platforms to conduct a comprehensive analysis of the clinicopathological significance and molecular mechanism of RUNX2 in the occurrence and development of LUSC. RUNX2 expression was significantly higher in 16 LUSC tissues than in paired non-cancerous tissues detected by IHC (P < 0.05). RNA-seq data from the combination of TCGA and genotype-tissue expression (GTEx) revealed significantly higher expression of RUNX2 in 502 LUSC samples than in 476 non-cancer samples. The expression of RUNX2 protein was also significantly higher in pathologic T3-T4 than in T1-T2 samples (P = 0.031). The pooled standardised mean difference (SMD) for RUNX2 was 0.87 (95% CI, 0.58-1.16), including 29 microarrays from GEO and one from ArrayExpress. The co-expression network of RUNX2 revealed complicated connections between RUNX2 and 45 co-expressed genes, which were significantly clustered in pathways including ECM-receptor interaction, focal adhesion, protein digestion and absorption, human papillomavirus infection and PI3K-Akt signalling pathway. Overexpression of RUNX2 plays an essential role in the clinical progression of LUSC.","PeriodicalId":50379,"journal":{"name":"IET Systems Biology","volume":"14 5","pages":"252-260"},"PeriodicalIF":2.3,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC8687175/pdf/SYB2-14-252.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"38521221","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"生物学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
期刊
IET Systems Biology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1