The Department of Information Technologies (IT) is part of the Division of Natural Sciences and Technology at Åbo Akademi University. The IT Department provides education in Computer Science and Computer Engineering, at the bachelors level, masters level and postgradual level. The research and education is performed in cooperation with Turku Centre for Computer Science (TUCS).
Yesterday was the last day of the summer course on Development of Autonomous Systems (https://research.it.abo.fi/projects/AutoSys). Students presented their project works which was about modeling and verification of a multi-rebot system capturing intruders in a building. See you in August in Turku for the continuation of the course !
Today was the first day of the summer course on Development of Autonomous Systems (https://research.it.abo.fi/projects/AutoSys). After few lectures and hands on exercises, the students got the possibility to pilot a ship in extreme conditions in the Simulator Centre of the Estonian Maritime Academy.
Congratulation to Masinde and Robert, students in Computer Engineering at Åbo Akademi University, for winning the 3rd Intelligence Hunt project organised by SeaFocus with their project work on the MacGregor Case ”Cargo Identifying & Tracking System”.
Today come and check out our sensor fusion platform and the student project team Buxio developing an intelligent pipe inspection software. #theshiftfi #aboakademi
Come and check out our collision avoidance system for industrial drones ! This was designed by a team of students during the project course.
|Robertsén, Fredrik, The Lattice Boltzmann Method, a Petaflop and Beyond. TUCS Dissertations 231. 2018|
|Rauf, Irum and Troubitsyna, Elena, Securing Open Source Clouds Using Models. In: nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems. Ishikawa, Fuyuki and Pelliccione, Patrizio and Troubitsyna, Elena (Eds.). Electronic Proceedings in Theoretical Computer Science, 2018|
|Panchal, Charmi, Qualitative Methods for Modeling Biochemical Systems and Datasets: The Logicome and the Reaction Systems Approaches. TUCS Dissertations 229. 2018|
|Rahikkala, Jurka and Hyrynsalmi, Sami and Leppänen, Ville and Porres, Ivan, The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. In: E-Informatica Software Engineering Journal. 2018|
|Huitzil, Ignacio and Straccia, Umberto and Diaz-Rodriguez, Natalia and Bobillo, Fernando, Datil: Learning Fuzzy Ontology Datatypes. In: Communications in Computer and Information Science (CCIS). Pelta, David and Bouchon-Meunier, B. and Yager, R. R. (Eds.). Springer, 2018|
|Robertsén, Fredrik and Mattila, Keijo and Westerholm, Jan, Lattice Boltzmann Method on GPUs: A Comparison Between OpenACC and CUDA. TUCS Technical Reports 1191. 2018|
|Olszewska, Marta and Shokri-Manninen, Fatima and Edmunds, Andrew and Waldén, Marina, Improving the Modelling Experience in Event-B - A Literature Review. TUCS Technical Reports 1196. Åbo Akademi University, 2018|
|Ivanov, Sergiu and Rogojin, Vladimir and Azimi, Sepinoud and Petre, Ion, WEBRSIM: A Web-Based Reaction Systems Simulator. TUCS Technical Reports 1195. 2018|
|Kamali, Mojgan and Merro, Massimo and Dal Corso, Alice, AODVv2: Performance vs. Loop Freedom. In: SOFSEM 2018: Theory and Practice of Computer Science. Tjoa, A Min and Bellatreche, Ladjel and Biffl, Stefan and van Leeuwen, Jan and Wiedermann, Jiři (Eds.). Springer, 2018 1|
|Sheme, Enida and Lafond, Sébastien and Minarolli, Dorian and Kajo Meçe, Elinda and Holmbacka, Simon, Battery Size Impact in Green Coverage of Datacenters Powered by Renewable Energy: A Latitude Comparison. In: 6th International Conference on Emerging Internet, Data & Web Technologies (EIDWT-2018). Xhafa, Fatos (Eds.). Springer, Cham, 2018|
|Neovius, Mats and Launis, Kati and Nurmi, Olli, Exploring Library Loan Data for Modelling the Reading Culture: Project LibDat. In: Proceedings of the Digital Humanities in the Nordic Countries 3rd Conference. Mäkelä, Eetu and Tolonen, Mikko and Tuominen, Jouni (Eds.). CEUR-WS CEUR-WS, 2018 1|
|Ahmad, Tanwir and Truscan, Dragos and Porres, Ivan, Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. In: Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications. Elsevier, 2018 1|
|Ashraf, Adnan and Byholm, Benjamin and Porres, Ivan, Distributed virtual machine consolidation: A systematic mapping study. In: Computer Science Review. 2018 1|
|Ostroumov, Sergey and Waldén, Marina, Visual Component-Based Development of Formal Models. In: The Third International Conference on Advances and Trends in Software Engineering (SoftEng). Kajko-Mattsson, Mira and Ellingsen, Pål and Maresca, Paolo (Eds.). IARIA, 2017|
|Sahlgren, Cecilia and Meinander, Annika and Zhang, Hongbo and Cheng, Fang and Preis, Maren and Xu, Chunlin and Salminen, Tiina and Toivola, Diana and Abankwa, Daniel and Karaman, Didem and Salo, Outi and Österbacka, Ronald and Eriksson, John and Willför, Stefan and Petre, Ion and Peltonen, Jouko and Leino, Reko and Johnson, Mark and Rosenholm, Jessica and Sandler, Niklas, Tailored Approaches in Drug Development and Diagnostics – From Molecular Design to Biological Model Systems. In: Advanced Healthcare Materials. 2017 1|