Search Results - "ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization"
-
1
Authors: et al.
Contributors: et al.
Source: Mathematical Programming. 211:341-377
Subject Terms: MINLP, Boolean multilinear functions, 0211 other engineering and technologies, Integer programming, intersection cuts, 0102 computer and information sciences, 02 engineering and technology, Nonconvex programming, global optimization, 01 natural sciences, submodular maximization, Optimization and Control (math.OC), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, Polyhedral combinatorics, branch-and-bound, branch-and-cut, FOS: Mathematics, [INFO]Computer Science [cs], [MATH]Mathematics [math], D-optimal design, Mathematics - Optimization and Control, submodular-supermodular functions
File Description: application/xml
Access URL: http://arxiv.org/abs/2302.14020
-
2
Authors: et al.
Contributors: et al.
Source: ISSN: 1424-8220 ; Sensors ; https://hal.science/hal-05043032 ; Sensors, 2025, 25 (7), pp.2305. ⟨10.3390/s25072305⟩.
Subject Terms: Brain computer interface BCI, P300 classification, Motor Imagery MI, Electroencephalography EEG, Riemannian geometry, Event related potentials ERP, Machine learning ML, Differential geometry, Signal and Image Processing, Interface cerveau machine ICM, Interface cerveau-ordinateur ICO, P300, Potentiel Evoqué Cognitif PEC, Imagination motrice IM, Geometrie riemannienne, Electroencephalograhie EEG, Apprentissage automatique ML, Geometrie differentielle, Traitement du signal et de l'image, Classification du signal EEG, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI), ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.1: Models/I.5.1.4: Statistical, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.1: Signal processing, [SCCO.NEUR]Cognitive science/Neuroscience, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [SCCO]Cognitive science, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2504.17352; ARXIV: 2504.17352
-
3
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-04919622 ; 2024.
Subject Terms: Distributionally robust optim, distribution shifts, entropic regularization, 90C17, 90C15, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation/G.1.4.1: Automatic differentiation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.5: Programming Languages and Software, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, [STAT.ML]Statistics [stat]/Machine Learning [stat.ML], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2410.21231; ARXIV: 2410.21231
Availability: https://hal.science/hal-04919622
-
4
Authors: et al.
Contributors: et al.
Source: IEEE Transactions on Signal Processing. 68:6085-6100
Subject Terms: Signal Processing (eess.SP), FOS: Computer and information sciences, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Computer Science - Information Theory, G.1.6, Multi-user MIMO networks, 02 engineering and technology, Gradient-free optimization, [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, C.2.1, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [INFO.INFO-MC] Computer Science [cs]/Mobile Computing, FOS: Electrical engineering, electronic engineering, information engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design/C.2.1.10: Wireless communication, Electrical Engineering and Systems Science - Signal Processing, Matrix exponential learning, Mathematics - Optimization and Control, Throughput maximization, Information Theory (cs.IT), [MATH.MATH-OC] Mathematics [math]/Optimization and Control [math.OC], Optimization and Control (math.OC), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
File Description: application/pdf
Access URL: http://arxiv.org/pdf/2006.05445
http://arxiv.org/abs/2006.05445
https://hal.science/hal-02861460v2
https://doi.org/10.1109/tsp.2020.3029983
https://hal.science/hal-02861460v2/document
https://ieeexplore.ieee.org/document/9219179
https://arxiv.org/pdf/2006.05445.pdf
https://ui.adsabs.harvard.edu/abs/2020ITSP...68.6085B/abstract
http://arxiv.org/pdf/2006.05445.pdf
https://hal.archives-ouvertes.fr/hal-02861460
https://dblp.uni-trier.de/db/journals/tsp/tsp68.html#BilenneMB20 -
5
Authors: et al.
Contributors: et al.
Source: SIAM Journal on Optimization. 29:1772-1798
Subject Terms: ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.1: Convex programming, 0211 other engineering and technologies, 02 engineering and technology, 01 natural sciences, 90C25, Acceleration, Backtracking, Composite optimization, Elastic net, Forward-backward splitting, Image denoising, Optimization and Control (math.OC), ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV], FOS: Mathematics, 90C25, 65F22, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], 0101 mathematics, Mathematics - Optimization and Control, 65F22
Access URL: http://arxiv.org/pdf/1709.09004
http://arxiv.org/abs/1709.09004
https://hal.archives-ouvertes.fr/hal-01596103
https://www.arxiv-vanity.com/papers/1709.09004/
https://dblp.uni-trier.de/db/journals/siamjo/siamjo29.html#CalatroniC19
https://epubs.siam.org/doi/pdf/10.1137/17M1149390
https://hal.archives-ouvertes.fr/hal-01596103/document
https://hdl.handle.net/11567/1229087
https://doi.org/10.1137/17M1149390 -
6
Authors: et al.
Contributors: et al.
Source: NetGCoop '20: The 2020 International Conference on Network Games, Control and Optimization ; https://hal.science/hal-02881559 ; NetGCoop '20: The 2020 International Conference on Network Games, Control and Optimization, 2020, Cargese, France
Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS/C.2.1: Network Architecture and Design/C.2.1.10: Wireless communication, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing
Relation: info:eu-repo/grantAgreement//CA 16228/EU/COST Action `European Network for Game Theory'/GAMENET
-
7
Authors: et al.
Contributors: et al.
Source: Integration of Constraint Programming, Artificial Intelligence, and Operations Research ; CPAIOR 2020: SEVENTEENTH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH ; https://hal.science/hal-02946565 ; CPAIOR 2020: SEVENTEENTH INTERNATIONAL CONFERENCE ON THE INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, Sep 2020, Vienna, Austria. ⟨10.1007/978-3-030-58942-4_31⟩
Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
-
8
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-03506558 ; 2022.
Subject Terms: methodology of research, french law, statistics, contract law, leximetric, Méthodologie de la recherche, Droit des contrats, Statistiques, Leximétrie, JEL: C - Mathematical and Quantitative Methods/C.C1 - Econometric and Statistical Methods and Methodology: General, JEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling, JEL: C - Mathematical and Quantitative Methods/C.C9 - Design of Experiments, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.8: Partial Differential Equations, [SHS.DROIT]Humanities and Social Sciences/Law, [QFIN.ST]Quantitative Finance [q-fin]/Statistical Finance [q-fin.ST], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [STAT.ME]Statistics [stat]/Methodology [stat.ME], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
-
9
Authors: et al.
Contributors: et al.
Source: ISSN: 1066-8888.
Subject Terms: Graph databases, Similarity search, Empirical evaluation, Graph edit distance, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory/G.2.2.0: Graph algorithms, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.2: Approximation, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
10
Authors: et al.
Contributors: et al.
Source: https://hal.science/hal-03098495 ; [Research Report] MINES ParisTech; Ecole Polytechnique. 2021.
Subject Terms: matrix-valued kernel, kernel derivatives, shape-constrained optimization, vector-valued reproducing kernel Hilbert space, MSC: 46E22, 62G08, 90C25, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, [STAT.OT]Statistics [stat]/Other Statistics [stat.ML], [INFO.INFO-LG]Computer Science [cs]/Machine Learning [cs.LG], [MATH.MATH-ST]Mathematics [math]/Statistics [math.ST]
-
11
Authors: et al.
Contributors: et al.
Source: Computational Diffusion MRI 2018 ; https://inria.hal.science/hal-01864939 ; Computational Diffusion MRI 2018, Sep 2018, Granada, Spain. ⟨10.1007/978-3-030-05831-9⟩
Subject Terms: Resting state functional MRI, Diffusion MRI, False positives, Tractography, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.1: Signal processing, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-TS]Computer Science [cs]/Signal and Image Processing
Subject Geographic: Spain
Time: Granada, Spain
Relation: info:eu-repo/grantAgreement//694665/EU/Computational Brain Connectivity Mapping/CoBCoM
-
12
Authors: et al.
Contributors: et al.
Source: 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems
https://hal.science/hal-01726155
2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, Oct 2018, Madrid, Spain. 7p., ⟨10.1109/IROS.2018.8593888⟩Subject Terms: ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.9: Robotics, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.7: Three-Dimensional Graphics and Realism/I.3.7.0: Animation, [INFO.INFO-RB]Computer Science [cs]/Robotics [cs.RO]
Subject Geographic: Spain
Time: Madrid, Spain
-
13
Authors: et al.
Contributors: et al.
Source: 24th International Conference on Pattern Recognition (ICPR)
https://normandie-univ.hal.science/hal-01865214
24th International Conference on Pattern Recognition (ICPR), Aug 2018, Pékin, ChinaSubject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.2: Graph Theory, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.0: Constrained optimization, [INFO.INFO-CV]Computer Science [cs]/Computer Vision and Pattern Recognition [cs.CV]
-
14
Authors: et al.
Contributors: et al.
Source: ISSN: 1052-6234 ; SIAM Journal on Optimization ; https://hal.science/hal-01596103 ; SIAM Journal on Optimization, 2019, 29 (3), pp.1772--1798 ; https://doi.org/10.1137/17M1149390.
Subject Terms: 90C25, 65F22, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.1: Convex programming, ACM: I.: Computing Methodologies/I.4: IMAGE PROCESSING AND COMPUTER VISION, [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-TI]Computer Science [cs]/Image Processing [eess.IV]
-
15
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Graphics. 34:1-12
Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-MM] Computer Science [cs]/Multimedia [cs.MM], 0209 industrial biotechnology, [INFO.INFO-MM]Computer Science [cs]/Multimedia [cs.MM], [INFO.INFO-GR] Computer Science [cs]/Graphics [cs.GR], Virtual Camera Interpolation, 02 engineering and technology, [INFO.INFO-GR]Computer Science [cs]/Graphics [cs.GR], Virtual Camera Composition, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Cinematography, ACM: I.: Computing Methodologies/I.3: COMPUTER GRAPHICS/I.3.6: Methodology and Techniques, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-HC]Computer Science [cs]/Human-Computer Interaction [cs.HC], Interactive Camera Control, [INFO.INFO-HC] Computer Science [cs]/Human-Computer Interaction [cs.HC]
File Description: application/pdf
Access URL: https://hal.inria.fr/hal-01142876v3/file/toric-space-tog.pdf
https://inria.hal.science/hal-01142876v3
https://inria.hal.science/hal-01142876v3/document
https://doi.org/10.1145/2766965
https://dblp.uni-trier.de/db/journals/tog/tog34.html#LinoC15
https://dl.acm .org/doi/10.1145/2766965
https://hal.inria.fr/hal-01142876v3
https://hal.archives-ouvertes.fr/hal-01142876v3
https://dl.acm .org/citation.cfm?id=2766965
https://doi.org/10.1145/2766965 -
16
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations
Authors: et al.
Contributors: et al.
Source: CPP 2017 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017) ; https://hal.science/hal-01510979 ; The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2017), Jan 2017, Paris, France. pp.90 - 99, ⟨10.1145/3018610.3018622⟩
Subject Terms: Coq formal proof, reflexive tactic, multivariate polynomials, witness verification, SDP solvers, floating-point, data refinement, Cholesky decomposition, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
17
Authors: et al.
Contributors: et al.
Source: GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference ; https://inria.hal.science/hal-01613753 ; GECCO 2017 - Proceedings of the Genetic and Evolutionary Computation Conference , Jul 2017, Berlin, Germany. pp. 681-688
Subject Terms: Algorithm Configuration, problem features, CCS CONCEPTS • General and reference → Empirical studies, fitness landscape analysis, empirical study, numerical black box optimization, • Theory of computation → Continuous optimization, Bio-inspired optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.6: Learning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [STAT.ML]Statistics [stat]/Machine Learning [stat.ML]
-
18
Authors: et al.
Contributors: et al.
Source: ICS 2017 - International Conference on Supercomputing ; https://inria.hal.science/hal-01653819 ; ICS 2017 - International Conference on Supercomputing, Jun 2017, Chicago, United States. pp.1-11, ⟨10.1145/3079079.3079098⟩
Subject Terms: Quantifier Elimination, Loop optimization, Polynomials, Polyhedral Transformation, May-alias, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.3: Incremental compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.7: Nonlinear programming, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC]
Subject Geographic: Chicago, United States
-
19
Authors: et al.
Contributors: et al.
Source: 3rd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications (DroNet)
https://hal.archives-ouvertes.fr/hal-01544703
3rd Workshop on Micro Aerial Vehicle Networks, Systems, and Applications (DroNet), Jun 2017, Niagara Falls, United States. pp.17 - 20, ⟨10.1145/3086439.3086445⟩
https://www.sigmobile.org/mobisys/2017/Subject Terms: high level data fusion, smart mission management, decisional autonomy, mobility management, multilevel UAV swarm, automatic processing and detection, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.5: Programming Languages and Software/I.2.5.0: Expert system tools and techniques, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, ACM: I.: Computing Methodologies/I.5: PATTERN RECOGNITION/I.5.4: Applications/I.5.4.0: Computer vision, ACM: H.: Information Systems/H.5: INFORMATION INTERFACES AND PRESENTATION (e.g., HCI)/H.5.3: Group and Organization Interfaces/H.5.3.2: Computer-supported cooperative work, [INFO]Computer Science [cs]
Subject Geographic: Niagara Falls, United States
Relation: hal-01544703; https://hal.archives-ouvertes.fr/hal-01544703; https://hal.archives-ouvertes.fr/hal-01544703/document; https://hal.archives-ouvertes.fr/hal-01544703/file/main_preprint.pdf
-
20
Authors: et al.
Contributors: et al.
Source: Computers & Operations Research. 40:2357-2373
Subject Terms: ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, 0502 economics and business, 05 social sciences, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], 0211 other engineering and technologies, Metaheuristic, 02 engineering and technology, Network design, Liner shipping, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], Maritime
Access URL: https://dblp.uni-trier.de/db/journals/cor/cor40.html#GelarehMMMP13
https://hal-univ-tlse3.archives-ouvertes.fr/UNIV-BPCLERMONT/hal-01386568
http://www.sciencedirect.com/science/article/pii/S0305054813001007
https://www.sciencedirect.com/science/article/pii/S0305054813001007
https://hal.archives-ouvertes.fr/hal-01386568
https://researchportal.port.ac.uk/portal/en/publications/single-string-planning-problem-arising-in-liner-shipping-industries(87744c20-791d-4a56-bf8d-7b29af21d4e4).html
https://hal.science/hal-01386568v1
https://doi.org/10.1016/j.cor.2013.03.018
Full Text Finder 
Nájsť tento článok vo Web of Science