{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:40:09Z","timestamp":1748832009336,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319321516"},{"type":"electronic","value":"9783319321523"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32152-3_42","type":"book-chapter","created":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T02:10:11Z","timestamp":1459476611000},"page":"455-463","source":"Crossref","is-referenced-by-count":2,"title":["A Study on Vectorisation and Paralellisation of the Monotonicity Approach"],"prefix":"10.1007","author":[{"given":"Iwona","family":"Skalna","sequence":"first","affiliation":[]},{"given":"Jerzy","family":"Duda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,2]]},"reference":[{"key":"42_CR1","unstructured":"de Figueiredo, L.H., Stolfi, J.: Self-validated numerical methods and applications. In: Brazilian Mathematics Colloquium Monographs, IMPA\/CNPq, Rio de Janeiro, Brazil (1997)"},{"issue":"3","key":"42_CR2","doi-asserted-by":"publisher","first-page":"561","DOI":"10.2478\/v10006-012-0043-4","volume":"22","author":"M Hlad\u00edk","year":"2012","unstructured":"Hlad\u00edk, M.: Enclosures for the solution set of parametric interval linear systems. Int. J. Appl. Math. Comput. Sci. 22(3), 561\u2013574 (2012)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"issue":"3","key":"42_CR3","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/BF02238302","volume":"46","author":"C Jansson","year":"1991","unstructured":"Jansson, C.: Interval linear systems with symmetric matrices, skew-symmetric matrices and dependencies in the right hand side. Computing 46(3), 265\u2013274 (1991)","journal-title":"Computing"},{"key":"42_CR4","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1023\/B:REOM.0000032110.34735.ca","volume":"10","author":"L Kolev","year":"2004","unstructured":"Kolev, L.: A method for outer interval solution of linear parametric systems. Reliable Comput. 10, 227\u2013239 (2004)","journal-title":"Reliable Comput."},{"key":"42_CR5","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1023\/A:1021320711392","volume":"6","author":"L Kolev","year":"2002","unstructured":"Kolev, L.: Outer solution of linear systems whose elements are affine functions of interval parameters. Reliable Comput. 6, 493\u2013501 (2002)","journal-title":"Reliable Comput."},{"key":"42_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1023\/B:NUMA.0000049468.03595.4c","volume":"37","author":"L Kolev","year":"2004","unstructured":"Kolev, L.: Solving linear systems whose elements are non-linear functions of intervals. Numer. Algorithms 37, 213\u2013224 (2004)","journal-title":"Numer. Algorithms"},{"key":"42_CR7","unstructured":"Muhanna, R.L., Erdolen, A.: Geometric uncertainty in truss systems: an interval approach. In: Rafi, L., Muhanna, R.L.M., (eds.): Proceedings of the NSF Workshop on Reliable Engineering Computing: Modeling Errors and Uncertainty in Engineering Computations, Savannah, Georgia, USA, 22\u201324 February 2006, pp. 239\u2013247 (2006)"},{"key":"42_CR8","unstructured":"Muhanna, R., Kreinovich, V., Solin, P., Cheesa, J., Araiza, R., Xiang, G.: Interval finite element method: new directions. In: Rafi, L., Muhannah, R.L.M., (eds.) Proceedings of the NSF Workshop on Reliable Engineering Computing (REC), Svannah, Georgia USA, 22\u201324 February 2006, pp. 229\u2013244 (2006)"},{"key":"42_CR9","unstructured":"Neumaier, A.: Worst case bounds in the presence of correlated uncertainty. In: Rafi, L., Muhannah, R.L.M., (eds.): Proceedings of the NSFWorkshop on Reliable Engineering Computing (REC), Savannah, Georgia USA, 22\u201324 February 2006, pp. 113\u2013114 (2006)"},{"key":"42_CR10","volume-title":"Interval Methods for Systems of Equations. Encyclopedia of Mathematics and Its Applications","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Encyclopedia of Mathematics and Its Applications. Cambridge University Press, Cambridge (1990)"},{"key":"42_CR11","doi-asserted-by":"crossref","unstructured":"Popova, E.D.: On the solution of parametrised linear systems. In: Kraemer, W., J.W.v.G., (eds.) Scientific Computing, Validated Numerics, Interval Methods, Kluwer Academic Publishers, pp. 127\u2013138 (2001)","DOI":"10.1007\/978-1-4757-6484-0_11"},{"key":"42_CR12","unstructured":"Popova, E., Lankov, R., Bonev, Z.: Bounding the response of mechanical structures with uncertainties in all the parameters. In: Rafi, L., Muhannah, R.L.M., (eds.) Proceedings of the NSF Workshop on Reliable Engineering Computing (REC), Svannah, Georgia USA, 22\u201324 February 2006, pp. 245\u2013265 (2006)"},{"key":"42_CR13","unstructured":"Pownuk, A.: Calculations of displacement in elastic and elastic-plastic structures with interval parameters. In: 33rd Solid Mechanics Conference, Zakopane, Poland, pp. 160\u2013161, September 2000"},{"issue":"4","key":"42_CR14","doi-asserted-by":"publisher","first-page":"727","DOI":"10.2514\/2.164","volume":"35","author":"S Rao","year":"1997","unstructured":"Rao, S., Berke, L.: Analysis of uncertain structural systems using interval analysis. AIAA J. 35(4), 727\u2013735 (1997)","journal-title":"AIAA J."},{"key":"42_CR15","unstructured":"Rohn, J.: A method for handling dependent data in interval linear systems. Technical report 911, Academy of Sciences of the Czech Republic, Czech Republic (2004)"},{"key":"42_CR16","series-title":"Studies in Computational Mathematics","first-page":"63","volume-title":"Topics in Validated Computations","author":"S Rump","year":"1994","unstructured":"Rump, S.: Verification methods for dense and sparse systems of equations. In: Herzberger, J. (ed.) Topics in Validated Computations. Studies in Computational Mathematics, vol. 5, pp. 63\u2013135. Elsevier, Amsterdam (1994)"},{"issue":"2","key":"42_CR17","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s11155-006-4878-y","volume":"12","author":"I Skalna","year":"2006","unstructured":"Skalna, I.: A method for outer interval solution of parametrized systems of linear interval equations. Reliable Comput. 12(2), 107\u2013120 (2006)","journal-title":"Reliable Comput."},{"issue":"3","key":"42_CR18","first-page":"281","volume":"10","author":"I Skalna","year":"2003","unstructured":"Skalna, I.: Methods for solving systems of linear equations of structure mechanics with interval parameters. Comput. Assist. Mech. Eng. Sci. 10(3), 281\u2013293 (2003)","journal-title":"Comput. Assist. Mech. Eng. Sci."},{"key":"42_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/978-3-540-70942-8_43","volume-title":"Numerical Methods and Applications","author":"I Skalna","year":"2007","unstructured":"Skalna, I.: Evolutionary optimization method for approximating the solution set hull of parametric linear systems. In: Boyanov, T., Dimova, S., Georgiev, K., Nikolov, G. (eds.) NMA 2006. LNCS, vol. 4310, pp. 361\u2013368. Springer, Heidelberg (2007)"},{"key":"42_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1400","DOI":"10.1007\/978-3-540-68111-3_148","volume-title":"Parallel Processing and Applied Mathematics","author":"I Skalna","year":"2008","unstructured":"Skalna, I.: On checking the monotonicity of parametric interval solution of linear structural systems. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) PPAM 2007. LNCS, vol. 4967, pp. 1400\u20131409. Springer, Heidelberg (2008)"},{"key":"42_CR21","doi-asserted-by":"crossref","unstructured":"Cytron, R., Lipkis, J., Schonberg, E.: A compiler-assisted approach to SPMD execution. In: Proceedings of the 1990 ACM\/IEEE Conference on Supercomputing (Supercomputing 1990), CA, USA, pp. 398\u2013406. IEEE Computer Society Press, Los Alamitos (1990)","DOI":"10.1109\/SUPERC.1990.130047"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32152-3_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:15:56Z","timestamp":1748830556000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32152-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319321516","9783319321523"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32152-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}