×

Found 257 Documents (Results 1–100)

Outer bounds for the parametric controllable solution set with linear shape. (English) Zbl 1354.65047

Nehmeier, Marco (ed.) et al., Scientific computing, computer arithmetic, and validated numerics. 16th international symposium, SCAN 2014, Würzburg, Germany, September 21–26, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-31768-7/pbk; 978-3-319-31769-4/ebook). Lecture Notes in Computer Science 9553, 138-147 (2016).
MSC:  65F05 65G30

Numerical simulation of heat transfer and temperature distribution in a printed circuit board enclosure model for different geometries and Reynolds numbers. (English) Zbl 1298.76065

Brebbia, Carlos A. (ed.) et al., Advances in fluid mechanics X. Proceedings of the 10th international conference on advances in fluid mechanics, A Coruña, Spain, July 1–3, 2014. Southampton: WIT Press (ISBN 978-1-84564-790-2/hbk; 978-1-84564-791-9/ebook). WIT Transactions on Engineering Sciences 82, 313-324 (2014).
MSC:  76D05 76M12 80A20

Solving linear systems with polynomial parameter dependency with application to the verified solution of problems in structural mechanics. (English) Zbl 1311.65033

Chinchuluun, Altannar (ed.) et al., Optimization, simulation, and control. New York, NY: Springer (ISBN 978-1-4614-5130-3/hbk; 978-1-4614-5131-0/ebook). Springer Optimization and Its Applications 76, 301-318 (2013).
Full Text: DOI

Complementarity problems: an overview on existing verification procedures. (English) Zbl 1180.90332

Jeltsch, Rolf (ed.) et al., Some topics in industrial and applied mathematics. Based on lectures delivered at the Shanghai Forum on Industrial and Applied Mathematics, Shanghai, China, May 26–27, 2006. Hackensack, NJ: World Scientific (ISBN 978-981-270-934-9/hbk). Series in Contemporary Applied Mathematics CAM 8, 29-42 (2007).
MSC:  90C33 65K10 65G30

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software