Comparison of Parallel Algorithms for the 0-1 Knapsack Problem on Networked Computers Rebecca A Hunt A Thesis in the Field of Information Technology

Source URL: www.rebeccahunt.com

• Operations research
• Knapsack problem
• Algorithm
• Backtracking
• Dynamic programming
• Solver
• Greedy algorithm
• Theoretical computer science
• Applied mathematics
• Mathematics

FIMMWAVE a fully vectorial 3D mode solver þ fully vectorial solution of near arbitrary 3D waveguides þ variety of fast, robust Solver

Source URL: www.photond.com

• Wave mechanics
• Technology
• Electrodynamics
• Electrical components
• Optical devices
• Waveguide
• Transverse mode
• Optical ring resonators
• Dispersion
• Physics
• Electromagnetism
• Optics

LogoUniversite_ParisSud_P

Source URL: www.spark-2014.org

• Ada programming language
• Satisfiability Modulo Theories
• SPARK
• AdaCore
• Ada
• GNAT
• A Sharp
• Mathematical proof
• Solver
• Computing
• Software engineering
• Theoretical computer science

Overview of SMT CVC4 The CVC4 SMT Solver Martin Brain on behalf of Morgan Deters

Source URL: www.spark-2014.org

• Logic
• Formal methods
• Constraint programming
• Logic in computer science
• Satisfiability Modulo Theories
• First-order logic
• Interpretation
• Theoretical computer science
• Mathematical logic
• Model theory

The Tour-Library (TOURLIB.DLL) The Tour-library is a standard software library for Windows (dll) that can be called and used from most programming languages (C++, Java, Delphi, C, VB, C#, etc.). It contains a number of f

Source URL: www.virtual-optima.com

• Mathematics
• NP-complete problems
• Mathematical optimization
• Travelling salesman problem
• Vehicle routing problem
• Computer algebra systems
• AMPL
• Solver
• Sol
• Operations research
• Theoretical computer science
• Applied mathematics

Page 33 AQUAFEED Optimizing in a non-linear world By Merryl Webster, Managing Director, Format International Limited, U.K.

Source URL: www.formatinternational.com

• Mathematics
• Linear programming
• Solver
• Operations research
• Mathematical optimization
• Applied mathematics

Numerical solver for a simple RLC circuit Initial conditions: time, t

Source URL: www.nuceng.ca

SOPRANO : SMT meets CP ProofInUse KickOff | F.Bobot 2 February

Source URL: www.spark-2014.org

• Computer programming
• Declarative programming
• Solver
• Constraint programming
• Theoretical computer science
• Software engineering

Calc Guide Chapter 9 Data Analysis Using Scenarios, Goal Seek, Solver, others This PDF is designed to be read onscreen, two pages at a time. If you want to print a copy, your PDF viewer should have an option for printing

Source URL: wiki.openoffice.org

• Spreadsheet
• Variables
• Microsoft Excel
• Numbers
• OpenOffice.org Calc
• Array data type
• Extensible Storage Engine
• Information Processing Language
• Database index
• Software
• Computing
• Data types

TSP Art Craig S. Kaplan School of Computer Science University of Waterloo [removed]

Source URL: archive.bridgesmathart.org

• Image processing
• Operations research
• Travelling salesman problem
• Voronoi diagram
• Stippling
• Halftone
• Ordered dithering
• Concorde TSP Solver
• Drawing
• Mathematics
• Theoretical computer science
• Applied mathematics