Hasil Pencarian
Ditemukan 66 dokumen dengan kata kunci 3716 Simpan CSV Simpan CSV
T2D@ZJU: a knowledgebase integrating heterogeneous connections associated with type 2 diabetes mellitus
Pengarang: Zhenzhong Yang, Jihong Yang, Wei Liu, Leihong Wu, dll | No. Panggil: Database (Volume 2013, p.bat052) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The Protein Model Portal—a comprehensive resource for protein structure and model information
Pengarang: Juergen Haas, Steven Roth, Konstantin Arnold, Florian Kiefer, dll | No. Panggil: Database (Volume 2013, p.bat031) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
The Univalence Axiom in posetal model categories
Pengarang: Misha Gavrilovich,Assaf Hasson,Itay Kaplan | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 3 june 2015, p. 669-682) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Curation accuracy of model organism databases
Pengarang: Ingrid M. Keseler, Marek Skrzypek, Deepika Weerasinghe, Albert Y. Chen, dll | No. Panggil: Database (Volume 2014, p. bau058) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Model-theoretic properties of the n-c.e. degrees
Pengarang: Marat M. Arslanov | No. Panggil: Journal of Logic and Computation August 2012, 22 (4), p. 669-677 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Preservation by fibring of the finite model property
Pengarang: M. E. Coniglio, A. Sernadas, and C. Sernadas | No. Panggil: Journal of Logic and Computation April 2011, 21 (3), p. 375-402 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Model Checking Using Description Logic
Pengarang: Shoham Ben-David, Richard Trefler, and Grant Weddell | No. Panggil: Journal of Logic and Computation February 2010, 20 (1), p. 111-1131 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Negotiated expertise in policy-making: How governments use hybrid advisory committees
Pengarang: Eva Krick | No. Panggil: Science and Public Policy (Volume 42 Issue 4 Agustus 2015, p. 487-500) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
An improved hybrid algorithm for capacitated fixed-charge transportation problem
Pengarang: Camelia-M. Pintea and Petrică C. Pop | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 369-378) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints
Pengarang: Julio Fernandez-Ceniceros, Fernando Antonanzas-Torres, FCO. Javier Martinez-De-Pison, and Andres Sanz-Garcia | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 451-462) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5 6 7  Next