Publications (64)

Sort by: Date | Title
10 | 25 | 50 | 100 
Previous page Previous page1/3 Next page Last page
A Ä B C D E F G H I J K L M N O P Q R S T U V W Y Z В Г К М О С Э All 
A4 Conference proceedings
Fault detection of elevator system using profile extraction and deep autoencoder feature extraction (2019)
Krishna Mohan Mishra, John-Eric Saxen, Jerker Björkqvist, Kalevi Huhtala
A4 Conference proceedings
Finnish primary teachers’ interaction with curriculum materials - digitalisation as an augmenting element (2018)
Heidi Krzywacki, Kirsti Hemmi, Janine Remillard, Hendrik Van Steenbrugge
PME International Group for Psychology of Mathematics Education
A4 Conference proceedings
Fixed Parameter Algorithms and Hardness of Approximation Results for the Structural Target Controllability Problem (2018)
Eugen Czeizler, Alexandru Popa, Victor Popescu
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Formal Verification of Stateful Services with REST APIs Using Event-B (2018)
Irum Rauf, Inna Vistbakka, Elena Troubitsyna
IEEE
View on publisher's site
A4 Conference proceedings
From West Africa to the Caribbean: The Making of a Radical African Atlantic (2018)
Holger Weiss
Internationales Willi Münzenberg Forum
A4 Conference proceedings
Fuzzy C-Means for Fraud Detection in Large Transaction Data Sets (2018)
Carlsson Christer, Markku Heikkilä, Xiaolu Wang
The Institute of Electrical and Electronics Engineers
View on publisher's site
A4 Conference proceedings
From wood-based polysaccharides to 3D scaffolds for biomedical applications (2017)
Xu C., Xu W., Liu J., Dax D., Pranovich A., Willför S.
VVM
A4 Conference proceedings
Formalisation-Driven Development of Safety-Critical Systems (2016)
Alexei Iliasov, Alexander Romanovsky, Elena Troubitsyna, Linas Laibinis
IEEE
View on publisher's site
A4 Conference proceedings
Fast Coding Unit Selection Based on Local Texture Characteristics for HEVC Intra Frame (2015)
Miloš Radosavljević, Georgios Georgakarakos, Sebastien Lafond, Dejan Vukobratović
IEEE Global Conference on Signal and Information Processing
A4 Conference proceedings
Formal Analysis of Proactive, Distributed Routing (2015)
Mojgan Kamali, Peter Höfner, Maryam Kamali, Luigia Petre
Lecture Notes in Computer Science
Springer
View on publisher's site
A4 Conference proceedings
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations (2015)
Muhammad Usman Sanwal, Osman Hasan
Lecture notes for computer science
A4 Conference proceedings
Frame Synchronization of Live Video Streams Using Visible Light Communication (2015)
Maziar Mehrabi, Sébastien Lafond, Le Wang
IEEE Global Conference on Signal and Information Processing
A4 Conference proceedings
From Requirements Engineering to Safety Assurance: Refinement Approach (2015)
Linas Laibinis, Elena Troubitsyna, Yuliya Prokhorova, Alexei Iliasov, Alexander Romanovsky
Springer
View on publisher's site
A4 Conference proceedings
Full Structural Model Refinement as Type Refinement of Colored Petri Nets (2015)
Diana-Elena Gratie, Ion Petre
CEUR Workshop Proceedings
CEUR-WS.org
A4 Conference proceedings
Fully printed biodegradable nanocellulose-based humidity sensor for SMART LABEL applications (2015)
Tomáš Syrový, Vinay Kumar, Martti Toivakka, Chunlin Xu, Lucie Syrová, Jan Řeboun, Douglas W. Bousfield
iarigai - The International Association of Research Organizations for the Information, Media and Graphic Arts Industries
A4 Conference proceedings
Fuzzy entropy used for predictive analytics (2015)
Christer Carlsson, Markku Heikkila, Jozsef Mezei
View on publisher's site
A4 Conference proceedings
Fabrication of Paper Based Microfluidics Channels by UV Irradiation (2014)
Joel Songok, Martti Toivakka
TAPPI Press
A4 Conference proceedings
Fit-Preserving Data Refinement of Mass-Action Reaction Networks (2014)
Cristian Gratie and Ion Petre
Springer
View on publisher's site
A4 Conference proceedings
Formal Derivation of Distributed MapReduce (2014)
Pereverzeva I, Butler M, Fathabadi AS, Laibinis L, Troubitsyna E
Springer
View on publisher's site
A4 Conference proceedings
Formal Modelling and Verification of Cooperative Ant Behaviour in Event-B (2014)
Laibinis L, Troubitsyna E, Graja Z, Migeon F, Kacem AH
Springer
View on publisher's site
10 | 25 | 50 | 100 
Previous page Previous page1/3 Next page Last page
Share link Export

Share link