المؤلفون: Froleyks, Nils, Yu, Emily, Biere, Armin, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Symbolic Computation

URL الوصول: http://arxiv.org/abs/2405.04297

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2208.01443

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المساهمون: Nadel, Alexander, Rozier, Kristin Yvonne, Department of Computer Science, Helsinki Institute for Information Technology, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

وصف الملف: application/pdf

Relation: Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023; Yu , E , Froleyks , N , Biere , A & Heljanko , K 2023 , Towards Compositional Hardware Model Checking Certification . in A Nadel & K Y Rozier (eds) , Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023 . TU Wien Academic Press , pp. 1-11 , Formal Methods in Computer-Aided Design , Iowa , United States , 23/10/2024 . https://doi.org/10.34727/2023/ISBN.978-3-85448-060-0_12; conference; ORCID: /0000-0002-4547-2701/work/150771124; http://hdl.handle.net/10138/569231; 85619370-56b8-47e9-8fce-e09ee09d11ac; 85180364990

الاتاحة: http://hdl.handle.net/10138/569231

المؤلفون: Javed, Asad, Heljanko, Keijo, Buda, Andrea, Främling, Kary

المصدر: IEEE 4th World Forum on Internet of Things (WF-IoT), Singapore, 5-8 February, 2018

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

URL الوصول: http://arxiv.org/abs/2001.08433

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1904.06895

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo, Jung, Alexander

مصطلحات موضوعية: Computer Science - Machine Learning, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1809.05896

المؤلفون: Froleyks, Nils, Yu, Zhengqi, Biere, Armin, Heljanko, Keijo

المصدر: Froleyks N, Yu E, Biere A, Heljanko K. Certifying phase abstraction. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Vol 14739. Springer Nature; 2024:284-303. doi: 10.1007/978-3-031-63498-7_17

مصطلحات موضوعية: ddc:000

Relation: info:eu-repo/semantics/altIdentifier/issn/0302-9743; info:eu-repo/semantics/altIdentifier/issn/1611-3349; info:eu-repo/semantics/altIdentifier/isbn/9783031634970; info:eu-repo/semantics/altIdentifier/arxiv/2405.04297; info:eu-repo/grantAgreement/EC/H2020/101020093; https://research-explorer.ista.ac.at/record/17413; https://research-explorer.ista.ac.at/download/17413/17414

الاتاحة: https://research-explorer.ista.ac.at/record/17413
https://research-explorer.ista.ac.at/download/17413/17414

المؤلفون: Yu, Emily, Froleyks, Nils, Biere, Armin, Heljanko, Keijo

المساهمون: Griggio, Alberto, Rungta, Neha, Department of Computer Science, Helsinki Institute for Information Technology, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

وصف الملف: application/pdf

Relation: Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022; Conference Series: Formal Methods in Computer-Aided Design; Yu , E , Froleyks , N , Biere , A & Heljanko , K 2022 , Stratified Certification for k-Induction . in A Griggio & N Rungta (eds) , Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 . , 11 , Conference Series: Formal Methods in Computer-Aided Design , TU Wien Academic Press , The 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022 , Trento , Italy , 17/10/2022 . https://doi.org/10.34727/2022/isbn.978-3-85448-053-2_11; conference; ORCID: /0000-0002-4547-2701/work/127508768; http://hdl.handle.net/10138/353740; 4b630e8b-634e-4a5f-9716-27f9f64c2c4d

الاتاحة: http://hdl.handle.net/10138/353740

المؤلفون: Ezhova, Ekaterina, Laanti, Topi, Lintunen, Anna, Kolari, Pasi, Nieminen, Tuomo, Mammarella, Ivan, Heljanko, Keijo, Kulmala, Markku

المصدر: Biogeosciences; 2025, Vol. 22 Issue 1, p257-288, 32p

مصطلحات موضوعية: MACHINE learning, PHOTOSYNTHETICALLY active radiation (PAR), TAIGAS, SOIL moisture, ARTIFICIAL intelligence

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo, Jung, Alexander

مصطلحات موضوعية: Computer Science - Learning, Computer Science - Databases, Computer Science - Software Engineering, Statistics - Machine Learning

URL الوصول: http://arxiv.org/abs/1710.02823

المؤلفون: Javed, Asad, Robert, Jérémy, Heljanko, Keijo, Främling, Kary, 1965

المصدر: Journal of Grid Computing. 18:57-80

مصطلحات موضوعية: Internet of Things, Distributed systems, Edge, Cloud, Microservice, Containers, Smart buildings, Kubernetes, Kafka, Computer Systems, datorteknik

وصف الملف: electronic

