掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on computer aided systems theory
International conference on computer aided systems theory
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Optic Flow: Improving Discontinuity Preserving
机译:
光学流程:提高不连续性保存
作者:
N. Monzon Lopez
;
J. Sanchez
;
A. Salgado de la Nuez
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Optical Flow;
Discontinuity Preserving;
TV-L~1;
Variational Methods;
Isotropic Regularization;
2.
A Stochastic Gompertz Model with Jumps for an Intermittent Treatment in Cancer Growth
机译:
一种随机Gompertz模型,具有癌症的间歇性治疗
作者:
Virginia Giorno
;
Serena Spina
会议名称:
《International conference on computer aided systems theory》
|
2013年
3.
Dempster-Shafer Theory Based Ship-Ship Collision Probability Modelling
机译:
Dempster-Shafer理论基于船舶碰撞概率建模
作者:
Alejandro Talavera Ortiz
;
Ricardo Aguasca Colomo
;
Blas J. Galvan-Gonzalez
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Maritime traffic safety;
collision probability;
Dempster-Shafer Theory;
Data AIS;
4.
Structural Synthesis of Dispatching Rules for Dynamic Dial-a-Ride Problems
机译:
动态拨号A-ride问题的派遣综合
作者:
Stefan Vonolfen
;
Andreas Beham
;
Michael Kommenda
;
Michael Affenzeller
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Dispatching Rules;
Genetic Programming;
Dynamic Dial-a-ride Problem;
5.
Optimization of Container Terminal Problems: An Integrated Solution Approach
机译:
集装箱终端问题的优化:综合解决方案方法
作者:
Christopher Exposito-Izquierdo
;
Eduardo Lalla-Ruiz
;
Belen Melian Batista
;
J. Marcos Moreno-Vega
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Maritime Container Terminal;
Seaside;
Storage Yard;
Land-side;
Integration Approach;
6.
The Impact of New Multi-platform Observing Systems in Science, Technology Development and Response to Society Needs; from Small to Large Scales…
机译:
新型多平台观测系统在科学,技术开发和对社会需求的反应的影响;从小到大鳞片......
作者:
Joaquin Tintore
;
Benjamin Casas
;
Emma Heslop
;
Guillermo Vizoso
;
Ananda Pascual
;
et al
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
new marine technologies;
ocean observation;
multi-platform systems;
gliders;
7.
Nonlinear Least Squares Optimization of Constants in Symbolic Regression
机译:
象征性回归中常量的非线性最小二乘优化
作者:
Michael Kommenda
;
Michael Affenzeller
;
Gabriel Kronberger
;
Stephan M. Winkler
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Constant Optimization;
Symbolic Regression;
Genetic Programming;
Levenberg-Marquard Algorithm;
Automatic Differentiation;
8.
Soft Control of Self-organized Locally Interacting Brownian Planar Agents
机译:
自组织局部互动布朗平面代理的软控
作者:
Guillaume Sartoretti
;
Max-Olivier Hongler
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
homogeneous and heterogeneous Brownian agents;
limited-range mutual interactions;
soft control;
mixed canonical-dissipative dynamics;
mean-field description;
analytical results;
9.
An Integrated Clustering and Classification Approach for the Analysis of Tumor Patient Data
机译:
肿瘤患者数据分析的集成聚类和分类方法
作者:
Stephan M. Winkler
;
Michael Affenzeller
;
Herbert Stekel
会议名称:
《International conference on computer aided systems theory》
|
2013年
10.
An Efficient and Self-adaptive Model Based on Scatter Search: Solving the Grid Resources Selection Problem
机译:
基于分散搜索的高效和自适应模型:解决网格资源选择问题
作者:
Maria Boton-Fernandez
;
Miguel A. Vega-Rodriguez
;
Francisco Prieto-Castrillo
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Grid Computing;
Scatter Search;
Adaptability;
Resources Selection;
Optimization;
11.
Nonlinear Control of a Gantry Crane
机译:
龙门起重机的非线性控制
作者:
Bernd Kolar
;
Kurt Schlacher
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
nonlinear control;
underactuated mechanical system;
differential flatness;
feedforward control;
12.
An Analysis of the Intensification and Diversification Behavior of Different Operators for Genetic Algorithms
机译:
遗传算法不同运营商的强化和多样化行为分析
作者:
Andreas Scheibenpflug
;
Stefan Wagner
会议名称:
《International conference on computer aided systems theory》
|
2013年
13.
Analysis of the New Standard Hash Function
机译:
新标准哈希函数分析
作者:
F. Martin-Fernandez
;
P. Caballero-Gil
会议名称:
《International conference on computer aided systems theory》
|
2013年
14.
Model-Driven Development of Cloud-Connected Mobile Applications Using DSLs with Xtext
机译:
使用具有XText的DSL的云连接的移动应用程序的模型驱动开发
作者:
Dustin Steiner
;
Catalina Turlea
;
Cristian Culea
;
Stephan Selinger
会议名称:
《International conference on computer aided systems theory》
|
2013年
15.
Photogrammetric Analysis of Images Acquired by an UAV
机译:
通过AAV获得的图像摄影测量分析
作者:
Moises Diaz-Cabrera
;
Jorge Cabrera-Gamez
;
Ricardo Aguasca-Colomo
;
Kanstantsin Miatliuk
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
keypoints detectors;
local descriptors;
mapping;
aerial photography;
Unmanned Aerial Vehicles (UAV);
16.
On a Bilateral Linear Birth and Death Process in the Presence of Catastrophes
机译:
在灾难存在下的双侧线性出生和死亡过程
作者:
Virginia Giorno
;
Amelia G. Nobile
会议名称:
《International conference on computer aided systems theory》
|
2013年
17.
Impact of Signal Representations on the Performance of Hierarchical WiFi Localization Systems
机译:
信号表示对等级WiFi本地化系统性能的影响
作者:
Noelia Hernandez
;
Jose M. Alonso
;
Manuel Ocana
;
Mahesh K. Marina
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
WiFi;
Topology-based Hierarchical Localization;
Parameter Analysis;
18.
A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems
机译:
用于公共自行车共享系统静态平衡的Pilot / VND /掌握混合动力
作者:
Petrina Papazek
;
Guenther R. Raidl
;
Marian Rainer-Harbach
;
Bin Hu
会议名称:
《International conference on computer aided systems theory》
|
2013年
19.
A New Diffusion Process to Epidemic Data
机译:
流行病数据的新扩散过程
作者:
Desire Romero
;
Nuria Rico
;
Maribel G-Arenas
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Growth curve;
Gompertz curve;
exponential curve;
20.
Transaction-Level Modeling and Refinement Using State Charts
机译:
使用状态图表进行交易级建模和精制
作者:
Rainer Findenig
;
Thomas Leitner
;
Wolfgang Ecker
会议名称:
《International conference on computer aided systems theory》
|
2013年
21.
Automatic Thermal Leakage Detection in Building Facades Using Laser and Thermal Images
机译:
使用激光和热图像建筑立面自动泄漏检测
作者:
D. Fernandez-Llorca
;
A.G. Lorente
;
C. Fernandez
;
I.G. Daza
;
M.A. Sotelo
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Thermal imaging;
laser;
thermal leakage;
3D reconstruction;
building envelope;
22.
Some Remarks on the First-Crossing Area of a Diffusion Process with Jumps over a Constant Barrier
机译:
关于扩散过程的第一交叉面积的一些评论,跳过恒定的屏障
作者:
Marco Abundo
;
Mario Abundo
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
First-crossing time;
first-crossing area;
jump-diffusion;
23.
Towards Platform Independence of Mobile Applications: Metamorphosing Android Applications for the Web
机译:
迈向移动应用程序的平台独立性:为网络变形Android应用程序
作者:
Peter Klima
;
Stephan Selinger
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Platform independence;
code reusability;
Android;
Google Web Toolkit;
mobile Web applications;
conversion;
source to source converter;
Eclipse Java Development Tools;
Abstract Syntax Tree;
HTML5;
24.
Delta Analysis of Role-Based Access Control Models
机译:
基于角色的访问控制模型的三角洲分析
作者:
Maria Leitner
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Access Control;
Delta Analysis;
Organizational Mining;
RBAC;
Security;
25.
Modelling of Collective Animal Behavior Using Relations and Set Theory
机译:
利用关系的集体动物行为建模
作者:
Jan Nikodem
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
collective animal bahaviour;
relations;
26.
Algorithm for Computing Unfoldings of Unbounded Hybrid Petri Nets
机译:
计算杂交培养网的计算展开的算法
作者:
Petr Novosad
;
Milan Ceska
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Hybrid Petri net;
unfolding;
27.
AVORA I Successful Participation in SAUC-E'12
机译:
Avora我成功地参加了Sauc-e'12
作者:
Anil Mahtani
;
Luis Sanchez
;
Aaron Martinez
;
Daniel Garcia
;
David Morales
;
Enrique Fernandez-Perdomo
;
Federico Maniscalco
;
Jorge Cabrera
会议名称:
《International conference on computer aided systems theory》
|
2013年
28.
The ConWIZ Protocol: A Generic Protocol for Wizard of Oz Simulations
机译:
Conwiz协议:OZ模拟向导的通用协议
作者:
Thomas Grill
;
Manfred Tscheligi
会议名称:
《International conference on computer aided systems theory》
|
2013年
29.
Yard Storage Assignment Optimisation with Neutral Walks
机译:
院子里的存储分配优化与中性散步
作者:
Monika Kofler
;
Andreas Beham
;
Erik Pitzer
;
Stefan Wagner
;
Michael Affenzeller
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
local search;
fitness landscapes;
neutral walk;
storage location assignment;
30.
Towards Good Experimental Methodologies for Unmanned Marine Vehicles
机译:
对无人船用车的良好实验方法
作者:
Massimo Caccia
;
Eleonora Saggini
;
Marco Bibuli
;
Gabriele Bruzzone
;
Enrica Zereik
;
Eva Riccomagno
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Marine robotics;
Good Experimental Methodologies;
Unmanned Marine Vehicles;
metrics;
31.
Notification Concept for BPMN Workflow Interpreter Using the ASM Method
机译:
使用ASM方法的BPMN工作流解释器的通知概念
作者:
Jan Kubovy
;
Josef Kueng
会议名称:
《International conference on computer aided systems theory》
|
2013年
32.
Hyper-bent Multiple-Valued Functions
机译:
超弯曲的多价函数
作者:
Claudio Moraga
;
Milena Stankovic
;
Radomir S. Stankovic
;
Suzana Stojkovic
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Multiple-valued functions;
bent-functions;
hyper-bent functions;
Vilenkin-Chrestenson transform;
33.
Solving Towers of Hanoi and Related Puzzles
机译:
解决河内塔和相关难题
作者:
Paul Cull
;
Leanne Merrill
;
Tony Van
;
Celeste Burkhardt
;
Tommy Pitts
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Puzzles;
Graphs;
Towers of Hanoi;
Spin-Out;
Algorithms;
Hamiltonian Paths;
Error-correcting Codes;
34.
Fitness Landscape Based Parameter Estimation for Robust Taboo Search
机译:
基于健身横向的参数估计,适用于强大的禁忌搜索
作者:
Andreas Beham
;
Erik Pitzer
;
Michael Affenzeller
会议名称:
《International conference on computer aided systems theory》
|
2013年
35.
A Parallel Multiobjective Algorithm Inspired by Fireflies for Inferring Evolutionary Trees on Multicore Machines
机译:
由Fireflies启发的并行多目标算法,用于在多核机器上推断进化树
作者:
Sergio Santander-Jimenez
;
Miguel A. Vega-Rodriguez
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Swarm Intelligence;
Parallel Computing;
Multicore Architectures;
Firefly Algorithm;
Phylogenetic Inference;
36.
Control System Design Based on Modern Embedded Systems
机译:
基于现代嵌入式系统的控制系统设计
作者:
Ahmed Khamis
;
Dawid Zydek
;
Grzegorz Borowik
;
D. Subbaram Naidu
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
embedded systems;
embedded control design;
real-time control;
37.
Simulating Energy Efficiency of Routing and Link-Layer Protocols in Wireless Sensor Networks
机译:
在无线传感器网络中模拟路由和链路层协议的能效
作者:
Mariusz Slabicki
;
Bartosz Wojciechowski
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Wireless Sensor Networks;
lifetime;
protocols;
simulations;
MAC;
T-MAC;
SEER;
BEAR;
HEED;
38.
Optimizing the Location Areas Planning in the SUMATRA Network with an Adaptation of the SPEA2 Algorithm
机译:
用SPEA2算法改编优化Sumatra网络中规划的位置区域
作者:
Victor Berrocal-Plaza
;
Miguel A. Vega-Rodriguez
;
Juan M. Sanchez-Perez
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Location Areas Planning Problem;
Mobile Location Management;
Multi-objective Optimization;
Stanford University Mobile Activity Traces;
Strength Pareto Evolutionary Algorithm 2;
39.
On the Relevance of Graphical Causal Models for Failure Detection for Industrial Machinery
机译:
论工业机械故障检测的图形因果模型的相关性
作者:
A.H. Kosorus
;
M. Zhariy
;
T. Natschlaeger
;
B. Freudenthaler
;
Josef Kueng
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
fault detection and diagnosis;
graphical models;
causality;
condition-based maintenance;
40.
Statistical Analysis of the Relationship between Spots and Structures in Microscopy Images
机译:
显微镜图像中斑点与结构之间关系的统计分析
作者:
Susanne Schaller
;
Jaroslaw Jacak
;
Rene Silye
;
Stephan M. Winkler
会议名称:
《International conference on computer aided systems theory》
|
2013年
41.
Petri Net Dynamic Partial Reconfiguration in FPGA
机译:
FPGA中的Petri净动态部分重新配置
作者:
Arkadiusz Bukowiec
;
Michal Doligalski
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
FPGAs;
Logic controllers;
Petri nets;
Reconfiguration;
42.
Navigating Indoors Using Decision Points
机译:
使用决策点导航室内
作者:
Andreas Moeller
;
Stefan Diewald
;
Luis Roalter
;
Tobias Stockinger
;
Robert Huitl
;
Sebastian Hilsenbeck
;
Matthias Kranz
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Indoor Navigation;
Visual Localization;
Virtual Reality;
Panorama;
Decision Points;
User Interfaces;
43.
Traffic Light Recognition During the Night Based on Fuzzy Logic Clustering
机译:
基于模糊逻辑聚类的夜间交通光识别
作者:
Moises Diaz-Cabrera
;
Pietro Cerri
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Traffic Lights Detection;
Advanced Driver Assistance System (ADAS);
Patter Recognition;
Image Processing;
Color Threshold Segmentation;
44.
Data Improvement to Enable Process Mining on Integrated Non-log Data Sources
机译:
数据改进使过程挖掘在集成的非日志数据源上
作者:
Reinhold Dunkl
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Data Enrichment;
Data Quality Improvement;
Data Integration;
Process Mining;
45.
Comparison of Local Obstacle Avoidance Algorithms
机译:
局部障碍避免算法的比较
作者:
E. Molinos
;
J. Pozuelo
;
A. Llamazares
;
M. Ocana
;
J. Lopez
会议名称:
《International conference on computer aided systems theory》
|
2013年
46.
On Approximate Nearest Neighbour Field Algorithms in Template Matching for Surface Quality Inspection
机译:
关于表面质量检验模板匹配的近似邻邻场算法
作者:
Gernot Stuebl
;
Bernhard Moser
;
Josef Scharinger
会议名称:
《International conference on computer aided systems theory》
|
2013年
47.
Analysis of Lightweight Cryptographic Solutions for Authentication in IoT
机译:
IOT认证的轻量级加密解决方案分析
作者:
M.C. Hernandez-Goya
;
P. Caballero-Gil
会议名称:
《International conference on computer aided systems theory》
|
2013年
48.
Fast Calculation of Exact Minimal Unate Coverings on Both the CPU and the GPU
机译:
在CPU和GPU上快速计算精确的单人覆盖物
作者:
Bernd Steinbach
;
Christian Posthoff
会议名称:
《International conference on computer aided systems theory》
|
2013年
49.
Measurement of Anisotropy in Fitness Landscapes
机译:
体育景观中各向异性的测量
作者:
Erik Pitzer
;
Michael Affenzeller
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
fitness landscapes;
anisotropy;
stationarity;
NK landscapes;
50.
Declarative Modeling and Bayesian Inference of Dark Matter Halos
机译:
暗物质晕的陈述式造型和贝叶斯推论
作者:
Gabriel Kronberger
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Declarative Models;
Probabilistic Programming;
Bayesian Inference;
Dark Matter Localization;
51.
Application of Artificial Neuron Networks and Hurst Exponent to Forecasting of Successive Values of a Time Series Representing Environmental Measurements in an Intelligent Building
机译:
人工神经元网络在智能建筑中表达环境测量时序列的连续值预测
作者:
Andrzej Stachno
;
Andrzej Jablonski
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Artificial Neuron Networks;
FFT;
Forecasting;
Successive Values of a Time Series;
Moving Window Fourier;
Environmental Measurements in an Intelligent Building;
52.
Improving the Accuracy of Cancer Prediction by Ensemble Confidence Evaluation
机译:
通过集合置信度评估提高癌症预测的准确性
作者:
Michael Affenzeller
;
Stephan M. Winkler
;
Herbert Stekel
;
Stefan Forstenlechner
;
Stefan Wagner
会议名称:
《International conference on computer aided systems theory》
|
2013年
53.
An Improved Heuristic for the Probabilistic Traveling Salesman Problem with Deadlines Based on GPGPU
机译:
基于GPGPU的截止日期的概率旅行推销员问题改进了启发式问题
作者:
Dennis Weyland
;
Roberto Montemanni
;
Luca Maria Gambardella
会议名称:
《International conference on computer aided systems theory》
|
2013年
54.
Remarks on Systems, Beads, and Bead Sets
机译:
关于系统,珠子和珠子的备注
作者:
Radomir S. Stankovic
;
Jaakko T. Astola
;
Claudio Moraga
;
Stanislav Stankovic
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Beads;
Decision diagrams;
Logic functions;
Systems;
55.
On the Relevance of Discrepancy Norm for Similarity-Based Clustering of Delta-Event Sequences
机译:
关于三角形序列相似性群体差异规范的相关性
作者:
B. Moser
;
F. Eibensteiner
;
J. Kogler
;
Gernot Stuebl
会议名称:
《International conference on computer aided systems theory》
|
2013年
56.
Static Positioning Accuracy of a Redundant Robotic System
机译:
冗余机器人系统的静态定位精度
作者:
Matthias Neubauer
;
Hubert Gattringer
;
Hartmut Bremer
会议名称:
《International conference on computer aided systems theory》
|
2013年
57.
Bridging the Gap between Rich Supply Chain Problems and the Effective Application of Metaheuristics through Ontology-Based Modeling
机译:
通过本体基于本体建模桥接丰富供应链问题与弥撒的有效应用的差距
作者:
Corinna Engelhardt-Nowitzki
;
Stefan Rotter
;
Michael Affenzeller
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Supply Chain Optimization;
Metaheuristics;
Supply Chain Ontology;
58.
Wifigrams: Design of Hierarchical Wi-Fi Indoor Localization Systems Guided by Social Network Analysis
机译:
WIFIGRAMS:社交网络分析指导的分层Wi-Fi室内定位系统的设计
作者:
Jose M. Alonso
;
Noelia Hernandez
;
Manuel Ocana
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Wi-Fi Technology;
Topology-based Hierarchical Localization;
Social Network Analysis;
59.
Rapid Protocol Development in Wireless Sensor Networks Using Wireshark Plugins
机译:
使用Wireshark插件的无线传感器网络中快速协议开发
作者:
Tomasz Surmacz
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Wireless Sensor Networks;
Wireshark;
protocol development;
TinyOS;
nesC;
XML;
mobile computing;
Raspberry Pi;
TelosB;
60.
Implementation of an IT-Services Practical Standard in Hotel and Tourism Industries
机译:
在酒店和旅游产业中实施IT - 服务实用标准
作者:
Abraham Rodriguez-Rodriguez
;
Silvia Tejera-Correa
;
Samuel Jimenez-Jimenez
;
Roberto Moreno-Diaz jr.
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
standard;
information technology;
tourism;
ontologies;
61.
Virtual Vehicle Approach for Longitudinal Control in Urban Environments
机译:
城市环境中纵向控制的虚拟车辆方法
作者:
Jorge Godoy
;
Jorge Villagra
;
Teresa de Pedro
;
Ramon Galan
会议名称:
《International conference on computer aided systems theory》
|
2013年
62.
Architecture and Design of a Generic Device Server for Virtual Reality Hardware Integration in Surgical Navigation
机译:
用于手术导航中虚拟现实硬件集成的通用设备服务器的体系结构和设计
作者:
Gerald Zwettler
;
Werner Backfrieder
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
hardware abstraction layer;
virtual reality in medicine;
3D surgery training;
63.
Using Fixed Point Arithmetic for Cardiac Pathologies Detection Based on Electrocardiogram
机译:
基于心电图的心脏病理检测使用定点算法
作者:
Carlos M. Travieso-Gonzalez
;
Santiago T. Perez-Suarez
;
Jesus B. Alonso
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Cardio-Vascular Diseases;
Electrocardiogram;
QRS complex;
Discrete Wavelet Transform;
Artificial Neural Network;
Field Programmable Gate Array;
System Generator;
Matlab;
Simulink;
64.
Some Results on Brownian Motion Perturbed by Alternating Jumps in Biological Modeling
机译:
通过在生物学建模中交替跳跃的布朗运动扰乱了一些结果
作者:
Antonio Di Crescenzo
;
Antonella Iuliano
;
Barbara Martinucci
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Brownian motion;
alternating jumps;
first-crossing time;
65.
Feature Selection for Unsupervised Learning via Comparison of Distance Matrices
机译:
通过距离矩阵的比较,无监督学习的特征选择
作者:
Stephan Dreiseitl
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Unsupervised feature selection;
feature extraction;
dimensionality reduction;
distance matrix similarity;
66.
On the Evolutionary Behavior of Genetic Programming with Constants Optimization
机译:
论常量优化遗传编程的进化行为
作者:
Bogdan Burlacu
;
Michael Affenzeller
;
Michael Kommenda
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Genetic Programming;
Evolutionary Behavior;
Constant Optimization;
Symbolic Regression;
Algorithm Analysis;
67.
Colour Texture Segmentation of Tear Film Lipid Layer Images
机译:
撕裂膜脂层图像的颜色纹理分割
作者:
B. Remeseiro-Lopez
;
L. Ramos
;
N. Barreira Rodriguez
;
A. Mosquera
;
E. Yebra-Pimentel
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
tear film lipid layer;
Guillon categories;
colour texture analysis;
image segmentation;
68.
Autonomous Marine Robots Assisting Divers
机译:
自主海洋机器人协助潜水员
作者:
Nikola Miskovic
;
Zoran Vukic
;
Antonio Vasilijevic
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
autonomous marine vehicles;
human-diver interaction;
cognitive robotics;
69.
Detecting Information Structures in Texts
机译:
检测文本中的信息结构
作者:
Thomas Bohne
;
Uwe M. Borghoff
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
document analysis;
information retrieval;
entropy estimation;
data compression;
trie data structure;
70.
Enabling Design and Development of Wireless BANs Using 802.15.x Standards
机译:
使用802.15.x标准启用无线禁令的设计和开发
作者:
Jan Szymanski
;
Zenon Chaczko
;
Ben Rodanski
;
Andrzej Jablonski
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Wireless Sensor Network (WSN);
Body Area Networks (BAN);
Pervasive Healthcare;
IEEE 802.15.4;
71.
Morphotronics and Bond Graphs Representation
机译:
MorphoneCronics和债券图表示
作者:
Germano Resconi
;
Zenon Chaczko
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Morphotronics;
Bond Graphs;
Tracking system power movements;
72.
Operating System for Petri Nets-Specified Reconfigurable Embedded Systems
机译:
Petri网指定的操作系统指定可重新配置嵌入式系统
作者:
Tomas Richta
;
Vladimir Janousek
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
model-based design;
Reference Nets;
nets-within-nets;
embedded systems;
code generation;
73.
A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem
机译:
一种迭代算法,具有两个不同解决方案表示的分区图着色问题
作者:
Petrica C. Pop
;
Bin Hu
;
Guenther R. Raidl
会议名称:
《International conference on computer aided systems theory》
|
2013年
74.
Augmented Reality Visualization for Computer Assisted Surgical Training
机译:
计算机辅助外科训练的增强现实可视化
作者:
Akash Shankaran
;
Jerzy W. Rozenblit
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Laparoscopic surgical training;
augmented reality;
visualization;
minimally invasive surgery;
75.
Business Operation Improvement through Integrated Infrastructure Management
机译:
通过综合基础设施管理进行业务运营改进
作者:
Alberto Casanova
;
Laura M. Castro
;
Antonio Blanco-Ferro
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
integration;
infrastructure management;
legacy;
COTS;
76.
Cost Function Selection for a Graph-Based Segmentation in OCT Retinal Images
机译:
10月视网膜图像中基于图形的分段的成本函数选择
作者:
A. Gonzalez
;
M.G. Penedo
;
S.G. Vazquez
;
J. Novo
;
P. Charlon
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
image segmentation;
OCT retinal image;
cost function;
minimum closed set;
graph;
77.
A Contribution to the Study of Classification and Regression Trees Using Multivalued Array Algebra
机译:
使用多值阵列代数对分类和回归树研究的贡献
作者:
Margaret Miro-Julia
;
Monica J. Ruiz-Miro
会议名称:
《International conference on computer aided systems theory》
|
2013年
78.
Computation Time Optimization in Super-Resolution Applications
机译:
超分辨率应用中的计算时间优化
作者:
Eduardo Quevedo
;
David Horat
;
Gustavo M. Callico
;
Felix Tobajas
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Image enhancement;
Super-Resolution;
computation time;
79.
Control and Command Systems Concepts from Early Work on a Mars Rover
机译:
从Mars Rover上的早期工作的控制和指挥系统概念
作者:
Gabriel de Blasio
;
Arminda Moreno-Diaz
;
Roberto Moreno-Diaz
会议名称:
《International conference on computer aided systems theory》
|
2013年
80.
Novel Approaches to Geophysical Navigation of Autonomous Underwater Vehicles
机译:
自主水下车辆地球物理导航的新方法
作者:
Francisco Curado Teixeira
会议名称:
《International conference on computer aided systems theory》
|
2013年
81.
IoT Application in the Supply Chain Logistics
机译:
IOT应用于供应链物流
作者:
C. Caballero-Gil
;
J. Molina-Gil
;
P. Caballero-Gil
;
Alexis Quesada-Arencibia
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Ubiquitous;
IoT;
QR Codes;
Wi-Fi Direct;
RFID;
supply chain;
distribution;
logistic;
transportation;
tracking;
82.
A Multiobjective SFLA-Based Technique for Predicting Motifs in DNA Sequences
机译:
一种基于多目标SFLA的用于预测DNA序列中的基序技术
作者:
David L. Gonzalez-Alvarez
;
Miguel A. Vega-Rodriguez
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Shuffle frog leaping algorithm;
evolutionary algorithm;
multiobjective optimization;
motif discovery;
DNA;
83.
On the Dynamics of a Couple of Mutually Interacting Neurons
机译:
关于几种相互相互作用神经元的动态
作者:
A. Buonocore
;
L. Caputo
;
M.F. Carfora
;
E. Pirozzi
会议名称:
《International conference on computer aided systems theory》
|
2013年
84.
The Influence of Routing on Lateral Transhipment
机译:
路由对横向转运的影响
作者:
Richard F. Hartl
;
Martin Romauch
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
lateral transhipment;
orienteering;
team orienteering;
vehicle routing;
pickup and delivery;
85.
Training Surgical Skills under Accredited Education: Our Regional Experience
机译:
认可教育下的培训外科技能:我们的区域经验
作者:
J. Ballesteros-Ruiz
;
M. Maynar
;
M.A. Rodriguez-Florido
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Medical teaching and training;
surgical simulation;
surgical planning;
open source software;
86.
Feasibility of Property-Based Testing for Time-Dependent Systems
机译:
基于房地产性的时间测试的可行性
作者:
Macias Lopez
;
Laura M. Castro
;
David Cabrero
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Functional testing;
property-based testing;
time constraints;
87.
Towards Secure Personal Device Unlock Using Stereo Camera Pan Shots
机译:
在安全的个人设备上解锁使用立体声相机PAN拍摄
作者:
Rainhard D. Findling
;
Rene Mayrhofer
会议名称:
《International conference on computer aided systems theory》
|
2013年
88.
Assessing the Quality of WSAN Topologies
机译:
评估WSAN拓扑的质量
作者:
Zenon Chaczko
;
Germano Resconi
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
WSANs;
Quality of WSAN topology;
Validation indices;
89.
Mobile Surveys: A Method for Measuring End-User Satisfaction of Mobile Applications in Unsupervised Field Studies
机译:
移动调查:在无监督现场研究中测量移动应用的最终用户满意度的方法
作者:
Florian Lettner
;
Clemens Holzmann
;
Lorenz Loesch
会议名称:
《International conference on computer aided systems theory》
|
2013年
90.
An Abstraction of Multi-port Memories with Arbitrary Addressable Units
机译:
具有任意寻址单元的多端口存储器的抽象
作者:
Lukas Charvat
;
Ales Smrcka
;
Tomas Vojnar
会议名称:
《International conference on computer aided systems theory》
|
2013年
91.
Enabling A/B Testing of Native Mobile Applications by Remote User Interface Exchange
机译:
通过远程用户界面Exchange启用对本机移动应用程序的A / B测试
作者:
Florian Lettner
;
Clemens Holzmann
;
Patrick Hutflesz
会议名称:
《International conference on computer aided systems theory》
|
2013年
92.
Analysis of Compass Sensor Accuracy on Several Mobile Devices in an Industrial Environment
机译:
在工业环境中若干移动设备上的罗盘传感器精度分析
作者:
Michael Hoelzl
;
Roland Neumeier
;
Gerald Ostermayer
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
digital compass;
dead reckoning;
indoor localization;
industrial environment;
93.
Escaping the Linearity Trap: Better Simulation Models for Management Support
机译:
逃离线性陷阱:更好的管理支持模拟模型
作者:
Markus Schwaninger
;
Stefan N. Groesser
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Linearity;
Nonlinearity;
Modeling and Simulation;
Model-building;
Capacity Planning;
94.
Surface Area Under the Motion Curve as a New Tool for Gait Recognition
机译:
运动曲线下的表面积作为步态识别的新工具
作者:
Ryszard Klempous
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
motion captures;
gait recognition;
comparing the surface areas;
95.
Flatness Based Control of an Injection Moulding Machine
机译:
基于平坦的注塑机控制
作者:
Sven-Olaf Lindert
;
Gerald Reindl
;
Kurt Schlacher
会议名称:
《International conference on computer aided systems theory》
|
2013年
96.
Internships as an Application of Cloud Computing Solutions for Education at Universities
机译:
实习作为大学教育云计算解决方案的应用
作者:
Jerzy Kotowski
会议名称:
《International conference on computer aided systems theory》
|
2013年
97.
User-Friendly Authentication and Authorization Using a Smartphone Proxy
机译:
用户友好的身份验证和使用智能手机代理的授权
作者:
Luis Roalter
;
Stefan Diewald
;
Andreas Moeller
;
Tobias Stockinger
;
Matthias Kranz
会议名称:
《International conference on computer aided systems theory》
|
2013年
关键词:
Mobile Computing;
Mobile Authentication;
Mobile Authorization;
Proxy Authentication;
Mobile Security;
Secure Authentication;
Single Sign-On;
98.
A Note on Some Past and Present Advances in Neuroscience: A Personal Perspective Dedicated to the Memory of Luigi Ricciardi
机译:
关于神经科学的一些过去和现在的进步:致力于Luigi Ricciardi的纪念的个人观点
作者:
K.N. Leibovic
会议名称:
《International conference on computer aided systems theory》
|
2013年
意见反馈
回到顶部
回到首页