Cargando…
Theory and Practice of Computation 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Tokyo :
Springer Japan : Imprint: Springer,
2013.
|
| Edición: | 1st ed. 2013. |
| Colección: | Proceedings in Information and Communications Technology,
7 |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-4-431-54436-4 | ||
| 003 | DE-He213 | ||
| 005 | 20220118185221.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 130602s2013 ja | s |||| 0|eng d | ||
| 020 | |a 9784431544364 |9 978-4-431-54436-4 | ||
| 024 | 7 | |a 10.1007/978-4-431-54436-4 |2 doi | |
| 050 | 4 | |a QA75.5-76.95 | |
| 072 | 7 | |a UYA |2 bicssc | |
| 072 | 7 | |a COM051000 |2 bisacsh | |
| 072 | 7 | |a UYA |2 thema | |
| 082 | 0 | 4 | |a 004.0151 |2 23 |
| 245 | 1 | 0 | |a Theory and Practice of Computation |h [electronic resource] : |b 2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings / |c edited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez. |
| 250 | |a 1st ed. 2013. | ||
| 264 | 1 | |a Tokyo : |b Springer Japan : |b Imprint: Springer, |c 2013. | |
| 300 | |a XII, 295 p. 130 illus. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Proceedings in Information and Communications Technology, |x 1867-2922 ; |v 7 | |
| 505 | 0 | |a 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. | |
| 520 | |a 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. | ||
| 650 | 0 | |a Computer science. | |
| 650 | 0 | |a Bioinformatics. | |
| 650 | 0 | |a Artificial intelligence. | |
| 650 | 0 | |a User interfaces (Computer systems). | |
| 650 | 0 | |a Human-computer interaction. | |
| 650 | 0 | |a Data mining. | |
| 650 | 1 | 4 | |a Computer Science Logic and Foundations of Programming. |
| 650 | 2 | 4 | |a Computational and Systems Biology. |
| 650 | 2 | 4 | |a Theory of Computation. |
| 650 | 2 | 4 | |a Artificial Intelligence. |
| 650 | 2 | 4 | |a User Interfaces and Human Computer Interaction. |
| 650 | 2 | 4 | |a Data Mining and Knowledge Discovery. |
| 700 | 1 | |a Nishizaki, Shin-ya. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Numao, Masayuki. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Caro, Jaime. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Suarez, Merlin Teodosia. |e editor. |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9784431544371 |
| 776 | 0 | 8 | |i Printed edition: |z 9784431544357 |
| 830 | 0 | |a Proceedings in Information and Communications Technology, |x 1867-2922 ; |v 7 | |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-4-431-54436-4 |z Texto Completo |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||