|
|
|
|
|
|
|
|
|
|
|
|
|
|
1227457
|
Theory and practice of computation : proceedings of workshop on computation: theory and practice WCTP2016 : the University of the Philippines Cebu, Cebu City, The Philippines 21-22 September 2016 / editors Shin-ya Nishizaki, Masayuki Numao, Jaime D. L. Caro, Merlin Teodosia C. Suarez
|
|
Judul Seri
|
:
|
|
|
Judul Asli
|
:
|
|
|
Isi
|
:
|
Isi : CFRP: a functional reactive programming language for small-scale embedded systems -- Discussion of LTL subsets for efficient verification -- First-class environments in categorical combinators -- An automated way of characterizing protein sequence entries stored in a database -- CALVIS: educational tool in learning Intel x86-32 instruction set architecture -- Assembly optimization loop unroll implementation for RISC and CISC processors and metrics for testing optimization effectiveness -- Deployable mobile communication infrastructure for emergency services (DISTRESS) -- Filmification: visual programming environment - demonstrated using Jacobi Relaxation Method as an example -- Direction tracking of a single moving camera through periodic image stitching -- Score transition of card game strategy as personal progress situation in an applied C programming exercise with a contest style -- A user acceptance test on ConnectUP: an academic social networking application developed using university ontology -- A rule-based classification of ECG rhythms using moving first derivative of the signal -- Descriptive academic analytics system for the college of computer studies of CIT University -- Emotion analysis and recognition of TAGLISHUANO online customer reviews -- Sentiment analysis of Philippine national elections 2016 Twitter data -- Designing a context-based English synonym database -- A study on self-organizing maps and k-means clustering on a music genre dataset -- Music-emotion recognition based on wearable dry-electrode electroencephalogram
|
|
Jenis Bahan
|
:
|
Monograf (teks) (volume)
|
|
Kreator
|
:
|
Nishizaki, Shin-ya ((editor)) ((penulis). -) - (First-class environments in categorical combinators)
Numao, Masayuki ((editor)) ((penulis). -) - (Music-emotion recognition based on wearable dry-electrode electroencephalogram)
Caro, Jaime D. L. ((editor)) ((penulis). -) - (Sentiment analysis of Philippine national elections 2016 Twitter data)
Suarez, Merlin Teodosia C. ((editor))
Suzuki, Kohei ((penulis). -) - (CFRP: a functional reactive programming language for small-scale embedded systems)
Nagayama, Kanato ((penulis). -) - (CFRP: a functional reactive programming language for small-scale embedded systems)
Sawada, Kensuke ((penulis). -) - (CFRP: a functional reactive programming language for small-scale embedded systems)
Watanabe, Takuo ((penulis). -) - (CFRP: a functional reactive programming language for small-scale embedded systems)
Shimakawa, Masaya ((penulis). -) - (Discussion of LTL subsets for efficient verification)
Iwasaki, Yuji ((penulis). -) - (Discussion of LTL subsets for efficient verification)
Hagihara, Shigeki ((penulis). -) - (Discussion of LTL subsets for efficient verification)
Yonezaki, Naoki ((penulis). -) - (Discussion of LTL subsets for efficient verification)
Joko, Hiroki ((penulis). -) - (First-class environments in categorical combinators)
Pacilan, J. D. ((penulis). -) - (An automated way of characterizing protein sequence entries stored in a database)
Alferez, K. P. ((penulis). -) - (An automated way of characterizing protein sequence entries stored in a database)
Lao, D. M. ((penulis). -) - (An automated way of characterizing protein sequence entries stored in a database)
Alcalde, Jennica Grace ((penulis). -) - (CALVIS: educational tool in learning Intel x86-32 instruction set architecture)
Chua, Goodwin ((penulis). -) - (CALVIS: educational tool in learning Intel x86-32 instruction set architecture)
Demabildo, Ivan Marlowe ((penulis). -) - (CALVIS: educational tool in learning Intel x86-32 instruction set architecture)
Ong, Marielle Ashley ((penulis). -) - (CALVIS: educational tool in learning Intel x86-32 instruction set architecture)
Uy, Roger Luis ((penulis). -) - (CALVIS: educational tool in learning Intel x86-32 instruction set architecture ;)
Cempron, Jonathan Paul ((penulis). -) - (Assembly optimization loop unroll implementation for RISC and CISC processors and metrics for testing optimization effectiveness)
Gonzales, Jonathan Benedict ((penulis). -) - (Assembly optimization loop unroll implementation for RISC and CISC processors and metrics for testing optimization effectiveness)
Hayakawa, Yuuki ((penulis). -) - (Assembly optimization loop unroll implementation for RISC and CISC processors and metrics for testing optimization effectiveness)
Salinas, Chudrack ((penulis). -) - (Assembly optimization loop unroll implementation for RISC and CISC processors and metrics for testing optimization effectiveness)
Chua, J. A. ((penulis). -) - (Deployable mobile communication infrastructure for emergency services (DISTRESS))
Go-Soco, J. P. ((penulis). -) - (Deployable mobile communication infrastructure for emergency services (DISTRESS))
Morano, I. S. ((penulis). -) - (Deployable mobile communication infrastructure for emergency services (DISTRESS))
Pequiras, K. D. ((penulis). -) - (Deployable mobile communication infrastructure for emergency services (DISTRESS))
Ong, A. V. ((penulis). -) - (Deployable mobile communication infrastructure for emergency services (DISTRESS))
Uriarte, Benjo Dennis C. ((penulis). -) - (Filmification: visual programming environment - demonstrated using Jacobi Relaxation Method as an example)
Roxas, Robert R. ((penulis). -) - (Filmification: visual programming environment - demonstrated using Jacobi Relaxation Method as an example ;)
Ilao, J. ((penulis). -) - (Direction tracking of a single moving camera through periodic image stitching)
Flores, F. K. ((penulis). -) - (Direction tracking of a single moving camera through periodic image stitching ;)
Hanakawa, Naoki ((penulis). -) - (Score transition of card game strategy as personal progress situation in an applied C programming exercise with a contest style)
Gemba, Fumiya ((penulis). -) - (Score transition of card game strategy as personal progress situation in an applied C programming exercise with a contest style)
Tominaga, Hiroyuki ((penulis). -) - (Score transition of card game strategy as personal progress situation in an applied C programming exercise with a contest style)
de Leon, Ricardo Pablo ((penulis). -) - (A user acceptance test on ConnectUP: an academic social networking application developed using university ontology)
Nazario, Michelle ((penulis). -) - (A user acceptance test on ConnectUP: an academic social networking application developed using university ontology)
Solamo, Ma. Rowena ((penulis). -) - (A user acceptance test on ConnectUP: an academic social networking application developed using university ontology)
Feria, Rommel ((penulis). -) - (A user acceptance test on ConnectUP: an academic social networking application developed using university ontology)
Farmador, Sandra Mae W. ((penulis). -) - (A rule-based classification of ECG rhythms using moving first derivative of the signal)
Arellano, Anthony Eliezer C. ((penulis). -) - (A rule-based classification of ECG rhythms using moving first derivative of the signal)
Pelayo, Charise A. ((penulis). -) - (A rule-based classification of ECG rhythms using moving first derivative of the signal)
Cortez, Butch M. ((penulis). -) - (Descriptive academic analytics system for the college of computer studies of CIT University)
Romana, Cherry Lyn C. Sta. ((penulis). -) - (Descriptive academic analytics system for the college of computer studies of CIT University)
Bucag, Martin Stefanny I. ((penulis). -) - (Emotion analysis and recognition of TAGLISHUANO online customer reviews)
Feliscuzo, Larmie S. ((penulis). -) - (Emotion analysis and recognition of TAGLISHUANO online customer reviews)
Turla, Zjan Carlo ((penulis). -) - (Sentiment analysis of Philippine national elections 2016 Twitter data)
Baclayon, Jannie Marie C. ((penulis). -) - (Designing a context-based English synonym database)
Azcarraga, A. ((penulis). -) - (A study on self-organizing maps and k-means clustering on a music genre dataset)
Senachakr, Patraporn ((penulis). -) - (Music-emotion recognition based on wearable dry-electrode electroencephalogram)
Thammasan, Nattapong ((penulis). -) - (Music-emotion recognition based on wearable dry-electrode electroencephalogram)
Fukui, Ken-ichi ((penulis). -) - (Music-emotion recognition based on wearable dry-electrode electroencephalogram)
|
|
Penerbitan
|
:
|
World Scientific Publishing
|
|
No. Panggil
|
:
|
004 THE
|
|
Konten Digital
|
:
|
Tidak Tersedia
|
|
Ketersediaan
|
:
|
4 dari 4 Item
|
|
|
|
|
|
|
|
|