掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
Conference on Computer Science and Information Technology
Conference on Computer Science and Information Technology
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
On Hamiltonian bypasses in digraphs with the condition of Y. Manoussakis
机译:
在哈密尔顿绕过数字化与Y. Manoussakis的状况
作者:
Darbinyan Samvel Kh.
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Bipartite graph;
Electronic mail;
Informatics;
Terminology;
Yttrium;
Digraphs;
Hamiltonian bypasses;
Hamiltonian cycles;
cycles;
2.
Information technologies applications for sign languages investigations
机译:
信息技术应用程序的标志语言调查
作者:
Kryvonos Iurii
;
Krak Iurii
;
Wojcik Waldemar
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Analytical models;
Animation;
Assistive technology;
Gesture recognition;
Information technology;
Solid modeling;
Three-dimensional displays;
deaf people;
design;
fingerspelling alphabet;
information technology;
sign language;
3.
The GèANT Green Team: An example of how organizations can use a community approach to promote the use of ICT in sustainability efforts
机译:
Gèant绿色团队:组织如何利用社区方法促进可持续发展努力的使用情况的示例
作者:
Hankel Albert
;
Astsatryan Hrachya
;
Narsisian Wahi
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Best practices;
Capability maturity model;
Collaboration;
Education;
Europe;
Green products;
Organizations;
ASNET-AM;
ECO2METER;
Environmental Policy;
GEANT;
GHG;
GREEN ICT;
Inter-organizational collaboration;
4.
Frontal cellular automata for the study of non-equilibrium lattice models
机译:
非平衡晶格模型研究的正面蜂窝自动机
作者:
Poghosyan Hayk
;
Poghosyan Vahagn
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Automata;
Fractals;
Laplace equations;
Lattices;
Probability;
Stochastic processes;
Vegetation;
fractals;
frontal cellular automata;
lattice models;
loop erased random walk;
sandpile model;
stochastic processes;
5.
Primitive recursion on higher types
机译:
高级工的原始递归
作者:
Ambroszkiewicz Stanislaw
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Calculus;
Computer science;
Concrete;
Data structures;
Electronic mail;
Grounding;
Sockets;
primitive recursion;
textbf Higher order types;
6.
Some properties of Hadamard matrices
机译:
Hadamard矩阵的一些属性
作者:
Giorgobiani Giorgi
;
Kvaratskhelia Vakhtang
;
Menteshashvili Marina
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Computer aided software engineering;
Convergence;
Error correction;
Error correction codes;
Estimation;
Linear matrix inequalities;
Transforms;
Hadamard matrices;
Sylvester (Walsh) matrices;
7.
A theorem on higher-order differences of two-state Markov chains
机译:
关于两个州马尔可夫链的高阶差异的定理
作者:
Shahverdian Ashot
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Convergence;
Difference equations;
Fractals;
Limiting;
Markov processes;
Nonlinear systems;
Random processes;
Higher-order differences;
two-state Markov chain;
8.
A complete characterization of hyperidentities of the variety of weakly idempotent lattices
机译:
完全表征多种弱空闲格子的多余性
作者:
Movsisyan Yuri
;
Davidova Diana
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Boolean algebra;
Lattices;
Quantum computing;
Quantum mechanics;
Yttrium;
Boolean algebra;
De Morgan algebra;
Second order formula;
consequence;
distributive lattice;
hyperequational theory;
hyperidentity;
lattice;
modular lattice;
nilpotent shift;
variety;
weakly idempotent lattice;
9.
Document image segmentation based on wavelet features
机译:
基于小波特征的文档图像分割
作者:
Grishkin Valery
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Feature extraction;
Graphics;
Histograms;
Image segmentation;
Kernel;
Support vector machines;
Wavelet transforms;
Image processing;
document image segmentation;
image recognition;
wavelet features;
10.
Dynamic voltage and frequency scaling for 3D Classical Spin Glass application
机译:
3D古典旋转玻璃应用的动态电压和频率缩放
作者:
Astsatryan Hrachya
;
Abajyan Hakob
;
Narsisian Wahi
;
da Costa Georges
;
Gurout Tom
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Computational modeling;
Energy consumption;
Load modeling;
Mathematical model;
Power demand;
Program processors;
Three-dimensional displays;
3D;
DVFS;
Energy efficiency;
HPC;
Spin-Chains;
11.
Fault collapsing for digital circuits based on relations between stuck-at faults
机译:
基于粘滞故障关系的数字电路故障折叠
作者:
Grigoryan Tigranuhi
;
Malkhasyan Heghineh
;
Mushyan Gevorg
;
Vardanian Valery
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Benchmark testing;
Circuit faults;
Combinational circuits;
Digital circuits;
Logic gates;
Sequential circuits;
Very large scale integration;
equivalence;
fault collapsing;
strict dominance;
stuck-at fault;
12.
Power optimization approach of ORCA processor for 32/28nm technology node
机译:
用于32/28NM技术节点的ORCA处理器的电源优化方法
作者:
Babayan Davit
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Clocks;
Optimization;
Reduced instruction set computing;
Registers;
SDRAM;
Standards;
Timing;
RISC core;
digital design;
low power design;
13.
Prototyping system for USB3.0 link layer using synthesizable assertions and partial reconfiguration
机译:
USB3.0链路层的原型系统使用可合成断言和部分重新配置
作者:
Krrikyan Harutyun
;
Hovhannisyan Taron
;
Manukyan Sergey
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Electronic mail;
Field programmable gate arrays;
Hardware;
Payloads;
Prototypes;
Resource management;
Universal Serial Bus;
Partial Reconfiguration (PR);
Programmable Gate Array (FPGA);
System Verilog Assertion (SVA);
Universal Serial Bus (USB);
14.
E-Biothon: An experimental platform for bioinformatics
机译:
E-Biothon:生物信息学的实验平台
作者:
Dayde Michel
;
Depardon Benjamin
;
Franc Alain
;
Gibrat Jean-Francois
;
Guilllier Romaric
;
Karami Yasaman
;
Sutter Frederic
;
Taddese Bruck
;
Chabbert Marie
;
Therond Sylvie
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Bioinformatics;
Electronic mail;
Genomics;
Microorganisms;
Portals;
Proteins;
Bioinformatics;
Cloud;
parallel computing;
15.
Predicate transformers for local description units
机译:
用于本地描述单元的谓词变压器
作者:
Letichevsky Alexander A.
;
Letychevskyi Olexandr O.
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Computational modeling;
Concrete;
Cybernetics;
Electronic mail;
Protocols;
Semantics;
Software;
Predicate transformers;
attributed transition systems;
local description units;
symbolic verification;
16.
Multithreaded signal preprocessing approach for inertial sensors of smartphone
机译:
智能手机惯性传感器的多线程信号预处理方法
作者:
Kaghyan Sahak
;
Sarukhanyan Hakob
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Accelerometers;
Classification algorithms;
Data processing;
Instruction sets;
Mobile handsets;
Sensors;
Servers;
Activity recognition;
feature extraction;
mobile computing;
signal preprocessing;
smartphone sensors;
17.
Method for fire and smoke detection in monitored forest areas
机译:
监测林区火灾和烟雾检测方法
作者:
Asatryan David
;
Hovsepyan Samvel
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Brightness;
Fires;
Image color analysis;
Image segmentation;
Monitoring;
Temperature sensors;
Testing;
Fire;
classification;
flame;
image processing;
segmentation;
smoke;
18.
Numerical solution of nonlocal contact problems for elliptic equations
机译:
椭圆方程非识别非局部接触问题的数值解
作者:
Gordeziani David
;
Davitashvili Tinatin
;
Meladze Hamlet
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Boundary conditions;
Electronic mail;
Mathematical model;
Poisson equations;
Tungsten;
Contact problem;
elliptic equation;
iteration algorithm;
nonlocal problem;
numerical solution;
19.
Programming into graphs of a new generation and the single graphical shell for all languages
机译:
编程为所有语言的新一代和单个图形外壳的图表
作者:
Velbitskiy Igor
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Computers;
Documentation;
Keyboards;
Mouth;
Programming;
Visualization;
3D programming;
Google Blockly;
RR?-schemes;
UML;
compactness;
drawing;
generation of programs;
generation of tests;
graph loaded on the horizontal arcs;
network graphs;
polyglot;
proof correctness;
quick entry;
simplicity;
visualization;
20.
Clustering of random networks under topological constraints
机译:
拓扑约束下随机网络的聚类
作者:
Hovhannisyan Minas
;
Avetisyan Svetlana
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Complex networks;
Computational modeling;
Computer simulation;
Evolution (biology);
Physics;
Switches;
Trajectory;
Computer simulations;
random networks;
statistical analysis;
topological characteristics;
21.
On the tt-complete set which is tt-mitotic but not btt-mitotic
机译:
在TT-有丝分裂但不是BTT-有丝分裂的情况下
作者:
Mokatsian Arsen H.
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Electronic mail;
Encoding;
Indexes;
Informatics;
Injuries;
Yttrium;
btt-reducibility;
mitotic set;
q-complete set;
recursively enumerable (r.e.) set;
tt-complete set;
22.
Traffic anomaly detection and DDOS attack recognition using diffusion map technologies
机译:
交通异常检测和使用扩散地图技术检测和DDOS攻击识别
作者:
Zheludev Michael
;
Nagradov Evgeny
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Classification algorithms;
Clustering algorithms;
Computer crime;
Geometry;
Measurement;
Telecommunication traffic;
Training;
Kernel methods;
data analysis;
diffusion maps;
23.
Augmenting JavaScript JIT with ahead-of-time compilation
机译:
通过提前的编译增强JavaScript JIT
作者:
Zhuykov Roman
;
Vardanyan Vahagn
;
Melnik Dmitry
;
Buchatskiy Ruben
;
Sharygin Eugeniy
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Benchmark testing;
Binary codes;
Dynamic compiler;
Engines;
Libraries;
Loading;
Optimization;
Ahead-of-Time Compilation;
JIT;
JavaScript;
JavaScriptCore;
WebKit;
24.
Determination of camera displacement using image stereo pair
机译:
使用图像立体对确定相机位移
作者:
Sroba Lukas
;
Grman Jan
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Calibration;
Cameras;
Distortion;
Estimation;
Geometry;
Optical distortion;
Three-dimensional displays;
camera displacement estmation;
epipolar geometry;
image stereo pair;
25.
LLVM-based code clone detection framework
机译:
基于LLVM的代码克隆检测框架
作者:
Avetisyan Arutyun
;
Kurmangaleev Shamil
;
Sargsyan Sevak
;
Arutunian Mariam
;
Belevantsev Andrey
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Approximation algorithms;
Cloning;
Clustering algorithms;
Image edge detection;
Measurement;
Semantics;
LLVM;
code clone;
program dependence graph;
26.
Efficient secure pattern search algorithm
机译:
高效的安全模式搜索算法
作者:
Khachatryan Gurgen
;
Hovsepyan Mihran
;
Jivanyan Aram
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Algorithm design and analysis;
Benchmark testing;
Electronic mail;
Encryption;
Protocols;
Servers;
Cryptography;
oblivious transfer;
secure function evaluation;
white-box;
27.
A persistent surface inversion event in Armenia as simulated by WRF model
机译:
WRF模型模拟的亚美尼亚持续的表面反演事件
作者:
Gevorgyan Artur
;
Melkonyan Hamlet
;
Abrahamyan Rita
;
Petrosyan Zarmandukht
;
Shahnazaryan Anna
;
Astsatryan Hrachya
;
Sahakyan Vladimir
;
Shoukorian Yuri
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Atmospheric modeling;
Data models;
Mathematical model;
Predictive models;
Surface topography;
Temperature distribution;
Weather forecasting;
Ararat Valley;
WRF model;
temperature inversion;
topography;
28.
On assessment of performance of systems by combining on-the-job and expert attributes scales
机译:
通过结合作业和专家属性量表来评估系统性能
作者:
Pogossian Edward
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Atmospheric measurements;
Games;
Organizations;
Particle measurements;
Software systems;
attribute scales;
performance assessment;
tournaments;
29.
Limitations of Agronet system in e-projects: Case study of Croatia
机译:
农业组织系统在电子项目中的限制:克罗地亚案例研究
作者:
Devcic Anton
;
Sostar Marko
;
Andrlic Berislav
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Absorption;
Agriculture;
Banking;
Europe;
Proposals;
Stakeholders;
Agronet system;
EU fund;
application;
capacities;
30.
Time-periodic quantum point interactions
机译:
时间周期量子点相互作用
作者:
Cheon Taksu
;
Poghosyan Sergey
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Boundary conditions;
Couplings;
Lattices;
Mathematical model;
Quantum mechanics;
Scattering;
Wave functions;
Solvable quantum mechanics;
quantum graphs;
time-dependent Schr?dinger equation;
31.
Open problems in gossip/broadcast schemes and the possible application of the method of local interchange
机译:
八卦/广播方案中的打开问题以及当地交汇处的可能应用
作者:
Hovnanyan Vilyam
;
Poghosyan Suren
;
Poghosyan Vahagn
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Automation;
Communication networks;
Electronic mail;
Informatics;
Information exchange;
Joining processes;
Networks;
gossip problem;
method of local interchange;
open problems;
telephone problem;
32.
On validity of personalized planning and integrated testing algorithms in reproducible games
机译:
关于可再生游戏中个性化规划和集成测试算法的有效性
作者:
Grigoryan Sedrak
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Color;
Electronic mail;
Games;
Planning;
Search problems;
Testing;
Transforms;
chess;
competition;
planning;
strategy;
33.
Constraint satisfaction problems on specific subsets of the n-dimensional unit cube
机译:
n维单位立方体特定子集的约束满足问题
作者:
Aslanyan Levon
;
Sahakyan Hasmik
;
Gronau Hans-Dietrich
;
Wagner Peter
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Boolean functions;
Complexity theory;
Electronic mail;
Finite element analysis;
Optimization;
Probabilistic logic;
Tomography;
Boolean function;
Set systems;
combinatorics;
degree sequence;
hypergraph;
34.
Towards deductive verification of concurrent Linux kernel code with Jessie
机译:
与Jessie一起演绎验证并发Linux内核代码的
作者:
Mandrykin Mikhail
;
Khoroshilov Alexey
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
Cognition;
Concurrent computing;
Context;
Kernel;
Linux;
Semantics;
Synchronization;
C semantics;
Verification;
concurrency;
invariants;
ownership;
35.
On interval edge-colorings of bipartite graphs
机译:
在二分图的间隔边缘着色
作者:
Petrosyan Petros
;
Khachatrian Hrant
;
Mamikonyan Tigran
会议名称:
《Conference on Computer Science and Information Technology》
|
2015年
关键词:
5G mobile communication;
Bipartite graph;
Color;
Electronic mail;
Hypercubes;
Informatics;
Edge-coloring;
bipartite graph;
biregular bipartite graph;
computer experiment;
hypercube;
interval edge-coloring;
near-interval coloring;
意见反馈
回到顶部
回到首页