An edition of Theory and Practice of Computation
(2013)
Theory and Practice of Computation
2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
by Shin-ya Nishizaki
Share
×Close
This book comprises the refereed proceedings of the Workshop on Computation: Theory and Practice (WCTP)–2012, held in Manila, The Philippines, in September 2012. The workshop was organized by the Tokyo Institute of Technology, the Institute of Scientific and Industrial Research–Osaka University, the University of the Philippines Diliman, and De La Salle University–Manila and was devoted to theoretical and practical approaches to computation. The 22 revised full papers presented in this volume were carefully reviewed. They deal with biologically inspired computational modeling, programming language theory, advanced studies in networking, and empathic computing.
Check nearby libraries
Buy this book
Subjects
Bioinformatics, Computational Biology/Bioinformatics, Data Mining and Knowledge Discovery, Information theory, User Interfaces and Human Computer Interaction, Logic design, Logics and Meanings of Programs, Computer science, Data mining, Theory of Computation, Artificial intelligence, Artificial Intelligence (incl. Robotics)| Edition | Availability |
|---|---|
1
|
zzzz
|
|
2
|
zzzz
|
|
3
|
zzzz
|
|
4
Theory and Practice of Computation: Proceedings of Workshop on Computation
2015, World Scientific Publishing Co Pte Ltd
in English
9814730467 9789814730464
|
zzzz
|
|
5
Theory and Practice of Computation
2014, World Scientific Publishing Co Pte Ltd
in English
1322224242 9781322224244
|
zzzz
|
6
Theory and Practice of Computation: 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings
2013, Springer Japan, Imprint: Springer
electronic resource :
in English
4431544364 9784431544364
|
aaaa
|
Book Details
Table of Contents
On Generating Soft Real-Time Programs for Non-Real-Time Environments
A Formal Ontology of Interactions with Intensional Quantitative Semantics
An Object Calculus with Remote Method Invocation
A Metric for User Requirements Traceability in Sequence, Class Diagrams, and Lines-Of-Code via Robustness Diagrams
Some Improvements of Parallel Random Projection for Finding Planted (l, d)-Motifs
Time after Time: Notes on Delays in Spiking Neural P Systems
A Grammar for Detecting Well-Handled 2-split, 2-join Workflow Nets without Cycles
A Process Algebra Model of Interleukin-2 Trafficking in Hematopoeitic Cells
Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem
Solving the Exact Pattern Matching Problem Constrained to Single Occurrence of Pattern P in String S Using Grover's Quantum Search Algorithm
Design of a Scala-Based Monitoring Server for Web-Based Programming Environments
Recognizing Historical KANA Texts Using Constraints
PedInfoSys: An OpenMRS Based Pediatric Information System
Correlation of Stress Inducers and Physiological Signals with Continuous Stress Annotations
Towards the Design and Development of Anticipation-Based Event Selection Modeling for Survival Horror Games
Sidekick Retrospect: A Self-regulation Tool for Unsupervised Learning Environments
Extensible Network Appliance Platform (e-NAP)
Marker-Less Gesture and Facial Expression Based Affect Modeling
Mobile Indoor Positioning Using Wi-fi Localization and Image Processing
Automated Vehicle Entrance Monitor Using Pattern Recognition via Haar Classifiers
A Study on Activity Predictive Modeling for Prompt and Delayed Services in Smart Space
Plagiarism Detection Methods by Similarity and Its Application to Source Codes of C Program.
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| July 7, 2019 | Created by MARC Bot | import new book |