HLA-DQA105 Carriage Associated With Development of Anti-Drug Antibodies to Infliximab and Adalimumab in Patients With Crohn’s Disease von Kennedy, Nicholas A., Moutsianas, Loukas, Heap, Graham A., Chanchlani, Neil, Walker, Gareth J., Perry, Mandy H., Lees, Charlie W., Parkes, Miles, Mansfield, John C., McGovern, Dermot, Ahmad, Tariq, Patel, Vinod, Mazhar, Zia, Colleypriest, Ben, Weaver, Sean, Preston, Cathryn, Butt, Assad, Smith, Melissa, Beale, Amanda, Langlands, Sarah, Direkze, Natalie, Torrente, Franco, De La Revella Negro, Juan, Ewen MacDonald, Chris, Evans, Stephen M, Gunasekera, Anton V J, Thakur, Alka, Elphick, David, Shenoy, Achuth, Agrawal, Anurag, Bridger, Stephen, Cooper, Sheldon C, de Silva, Shanika, Mowat, Craig, Mayhead, Phillip, Lees, Charlie, Ahmad, Tariq, Russell, Richard K, Gervais, Lisa, Dunckley, Paul, Mahmood, Tariq, Banim, Paul J R, Sonwalkar, Sunil, Ghosh, Deb, Phillips, Rosemary H, Azaz, Amer, Sebastian, Shaji, Shenderey, Richard, Armstrong, Lawrence, Bell, Claire, Hariraj, Radhakrishnan, Matthews, Helen, Jafferbhoy, Hasnain, Selinger, Christian P, Willmott, Anne, Bloom, Stuart L, Chung-Faye, Guy, Harbord, Marcus, Hart, Ailsa, Lindsay, James O, Mawdsley, Joel E, McNair, Alistair, Murray, Charles D, Paul, Thankam, Pollok, Richard, Shah, Neil, Johnson, Matt W, Modi, Anita, Dawa Kabiru, Kasamu, Baburajan, B K, Bhaduri, Bim, Adebayo Fagbemi, Andrew, Limdi, Jimmy K, Ramadas, Arvind, MacFaul, George, Mansfield, John, Morris, Mary-Anne, Tremelling, Mark, Hawkey, Chris, Charlton, Charles PJ, Rodrigues, Astor, Snook, Jonathon, De Silva, Aminda N, Smith, Mark S, Panter, Simon, Cummings, Fraser, Mahmood, Zahid, Sen, Sandip, Pigott, Anna J, Hobday, David, Wesley, Emma, Beckly, John, Vani, Deven, Ramakrishnan, Subramaniam, Chaudhary, Rakesh, Trudgill, Nigel J, Cooney, Rachel, Bell, Andy, Li, Andy, Gore, Stephen

Volltext

SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving von Corzilius, Florian, Kremer, Gereon, Junges, Sebastian, Schupp, Stefan, Ábrahám, Erika

Volltext

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

Volltext

HYDROPHILIC FOAM HAVING IMPROVED FLUID RETENTION von WEAVER, Sean T

Volltext bestellen

DRY FILM FORMULATION von WEAVER, Sean T

Volltext bestellen

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

Volltext

SOLVENT COMPATIBLE NOZZLE PLATE von Weaver, Sean T

Volltext bestellen

Solvent compatible nozzle plate von Weaver, Sean T

Volltext bestellen

Photoresist imaging and development for enhanced nozzle plate adhesion von Weaver, Sean T

Volltext bestellen

Theory and Applications of Satisfiability Testing -- SAT 2015: 18th International Conference, Austin, TX, USA, September 24-27, 2015, Proceedings

Volltext

Photoimageable nozzle member for reduced fluid cross-contamination and method therefor von Weaver, Sean T

Volltext bestellen

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

Volltext

Solvent Compatible Nozzle Plate von Weaver, Sean T

Volltext bestellen

COMPOSITE PHOTORESIST MATERIAL AND METHOD FOR MAKING THEREOF, AND FLUID EJECTION HEAD von WEAVER, Sean T

Volltext bestellen

FLUID EJECTION HEAD, METHOD FOR IMPROVING THE SAME AND METHOD FOR MAKING FLUID JET EJECTION HEAD von WEAVER, Sean T

Volltext bestellen

Dry film formulation von Weaver, Sean T

Volltext bestellen

NOZZLE PLATE, FLUID EJECTION HEAD, AND METHOD FOR MAKING FLUID EJECTION HEAD von WEAVER, Sean T

Volltext bestellen

PHOTOIMAGEABLE NOZZLE MEMBER FOR REDUCED FLUID CROSS-CONTAMINATION AND METHOD THEREFOR von WEAVER, Sean T

Volltext bestellen

PBLib -- A Library for Encoding Pseudo-Boolean Constraints into CNF von Philipp, Tobias, Steinke, Peter

Volltext

Improved Algorithms for Sparse MAX-SAT and MAX-k-CSP von Chen, Ruiwen, Santhanam, Rahul

Volltext