Department of Mathematics
Research unit: Department
- Published
A State Space Tool for Concurrent System Models Expressed In C++
Valmari, A., 14 Dec 2015, SPLST 2015 Symposium on Programming Languages and Software Tools: Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15) Tampere, Finland, Oct 9-10, 2015. Nummenmaa, J., Sievi-Korte, O. & Mäkinen, E. (eds.). CEUR-WS.org, Vol. 1525. p. 91-105 15 p. 7. (CEUR Workshop Proceedings; vol. 1525).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Full text:
- Published
A Standard Hydraulic Fluid Transmission Line Model for use with ODE Simulators
Piche, R. & Ellman, A., 1996, Innovations in Fluid Power. Burrows, C. R. & Edge, K. A. (eds.). Somerset, England: Research Studies Press, p. 221-236Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review
Full text:
- Published
Associating Event Logs with Ontologies for Semantic Process Mining and Analysis
Nykänen, O., Rivero-Rodriguez, A., Pileggi, P., Ranta, P. A., Kailanto, M. & Koro, J., 2015, Proceedings of the 19th International Academic Mindtrek Conference: AcademicMindTrek '15. New York, NY, USA: ACM, p. 138-143 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Full text:
- Published
Assessing coupling dynamics from an ensemble of time series
Gómez-Herrero, G., Wu, W., Rutanen, K., Soriano, M. C., Pipa, G. & Vicente, R., 2015, In : Entropy. 17, 4, p. 1958-1970 13 p.Research output: Contribution to journal › Article › Scientific › peer-review
Full text:
- Published
A socio-technical framework for visualising an open knowledge space
Nykänen, O., Mannio, M., Huhtamäki, J. & Salonen, J., 2007, IADIS International Conference WWW/Internet 2007 5 .-8.10.2007, Vila Real, Portugal. Isaias, P. (ed.). p. 137-144Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Full text:
- Published
A simulator for infinite-dimensional systems with a self-tuning controller
Åkerblom, M., Hämäläinen, T. & Pohjolainen, S., 2009, IFAC Workshop on Control Applications of Optimization CAO'09, 6-8 May, 2009 Jyväskylä, Finland. p. 5 pResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Full text:
- Published
A simple linear nonconforming shell element
Kouhia, K. & Stenberg, R., 2000, IASS-IACM 2000. Proceedings of the Fourth International Colloquim on Computation of Shell & Spatial Structures, June 4-7, 2000, Chania-Crete, Greece. Papadrakakis, M., Samartin, A. & Onate, E. (eds.). p. 10 sResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific
Full text:
- Published
A Simple Controller with a Reduced Order Internal Model in the Frequency Domain
Laakkonen, A. & Paunonen, L., 2016, Proceedings of European Control Conference 2016. IEEE, p. 1988-1992 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Full text:
- Published
A Simple Character String Proof of the "True but Unprovable'' Version of Gödel's First Incompleteness Theorem
Valmari, A., 2014, In : Electronic Proceedings in Theoretical Computer Science. 151, p. 355-369 15 p., 25.Research output: Contribution to journal › Article › Scientific › peer-review
Full text:
- Published
A Self-Tuning Robust Regulator for Infinite-Dimensional Systems
Hämäläinen, T. & Pohjolainen, S., 2011, In : IEEE Transactions on Automatic Control. 56, 9, p. 2116-2127Research output: Contribution to journal › Article › Scientific › peer-review
Full text:
ID: 22096