URL الوصول: https://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-167210
https://doi.org/10.1007/s10723-019-09498-8
https://umu.diva-portal.org/smash/get/diva2:1384971/FULLTEXT02.pdf

المؤلفون: Ponce-de-León, Hernán, Furbach, Florian, Heljanko, Keijo, Meyer, Roland

مصطلحات موضوعية: Computer Science - Programming Languages, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1702.06704

المؤلفون: Ezhova, Ekaterina, Laanti, Topi, Lintunen, Anna, Kolari, Pasi, Nieminen, Tuomo, Mammarella, Ivan, Heljanko, Keijo, Kulmala, Markku

مصطلحات موضوعية: article, Verlagsveröffentlichung

وصف الملف: electronic

Relation: https://doi.org/10.5194/egusphere-2023-2559; https://noa.gwlb.de/receive/cop_mods_00070260; https://noa.gwlb.de/servlets/MCRFileNodeServlet/cop_derivate_00068615/egusphere-2023-2559.pdf; https://egusphere.copernicus.org/preprints/2023/egusphere-2023-2559/egusphere-2023-2559.pdf

الاتاحة: https://doi.org/10.5194/egusphere-2023-2559
https://noa.gwlb.de/receive/cop_mods_00070260
https://noa.gwlb.de/servlets/MCRFileNodeServlet/cop_derivate_00068615/egusphere-2023-2559.pdf
https://egusphere.copernicus.org/preprints/2023/egusphere-2023-2559/egusphere-2023-2559.pdf

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo, Jung, Alexander

المساهمون: Daniel, Florian, Sheng, Quan Z., Motahari, Hamid, Department of Computer Science, Helsinki Institute for Information Technology

مصطلحات موضوعية: Computer and information sciences

وصف الملف: application/pdf

Relation: Business Process Management Workshops; Lecture Notes in Business Information Processing; Hinkka , M , Lehto , T , Heljanko , K & Jung , A 2019 , Classifying Process Instances Using Recurrent Neural Networks . in F Daniel , Q Z Sheng & H Motahari (eds) , Business Process Management Workshops : BPM 2018 International Workshops, Sydney, NSW, Australia, September 9-14, 2018, Revised Papers . Lecture Notes in Business Information Processing , vol. 342 , Springer Nature Switzerland , Cham , pp. 313-324 , International Conference on Business Process Management , Sydney , Australia , 09/09/2018 . https://doi.org/10.1007/978-3-030-11641-5_25; conference; ORCID: /0000-0002-4547-2701/work/150771123; http://hdl.handle.net/10138/339399; 2689ec7e-ed4b-4555-b70e-2d78ea8ed96a

الاتاحة: http://hdl.handle.net/10138/339399

المؤلفون: Yu, Emily, Biere, Armin, Heljanko, Keijo

المساهمون: Silva, Alexandra, Leino, K. Rustan M., Helsinki Institute for Information Technology, Department of Computer Science, Doctoral Programme in Computer Science, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: Computer and information sciences

وصف الملف: application/pdf

Relation: Computer Aided Verification; Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Acknowledgement. This work is supported by the Austrian Science Fund (FWF) under the project W1255-N23, the LIT AI Lab funded by the State of Upper Austria, and Academy of Finland under the project 336092.; Yu , E , Biere , A & Heljanko , K 2021 , Progress in Certifying Hardware Model Checking Results . in A Silva & K R M Leino (eds) , Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12760 LNCS , Springer Nature Switzerland AG , Cham , pp. 363-386 , 33rd International Conference on Computer Aided Verification, CAV 2021 , Virtual, Online , 20/07/2021 . https://doi.org/10.1007/978-3-030-81688-9_17; conference; ORCID: /0000-0002-4547-2701/work/107674256; http://hdl.handle.net/10138/339486; d68e361a-ae10-4e2c-9cfa-29a004652a89; 85115873567; 000693429500017

الاتاحة: http://hdl.handle.net/10138/339486

المؤلفون: Hinkka, Markku, Lehto, Teemu, Heljanko, Keijo

المساهمون: Welzer, Tatjana, Eder, Johann, Podgorelec, Vili, Wrembel, Robert, Ivanović, Mirjana, Gamber, Johann, Morzy, Mikoƚaj, Tzouramanis, Theodoros, Darmont, Jérôme, Kamišalić Latifić, Aida, Department of Computer Science, Helsinki Institute for Information Technology

مصطلحات موضوعية: Computer and information sciences

وصف الملف: application/pdf

