检索结果-内蒙古大学图书馆

Dynamics of a predator-prey model with stage-structure on both species and anti-predator behavior

Informatics in Medicine Unlocked 2018年 10卷 50-57页

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 W.B. India Department of Applied Science Haldia Institute of Technology Purba Midnapore Haldia 721657 W.B. India

In this paper, we have formulated and studied a stage-structure predator-prey model. Here, we consider stage-structure on both prey as well as predator population which means that the prey population is divided into two sub populations such as juvenile prey and adult prey, on the other hand, the predator population is also divided into two sub populations such as juvenile predator and adult predator. It is assumed that only adult predator have the ability to predation and they consume both juvenile prey as well as adult prey. Here, it is also considered that the growth rate of juvenile prey depends upon the adult prey population i.e., the juvenile prey has no reproduction capability. Also, Holling II and Holling IV response function have been used for the consumption of juvenile prey and adult prey by adult predator respectively. It is also considered two types of factors such as anti-predator behavior and group defense to formulate our proposed model. Mathematically, we have analyzed the positivity and boundedness of solutions, existence of equilibria, stability of the proposed system around these equilibrium points and Hopf bifurcation of interior equilibrium point. Finally, some numerical simulations have been presented to validate our theoretical results. © 2017

关键词： Anti-predator behavior Group defense Holling IV response function Prey-predator model Stability analysis Stage-structure

来源：评论

学校读者我要写书评

暂无评论

Dynamics of a predator-prey model with nonlinear incidence rate, Crowley-Martin type functional response and disease in prey population

引用

Ecological Genetics and Genomics 2019年 10卷

作者： Mortoja, Sk Golam Panja, Prabir Mondal, Shyamal Kumar Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapore 721102 WB India Department of Applied Science Haldia Institute of Technology Haldia Purba Midnapore 721657 WB India

In this paper, a delayed predator-prey model has been developed. Here, on the basis of infectious disease, the prey population has been divided into two sub-populations such as (i) susceptible prey and (ii) infected prey population. It is also assumed that a predator may consume both susceptible prey as well as infected prey. Also here, the Crowley-Martin type functional form has been taken to consume the prey (both susceptible and infected) population by the predator. It also considers two types of time delays in this model, (i) one is disease transmission delay when susceptible prey moves to infected prey stage and (ii) other is predator maturation delay. As the predator consumes both susceptible and infected prey, so we have incorporated the fact in this model that disease in the prey species also effect on predator population growth. Here, positivity and boundedness of solutions of our proposed model have been discussed. Then calculating different equilibrium points, the stability of the system have been discussed around those. In this paper, the Hopf bifurcation analysis has been done for non-delayed system with respect to the crowding coefficient. Finally, some numerical simulations have been presented to validate our theoretical findings. © 2018 Elsevier Inc.

关键词： Crowley-Martin functional response Hopf bifurcation Nonlinear incidence rate Predator-prey model Stability analysis Time delay

来源：评论

学校读者我要写书评

暂无评论

Automated CRISPR/Cas9-based genome editing of human pluripotent stem cells using the StemCellFactory

引用

Cytotherapy 2025年第5期27卷 S36-S37页

作者： Nießing, B. Breitkreuz, Y. Elanzew, A. de Toledo, M.A.S. Vajs, P. Nolden, M. Erkens, F. Wanek, P. Yeung, S. Au Haupt, S. Koenig, N. Peitz, M. Schmitt, R. Zenke, M. Brustle, O. Bioadaptive Production Fraunhofer Institute for Production Technology IPT Aachen Germany Cellomics Unit LIFE&BRAIN GmbH Bonn Germany Institute of Reconstructive Neurobiology University of Bonn Medical Faculty and University Hospital Bonn Bonn Germany Institute for Biomedical Engineering Cell Biology Faculty of Medicine RWTH Aachen University Aachen Germany Helmholtz Institute for Biomedical Engineering RWTH Aachen University Aachen Germany Department of Medicine IV Hematology Oncology and Stem Cell Transplantation RWTH Aachen University Hospital Aachen Germany Center for Integrated Oncology Aachen Bonn Cologne Düsseldorf (CIO ABCD) Aachen Germany Fraunhofer Institute for Production Technology IPT Aachen Germany Cell Programming Core Facility University of Bonn Medical Faculty Bonn Germany Laboratory for Machine Tools and Production RWTH Aachen University Aachen Germany

