Mathematical Programming



Yüklə 23,3 Mb.
Pdf görüntüsü
səhifə3/112
tarix19.07.2018
ölçüsü23,3 Mb.
#56656
1   2   3   4   5   6   7   8   9   ...   112

Presenting our Sponsors
Amazon employs researchers around the globe who are committed to innovation across the com-
pany. Amazon has four guiding principles: customer obsession, passion for invention, commitment
to operational excellence, and long-term thinking. Customer reviews, 1-Click shopping, personal-
ized recommendations, Prime, Fulfillment by Amazon, AWS, Kindle Direct Publishing, Kindle, Fire
tablets, Fire TV, Amazon Echo, and Alexa are some of the products and services pioneered by Ama-
zon. For more information about research at Amazon, visit https://www.amazon.jobs/ISMP.
AMPL’s
TM
modeling language and system give you an exceptionally powerful and natural tool for
developing and deploying the complex optimization models that arise in diverse applications. AMPL
lets you formulate problems the way you think of them, while providing access to the advanced
algorithmic alternatives that you need to find good solutions fast. It features an integrated scripting
language for automating analyses and building iterative optimization schemes; access to spreadsheet
and database files; and application programming interfaces for embedding within larger systems.
AMPL works with over 30 powerful optimization engines including all of the most widely used
large-scale solvers. For more information, visit https://www.ampl.com
Cambridge University Press is a not-for-profit organization that dates from 1534 and is part of the
University of Cambridge. Their mission is to unlock people’s potential with the best learning and re-
search solutions by combining state-of-the-art content with the highest standards of scholarship, writ-
ing and production. Visit their stand to browse new titles, available at 20% discount, and pick up free
journal sample copies. For more information, visit http://www.cambridge.org/us/academic
Cardinal Operations uses big data to provide solutions for firms under complex decision scenarios.
The company aims to close the loop in the decision chain - from data collection, pattern analysis,
all the way to the final decision. Solutions include supply chain management, pricing and revenue
management, optimization and machine learning algorithm suite, and fintech. For more information,
visit https://www.shanshu.ai/
EUROCONTROL is an intergovernmental organisation with 41 Members and 2 Comprehensive
Agreement States. They are committed to building, together with their partners, a Single European
Sky that will deliver the air tra
ffic management (ATM) performance required for the twenty-first
century and beyond. Over 1,900 highly qualified professionals spread over four European countries
work at EUROCONTROL, deploying their expertise to address ATM challenges. Their expertise is
unrivalled: covering both operational and technical elements ; advising on both civil and military
aspects of ATM ; having experience at bringing States with di
fferent needs together for a common
goal. For more information, visit https://www.eurocontrol.int/
GAMS is one of the leading tool providers for the optimization industry. With customers in more than
120 countries, GAMS is used by multinational companies in many di
fferent industries, universities,
research institutions, and governments. GAMS combines the language of mathematics (algebra) with
concepts from programming and introduces a model-based approach in order to e
fficiently describe
and solve optimization problems. This concept is the most productive way to implement large-
scale optimization models. Their mission is to make modelers from all areas more productive by
providing them with the best possible tool for their optimization purposes. For more information,
visit https://www.gams.com
9


Google tackles the most challenging problems in computer science and related fields. Being bold
and taking risks is essential to what they do, and research teams are embedded throughout Google
allowing their discoveries to a
ffect billions of users each day. In doing so, they actively collaborate
with, and learn from, the broader scientific community, and publish their research in traditional scien-
tific venues, open source software releases, industry standards, data releases and patents. Ever since
Google was born in Stanford’s Computer Science department, the company has valued and main-
tained strong relations with universities and research institutes. In order to foster these relationships,
they run a variety of programs that provide funding and resources to the academic and external re-
search community, and make publicly available datasets aimed at furthering research across a range
of computer science disciplines. For details about these programs and more, and to stay up-to-date
on all the latest publications and news from Google AI, visit http://www.ai.google.
Gurobi is in the business of helping companies make better decisions through the use of prescriptive
analytics. Gurobi provides the fastest math programming solver, tools for distributed optimization,
optimization in the cloud, and outstanding support. They don’t have competing priorities and they
don’t market applications that may compete with your own. Their goal is to make you successful
with optimization. Founded by arguably the most experienced and respected team in optimization
today, Gurobi is rapidly growing as more and more companies see the benefits of working with
a partner focused on providing the best solver and support possible. For more information, visit
http://www.gurobi.com.
IBM Research is one of the world’s largest and most influential corporate research labs, with more
than 3,000 researchers in 12 labs located across six continents. We invest now in tomorrow’s break-
throughs. Watson, the world’s first cognitive system, is the fruit of over 50 years of IBM research
in artificial intelligence. Today, it forms a core part of IBM’s business. Our scientists are chart-
ing the future of artificial intelligence, breakthroughs like quantum computing, how blockchain will
reshape the enterprise and much more. We are dedicated to applying AI and science to industry
challenges. IBM Research has made numerous contributions to the areas of Operations Research
and Mathematical Programming, starting more than half a century ago. For more information, visit
https://www.ibm.com/analytics/decision-optimization
Exceptional ease of use and flexibility have made LINDO software the tool of choice for thousands.
LINDO o
ffers solvers for all your optimization needs – including solvers for Linear Programming,
Quadratic, SOCP, Global solver for nonconvex models, and Stochastic Programming for planning
under uncertainty. There are a range of versatile intuitive interfaces to suit your modeling preference.
What’s Best is an add-in to Excel that you can use to quickly build models that managers can use and
understand. LINGO has a full featured modeling language for expressing complex models clearly
and concisely, and it has links to Excel and databases. LINDO API is a callable library that allows
you to seamlessly embed the solvers into your own applications. Technical and modeling support
at LINDO is responsive and thorough. Visit www.lindo.com or contact us at info@lindo.com to
discuss your application or request a full featured trial version. For more information, visit https:
//www.lindo.com/
LocalSolver is the first all-terrain and all-in-one optimization solver. Having modeled your problem
using natural mathematical constructs, LocalSolver provides you with high-quality solutions in short
running times. Based on an innovative resolution technology, LocalSolver scales up to millions of
variables running on basic computers. LocalSolver includes a high-level math modeling language for
fast prototyping and lightweight object-oriented APIs for tight integration, which makes it easy to
use and deploy on any platform. Among several breaking-new di
fferentiators, LocalSolver offers set-
based modeling features allowing to compactly model and e
fficiently solve routing and scheduling
problems, or the capability to transparently deal with (possibly time-consuming) black-box functions.
For more information, visit http://www.localsolver.com
MOSEK ApS provides optimization software which help their clients make better decisions. Their
customer base consists of financial institutions and companies, engineering and software vendors,
among others. MOSEK ApS was established in 1997 by Erling D. Andersen and Knud D. Andersen
and it specializes in creating advanced software for solution of mathematical optimization problems.
In particular, the company focuses on solution of large-scale linear, quadratic, and conic optimization
problems. For more information, visit https://mosek.com
10


Yüklə 23,3 Mb.

Dostları ilə paylaş:
1   2   3   4   5   6   7   8   9   ...   112




Verilənlər bazası müəlliflik hüququ ilə müdafiə olunur ©genderi.org 2024
rəhbərliyinə müraciət

    Ana səhifə