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

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

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

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

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

Volltext

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

Volltext

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

Volltext

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

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

A Distribution Method for Solving SAT in Grids von Hyvärinen, Antti E. J., Junttila, Tommi, Niemelä, Ilkka

Volltext

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

Volltext

Probing surface plasmons by bare V-shaped tips: modeling by geometrical optics and rigorous diffraction theory von Bose, Gaurav, Hyvärinen, Heikki J., Tervo, Jani, Turunen, Jari

Volltext

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

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

Modelling point-of-consumption residual chlorine in humanitarian response: Can cost-sensitive learning improve probabilistic forecasts? von De Santi, Michael, Ali, Syed Imran, Arnold, Matthew, Fesselet, Jean-François, Hyvärinen, Anne M. J., Taylor, Dawn, Khan, Usman T.

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

Nicotine and 3-Ethenylpyridine Concentrations as Markers for Environmental Tobacco Smoke in Restaurants von HYVÄRINEN, M. J., ROTHBERG, M., KÄHKÖNEN, E., MIELO, T., REIJULA, K.

Volltext

Posterior parietal lobe of the primate brain von Hyvaerinen, J

Volltext

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

Volltext

Lattice-Based Refinement in Bounded Model Checking von Even-Mendoza, Karine, Asadi, Sepideh, Hyvärinen, Antti E. J., Chockler, Hana, Sharygina, Natasha

Volltext