Search Results - "G.1.6 Optimization: Nonlinear programming"

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

Authors: Monniaux, David Corbineau, Pierre VERIMAG (VERIMAG - IMAG) et al.

Contributors: Monniaux, David Corbineau, Pierre VERIMAG (VERIMAG - IMAG) et al.

Source: Interactive Theorem Proving ; https://hal.science/hal-00594761 ; Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264, ⟨10.1007/978-3-642-22863-6_19⟩

Subject Terms: semidefinite programming, Positivstellensatz, polynomials, witness, Coq, LLL, G.1.6 Optimization: Nonlinear programming, F.4.1 Mathematical Logic: Mechanical theorem proving, I.1.2 Algorithms, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG]

Subject Geographic: Nijmegen, Netherlands

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1105.4421; ARXIV: 1105.4421

Availability: https://hal.science/hal-00594761
https://hal.science/hal-00594761v1/document
https://hal.science/hal-00594761v1/file/psatz_witnesses_itp2011_article.pdf
https://doi.org/10.1007/978-3-642-22863-6_19

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

Authors: Monniaux, David Corbineau, Pierre VERIMAG (VERIMAG - IMAG) et al.

Contributors: Monniaux, David Corbineau, Pierre VERIMAG (VERIMAG - IMAG) et al.

Source: Interactive Theorem Proving ; https://hal.archives-ouvertes.fr/hal-00594761 ; Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264

Subject Terms: semidefinite programming, Positivstellensatz, polynomials, witness, Coq, LLL, G.1.6 Optimization: Nonlinear programming, F.4.1 Mathematical Logic: Mechanical theorem proving, I.1.2 Algorithms, [MATH.MATH-LO]Mathematics [math]/Logic [math.LO], [MATH.MATH-AG]Mathematics [math]/Algebraic Geometry [math.AG], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]

Subject Geographic: Nijmegen, Netherlands

Relation: info:eu-repo/semantics/altIdentifier/arxiv/1105.4421; hal-00594761; https://hal.archives-ouvertes.fr/hal-00594761; https://hal.archives-ouvertes.fr/hal-00594761/document; https://hal.archives-ouvertes.fr/hal-00594761/file/psatz_witnesses_itp2011_article.pdf; ARXIV: 1105.4421

Availability: https://hal.archives-ouvertes.fr/hal-00594761
https://hal.archives-ouvertes.fr/hal-00594761/document
https://hal.archives-ouvertes.fr/hal-00594761/file/psatz_witnesses_itp2011_article.pdf

International Book Series 'Information Science and Computing ' 97 OPTIMAL SYNTHESIS OF INTELLIGENT CONTROL SYSTEMS OF ATOMIC POWER STATION USING GENETIC ALGORITHMS

Authors: Seyed Mojtaba Jafari Henjani Valery Severin et al.

Contributors: Seyed Mojtaba Jafari Henjani Valery Severin et al.

Source: http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p14.pdf.

Subject Terms: automatic systems, intelligent control, optimal synthesis, nuclear reactor, steam generator, genetic algorithms. ACM Classification Keywords, G.1.6 Optimization- Nonlinear programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.695
http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p14.pdf

International Book Series 'Information Science and Computing ' 89 Industrial Control and Monitoring APPLICATION OF GENETIC ALGORITHMS TO VECTOR OPTIMIZATION OF THE AUTOMATIC CONTROL SYSTEMS

Authors: Valery Severin The Pennsylvania State University CiteSeerX Archives

Contributors: Valery Severin The Pennsylvania State University CiteSeerX Archives

Source: http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p13.pdf.

Subject Terms: genetic algorithms, vector optimization methods, automatic control systems, quality indexes. ACM Classification Keywords, G.1.6 Optimization- Nonlinear programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.904
http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p13.pdf

International Book Series 'Information Science and Computing ' 105 OPTIMAL DESIGN OF INTELLIGENT CONTROL SYSTEMS OF STEAM TURBINE USING GENETIC ALGORITHMS

Authors: Khrystyna Fedyanyna Ievgeniia Kucher Valery Severin et al.

Contributors: Khrystyna Fedyanyna Ievgeniia Kucher Valery Severin et al.

Source: http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p15.pdf.

Subject Terms: automatic control system, automatic drive, steam turbine, intelligent regulator, genetic algorithms. ACM Classification Keywords, G.1.6 Optimization- Nonlinear programming

File Description: application/pdf

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

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.386.7741
http://www.foibg.com/ibs_isc/ibs-13/ibs-13-p15.pdf