{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T01:10:18Z","timestamp":1741914618754,"version":"3.38.0"},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2011,9,1]],"date-time":"2011-09-01T00:00:00Z","timestamp":1314835200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s11786-011-0097-y","type":"journal-article","created":{"date-parts":[[2011,11,12]],"date-time":"2011-11-12T08:37:22Z","timestamp":1321087042000},"page":"315-334","source":"Crossref","is-referenced-by-count":4,"title":["A Symbolic-Numeric Approach to Multi-Objective Optimization in Manufacturing Design"],"prefix":"10.1007","volume":"5","author":[{"given":"Hidenao","family":"Iwane","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hitoshi","family":"Yanami","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirokazu","family":"Anai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2011,11,13]]},"reference":[{"issue":"7","key":"97_CR1","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1016\/j.jsc.2008.04.015","volume":"44","author":"H. Anai","year":"2009","unstructured":"Anai H., Hara S., Kanno M., Yokoyama K.: Parametric polynomial spectral factorization using the sum of roots and its application to a control design problem. J. Symb. Comput. 44(7), 703\u2013725 (2009)","journal-title":"J. Symb. Comput."},{"issue":"1\/2","key":"97_CR2","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"J.H. Davenport","year":"1988","unstructured":"Davenport J.H., Heintz J.: Real quantifier elimination is doubly exponential. J. Symb. Comput. 5(1\/2), 29\u201335 (1988)","journal-title":"J. Symb. Comput."},{"key":"97_CR3","unstructured":"Deb, K.: Multi-objective optimization using evolutionary algorithms. Wiley-interscience series in systems and optimization. John Wiley & Sons, Chichester (2001)"},{"key":"97_CR4","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A. Dolzmann","year":"1996","unstructured":"Dolzmann A., Sturm T.: REDLOG computer algebra meets computer logic. ACM SIGSAM Bull. 31, 2\u20139 (1996)","journal-title":"ACM SIGSAM Bull."},{"key":"97_CR5","doi-asserted-by":"crossref","unstructured":"Eberhart, R., Kennedy, J.: A new optimizer using particle swarm theory. In: Proceedings of the Sixth International Symposium on Micro Machine and Human Science, pp. 39\u201343. Nagoya, Japan (1995)","DOI":"10.1109\/MHS.1995.494215"},{"key":"97_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05094-1","volume-title":"Introduction to evolutionary computing","author":"A.E. Eiben","year":"2003","unstructured":"Eiben A.E., Smith J.E.: Introduction to evolutionary computing. Springer, Berlin (2003)"},{"key":"97_CR7","volume-title":"Genetic algorithms in search optimization and machine learning","author":"D.E. Goldberg","year":"1989","unstructured":"Goldberg D.E.: Genetic algorithms in search optimization and machine learning. Addison-Wesley, Boston (1989)"},{"key":"97_CR8","doi-asserted-by":"crossref","unstructured":"Haimes, Y.Y.: Integrated system identification and optimization. In: Control and Dynamic Systems: Advances in Theory and Application, vol. 10, pp. 435\u2013518. Academic Press, New York (1973)","DOI":"10.1016\/B978-0-12-012710-8.50013-3"},{"key":"97_CR9","volume-title":"Nonlinear multiobjective optimization","author":"K. Miettinen","year":"1999","unstructured":"Miettinen K.: Nonlinear multiobjective optimization. Kluwer Academic Publishers, Boston (1999)"},{"key":"97_CR10","unstructured":"Sastry, K.: Single and multiobjective genetic algorithm toolbox in c++. http:\/\/www.kumarasastry.com\/2007\/06\/11\/single-and-multiobjective-genetic-algorithm-toolbox-in-c\/"},{"key":"97_CR11","doi-asserted-by":"crossref","unstructured":"Sturm, T.: New domains for applied quantifier elimination. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC, Lecture Notes in Computer Science, vol. 4194, pp. 295\u2013301. Springer, Berlin (2006)","DOI":"10.1007\/11870814_25"},{"key":"97_CR12","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V. Weispfenning","year":"1988","unstructured":"Weispfenning V.: The complexity of linear problems in fields. J. Symb. Comput. 5, 3\u201327 (1988)","journal-title":"J. Symb. Comput."},{"key":"97_CR13","first-page":"149","volume":"1","author":"H. Yanami","year":"2009","unstructured":"Yanami H.: Multi-objective design based on symbolic computation and its application to hard disk slider design. J. Math. Ind. 1, 149\u2013156 (2009)","journal-title":"J. Math. Ind."},{"issue":"5","key":"97_CR14","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1016\/j.future.2006.10.009","volume":"23","author":"H. Yanami","year":"2007","unstructured":"Yanami H., Anai H.: The maple package SyNRAC and its application to robust control design. Future Gener. Comput. Syst. 23(5), 721\u2013726 (2007)","journal-title":"Future Gener. Comput. Syst."},{"key":"97_CR15","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1109\/TAC.1963.1105511","volume":"8","author":"L. Zadeh","year":"1963","unstructured":"Zadeh L.: Optimality and non-scalar-valued performance criteria. IEEE Trans. Autom. Contr. 8, 59\u201360 (1963)","journal-title":"IEEE Trans. Autom. Contr."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0097-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-011-0097-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-011-0097-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,14]],"date-time":"2025-03-14T00:56:59Z","timestamp":1741913819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-011-0097-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":15,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["97"],"URL":"https:\/\/doi.org\/10.1007\/s11786-011-0097-y","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"type":"print","value":"1661-8270"},{"type":"electronic","value":"1661-8289"}],"subject":[],"published":{"date-parts":[[2011,9]]}}}