( en | de | ru )

 

Disambiguation of "van Laarhoven, Twan"

Author of the publication

copydeleteadd this publication to your clipboard
Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics.

, , , , and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 378-392. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Twan Lammers

Twan-Lok Sie

Huynh Van Van

Peter Go Twan An

Eligius Vancek

 

Other publications of authors with the same name

Gaussian interaction profile kernels for predicting drug-target interaction., , and . Bioinform., 27 (21): 3036-3043 (2011)Simple Domain Adaptation with Class Prediction Uncertainty Alignment., , and . CoRR, (2018)An axiomatic study of objective functions for graph clustering., and . CoRR, (2013)Robust Community Detection Methods with Resolution Parameter for Complex Detection in Protein Protein Interaction Networks., and . PRIB, volume 7632 of Lecture Notes in Computer Science, page 1-13. Springer, (2012)Biases of Drug-Target Interaction Network Data., and . PRIB, volume 8626 of Lecture Notes in Computer Science, page 23-33. Springer, (2014)Incorporating Dependencies in Spectral Kernels for Gaussian Processes., , , and . ECML/PKDD (2), volume 11907 of Lecture Notes in Computer Science, page 565-581. Springer, (2019)Biased Bagging for Unsupervised Domain Adaptation., and . CoRR, (2017)Generative models for local network community detection.. CoRR, (2018)Multioutput Convolution Spectral Mixture for Gaussian Processes., , , , and . IEEE Trans. Neural Networks Learn. Syst., 31 (7): 2255-2266 (2020)Skewed Laplace Spectral Mixture kernels for long-term forecasting in Gaussian process., , and . CoRR, (2020)