掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
International Conference on Theoretical and Mathematical Foundations of Computer Science
International Conference on Theoretical and Mathematical Foundations of Computer Science
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Algebraic Graph Colouring
机译:
代数图着色
作者:
David Turner
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
2.
Induction Principle in Relational Database Category
机译:
关系数据库类别的归纳原则
作者:
Zoran Majkic
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
3.
Optimizing the Management Perspectives of Wireless Sensor Networks
机译:
优化无线传感器网络的管理视角
作者:
Ibrahiem M. M. El Emary
;
Khalid S. Husain
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
4.
Abstract Database Category Based on Relational-query Observations
机译:
基于关系查询观测的抽象数据库类别
作者:
Zoran Majkic
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
5.
Coalgebraic Specification of Query Computation in Intensional P2P Database Systems
机译:
海峡P2P数据库系统中查询计算的临时规范
作者:
Zoran Majkic
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
6.
A Novel Neighbor Weight-Based Trust Determination Model for Wireless Ad Hoc Networks
机译:
无线临时网络的新型邻居权重的信任确定模型
作者:
Khaled El-Zayyat
;
Hussien Al-Bahadli
;
Tamir Zobai
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Ad hoc network;
Secure routing;
Trust-based routing protocols;
Trust determination;
Route discovery mechanisms;
Malicious node;
7.
A New Representation of Weighted Finite Automata via Recurrence and Group Rings
机译:
通过复发和组戒指的加权有限自动机的新代表
作者:
Kostiantyn Arkhangelskyi
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
8.
Spectrum Spreading Algorithm in Audio Steganography
机译:
音频隐写频谱扩展算法
作者:
Rashad J. Rasras
;
Dmitriy E. Skopin
;
Wajdi H. Aljedaibi
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
9.
A REWRITING BASED TRUST MODEL for VIDEO CONFERENCING APPLICATION
机译:
用于视频会议应用的重写信任模型
作者:
Chandrasekaran Subramaniam
;
Jayanthi Gokulakrishnan
;
Mahendra Kumar M.
;
Prasanna N. R.
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
10.
Developing an Intelligent Method for Human Eyes Position Detection
机译:
开发一种智能方法,用于人眼位置检测
作者:
Abdelwadood Mesleh
;
Khalid S. Husain
;
Ameer H. Morad
;
Rushdi S. Abu Zniet
;
Rashad J. Rasras
;
Alaa Abusrhan
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
11.
Model of Granular Computing
机译:
粒度计算模型
作者:
Liquan ZHAO
;
Ling ZHANG
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Granular Computing;
Fuzzy Set Theory;
Rough Set Theory;
Quotient Space Theory;
12.
Equality of Relational Demonic Semantics
机译:
关系恶魔语义的平等
作者:
Fairouz Tchier
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Demonic operational semantics;
Demonic denotational semantics Relational semantics;
Nondeterminism;
Nontermination;
13.
On Some New Arithmetical Convolutions-1
机译:
关于一些新的算术卷曲-1
作者:
D. Bhattacharjee
;
Bhanu Prasad
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Arithmetical convolution;
Exponential convolution;
Narkiewicz's A-product;
Lehmer's Ψ-product;
B-product;
Exponential B-product;
14.
Decomposition and Scanning Optimization Algorithms for TSP
机译:
TSP的分解和扫描优化算法
作者:
Roman Bazylevych
;
Bhanu Prasad
;
Roman Kutelmakh
;
Lubov Bazylevych
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
15.
A Latency Awareness Job Distribution Algorithm for Grid Networks
机译:
网格网络延迟意识作业分发算法
作者:
O. Rahmeh
;
P. Johnson
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
关键词:
Load balance;
Networks;
Grid;
Complex;
Random;
Performance;
16.
The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability IV - Turing and a sound, finitary, interpretation of PA
机译:
亚里士多德在数学,逻辑和计算地区的基础中的特殊性的意义 - 图灵和宾夕法尼亚州的声音,合理,诠释
作者:
Bhupinder Singh Anand
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
17.
G{sup}2 Blending of Non-symmetric Corner by generator basis method
机译:
g {sup} 2通过发电机基础方法混合非对称角
作者:
Chao Yu
;
Zhongxuan Luo
;
Fengshan Liu
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
18.
A Parameterized Algorithm for the Preemptive Scheduling of Equal-Length Jobs
机译:
相等长度作业的抢占调度的参数化算法
作者:
George B. Mertzios
;
Walter Unger
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
19.
Applying Graph Theory to Quantitatively Measure the Security of a Software System
机译:
应用图理论定量测量软件系统的安全性
作者:
Christina Smyre
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
20.
Floating-point consistency issues in multi-platform implementations of a code for electromagnetic plasma-fluid nonlinear wave simulations
机译:
电磁等离子体 - 流体非线性波模拟代码的多平台实现中的浮点一致性问题
作者:
S. Baboolal
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
21.
Extended matching problem for a coupled-tasks scheduling problem
机译:
耦合任务调度问题的扩展匹配问题
作者:
G. Simonin
;
R. Giroudeau
;
J. C. Konig
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
22.
Square Rhomboids and Their Algebraic Expressions
机译:
方形菱形及其代数表达
作者:
Mark Korenblit
;
Vadim E. Levit
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
23.
On an application of a multistep method for solving Volterra integral equations of the second kind
机译:
多步骤方法求解第二种求解Volterra积分方程的应用
作者:
R. R. Mirzayev
;
G. Yu. Mehdiyeva
;
V. R. Ibrahimov
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
24.
Network Properties of (t, r)-regular graphs for small t
机译:
(t,r)的网络属性 - 小t的图形
作者:
Debra Knisley
;
Jeff Knisley
;
Duran Williams
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
25.
Regular Languages up to Star Height 1 and the Difference Shrinking Acceptance Probability
机译:
常规语言至明星高度1和差异缩小验收概率
作者:
Michael Hartwig
;
Somnuk Phon-Amnuaisuk
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
26.
Let a Data Model be equivalent to a Class of Total Recursive Functions
机译:
让数据模型等同于一类总递归函数
作者:
Kevin H. Xu
;
Shelby Gao
;
Jingsong Zhang
;
Roger R. McKeown
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
27.
An Improved Full Decomposition Algorithm for Generating Algebraic Expressions of Square Rhomboids
机译:
一种改进的完整分解算法,用于产生方形菱形的代数表达式
作者:
Mark Korenblit
;
Vadim E. Levit
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
28.
Observational Equivalence and a New Operational Semantics for Lazy Evaluation with Selective Strictness
机译:
观察等价物和具有选择性严格的懒惰评估的新操作语义
作者:
Seyed H. HAERI (Hossein)
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
29.
Graph Splicing Systems
机译:
图形拼接系统
作者:
L. Jeganathan
;
K. Krithivasan
;
R. Rama
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
30.
The Syntactic Continuity Property: A computer verified proof
机译:
句法连续性属性:计算机已验证证明
作者:
Sjaak Smetsers
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
31.
A Syntax-Independent Complexity Metric
机译:
独立于语法的复杂度度量
作者:
Linmin Yang
;
Zhe Dang
;
Thomas R. Fischer
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
32.
Forecasting Stock Price: An Application of Artificial Neural Networks
机译:
预测股票价格:人工神经网络的应用
作者:
Rudra P. Pradhan
;
Manish Kumar
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Forecasting;
Stock Price;
ANN;
33.
On the Universality of Normalized Metrics
机译:
论规范化指标的普遍性
作者:
Frank J. Balbach
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
34.
Encoding cryptographic primitives in a calculus with polyadic synchronization
机译:
在具有多adic同步的微积分中编码加密原语
作者:
Joana Martinho
;
Antonio Ravara
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Behavioral Theory;
Cryptographic Mobile Calculus;
Barbed Congruence;
(Early) Bisimulation;
Cryptographic Primitives;
Fully Abstract Encoding;
π-calculus;
Polyadic Synchronization;
35.
The Influence of Network Convergence on VoIP
机译:
网络收敛对VoIP的影响
作者:
Mario Poier
;
Mahmoud Abaza
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Component;
VoIP performance;
Enterprise Network;
Spanning Tree;
Rapid Spanning Tree;
IGP;
RIP;
OSPF;
EIGRP;
BGP;
Network convergence;
36.
The Complexity of Identifying Finite Abelian Groups
机译:
识别有限雅思群体的复杂性
作者:
Walid Gomaa
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
37.
Design and Implementation of Multi-Completion Procedures with Termination Checking
机译:
终止检查的多完成程序的设计与实现
作者:
Haruhiko Sato
;
Masahito Kurihara
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
38.
Conquering Edge Faults in a Butterfly with Automorphisms
机译:
征服与同一性的蝴蝶中的边缘故障
作者:
Meghanad D. Wagh
;
Khadidja Bendjilali
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
39.
On the Density and Acceptance Probability of Regular Languages
机译:
关于常规语言的密度和接受概率
作者:
Michael Hartwig
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
40.
A Graph Rewriting Model of Concurrent Programs with Higher-Order Communication
机译:
具有高阶通信的并发程序的图形重写模型
作者:
Masaki Murakami
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
41.
A Linear Time Algorithm for the Prediction of Compression During Multimedia Transmission
机译:
多媒体传输期间压缩预测的线性时间算法
作者:
Ahmet Cevik
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
42.
A Numerical Integration Technique to Integrate a Function Known only at a Certain Number of Points not Uniformly Separated
机译:
数值积分技术,整合只在没有均匀地间隔点的一定数量已知的功能
作者:
Vasos Pavlika
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
43.
Cryptology in Quantum Computing
机译:
量子计算中的密码学
作者:
Ahmet Cevik
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
44.
Parallel Addition and Subtraction for the Flexible Interval Representation System
机译:
灵活间隔表示系统的并行添加和减法
作者:
Jakrapan Sukontarach
;
Athasit Surarerks
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
45.
Stream Processing Techniques for High Performance Optical Flow Approximation
机译:
用于高性能光流近似的流处理技术
作者:
David Dobson
;
Andrew Strelzoff
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
46.
Weighted Check Sum Usage for Increasing Data Transfer Errors Detection and Correction Efficiency
机译:
加权校验和使用增加数据传输错误检测和校正效率
作者:
Saleh Alomar
;
Akram Mustafa
;
Eyad A. Shahroury
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Weighted Check Sum;
Detection;
Correction;
Data transfer errors;
Block;
TDCS modification;
47.
Fast Compilation in O(n)
机译:
o(n)中的快速编译
作者:
Kirill Kononenko
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
48.
Context Recognition in Mobile Robots Cooperation Using Fuzzy Signature
机译:
移动机器人使用模糊签名的语境识别
作者:
Aron BALLAGI
;
Laszlo T. KOCZY
;
Claudiu POZNA
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Mobile robots;
Fuzzy Signature;
Observation;
49.
Optimal spherical parameterization of 3D closed meshes
机译:
3D封闭网格的最佳球形参数化
作者:
Shugao Xia
;
Xiquan Shi
;
Fengshan Liu
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
50.
Foundation of Granular Computing
机译:
粒状计算基础
作者:
Liquan ZHAO
;
Ling ZHANG
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
关键词:
Granular Computing;
Quotient Space;
Granularity;
Conditional Granularity;
Knowledge Space;
Granule Space;
51.
The significance of Aristotle's particularisation in the foundations of mathematics, logic and computability II - Godel and formally undecidable arithmetical propositions
机译:
亚里士多德在数学,逻辑和计算性基础上的特殊性的重要性 - 戈德尔和正式不可透明的算术主张
作者:
Bhupinder Singh Anand
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
52.
Fast Convergence of Routing Games with Splittable Flows
机译:
使用可分割流程的路由游戏快速融合
作者:
George B. Mertzios
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
53.
The rational approximations of a class of continued fractions
机译:
一类持续分数的理性近似
作者:
Xiuyuan Yu
;
Zhonghua Shen
;
Hui Chen
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
关键词:
Continued fraction;
Rational approximation;
54.
Chromatic Numbers of Kneser-Related Graphs
机译:
关节相关图的彩色数量
作者:
Hsun-Wen Chang
;
Meng-Chu Kuo
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
55.
On Finite Semigroup Cross-Sections and Complete Rewriting Systems
机译:
在有限的半群横截面上和完整的重写系统
作者:
Antonio Malheiro
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2010年
56.
Empirical IOPS Analysis of the SAN
机译:
SAN的实证IOPS分析
作者:
Devi Prasad Bhukya
;
Ramachandram S.
会议名称:
《International Conference on Theoretical and Mathematical Foundations of Computer Science》
|
2009年
意见反馈
回到顶部
回到首页