掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
IEEE International Scientific Conference on Informatics
IEEE International Scientific Conference on Informatics
召开年:
2017
召开地:
Poprad(SK)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Adapted parallel quine-McCluskey algorithm using GPGPU
机译:
使用GPGPU改编的并行quine-McCluskey算法
作者:
Vladimír Siládi
;
Michal Povinský
;
Ludovít Trajtel
;
Maxatbek Satymbekov
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Graphics processing units;
Boolean functions;
Minimization;
Kernel;
Central Processing Unit;
Partitioning algorithms;
Memory management;
2.
Assembling behavioural characteristics of malicious software
机译:
组装恶意软件的行为特征
作者:
Jana Štastná
;
Martin Tomášek
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Malware;
Static analysis;
Hardware;
Software tools;
Operating systems;
Computers;
3.
Cluster identification in time dependent multidimensional data
机译:
时间相关多维数据中的聚类识别
作者:
Peter Krammer
;
Marcel Kvassay
;
Ladislav Hluchy
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Mathematical model;
Security;
Analytical models;
Numerical models;
Sensitivity;
Informatics;
Entropy;
4.
Clustering analysis of phonetic and text feature vectors
机译:
语音和文本特征向量的聚类分析
作者:
Milan Jičinský
;
Jaroslav Marek
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Speech;
Principal component analysis;
Phonetics;
Feature extraction;
Informatics;
5.
aaltOS for energy harvesting applications: Effects of clock frequency and system tick on power and energy consumption
机译:
用于能量收集应用程序的aaltOS:时钟频率和系统时钟对功率和能耗的影响
作者:
Ammar Ahmed Khan
;
Mika Ahistus
;
Tero Liukko
;
Joni Lumela
;
Otto Sassi
;
Seppo J. Ovaska
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Energy harvesting;
Clocks;
Conferences;
Informatics;
Energy consumption;
Task analysis;
Power demand;
6.
Combining cybersecurity and cyber defense to achieve cyber resilience
机译:
结合网络安全和网络防御以实现网络弹性
作者:
Darko Galinec
;
William Steingartner
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Computer security;
Resilience;
Information security;
Organizations;
Risk management;
Informatics;
7.
Creation of interactive panoramic video for phobia treatment
机译:
创建用于恐惧症的交互式全景视频
作者:
Dana Horváthová
;
Vladimir Siládi
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Conferences;
Informatics;
Hardware;
Handheld computers;
Computational modeling;
Computer graphics;
Animation;
8.
Crime intelligence from social media: A case study
机译:
来自社交媒体的犯罪情报:案例研究
作者:
Serkan Savaş
;
Nurettin Topaloğlu
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Twitter;
Terrorism;
Weapons;
Graphics;
Big Data;
Data mining;
9.
Advanced web analytics tool for mouse tracking and real-time data processing
机译:
用于鼠标跟踪和实时数据处理的高级Web分析工具
作者:
Lukáš Čegan
;
Petr Filip
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Mice;
Tools;
Tracking;
Real-time systems;
Browsers;
Web servers;
10.
Detection of shoe sole features using DNN
机译:
使用DNN检测鞋底特征
作者:
Michal Vagač
;
Michal Povinský
;
Miroslav Melicherčík
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Footwear;
Image edge detection;
Databases;
Detectors;
Feature extraction;
Shape;
Standards;
11.
Determination of the critical congestion point in urban traffic networks: A case study
机译:
确定城市交通网络中的关键拥堵点:一个案例研究
作者:
Gabriel Baban
;
Alexandru Iovanovici
;
Cristian Cosariu
;
Lucian Prodan
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Roads;
Complex networks;
Measurement;
Urban areas;
Analytical models;
Optimization;
12.
Deployment of the PON with an optical fibre G-652.B
机译:
使用光纤G-652.B部署PON
作者:
Luboš Ovseník
;
Ján Turán
;
Tomáš Ivaniga
;
Petr Ivaniga
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Optical fibers;
Passive optical networks;
Optical network units;
Optical variables measurement;
Attenuation;
13.
Fully automatic modular theorem prover with code generation support
机译:
具有代码生成支持的全自动模块化定理证明器
作者:
František Silvaši
;
Martin Tomášek
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Calculus;
Informatics;
Standards;
Libraries;
Automation;
Electrical engineering;
Electronic mail;
14.
Examining truthfulness of informal diagrams more than a year after their creation
机译:
非正式图表创建后一年多的时间,检查其真实性
作者:
Milan Jančár
;
Jaroslav Porubän
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Software systems;
Lead;
Unified modeling language;
Informatics;
Aging;
Cognition;
15.
High-level C++ implementation of the read-copy-update pattern
机译:
读取复制更新模式的高级C ++实现
作者:
Gábor Márton
;
Imre Szekeres
;
Zoltán Porkoláb
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
C++ languages;
Kernel;
Informatics;
Linux;
Synchronization;
Electronic mail;
16.
Calculation of cross-sections of boundary surface using parallelization
机译:
使用平行化计算边界面的横截面
作者:
Branislav Sobota
;
Milan Guzan
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Task analysis;
Computers;
Integrated circuits;
Trajectory;
Central Processing Unit;
Instruction sets;
Microsoft Windows;
17.
IDE-independent program comprehension tools via source file overwriting
机译:
通过源文件覆盖实现独立于IDE的程序理解工具
作者:
Matús Sulír
;
Jaroslav Porubän
;
Ondrej Zoricák
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Tools;
Metadata;
Java;
Control systems;
Measurement;
Informatics;
Computers;
18.
Data analysis tool supporting software development process
机译:
数据分析工具支持软件开发过程
作者:
Rafał Kozik
;
Michał Choraś
;
Damian Puchalski
;
Rafał Renk
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Software;
Tools;
Measurement;
Computer bugs;
Data analysis;
Complexity theory;
Computer architecture;
19.
Logistic conception for real-time based info-communication system applied in selective waste gathering
机译:
用于选择性废物收集的基于实时的信息通信系统的物流概念
作者:
István Lakatos
;
Tamás Péter
;
Ádám Titrik
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Containers;
Optimization;
Real-time systems;
Logistics;
Maintenance engineering;
Task analysis;
Companies;
20.
Deep learning powered automated tool for generating image based datasets
机译:
深度学习驱动的自动化工具,用于生成基于图像的数据集
作者:
Marko Arsenovic
;
Srdjan Sladojevic
;
Andras Anderla
;
Darko Stefanovic
;
Bojan Lalic
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Social network services;
Labeling;
Machine learning;
Image retrieval;
Task analysis;
Tools;
Libraries;
21.
Manual techniques for evaluating domain usability
机译:
评估域可用性的手动技术
作者:
Michaela Bačíková
;
Lukáš Galko
;
Eva Hvizdová
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Usability;
Manuals;
Task analysis;
Terminology;
User interfaces;
DSL;
22.
Model of education and training strategy for the management of HPC systems
机译:
HPC系统管理的教育和培训策略模型
作者:
Jarmila Skrinarova
;
Adam Dudas
;
Eduard Vesel
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Computational modeling;
Data models;
Education;
Mathematical model;
Task analysis;
High performance computing;
Cloud computing;
23.
Model of the telegraph line
机译:
电报线型号
作者:
Gabriela Nečasová
;
Petr Veigend
;
Václav Šátek
;
Jiří Kunovský
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Mathematical model;
Taylor series;
Matlab;
SPICE;
Capacitors;
Computational modeling;
Differential equations;
24.
Automatic assessment of assignments for Android application programming courses
机译:
自动评估Android应用程序编程课程的作业
作者:
Matej Madeja
;
Jaroslav Porubän
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Testing;
Androids;
Humanoid robots;
Tools;
Programming;
Companies;
Mobile applications;
25.
Monte Carlo simulation in the evaluation of the young functional values
机译:
蒙特卡罗模拟在评估年轻功能价值方面
作者:
Andrzej Z. Grzybowski
;
Piotr Puchala
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Monte Carlo methods;
Random variables;
Density measurement;
Extraterrestrial measurements;
Conferences;
Informatics;
26.
Linear logic operators in transparent intensional logic
机译:
透明内涵逻辑中的线性逻辑运算符
作者:
Liberios Vokorokos
;
Zuzana Bilanová
;
Daniel Mihályi
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Natural languages;
Syntactics;
Semantics;
Computers;
Informatics;
Dogs;
Electronic mail;
27.
New clustering-based forecasting method for disaggregated end-consumer electricity load using smart grid data
机译:
基于智能电网数据的终端用户用电负荷基于聚类的新预测方法
作者:
Peter Laurinec
;
Mária Lucká
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Forecasting;
Time series analysis;
Smart grids;
Load modeling;
Computational modeling;
Aggregates;
Informatics;
28.
Dataflow processing of matrices and vectors: Experimental analysis
机译:
矩阵和向量的数据流处理:实验分析
作者:
Jurij Mihelič
;
Uroš Čibej
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Computer architecture;
Matrix converters;
Kernel;
Program processors;
Sparse matrices;
Conferences;
Informatics;
29.
Non-computable models of certain first order theories
机译:
某些一阶理论的不可计算模型
作者:
Gábor Sági
;
Ramón Horváth
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Complexity theory;
Computational modeling;
Object oriented modeling;
Biological system modeling;
Boolean algebra;
Mathematical model;
Electronic mail;
30.
Downsizing of web server design using Raspberry Pi 3 single board computer platform
机译:
使用Raspberry Pi 3单板计算机平台缩小Web服务器设计的规模
作者:
Branislav Madoš
;
Ján Hurtuk
;
Eva Chovancová
;
Peter Fecilák
;
Dávid Bajkó
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Web servers;
Energy consumption;
Cloud computing;
Data centers;
Content management;
31.
NFC/RFID technology using Raspberry Pi as platform used in smart home project
机译:
使用Raspberry Pi作为智能家居项目中使用的平台的NFC / RFID技术
作者:
Juraj Mihalov
;
Michal Hulič
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Smart homes;
Radiofrequency identification;
Temperature sensors;
Microcomputers;
Libraries;
Informatics;
32.
Estimating the time complexity of the algorithms by counting the Java bytecode instructions
机译:
通过计数Java字节码指令来估计算法的时间复杂度
作者:
Tomaž Dobravec
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Java;
Time complexity;
Prediction algorithms;
Time measurement;
Approximation algorithms;
Servers;
33.
Overview of the handwriting processing for clinical decision support system
机译:
临床决策支持系统的手写处理概述
作者:
Zuzana Dankovičová
;
Peter Drotár
;
Juraj Gazda
;
Liberios Vokorokos
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Task analysis;
Writing;
Informatics;
Decision support systems;
Diseases;
Medical diagnostic imaging;
34.
Measurement effect of visibility in experimental FSO system
机译:
实验性FSO系统中可见度的测量效果
作者:
Michal Márton
;
Luboš Ovseník
;
Michal Špes
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Meteorology;
Optical attenuators;
Optical switches;
Attenuation;
Optical sensors;
Adaptive optics;
Optical fiber communication;
35.
Prediction of electricity consumption using biologically inspired algorithms
机译:
使用生物启发算法预测用电量
作者:
Peter Halaš
;
Marek Lóderer
;
Viera Rozinajová
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Predictive models;
Prediction algorithms;
Forecasting;
Time series analysis;
Particle swarm optimization;
Optimization;
Smoothing methods;
36.
Could the movie be cute? Understanding the user-generated word-of-mouth by implementing text mining analysis on the movie market
机译:
这部电影很可爱吗?通过在电影市场上实施文本挖掘分析来了解用户生成的口碑
作者:
Urszula Świerczyńska-Kaczor
;
Małgorzata Kotlińska
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Motion pictures;
Production;
Internet;
Text mining;
Twitter;
Vocabulary;
Entropy;
37.
How to apply model-driven paradigm in information system (Re)engineering
机译:
如何在信息系统(再)工程中应用模型驱动的范式
作者:
Sonja Ristić
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Tools;
Data models;
Information systems;
Reverse engineering;
Complexity theory;
Relational databases;
38.
Remarks about inconsistency analysis in the pairwise comparison technique
机译:
关于成对比较技术中的不一致分析的注意事项
作者:
Andrzej Z. Grzybowski
;
Tomasz Starczewski
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Phase change materials;
Indexes;
Monte Carlo methods;
Decision analysis;
Conferences;
Informatics;
39.
Energy load forecast using S2S deep neural networks with k-Shape clustering
机译:
使用带有k型聚类的S2S深层神经网络进行能源负荷预测
作者:
Tomáš Jarábek
;
Peter Laurinec
;
Mária Lucká
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Time series analysis;
Computer architecture;
Clustering algorithms;
Neural networks;
Shape;
Logic gates;
Prediction algorithms;
40.
Simulation study of critically loaded arrays of pillars
机译:
柱的临界荷载阵列的仿真研究
作者:
Tomasz Derda
;
Zbigniew Domański
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Load modeling;
Computational modeling;
Memory management;
Loading;
Mathematical model;
Analytical models;
Probability density function;
41.
Heuristic sampling for the subgraph isomorphism problem
机译:
子图同构问题的启发式采样
作者:
Uroš Čibej
;
Jurij Mihelič
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Prediction algorithms;
Estimation;
Search problems;
Task analysis;
Pattern matching;
Conferences;
Informatics;
42.
Software support for course in semantics of programming languages
机译:
程序语言语义课程的软件支持
作者:
William Steingartner
;
Mohamed Ali M. Eldojali
;
Davorka Radaković
;
Jiří Dostál
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Semantics;
Computer languages;
Syntactics;
Software;
Informatics;
Electronic mail;
Mathematics;
43.
Low-level computer vision techniques for processing of extensive air shower track images
机译:
用于处理大量风淋轨迹图像的低级计算机视觉技术
作者:
Michal Vrábel
;
Ján Genči
;
Pavol Bobík
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Detectors;
Computer vision;
Image edge detection;
Thresholding (Imaging);
Image segmentation;
Feature extraction;
44.
Supercombinator driven grammar reconstruction
机译:
超级组合器驱动的语法重构
作者:
Michal Sičák
;
Ján Kollár
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Grammar;
Explosions;
Calculus;
Inference algorithms;
Automata;
Sequential analysis;
Informatics;
45.
Superimposed multidimensional schemas for RDF data analysis
机译:
用于RDF数据分析的叠加多维模式
作者:
Median Hilal
;
Christoph G. Schuetz
;
Michael Schrefl
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Resource description framework;
Data analysis;
Vocabulary;
Task analysis;
Data models;
Database languages;
46.
Proposal of human body description format XML schema and validation of anthropometric parameters
机译:
关于人体描述格式XML模式和人体测量学参数验证的提案
作者:
O. Kainz
;
F. Jakab
;
M. Michalko
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
XML;
Databases;
Mobile applications;
Software;
Vegetation;
Proposals;
Software measurement;
47.
Temporal data retrieval efficiency
机译:
时间数据检索效率
作者:
Michal Kvet
;
Karol Matiaško
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Indexes;
Informatics;
Monitoring;
Data models;
Conferences;
48.
SAT-based verification of NSPK protocol including delays in the network
机译:
基于SAT的NSPK协议验证,包括网络延迟
作者:
Sabina Szymoniak
;
Olga Siedlecka-Lamch
;
Mirosław Kurkowski
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Protocols;
Automata;
Synchronization;
Delays;
Mathematical model;
Public key;
49.
Synthesis criterion of ergatic base complex with focus on its reliability
机译:
以其可靠性为重点的工质复合物的合成标准
作者:
Alena Novák Sedláčková
;
Pavol Kurdel
;
Boris Mrekaj
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Estimation;
Reliability;
Airports;
Mathematical model;
Matlab;
Probability;
Optimization;
50.
Event detection in Hungarian texts with dependency and constituency parsing and WordNet
机译:
匈牙利语文本中的事件检测,包括相关性和选区解析以及WordNet
作者:
Zoltán Subecz
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Feature extraction;
Event detection;
Semantics;
Writing;
Natural language processing;
Speech;
51.
Towards a uniform code annotation approach with configurable annotation granularity
机译:
迈向具有可配置注释粒度的统一代码注释方法
作者:
Ján Juhár
;
Liberios Vokorokos
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Tools;
Metadata;
Java;
Syntactics;
Semantics;
DSL;
Pattern matching;
52.
On a top down aspect mining approach for monitoring crosscutting concerns identification
机译:
在自上而下的方面,用于监视横切关注点识别的挖掘方法
作者:
Grigoreta-Sofia Cojocar
;
Adriana-Mihaela Guran
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Software systems;
Monitoring;
Data mining;
Java;
Tools;
Programming;
Object recognition;
53.
Valuation of intellectual property — Income approach and scenario analysis: Software on early stage of implementation
机译:
知识产权评估-收入法和情景分析:实施初期的软件
作者:
Paweł Kossecki
;
Łukasz Korc
;
Stefan Kossecki
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Intellectual property;
Cost accounting;
Software;
Drones;
Companies;
TV;
Investment;
54.
Unsupervised method for detection of high severity distresses on asphalt pavements
机译:
一种无监督的沥青路面高危情况检测方法
作者:
Emir Buza
;
Amila Akagic
;
Samir Omanovic
;
Haris Hasic
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Asphalt;
Shape;
Inspection;
Linear regression;
Videos;
Image segmentation;
Standards;
55.
Usage of optical correlator in video surveillance system for abandoned luggage
机译:
光学相关器在废弃行李视频监控系统中的应用
作者:
Dávid Solus
;
Eubos Ovseník
;
Ján Turán
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Correlation;
Optical imaging;
Correlators;
Video surveillance;
Adaptive optics;
Optical filters;
56.
Using eyetracking to analyse how flowcharts are understood
机译:
使用眼动追踪分析如何理解流程图
作者:
Petr Šaloun
;
Martin Malčik
;
David Andrešič
;
David Nespěšný
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Task analysis;
Flowcharts;
Skin;
Gaze tracking;
Pins;
Electronic mail;
57.
Using software support to implement enterprise controlling
机译:
使用软件支持实施企业控制
作者:
Katarína Teplická
;
Soňa Hurná
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Software;
Conferences;
Informatics;
58.
The simulation of paintings with different aesthetic variables Temperature and Harmony
机译:
具有不同美学变量的绘画的模拟温度和和谐
作者:
Marie Nedvedova
;
Jaroslav Marek
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Temperature measurement;
Painting;
Temperature;
Image color analysis;
Informatics;
Complexity theory;
Entropy;
59.
Development of Oberon-0 using YAJCo
机译:
使用YAJCo开发Oberon-0
作者:
Sergej Chodarev
;
Michaela Bačíková
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Syntactics;
Tools;
Grammar;
Java;
Generators;
Analytical models;
60.
Solving mean-shift clustering using MapReduce Hadoop
机译:
使用MapReduce Hadoop解决均值漂移聚类
作者:
Maksat N. Kalimoldayev
;
Vladimir Siladi
;
Maksat N. Satymbekov
;
Lyazat Naizabayeva
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Task analysis;
Computer architecture;
Clustering algorithms;
Distributed databases;
Kernel;
Programming;
Data mining;
61.
Resource oriented BDI architecture for IDS
机译:
IDS的面向资源的BDI架构
作者:
Ján Perháč
;
Daniel Mihalyi
;
Lukaš Maťaš
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Computer architecture;
Planning;
Informatics;
Computers;
Databases;
Cognition;
Syntactics;
62.
Peripheral devices support for LIRKIS CAVE
机译:
外围设备对LIRKIS CAVE的支持
作者:
Marián Hudák
;
Štefan Korečko
;
Branislav Sobota
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Input devices;
Computers;
Three-dimensional displays;
Sockets;
Software;
Tracking;
Liquid crystal displays;
63.
Naive Bayes for statlog heart database with consideration of data specifics
机译:
朴素贝叶斯,用于统计日志心脏数据库,并考虑了数据细节
作者:
Jan Bohacik
;
Michal Zabovsky
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Heart;
Databases;
Blood pressure;
Cardiac arrest;
Electrocardiography;
Entropy;
64.
Defining camera-based traffic scenarios and use cases for the visually impaired by means of expert interviews
机译:
通过专家访谈为视障人士定义基于摄像机的交通场景和用例
作者:
Judith Jakob
;
Kordula Kugele
;
József Tick
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Interviews;
Roads;
Visualization;
Computer vision;
Guidelines;
Navigation;
Informatics;
65.
Vertebrae detection in X-ray images based on deep convolutional neural networks
机译:
基于深度卷积神经网络的X射线图像中的椎骨检测
作者:
K. S. Kurachka
;
Ihar Tsalka
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
X-ray imaging;
Convolutional neural networks;
Training;
Convolution;
Osteoporosis;
Computational modeling;
66.
MEMS technology in optical switching
机译:
光开关中的MEMS技术
作者:
Ivan Plander
;
Michal Stepanovsky
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Optical switches;
Optical beams;
Micromirrors;
Optical crosstalk;
Optical losses;
Optical waveguides;
67.
Nearest neighbor method using non-nested generalized exemplars in breast cancer diagnosis
机译:
使用非嵌套广义样本的最近邻方法在乳腺癌诊断中
作者:
Jan Bohacik
;
Michal Zabovsky
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
biological organs;
cancer;
mammography;
medical diagnostic computing;
nearest neighbour methods;
68.
Substitution steganography with security improved by chaotic image encryption
机译:
通过混沌图像加密提高安全性的替代隐写术
作者:
Jakub Oravec
;
Ján Turán
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Encryption;
Data mining;
Gray-scale;
Bifurcation;
Chaotic communication;
69.
Trust in human-robot interactions
机译:
信任人机交互
作者:
Kornélia Lazányi
;
Beáta Hajdu
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Automata;
Correlation;
Task analysis;
Autonomous automobiles;
Autonomous systems;
Automobiles;
70.
Survey of traffic prediction methods for dynamic routing in overlay networks
机译:
覆盖网络中动态路由的流量预测方法综述
作者:
Jindrich Skupa
;
Jiri Safarik
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Routing;
Overlay networks;
Peer-to-peer computing;
Time series analysis;
Prediction algorithms;
Prediction methods;
Biological neural networks;
71.
Medical data management
机译:
医疗数据管理
作者:
Karol Matiaško
;
Michal Kvet
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Databases;
Monitoring;
Tumors;
Magnetic resonance imaging;
Biomedical imaging;
Shape;
Informatics;
72.
On some recent advancements within the pairwise comparison methodology
机译:
在成对比较方法中的一些最新进展
作者:
Andrzej Z. Grzybowski
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Phase change materials;
Indexes;
Analytic hierarchy process;
Eigenvalues and eigenfunctions;
Estimation;
Optimization;
73.
Complex networks analysis of international import-export trade
机译:
国际进出口贸易的复杂网络分析
作者:
Renata Boar
;
Alexandru Iovanovici
;
Horia Ciocarlie
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Complex networks;
Correlation;
Tools;
Economics;
Measurement;
Data visualization;
Mathematical model;
74.
Self-driving cars — The human side
机译:
自动驾驶汽车-人的一面
作者:
Péter Szikora
;
Nikolett Madarász
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Automobiles;
Autonomous automobiles;
Roads;
Sensors;
Autonomous vehicles;
Automation;
75.
Augmented virtuality for the next generation production intelligence
机译:
用于下一代生产智能的增强虚拟化
作者:
Imre J. Rudas
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Informatics;
Service robots;
Production;
Internet;
Cybernetics;
Computational intelligence;
76.
The variability constraints in simulation of index-2 differential-algebraic processes
机译:
Index-2微分代数过程仿真中的可变性约束
作者:
Paweł Drąg
;
Krystyn Styczeń
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Mathematical model;
Indexes;
Numerical models;
Computational modeling;
Optimization;
Trajectory;
Integrated circuit modeling;
77.
Quantum programming: A review
机译:
量子编程:回顾
作者:
Milan Spišiak
;
Ján Kollár
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Logic gates;
Computers;
Quantum computing;
Quantum entanglement;
Informatics;
Programming;
Standards;
78.
WLAN heat mapping in hybrid network
机译:
混合网络中的WLAN热映射
作者:
Kornél Gyöngyösi
;
Péter János Varga
;
Zsolt Illési
会议名称:
《IEEE International Scientific Conference on Informatics》
|
2017年
关键词:
Wireless LAN;
Heating systems;
Data visualization;
Software;
Pollution measurement;
Software measurement;
Wireless communication;
意见反馈
回到顶部
回到首页