Stanford Business Software Sells Fortran 77 optimization codes MINOS (linear programming and nonlinear optimization), SNOPT (large-scale quadratic and nonlinear programming), NPSOL (nonlinear programming), LSSOL (Linearly constrained linear least squares problems and convex quadratic programming), and QPOPT (linear and quadratic programming). http://www.sbsi-sol-optimize.com/
Extractions: Welcome to Stanford Business Software's site for distribution of SOL/UCSD Optimization Software;a suite of packages for solving linear, quadratic, and nonlinear programs. The algorithms and software are produced by researchers Walter Murray and Michael Saunders at the Systems Optimization Laboratory (SOL) , Stanford University, and researcher Philip Gill at the Department of Mathematics, UC San Diego.
Extractions: new recent listing bibtex Moustapha Diaby what is this? Authors: Moustapha Diaby (Submitted on 2 Sep 2006 ( ), last revised 13 May 2007 (this version, v6)) Abstract: In this paper, we present a polynomial-sized linear programming formulation of the Traveling Salesman Problem (TSP). The proposed linear program is a network flow-based model. Numerical implementation issues and results are discussed. Comments: 10 pages; Published in "WSEAS Transactions on Mathematics." Constraints added to rectify minor oversight in proof of proposition 2 (Theoretical development is same). Hofman's claim of a "counter-example" (arXiv cs/0610125 and cs/0611008 ) is invalid: violates constraints 2.11-2.15 Subjects: Computational Complexity (cs.CC) ; Discrete Mathematics (cs.DM)
IngMath Program can be used for study purposes by students and for mathematical calculations by engineers, natural scientists and mathematicians. It covers linear algebra, linear programming, transport optimization and rational functions. http://www.verw.tu-dresden.de/IngMath/ingmathe.html
Extractions: Software package Engineering Mathematics IngMath (Engineering Mathematics) contains all essential numerical and other methods which are important for the mathematical education of students of technical and economical courses. The program is very easy to manage and may be used to carry out calculations, for mathematical experiments and for demonstrations in lectures and seminars.
MIT Lincoln Laboratory: LINEAR NEO survey operated by MIT Lincoln Laboratory. Overview, statistics, history, skyplots, discoveries. http://www.ll.mit.edu/LINEAR/
Extractions: Contact: The project uses a pair of Ground-based Electro-Optical Deep Space Surveillance (GEODSS) telescopes at Lincoln Laboratory's Experimental Test Site (ETS) at the White Sands Missile Range in Socorro, New Mexico. The telescopes are equipped with Laboratory-developed charge-coupled device (CCD) electro-optical detectors and collected data is processed onsite to generate observations. Observations are then sent to the main Lincoln Laboratory facility at Hanscom AFB in Lexington, Massachusetts, where they are linked from night to night, checked, and sent to the Minor Planet Center (MPC) . The MPC assigns designations to LINEAR's new discoveries of NEOs, comets, unusual objects, and main belt asteroids.
Algorithms In Combinatorial Geometry One of the well-known early textbooks, by Herbert Edelsbrunner. Includes chapters on arrangements, convex hulls, linear programming, planar point location, Voronoi diagrams, and separation and intersection. http://www.springer.com/computer/foundations/book/978-3-540-13722-1
Extractions: Basket USA Change New User Login Subjects Services About us Company Information Mission Statement Management Annual Reports Key Facts ... Locations Worldwide What we do Publishing Fields Springer and Open Access Springer in China Developing Countries Initiative Press Press Releases Springer Select Media Kit and Downloads Career All Job Vacancies Trainee-Programs / Editorial Trainees Internships Vocational Training There are no results matching your search terms.
Michael O'Boyle's Infopage University of Edinburgh - Auto-parallelising compilers, optimising for locality, compiling for distributed shared memory, adaptive compilation for VLIW processors, linear program transformation theory and practice, parallelisation of commercial languages and applications, compiler directed memory coherence, compiler impact on architecture. http://www.dcs.ed.ac.uk/home/mob/
Extractions: Phone: 0131 650 5117 2 RA Positions in Machine Learning based Parallelisation for Heterogeneous multi-cores are available from August 20010. 2 PhD Positions in Machine Learning based Parallelisation for Heterogeneous multi-cores are also available from 1st Spetember 20010. Look here here for general information about applying to study for a PhD or MSc in Informatics at Edinburgh. The primary research question I am interested in is: how can compiler technology best exploit the potential of high performance architectures? Recently we have developed innovative approaches to this problem using machine learning where it outperforms hand designed approaches. I am interested in their interaction with architecture and in particular compiler/architecture co-design . My research interests include: Adaptive compilation. Compilers are unable to keep up with the sustained evolution of computer architecture. I am working on techniques which allow the compiler to learn about the underlying parallel architecture by exploring a transformation based optimisation space. Machine learning based Optimisation. I'm interested in how predictive modelling and feature generation can be used to automate the design of compilers