Andrei Voronkov - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

[Clear Filters]

Publications tagged optimization

Optimizing Dvl PDZ domain inhibitor by exploring chemical spaceJufang Shan, Jie J. Zheng. jcamd, 23(1):37-47, 2009. [doi]

A comparison of automation techniques for optimization of compressor schedulingHa H. Nguyen, V. Uraikul, Christine W. Chan, Paitoon Tontiwachwuthikul. aes, 39(3):178-188, 2008. [doi]

Optimized scenario for rainfall forecasting using genetic algorithm coupled with artificial neural networkM. Nasseri, K. Asghari, M. J. Abedini. eswa, 35(3):1415-1421, 2008. [doi]

On a decomposition method for nonconvex global optimizationHoang Tuy. ol, 1(3):245-258, 2007. [doi]

Rate-Distortion Optimized Interactive Light Field StreamingPrashant Ramanathan, Mark Kalman, Bernd Girod. tmm, 9(4):813-825, 2007. [doi]

Truck Allocation Planning for Cost Reduction of Mechanical Sugarcane Harvesting in Thailand: An Application of Multi-objective OptimizationKriengkri Kaewtrakulpong, Tomohiro Takigawa, Masayuki Koike. or 2008: 331-336 [doi]

Hybrid Optimizations: Which Optimization Algorithm to Use?John Cavazos, J. Eliot B. Moss, Michael F. P. O Boyle. CC (empty year): 124-138 [doi]

A Quasi-physical Algorithm for the Structure Optimization in an Off-lattice Protein ModelJing-Fa Liu, Wen-Qi Huang. gpb, 4(1):61-66, 2006. [doi]

A distributed multiple dimensional QoS constrained resource scheduling optimization policy in computational gridLi Chunlin, Li Layuan. jcss, 72(4):706-726, 2006. [doi]

A game-theoretic framework for multimetric optimization of interconnect delay, power, and crosstalk noise during wire sizingNarender Hanchate, Nagarajan Ranganathan. todaes, 11(3):711-739, 2006. [doi]

Dynamic Task-Level Voltage Scheduling OptimizationsJeffrey A. Barnett. TC, 54(5):508-520, 2005. [doi]

A hybrid method of chaotic particle swarm optimization and linear interior for reactive power optimisationJiang Chuanwen, Etorre Bompard. mcs, 68(1):57-65, 2005. [doi]

Complexity of integer quasiconvex polynomial optimizationSebastian Heinz. jc, 21(4):543-556, 2005. [doi]

Optimization of Cooling Pipe System of Plastic MoldingT. Matsumori, K. Yamazaki, Y. Matsui. ifip7 2006: 161-168 [doi]

On the Numerical Solution of Stochastic Optimization ProblemsJ. Mayer. ifip7 2006: 193-206 [doi]

Typical properties of winners and losers in discrete optimizationRené Beier, Berthold Vöcking. stoc 2004: 343-352 [doi]

Optimizing temporal queries: efficient handling of duplicatesIvan T. Bowman, David Toman. DKE, 44(2):143-164, 2003.

FOM: A Framework for Metaheuristic OptimizationJ. A. Parejo, J. Racero, Fernando Guerrero, Terence Kwok, Kate A. Smith. iccS 2003: 886-895 [doi]

General connection between strong optimization and Pareto efficiencyVasile Postolica. ifip7-2 2003: 315-320

Optimization Structures for Supply Chain ManagementMarcius Fabius Henriques Carvalho, Pythágoras G. Furtado. ifip5-5 2002:

On an Algorithmic Optimization in Computation of Involutive BasesVladimir P. Gerdt. pcs, 28(2):62-65, 2002. [doi]

Volume Image Registration by Cross-Entropy OptimizationYang-Ming Zhu. tmi, 21(2):174-180, 2002.

How to optimize proof-search in modal logics: new methods of proving redundancy criteria for sequent calculiAndrei Voronkov. tocl, 2(2):182-215, 2001. [doi]

Optimizing Temporal Queries: Efficient Handling of DuplicatesIvan T. Bowman, David Toman. rtas 2001: 93-100 [doi]

Optimizing Web Pages for InstructionTimothy Dirks. webnet 2001: 306-307

How to Optimize Proof-Search in Modal Logics: A New Way of Proving Redundancy Criteria for Sequent CalculiAndrei Voronkov. lics 2000: 401-412 [doi]

Optimization of conical intersections using the semiempirical MNDOC-CI method with analytic gradientsRoberto Izzo, Martin Klessinger. jcc, 21(1):52-62, 2000. [doi]

