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

Komputasi harus menjadi suatu perpaduan yang baik antara teori dan praktik. Para peneliti di lapangan harus membuat algoritma untuk mengatasi masalah dunia nyata yang memberikan bobot yang sama terhadap analisis dan implementasinya. Eksperimen dan simulasi dapat dilihat sebagai hasil untuk teori yan...

Full description

Format: Book
Bahasa: eng
Terbitan: Singapore : World Scientific Publishing , 2018
Subjects:
Daftar 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