المؤلفون: Qaiser Riaz, Muhammad Zeeshan Ul Hasnain Hashmi, Muhammad Arslan Hashmi, Muhammad Shahzad, Hassan Errami, Andreas Weber

المصدر: IEEE Access, Vol 7, Pp 28510-28524 (2019)

مصطلحات موضوعية: Age estimation, inertial sensor based age estimation, human gait analysis, smartphone and wearable, soft biometrics, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/8662607/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/0c8d09b686aa4a638720ee6ce39cccb0

المؤلفون: Kristina Enes, Hassan Errami, Moritz Wolter, Tim Krake, Bernhard Eberhardt, Andreas Weber, Jörg Zimmermann

المصدر: Sensors, Vol 20, Iss 4, p 976 (2020)

مصطلحات موضوعية: dynamic mode decomposition, human motion anticipation, short-time future prediction, delay coordinates, Chemical technology, TP1-1185

وصف الملف: electronic resource

Relation: https://www.mdpi.com/1424-8220/20/4/976; https://doaj.org/toc/1424-8220

URL الوصول: https://doaj.org/article/b14c6e807f6446728fbf118dfb2f3aed

المؤلفون: Marek Košta, Matthew England, Dima Grigoriev, Ovidiu Radulescu, Hassan Errami, Russell Bradford, Vladimir P. Gerdt, Thomas Sturm, James H. Davenport, Andreas Weber, Charles Tapley Hoyt

المساهمون: Department of Computer Science [Bath], University of Bath [Bath], Coventry University (UK), Coventry University, Institut für Informatik II [Bonn], Rheinische Friedrich-Wilhelms-Universität Bonn, Joint Institute for Nuclear Research (JINR), Laboratoire Paul Painlevé - UMR 8524 (LPP), Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Bonn-Aachen International Center for Information Technology (B-IT), Rheinisch-Westfälische Technische Hochschule Aachen (RWTH)-University of Applied Sciences Bonn-Rhein-Sieg-Fraunhofer (Fraunhofer-Gesellschaft)-University of Bonn, Slovak Academy of Sciences (SAS), Université de Montpellier (UM), 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), ANR-17-CE40-0036,SYMBIONT,Méthodes symboliques pour les réseaux biologiques(2017), Laboratoire Paul Painlevé (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Universität Bonn = University of Bonn-Rheinisch-Westfälische Technische Hochschule Aachen University (RWTH)-Fraunhofer (Fraunhofer-Gesellschaft)-University of Applied Sciences Bonn-Rhein-Sieg, 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)-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)-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), Saarland University [Saarbrücken]

المصدر: Journal of Symbolic Computation
Journal of Symbolic Computation, Elsevier, 2020, 98, pp.84-119. ⟨10.1016/j.jsc.2019.07.008⟩
Journal of Symbolic Computation, 2020, 98, pp.84-119. ⟨10.1016/j.jsc.2019.07.008⟩
Bradford, R, Davenport, J H, England, M, Errami, H, Gerdt, V, Grigoriev, D, Hoyt, C, Košta, M, Radulescu, O, Sturm, T & Weber, A 2020, ' Identifying the parametric occurrence of multiple steady states for some biological networks ', Journal of Symbolic Computation, vol. 98, pp. 84-119 . https://doi.org/10.1016/j.jsc.2019.07.008

مصطلحات موضوعية: Computer Science - Symbolic Computation, FOS: Computer and information sciences, [SDV]Life Sciences [q-bio], Structure (category theory), Mixed equation/inequality solving, 010103 numerical & computational mathematics, Symbolic Computation (cs.SC), Parameter space, Signaling Pathways, 01 natural sciences, Signalling pathways, symbols.namesake, Gaussian elimination, Real quantifier elimination, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, [INFO]Computer Science [cs], [MATH]Mathematics [math], 0101 mathematics, Parametric statistics, Mathematics, I.1.4, Biological Networks, Algebra and Number Theory, Biological networks, 010102 general mathematics, Graph theory, Symbolic computation, MAPK, Cylindrical algebraic decomposition, Computational Mathematics, symbols, Algorithm, Mixed Equation / Inequality Solving, Biological network

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18ff7e4acb6694d3c28ba14688605bd2
https://doi.org/10.1016/j.jsc.2019.07.008

