Department of Mathematics
Research unit: Department
- Conference contribution › Scientific › Peer-reviewed
- Published
Device Signal Strength Self-Calibration using Histograms
Laoudias, C., Piche, R. & Panayiotou, C., 2012, International Conference on Indoor Positioning and Indoor Navigation, IPIN, 13-15 November 2012, 13-15 November 2012, Sydney, Australia. Piscataway, NJ: IEEE, p. 1-8 8 p. (International Conference on Indoor Positioning and Indoor Navigation).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions
Hansen, H., Lin, S-W., Liu, Y., Nguyen, T. K. & Sun, J., 2014, Computer Aided Verification. 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings. Biere, A. & Bloem, R. (eds.). Springer International Publishing, p. 391-406 16 p. (Lecture Notes in Computer Science; vol. 8559).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Distance of sample measurement points to prototype catalog curve
Hjorth, P. G., Karamehmedovic, M., Perram, J., Piche, R., Ullum, U. & Krätzschmar, M., 2006, Mathematics for Industry in Denmark: The ESGI47 and Mathematics for Industry Workshop, 24-29 August 2003, Univeristy of Southern Denmark. Journal of Physics: Conference Series. p. 27-35Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Dual Look at Robust Regulation: Frequency Domain and State Space Approaches
Laakkonen, P., Paunonen, L. & Pohjolainen, S., 2012, Proceedings of MMAR 2012. 17th International Conference on Methods and Models in Automation & Robotics, MMAR 2012, 27-30 August 2012, Miedzyzdroje, Poland. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 136-141 13117991. (International Conference on Methods and Models in Automation & Robotics).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Ecosystemic relational capital: framework and process for measuring it
Still, K., Huhtamäki, J. & Russell, M. G., 2014, Triple Helix XII International Conference, THC 2014. The Triple Helix and Innovation-Based Economic Growth: New Frontiers and Solutions, September 11-13, 2014, Tomsk, Russia. Etzkowitz, H., Uvarov, A. F. & Galazhinsky, E. V. (eds.). Triple Helix Association, p. 1-10 10 p. (Triple Helix International Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Effects of local structure of neuronal networks on spiking activity in silico
Mäki-Marttunen, T. M., Acimovic, J., Ruohonen, K. P. & Linne, M-L., 18 Jul 2011, Twentieth Annual Computational Neuroscience Meeting: CNS*2011. Fellous, J-M. & Prinz, A. (eds.). Stockholm: BioMed Central, Vol. 12 (Suppl 1). p. P202 1 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Effects of structure on spontaneous activity in simulated neuronal networks
Mäki-Marttunen, T., Acimovic, J., Ruohonen, K. & Linne, M-L., 11 Apr 2011, Proceedings of Mathematical Neuroscience (ICMS 2011), April 11-13, 2011, Edinburgh, Scotland.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Efficient Gaussian mixture filter for hybrid positioning
Ali-Löytty, S., 2008, Proceedings of PLANS 2008 IEEE/ION Position Location and Navigation Symposium, May 5-8, 2008, Monterey, CA , USA. p. 60-65Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Efficient Satellite Orbit Approximation
Korvenoja, P. & Piche, R., 2000, ION GPS 2000, 13th International Technical Meeting of the Institute of Navigation Satellite Division, Salt Lake City, USA, Sept 19-22, 2000. p. 1930-1937Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
eInsurance - Novel Services in the Electronic Environment
Ahonen, A., Salonen, J., Kivistö-Rahnasto, J., Järvinen, R. & Silius, K., 2007, Innovation in Services Conference, Berkeley, CA, April 26-28, 2007. UC Berkeley USA, Finnish Funding Agency for Technology and Innovation Tekes, p. 22 pResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Engineering intelligence - Product-service concepts and requirements in industry
Lanz, M., Nykänen, O., Aaltonen, J., Ranta, P. A., Koskinen, K. T. & Andersson, P. H., 2013, 2013 IEEE International Symposium on Assembly and Manufacturing (ISAM), July 30th – Aug 2nd 2013, Xi’an, China. Piscataway: Institute of Electrical and Electronics Engineers IEEE, p. 138-141 4 p. (International Symposium on Assembly and Manufacturing).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Engineering motif search for large graphs
Björklund, A., Kaski, P., Kowalik, Ł. & Lauri, J., 2015, 2015 Proceedings of the Seventeenth Workshop on Algorithm Engineering and Experiments (ALENEX). p. 104-118 15 p. (Workshop on Algorithm Engineering and Experiments).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Error feedback output regulation of bounded uniformly continuous signals for infinite-dimensional linear systems
Immonen, E. & Pohjolainen, S., 2005, 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, Seville, Spain, December 12-15, 2005. p. 6 pResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Estimating Above Ground Biomass from Terrestrial Laser Scanning in Autralian Eucalypt Open Forest
Calders, K., Newnham, G., Herold, M., Murphy, S., Culvenor, D., Raumonen, P., Burt, A., Armston, J., Avitabile, V. & Disney, M., 2013, 13th International Conference on LiDAR Applications for Assessing Forest Ecosystems, SilviLaser 2013, 9.-11.10.2013. Beijing, China. Beijing, China: Silvilaser Beijing 2013, p. 1-7 7 p. (International Conference on LiDAR Applications for Assessing Forest Ecosystems).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Estimation of Acoustic Boundary Impedance using BEM and Inverse Methods
Kolehmainen, T. & Pohjolainen, S., 2000, 16th IMACS World Congress On Scientific Computation, Applied Mathematics and Simulation, August 21-25, 2000, Lausanne, Switzerland. p. 1-6 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Estimation of base station position using timing advance measurements
Raitoharju, M., Ali-Löytty, S. & Wirola, L., 2010, 2010 International Conference on Signal and Information Processing ICSIP 2010, Changsha, China, 15.12.2010. p. 182-186Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Estimation of initial state and model parameters for autonomous GNSS orbit prediction
Ala-Luhtala, J., Seppänen, M., Ali-Löytty, S., Piche, R. & Nurminen, H., 2013, International Global Navigation Satellite Systems Society IGNSS Symposium 2013, 16-18 July, 2013, Gold Coast, Queensland, Australia. Tweed Heads, NSW, Australia: IGNSS Society, p. 1-15 15 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Estimation of neuronal signaling model parameters using deterministic and stochastic in silico training data: evaluation of four parameter estimation methods
Pettinen, A., Manninen, T., Yli-Harja, O., Ruohonen, K. & Linne, M-L., 2007, Proceedings of the Fifth IEEE International Workshop on Genomic Signal Processing and Statistics, GENSIPS'07, Tuusula, Finland, 10-12 June 2007. 4 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Evaluating the Consistency of Estimation
Ivanov, P., Ali-Löytty, S. & Piche, R., 2014, Proceedings of 2014 International Conference on Localization and GNSS (ICL-GNSS), Helsinki, Finland, June 24-26, 2014. Piscataway: IEEE, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Evaluating the Quality of Social Media in an Educational Context
Silius, K., Kailanto, M. & Tervakari, A-M., 2011, 2011 IEEE Global Engineering Education Conference EDUCON, 4-6 April 2011, Amman, Jordan. Piscataway, NJ: IEEE, p. 505-510 (IEEE Global Engineering Education Conference EDUCON).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Exhaustive global grid search in computing receiver position from modular satellite range measurements
Sirola, N., 2006, Mathematics for industry in Denmark: The ESGI47 and mathematics for industry workshop 24-29 August 2003, University of Southern Denmark. Journal of physics: conference series. p. 73-82Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Explaining innovation with indicators of mobility and networks: Insights into central innovation nodes in Europe
Still, K., Russell, M. G., Huhtamäki, J., Turpeinen, M. & Rubens, N., 2011, Proceedings of the Triple Helix IX International Conference: Silicon Valley: Global Model or Unique Anomaly? 11-14 July, 2011, Stanford, California, USA. Stanford, CA: Stanford University, H-STAR Institute Center for Innovation and Communication, p. 1-17 17 p. (Triple Helix International Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Exploring innovation ecosystems as networks: Four european cases
Huhtamäki, J. & Rubens, N., 7 Mar 2016, 2016 49th Hawaii International Conference on System Sciences (HICSS) . IEEE COMPUTER SOCIETY PRESS, p. 4505-4514 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Extended prediction of QZSS orbit and clock
Leppäkoski, H., Rautalin, S., Zhang, X., Ali-Löytty, S. & Piché, R., 2016, 2016 International Conference on Localization and GNSS (ICL-GNSS): Barcelona, Spain. IEEE, p. 1-7 7 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
External Behaviour of Systems of State Machines with Variables
Valmari, A., 2013, The 5th Advanced Course on Petri Nets, September 2010, Rostock, Germany, Transactions on Petri Nets and Other Models of Concurrency VII.. Jensen, K., van der Aalst, W. M. P., Balbo, G., Koutny, M. & Wolf, K. (eds.). Berlin, Heidelberg: Springer, p. 255-299 45 p. (Lecture Notes in Computer Science; vol. 7480).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Facilitating active participation in web-based co-development
Friedrich, P., Huhtamäki, J., Koskela-Huotari, K., Karppinen, K. & Still, K., 2012, Proceedings of Innovation through Social Media, ISM 2012 workshop proceedings, December 3, 2012, Oslo, Norway. Trondheim, Norway: AKADEMIKA FORLAG, p. 16-23 (Innovation Through Social Media).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Facilitating Technology Forestry: Software Tool Support for Creating Functional Technology Trees
Heinimäki, T. & Elomaa, T., 2013, Third International Conference on Innovative Computing Technology, INTECH 2013, August 29-31, 2013, London, UK. Piscataway, NJ: IEEE, p. 510-519 (International Conference on Innovative Computing Technology).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Fair testing and stubborn sets
Valmari, A. & Vogler, W., 2016, Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Springer Verlag, p. 225-243 19 p. (Lecture Notes in Computer Science; vol. 9641).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Fast Automatic Method for Constructing Topologically and Geometrically Precise Tree Models from TLS Data
Raumonen, P., Casella, E., Disney, M., Åkerblom, M. & Kaasalainen, M., 2013, 7th International Conference on Functional-Structural Plant Models, FSPM2013, 9.-14.6.2013, Saariselkä, Finland. Sievänen, R., Nikinmaa, E., Godin, C., Lintunen, A. & Nygren, P. (eds.). Vantaa: Finnish Society of Forest Science; Finnish Forest Research Institute; University of Helsinki, p. 89-91 3 p. (International Conference on Functional-Structural Plant Models).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Feedforward Output Regulation for Distributed Parameter Systems with Infinite-Dimensional Exosystems
Paunonen, L. & Pohjolainen, S., 2012, Proceedings of the 51st IEEE Conference on Decision and Control, IEEE CDC 2012, December 10-13 2012, Maui, Hawaii, USA. Piscataway, NJ: IEEE, p. 1566-1571 (IEEE Conference on Decision and Control).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Fingerprint Kalman Filter in indoor positioning applications
Ali-Löytty, S., Perälä, T., Honkavirta, V. & Piche, R., 2009, 18th IEEE International Conference on Control Applications Part of 2009 IEEE Multi-conference on Systems and Control, Saint Petersburg, Russia, July 8-10, 2009. p. 1678-1683Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Finite and infinite transmission zeros for infinite-dimensional systems
Laakkonen, P. & Pohjolainen, S., 2009, CAO´09 IFAC Workshop on Control Applications of Optimisation, 6.-8.5.2009, Jyväskylä, Finland. p. 6 pResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Fuzzy Model for Real-Time Reservoir Operation
Dubrovin, T., Jolma, A. & Turunen, E., 2001, International ICSC Congress on Computational Intelligence: Methods and Applications (CIMA`2001), June 19-22, 2001, University of Wales, Bangor, Wales, United Kingdom. p. 11 sResearch output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Fuzzy Traffic Signal Control and a New Interference Method - Maximal Fuzzy Similarity
Niittymäki, J., Nevala, R. & Turunen, E., 2002, Proceedings of 13th Mini-EURO Conference and the 9th Meeting of the EURO Working Group on Transportation, June 10 to 13 2002, Bari, Italy. Bari: Faculty of Engineering, p. 716-728Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Gaussian mixture filter allowing negative weights and its application to positioning using signal strength measurements
Muller, P., Ali-Löytty, S., Dashti, M., Nurminen, H. & Piche, R., 2012, Proceedings of WPNC 2012, 9th Workshop on Positioning, Navigation and Communication, March 15-16, 2012, Dresden, Germany. Piscataway, NJ: Institute of Electrical and Electronics Engineers IEEE, p. 71-76 (Workshop on Positioning, Navigation and Communication).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Gender and Innovation: Networks of Executive Women in Technology-Based Companies
Still, K., Russell, M. G., Huhtamäki, J., Yu, J. C. & Rubens, N., 2011, Proceedings of the Triple Helix IX International Conference: Silicon Valley: Global Model or Unique Anomaly? 11-14 July, 2011, Stanford, California, USA. Stanford, CA: Stanford University, H-STAR Institute Center for Innovation and Communication, p. 1-20 20 p. (Triple Helix International Conference).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Generalized hyperbolic harmonic functions in the plane
Eriksson, S-L., Orelma, H. & Vuojamo, V., 10 Mar 2015, Proceedings of the International Conference on Numerical Analysis and Applied Mathematics 2014 (ICNAAM-2014). American Institute of Physics Inc., Vol. 1648. 440007Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Generalized semi-divisible residuated lattices
Mertanen, J., 2007, International Symposium on Recent Advances in Mathematics and Its Applications ISRAMA 2007, December 15-17, 2007, Calcutta, India. p. 15-16Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
GNSS orbit prediction with enhanced force model
Pukkila, A., Ala-Luhtala, J., Piche, R. & Ali-Löytty, S., 2015, 2015 International Conference on Localization and GNSS (ICL-GNSS). IEEE, 6 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
GPS Position Can Be Computed Without the Navigation Data
Sirola, N. & Syrjärinne, J., 2002, Proceedings of the 15th International Technical Meeting of the Satellite Division of the Institute of Navigation ION GPS 2002, 24.-27.9.2002. Oregon, p. 2741-2744Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Graph-Based Map Matching for Indoor Positioning
Koivisto, M., Nurminen, H., Ali-Löytty, S. & Piche, R., 1 Dec 2015, 10th International Conference on Information, Communications and Signal Processing (ICICS). IEEE, 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hyperbolic harmonic functions and their function theory in Potential theory and Stochastic in Albac
Eriksson, S-L. & Leutwiler, H., 2009, Potential Theory and Stochastics in Albac. Aurel Cornea Memorial Volume. Conference Proceedings, Albac. Bucharest, Romania, September 4-8, 2007. Bakry, D. (ed.). p. 85-100Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hyperbolic laplace operator and the Weinstein equation in R3
Eriksson, S-L. & Orelma, H., 2012, Proceedings in the 19th International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering, IKM 2012, July 4-6 2012, Weimar, Germany. Gürlebeck, K., Lahmer, T. & Werner, F. (eds.). Weimar, Germany: IKM, p. 15 (International conference on the applications of computer science and mathematics in architecture and civil engineering).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hyperholomorphic functions in R3
Eriksson, S., 2004, Proceedings of the Summer School in Mekrijärvi, 24.-28.6.2002, Clifford algebras and potential theory. Eriksson, S. (ed.). Joensuu: University of Joensuu, p. 227-260Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hypermedia in CACSD Education for Distributed Parameter Systems
Multisilta, J. & Pohjolainen, S., 1992, Proceedings of the 1992 IEEE Symposium on Computer-Aided Control System Desin. Napa, California, USA, p. 250-254Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hypermonogenic polynomials
Eriksson, S-L. & Kettunen, J., 2006, Proceedings of the 17th International Conference on the Applications of Computer Science and Mathematics in Architecture and Civil Engineering, 12. - 14.6.2006, Weimar, Germany. Gürlebeck, K. (ed.). p. 1-22 22 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Hyviä käytänteitä wiki-työskentelyyn
Salonen, J., 2008, ITK'08. Opi valitsemaan - olet aikaasi edellä. Interaktiivinen tekniikka koulutuksessa -konferenssi. Aulanko, Hämeenlinna 17. - 18.4.2008. Hämeen kesäyliopiston julkaisuja, sarja B. Mielty, M. (ed.). p. 57-58Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Identifying weak ties from publicly available social media data in an event
Gupta, J. P., Menon, K., Kärkkäinen, H., Huhtamäki, J., Mukkamala, R. R., Hussain, A., Vatrapu, R., Jussila, J. & Pirkkalainen, H., 17 Oct 2016, AcademicMindtrek '16 Proceedings of the 20th International Academic Mindtrek Conference. ACM, p. 11-19 9 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Implementing context-specific views to distributed (rule) databases with fuzzy logic
Nykänen, O., 2007, IADIS International Conference WWW/Internet 2007 5 .-8.10.2007, Vila Real, Portugal. Isaias, P. (ed.). p. 305-312Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
- Published
Implementing semantic web agents that learn upon experience: a machine learning module for the CWM rule system
Nykänen, O., 2005, Proceedings of the IADIS international conference, applied computing, 22-25 February, 2005 Algarve, Portugal. Guimares, N. & Isaias, P. (eds.). p. 409-416Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
ID: 22096