Background & AimCRISPR/Cas9 technology is a leading method for efficient gene editing, enabling the creation of isogenic pairs of mutant and control human induced pluripotent stem cells (hiPSCs). While hiPSCs provide valuable opportunities for disease modeling and personalized medicine, challenges remain in distinguishing specific mutation effects from genetic backgrounds. Manual genome editing processes often face scalability and standardization limitations. The StemCellFactory, a modular robotic system, has been developed to automate the reprogramming, expansion, and differentiation of hiPSCs, enhancing the application of CRISPR/Cas9 in research. MethodologyHiPSCs were cultured in StemMACS iPS-Brew XF medium, with daily medium changes and mycoplasma testing. For CRISPR/Cas9 editing, target gene-specific CRISPR-RNA and tracrRNA formed ribonucleoprotein complexes, utilizing an optimized nucleofection protocol. HiPSCs were dissociated, counted, and nucleofected through manual and automated processes. The automated StemCellFactory workflow included cell preparation, nucleofection, and cell seeding, managed by the COPE software for data visualization. Genotyping of polyclonal hiPSCs was performed via Sanger sequencing to assess editing efficiency, with automated isolation of monoclonal colonies conducted using an integrated CellCelector. ResultsThe StemCellFactory successfully integrated a 4D-Nucleofector with a 96-well shuttle device for automated CRISPR/Cas9 editing. Adjustments replaced manual consumables with scalable formats, enhancing efficiency. The CM150 electroporation program yielded high cell viability (83.5%) and indel rates (81.7%). Optimal culture conditions combined Laminin 521 with CloneR-supplemented iPS-Brew medium, supporting hiPSC survival and colony formation. The automated system allowed parallel processing of up to 24 conditions, demonstrating high editing efficiencies, with indel rates exceeding 80% across all tested cell lines, comparable to ma

关键词： Standardization Personalized Medicine COPE

来源：评论

学校读者我要写书评

暂无评论

Correction to: A new cognitive clock matching phenotypic and epigenetic ages

引用

Translational psychiatry 2022年第1期12卷 452页

作者： M I Krivonosov E V Kondakova N A Bulanov S A Polevaya C Franceschi M V Ivanchenko M V Vedunova Institute of Biology and Biomedicine Department of Neurotechnology N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. krivonosov@itmm.unn.ru. Research Center for Trusted Artificial Intelligence The Ivannikov Institute for System Programming of the Russian Academy of Sciences Moscow 109004 Russia. Institute of Biology and Biomedicine Department of Basic and Medical Genetics N. I. Lobachevsky State University Nizhny Novgorod Russia. Faculty of Computer Science School of Data Analysis and Artificial Intelligence HSE University Moscow Russia. Faculty of Social Sciences Department of Psychophysiology N. I. Lobachevsky State University Nizhny Novgorod Russia. Institute of Information Technology Mathematics and Mechanics Department of Applied Mathematics N. I. Lobachevsky State University Nizhny Novgorod Russia. Department of Experimental Diagnostic and Specialty Medicine (DIMES) University of Bologna Bologna Italy.

来源：评论

学校读者我要写书评

暂无评论

A proposal of an example and experiments repository to foster industrial adoption of formal methods 8th

A proposal of an example and experiments repository to foste...

引用

8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018

作者： Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)9783030034269

Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the potential benefits. We take a look at possible reasons and give candidate explanations for this effect. To address the issue, we propose a repository of industry-relevant example problems with an accompanying open data storage for experiment results in order to document, disseminate and compare exemplary solutions from formal model based methods. This would allow potential users from industry to better understand the available solutions and to more easily select and adopt a formal method that fits their needs. At the same time, it would foster the adoption of open data and good scientific practice in this research field. © Springer Nature Switzerland AG 2018.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

On one generalization of finite nilpotent groups

arXiv

引用

arXiv 2018年

作者： Chi, Zhang Skiba, Alexander N. Department of Mathematics University of Science and Technology of China Hefei230026 China Department of Mathematics and Technologies of Programming Francisk Skorina Gomel State University Gomel246019

Let σ = {σi|i ∈ I} be a partition of the set P of all primes and G a finite group. A chief factor H/K of G is said to be σ-central if the semidirect product (H/K) (G/CG(H/K)) is a σi-group for some i = i(H/K). G is called σ-nilpotent if every chief factor of G is σ-central. We say that G is semi-σ-nilpotent (respectively weakly semi-σ-nilpotent) if the normalizer NG(A) of every non-normal (respectively every non-subnormal) σ-nilpotent subgroup A of G is σ-nilpotent. In this paper we determine the structure of finite semi-σ-nilpotent and weakly semi-σ-nilpotent *** Codes (2010): 20D10, 20D15, 20D30 Copyright © 2018, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research and Development of Reflectarray Antennas

