LIVIVO - The Search Portal for Life Sciences

zur deutschen Oberfläche wechseln
Advanced search

Search results

Result 1 - 10 of total 31

Search options

  1. Book ; Online: Algorithm for globally identifiable reparametrizions of ODEs

    Falkensteiner, Sebastian / Ovchinnikov, Alexey / Sendra, J. Rafael

    2024  

    Abstract: Structural global parameter identifiability indicates whether one can determine a parameter's value in an ODE model from given inputs and outputs. If a given model has parameters for which there is exactly one value, such parameters are called ... ...

    Abstract Structural global parameter identifiability indicates whether one can determine a parameter's value in an ODE model from given inputs and outputs. If a given model has parameters for which there is exactly one value, such parameters are called identifiable. We present a procedure for replacing, if possible, a given ODE model involving not identifiable parameters by an equivalent one such that the new set of parameters is identifiable. We first derive this as an algorithm for one-dimensional ODE models and then reuse this approach for higher-dimensional models.
    Keywords Electrical Engineering and Systems Science - Systems and Control ; Computer Science - Symbolic Computation ; Mathematics - Analysis of PDEs ; 93C15 ; 93B25 ; 93B30 ; 34A55 ; 14E08 ; 14M20 ; 14Q20 ; 12H05 ; 92B05
    Publishing date 2024-01-01
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  2. Article ; Online: Functional requirements for the information model of a construction object life cycle

    Gusakova Elena / Ovchinnikov Alexey

    E3S Web of Conferences, Vol 110, p

    2019  Volume 02008

    Abstract: In the context of the general trend to accelerate change, the life cycle of a construction object, analysis and design of its stages becomes an actual object of scientific research in the field of construction. The subject of the study becomes the ... ...

    Abstract In the context of the general trend to accelerate change, the life cycle of a construction object, analysis and design of its stages becomes an actual object of scientific research in the field of construction. The subject of the study becomes the information model of the life cycle of the building. It is studied and modeled on the basis of the concept of real estate development and using the methods of project analysis of the construction project. With the help of BIM-modeling tools, mandatory stages and possible phases of the life cycle of a building object can be represented as hierarchically and sequentially related information flows, in which the attributes of each stage of the life cycle are formed under the influence of the preceding stages and of special factors for the considered stage. On this basis, an analysis of the characteristics was carried out, and the structure of simple and complex construction works was developed, which allows determining for each stage of the life cycle of a construction object: interconnection of information flows, composition and content of the information model of the building required for the work of specialists.
    Keywords Environmental sciences ; GE1-350
    Subject code 690
    Language English
    Publishing date 2019-01-01T00:00:00Z
    Publisher EDP Sciences
    Document type Article ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  3. Book ; Online: Symbolic-numeric algorithm for parameter estimation in discrete-time models with $\exp$

    Berman, Yosef / Forrest, Joshua / Grote, Matthew / Ovchinnikov, Alexey / Rueda, Sonia

    2024  

    Abstract: Determining unknown parameter values in dynamic models is crucial for accurate analysis of the dynamics across the different scientific disciplines. Discrete-time dynamic models are widely used to model biological processes, but it is often difficult to ... ...

    Abstract Determining unknown parameter values in dynamic models is crucial for accurate analysis of the dynamics across the different scientific disciplines. Discrete-time dynamic models are widely used to model biological processes, but it is often difficult to determine these parameters. In this paper, we propose a robust symbolic-numeric approach for parameter estimation in discrete-time models that involve non-algebraic functions such as exp. We illustrate the performance (precision) of our approach by applying our approach to the flour beetle (LPA) model, an archetypal discrete-time model in biology. Unlike optimization-based methods, our algorithm guarantees to find all solutions of the parameter values given time-series data for the measured variables.
    Keywords Quantitative Biology - Quantitative Methods ; Computer Science - Symbolic Computation ; Electrical Engineering and Systems Science - Systems and Control ; Mathematics - Commutative Algebra ; Mathematics - Dynamical Systems ; 92B05 ; 68W30 ; 14Q20 ; 39A60 ; 13P15
    Subject code 006
    Publishing date 2024-01-29
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  4. Book ; Online: BASS

    Grigoriev, Dima / Ilmer, Ilia / Ovchinnikov, Alexey / Shpilrain, Vladimir

    Boolean Automorphisms Signature Scheme

    2023  

    Abstract: We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation of the number of zeros of a multivariate Boolean function. ... Comment: 10 ... ...

    Abstract We offer a digital signature scheme using Boolean automorphisms of a multivariate polynomial algebra over integers. Verification part of this scheme is based on the approximation of the number of zeros of a multivariate Boolean function.

    Comment: 10 pages
    Keywords Computer Science - Cryptography and Security ; Mathematics - Rings and Algebras ; E.3
    Publishing date 2023-06-20
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  5. Book ; Online: Algorithm for finding new identifiable reparametrizations of parametric ODEs

    Meshkat, Nicolette / Ovchinnikov, Alexey / Scanlon, Thomas

    2023  

    Abstract: Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can be recovered from data, the model is said to be identifiable. However, in ... ...

    Abstract Structural identifiability concerns the question of which unknown parameters of a model can be recovered from (perfect) input-output data. If all of the parameters of a model can be recovered from data, the model is said to be identifiable. However, in many models, there are parameters that can take on an infinite number of values but yield the same input-output data. In this case, those parameters and the model are called unidentifiable. The question is then what to do with an unidentifiable model. One can either adjust the model, if experimentally feasible, or try to find a reparametrization to make the model identifiable. In this paper, we take the latter approach. While existing approaches to find identifiable reparametrizations were limited to scaling reparametrizations or were not guaranteed to find an identifiable reparametrization, we show in this paper that there always exists a locally identifiable model with the same input-output behavior as the original one. We also prove that, for linear models, a globally identifiable reparametrization always exists and show that, for a certain class of linear compartmental models, an explicit reparametrization formula exists. We illustrate our method on several examples and provide detailed analysis in supplementary material on github.

    Comment: corrected abstract
    Keywords Electrical Engineering and Systems Science - Systems and Control ; Mathematics - Algebraic Geometry ; Mathematics - Dynamical Systems ; Quantitative Biology - Quantitative Methods ; 92B05 ; 93C15 ; 93B25 ; 93B30 ; 34A55 ; 12H05 ; 03C40 ; 03C60
    Subject code 004
    Publishing date 2023-10-04
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  6. Article: Triviality of differential Galois cohomology of linear differential algebraic groups.

    Minchenko, Andrei / Ovchinnikov, Alexey

    Communications in algebra

    2019  Volume 47, Issue 12, Page(s) 5094–5100

    Abstract: For a partial differential ... ...

    Abstract For a partial differential field
    Language English
    Publishing date 2019-07-14
    Publishing country United States
    Document type Journal Article
    ZDB-ID 2041722-6
    ISSN 1532-4125 ; 0092-7872
    ISSN (online) 1532-4125
    ISSN 0092-7872
    DOI 10.1080/00927872.2019.1612416
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

  7. Book ; Online: More Efficient Identifiability Verification in ODE Models by Reducing Non-Identifiability

    Ilmer, Ilia / Ovchinnikov, Alexey / Pogudin, Gleb / Soto, Pedro

    2022  

    Abstract: Structural global parameter identifiability indicates whether one can determine a parameter's value from given inputs and outputs in the absence of noise. If a given model has parameters for which there may be infinitely many values, such parameters are ... ...

    Abstract Structural global parameter identifiability indicates whether one can determine a parameter's value from given inputs and outputs in the absence of noise. If a given model has parameters for which there may be infinitely many values, such parameters are called non-identifiable. We present a procedure for accelerating a global identifiability query by eliminating algebraically independent non-identifiable parameters. Our proposed approach significantly improves performance across different computer algebra frameworks.
    Keywords Computer Science - Symbolic Computation ; Computer Science - Machine Learning ; Mathematics - Algebraic Geometry
    Publishing date 2022-04-04
    Publishing country us
    Document type Book ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  8. Article ; Online: Legal education in modern Russia

    Ovchinnikov Alexey / Vakula Anna / Veselaya Tatyana / Smolensky Mikhail

    SHS Web of Conferences, Vol 70, p

    hermeneutic aspect

    2019  Volume 11008

    Abstract: In order to comprehensively consider and then justify the need for the formation and development of professional and educational standards for training future professionals in the field of law, it is necessary to take into account many circumstances, the ...

    Abstract In order to comprehensively consider and then justify the need for the formation and development of professional and educational standards for training future professionals in the field of law, it is necessary to take into account many circumstances, the most important of which are: the positivist vector of the development of domestic jurisprudence; reforms of Higher Legal Education; reduction in hours in the study of historical and theoretical legal subjects, as well as humanitarian subjects in general. In the conditions of a technocratic state, the role of law in public life is increasing, which requires the recognition of the special importance of humanitarian subjects in the training of a professional lawyer, which needs the ability to sympathize, participate, be human, and respect human rights. Mass-producing of legal education results not only in the legal formalism of the legal bureaucratization of law enforcement agencies, caused by the loss of trust by the heads of state bodies to the moral and other qualities of the personnel who are forced to do everything according to the instructions, but also in the delegitimizing of rights, laws and by-law acts, jurisprudence as a whole, which gradually turns into an instrument of a technocratic state.
    Keywords Social Sciences ; H
    Subject code 340
    Language English
    Publishing date 2019-01-01T00:00:00Z
    Publisher EDP Sciences
    Document type Article ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  9. Article ; Online: Approaches to the structuring of the information model of the life cycle stages of a construction object

    Gusakova Elena / Ovchinnikov Alexey / Volkov Andrey

    E3S Web of Conferences, Vol 97, p

    2019  Volume 01002

    Abstract: In the context of the general trend to accelerate change, the actual goal of scientific research in the field of construction is to analyze and design the stages of the life cycle of a construction object. The object of the study becomes the information ... ...

    Abstract In the context of the general trend to accelerate change, the actual goal of scientific research in the field of construction is to analyze and design the stages of the life cycle of a construction object. The object of the study becomes the information model of the life cycle of the building. It is studied and modeled based on the concept of real estate development and using the methods of project analysis of the construction project. The widest possibilities for obtaining and analyzing data on the state of a construction object, as well as the possibilities of systematizing information flows and information modeling of different periods of its life cycle, are realized in the approach of BIM modeling of buildings and structures. With the help of BIM-modeling tools, mandatory stages and possible phases of the life cycle of a building object can be represented as hierarchically and sequentially related information flows, in which the attributes of each stage of the life cycle are formed under the influence of the preceding stages and of special factors for the considered stage. As a result, the project documentation should reflect the decisions aimed at providing the necessary conditions and opportunities for subsequent periods of the life cycle of the construction object, as well as the most adapted for the predicted changes and transformations for all future stages and phases. The analysis of characteristics and the developed structure of simple and complex construction works allows determining for each stage and phase of the life cycle of a construction object: interconnection of information flows, composition and content of the information model of the building required for the work of specialists.
    Keywords Environmental sciences ; GE1-350
    Subject code 690
    Language English
    Publishing date 2019-01-01T00:00:00Z
    Publisher EDP Sciences
    Document type Article ; Online
    Database BASE - Bielefeld Academic Search Engine (life sciences selection)

    Full text online

    More links

    Kategorien

    Inter-library loan at ZB MED

    Your chosen title can be delivered directly to ZB MED Cologne location if you are registered as a user at ZB MED Cologne.

  10. Article ; Online: CLUE: exact maximal reduction of kinetic models by constrained lumping of differential equations.

    Ovchinnikov, Alexey / Pérez Verona, Isabel / Pogudin, Gleb / Tribastone, Mirco

    Bioinformatics (Oxford, England)

    2021  Volume 37, Issue 12, Page(s) 1732–1738

    Abstract: Motivation: Detailed mechanistic models of biological processes can pose significant challenges for analysis and parameter estimations due to the large number of equations used to track the dynamics of all distinct configurations in which each involved ... ...

    Abstract Motivation: Detailed mechanistic models of biological processes can pose significant challenges for analysis and parameter estimations due to the large number of equations used to track the dynamics of all distinct configurations in which each involved biochemical species can be found. Model reduction can help tame such complexity by providing a lower-dimensional model in which each macro-variable can be directly related to the original variables.
    Results: We present CLUE, an algorithm for exact model reduction of systems of polynomial differential equations by constrained linear lumping. It computes the smallest dimensional reduction as a linear mapping of the state space such that the reduced model preserves the dynamics of user-specified linear combinations of the original variables. Even though CLUE works with non-linear differential equations, it is based on linear algebra tools, which makes it applicable to high-dimensional models. Using case studies from the literature, we show how CLUE can substantially lower model dimensionality and help extract biologically intelligible insights from the reduction.
    Availability and implementation: An implementation of the algorithm and relevant resources to replicate the experiments herein reported are freely available for download at https://github.com/pogudingleb/CLUE.
    Supplementary information: Supplementary data are available at Bioinformatics online.
    Language English
    Publishing date 2021-01-08
    Publishing country England
    Document type Journal Article
    ZDB-ID 1422668-6
    ISSN 1367-4811 ; 1367-4803
    ISSN (online) 1367-4811
    ISSN 1367-4803
    DOI 10.1093/bioinformatics/btab010
    Database MEDical Literature Analysis and Retrieval System OnLINE

    More links

    Kategorien

    In stock of ZB MED Cologne/Königswinter

    Zs.A 2374: Show issues Location:
    Je nach Verfügbarkeit (siehe Angabe bei Bestand)
    bis Jg. 1994: Bestellungen von Artikeln über das Online-Bestellformular
    Jg. 1995 - 2021: Lesesall (2.OG)
    ab Jg. 2022: Lesesaal (EG)

    Order via subito

    This service is chargeable due to the Delivery terms set by subito. Orders including an article and supplementary material will be classified as separate orders. In these cases, fees will be demanded for each order.

To top