-
1
المؤلفون: Park, Jea-Hyun, Salgado, Abner, Wise, Steven
المصدر: Communications in Computational Physics. 33:367-398
مصطلحات موضوعية: Physics and Astronomy (miscellaneous), FOS: Mathematics, MathematicsofComputing_NUMERICALANALYSIS, Numerical Analysis (math.NA), Mathematics - Numerical Analysis, Computer Science::Numerical Analysis
-
2
المؤلفون: Tyler Chen, Anne Greenbaum, Cameron Musco, Christopher Musco
المصدر: SIAM Journal on Matrix Analysis and Applications. 44:670-692
مصطلحات موضوعية: ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, FOS: Mathematics, MathematicsofComputing_NUMERICALANALYSIS, Computer Science::Mathematical Software, Numerical Analysis (math.NA), Mathematics - Numerical Analysis, Computer Science::Numerical Analysis, Analysis, Mathematics::Numerical Analysis
-
3
المؤلفون: Zhirui Liang, Robert Mieth, Yury Dvorkin
المصدر: IEEE Transactions on Power Systems. 38:2071-2084
مصطلحات موضوعية: MathematicsofComputing_NUMERICALANALYSIS, FOS: Electrical engineering, electronic engineering, information engineering, Energy Engineering and Power Technology, Systems and Control (eess.SY), Electrical and Electronic Engineering, Electrical Engineering and Systems Science - Systems and Control
-
4
المؤلفون: Erfan Yazdandoost Hamedani, Afrooz Jalilzadeh
المصدر: Computational Optimization and Applications. 85:653-679
مصطلحات موضوعية: Computational Mathematics, Control and Optimization, Optimization and Control (math.OC), TheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITY, Applied Mathematics, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Mathematics - Optimization and Control
-
5
المؤلفون: T. Dzanic, W. Trojak, F.D. Witherden
المصدر: Computers & Mathematics with Applications. 135:6-18
مصطلحات موضوعية: Computational Mathematics, Computational Theory and Mathematics, Modeling and Simulation, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA)
-
6
المؤلفون: Raghu Bollapragada, Stefan M. Wild
المصدر: Mathematical Programming Computation. 15:327-364
مصطلحات موضوعية: FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Statistics - Machine Learning, Optimization and Control (math.OC), MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Machine Learning (stat.ML), Mathematics - Optimization and Control, Software, Theoretical Computer Science
-
7
المؤلفون: Rodriguez Bazan, Erick, Hubert, Evelyne
المساهمون: AlgebRe, geOmetrie, Modelisation et AlgoriTHmes (AROMATH), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-National and Kapodistrian University of Athens (NKUA)
المصدر: Journal of Symbolic Computation
Journal of Symbolic Computation, 2023, ⟨10.1016/j.jsc.2022.08.014⟩مصطلحات موضوعية: [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], Algebra and Number Theory, Mathematics::Commutative Algebra, Representation Theory, [MATH.MATH-RA]Mathematics [math]/Rings and Algebras [math.RA], MathematicsofComputing_NUMERICALANALYSIS, [INFO.INFO-NA]Computer Science [cs]/Numerical Analysis [cs.NA], [MATH.MATH-GR]Mathematics [math]/Group Theory [math.GR], Interpolation, Symmetry, Macaulay matrix, Computational Mathematics, Vandermonde matrix, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, H-basis
-
8
المؤلفون: Magron, Victor, Wang, Jie
المساهمون: Institut de Mathématiques de Toulouse UMR5219 (IMT), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, European Project: 813211,H2020,POEMA(2019)
المصدر: Journal of Symbolic Computation
Journal of Symbolic Computation, 2023, 115, pp.346-370. ⟨10.1016/j.jsc.2022.08.002⟩
Journal of Symbolic Computation, Elsevier, In pressمصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Symbolic Computation, Algebra and Number Theory, MathematicsofComputing_NUMERICALANALYSIS, Symbolic Computation (cs.SC), sum of binomial squares, exact nonnegativity certificate, Mathematics - Algebraic Geometry, Computational Mathematics, rounding-projection algorithm, Optimization and Control (math.OC), sum of nonnegative circuit polynomials, second-order cone programming, polynomial optimization, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, FOS: Mathematics, second-order conerepresentation, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Algebraic Geometry (math.AG), Mathematics - Optimization and Control
-
9
المؤلفون: Ceruti, Gianluca, Lubich, Christian, Sulz, Dominik
المصدر: SIAM Journal on Numerical Analysis. 61:194-222
مصطلحات موضوعية: tensor differential equation, Numerical Analysis, Computational Mathematics, tree tensor network, rank adaptivity, Applied Mathematics, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), dynamical low-rank approximation
-
10
المؤلفون: Yang Zheng, Aivar Sootla, Antonis Papachristodoulou
المصدر: IEEE Transactions on Automatic Control. 68:943-958
مصطلحات موضوعية: Optimization and Control (math.OC), Control and Systems Engineering, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, FOS: Mathematics, FOS: Electrical engineering, electronic engineering, information engineering, MathematicsofComputing_NUMERICALANALYSIS, Systems and Control (eess.SY), Electrical and Electronic Engineering, Mathematics - Optimization and Control, Electrical Engineering and Systems Science - Systems and Control, Computer Science Applications
-
11
المؤلفون: Liu Liu, Cho-Jui Hsieh, Dacheng Tao, Ji Liu
المصدر: IEEE Transactions on Neural Networks and Learning Systems. 34:611-622
مصطلحات موضوعية: Mathematical optimization, Computer Networks and Communications, Computer science, Computation, MathematicsofComputing_NUMERICALANALYSIS, Of the form, Function (mathematics), Composition (combinatorics), Computer Science Applications, Stochastic gradient descent, Artificial Intelligence, Convergence (routing), Gradient descent, Convex function, Software
-
12
المؤلفون: Yoritaka Iwata
المصدر: Mathematical Methods in the Applied Sciences. 46:8573-8581
مصطلحات موضوعية: Pure mathematics, Integrable system, Logarithm, Generalization, Infinitesimal, General Mathematics, MathematicsofComputing_NUMERICALANALYSIS, Mathematics - Operator Algebras, General Engineering, FOS: Physical sciences, Mathematical Physics (math-ph), Functional Analysis (math.FA), Mathematics - Functional Analysis, Nonlinear system, Identification (information), Operator (computer programming), Mathematics - Analysis of PDEs, 46B99, FOS: Mathematics, Operator Algebras (math.OA), Representation (mathematics), Mathematical Physics, Analysis of PDEs (math.AP), Mathematics
-
13
المصدر: IEEE Transactions on Automatic Control. :1-16
مصطلحات موضوعية: Optimization and Control (math.OC), Control and Systems Engineering, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Electrical and Electronic Engineering, Mathematics - Optimization and Control, Computer Science Applications
-
14
المؤلفون: Liard, Thibault, Stern, Raphael, Delle Monache, Maria Laura
المساهمون: Universidad de Deusto [Bilbao] (DEUSTO), Universidad de Deusto (DEUSTO), Department of Civil and Environmental Engineering [Urbana], University of Illinois at Urbana-Champaign [Urbana], University of Illinois System-University of Illinois System
المصدر: Networks and Heterogeneous Media. 18:1190-1206
مصطلحات موضوعية: Statistics and Probability, Traffic control, Applied Mathematics, MathematicsofComputing_NUMERICALANALYSIS, Autonomous vehicles, General Engineering, Computer Science Applications, Computer Science::Robotics, ComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATION, [MATH.MATH-AP]Mathematics [math]/Analysis of PDEs [math.AP], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], PDE-ODE systems, [MATH]Mathematics [math], [MATH.MATH-NA]Mathematics [math]/Numerical Analysis [math.NA]
-
15
المؤلفون: Ngoc Hoang Anh Mai, J. B. Lasserre, Victor Magron, Jie Wang
المساهمون: Équipe Méthodes et Algorithmes en Commande (LAAS-MAC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), Institut de Mathématiques de Toulouse UMR5219 (IMT), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS), Equipe Polynomial OPtimization (LAAS-POP), ANR-19-P3IA-0004,ANITI,Artificial and Natural Intelligence Toulouse Institute(2019), ANR-18-ERC2-0004,COPS,Optimisation garantie pour la vérification des systèmes cyber-physiques(2018), European Project: 813211,H2020-EU.1.3. - EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions (Main Programme), H2020-EU.1.3.1. - Fostering new skills by means of excellent initial training of researchers ,10.3030/813211,POEMA(2019), Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées, Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Toulouse 1 Capitole (UT1), Université Fédérale Toulouse Midi-Pyrénées-Université Fédérale Toulouse Midi-Pyrénées-Université Toulouse - Jean Jaurès (UT2J)-Université Toulouse III - Paul Sabatier (UT3), Université Fédérale Toulouse Midi-Pyrénées-Centre National de la Recherche Scientifique (CNRS), European Project: 813211,H2020,POEMA(2019)
المصدر: ACM Transactions on Mathematical Software
ACM Transactions on Mathematical Software, 2022, 48 (4), pp.1-39. ⟨10.1145/3555309⟩مصطلحات موضوعية: Optimization and Control (math.OC), Applied Mathematics, FOS: Mathematics, MathematicsofComputing_NUMERICALANALYSIS, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], Mathematics - Optimization and Control, Software
-
16
المؤلفون: Mauricio Louzeiro, Christoph Kawan, Sigurdur Hafstein, Peter Giesl, Jinyun Yuan
المصدر: SIAM Journal on Applied Dynamical Systems. 21:2610-2641
مصطلحات موضوعية: Optimization and Control (math.OC), 93B07, 93B53, 93B70, Modeling and Simulation, MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, Dynamical Systems (math.DS), Mathematics - Dynamical Systems, Mathematics - Optimization and Control, Analysis
-
17
المؤلفون: Yong Wang, Shouyong Jiang, Jiao Liu, Pei-Qiu Huang
المصدر: IEEE Transactions on Cybernetics. 52:13129-13141
مصطلحات موضوعية: education.field_of_study, Mathematical optimization, Computer science, Population, Feasible region, MathematicsofComputing_NUMERICALANALYSIS, Function (mathematics), Computer Science Applications, Task (project management), Human-Computer Interaction, Set (abstract data type), Control and Systems Engineering, Electrical and Electronic Engineering, education, Integer programming, Constraint (mathematics), Algorithms, Software, Information Systems, Integer (computer science)
-
18
المؤلفون: Samah Karim, Edgar Solomonik
المصدر: SIAM Journal on Matrix Analysis and Applications. 43:1680-1711
مصطلحات موضوعية: G.1.6, 65F10, 65F08 (Primary) 65K05, 90C51 (Secondary), MathematicsofComputing_NUMERICALANALYSIS, FOS: Mathematics, G.1.3, Mathematics - Numerical Analysis, Numerical Analysis (math.NA), Computer Science::Numerical Analysis, Analysis
-
19
المؤلفون: Nicolas Nadisic, Jeremy E. Cohen, Arnaud Vandaele, Nicolas Gillis
المصدر: Machine Learning. 111:4453-4495
مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Machine Learning, Statistics - Machine Learning, Artificial Intelligence, MathematicsofComputing_NUMERICALANALYSIS, Machine Learning (stat.ML), Software, Machine Learning (cs.LG)
-
20
المؤلفون: Xianzhi Deng, Yu Liu, Yamei Luo, Jiang Wu, Zhijun Zhang
المصدر: IEEE Transactions on Cybernetics. 52:12514-12524
مصطلحات موضوعية: Mathematical optimization, Optimization problem, Artificial neural network, Computer science, MathematicsofComputing_NUMERICALANALYSIS, Mathematical proof, Circadian Rhythm, Computer Science Applications, Human-Computer Interaction, Nonlinear system, Noise, Recurrent neural network, Nonlinear Dynamics, Control and Systems Engineering, Robustness (computer science), Convergence (routing), Computer Simulation, Neural Networks, Computer, Electrical and Electronic Engineering, Algorithms, Software, Information Systems