المؤلفون: Hassan Errami, Muhammad Shahzad, Muhammad Arslan Hashmi, Andreas Weber, Muhammad Zeeshan Ul Hasnain Hashmi, Qaiser Riaz

المصدر: IEEE Access, Vol 7, Pp 28510-28524 (2019)

مصطلحات موضوعية: Inertial frame of reference, General Computer Science, inertial sensor based age estimation, Computer science, 010401 analytical chemistry, General Engineering, 02 engineering and technology, 021001 nanoscience & nanotechnology, human gait analysis, 01 natural sciences, Gait, 0104 chemical sciences, Gait (human), Gait analysis, Statistics, Age estimation, smartphone and wearable, soft biometrics, General Materials Science, lcsh:Electrical engineering. Electronics. Nuclear engineering, 0210 nano-technology, lcsh:TK1-9971

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e242f69dedd63642652db24e5bf48a42
https://ieeexplore.ieee.org/document/8662607/

المؤلفون: Maša Dukarić, Valery G. Romanovski, Tina Lebar, János Tóth, Roman Jerala, Hassan Errami, Andreas Weber

المصدر: Reaction Kinetics, Mechanisms and Catalysis. 126:3-30

مصطلحات موضوعية: Hopf bifurcation, Mathematical model, 010405 organic chemistry, Oscillation, Computer science, 010402 general chemistry, Topology, Network topology, Symbolic computation, 01 natural sciences, Catalysis, 0104 chemical sciences, symbols.namesake, Stability theory, symbols, Physical and Theoretical Chemistry, Positive feedback, Repressilator

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::7a4720cc5988c1b06fb8605fb1bfeb6b
https://doi.org/10.1007/s11144-018-1519-5

المؤلفون: Hassan Errami, Bernhard Eberhardt, Moritz Wolter, Tim Krake, Jörg Zimmermann, Andreas Weber, Kristina Enes

المصدر: Sensors, Vol 20, Iss 4, p 976 (2020)
Sensors
Volume 20
Issue 4
Sensors (Basel, Switzerland)

مصطلحات موضوعية: FOS: Computer and information sciences, human motion anticipation, Computer Science - Machine Learning, Computer science, Computer Vision and Pattern Recognition (cs.CV), Computer Science - Computer Vision and Pattern Recognition, Machine Learning (stat.ML), 02 engineering and technology, lcsh:Chemical technology, Machine learning, computer.software_genre, short-time future prediction, Biochemistry, Article, Motion (physics), Machine Learning (cs.LG), Analytical Chemistry, Motion, delay coordinates, Statistics - Machine Learning, 0202 electrical engineering, electronic engineering, information engineering, Humans, dynamic mode decomposition, lcsh:TP1-1185, Electrical and Electronic Engineering, Instrumentation, Interpretability, Human Body, Artificial neural network, business.industry, 020207 software engineering, Atomic and Molecular Physics, and Optics, Term (time), Recurrent neural network, Anticipation (artificial intelligence), 020201 artificial intelligence & image processing, Neural Networks, Computer, Artificial intelligence, business, computer, Algorithms

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c7f74c3fff85d6e67139fceaf6882adb
https://doi.org/10.3390/s20040976

المؤلفون: Dima Grigoriev, Ovidiu Radulescu, Hassan Errami, Matthew England, Thomas Sturm, Andreas Weber

المساهمون: Coventry University, Institut für Informatik II [Bonn], Rheinische Friedrich-Wilhelms-Universität Bonn, Laboratoire Paul Painlevé (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS), 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), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), 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), 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)-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)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), 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), Vladimir P. Gerdt, Wolfram Koepf, Werner M. Seiler, Evgenii V. Vorozhtsov, Coventry University (UK), Laboratoire Paul Painlevé - UMR 8524 (LPP), Centre National de la Recherche Scientifique (CNRS)-Université de Lille, 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)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft, Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Université Montpellier 2 - Sciences et Techniques (UM2)-Université Montpellier 1 (UM1), 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), 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)

