Reliable optimization techniques and their application

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

Original languageEnglish
Title of host publicationProceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009
PublisherSLOVENIAN SOCIETY INFORMATIKA
Pages13-21
Number of pages9
ISBN (Print)9789616165303
Publication statusPublished - 2009
Event10th International Symposium on Operational Research in Slovenia, SOR 2009 - Nova Gorica, Slovenia
Duration: Sep 23 2009Sep 25 2009

Other

Other10th International Symposium on Operational Research in Slovenia, SOR 2009
CountrySlovenia
CityNova Gorica
Period9/23/099/25/09

Fingerprint

Interval Arithmetic
Chaotic Behavior
Optimization Techniques
Dynamical systems
Dynamical system
Mathematical Model
Synthesis
Mathematical models
Mathematical model
Optimization techniques

Keywords

  • Circle packing
  • Computer assisted
  • Dynamical systems
  • Interval methods
  • Process network synthesis
  • Theorem proving

ASJC Scopus subject areas

  • Management of Technology and Innovation
  • Strategy and Management
  • Computational Theory and Mathematics
  • Management Science and Operations Research
  • Modelling and Simulation
  • Numerical Analysis

Cite this

Csendes, T. (2009). Reliable optimization techniques and their application. In Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009 (pp. 13-21). SLOVENIAN SOCIETY INFORMATIKA.

Reliable optimization techniques and their application. / Csendes, T.

Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009. SLOVENIAN SOCIETY INFORMATIKA, 2009. p. 13-21.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Csendes, T 2009, Reliable optimization techniques and their application. in Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009. SLOVENIAN SOCIETY INFORMATIKA, pp. 13-21, 10th International Symposium on Operational Research in Slovenia, SOR 2009, Nova Gorica, Slovenia, 9/23/09.
Csendes T. Reliable optimization techniques and their application. In Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009. SLOVENIAN SOCIETY INFORMATIKA. 2009. p. 13-21
Csendes, T. / Reliable optimization techniques and their application. Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009. SLOVENIAN SOCIETY INFORMATIKA, 2009. pp. 13-21
@inproceedings{7ebd2acbbdb243efa244ab8e3c395b08,
title = "Reliable optimization techniques and their application",
abstract = "The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.",
keywords = "Circle packing, Computer assisted, Dynamical systems, Interval methods, Process network synthesis, Theorem proving",
author = "T. Csendes",
year = "2009",
language = "English",
isbn = "9789616165303",
pages = "13--21",
booktitle = "Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009",
publisher = "SLOVENIAN SOCIETY INFORMATIKA",

}

TY - GEN

T1 - Reliable optimization techniques and their application

AU - Csendes, T.

PY - 2009

Y1 - 2009

N2 - The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

AB - The talk provides an introduction to interval arithmetic based techniques for the verification of mathematical models. Illustrative examples are described from the fields of circlepacking, chaotic behaviour dynamical systems, and process network synthesis.

KW - Circle packing

KW - Computer assisted

KW - Dynamical systems

KW - Interval methods

KW - Process network synthesis

KW - Theorem proving

UR - http://www.scopus.com/inward/record.url?scp=84903615983&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84903615983&partnerID=8YFLogxK

M3 - Conference contribution

SN - 9789616165303

SP - 13

EP - 21

BT - Proceedings of the 10th International Symposium on Operational Research in Slovenia, SOR 2009

PB - SLOVENIAN SOCIETY INFORMATIKA

ER -