Search Results - "Mathematical Software—Algorithm design and analysis General Terms Algorithms"

Computing Cylindrical Algebraic Decomposition via Triangular Decomposition

Authors: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

Contributors: Changbo Chen Bican Xia The Pennsylvania State University CiteSeerX Archives

Source: http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf.

Subject Terms: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords CAD

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.5971
http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf

The Complexity of Quantifier Elimination and Cylindrical Algebraic Decomposition

Authors: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

Contributors: Christopher W. Brown The Pennsylvania State University CiteSeerX Archives

Source: http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf.

Subject Terms: G.4 [Mathematics of Computing, Mathematical Software—Algorithm design and analysis General Terms Algorithms, Theory Keywords cylindrical algebraic decomposition, quantifier elimination

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.1844
http://staff.bath.ac.uk/masjhd/ISSACs/ISSAC07-final.pdf

Adjoint Code Design Patterns.

Authors: Naumann, Uwe

Source: ACM Transactions on Mathematical Software; Jul2019, Vol. 45 Issue 3, p1-32, 32p

Subject Terms: MATHEMATICAL models, SOFTWARE engineering, AUTOMATIC differentiation, PATTERNS (Mathematics), SIMULATION software, COMPUTER science

Self-Correcting Sampling-Based Dynamic Multi-Unit Auctions.

Authors: Constantin, Florin Parkes, David C.

Source: EC: Electronic Commerce; 2009, p89-98, 10p, 1 Diagram, 3 Charts, 3 Graphs

Subject Terms: AUCTIONS, ONLINE data processing, MATHEMATICAL optimization, ALGORITHMS, BIDDERS, AUCTIONEERS, VALUATION, BIDDING strategies

Path Smoothing via Discrete Optimization.

Authors: Moffitty, Michael D. Papay, David A. Zhuo Liy et al.

Source: DAC: Annual ACM/IEEE Design Automation Conference; 2008, p724-727, 4p, 3 Diagrams, 2 Charts

Subject Terms: MATHEMATICAL optimization, ELECTRONIC circuit design, SYSTEMS design, INTEGRATED circuits, COMPUTER science, ELECTRONIC data processing

Semidefinite programming for ad hoc wireless sensor network localization.

Authors: Biswas, P. Yinyu Ye

Source: Third International Symposium on Information Processing in Sensor Networks, 2004 (IPSN 2004); 2004, p46-54, 9p

Large-scale placement by grid-warping.

Authors: Zhong Xiu Ma, J.D. Fowler, S.M. et al.

Source: Proceedings 41st Design Automation Conference, 2004; 2004, p351-356, 6p

Provably Good Task Assignment for Two-Type Heterogeneous Multiprocessors Using Cutting Planes.

Authors: ANDERSSON, BJÖRN RARAVI, GURULINGESH

Source: ACM Transactions on Embedded Computing Systems; Nov2014, Vol. 13 Issue 5, p1-25, 25p

Subject Terms: MULTIPROCESSORS, COMPUTER scheduling, PROBLEM solving, ALGORITHMS, LINEAR programming

Task Assignment Algorithms for Heterogeneous Multiprocessors.

Authors: RARAVI, GURULINGESH NÉLIS, VINCENT

Source: ACM Transactions on Embedded Computing Systems; Nov2014, Vol. 13 Issue 5, p1-26, 26p

Subject Terms: MULTIPROCESSORS, PROBLEM solving, LIQUEFIED petroleum gas, COMPUTER scheduling, KNOWLEDGE management

Algorithm 905: SHEPPACK: Modified Shepard Algorithm for Interpolation of Scattered Multivariate Data.

Authors: THACKER, WILLIAM I. JINGWEI ZHANG WATSON, LAYNE T. et al.

Source: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 3, p34-34:20, 20p

Subject Terms: INTERPOLATION, MATHEMATICAL functions, ALGORITHMS, CODING theory, ESTIMATION theory, POLYNOMIALS

Unified Tables for Exponential and Logarithm Families.

Authors: ANAND, CHRISTOPHER KUMAR SHARMA, ANUROOP

Source: ACM Transactions on Mathematical Software; 2011, Vol. 37 Issue 3, p28-28:23, 23p

Subject Terms: MATHEMATICAL functions, SET theory, DIFFERENTIAL equations, LOGARITHMS, ARCHITECTURE, CODING theory

The Optimality of the Online Greedy Algorithm in Carpool and Chairman Assignment Problems.

Authors: COPPERSMITH, DON NOWICKI, TOMASZ PALEOLOGO, GIUSEPPE et al.

Source: ACM Transactions on Algorithms; 2011, Vol. 7 Issue 3, p37-37:22, 22p

Subject Terms: ONLINE algorithms, SCHEDULING software, GENERALIZATION, PROBLEM solving, COMBINATORIAL optimization, APPROXIMATION algorithms

Approximating Corridors and Tours via Restriction and Relaxation Techniques.

Authors: GONZALEZ-GUTIERREZ, ARTURO GONZALEZ, TEOFILO F.

Source: ACM Transactions on Algorithms; 2010, Vol. 6 Issue 3, p56:1-56:36, 36p, 24 Diagrams, 1 Graph

Subject Terms: RELAXATION for health, CORRIDORS, LENGTH measurement, GEOGRAPHIC boundaries, ALGORITHMS