-
1
المؤلفون: Ali Hadizadeh Esfahani, Christoph Lüders, Satya Swarup Samal, Jeyashree Krishnan, Ovidiu Radulescu, Andreas Weber
المصدر: Computational Biology ISBN: 9783030172961
Automated Reasoning for Systems Biology and Medicineمصطلحات موضوعية: Physics, 0303 health sciences, Logarithm, Model parameters, Invariant (physics), 3. Good health, 03 medical and health sciences, Polyhedron, 0302 clinical medicine, Metastability, Attractor, Tropical geometry, Statistical physics, 030217 neurology & neurosurgery, 030304 developmental biology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::0e9b9a5c293d8d8dba47c0d567b61644
https://doi.org/10.1007/978-3-030-17297-8_10 -
2
المؤلفون: Pejman Farhadi Ghalati, Gernot Marx, Andreas Schuppert, Robert Deisz, Jayesh Sudhir Bhat, Satya Swarup Samal
المصدر: Scientific Reports
Scientific Reports, Vol 9, Iss 1, Pp 1-12 (2019)مصطلحات موضوعية: 0301 basic medicine, FOS: Computer and information sciences, Multivariate statistics, Critical Care, Computer science, Complex system, lcsh:Medicine, Quantitative Biology - Quantitative Methods, Statistics - Applications, Article, Sepsis, Computational Engineering, Finance, and Science (cs.CE), 03 medical and health sciences, 0302 clinical medicine, Intensive care, Statistics, medicine, Humans, Applications (stat.AP), lcsh:Science, Computer Science - Computational Engineering, Finance, and Science, Quantitative Methods (q-bio.QM), Series (stratigraphy), Multidisciplinary, Models, Statistical, Septic shock, lcsh:R, Computational science, digestive, oral, and skin physiology, Health care, Variance (accounting), medicine.disease, Prognosis, Intensive Care Units, 030104 developmental biology, FOS: Biological sciences, Disease Progression, lcsh:Q, 030217 neurology & neurosurgery, Biomarkers
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::78f3094e7ea95b1b351ec9ea92c89fa2
-
3
المؤلفون: Jeyashree Krishnan, Ali i Hadizadeh Esfahan, Christoph Lueders, Satya Swarup Samal, Andreas Weber, Ovidiu Radulescu
مصطلحات موضوعية: Physics, Disease specific, 0303 health sciences, Logarithm, Systems biology, Invariant (physics), 3. Good health, 03 medical and health sciences, Polyhedron, 0302 clinical medicine, Metastability, Attractor, Tropical geometry, Statistical physics, 030217 neurology & neurosurgery, 030304 developmental biology
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::be38716b36b778e24c32b9315134c64d
https://doi.org/10.1101/466714 -
4
المؤلفون: Andreas Weber, Thomas Sturm, François Fages, Satya Swarup Samal, Ovidiu Radulescu, François Boulier, Andreas Schuppert, Sebastian Walcher, Werner M. Seiler
المساهمون: Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM), Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Universität Kassel [Kassel], Universität des Saarlandes [Saarbrücken], Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL), Institut für Informatik II [Bonn], Rheinische Friedrich-Wilhelms-Universität Bonn, ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Computational systems biology and optimization (Lifeware), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Département de Mathématiques [Montpellier], Université Montpellier 2 - Sciences et Techniques (UM2), Bayer Technology Services [Leverkusen], Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Sturm, Thomas, Méthodes symboliques pour les réseaux biologiques - - SYMBIONT2017 - ANR-17-CE40-0036 - AAPG2017 - VALID
المصدر: ISSAC 2018
ISSAC 2018, Jul 2018, New York City, NY, United States
Faculty of 1000 Research
ACM Communications in Computer Algebra
ACM Communications in Computer Algebra, Association for Computing Machinery (ACM), 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩
ACM Communications in Computer Algebra, 2018, 52 (3), pp.67-70. ⟨10.1145/3313880.3313885⟩
HALمصطلحات موضوعية: Focus (computing), business.industry, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Systems biology, [SDV]Life Sciences [q-bio], 010102 general mathematics, [MATH] Mathematics [math], 0102 computer and information sciences, General Medicine, [INFO] Computer Science [cs], 01 natural sciences, Data science, [SDV] Life Sciences [q-bio], Software, 010201 computation theory & mathematics, [CHIM] Chemical Sciences, [INFO]Computer Science [cs], 0101 mathematics, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [MATH]Mathematics [math], business, Biological network, ComputingMilieux_MISCELLANEOUS
وصف الملف: application/pdf
-
5
المؤلفون: Ovidiu Radulescu, Dima Grigoriev, Satya Swarup Samal, Nathalie Théret, Andreas Weber, Aurélien Naldi
المساهمون: Bonn-Aachen International Center for Information Technology (B-IT), Universität Bonn = University of Bonn-Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH)-Fraunhofer (Fraunhofer-Gesellschaft)-University of Applied Sciences Bonn-Rhein-Sieg, Dynamique des interactions membranaires normales et pathologiques (DIMNP), Université Montpellier 1 (UM1)-Université Montpellier 2 - Sciences et Techniques (UM2)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Paul Painlevé (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Institut für Informatik II [Bonn], Rheinische Friedrich-Wilhelms-Universität Bonn, Institut de recherche en santé, environnement et travail (Irset), Université d'Angers (UA)-Université de Rennes (UR)-École des Hautes Études en Santé Publique [EHESP] (EHESP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), Dynamics, Logics and Inference for biological Systems and Sequences (Dyliss), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Télécom Bretagne-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS), 16-11-10075, Russell Sage Foundation, ASC14021FSA, INCa/Plan Cancer, University of Bonn-Rheinisch-Westfälische Technische Hochschule Aachen (RWTH)-Fraunhofer (Fraunhofer-Gesellschaft)-University of Applied Sciences Bonn-Rhein-Sieg, Laboratoire Paul Painlevé - UMR 8524 (LPP), Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Université d'Angers (UA)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École des Hautes Études en Santé Publique [EHESP] (EHESP)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Structure Fédérative de Recherche en Biologie et Santé de Rennes ( Biosit : Biologie - Santé - Innovation Technologique ), CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-CentraleSupélec-Télécom Bretagne-Université de Rennes 1 (UR1), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UNIV-RENNES)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Université de Bretagne Sud (UBS)-Centre National de la Recherche Scientifique (CNRS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA), THERET, NATHALIE, University of Bonn-Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH)-Fraunhofer (Fraunhofer-Gesellschaft)-University of Applied Sciences Bonn-Rhein-Sieg
المصدر: BioSystems
BioSystems, 2016, 149, pp.3-14. ⟨10.1016/j.biosystems.2016.07.004⟩
BioSystems, Elsevier, 2016, 149, pp.3-14. ⟨10.1016/j.biosystems.2016.07.004⟩مصطلحات موضوعية: 0301 basic medicine, Statistics and Probability, Geometric analysis, [SDV]Life Sciences [q-bio], [MATH] Mathematics [math], Models, Biological, 01 natural sciences, General Biochemistry, Genetics and Molecular Biology, 010305 fluids & plasmas, Combinatorics, 03 medical and health sciences, Metastability, Modelling and Simulation, Cell Line, Tumor, Tropical Geometry, 0103 physical sciences, Finite State Automaton, Humans, [MATH]Mathematics [math], Mathematics, Sequence, Finite-state machine, Markov chain, Biochemistry, Genetics and Molecular Biology(all), Applied Mathematics, Computational Biology, General Medicine, Function (mathematics), Models, Theoretical, [SDV] Life Sciences [q-bio], 030104 developmental biology, Orders of magnitude (time), Modeling and Simulation, Phase space, Biological system, Receptors, Transforming Growth Factor beta, Cancer Systems Biology, Signal Transduction
وصف الملف: application/pdf
-
6
المؤلفون: Andreas Weber, Satya Swarup Samal, Ovidiu Radulescu, Holger Fröhlich
المصدر: Bioinformatics (Oxford, England). 33(21)
مصطلحات موضوعية: 0301 basic medicine, Statistics and Probability, Male, Computer science, Metabolic network, Bioinformatics, computer.software_genre, Biochemistry, Group lasso, Set (abstract data type), 03 medical and health sciences, 0302 clinical medicine, Text mining, Databases, Genetic, Feature (machine learning), Humans, Molecular Biology, Group (mathematics), business.industry, Gene Expression Profiling, Computational Biology, Prostatic Neoplasms, Phenotype, Outcome (probability), Computer Science Applications, Computational Mathematics, 030104 developmental biology, Computational Theory and Mathematics, 030220 oncology & carcinogenesis, Data mining, business, Glioblastoma, computer, Algorithms, Metabolic Networks and Pathways
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::801e067657e97a6f87a03e78c193b483
https://pubmed.ncbi.nlm.nih.gov/29077809 -
7
المؤلفون: Dima Grigoriev, Ovidiu Radulescu, Holger Fröhlich, Satya Swarup Samal
المصدر: Computer Algebra in Scientific Computing : 17th International Workshop, CASC 2015, Aachen, Germany, September 14-18, 2015, Proceedings
Lecture Notes in Computer Science
Computer Algebra in Scientific Computing ISBN: 9783319240206
CASCمصطلحات موضوعية: Polynomial, Monomial, Pure mathematics, Differential equation, Molecular Networks (q-bio.MN), 010102 general mathematics, Invariant manifold, 0102 computer and information sciences, Algebraic geometry, 01 natural sciences, Combinatorics, 010201 computation theory & mathematics, FOS: Biological sciences, Tropical geometry, Quantitative Biology - Molecular Networks, 0101 mathematics, Equivalence class, Physics::Atmospheric and Oceanic Physics, Variable (mathematics), Mathematics
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::086430f5bcdbb8e780c8ed1ebfbca072
https://hdl.handle.net/21.11116/0000-0004-141A-921.11116/0000-0004-1417-C21.11116/0000-0004-1419-A -
8
المصدر: Bulletin of Mathematical Biology
مصطلحات موضوعية: Mathematical optimization, Biochemical Phenomena, Molecular Networks (q-bio.MN), General Mathematics, Systems biology, Immunology, Polytope, Minimal models, Geometric method, Models, Biological, General Biochemistry, Genetics and Molecular Biology, Biochemical network, Applied mathematics, Quantitative Biology - Molecular Networks, Invariant (mathematics), General Environmental Science, Mathematics, Pharmacology, General Neuroscience, Systems Biology, Cell Cycle, Mathematical Concepts, Manifold, Kinetics, Computational Theory and Mathematics, FOS: Biological sciences, General Agricultural and Biological Sciences, Algorithms, Metabolic Networks and Pathways
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f87bbde301843181599251e5edc88452
https://hdl.handle.net/21.11116/0000-0004-140D-821.11116/0000-0004-140E-721.11116/0000-0004-140B-A -
9
المصدر: Computational methods in systems biology : 13th international conference, CMSB 2015, Nantes, France, September 16-18, 2015, proceedings
Lecture Notes in Bioinformatics
Computational Methods in Systems Biology ISBN: 9783319234007
CMSBمصطلحات موضوعية: Discrete mathematics, Monomial, Polynomial, Finite-state machine, Differential equation, Molecular Networks (q-bio.MN), Symbolic dynamics, Algebraic geometry, Nonlinear system, FOS: Biological sciences, Quantitative Biology - Molecular Networks, Statistical physics, Mathematics, Variable (mathematics)
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3b5a92e41d1967264e1101e291b36c61
https://hdl.handle.net/21.11116/0000-0004-1440-D21.11116/0000-0004-143D-221.11116/0000-0004-143F-0 -
10
المؤلفون: Andreas Weber, Dima Grigoriev, Satya Swarup Samal, Sergei Vakulenko
المصدر: Mathematical Modelling of Natural Phenomena
مصطلحات موضوعية: Quantitative Biology::Molecular Networks, Applied Mathematics, Dynamics (mechanics), food and beverages, Metabolic network, Protein kinase cascade, Biology, Quantitative Biology::Cell Behavior, Biochemical network, Quantitative Biology::Subcellular Processes, Nonlinear system, Quadratic equation, Modeling and Simulation, Attractor, Algorithm
وصف الملف: application/pdf
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ed2bff6e9a19f5d51002d40a5786c38
https://hdl.handle.net/21.11116/0000-0004-141F-421.11116/0000-0007-921D-4