000 04297nam a22004095i 4500
001 309108
003 MX-SnUAN
005 20170705134319.0
007 cr nn 008mamaa
008 150903s2013 ja | o |||| 0|eng d
020 _a9784431544364
_99784431544364
024 7 _a10.1007/9784431544364
_2doi
035 _avtls000363904
039 9 _a201509030641
_bVLOAD
_c201405070350
_dVLOAD
_y201402211200
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aQA76.9.L63
100 1 _aNishizaki, Shin-ya.
_eeditor.
_9349256
245 1 0 _aTheory and Practice of Computation :
_b2nd Workshop on Computation: Theory and Practice, Manila, The Philippines, September 2012, Proceedings /
_cedited by Shin-ya Nishizaki, Masayuki Numao, Jaime Caro, Merlin Teodosia Suarez.
264 1 _aTokyo :
_bSpringer Japan :
_bImprint: Springer,
_c2013.
300 _axii, 295 páginas 130 ilustraciones
_brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aProceedings in Information and Communications Technology,
_x1867-2914 ;
_v7
500 _aSpringer eBooks
505 0 _aOn 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 _aThis 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.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
700 1 _aNumao, Masayuki.
_eeditor.
_9329164
700 1 _aCaro, Jaime.
_eeditor.
_9349257
700 1 _aSuarez, Merlin Teodosia.
_eeditor.
_9349258
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9784431544357
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-4-431-54436-4
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c309108
_d309108