Robust anytime learning of Markov decision processes by Suilen, M, Simão, TD, Jansen, N, Parker, D

Test–Retest Reliability of the Generalized Pain Questionnaire in Patients with Rheumatoid Arthritis and Preliminary Reference Values for Non-Clinical and Several Clinical Sam... by Jansen N, ten Klooster PM, Vonkeman HE, Buitenweg JR

Get full text

Sampling-based robust control of autonomous systems with non-Gaussian noise by Badings, T, Abate, A, Jansen, N, Parker, D, Poonawala, H, Stoelinga, M

Robust control for dynamical systems with non-Gaussian noise via formal abstractions by Badings, T, Romao, L, Abate, A, Parker, D, Poonawala, HA, Stoelinga, M, Jansen, N

Artificial Intelligence Enhances Diagnostic Flow Cytometry Workflow in the Detection of Minimal Residual Disease of Chronic Lymphocytic Leukemia by Mohamed E. Salama, Gregory E. Otteson, Jon J. Camp, Jansen N. Seheult, Dragan Jevremovic, David R. Holmes, Horatiu Olteanu, Min Shi

Get full text

Not as “D”eadly as once thought – the risk of D-alloimmunization and hemolytic disease of the fetus and newborn following RhD-positive transfusion in trauma by Mark H. Yazer, Gleb Panko, John B. Holcomb, Alesia Kaplan, Christine Leeper, Jansen N. Seheult, Darrell J. Triulzi, Philip C. Spinella

Get full text

Synthesis and verification of delf-aware computing systems by Calinescu, R, Autili, M, Camara, J, Di Marco, A, Gerasimou, S, Inverardi, P, Perucci, A, Jansen, N, Katoen, J, Kwiatkowska, M, Mengshoel, O, Spalazzese, R, Tivoli, M

The F-BAR protein pacsin2 inhibits asymmetric VE-cadherin internalization from tensile adherens junctions by Dorland, Y, Malinova, T, Van Stalborch, A, Grieve, A, Van Geemen, D, Jansen, N, De Kreuk, B, Nawaz, K, Kole, J, Geerts, D, Musters, R, De Rooij, J, Hordijk, P, Huveneers, S

Dual T-cell constant β chain (TRBC)1 and TRBC2 staining for the identification of T-cell neoplasms by flow cytometry by Pedro Horna, Matthew J. Weybright, Mathieu Ferrari, Dennis Jungherz, YaYi Peng, Zulaikha Akbar, F. Tudor Ilca, Gregory E. Otteson, Jansen N. Seheult, Janosch Ortmann, Min Shi, Paul M. Maciocia, Marco Herling, Martin A. Pule, Horatiu Olteanu

Get full text

Tools at the frontiers of quantitative verification: QComp 2023 competition report by Andriushchenko, R, Bork, A, Budde, CE, Češka,, M, Grover, K, Hahn, EM, Hartmanns, A, Israelsen, B, Jansen, N, Jeppson, J, Junges, S, Köhl, MA, Könighofer, B, Křetínský, J, Meggendorfer, T, Parker, D, Pranger, S, Quatmann, T, Ruijters, E, Taylor, L, Volk, M, Weininger, M, Zhang, Z

Inventory management by Devine, D.V., Sher, G.D., Reesink, H.W., Panzer, S., Hetzel, P.A.S., Wong, J.K., Horvath, M., Leitner, G.C., Schennach, H., Nussbaumer, W., Genoe, K., Cioffi, J.M., Givisiez, F.N., Rogerson, M., Howe, D., Delage, G., Sarappa, C., Charbonneau, Y., Fu, Y., Sarlija, D., Vuk, T., Patko, M.S., Balija, M., Jukic, I., Ali, A., Auvinen, M.K., Jaakonsalo, E., Cazenave, J.P., Waller, C., Kientz, D., David, B., Walther-Wenke, G., Heiden, M., Lin, C.K., Tsoi, W.C., Lee, C.K., Barotine-Toth, K., Sawant, R.B., Murphy, W., Quirke, B., Bowler, P., Shinar, E., Yahalom, V., Aprili, G., Piccoli, P., Gandini, G., Tadokoro, K., Nadarajan, V.S., de Kort, W., Jansen, N., Flanagan, P., Forsberg, P.O., Hervig, T., Letowska, M., Lachert, E., Dudziak, K., Antoniewicz-Papis, J., de Olim, G., Nascimento, F., Hindawi, S., Teo, D., Reddy, R., Scholtz, J., Swanevelder, R., Rovira, L.P., Sauleda, S., Carasa, M.A.V., Vaquero, M.P., Ania, M.A., Gulliksson, H., Holdsworth, S., Cotton, S., Howell, C., Baldwin, C., Cusick, R.M., Geele, G.A., Paden, C., McEvoy, P., Gottschall, J.L., McLaughlin, L.S., Benjamin, R.J., Eder, A., Draper, N.L., AuBuchon, J.P., Leon de Gonzalez, G.