发布求助
文献互助 智能选刊 最新文献

Theory and Practice of Computation最新文献

筛选
英文 中文
Approximation of Two Simple Variations of the Poset Cover Problem 偏序集覆盖问题的两个简单变型的逼近
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0001
I. Ordanel, H. Adorna, Jhoirene B. Clemente
{"title":"Approximation of Two Simple Variations of the Poset Cover Problem","authors":"I. Ordanel, H. Adorna, Jhoirene B. Clemente","doi":"10.1142/9789813279674_0001","DOIUrl":"https://doi.org/10.1142/9789813279674_0001","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123837500","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Using Body Posture, Movement and Human Activity to Predict Emotions 使用身体姿势，运动和人类活动来预测情绪
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0012
E. A. Calapatia, M. C. Suárez
{"title":"Using Body Posture, Movement and Human Activity to Predict Emotions","authors":"E. A. Calapatia, M. C. Suárez","doi":"10.1142/9789813279674_0012","DOIUrl":"https://doi.org/10.1142/9789813279674_0012","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116943662","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
PepSquad: A Tool for Finding Compact Structural Motifs from Peptides PepSquad:一个从肽中寻找紧凑结构基序的工具
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0004
J. P. Carandang, Jhoirene B. Clemente, J. E. Evangelista, H. Adorna
{"title":"PepSquad: A Tool for Finding Compact Structural Motifs from Peptides","authors":"J. P. Carandang, Jhoirene B. Clemente, J. E. Evangelista, H. Adorna","doi":"10.1142/9789813279674_0004","DOIUrl":"https://doi.org/10.1142/9789813279674_0004","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124053513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Hacking Contest Rule and an Official Practice of Information Security Event with Attack and Defense Style on a Game Website 黑客竞赛规则与攻防式信息安全事件在某游戏网站的正式实践
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0017
M. Nakaya, H. Tominaga
{"title":"Hacking Contest Rule and an Official Practice of Information Security Event with Attack and Defense Style on a Game Website","authors":"M. Nakaya, H. Tominaga","doi":"10.1142/9789813279674_0017","DOIUrl":"https://doi.org/10.1142/9789813279674_0017","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133278905","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Untyped Call-by-Value Calculus with First-Class Continuations and Environments 具有一等延续和环境的无类型按值调用演算
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0008
Yuta Aoyagi, S. Nishizaki
{"title":"Untyped Call-by-Value Calculus with First-Class Continuations and Environments","authors":"Yuta Aoyagi, S. Nishizaki","doi":"10.1142/9789813279674_0008","DOIUrl":"https://doi.org/10.1142/9789813279674_0008","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128844339","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
A Clique Finding Algorithm for the Approximate Gene Cluster Discovery Problem 一种近似基因簇发现问题的团查找算法
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0006
Geoffrey A. Solano, G. Blin, M. Raffinot, Jaime D. L. Caro
{"title":"A Clique Finding Algorithm for the Approximate Gene Cluster Discovery Problem","authors":"Geoffrey A. Solano, G. Blin, M. Raffinot, Jaime D. L. Caro","doi":"10.1142/9789813279674_0006","DOIUrl":"https://doi.org/10.1142/9789813279674_0006","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128998565","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Redesign of WappenLite: A Localhost Web Application Framework for Web-based Programming Environments WappenLite的重新设计:基于Web编程环境的本地主机Web应用程序框架
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0015
Koji Kagawa
{"title":"Redesign of WappenLite: A Localhost Web Application Framework for Web-based Programming Environments","authors":"Koji Kagawa","doi":"10.1142/9789813279674_0015","DOIUrl":"https://doi.org/10.1142/9789813279674_0015","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"136 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121530088","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Towards Improvements of Bounded Realizability Checking 有限可实现性检验的改进
Theory and Practice of Computation Pub Date : 2018-12-01 DOI: 10.1142/9789813279674_0009
Masaya Shimakawa, Shigeki Hagihara, N. Yonezaki
{"title":"Towards Improvements of Bounded Realizability Checking","authors":"Masaya Shimakawa, Shigeki Hagihara, N. Yonezaki","doi":"10.1142/9789813279674_0009","DOIUrl":"https://doi.org/10.1142/9789813279674_0009","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124828321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
An investigation of carefulness among students using an educational game for Physics 使用物理教育游戏的学生的细心性调查
Theory and Practice of Computation Pub Date : 1900-01-01 DOI: 10.1201/9780429261350-1
M. Banawan, M. Rodrigo
{"title":"An investigation of carefulness among students using an educational game for Physics","authors":"M. Banawan, M. Rodrigo","doi":"10.1201/9780429261350-1","DOIUrl":"https://doi.org/10.1201/9780429261350-1","url":null,"abstract":"","PeriodicalId":423465,"journal":{"name":"Theory and Practice of Computation","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127292143","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信