Ditemukan 57 dokumen dengan kata kunci 4386 |
Simpan CSV ![Simpan CSV](icons/save.png) |
(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program
|
Pengarang: Luca Bortolussi and Alberto Policriti | No. Panggil: Journal of Logic and Computation August 2013, 23 (4), p. 761-798 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
TEORI BAHASA DAN AUTOMATA
|
|
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence
|
Pengarang: Ioana Leuştean | No. Panggil: Journal of Logic and Computation June 2011, 21 (3), p. 493-508 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
What if no hybrid reasoner is available? Hybrid MKNF in multi-context systems
|
Pengarang: Matthias Knorr, Martin Slota, João Leite, and Martin Homola | No. Panggil: Journal of Logic and Computation (December 2014; 24 (6), p. 1279-1311) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
A hybrid qualitative approach for relative movements
|
Pengarang: Joanna Golińska-Pilarek and Emilio Muñoz-Velasco | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 410-420) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Evolution and dynamics of node-weighted networks for cellular automata computation
|
Pengarang: Anca Andreica and Camelia Chira | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 400-409) |
|
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 ::
|
|
A small model theorem for the hybrid μ-calculus
|
Pengarang: Kuniaki Tamura | No. Panggil: Journal of Logic and Computation (Volume 25 Issue 2 April 2015, p. (405-441) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
FHC: an adaptive fast hybrid method for k-NN classification
|
Pengarang: Stefanos Ougiaroglou, Georgios Evangelidis, and Dimitris A. Dervos | No. Panggil: Logic Journal of the IGPL (Volume 23 Issue 3 June 2015, p. 431-450) |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|
Hybrid Functional Interpretations of Linear and Intuitionistic Logic
|
Pengarang: Paulo Oliva | No. Panggil: Journal of Logic and Computation April 2012, 22 (2), p. 305-328 |
|
Koleksi: e-Article Oxford Journal ::
Cari yang mirip ::
Tambahkan ke Favorit ::
|
|