掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Topic Modeling Using Contextual Cues
机译:
使用上下文提示进行主题建模
作者:
Ciprian-Octavian Truica
;
Elena Simona Apostol
;
Catalin Adrian Leordeanu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Linguistics;
Feature extraction;
Vocabulary;
Context modeling;
Coherence;
Data mining;
Entropy;
2.
MultiNetCom: An Extended Framework for Communities Detection in Multi-relational Networks
机译:
MultiNetCom:多关系网络中社区检测的扩展框架
作者:
Ramona Stoica
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Clustering algorithms;
Complexity theory;
Image edge detection;
Biology;
Social network services;
Computational modeling;
Standards;
3.
Bandwidths Optimization on Sparse Matrices Using Brain Storm Optimization
机译:
使用头脑风暴优化对稀疏矩阵进行带宽优化
作者:
Liviu Octavian Mafteiu-Scai
;
Emanuela Mafteiu-Scai
;
Teodora Voina
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Bandwidth;
Optimization;
Clustering algorithms;
Sparse matrices;
Heuristic algorithms;
Mathematical model;
Storms;
4.
SMT Solving for Arithmetic Theories: Theory and Tool Support
机译:
SMT求解算术理论:理论和工具支持
作者:
Erika Ábrahám
;
Gereon Kremer
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Standards;
Tools;
Encoding;
Semantics;
Planning;
Product design;
Tutorials;
5.
Challenges in Verifying Arithmetic Circuits Using Computer Algebra
机译:
使用计算机代数验证算术电路的挑战
作者:
Armin Biere
;
Manuel Kauers
;
Daniela Ritirc
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Logic gates;
Algebra;
Integrated circuit modeling;
Computational modeling;
Adders;
Scientific computing;
Manuals;
6.
ReaderBench: Building Comprehensive Sociograms of Online Communities
机译:
ReaderBench:构建在线社区的综合社会统计图
作者:
Dorinela Sirbu
;
Marilena Panaite
;
Ana Secui
;
Mihai Dascalu
;
Nicolae Nistor
;
Stefan Trausan-Matu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Blogs;
Clustering algorithms;
Feature extraction;
Parallel processing;
Games;
Discussion forums;
7.
Machine Learning based Malware Detection. How to Balance Memory Footprint with Model Accuracy.
机译:
基于机器学习的恶意软件检测。如何在内存占用量和模型精度之间取得平衡。
作者:
Dragos Teodor Gavrilut
;
Dan Gabriel Anton
;
George Popoiu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Decision trees;
Machine learning algorithms;
Computational modeling;
Malware;
Machine learning;
Security;
Cloud computing;
8.
Gröbner Bases Computation and Macaulay Matrices
机译:
Gröbner基数计算和Macaulay矩阵
作者:
Bruno Buchberger
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Software algorithms;
Scientific computing;
Reduced instruction set computing;
Software systems;
Marine vehicles;
Tools;
Writing;
9.
Concurrency for the Masses: The Paradigm of Software Transactional Memory
机译:
大规模并发:软件事务存储的范式
作者:
Panagiota Fatourou
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Parallel processing;
Synchronization;
Software;
Software algorithms;
Concurrent computing;
Programming;
10.
Models of Computation for Origami
机译:
折纸的计算模型
作者:
Tetsuo Ida
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Computational modeling;
Geometry;
Numerical models;
Transforms;
Logic programming;
Shape;
Compass;
11.
A Hierarchical Clustering-Based Approach for Software Restructuring at the Package Level
机译:
基于分层聚类的软件包级软件重组方法
作者:
Zsuzsanna Marian
;
Istvan-Gergely Czibula
;
Gabriela Czibula
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Software systems;
Software packages;
Measurement;
Clustering algorithms;
Software algorithms;
Couplings;
12.
An Unsupervised Learning Based Conceptual Coupling Measure
机译:
基于无监督学习的概念耦合测度
作者:
Diana-Lucia Miholca
;
Gabriela Czibula
;
Zsuzsanna Marian
;
Istvan-Gergely Czibula
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Couplings;
Software measurement;
Software systems;
Semantics;
Maintenance engineering;
13.
Automated Negotiation Strategies Prediction in Multi-agent Systems
机译:
多主体系统中的自动协商策略预测
作者:
Lavinia-Stefania Sirbu
;
Serban Radu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Genetic algorithms;
Protocols;
Prediction algorithms;
Software agents;
Machine learning algorithms;
Sociology;
Statistics;
14.
Defect Detection in Porcelain Industry Based on Deep Learning Techniques
机译:
基于深度学习技术的瓷器行业缺陷检测
作者:
Adriana Birlutiu
;
Adrian Burlacu
;
Manuella Kadar
;
Daniela Onita
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Feature extraction;
Inspection;
Porcelain;
Production;
Industries;
Computer vision;
15.
Numerical P Systems (After Ten Years)
机译:
数值P系统(十年后)
作者:
Gheorghe Paun
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Biomembranes;
Production;
Computer architecture;
Computational modeling;
Complexity theory;
Biological system modeling;
Numerical models;
16.
Concurrent Reflective Abstract State Machines
机译:
并发反射抽象状态机
作者:
Klaus-Dieter Schewe
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Silicon;
Parallel algorithms;
Vocabulary;
Adaptive systems;
Adaptation models;
Linguistics;
Concurrent computing;
17.
Theorema 2.0: A Brief Tutorial
机译:
定理2.0:简要教程
作者:
Wolfgang Windsteiger
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Knowledge based systems;
Browsers;
Tutorials;
Cognition;
Reduced instruction set computing;
Set theory;
18.
Identifying Socio-Cognitive Structures in Online Knowledge Building Communities Using Cohesion Network Analysis
机译:
使用内聚网络分析识别在线知识构建社区中的社会认知结构
作者:
Nicolae Nistor
;
Marilena Panaite
;
Mihai Dascalu
;
Stefan Trausan-Matu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Blogs;
Collaboration;
Knowledge engineering;
Education;
Natural languages;
Semantics;
Scientific computing;
19.
Practical Aspects Related to Using Hidden Markov Models for Detecting Metamorphic File Infectors
机译:
与使用隐藏的马尔可夫模型检测变形文件感染者有关的实践方面
作者:
Doina Cosovan
;
Catalin Valeriu Lita
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Hidden Markov models;
Training;
Testing;
Computer viruses;
Engines;
Markov processes;
20.
Resolving Zero Divisors Using Hensel Lifting
机译:
使用Hensel提升法解决零除数
作者:
John Kluesner
;
Michael Monagan
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Standards;
Image reconstruction;
Complexity theory;
Testing;
Scientific computing;
Tools;
21.
Maximal Radius for Stabilty Regions of Explicit Runge Kutta Methods by Real Quantifier Elimination
机译:
通过实际量词消除的显式Runge Kutta方法稳定性区域的最大半径
作者:
Róbert Vajda
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
initial value problems;
optimisation;
polynomials;
Runge-Kutta methods;
stability;
symbol manipulation;
22.
Simple Relation between the Lowest-Order Element of Ideal 〈G,H〉 and the Last Element of Polynomial Remainder Sequence
机译:
理想
的最低阶元素与多项式余数序列的最后一个元素之间的简单关系
作者:
Tateaki Sasaki
;
Daiju Inaba
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Scientific computing;
Algebra;
Mathematical model;
Complexity theory;
Computational modeling;
Analytical models;
23.
Outliers Detection in Analysis of Cognitive Emotion Regulation Questionnaire for Teenagers
机译:
青少年认知情绪调节问卷调查中的离群值检测
作者:
Adriana Mihaela Coroiu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Anomaly detection;
Support vector machines;
Forestry;
Sociology;
Statistics;
Frequency measurement;
Distributed databases;
24.
WARP: Efficient Automatic Web Service Composition
机译:
WARP:高效的自动Web服务组合
作者:
Paul Diac
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Web services;
Planning;
Benchmark testing;
Generators;
Artificial intelligence;
Conferences;
Scientific computing;
25.
Properties and Computation of the Functional Inverse of Gamma
机译:
伽马函数逆的性质和计算
作者:
K. Amenyo Folitse
;
David J. Jeffrey
;
Robert M. Corless
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Convergence;
Newton method;
Computer science;
Taylor series;
Scientific computing;
Turning;
Presses;
26.
Fast Matrix Operations in Computer Algebra
机译:
计算机代数中的快速矩阵运算
作者:
Zak Tonks
;
Gregory Sankaran
;
James Davenport
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Sparse matrices;
Testing;
Scientific computing;
Computer science;
Modules (abstract algebra);
Numerical stability;
27.
Rational orthonormal matrices
机译:
有理正交矩阵
作者:
Nasir Khattak
;
D. J. Jeffrey
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Matrix decomposition;
Standards;
Scientific computing;
Eigenvalues and eigenfunctions;
28.
Color Grading with Neural Network
机译:
神经网络颜色分级
作者:
Victor Artigues
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Histograms;
Image color analysis;
Neural networks;
Training;
Tools;
Distribution functions;
Computer vision;
29.
A Data Aggregation Strategy Based on Wavelet for the Internet of Things
机译:
基于小波的物联网数据聚合策略
作者:
Barbara Guidi
;
Andrea De Salve
;
Laura Ricci
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Peer-to-peer computing;
Data aggregation;
Histograms;
Internet of Things;
Sensor phenomena and characterization;
Proposals;
30.
Abstract Continuation Semantics for Asynchronous Concurrency
机译:
异步并发的抽象连续语义
作者:
Gabriel Ciobanu
;
Eneia Nicolae Todoran
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Semantics;
Extraterrestrial measurements;
Concurrent computing;
Computational modeling;
Context modeling;
Syntactics;
31.
Measuring and Visualizing the Scrappiness Level of a Website
机译:
衡量和可视化网站的可靠性水平
作者:
Darius Bufnea
;
Diana Sotropa
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Search engines;
Visualization;
Browsers;
Navigation;
Advertising;
Optimization;
Web pages;
32.
Ensuring Domain Consistency in an Adaptive Framework with Distributed Topology for Fluid Flow Simulations
机译:
在具有分布式拓扑的流体流动模拟自适应框架中确保域一致性
作者:
Christoph Ertl
;
Ralf-Peter Mundani
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Topology;
Data structures;
Network topology;
Computational modeling;
Load modeling;
Three-dimensional displays;
Two dimensional displays;
33.
Toward Non-flat Geometrical Origami Folds with Eos System
机译:
借助Eos系统实现非平坦的几何折纸褶皱
作者:
Fadoua Ghourabi
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Three-dimensional displays;
Earth Observing System;
Two dimensional displays;
Algebra;
Scientific computing;
Computer science;
Industries;
34.
Parametric Study of the Accuracy of an Approximate Solution for the Mild-Slope Equation
机译:
缓坡方程近似解精度的参数研究
作者:
Emmanuel Audusse
;
Olivier Lafitte
;
Agnès Leroy
;
Benjamin Mélinand
;
Chi-Tuân Pham
;
Pierrick Quemar
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Mathematical model;
Two dimensional displays;
Optical surface waves;
Parametric study;
Surface waves;
Geometrical optics;
Diffraction;
35.
An SDP-based Method for the Real Radical Ideal Membership Test
机译:
基于SDP的真实自由基理想成员资格测试方法
作者:
Fei Wang
;
Greg Reid
;
Henry Wolkowicz
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Rail to rail inputs;
Symmetric matrices;
Kernel;
Frequency modulation;
Generators;
Programming;
36.
An Approach to Performance Evaluation Programming
机译:
绩效评估规划的一种方法
作者:
Eneia Nicolae Todoran
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Performance evaluation;
Reactive power;
Complexity theory;
Analytical models;
Programming;
Markov processes;
Computer languages;
37.
Road Traffic Segments Characterization
机译:
道路交通路段特征
作者:
Cristian-Nicolae Babau
;
Raul Răzvan Suditu
;
Marius Marcu
;
Vladimir-Ioan Cretu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Scientific computing;
38.
Existence of Gaps on the Path of Equilibriums in Case of Longitudinal Flight with Constant Forward Velocity
机译:
恒定向前速度纵向飞行情况下平衡路径上的间隙的存在
作者:
Agneta Maria Balint
;
Stefan Balint
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Differential equations;
Oscillators;
Aircraft;
Mathematical model;
Elevators;
Manifolds;
Atmospheric modeling;
39.
Constructive Realizable Multi-resolution Wavelet-Like Systems Based on Multi-windows Spline-Type Spaces
机译:
基于多窗口样条类型空间的可构造可实现多分辨率小波样系统
作者:
Darian M. Onchis
;
Simone Zappala
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Signal resolution;
Splines (mathematics);
Modulation;
Complexity theory;
Multiresolution analysis;
Lattices;
Stability analysis;
40.
Solving 2-D Pattern Matching using Networks of Polarized Picture Processors with Circular Permutation
机译:
使用带有圆形排列的偏振图像处理器网络解决二维模式匹配
作者:
Stefan Popescu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Program processors;
Biological system modeling;
Computational modeling;
Pattern matching;
Protocols;
Mathematical model;
41.
Social Principles in Agent-Based Trust Management for the Internet of Things
机译:
物联网基于代理的信任管理中的社会原则
作者:
Kalliopi Kravari
;
Nick Bassiliades
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Internet of Things;
Peer-to-peer computing;
Intelligent agents;
Reliability;
Social network services;
Multi-agent systems;
42.
Effective Construction of Convex Hull Algorithms
机译:
凸包算法的有效构造
作者:
Peter Mitura
;
Ivan Šimecek
;
Ivan Kotenkov
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Time complexity;
Optimization;
Sorting;
Runtime;
Geometry;
Generators;
43.
Towards a Clausal Analysis of Proof Schemata
机译:
对证明图式进行子句分析
作者:
David Cerna
;
Michael Lettmann
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Calculus;
Standards;
Redundancy;
Complexity theory;
Scientific computing;
Information systems;
Tools;
44.
Formalization and Closedness of Finite Dimensional Subspaces
机译:
有限维子空间的形式化和封闭性
作者:
Florian Faissole
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Hilbert space;
Libraries;
Topology;
Finite element analysis;
Convergence;
Cognition;
Extraterrestrial measurements;
45.
A Home Based Health-Care Solution for Older Adults Using Kinect
机译:
基于Kinect的老年人居家保健解决方案
作者:
Ioana-Andra Codreanu
;
Adina Magda Florea
;
Irina Mocanu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Games;
Three-dimensional displays;
Monitoring;
Senior citizens;
Tools;
Computer science;
Avatars;
46.
Towards a Complex Evolutionary Agent-Based System for Medical Sensor Data
机译:
迈向基于复杂进化代理的医疗传感器数据系统
作者:
Adriana Dinis
;
Todor Ivascu
;
Viorel Negru
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Genetic algorithms;
Hospitals;
Machine learning algorithms;
Monitoring;
Medical diagnostic imaging;
Machine learning;
Evolutionary computation;
47.
A Certified Procedure for RL Verification
机译:
RL验证的认证程序
作者:
Andrei Arusoaie
;
David Nowak
;
Vlad Rusu
;
Dorel Lucanu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Semantics;
Cognition;
Syntactics;
Reactive power;
Java;
Registers;
Bridges;
48.
VIAP - Automated System for Verifying Integer Assignment Programs with Loops
机译:
VIAP-用于验证带循环的整数分配程序的自动化系统
作者:
Pritom Rajkhowa
;
Fangzhen Lin
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Benchmark testing;
Closed-form solutions;
Tools;
Scientific computing;
Indexes;
Python;
49.
Integration of Jason Reinforcement Learning Agents into an Interactive Application
机译:
将Jason强化学习代理集成到交互式应用程序中
作者:
Costin Badica
;
Alex Becheru
;
Samuel Felton
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Mathematical model;
Programming;
Software;
Computer architecture;
Computational modeling;
Java;
50.
Volume Estimation in Point Cloud using Multi-Agent System
机译:
使用多智能体系统的点云中的体积估计
作者:
Victor Artigues
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Three-dimensional displays;
Multi-agent systems;
Volume measurement;
Estimation;
Clustering algorithms;
Monte Carlo methods;
Task analysis;
51.
CYBERH: Cyber-Physical Systems in Health for Personalized Assistance
机译:
CYBERH:健康中的网络物理系统提供个性化帮助
作者:
Debora Gil
;
Aura Hernández-Sabaté
;
David Castells-Rufas
;
Jordi Carrabina
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Cancer;
Real-time systems;
Lung;
Biomedical monitoring;
Sensors;
Computer architecture;
Vehicles;
52.
Deciding and Interpolating Algebraic Data Types by Reduction
机译:
通过归约确定和内插代数数据类型
作者:
Hossein Hojjat
;
Philipp Rümmer
会议名称:
《》
|
2017年
关键词:
Interpolation;
Color;
Computational modeling;
Syntactics;
Image color analysis;
Algebra;
Data models;
53.
A Test Suite Generation Approach Based on EFSMs Using a Multi-objective Genetic Algorithm
机译:
基于多目标遗传算法的基于EFSM的测试套件生成方法
作者:
Ana Turlea
;
Florentin Ipate
;
Raluca Lefticaru
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Biological cells;
Genetic algorithms;
Testing;
Linear programming;
Sociology;
Statistics;
Indexes;
54.
Performance Analysis of Morphological Operation in CPU and GPU for Medical Images
机译:
CPU和GPU的医学图像形态运算性能分析
作者:
Sebastian-Aurelian Stefaniga
;
Mihail Gaianu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Graphics processing units;
Central Processing Unit;
Biomedical imaging;
Real-time systems;
Random access memory;
Image processing;
Instruction sets;
55.
Algorithm Fusion for Windscreen Obstruction Detection in Autonomous Driving
机译:
自动驾驶挡风玻璃障碍检测算法融合
作者:
Petru Radu
;
Cezar Valeriu Regep
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Cameras;
Detection algorithms;
Fuzzy logic;
Automotive components;
Autonomous vehicles;
Automotive engineering;
Detectors;
56.
A Comparison of Open-Source Static Analysis Tools for Vulnerability Detection in C/C++ Code
机译:
C / C ++代码中用于漏洞检测的开源静态分析工具的比较
作者:
Andrei Arusoaie
;
Stefan Ciobâca
;
Vlad Craciun
;
Dragos Gavrilut
;
Dorel Lucanu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Tools;
Static analysis;
Memory management;
Computer bugs;
Resource management;
Concurrent computing;
Benchmark testing;
57.
System Description: Statistical Parsing of Informalized Mizar Formulas
机译:
系统描述:信息化的Mizar公式的统计分析
作者:
Cezary Kaliszyk
;
Josef Urban
;
Jiri Vyskocil
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Semantics;
Syntactics;
Grammar;
Probabilistic logic;
Encoding;
Training;
Mathematics;
58.
A Comparative Study of Machine Learning Methods for Traffic Sign Recognition
机译:
机器学习方法在交通标志识别中的比较研究
作者:
Ioan Cristian Schuszter
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Training;
Computer vision;
Neural networks;
Support vector machines;
Feature extraction;
59.
Numerically Optimizing Weights for Monte Carlo Integration on Smooth Compact Manifolds
机译:
光滑紧流形上蒙特卡洛积分的数值优化权重
作者:
Martin Ehler
;
Manuel Graf
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Kernel;
Monte Carlo methods;
Manifolds;
Hilbert space;
Error analysis;
Bayes methods;
60.
A Boolean Approach for Detection of Frequent Items
机译:
检测频繁项的布尔方法
作者:
Dan Simovici
;
Roman Sizov
;
Selim Mimaroglu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Boolean functions;
Data mining;
Junctions;
Java;
Scientific computing;
61.
Improving Lost/Won Classification in CRM Systems Using Sentiment Analysis
机译:
使用情感分析改善CRM系统中的损失/获胜分类
作者:
Doru Rotovei
;
Viorel Negru
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Support vector machines;
Customer relationship management;
Sentiment analysis;
Feature extraction;
Predictive models;
Electronic mail;
Text mining;
62.
Learning to Maximize Return in a Stag Hunt Collaborative Scenario through Deep Reinforcement Learning
机译:
通过深度强化学习来学习在雄鹿狩猎协作方案中获得最大回报
作者:
Andrei Cristian Nica
;
Tudor Berariu
;
Florin Gogianu
;
Adina Magda Florea
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Games;
Collaboration;
Training;
Stochastic processes;
Neural networks;
Task analysis;
63.
Detecting Proteine Coding Regions Using a Customized Multi-scales Splines Construction
机译:
使用定制的多尺度样条线构造检测蛋白质编码区
作者:
Darian M. Onchis
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Encoding;
DNA;
Splines (mathematics);
Lattices;
Frequency modulation;
Signal resolution;
64.
Designing Data Interchange Services for Learning Components
机译:
设计用于学习组件的数据交换服务
作者:
Alina Andreica
;
Fernando Paulo Bello
;
Florina Covaci
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Databases;
Electronic learning;
Information systems;
Standards;
Pattern matching;
Cloud computing;
Interoperability;
65.
Using Deep Networks for Semantic Segmentation of Satellite Images
机译:
使用深层网络对卫星图像进行语义分割
作者:
Teodora Selea
;
Marian Neagul
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Machine-to-machine communications;
Scientific computing;
66.
Distributed Optical Character Recognition for Old Romanian Prints
机译:
罗马尼亚古代版画的分布式光学字符识别
作者:
Daniel Pop
;
Bogdan Irimie
;
Dana Petcu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Optical character recognition software;
Pipelines;
Character recognition;
Metadata;
Optical imaging;
Cultural differences;
Libraries;
67.
Classifier Result Aggregation for Automatically Grading Histopathological Images
机译:
自动分类组织病理图像的分类器结果聚合
作者:
Catalin Stoean
;
Daniel Lichtblau
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Cancer;
Machine learning;
Machine learning algorithms;
Microscopy;
Image segmentation;
Support vector machines;
Hospitals;
68.
A Bio-inspired Method for Generating Healthy Meals for Seniors
机译:
一种以生物启发的方式为老年人生成健康餐食的方法
作者:
Viorica Rozina Chifu
;
Emil Stefan Chifu
;
Cristina Bianca Pop
;
Ioan Salomie
;
Madalina Lupu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Birds;
Genetic algorithms;
Senior citizens;
Genetics;
Diseases;
Hybrid power systems;
Planning;
69.
An Adaptive Penalty Function Method for Constrained Continuous Optimization in Population-Based Meta-Heuristic Optimization Methods
机译:
基于种群的元启发式优化方法中约束连续优化的自适应罚函数法
作者:
George Anescu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Optimization methods;
Linear programming;
Sociology;
Statistics;
Iterative methods;
70.
Jaccard-Like Fuzzy Distances for Computational Linguistics
机译:
计算语言学的Jaccard类模糊距离
作者:
Laura Franzoi
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2017年
关键词:
Measurement;
Linguistics;
Tools;
Transforms;
Hamming distance;
Frequency modulation;
Stress;
意见反馈
回到顶部
回到首页