المصدر: Computer Algebra in Scientific Computing
Lecture Notes in Computer Science
CASC 2017-19th International Workshop on Computer Algebra in Scientific Computing
CASC 2017-19th International Workshop on Computer Algebra in Scientific Computing, Sep 2017, Beijing, China. ⟨10.1007/978-3-319-66320-3⟩
Lecture Notes in Computer Science-Computer Algebra in Scientific Computing
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC 17).
Proceedings of the 19th International Workshop on Computer Algebra in Scientific Computing (CASC '17).
Computer Algebra in Scientific Computing ISBN: 9783319663197
CASC

مصطلحات موضوعية: Computer Science - Symbolic Computation, FOS: Computer and information sciences, I.1.4, Theoretical computer science, Computation, 010102 general mathematics, 0102 computer and information sciences, Parameter space, Symbolic Computation (cs.SC), Symbolic computation, 01 natural sciences, Visualization, Numerical continuation, 010201 computation theory & mathematics, Graph (abstract data type), Preprocessor, [INFO]Computer Science [cs], 0101 mathematics, Biological network, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::49a72e194d29a92dfe9ad3da02a39673
https://hdl.handle.net/11858/00-001M-0000-002E-07A2-111858/00-001M-0000-002E-07A0-5

المؤلفون: Hassan Errami, Andreas Weber, Thomas Sturm, Werner M. Seiler, Markus Eiswirth, Dima Grigoriev

المساهمون: Institut für Informatik II [Bonn], Rheinische Friedrich-Wilhelms-Universität Bonn, Fritz-Haber-Institut der Max-Planck-Gesellschaft (FHI), Max Planck Society, Laboratoire Paul Painlevé - UMR 8524 (LPP), Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Institut für Mathematik [Kassel], Universität Kassel [Kassel], Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft, Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), 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)-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft, Centre National de la Recherche Scientifique (CNRS), 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), 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)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Paul Painlevé (LPP), Université de Lille-Centre National de la Recherche Scientifique (CNRS)

المصدر: Journal of Computational Physics
Journal of Computational Physics, Elsevier, 2015, 291, pp.279-302. ⟨10.1016/j.jcp.2015.02.050⟩
Journal of Computational Physics, 2015, 291, pp.279-302. ⟨10.1016/j.jcp.2015.02.050⟩

مصطلحات موضوعية: Discrete mathematics, Hopf bifurcation, Numerical Analysis, Chemical reaction networks, Physics and Astronomy (miscellaneous), Applied Mathematics, Computational logic, Regular polygon, Stoichiometric network analysis, Saddle-node bifurcation, Fixed point, Ordered field, Computer Science Applications, Computational Mathematics, symbols.namesake, Modeling and Simulation, symbols, Tropical geometry, Applied mathematics, [INFO]Computer Science [cs], [MATH]Mathematics [math], Convex coordinates, Network analysis, Mathematics

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bf19d9b3310e6a390e7c6c3c36b7d988
https://hal.inria.fr/hal-01239486

المؤلفون: Hassan Errami, Andreas Weber, Satya Swarup Samal

المصدر: Computer Algebra in Scientific Computing ISBN: 9783642329722
CASC

مصطلحات موضوعية: Biological data, Polynomial, Theoretical computer science, Software, Cone (topology), business.industry, Computer science, Modelling biological systems, Algebraic number, business, Symbolic computation, Visualization

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::39d97f2c6689bc470f84b100a8be7583
https://doi.org/10.1007/978-3-642-32973-9_25

المؤلفون: Werner M. Seiler, Markus Eiswirth, Hassan Errami, Andreas Weber

المصدر: Computer Algebra in Scientific Computing ISBN: 9783642329722
CASC

مصطلحات موضوعية: Hopf bifurcation, Discrete mathematics, symbols.namesake, Range (mathematics), Conservation law, Quantifier elimination, Invariant manifold, symbols, Applied mathematics, Saddle-node bifurcation, Fixed point, Biological applications of bifurcation theory, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::dfe84e10a9e87a5c99e65e2cf9d139b2
https://doi.org/10.1007/978-3-642-32973-9_8