Direct contact condensation modeling in pressure suppression pool system von Patel, G., Tanskanen, V., Hujala, E., Hyvärinen, J.

Volltext

Dryout heat flux experiments with deep heterogeneous particle bed von Lindholm, I., Holmström, S., Miettinen, J., Lestinen, V., Hyvärinen, J., Pankakoski, P., Sjövall, H.

Volltext

Using linear algebra in decomposition of Farkas interpolants von Blicha, Martin, Hyvärinen, Antti E. J., Kofroň, Jan, Sharygina, Natasha

Volltext

Partitioning SAT Instances for Distributed Solving von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka

Volltext

SMT-based verification of program changes through summary repair von Asadi, Sepideh, Blicha, Martin, Hyvärinen, Antti E. J., Fedyukovich, Grigory, Sharygina, Natasha

Volltext

Exploiting partial variable assignment in interpolation-based model checking von Jančík, Pavel, Kofroň, Jan, Alt, Leonardo, Fedyukovich, Grigory, Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

Geometrical optics in the near field: local plane-interface approach with evanescent waves von Bose, Gaurav, Hyvärinen, Heikki J, Tervo, Jani, Turunen, Jari

Volltext

Limitations of superoscillation filters in microscopy applications von Hyvärinen, Heikki J, Rehman, Shakil, Tervo, Jani, Turunen, Jari, Sheppard, Colin J R

Volltext

An Arbitrary Lagrangian-Eulerian finite element method von KJELLGREN, P, HYVÄRINEN, J

Volltext

The effect of sterilisation on a poly(dimethylsiloxane)/poly(hexamethylene oxide) mixed macrodiol-based polyurethane elastomer von Simmons, Anne, Hyvarinen, Jari, Poole-Warren, Laura

Volltext

Corrigendum to Direct contact condensation modeling in pressure suppression pool system [Nuclear Engineering and Design 321 (2017) 328–342] von Patel, G., Tanskanen, V., Hujala, E., Hyvärinen, J.

Volltext

Elementary-field modeling of surface-plasmon excitation with partially coherent light von Hyvärinen, H. J., Turunen, J., Vahimaa, P.

Volltext

Polarization insensitive resonance-domain blazed binary gratings von Hyvärinen, Heikki J, Karvinen, Petri, Turunen, Jari

Volltext

Long-term in vivo biostability of poly(dimethylsiloxane)/poly(hexamethylene oxide) mixed macrodiol-based polyurethane elastomers von Simmons, Anne, Hyvarinen, Jari, Odell, Ross A, Martin, Darren J, Gunatillake, Pathiraja A, Noble, Kathryn R, Poole-Warren, Laura A

Volltext

Free-field characterization via directional transmission through a nanoaperture von Rahomäki, Jussi, Hyvärinen, Heikki J, Rehman, Shakil, Turunen, Jari

Volltext

Intermediaries as drivers of innovation development in resource-constrained environments: Insights from the Kenyan water sector von Hyvärinen, Anne M.J., Keskinen, Marko, Levänen, Jarkko

Volltext

Deficiency of a Transmembrane Prolyl 4-Hydroxylase in the Zebrafish Leads to Basement Membrane Defects and Compromised Kidney Function von Hyvärinen, Jaana, Parikka, Mataleena, Sormunen, Raija, Rämet, Mika, Tryggvason, Karl, Kivirikko, Kari I., Myllyharju, Johanna, Koivunen, Peppi

Volltext

Picky CDCL: SMT-Solving with Flexible Literal Selection von Britikov, Konstantin I., Hyvärinen, Antti E. J., Sharygina, Natasha

Volltext

TEKES impact goals, logic model and evaluation of socio-economic effects von Hyvarinen, J.

Volltext

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing von Hyvärinen, Antti E. J., Marescotti, Matteo, Alt, Leonardo, Sharygina, Natasha

Volltext