Research and Development of Reflectarray Antennas

引用

International Conference on Mathematical Methods in Electromagnetic Theory (MMET)

作者： Viktor Hoblyk Nadiia Hoblyk Department of Electronics and Information Technology Lviv Polytechnic National University Lviv Ukraine Department of Computational Mathematics and Programming Lviv Polytechnic National University Lviv Ukraine

This work presents results of computer simulation of a flat reflective array of rectangular waveguides and results of the investigation of the influence of phase errors on the formation of the radiation field.

关键词： Electromagnetic waveguides Reflector antennas Antenna arrays Antenna radiation patterns Mathematical model Apertures

来源：评论

学校读者我要写书评

暂无评论

One application of the σ-local formations of finite groups

arXiv

引用

arXiv 2018年

Throughout this paper, all groups are finite. Let σ- = -σ-i|i ∈ I} be some partition of the set of all primes P. If n is an integer, the symbol σ-(n) denotes the set -σ-i|σ-i ∩ π(n) ≠ ø.}. The integers n and m are called σ-coprime if σ-(n) ∩ σ-(m) = ø. Let t > 1 be a natural number and let F be a class of groups. Then we say that F is Σσ t -closed provided F contains each group G with subgroups A1, . ,At ∈ F whose indices |G : A1|, ., |G : At| are pairwise σ-coprime. In this paper, we study Σσ t -closed classes of finite *** Codes (2010): 20D10, 20D15, 20D20 Copyright © 2018, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Distributed System for Detecting the Malware in LAN

Distributed System for Detecting the Malware in LAN

引用

International Scientific and Technical Conference on Computer Science and Information Technologies

作者： George Markowsky Oleg Savenko Anatoliy Sachenko Department of Computer Science Missouri University of Science and Technology Rolla USA Department of Computer Engineering and System Programming Khmelnytsky National University Khmelnytsky Ukraine Department of Informatics Kazimierz Pulaski University of Technology and Humanities in Radom Radom Poland

The paper proposes the architecture of distributed multilevel detection system of malicious software in local area networks. Its feature is the synthesis of its requirements of distribution, decentralization, multilevel. This allows you to use it autonomously. In addition, the feature of autonomous program modules of the system is the same organization, which allows the exchange of knowledge in the middle of the system, which, unlike the known systems, allows you to use the knowledge gained by separate parts of the system in other parts. The developed system allows to fill it with subsystems of detection of various types of malicious software in local area networks.

关键词： Architecture Distributed system Malware Local area networks

来源：评论

学校读者我要写书评

暂无评论

Couette-Poiseuille flow based non-linear flow over a square cylinder near plane wall

Couette-Poiseuille flow based non-linear flow over a square ...

引用

作者： Bhatt, Rajesh Maiti, Dilip K. Alam, Md. Mahbub Rehman, S. Institute for Turbulence-Noise-Vibration Interaction and Control Shenzhen Graduate School Harbin Institute of Technology Shenzhen China Department of Applied Mathematics with Oceanology and Computer Programming Vidyasagar University Midnapur721102 India Center for Engineering Research Research Institute King Fahd University of Petroleum and Minerals Dhahran31261 Saudi Arabia

A numerical study on the flow over a square cylinder in the vicinity of a wall is conducted for different Couette-Poiseuille-based non-uniform flow with the non-dimensional pressure gradient P varying from 0 to 5. The nondimensional gap ratio L (=H /a ) is changed from 0.1 to 2, where H is gap height between the cylinder and wall, and a is the cylinder width. The governing equations are solved numerically through finite volume method based on SIMPLE algorithm on a staggered grid system. Both P and L have a substantial influence on the flow structure, time-mean drag coefficient CD, fluctuating (rms) lift coefficient (C′L), and Strouhal number St. The changes in P and L leads to four distinct flow regimes (I, II, III and IV). Following the flow structure change, the CD , C′L, and St all vary greatly with the change in L and/or P. The CD and C′L both grow with increasing P and/or L. The St increases with P for a given L, being less sensitive to L for a smaller P ( 2). A strong relationship is observed between the flow regimes and the values of CD , CL and St. An increase in P affects the pressure distribution more on the top surface than on bottom surface while an increase in L does the opposite. © 2018 Techno-Press, Ltd.

关键词： Flow structure

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：