掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Workshop on Computation: Theory and Practice
Workshop on Computation: Theory and Practice
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
BUILDING POLICIES FOR SUPPORTIVE FEEDBACK IN SELF-DIRECTED LEARNING SCENARIOS
机译:
在自我指导学习场景中构建支持反馈的政策
作者:
P. S. INVENTADO
;
R. LEGASPI
;
K. MORIYAMA
;
K. FUKUI
;
M. NUMAO
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Self-directed learning;
Self-regulated learning;
Reinforcement learning;
Profit sharing;
2.
DATA COLLECTION WITH PRIORITIZATION FOR WIRELESS SENSOR NETWORKS
机译:
具有无线传感器网络优先级的数据收集
作者:
ARLYN VERINA ONG
;
GREGORY CU
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
DATA COLLECTION;
PRIORITIZATION;
WIRELESS SENSOR NETWORKS;
3.
AN APPLICATION PROGRAMMING INTERFACE FOR THE COMMUNICATION AND STORAGE PROTOCOL FOR THE TALA EMPATHIC SPACE
机译:
用于TALA IMPATH空间的通信和存储协议的应用程序编程界面
作者:
GREGORY CU
;
JOSE MARI R. CIPRIANO
;
MICHAEL JOSEPH GONZALES
;
KEVIN MARTIN TANALGO
;
CHRISTIAN KAY B. MAGDAONG
;
MICA PAULINE TIU
;
JERICHO ROMEO U. LONGALONG
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
AN APPLICATION PROGRAMMING INTERFACE;
COMMUNICATION;
STORAGE PROTOCOL;
4.
WEAK BISIMULATION BETWEEN TWO BIOGEOCHEMICAL CYCLES
机译:
两种生物地球化学循环之间的弱分布
作者:
J. B. CLEMENTE
;
H. A. ADORNA
;
J.J.S. VILLAR
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Bisimulation;
Biogeo chemical Cycles;
Carbon Cycle;
Nitrogen Cycle;
5.
A SERIOUS GAME STIMULATING CHILDREN'S INTEREST IN CHEMICAL BONDING
机译:
一场严重的游戏,刺激儿童对化学粘合的兴趣
作者:
KAORU SUMI
;
KENTO KUDO
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
A SERIOUS;
STIMULATING CHILDREN'S INTEREST;
CHEMICAL BONDING;
6.
COMPOSITIONAL CONSTRUCTION OF GROUP-WIDE META-LEVEL ARCHITECTURES
机译:
集团宽元平架构的组成结构
作者:
TAKUO WATANABE
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Computational Reflection;
Group-Wide Reflection;
Meta-Level Architecture;
Actor Model;
Parallel Composition;
CEK Abstract Machine;
7.
FLASH CODE WITH DUAL MODES OF ENCODING
机译:
具有双重编码的闪存代码
作者:
Michael Joseph Tan
;
Proceso Fernandez
;
Nino A. Salazar
;
Jayzon Ty
;
Yuichi Kaji
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
flash memory;
flash code;
binary-indexed;
dual-mode encoding;
8.
RANKING ANALYSIS OF BATTLE RESULT OF BOARD GAME STRATEGY IN JAVA PROGRAMMING EXERCISE
机译:
Java编程运动中董事会游戏策略战斗结果的排名分析
作者:
KOHEI YAM ADA
;
HIROYUKI TOMINAGA
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
RANKING ANALYSIS;
BATTLE RESULT;
BOARD GAME STRATEGY;
9.
CALL-BY-NAME EVALUATION OF RPC AND RMI CALCULI
机译:
RPC和RMI Calculi的呼叫名称评估
作者:
Shota Araki
;
Shin-ya Nishizaki
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Lambda Calculus;
Remort Procedure Call;
RPC Calculus;
Evaluation Strategy;
Call-by-name Evaluation;
10.
PROBING THE HARDNESS OF THE APPROXIMATE GENE CLUSTER DISCOVERY PROBLEM (AGCDP)
机译:
探测近似基因簇发现问题的硬度(AGCDP)
作者:
G. S. CABUNDUCAN
;
J. B. CLEMENTE
;
H. N. ADORNA
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Approximate Gene Cluster Discovery Problem;
Median String Problem;
Reduction;
NP-hard;
11.
A Template Matching Method for Explosive Gas Identification
机译:
爆炸性气体识别模板匹配方法
作者:
Ralph Jason G. Caballes
;
Sandra Mae W. Famador
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Analyte;
MQ2;
Template Matching;
Gas sensor;
Gaussian noise;
LPG;
i-butane;
propane;
methane;
alcohol;
hydrogen and smoke;
12.
Towards Unbounded Realizability Checking
机译:
向无限性的可实现性检查
作者:
Masaya Shimakawa
;
Shigeki Hagihara
;
Naoki Yonezaki
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Realizability;
Reactive System;
Specification;
ω-automata;
Temporal Logic;
13.
Crime Modelling and Prediction Using Neural Networks
机译:
利用神经网络犯罪建模与预测
作者:
Jonathan Albert U. Tumulak
;
Kurt Junshean P. Espinosa
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
crime;
hotspot;
neural networks;
14.
Location-aware Simple Abstract Machine of Call-by-Name RPC Calculus
机译:
Location-Aware的简单抽象机呼叫名称RPC微积分
作者:
Takatsugu Tamaizumi
;
Keishi Watanabe
;
Shin-ya Nishizaki
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Lambda Calculus;
Remort Procedure Call;
RPC Calculus;
Evaluation Strategy;
Call-by-Name Evaluation;
15.
Developing Course Content for Micro-learning in Mobile Settings
机译:
在移动设置中开发微型学习的课程内容
作者:
Karen Pajarito
;
Rommel Feria
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Micro-learning;
Course content;
Mobile learning;
Web-based authoring;
Learning objects;
16.
Training to Pitch in Baseball Using Visual and Aural Effects
机译:
使用视觉和听觉效果在棒球训练训练
作者:
Yuki Tsukamoto
;
Kaoru Sumi
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
sports training;
throwing;
serious game;
onomatopoeia;
visual and sound effect;
17.
Building an English - Cebuano Tourism Parallel Corpus and a Named - Entity List from the Web
机译:
建立英语 - Cebuano旅游并行语料库和来自网络的命名实体列表
作者:
Lucelle L. Bureros
;
Zarah Lou B. Tabaranza
;
Robert R. Roxas
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Tourism;
Parallel corpus;
English-Cebuano language pair;
Named entity list;
18.
Securing Health Information System with CryptDB
机译:
使用CryptdB确保健康信息系统
作者:
Nicole Anne D. C. Lopez
;
Richard Bryann L. Chua
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
CryptDB;
Homomorphic Encryption;
Health Information System;
19.
Profiling Moodle Servers for Usage and Activity
机译:
剖析Moodle服务器的使用和活动
作者:
Dominique Gerald Cimafranca
;
Novie Joy Pelobello
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Moodle;
Online Learning;
Log Analysis;
20.
Quantum Approximate String Matching for Large Alphabets
机译:
Quantum近似字符串匹配大字母表
作者:
Jeffrey A. Aborot
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Approximate String Matching;
Amplitude Amplification;
Quantum Computing;
Quantum Algorithm;
Filtering and Verification;
21.
WSAN: Node Network Communication Protocol through Coordination Messaging
机译:
WSAN:通过协调消息传递节点网络通信协议
作者:
F. K. Flores
;
G. Cu
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Ambient Intelligence;
Wireless Sensor and Actuator Networks;
Node Communication Protocol;
Traffic Handling;
22.
DEVELOPMENT OF A VISUAL DEBUGGER FOR C IMPLEMENTED IN JAVASCRIPT
机译:
在JavaScript中实现的C的Visual调试器的开发
作者:
Akihiko Nagae
;
Koji Kagawa
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Web;
Programming;
C;
23.
HEALTH INFORMATION SEARCH PERSONALIZATION WITH SEMANTIC NETWORK USER MODEL
机译:
健康信息搜索与语义网络用户模型的个性化
作者:
IRA PUSPITASARI
;
KEN-ICHI FUKUI
;
KOICHI MORIYAMA
;
MASAYUKI NUMAO
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
HEALTH INFORMATION SEARCH PERSONALIZATION;
SEMANTIC NETWORK;
USER MODEL;
24.
AN OBJECT-ORIENTED LANGUAGE FOR PARAMETERISED REACTIVE SYSTEM SPECIFICATION BASED ON LINEAR TEMPORAL LOGIC
机译:
基于线性时间逻辑的参数化无功系统规范的面向对象语言
作者:
Kenji Osari
;
Takuya Murooka
;
Kiyotaka Hagiwara
;
Takahiro Ando
;
Masaya Shimakawa
;
Sohei Ito
;
Shigeki Hagihara
;
Naoki Yonezaki
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Object-oriented Specification Language;
Reactive system;
Parameterized system;
Linear Temporal Logic;
25.
NOTES IN DELAYS AND BISIMULATIONS OF SPIKING NEURAL P SYSTEMS USING SNP ALGEBRA
机译:
使用SNP代数的尖刺神经P系统的延迟和BISIMULATION的注意事项
作者:
Henry N. Adorna
;
Kelvin C. Bu?o
;
Francis George C. Cabarle
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Membrane Computing;
Spiking Neural P systems;
SNP algebra;
structural operational semantics;
labeled transition systems;
bisimulation;
26.
ROBUSTNESS ANALYSIS ON HUMAN-MADE FAULTS IN PROCEDURAL MANUALS
机译:
程序手册中人造故障的鲁棒性分析
作者:
Naoyuki Nagatou
;
Takuo Watanabe
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Linear temporal logic;
process algebra;
procedural manual;
workflow;
human-made fault;
dependability;
robustness;
27.
LEARNING ENGLISH WORDS VIA ANIMATIONS AND MAKING SENTENCES USING AN ETYMOLOGICAL MEMORIZATION METHOD
机译:
通过动画学习英语单词并使用导出的记忆方法制作句子
作者:
KAORU SUMI
;
AYAKA KAZUHARA
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
LEARNING ENGLISH WORDS;
ANIMATIONS;
MAKING SENTENCES USING;
28.
A SIMULATION OF TRANSITION P SYSTEMS IN WEIGHTED SPIKING NEURAL P SYSTEMS
机译:
加权尖峰神经P系统转换P系统模拟
作者:
Richelle Ann B. Juayong
;
Nestine Hope S. Hernandez
;
Francis George C. Cabarle
;
Henry N. Adorna
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
Membrane computing;
weighted Spiking Neural P systems;
Transition P systems;
simulation;
operation mode;
29.
Spoken Dialogue Agent System for Writing Resumes while Practicing Job Interviews
机译:
在练习面试时撰写恢复的口语对话代理系统
作者:
Kaoru Sumi
;
Kodai Morita
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
spoken dialogue agent;
interaction;
generating questions job interviews;
resumes;
30.
A System that Converts Music Score Sheets with Round Notes into One with Shape Notes
机译:
将音乐分数表转换为带有形状的音符的音乐分数纸张
作者:
Michael Alan V. Ygnacio
;
Robert R. Roxas
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Music score sheets;
Round notes;
Shape notes;
Music notation software;
31.
Blackhole Rogue Access Point Detection and Disassociation
机译:
黑洞流氓接入点检测和解离
作者:
J. M. Barrientos
;
K. G. D. Dy
;
T. J. L. Mandap
;
K. B. Nagano
;
G. Cu
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
rogue access point detection;
black hole rogue access point;
rogue access point disassociation;
32.
Parallelizing the Searching for K-mers and the Alignment of Reads to Edges to Speedup the Pregraph Construction in SOAPdenovo2
机译:
并行化K-MERS的搜索和读取的对齐,以加速SOAPDENOVO2中的Pregraph结构
作者:
Grace Magno
;
Lovely Santos
;
Henry Adorna
;
Jhoirene Clemente
;
Jan Michael Yap
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
SOAPdenovo2;
De Novo Assembly;
de Bruijn Graphs;
Pregraph Construction;
Parallelization;
Computational Biology;
33.
Polynomial-time Algorithm for Translocation Syntenic Distance
机译:
转移同步距离的多项式算法
作者:
Corina Belenzo
;
Carmelyne Salve Corpuz
;
Henry Adorna
;
Jhoirene Clemente
;
Richelle Ann Juayong
;
Jan Michael Yap
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Syntenic Distance;
Translocation Synteny;
Computational Biology;
34.
Modification and Parallelization of the qPMS7 Algorithm
机译:
QPMS7算法的修改与并行化
作者:
Klarizze Romero
;
Henry Adorna
;
Jhoirene Clemente
;
Jan Michael Yap
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Planted Motif Search;
qPMS7;
Parallelization;
Computational Biology;
35.
DISTRIBUTED INFERENCE TO SUPPORT INTER-SUBJECTIVE EMPATHIC COMPUTING
机译:
分布推动以支持主观间的异常计算
作者:
Masayuki Numao
会议名称:
《Workshop on Computation: Theory and Practice》
|
2015年
关键词:
DISTRIBUTED INFERENCE;
SUPPORT INTER-SUBJECTIVE;
EMPATHIC COMPUTING;
36.
Design and Implementation of an Advanced Source Code Reading Tool for Framework-based Software
机译:
基于框架的软件的高级源代码阅读工具的设计与实现
作者:
Yuu Ohmura
;
Takuo Watanabe
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
Source Code Reading;
Program Comprehension;
Software Visualization;
Computer Science Education;
Software Development Tool;
37.
Parallelizing the Searching for K-mers and the Alignment of Reads to Edges to Speedup the Pregraph Construction in SOAPdenovo2
机译:
并行化搜索K-MERS和读取的对齐,以加速SOAPDENOVO2中的PRAGHE构建
作者:
Grace Magno
;
Lovely Santos
;
Henry Adorna
;
Jhoirene Clemente
;
Jan Michael Yap
会议名称:
《Workshop on Computation: Theory and Practice》
|
2017年
关键词:
SOAPdenovo2;
De Novo Assembly;
de Bruijn Graphs;
Pregraph Construction;
Parallelization;
Computational Biology;
意见反馈
回到顶部
回到首页