Hasil Pencarian
Ditemukan 48 dokumen dengan kata kunci 4347 Simpan CSV Simpan CSV
Using the OntoGene pipeline for the triage task of BioCreative 2012
Pengarang: Fabio Rinaldi, Simon Clematide, Simon Hafner, Gerold Schneider, dll | No. Panggil: Database (Volume 2013, p.bas053) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Using argumentation to reason about trust and belief
Pengarang: Yuqing Tang, Kai Cai, Peter McBurney, Elizabeth Sklar, and Simon Parsons | No. Panggil: Journal of Logic and Computation October 2012, 22 (5), p. 979-1018 |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Modelling Batch Systems Using Population Balances
Pengarang: Hede, Peter Dybdahl | No. Panggil: ebM-0110 |
Koleksi: e-Book MIPA  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Using synchronous tree adjoining grammar to model the typology of bound variable pronouns
Pengarang: Dennis Ryan Storoshenko, Chung-Hye Han | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. 371-403) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Quantifiers in logic and proof-search using permissive-nominal terms and sets
Pengarang: Murdoch J. Gabbay, Claus-Peter Wirth | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (473-523) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Stroke-based intelligent character recognition using a deterministic finite automaton
Pengarang: D. Álvarez, R. Fernández, and L. Sánchez | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 463-471) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
A protocol to encrypt digital images using chaotic maps and memory cellular automata
Pengarang: A. Martín del Rey, G. Rodríguez Sánchez, and A. de la Villa Cuenca | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 485-494) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Rough local transfer function for cardiac disorders detection using heart sounds
Pengarang: Aboul Ella Hassanien, Mostafa A. Salama, Jan Platos, and Vaclav Snasel | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p.506-520) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Relative expressive power of navigational querying on graphs using transitive closure
Pengarang: Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, dll | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 4 August 2015, p. 759-788) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Treatment outcomes using CyberKnife for brain metastases from lung cancer
Pengarang: Keisuke Tamari, Osamu Suzuki, Naoya Hashimoto, Naoki Kagawa, dll | No. Panggil: Journal of Radiation Research (Volume 23 Issue 1 January 2015, p. 151-158) |
Koleksi: e-Article Oxford Journal  :: Cari yang mirip  :: Tambahkan ke Favorit  ::
Prev   1 2 3 4 5  Next