Optimization

Results: 17426



#Item
1Functions and mappings / Mathematical analysis / Mathematics / Computer arithmetic / Limit of a function / Abstract interpretation / Unit in the last place / Exponentiation / Integral / Lambda calculus / Quantifier / Combinatory logic

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Add to Reading List

Source URL: perso.univ-perp.fr

Language: English - Date: 2018-01-15 07:35:42
2Economy / Business / Aviation / Big data / Business intelligence / Honeywell Aerospace / Honeywell / Analytics / Trajectory optimization / Flight planning / Flight plan

GODIRECT™ FLIGHT EFFICIENCY Honeywell’s Flight Data Analytics Platform and Trajectory Optimization Tools Honeywell’s GoDirect™ Flight Efficiency offering brings together our flight

Add to Reading List

Source URL: aerospace.honeywell.com

Language: English - Date: 2018-03-16 04:50:34
3Machine learning / Computational neuroscience / Applied mathematics / Numerical analysis / Computational statistics / Artificial neural networks / Stochastic gradient descent / Deep learning / Mathematical optimization / Generative adversarial network / Neural network / Training /  test /  and validation sets

Large Scale Training and Optimization of Neural Networks and Generative Adversarial Networks over Distributed Resource CLIC GAN : S. Vallecorsa, G. Khattak, F. Carminati, M. Pierini SurfSara : V. Codreanu, D. Podareanu

Add to Reading List

Source URL: indico.cern.ch

Language: English
4Constraint programming / Theoretical computer science / Computing / Wireless sensor network / Wireless networking / Applied mathematics / Satisfiability modulo theories / Sensor node / Constraint satisfaction / Mathematical optimization / Constraint

Generating Optimal Scheduling for Wireless Sensor Networks by Using Optimization Modulo Theories Solvers∗ Gergely Kovásznai, Csaba Biró, and Balázs Erdélyi Eszterházy Károly University, Eger, Hungary IoT Research

Add to Reading List

Source URL: smt-workshop.cs.uiowa.edu

Language: English - Date: 2017-09-02 14:08:49
5Numerical analysis / Dynamical systems / Classical mechanics / Hamiltonian mechanics / Symplectic integrator / Mathematical optimization / Gradient descent / Leapfrog integration / Bregman Lagrangian / Lagrangian mechanics / Bregman divergence

Dynamical, Symplectic and Stochastic Perspectives on Gradient-Based Optimization Michael I. Jordan University of California, Berkeley March 3, 2018

Add to Reading List

Source URL: eta.impa.br

Language: English - Date: 2018-07-28 17:09:47
6Product lifecycle management / Computer-aided design / Design engineering / Computer-aided engineering

Full Vehicle Mass Optimization of an SUV About the Client The Challenge The client is one of the

Add to Reading List

Source URL: www.depusa.com

Language: English - Date: 2018-06-28 08:08:04
7Artificial intelligence / Robotics / Machine learning / Robot / Humanrobot interaction / Motion planning / Automated planning and scheduling / Mobile robot / Simultaneous localization and mapping / Cognitive robotics / Ayorkor Korsah / Cloud robotics

Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada

Add to Reading List

Source URL: icaps16.icaps-conference.org

Language: English - Date: 2016-06-09 08:09:20
8Computer programming / Statistical randomness / Computing / Operations research / Queueing theory / Markov processes / Recursion / Theoretical computer science / Qt / Queue / Linear programming / Mathematical optimization

Performance Evaluation and Optimization Models for Processing Networks with Queue-Dependent Production Quantities by John S. Hollywood S.B. Applied Mathematics

Add to Reading List

Source URL: web.mit.edu

Language: English - Date: 2018-07-20 12:49:40
9Computing / Concurrent computing / Distributed computing / Computer networking / International Conference on Architectural Support for Programming Languages and Operating Systems / Benchmark / Artificial intelligence / Data center

BPOE-9 workshop The ninth workshop on Big Data Benchmarks, Performance Optimization, and Emerging Hardware INSTITUTE OF COMPUTING TECHNOLOGY

Add to Reading List

Source URL: prof.ict.ac.cn

Language: English - Date: 2018-04-01 04:31:31
10Theoretical computer science / Mathematics / Formal methods / Mathematical logic / Boolean algebra / Boolean satisfiability problem / Electronic design automation / Logic in computer science / Resolution / COMPASS/Sample Code / BCD

Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of th

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2009-04-02 05:06:42
UPDATE