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.
|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|
|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|
|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|
|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|
|Ivanov, Sergiu and Rogojin, Vladimir and Azimi, Sepinoud and Petre, Ion, WEBRSIM: A Web-Based Reaction Systems Simulator. TUCS Technical Reports 1195. 2018|
|Robertsén, Fredrik, The Lattice Boltzmann Method, a Petaflop and Beyond. TUCS Dissertations 231. 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|
|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|
|Panchal, Charmi, Qualitative Methods for Modeling Biochemical Systems and Datasets: The Logicome and the Reaction Systems Approaches. TUCS Dissertations 229. 2018|
|Ashraf, Adnan and Byholm, Benjamin and Porres, Ivan, Distributed virtual machine consolidation: A systematic mapping study. In: Computer Science Review. 2018 1|
|Vistbakka, Inna and Majd, Amin and Troubitsyna, Elena, Autonomous Resilient Systems: Derivation of Mode Logic Using Event-B. TUCS Technical Reports 1199. 2018|
|Kanhaiya, Krishna and Rogojin, Vladimir and Kazemi, Keivan and Czeizler, Eugen and Petre, Ion, NetContrl4BioMed: A pipeline for biomedical data acquisition and analysis of network controllability. In: BMC Bioinformatics. 2018 1|
|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|
|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|
|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|