System Modelling and Optimization: Methods, Theory and Applications, 19th IFIP TC7 Conference on System Modelling and Optimization, July 12-16, 1999, Cambridge, UKM. J. D. Powell, S. Scholtes, editors, Volume 174 of IFIP Conference Proceedings, Kluwer, 2000.

User and Computer Performance Optimization - A New Model for EfficiencyCraig D. Hanson, Pat V. Crain. cmg 1999: 385-395

A critical evaluation of several global optimization algorithms for the purpose of molecular dockingDavid J. Diller, Christophe L. M. J. Verlinde. jcc, 20(16):1740-1751, 1999. [doi]

Gauge Independence in Optimization Algorithms for 3D VisionPhilip F. McLauchlan. iccvw 2000: 183-199 [doi]

A. Metropolis-Type Optimization Algorithm on the Infinite TreeDavid Aldous. algorithmica, 22(4):388-412, 1998. [doi]

How good is a Broyden-Fletcher-Goldfarb-Shanno-like update Hessian formula to locate transition structures? Specific reformulation of Broyden-Fletcher-Goldfarb-Shanno for optimizing saddle pointsJosep Maria Anglada, Josep Maria Bofill. jcc, 19(3):349-362, 1998. [doi]

Optimized NC-toolpath Generation for 5-axis Machining of Complex SurfacesJ. P. Kruth, Bert Lauwers, Pieter Dejonghe, J. Dotremont. ifip5-3 1999: 343-350

A fixed interval ordering policy for joint optimization of age replacement and spare part provisioningA. B. M. Zohrul Kabir, S. H. A. Farrash. ijsysc, 28(12):1299-1309, 1997. [doi]

A reduced-restricted-quasi-Newton-Raphson method for locating and optimizing energy crossing points between two potential energy surfacesJosep Maria Anglada, Josep Maria Bofill. jcc, 18(8):992-1003, 1997. [doi]

Optimization of Carbó molecular similarity index using gradient methodsAlan J. McMahon, Paul M. King. jcc, 18(2):151-158, 1997. [doi]

Orientational sampling and rigid-body minimization in molecular docking revisited: On-the-fly optimization and degeneracy removalDaniel A. Gschwend, Irwin D. Kuntz. jcamd, 10(2):123-132, 1996.

Using redundant internal coordinates to optimize equilibrium geometries and transition statesChunyang Peng, Philippe Y. Ayala, H. Bernhard Schlegel, Michael J. Frisch. jcc, 17(1):49-56, 1996. [doi]

A Tool for Optimizing Large Scale Parallel ApplicationsOlav Hansen, Johann Krammer. mascots 1995: 293-296

Parallel Global Optimization Methods for Molecular Configuration ProblemsRichard H. Byrd, Thomas Derby, Elizabeth Eskow, Klaas P. B. Oldenkamp, Robert B. Schnabel, Christos Triantafillou. ppsc 1993: 165-169

Optimization of pipe networksClaus Thorp Hansen, Kaj Madsen, Hans Bruun Nielsen. mp, 52:45-58, 1991.

Concurrent Stochastic Methods for Global OptimizationRichard H. Byrd, Cornelius L. Dert, Alexander H. G. Rinnooy Kan, Robert B. Schnabel. mp, 46:1-29, 1990.

Approximation and optimization on the Wiener spaceKlaus Ritter. jc, 6(4):337-364, 1990. [doi]

Solving of optimization and identification problems by the committee methodsVladimir D. Mazurov, Al. I. Krivonogov, Vladimir S. Kazantsev. PR, 20(4):371-378, 1987. [doi]

Continuous optimization problems and a polynomial hierarchy of real functionsKer-I Ko. jc, 1(2):210-231, 1985. [doi]

Optimization Techniques, IFIP Technical Conference, Novosibirsk, USSR, July 1-7, 1974Guri I. Marchuk, editor, Volume 27 of Lecture Notes in Computer Science, Springer, 1974.

5th Conference on Optimization Techniques, Part 2, Rome, Italy, May 7-11, 1973R. Conti, Antonio Ruberti, editors, Volume 4 of Lecture Notes in Computer Science, Springer, 1973.

5th Conference on Optimization Techniques, Part 1, Rome, Italy, May 7-11, 1973R. Conti, Antonio Ruberti, editors, Volume 3 of Lecture Notes in Computer Science, Springer, 1973.

Solutions of Generalized Optimization ProblemsT. Guinn. jcss, 1(3):227-234, 1967.

runs on WebDSL