Effect of Sampling Method on Detection of the Equine Uterine Microbiome during Estrus von Heil, B A, van Heule, M, Thompson, S K, Kearns, T A, Oberhaus, E L, King, G, Daels, P, Dini, P, Sones, J L

Volltext

93 Zeta potential of equine sperm and its association with sperm quality von Orsolini, M F, Verstraete, M H, van Heule, M, Orellana, D, Ortega, A, Meyers, S, Dini, P

Volltext

35 The effect of different cooled storage protocols on frozen-thawed equine semen von van Heule, M, Verstraete, M H, Blockx, Z, De Blende, P, Dini, P, Daels, P

Volltext

Metagenomic characterization of the equine endometrial microbiome during anestrus von Heil, B.A., van Heule, M., Thompson, S.K., Kearns, T.A., Beckers, K.F., Oberhaus, E.L., King, G., Daels, P., Dini, P., Sones, J.L.

Volltext

Efficacy of the novel microfluidic chip as a sperm selection method for equine ICSI von Orsolini, MF, Verstraete, MH, van Heule, M, Meyers, SA, Dini, P

Volltext

Powder-Based Ceramic Meso- and Microscale Fabrication Processes von Heule, M., Vuillemin, S., Gauckler, L.J.

Volltext

Computing Maximum Unavoidable Subgraphs Using SAT Solvers von Cuong, C. K., Heule, M. J. H.

Volltext

A Miniaturized Enzyme Reactor Based on Hierarchically Shaped Porous Ceramic Microstruts von Heule, M., Rezwan, K., Cavalli, L., Gauckler, L.J.

Volltext

Sums of squares based approximation algorithms for MAX-SAT von van Maaren, H., van Norden, L., Heule, M.J.H.

Volltext

175 Comparison of RNA extraction methods for equine spermatozoal transcriptomics von Orsolini, M. F., van Heule, M., Dini, P., Meyers, S.

Volltext

Gas Sensors Fabricated from Ceramic Suspensions by Micromolding in Capillaries von Heule, M., Gauckler, L. J.

Volltext

Between SAT and UNSAT: The Fundamental Difference in CDCL SAT von Oh, Chanseok

Volltext

A New Method to Construct Lower Bounds for Van der Waerden Numbers von Herwig, P. R., Heule, M.J.H., Van Lambalgen, P. M., Van Maaren, H.

Volltext

Fifty years of firn evolution on Grigoriev ice cap, Tien Shan, Kyrgyzstan von Machguth, Horst, Eichler, Anja, Schwikowski, Margit, Brütsch, Sabina, Mattea, Enrico, Kutuzov, Stanislav, Heule, Martin, Usubaliev, Ryskul, Belekov, Sultan, Mikhalenko, Vladimir N, Hoelzle, Martin, Kronenberg, Marlene

Volltext

Evaluating CDCL Variable Scoring Schemes von Biere, Armin, Fröhlich, Andreas

Volltext

HordeSat: A Massively Parallel Portfolio SAT Solver von Balyo, Tomáš, Sanders, Peter, Sinz, Carsten

Volltext

Bounded Model Checking

Volltext

Satisfiability Modulo Theories

Volltext

Constructing SAT Filters with a Quantum Annealer von Douglass, Adam, King, Andrew D., Raymond, Jack

Volltext

Recruitment of older adults with cancer to psychotherapy research von Saracino, R., Heule, M., Mehta, N., Lynch, K., Demirjian, C., Nelson, C.

Volltext