Jonatan Ropponen

  • Citations Per Year
Learn More
UNLABELLED tigre is an R/Bioconductor package for inference of transcription factor activity and ranking candidate target genes from gene expression time series. The underlying methodology is based on Gaussian process inference on a differential equation model that allows the use of short, unevenly sampled, time series. The method has been designed with(More)
Digital instrumentation and control (I&C) systems are challenging to verify. They enable complicated control functions, and the state spaces of the models easily become too large for comprehensive verification through traditional methods. Model checking is a formal method that can be used for system verification. A number of efficient model checking systems(More)
BACKGROUND AND AIMS In this report, we present our experience with the transaortic transcatheter aortic valve implantation using the SAPIEN valve. The procedural success, 30-day outcome, and survival up to 2 years are compared with the transapical access performed in patients in our institution. MATERIAL AND METHODS Of a total of 282 transcatheter aortic(More)
  • 1