×

Found 36 Documents (Results 1–36)

Newest Citations Relevance
Gattulli, V.; Lepidi, M.; Potenza, F.

Design of damper viscous properties for semi-active control of asymmetric structures. (English) Zbl 1220.93035

Zhu, W. Q. (ed.) et al., IUTAM symposium on nonlinear stochastic dynamics and control. Proceedings of the IUTAM symposium held in Hangzhou, China, May 10–14, 2010. Dordrecht: Springer (ISBN 978-94-007-0731-3/hbk; 978-94-007-0732-0/ebook). IUTAM Bookseries 29, 241-250 (2011).
MSC:  93B60 93B51 93C15
Cite Review PDF
Full Text: DOI
Krawiec, P.

Numerical analysis of geometrical characteristics of machine elements obtained with CMM scanning. (English) Zbl 1220.65022

Fitt, Alistair D. (ed.) et al., Progress in industrial mathematics at ECMI 2008. Proceedings of the 15th European conference on mathematics for industry, London, UK, June 30 - July 4, 2008. Berlin: Springer (ISBN 978-3-642-12109-8/hbk; 978-3-642-12110-4/ebook). Mathematics in Industry 15, 933-938 (2010).
MSC:  65D17
Cite Review PDF
Full Text: DOI
Eessaar, Erki; Sgirka, Rünno

A SQL-database based meta-CASE system and its query subsystem. (English) Zbl 1211.68154

Sobh, Tarek (ed.) et al., Innovations in computing sciences and software engineering. Proceedings of the 2009 second international conference on systems, computing sciences and software engineering (SCSS), December 4–12, 2009. Dordrecht: Springer (ISBN 978-90-481-9111-6/hbk; 978-90-481-9112-3/ebook). 57-62 (2010).
MSC:  68P15
Cite Review PDF
Full Text: DOI
Mörig, Marc

Deferring dag construction by storing sums of floats speeds-up exact decision computations based on expression dags. (English) Zbl 1295.65020

Fukuda, Komei (ed.) et al., Mathematical software – ICMS 2010. Third international congress on mathematical software, Kobe, Japan, September 13–17, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15581-9/pbk). Lecture Notes in Computer Science 6327, 109-120 (2010).
MSC:  65D18 65D17 68U05
Cite Review PDF
Full Text: DOI
Bommes, David; Vossemer, Tobias; Kobbelt, Leif

Quadrangular parameterization for reverse engineering. (English) Zbl 1274.65030

Dæhlen, Morten (ed.) et al., Mathematical methods for curves and surfaces. 7th international conference, MMCS 2008, Tønsberg, Norway, June 26–July 1, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11619-3/pbk). Lecture Notes in Computer Science 5862, 55-69 (2010).
MSC:  65D17
Cite Review PDF
Full Text: DOI
Cannon, Mark; Couchman, Paul; Kouvaritakis, Basil

MPC for stochastic systems. (English) Zbl 1223.93119

Findeisen, Rolf (ed.) et al., Assessment and future directions of nonlinear model predictive control. Selected papers based on the presentations at the workshop (NMPC05), Freudenstadt-Lauterbad, Germany, August 26–30, 2005. Berlin: Springer (ISBN 978-3-540-72698-2/pbk). Lecture Notes in Control and Information Sciences 358, 255-268 (2007).
MSC:  93E20 93B51 93C41
Cite Review PDF
Full Text: DOI
Richards, Debbie; Boettger, Kathrin

Representing requirements in natural language as concept lattices. (English) Zbl 1089.68651

Bramer, Max (ed.) et al., Research and development in intelligent systems XIX. Proceedings of ES 2002, the twenty-second SGAI international conference on knowledge based systems and applied artificial intelligence, Cambridge, UK, December 10–12, 2002. London: Springer (ISBN 1-85233-674-9/pbk). BCS Conference Series, 425-438 (2003).
MSC:  68T50 68T30 68N99
Cite Review PDF
Chow, Peter; Addison, Clifford

A software strategy towards putting domain decomposition at the centre of a mesh-based simulation process. (English) Zbl 1056.65126

Sloot, Peter M. A. (ed.) et al., Computational science - ICCS 2002. 2nd international conference, Amsterdam, the Netherlands, April. 21–24, 2002. Proceedings. Part 3. Berlin: Springer (ISBN 3-540-43594-8). Lect. Notes Comput. Sci. 2331, 755-763 (2002).
MSC:  65N50 65N55 65Y15
Cite Review PDF
Full Text: DOI
Wimmel, Guido; Jürjens, Jan

Specification-based test generation for security-critical systems using mutations. (English) Zbl 1015.68900

George, Chris (ed.) et al., Formal methods and software engineering. 4th international conference on formal engineering methods, ICFEM 2002, Shanghai, China, October 21-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2495, 471-482 (2002).
MSC:  68U99 68N99 68Q60 68P25
Cite Review PDF
Full Text: Link

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software