Relation: New Trends in Databases and Information Systems; Communications in Computer and Information Science; Hinkka , M , Lehto , T & Heljanko , K 2019 , Exploiting Event Log Event Attributes in RNN Based Prediction . in T Welzer , J Eder , V Podgorelec , R Wrembel , M Ivanović , J Gamber , M Morzy , T Tzouramanis , J Darmont & A Kamišalić Latifić (eds) , New Trends in Databases and Information Systems : ADBIS 2019 Short Papers, Workshops BBIGAP, QAUCA, SemBDM, SIMPDA, M2P, MADEISD, and Doctoral Consortium, Bled, Slovenia, September 8–11, 2019, Proceedings . Communications in Computer and Information Science , vol. 1064 , Springer Nature Switzerland , Cham , pp. 405-416 , European Conference on Advances in Databases and Information Systems , Bled , Slovenia , 08/09/2019 . https://doi.org/10.1007/978-3-030-30278-8_40; conference; ORCID: /0000-0002-4547-2701/work/108868726; http://hdl.handle.net/10138/339400; 00cc3624-b225-4c2b-b22b-77a772e3b516

الاتاحة: http://hdl.handle.net/10138/339400

المؤلفون: Ponce-de-León, Hernán, Rodríguez, César, Carmona, Josep, Heljanko, Keijo, Haar, Stefan

مصطلحات موضوعية: Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/1507.02744

المؤلفون: Ikonen, Teemu J., Heljanko, Keijo, Harjunkoski, Iiro

المساهمون: Department of Computer Science, Helsinki Institute for Information Technology

مصطلحات موضوعية: Online scheduling, Rescheduling procedures, Reinforcement learning, Decision-making, Timing, Computing resource allocation, NEURAL-NETWORKS, NEUROEVOLUTION, MODELS, Computer and information sciences

وصف الملف: application/pdf

Relation: Financial support from the Academy of Finland, through project SINGPRO (decision numbers 313466 and 313469), is gratefully acknowledged. In addition, the authors would like to thank CSC the Finnish IT Center for Science - for providing the computing resource for the project.; Ikonen , T J , Heljanko , K & Harjunkoski , I 2020 , ' Reinforcement learning of adaptive online rescheduling timing and computing time allocation ' , Computers & Chemical Engineering , vol. 141 , 106994 . https://doi.org/10.1016/j.compchemeng.2020.106994; ORCID: /0000-0002-4547-2701/work/87788577; http://hdl.handle.net/10138/346176; 3b943198-9732-443d-87b2-19bb544de8bb; 000571095800013

الاتاحة: http://hdl.handle.net/10138/346176

المؤلفون: Ikonen, Teemu J., Heljanko, Keijo, Harjunkoski, Iiro

المساهمون: Department of Computer Science, Helsinki Institute for Information Technology, EUROFusion Advanced Computing Hub Finland

مصطلحات موضوعية: online scheduling, re-optimization, rolling horizon, surrogate modeling, Kriging, REBALANCING PROBLEM, DESIGN, SCOPE, SIMULATION, MODELS, GLOBAL OPTIMIZATION, FRAMEWORK, SYSTEMS, BAYESIAN OPTIMIZATION, Computer and information sciences

وصف الملف: application/pdf

Relation: Ikonen , T J , Heljanko , K & Harjunkoski , I 2022 , ' Surrogate-based optimization of a periodic rescheduling algorithm ' , AIChE Journal , vol. 68 , no. 6 , 17656 , pp. e17656 . https://doi.org/10.1002/aic.17656; RIS: urn:C78DEC897F35DFAC3028D606EDDAADA0; ORCID: /0000-0002-4547-2701/work/113989956; http://hdl.handle.net/10138/344131; 24bb1ff2-539c-4a8b-952a-fc588e92729c; 000766593400001

الاتاحة: http://hdl.handle.net/10138/344131

المؤلفون: Siirtola, Antti, Heljanko, Keijo

المساهمون: Department of Computer Science, Helsinki Institute for Information Technology

مصطلحات موضوعية: Compositional verification, Parameterized systems, Cut-off, Satisfiability modulo theories, Automated verification, MODEL CHECKING, VERIFICATION, SYSTEMS, Computer and information sciences

وصف الملف: application/pdf

Relation: The research is partly funded by Academy of Finland projects 313469 and 277522.; Siirtola , A & Heljanko , K 2020 , ' An optimal cut-off algorithm for parameterised refinement checking ' , Science of Computer Programming , vol. 198 , 102517 . https://doi.org/10.1016/j.scico.2020.102517; ORCID: /0000-0002-4547-2701/work/87788628; http://hdl.handle.net/10138/346238; 8a014e5a-f5fe-476b-a00e-d8d7ad5528a9; 000572346900003

الاتاحة: http://hdl.handle.net/10138/346238