掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献代查
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Huzita's Basic Origami Fold in Geometric Algebra
机译:
Huzita的基本折纸在几何代数中对折
作者:
Ida Tetsuo
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computational geometry;
formal logic;
EOS;
GA equalities;
Huzitas basic fold operations;
Isabelle/HOL;
computational origami system;
geometric algebra;
Blades;
Earth Observing System;
Equations;
Geometry;
Three-dimensional displays;
Vectors;
computational origami;
formalization by Isabelle/HOL;
geometric algebra;
2.
Genetic Improvement of Programs
机译:
程序的遗传改良
作者:
Langdon William B.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Pareto optimisation;
genetic algorithms;
software performance evaluation;
C++ heap managers;
GP;
Web services;
automatic bug fixing;
communication protocols;
embedded real-time systems;
genetic program improvement;
genetic programming;
human programmers;
hyper-heuristics;
improved hashing;
meta-heuristics;
mobile systems;
multiobjective Pareto trade off;
software optimisation;
telephony systems;
test benchmarks;
Evolutionary computation;
Genetic programming;
Grammar;
Graphics processing units;
Software engineering;
Automatic software re-engineering;
Bowtie2;
GP;
GPGPU;
SBSE;
genetic programming;
multiple objective exploration;
search based software engineering;
3.
Optimization Techniques within the Hadoop Eco-system: A Survey
机译:
Hadoop生态系统内的优化技术:一项调查
作者:
Rumi Giulia
;
Colella Claudia
;
Ardagna Danilo
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
data handling;
knowledge acquisition;
optimisation;
parallel programming;
pattern clustering;
resource allocation;
scheduling;
Hadoop ecosystem;
MapReduce;
commodity machines;
data parallel programming model;
knowledge extraction;
on-line resource provisioning;
optimization techniques;
research community;
scheduling techniques;
Optimization;
Programming;
Resource management;
Scalability;
Scheduling;
Time factors;
Yarn;
Clouds;
Design;
Performance analysis;
Resource management;
Scheduling algorithms;
4.
A Receding Horizon Approach for the Runtime Management of IaaS Cloud Systems
机译:
IaaS云系统运行时管理的后备地平线方法
作者:
Ardagna Danilo
;
Ciavotta Michele
;
Lancellotti Riccardo
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
minimisation;
quality of service;
random processes;
IaaS cloud system;
QoS;
capacity allocation algorithm;
cloud computing;
quality of service;
random perturbation;
receding horizon control;
runtime management;
traffic condition;
Algorithm design and analysis;
Noise;
Optimization;
Prediction algorithms;
Quality of service;
Resource management;
Time factors;
Auto-Scaling;
Capacity Allocation;
Optimization;
QoS;
5.
Multispace, Dynamic, Fixed-Radius, All Nearest Neighbours Problem
机译:
多空间,动态,固定半径,所有最近的邻居问题
作者:
Papis Bartosz
;
Pacut Andrzej
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Chebyshev approximation;
Markov processes;
data structures;
decision making;
query processing;
set theory;
Chebyshev distance;
MDP-generated data;
NN data structure;
computer science problem;
dynamic nearest neighbours problem;
fixed-radius nearest neighbours problem;
high dimensional MDP;
high dimensional Markov decision process;
incremental state abstraction techniques;
multispace nearest neighbours problem;
one-dimensional structures;
state abstraction task;
uniformly random data;
Approximation algorithms;
Chebyshev approximation;
Complexity theory;
Generators;
Indexes;
Measurement;
Vectors;
Clustering algorithms;
Data structures;
Multidimensional systems;
Nearest neighbor searches;
6.
Using Domain Specific Hierarchical Good Practice for Ranking Service Compositions
机译:
使用特定于域的分层优良作法对服务组合进行排名
作者:
Marginean Anca
;
Letia Ioan Alfred
;
Zaporojan Sergiu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
formal verification;
HTN;
candidate composition;
domain specific hierarchical good practice;
hierarchical task networks;
model checking;
service composition ranking;
Availability;
Business;
Cognition;
Compounds;
Context;
Resource description framework;
Semantics;
Desription Logic;
Hierarchical Task Networks;
N3 Logic;
Rest Services;
7.
Views and Updates over Distributed Databases
机译:
分布式数据库的视图和更新
作者:
Ravve Elena V.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
DATALOG;
distributed databases;
query processing;
Datalog programs;
Feferman-Vaught reductions;
database instances;
database schemes;
distributed databases;
incremental recomputation technique;
induced query transformations;
logical reduction techniques;
propagation technique;
relational algebra;
syntactically defined translation schemes;
transductions;
Airports;
Calculus;
Complexity theory;
Distributed databases;
Indexes;
Silicon;
Distributed data bases;
reduction techniques;
translation schemes;
updates;
views;
8.
Load Scheduling in a Cloud Based Massive Video-Storage Environment
机译:
基于云的海量视频存储环境中的负载调度
作者:
Bayyapu Karunakar Reddy
;
Fischer Paul
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
computer centres;
scheduling;
video databases;
video surveillance;
DC;
LSDSS;
autonomous storage environments;
cloud based massive video-storage environment;
datacenters;
incoming video streams;
large-scale data-storage system;
real-time video surveillance;
scheduling decisions;
system load scheduling;
Bandwidth;
Computer architecture;
Scheduling;
Scheduling algorithms;
Servers;
Videos;
architecture;
cloud storage;
distributed storage;
load scheduling;
video storage;
9.
Semantic Modeling of Information for Freight Transportation Broker
机译:
货运经纪人信息的语义建模
作者:
Luncean Lucian
;
Badica Costin
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
freight handling;
multi-agent systems;
ontologies (artificial intelligence);
semantic Web;
transportation;
agent-based semantic logistics services;
automated matchmaking services;
freight transportation broker;
freight transportation exchanges;
online transportation opportunities;
ontologies;
semantic freight transportation entity modeling;
semantic information modeling;
Companies;
Logistics;
Ontologies;
Semantics;
Vehicles;
Vocabulary;
Freight;
Ontology;
Semantic Web;
10.
How Good Is Genetic Programming at Predicting Changes and Defects?
机译:
基因编程在预测变化和缺陷方面有多好?
作者:
Marinescu Cristina
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
genetic algorithms;
program testing;
software metrics;
source code (software);
class change proneness prediction;
class defect proneness prediction;
genetic programming;
precision measurement;
recall measurement;
source code entities;
Data mining;
Genetic programming;
Java;
Measurement;
Predictive models;
Software;
Software engineering;
changes;
defects;
empirical software engineering;
genetic programming;
metrics;
software repositories;
source code;
11.
Using the Distribution of Cells by Dimension in a Cylindrical Algebraic Decomposition
机译:
在圆柱代数分解中使用按维度分布的单元
作者:
Wilson David
;
England Matthew
;
Bradford Russell
;
Davenport James H.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
algebra;
CAD;
cells distribution;
cylindrical algebraic decomposition;
full-dimensional cells;
optimal variable ordering;
Buildings;
Complexity theory;
Design automation;
Polynomials;
Prediction algorithms;
Scientific computing;
Standards;
cell distribution;
cylindrical algebraic decomposition;
heuristic;
problem formulation;
12.
Branch Differences and Lambert W
机译:
分支差异和兰伯特W
作者:
Jeffrey D.J.
;
Jankowski J.E.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
function approximation;
Lambert W function;
branch index;
complex-valued differences;
elementary inverse functions;
natural logarithm function;
real-valued branch differences;
Educational institutions;
Electronic mail;
Equations;
Indexes;
Presses;
Scientific computing;
Lambert W;
complex analysis;
multivalued functions;
special functions;
13.
Analyzing WMSOL Definable Properties on Sum-Like Weighted Labeled Trees
机译:
分析和加权像树上的WMSOL可定义属性
作者:
Ravve Elena V.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
finite state machines;
formal logic;
trees (mathematics);
FSM behaviour decomposition;
WMSOL definable properties;
WMSOL formula;
finite state machine;
hierarchical structures;
quantitative properties;
structures disjoint unions generalization;
sum-like weighted labeled trees;
weighted monadic-second order logic;
Automata;
Computational modeling;
Cost accounting;
Measurement;
Semantics;
Software;
Vocabulary;
Hardware and software verification;
coverage;
incremental verification;
simulation;
testing;
14.
A Distributed-Memory Parallelization of a Shared-Memory Parallel Ensemble Kalman Filter
机译:
共享内存并行集合卡尔曼滤波器的分布式内存并行化
作者:
Rostami M. Ali
;
Bucker H. Martin
;
Vogt Christian
;
Seidler Ralf
;
Neuhauser David
;
Rath Volker
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Kalman filters;
message passing;
parallel programming;
shared memory systems;
Intel Xeon X5675 Westmere EP processors;
computer resource;
data structures;
distributed-memory parallelization;
geothermal reservoir engineering;
hybrid Open MP-MPI parallelization;
hybrid parallel programming;
message passing interface;
parallelization strategy;
shared-memory parallel ensemble Kalman filter;
shared-memory programming paradigm;
Algorithm design and analysis;
Arrays;
Computational modeling;
Inverse problems;
Mathematical model;
Standards;
15.
Enhanced Gradient Descent Algorithms for Complex-Valued Neural Networks
机译:
复值神经网络的增强梯度下降算法
作者:
Popa Calin-Adrian
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
backpropagation;
feedforward neural nets;
function approximation;
gradient methods;
time series;
SuperSAB;
channel equalization;
complex-valued feedforward neural networks;
delta-bar-delta;
enhanced gradient descent learning proposed;
function approximation problems;
quickprop;
real-valued neural networks;
resilient backpropagation;
testing error;
time series prediction applications;
training error;
Approximation algorithms;
Biological neural networks;
Heuristic algorithms;
Neurons;
Signal processing algorithms;
Testing;
Training;
Channel equalization;
Complex-valued neural networks;
Delta-bar-delta;
Quickprop;
Resilient backpropagation;
Super SAB;
Time series prediction;
16.
Open Stack and Cloud Stack: Open Source Solutions for Building Public and Private Clouds
机译:
开放式堆栈和云堆栈:用于构建公共和私有云的开源解决方案
作者:
Barkat Amine
;
dos Santos Alysson Diniz
;
Thi Thao Nguyen Ho
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
business data processing;
cloud computing;
data privacy;
public domain software;
Amazon;
CloudStack;
Google;
IBM;
Microsoft;
OpenStack;
cloud computing;
enterprises;
giant public cloud providers;
open source solutions;
privacy level;
private clouds;
Cloud computing;
Computer architecture;
Databases;
Servers;
Standards;
Virtual machine monitors;
Cloud Stack;
IaaS;
Open Stack;
cloud computing;
open source;
private cloud;
public cloud;
17.
Automated Synthesis of Target-Dependent Programs for Polynomial Evaluation in Fixed-Point Arithmetic
机译:
定点算法中多项式评估的目标相关程序的自动综合
作者:
Mouilleron Christophe
;
Najahi Amine
;
Revy Guillaume
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
fixed point arithmetic;
polynomials;
CGPE tool;
automated synthesis;
evaluation latency;
fixed-point arithmetic;
multicriteria instruction selection module;
operation count;
polynomial evaluation;
target-dependent program;
Accuracy;
Algorithm design and analysis;
Computer architecture;
Hardware;
Parallel processing;
Polynomials;
Program processors;
automated code synthesis;
error analysis;
fixed-point arithmetic;
polynomial evaluation;
18.
Proof Generation from Delta-Decisions
机译:
Delta决策产生的证明
作者:
Sicun Gao
;
Soonho Kong
;
Clarke Edmund M.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
calculus;
computability;
theorem proving;
Kepler conjecture;
automated theorem proving;
constraint solving;
delta-complete decision procedure;
first-order calculus;
logical proof;
proof generation;
proof-checking algorithm;
unsatisfiability;
Abstracts;
Algorithm design and analysis;
Calculus;
Iterative closest point algorithm;
Polynomials;
Reliability;
Transforms;
19.
Hierarchical Reasoning in Local Theory Extensions and Applications
机译:
局部理论扩展和应用中的层次推理
作者:
Sofronie-Stokkermans Viorica
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
description logic;
inference mechanisms;
possibility theory;
automated reasoning;
base theory;
complex theories;
deductive verification;
description logics;
hierarchical reasoning;
hybrid systems;
local theory applications;
local theory extensions;
mathematics;
modular reasoning;
reactive systems;
real time systems;
Algebra;
Cognition;
Lattices;
Mathematical analysis;
Real-time systems;
Testing;
Automated Reasoning;
Combinations of Theories;
Deductive Verification;
20.
NSGA-II: Implementation and Performance Metrics Extraction for CPU and GPU
机译:
NSGA-II:针对CPU和GPU的实现和性能指标提取
作者:
Padurariu Florina Roxana
;
Marinescu Cristina
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
genetic algorithms;
graphics processing units;
CPU;
GPU;
NSGA-II;
evolutionary algorithms;
multiobjective optimization;
non-dominated sorting genetic algorithm II;
performance metrics extraction;
Convergence;
Graphics processing units;
Linear programming;
Optimization;
Sociology;
Sorting;
Statistics;
CPU;
GPU;
empirical software engineering;
multi-objective evolutionary algorithms;
21.
Catamorphism Generation and Fusion Using Coq
机译:
使用Coq的同构生成和融合
作者:
Robillard Simon
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
data structures;
theorem proving;
Coq proof assistant;
arbitrary inductive type definition;
catamorphism composition rewriting;
catamorphism generation;
functional specifications;
fusion theorem;
higher-order functions;
inductive data structure;
recursively traverse;
sufficient conditions;
Automation;
Calculus;
Cognition;
Context;
Data structures;
Distance measurement;
Vegetation;
Catamorphism;
Category theory;
Coq;
Fusion theorem;
Interactive theorem prover;
Program derivation;
22.
New Arithmetic Algorithms for Hereditarily Binary Natural Numbers
机译:
遗传二进制自然数的新算法
作者:
Tarau Paul
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
digital arithmetic;
number theory;
trees (mathematics);
arithmetic algorithms;
bijective base 2 numbers;
hereditarily binary natural numbers;
iterated applications;
tree-based number representation;
Benchmark testing;
Complexity theory;
Equations;
Libraries;
Newton method;
Performance evaluation;
Poles and towers;
arithmetic computations with giant numbers;
compact representation of large prime numbers;
compressed number representations;
hereditary numbering systems;
23.
Implementing Powerlists with Bulk Synchronous Parallel ML
机译:
使用批量同步并行ML实现电源列表
作者:
Loulergue Frederic
;
Niculescu Virginia
;
Tesson Julien
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
data structures;
parallel programming;
BSML function;
BSP model;
OCaml parallel code;
OCaml plus;
bulk synchronous parallel ML;
data structures;
parallel functional programming library;
parallel software;
powerlist program;
Arrays;
Computational modeling;
Libraries;
Parallel processing;
Skeleton;
Vectors;
Bulk synchronous parallelism;
Functional parallel programming;
Parallel recursive structures;
24.
Using Cylindrical Algebraic Decomposition and Local Fourier Analysis to Study Numerical Methods: Two Examples
机译:
使用圆柱代数分解和局部傅里叶分析研究数值方法:两个例子
作者:
Takacs Stefan
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Fourier analysis;
Fourier series;
approximation theory;
convergence of numerical methods;
partial differential equations;
symbol manipulation;
Fourier series;
approximation error estimates;
convergence of numerical methods;
convergence rate;
cylindrical algebraic decomposition;
local Fourier analysis;
multigrid method;
numerical method;
partial differential equations;
quantifier elimination problem;
symbolic computation;
Convergence;
Design automation;
Jacobian matrices;
Machinery;
Multigrid methods;
Standards;
Vectors;
Cylindrical algebraic decomposition;
Fourier analysis;
Multigrid;
25.
Using Models at Runtime to Support Adaptable Monitoring of Multi-clouds Applications
机译:
在运行时使用模型来支持对多云应用程序的自适应监视
作者:
Cianciaruso Lorenzo
;
Di Forenza Francesco
;
Di Nitto Elisabetta
;
Miglierina Marco
;
Ferry Nicolas
;
Solberg Arnor
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
adaptable multiclouds applications monitoring;
application context;
cloud application;
cloud solution;
dynamic provisioning;
model-based platform;
monitoring infrastructure;
nonfunctional aspects;
Adaptation models;
Cognition;
Computer architecture;
Engines;
Measurement;
Monitoring;
Observers;
adaptation;
cloud;
modaclouds;
models at runtime;
models@runtime;
monitoring;
multi-cloud;
multicloud;
26.
Register Caching for Stencil Computations on GPUs
机译:
在GPU上注册缓存以进行模板计算
作者:
Falch Thomas L.
;
Elster Anne C.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cache storage;
graphics processing units;
shared memory systems;
GTX680 GPU;
Nvidia Kepler GPU architecture;
data exchange;
graphics processing unit;
register caching;
shared memory system;
shuffle instruction;
stencil computation;
Benchmark testing;
Computer architecture;
Graphics processing units;
Indexes;
Instruction sets;
Manuals;
Registers;
CUDA;
Caching;
GPU;
GPU Computing;
Register Caching;
Stencil Computations;
27.
A Lowest Level Rule Push-Relabel Algorithm for Submodular Flows and Matroid Optimization
机译:
用于子模量流和拟阵优化的最低级别规则推入重贴标算法
作者:
Olariu Emanuel F.
;
Frasinaru Cristian
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
combinatorial mathematics;
computational complexity;
matrix algebra;
optimisation;
O(nsup5/sup) time complexity;
O(nsup6/sup) time complexity;
bfs-like traversal;
combinatorial push-relabel algorithm;
lifting operation;
lowest-level rule push-relabel algorithm;
matroid optimization;
push operation;
submodular flow;
submodular flow algorithm;
Computer science;
Context;
Level set;
Optimization;
Time complexity;
Vectors;
combinatorial optimization;
matroid optimization;
push-relabel algorithms;
sub-modular flows;
28.
On Corank Two Edge-Bipartite Graphs and Simply Extended Euclidean Diagrams
机译:
关于Corank两个边二部图和简单扩展的欧几里德图
作者:
Gasiorek Marcin
;
Simson Daniel
;
Zajac Katarzyna
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
graph theory;
mathematics computing;
matrix algebra;
polynomials;
Coxeter polynomials;
Python;
complex Coxeter spectrum;
corank two edge-bipartite graphs;
extended Euclidean diagrams;
finite connected loop-free edge-bipartite graphs;
nonnegative edge-bipartite graphs;
numeric computer calculations;
reduced Coxeter numbers;
signed graphs;
symbolic computer calculations;
symmetric Gram matrix;
Bipartite graph;
Kernel;
Labeling;
Polynomials;
Symmetric matrices;
Vectors;
Zinc;
Coxeter spectral analysis;
Euclidean diagrams;
Z-congruence;
inflation algorithm;
non-negative bigraphs of corank two;
quadratic form;
29.
A Parallel, Distributed, High-Performance Architecture for Simulating Particle-Based Models
机译:
用于模拟基于粒子的模型的并行,分布式,高性能架构
作者:
Sabou Adrian
;
Gorgan Dorian
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
graphics processing units;
integration;
mathematics computing;
parallel architectures;
rendering (computer graphics);
GPU clusters;
computer graphics;
distributed processing;
distributed rendering process;
explicit velocity verlet techniques;
high-performance computing architecture;
implicit Euler integration techniques;
numeric integration methods;
parallel computing;
parallel distributed high-performance architecture;
parallel distributed modular system architecture;
parallel processing;
parallelization;
particle-based model simulation;
particle-based simulator;
remote interaction techniques;
soft-body dynamics;
Computational modeling;
Computer architecture;
Data models;
Graphics processing units;
Numerical models;
Rendering (computer graphics);
Visualization;
GPGPU;
distributed computing;
graphics cluster;
high-performance computing;
parallel computing;
particle-based models;
simulation;
30.
The Quest for Optimal Sorting Networks: Efficient Generation of Two-Layer Prefixes
机译:
寻求最佳分类网络:高效生成两层前缀
作者:
Codish Michael
;
Cruz-Filipe Luis
;
Schneider-Kamp Peter
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
formal languages;
graph theory;
sorting;
comparator network;
generate-and-test approach;
graph isomorphism;
nonsymmetric representations;
optimal sorting networks;
regular languages;
two-layer prefixes generation;
two-layer prefixes modulo symmetries;
Computer science;
Educational institutions;
Joining processes;
Runtime;
Sorting;
Standards;
Syntactics;
31.
Topological Image Analysis and (Normalised) Representations for Plant Phenotyping
机译:
植物表型的拓扑图像分析和(规范化)表示
作者:
Janusch Ines
;
Kropatsch Walter G.
;
Busch Wolfgang
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
botany;
graph theory;
image representation;
2D image;
Reeb graph based representation;
branch overlapping;
computational topology;
normalised representation;
plant phenotyping;
root images;
root system features;
topological image analysis;
Image analysis;
Image segmentation;
Length measurement;
Level measurement;
Skeleton;
Soil;
Topology;
Application for Computational Topology;
Normalised Root Representation;
Reeb Graphs;
Root Phenotyping;
Topological Image Analysis;
32.
Early Prediction of the Cost of HPC Application Execution in the Cloud
机译:
云中HPC应用程序执行成本的早期预测
作者:
Rak Massimiliano
;
Turtur Mauro
;
Villano Umberto
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
parallel processing;
HPC application execution cost prediction;
bag-of-tasks scientific applications;
cloud aware programming platform;
cloud resource usage;
cloud-based simulation environment;
mOSAIC;
public cloud;
scalable parallel computing;
Benchmark testing;
Cloud computing;
Computational modeling;
Corporate acquisitions;
Load modeling;
Prediction algorithms;
Predictive models;
Cloud Computing;
bag of tasks;
mosaic;
performance prediction;
scientific applications;
simulation;
33.
Solving Parametric Sparse Linear Systems by Local Blocking, II
机译:
通过局部阻塞求解参数稀疏线性系统,II
作者:
Tateaki
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computational complexity;
graph theory;
O(# (vertex) +# (edge)) complexity;
SCC decomposition algorithm;
characteristic system;
graph theoretical treatment;
local blocking;
optimal parameter values;
parametric sparse linear systems;
strongly connected subgraphs;
Equations;
Joining processes;
Linear systems;
Mathematical model;
Matrix converters;
Matrix decomposition;
Numerical models;
SCC decomposition;
block triangularization;
local block;
parametric sparse linear system;
strongly connected subgraph;
34.
A Streamlined Difference Ring Theory: Indefinite Nested Sums, the Alternating Sign, and the Parameterized Telescoping Problem
机译:
简化的差分环理论:不确定的嵌套和,交替符号和参数化伸缩问题
作者:
Schneider Carsten
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
algebra;
Karr difference field theory;
creative telescoping problem;
hypergeometric expression;
indefinite nested sum;
parameterized telescoping equation;
parameterized telescoping problem;
streamlined difference ring theory;
Educational institutions;
Machinery;
Poles and towers;
Polynomials;
Reduced instruction set computing;
Scientific computing;
creative telescoping;
d'Alembertian expressions;
roots of unity;
symbolic summation;
telescoping;
35.
Optimal Capacity Allocation for Executing MapReduce Jobs in Cloud Systems
机译:
在云系统中执行MapReduce作业的最佳容量分配
作者:
Malekimajd M.
;
Rizzi A.M.
;
Ardagna D.
;
Ciavotta M.
;
Passacantando M.
;
Movaghar A.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Big Data;
cloud computing;
data analysis;
linear programming;
parallel programming;
pattern clustering;
resource allocation;
MapReduce job execution time;
MapReduce programming model;
big data applications;
business intelligence applications;
capacity allocation;
cloud computing;
cloud resource cost minimization;
cloud systems;
data analysis;
infrastructural layer;
job rejection;
linear programming model;
optimal capacity allocation;
shared Hadoop clusters;
Bismuth;
Mathematical model;
Optimization;
Resource management;
Scalability;
Silicon;
Upper bound;
Capacity Allocation;
Cloud Computing;
MapReduce;
Performance bounds;
36.
Evaluating Weighted Round Robin Load Balancing for Cloud Web Services
机译:
评估Cloud Web Services的加权Round Robin负载平衡
作者:
Weikun Wang
;
Casale Giuliano
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Web services;
cloud computing;
contracts;
resource allocation;
VM capacity;
closed queueing networks;
cloud Web services;
cloud load balancers;
multiclass workloads;
optimal revenue;
optimization algorithms;
probabilistic routing policy;
queueing theoretic heuristic;
queueing theoretic methods;
routing probability;
service level agreements;
stochastic model;
throughput maximization;
weighted round robin load balancing policies;
Heuristic algorithms;
Load management;
Monitoring;
Optimization;
Round robin;
Routing;
Servers;
37.
Spiking Neural P Systems - A Quick Survey and Some Research Topics
机译:
尖刺神经P系统-快速调查和一些研究主题
作者:
Paun Gheorghe
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
biocomputing;
computational complexity;
neural nets;
SN P system;
computational complexity;
membrane computing;
spiking neural P system;
Biological system modeling;
Biomembranes;
Computational modeling;
Computers;
Neurons;
Registers;
Tin;
P system;
computational complexity;
membrane computing;
spiking neural P system;
38.
Optimal Homotopy Asymptotic Method for Viscous Boundary Layer Flow in Unbounded Domain
机译:
无界域粘性边界层流的最优同伦渐近方法
作者:
Ene R.D.
;
Marinca V.
;
Negrea R.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
boundary layers;
nonlinear differential equations;
OHAM;
analytic approximate technique;
boundary conditions;
initial conditions;
nonlinear differential equation;
optimal homotopy asymptotic method;
unbounded domain;
viscous boundary layer flow;
Approximation methods;
Boundary conditions;
Convergence;
Differential equations;
Equations;
Heat transfer;
analytic approximate technique;
approximate solution;
boundary conditions;
boundary layer flow;
exact solution;
nonlinear differential equations;
numerical solution;
optimal homotopy asymptotic method;
39.
Correct Metric Semantics for a Biologically-Inspired Formalism
机译:
针对生物学启发的形式主义的正确度量语义
作者:
Ciobanu Gabriel
;
Todoran Eneia Nicolae
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Banach spaces;
biocomputing;
process algebra;
programming language semantics;
Banach fixed point theorem;
DNA computing;
biologically-inspired formalism;
correct metric semantics;
denotational semantics;
formal semantic models;
operational semantics;
semantic functions;
strand algebra;
Algebra;
DNA;
Extraterrestrial measurements;
Logic gates;
Semantics;
Syntactics;
DNA computing;
denotational semantics;
operational semantics;
semantic correctness;
40.
Reliable Management of Virtualized Resources Using Fault Trees
机译:
使用故障树可靠地管理虚拟化资源
作者:
Butoi Alexandru
;
Stan Alexandru
;
Silaghi Gheorghe Cosmin
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
fault tolerant computing;
fault trees;
parallel processing;
resource allocation;
virtual machines;
virtualisation;
cloud infrastructures;
distributed computing;
fault agents;
fault tree analysis;
high-performance computing;
load balancing;
reliable virtualized resource management;
resource provisioning;
resource virtualization technologies;
virtual machine migration;
Cloud computing;
Computational modeling;
Fault tolerance;
Fault tolerant systems;
Fault trees;
Virtual machining;
41.
Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial
机译:
具有服务质量保证的云应用程序的模型驱动设计:MODAClouds方法,MICAS教程
作者:
Da Silva Marcos Aurelio Almeida
;
Ardagna Danilo
;
Ferry Nicolas
;
Perez Juan F.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
optimisation;
quality of service;
MICAS tutorial;
MODAClouds European project;
cloud providers;
cloud solutions;
design time;
model-driven methodology;
multicloud applications;
multicloud deployments;
performance estimation;
performance optimization;
quality-of-service guarantees;
vendor lock-in;
Computational modeling;
Computer architecture;
Quality of service;
Servers;
Software;
Time factors;
Unified modeling language;
Capacity Allocation Optimization;
Cloud Computing;
Model-Driven-Development;
Quality of Service;
42.
Expressing BBUFs Lookup Using the #x3C0;-Calculus
机译:
使用π演算表达BBUF查找
作者:
Ciobanu Gabriel
;
Cojocar Dan
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
file organisation;
formal verification;
multivariable systems;
peer-to-peer computing;
pi calculus;
table lookup;
π-calculus;
BBUFs lookup;
Babes Bolyai University File System lookup mechanism;
Mobility Workbench model-checker;
formally specified protocol;
peer-to-peer decentralized system;
Algebra;
Calculus;
Educational institutions;
Mobile communication;
Peer-to-peer computing;
Protocols;
Unicast;
formal methods;
formal verification;
peer-to-peer lookup;
software engineering;
43.
Fast Method for Locating Peak Values of the Riemann Zeta Function on the Critical Line
机译:
快速确定临界线上Riemann Zeta函数峰值的方法
作者:
Tihanyi Norbert
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
approximation theory;
computational complexity;
functions;
Diophantine approximation problems;
RS-PEAK algorithm;
Riemann zeta function;
critical line;
desktop PC;
peak value location;
Approximation algorithms;
Approximation methods;
Clustering algorithms;
Computers;
Educational institutions;
Random access memory;
Time complexity;
Riemann-Siegel Z-function;
large zeta values;
peak values;
44.
A Practical Approach on Cleaning-Up Large Data Sets
机译:
清理大数据集的实用方法
作者:
Barat Marius
;
Prelipcean Dumitru Bogdan
;
Gavrilut Dragos Teodor
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
data handling;
learning (artificial intelligence);
pattern classification;
pattern clustering;
BDT clustering method;
computing distances;
label instances;
large data set cleaning-up;
noise detection system;
supervised learning algorithm;
Clustering algorithms;
Clustering methods;
Computer science;
Machine learning algorithms;
Malware;
Measurement;
Noise;
clustering;
data mining;
decision making;
machine learning;
noise reduction;
45.
Pedestrian Recognition by Using a Kernel-Based Multi-modality Approach
机译:
基于核的多模态方法的行人识别
作者:
Sirbu Adela-Maria
;
Rogozan Alexandrina
;
Diosan Laura
;
Bensrhair Abdelaziz
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
feature extraction;
image capture;
learning (artificial intelligence);
pedestrians;
support vector machines;
benchmark dataset;
feature extraction phase;
image depth;
image flow;
image intensity;
kernel descriptors;
kernel-based multimodality approach;
learning phase;
multimodality images;
nonpedestrian labelled image capture;
outdoor urban environments;
pedestrian labelled image capture;
pedestrian recognition;
support vector machines;
Feature extraction;
Histograms;
Kernel;
Optimization;
Support vector machines;
Training;
Vehicles;
Fusion;
Kernel Descriptors;
Pedestrian Recognition;
Support Vector Machines;
46.
Performance Improvements for the 'Linear Nonadiabatic Nonradial Waves' Pulsational Model
机译:
“线性非绝热非径向波”脉冲模型的性能改进
作者:
Tirsa Mihai Ovidiu
;
Slusanschi Emil-Ioan
;
Suran Marian Doru
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
astronomical techniques;
astronomy computing;
open systems;
parallel programming;
stellar pulsations;
LNAWENR;
NASA CoRoT mission;
NASA KEPLER mission;
asteroseismological package ROMOSC;
asteroseismology;
astrophysics;
international astrophysics;
linear nonadiabatic nonradial wave pulsational model;
natural oscillation frequency;
parallel code optimizations;
parallel optimizations;
programming frameworks;
pulsating stars;
seismic properties;
space science community;
Arrays;
Computational modeling;
Equations;
Mathematical model;
Optimization;
Oscillators;
Software;
Asteroseismology;
Open CL;
Open MP;
parallelization;
performance optimization;
47.
Implementing Reasoning Modules in Implicit Induction Theorem Provers
机译:
在隐式归纳定理证明中实现推理模块
作者:
Stratulat Sorin
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computability;
inference mechanisms;
theorem proving;
SPIKE;
black-box approach;
congruence closure procedure;
decision procedure;
external SMT solvers;
implicit induction theorem prover;
integration schema;
interpreted symbols;
linear arithmetic;
reasoning modules;
Abstracts;
Cognition;
Concrete;
Context;
Decision feedback equalizers;
Equations;
Syntactics;
48.
CTL Model Checking in the Cloud Using MapReduce
机译:
使用MapReduce在云端进行CTL模型检查
作者:
Camilli Matteo
;
Bellettini Carlo
;
Capra Lorenzo
;
Monga Mattia
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Big Data;
Petri nets;
cloud computing;
formal logic;
formal specification;
formal verification;
CTL model checking;
MapReduce;
Petri-net based benchmark specifications;
big data platforms;
cloud computing;
computation tree logic formulas;
formal verification;
parametric state-space builder;
Big data;
Cloud computing;
Complexity theory;
Computational modeling;
Context modeling;
Distributed algorithms;
Model checking;
Big Data;
CTL;
Distributed Algorithms;
Formal Verification;
MapReduce;
49.
Intelligent Stock Market Analysis System - A Fundamental and Macro-economical Analysis Approach
机译:
智能股市分析系统-基本和宏观经济分析方法
作者:
Tirea Monica
;
Negru Viorel
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
financial data processing;
forecasting theory;
macroeconomics;
multi-agent systems;
profitability;
stock markets;
buy-sell signals;
company evolution;
economical data;
financial data;
governmental decisions;
intelligent stock market analysis system;
multiagent system;
numerical data;
political decisions;
profitability;
risk-gain positions;
social decisions;
stock market forecasting;
stock price evolution;
Companies;
Data mining;
Economic indicators;
Investment;
Libraries;
Portfolios;
Stock markets;
Artificial Intelligence;
Fundamental Analysis;
Macro-economical Analysis;
Multi-Agent System;
Stock Market Forecasting;
Technical Analysis;
50.
Guiding Random Test Generation for Intra-class Dataflow Coverage
机译:
指导为类内数据流覆盖率生成随机测试
作者:
Mihancea Petru Florin
;
Mera-Batiz Edit Mercedes
;
Minea Marius
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Java;
automatic test software;
data flow computing;
object-oriented programming;
program testing;
automatic test suite generation;
feedback-directed random test generation;
intraclass data-flow coverage criterion;
intraclass dataflow coverage;
object orientation;
object-oriented software;
random test generation method;
realistic Java programs;
Concrete;
Force;
Instruments;
Java;
Runtime;
Software;
Testing;
dataflow coverage;
testing object-oriented programs;
51.
A Population-Based Incremental Learning Method for Constrained Portfolio Optimisation
机译:
约束组合优化的基于种群的增量学习方法
作者:
Yan Jin
;
Rong Qu
;
Atkin Jason
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
investment;
learning (artificial intelligence);
mathematical programming;
Markowitz model;
asset selection;
capital allocation;
constrained portfolio optimisation;
customised population based incremental learning procedure;
mathematical programming application;
population-based incremental learning method;
portfolio optimisation;
Heuristic algorithms;
Mathematical model;
Optimization;
Portfolios;
Sociology;
Statistics;
Vectors;
52.
Auto-completion of Contours in Sketches, Maps, and Sparse 2D Images Based on Topological Persistence
机译:
基于拓扑持久性的草图,地图和稀疏2D图像中轮廓的自动完成
作者:
Kurlin Vitaliy
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computer graphics;
graph theory;
mesh generation;
closed contour autocompletion;
finite point cloud;
hand-drawn artistic sketches;
scanned maps;
sparse dotted 2D images;
topological persistence;
Data structures;
Image segmentation;
Noise;
Noise measurement;
Stability analysis;
TV;
Three-dimensional displays;
automatic coloring;
closed contour;
hand-drawn sketch;
homology group;
topological persistence;
53.
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems
机译:
基于启发式的实时嵌入式系统功耗降低方法
作者:
Radulescu Vlad
;
Andrei Stefan
;
Cheng Albert M. K.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
embedded systems;
multiprocessing systems;
optimisation;
power aware computing;
processor scheduling;
CPU frequency reduction;
central processing units;
energy consumption;
heuristic techniques;
multivariate optimization problem;
nonpreemptive single-instance n-task set;
personal computer-like systems;
power saving;
power-aware scheduling problem;
power-efficient devices;
real-time embedded systems;
task deadlines;
Energy consumption;
Optimization;
Power demand;
Processor scheduling;
Real-time systems;
Schedules;
Scheduling;
heuristic techniques;
multivariate optimization;
power saving;
task scheduling;
54.
Reducing Partial Equivalence to Partial Correctness
机译:
将部分对等减少为部分正确
作者:
Ciobaca Stefan
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
optimising compilers;
program verification;
programming language semantics;
aggregated language;
compiler optimisation;
compiler verification;
matching logic;
operational language semantics;
partial correctness;
partial equivalence reduction;
proof system;
source program;
target program;
Cognition;
Cost accounting;
Optimization;
Production;
Program processors;
Reactive power;
Semantics;
language semantics;
partial correctness;
program equivalence;
relational logic;
55.
Multi-phase Identification in Microstructures Images Using a GPU Accelerated Fuzzy C-Means Segmentation
机译:
使用GPU加速的模糊C均值分割的微结构图像中的多相识别
作者:
Onchis Darian M.
;
Frunzaverde Doina
;
Gaianu Mihail
;
Ciubotariu Relu
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
fuzzy set theory;
graphics processing units;
image segmentation;
GPU accelerated fuzzy c-means segmentation;
image segmentation;
microstructures images;
multiphase identification;
Acceleration;
Algorithm design and analysis;
Clustering algorithms;
Graphics processing units;
Image segmentation;
Software algorithms;
GPU acceleration;
fuzzy c-means segmentation;
multi-phase images;
56.
Dynamic Clustering of Gene Expression Data Using a Fuzzy Approach
机译:
使用模糊方法对基因表达数据进行动态聚类
作者:
Sirbu Adela-Maria
;
Czibula Gabriela
;
Bocicor Maria-Iuliana
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
bioinformatics;
data analysis;
data mining;
fuzzy set theory;
genetics;
pattern clustering;
biological processes;
data analysis;
data mining technique;
dynamic clustering algorithm;
functional genomics;
fuzzy approach;
gene expression data;
gene expression levels;
real-life data set;
Algorithm design and analysis;
Clustering algorithms;
Clustering methods;
Gene expression;
Heuristic algorithms;
Partitioning algorithms;
adaptive clustering;
bioinformatics;
fuzzy c-means;
gene expression;
57.
Opinion Influence Analysis in Online Forum Threads
机译:
在线论坛话题中的意见影响力分析
作者:
Cercel Dumitru-Clementin
;
Trausan-Matu Stefan
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Internet;
Web sites;
natural language processing;
latent semantic analysis;
natural language processing techniques;
online discussions;
online forum threads;
opinion influence analysis;
opinion influence phenomenon;
post-level sentiment analysis;
user opinion;
Instruction sets;
Media;
Message systems;
Natural language processing;
Semantics;
Social network services;
Speech;
Latent Semantic Analysis;
Online Forum Thread;
Opinion Influence;
Reply Chain;
58.
Application Deployment and Management in the Cloud
机译:
云中的应用程序部署和管理
作者:
Miglierina Marco
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
Agile;
DevOps;
IT management;
application deployment;
application management;
application release process;
cloud computing;
cloud services;
continuous delivering innovative services;
market demand;
revolutionary paradigm;
shared final objective;
silo based release process;
system administrators;
Automation;
Companies;
Containers;
Software;
Standards;
Virtual machining;
cloud computing;
devops;
59.
A Distributed File System over Heterogeneous SaaS Storage Platforms
机译:
异构SaaS存储平台上的分布式文件系统
作者:
Scavuzzo Marco
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
cloud computing;
data analysis;
data privacy;
security of data;
storage management;
MapReduce;
data analytics;
data fragmentation;
data management complexity;
data privacy;
data security;
distributed file system;
file categorization;
file classification;
file management complexity;
full-text search;
heterogeneous SaaS storage platform;
single transparent storage solution;
storage capacity;
Cloud computing;
Data privacy;
Distributed databases;
File systems;
Memory;
Protocols;
Security;
Big Data;
Hadoop Distributed File System (HDFS);
Storage as a Service;
60.
Lipschitz Bounds for Noise Robustness in Compressive Sensing: Two Algorithms
机译:
压缩感测中鲁棒性的Lipschitz界:两种算法
作者:
Nicodeme Marc
;
Dossal Charles
;
Turcu Flavius
;
Berthoumieu Yannick
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
compressed sensing;
greedy algorithms;
measurement errors;
optimisation;
signal reconstruction;
vectors;
Lipschitz bounds;
compressive sensing;
convex-projection algorithm;
dual certificates;
greedy algorithm;
measurement error;
noise robustness;
reconstruction error bounds;
Context;
Face;
Greedy algorithms;
Noise;
Noise measurement;
Noise robustness;
Vectors;
Sparse approximation;
basis pursuit;
compressive sensing;
dual certificate;
l1 minimization;
61.
CSPs and Connectedness: P/NP Dichotomy for Idempotent, Right Quasigroups
机译:
CSP和连接性:等幂右准群的P / NP二分法
作者:
McGrail Robert W.
;
Belk James
;
Garber Solomon
;
Wood Japheth
;
Fish Benjamin
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
algebra;
computational complexity;
constraint satisfaction problems;
graph theory;
CSPs;
Cayley graph connectivity;
NP-complete algebra;
P/NP membership;
P/NP-complete dichotomy;
constraint satisfaction problems;
finite idempotent quasigroup dichotomy;
first-order axiomatization;
idempotent algebras;
involutory quandles;
right quasigroups;
Algebra;
Educational institutions;
Marine animals;
Polynomials;
Roads;
Scientific computing;
Involutory Quandles;
Malcev Term;
P/NP Dichotomy;
Right Quasigroups;
62.
High-Probability Mutation in Basic Genetic Algorithms
机译:
基本遗传算法中的高概率变异
作者:
Croitoru Nicolae-Eugen
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
genetic algorithms;
probability;
statistical analysis;
bit-block functions;
dynamic dual encoding;
genetic algorithms;
high-probability mutation;
no free lunch theorem;
numerical functions;
parameter variation;
selection pressure reduction;
statistical significance;
Bioinformatics;
Genetic algorithms;
Genomics;
Optimization;
Roads;
Sociology;
Statistics;
Genetic Algorithms;
Royal Road;
high-probability mutation;
numerical optimisation;
63.
Interactive Data Exploration for High-Performance Fluid Flow Computations through Porous Media
机译:
通过多孔介质进行高性能流体流量的交互式数据探索
作者:
Perovic Nevena
;
Frisch Jerome
;
Mundani Ralf-Peter
;
Rank Ernst
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computational fluid dynamics;
data visualisation;
flow simulation;
parallel processing;
HPC back-end;
HPC data exploration service;
bandwidth limitations;
data advent;
fluid flow simulations;
high-performance computing applications;
high-performance fluid flow computations;
huge data set visualisation;
interactive data exploration;
porous media;
sliding window concept;
user front-end;
Computational modeling;
Data visualization;
Geometry;
Mathematical model;
Media;
Permeability;
Servers;
adaptive data structure;
flow through porous media;
high-performance computing;
interactive data exploration;
multi-grid-like solver concept;
64.
Fault-Tolerant Global Load Balancing in X10
机译:
X10中的容错全局负载平衡
作者:
Bungart Marco
;
Fohry Claudia
;
Posner Jonas
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
fault tolerant computing;
parallel programming;
resource allocation;
software libraries;
BC benchmark;
PGAS languages;
Resilient X10;
UTS benchmark;
betweenness centrality benchmark;
cooperative work stealing;
dynamic task generation;
fault-tolerant GLB;
fault-tolerant global load balancing;
irregular applications;
partitioned global address space;
permanent node failures;
place failure;
private task pool algorithm;
protocol overhead;
standard library;
unbalanced tree search benchmark;
user-level fault tolerance technique;
Data structures;
Electronics packaging;
Fault tolerance;
Fault tolerant systems;
Load management;
Protocols;
Registers;
GLB;
Resilient X10;
algorithmic resilience;
task pool;
65.
On the Computation of the Hansen Coefficients
机译:
关于汉森系数的计算
作者:
Bazavan Petru Calin
;
Barbulescu Lucian-Florentin
;
Cefola Paul
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
polynomial approximation;
Hansen coefficients;
celestial mechanics;
computational tests;
difference equations;
disturbing function;
nonregression;
polynomial approximations;
recurrent formulas;
recurrent relations;
recurrent solutions;
semi-analytical methods;
stability;
Accuracy;
Approximation methods;
Difference equations;
Indexes;
Mathematical model;
Polynomials;
Hansen coefficients;
difference equations;
polynomial approximation;
66.
Efficient Converting of Large Sparse Matrices to Quadtree Format
机译:
大型稀疏矩阵到四叉树格式的有效转换
作者:
Imecek I.
;
Langr D.
;
Trdlicka J.
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
mathematics computing;
matrix algebra;
quadtrees;
storage management;
bottom-up approach;
common storage formats;
large sparse matrix conversion;
numerical algebra operations;
quadtree format;
scientific projects;
space-efficiency;
used data format;
Algebra;
Arrays;
Indexes;
Merging;
Sparse matrices;
Time complexity;
large sparse matrix;
numerical linear algebra;
parallel execution;
quadtree format;
67.
The Classification of Endoscopy Images with Persistent Homology
机译:
具有持久同源性的内窥镜图像分类
作者:
Dunaeva Olga
;
Edelsbrunner Herbert
;
Lukyanov Anton
;
Machin Michael
;
Malkova Daria
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
endoscopes;
geometry;
image classification;
learning (artificial intelligence);
medical image processing;
tumours;
NBI;
automatic diagnosis;
computational topology;
endoscopy image classification;
geometric features;
image processing;
machine learning;
magnifying endoscopy images;
narrow band imaging;
pattern classification;
persistent homology;
topological features;
tumors;
Cancer;
Endoscopes;
Shape;
Stomach;
Surface structures;
Training;
Tumors;
68.
Central Dogma of Molecular Biology - New Paradigm in Evolutionary Computation
机译:
分子生物学的中心教条-进化计算的新范式
作者:
Rotar Corina
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
DNA;
RNA;
bioinformatics;
genetic algorithms;
molecular biophysics;
proteins;
DNA code;
biological phenomenon;
central dogma;
complex tasks;
computational perspective;
computational techniques;
evolutionary computation paradigm;
heuristics;
molecular biology;
mutation;
natural selection;
protein synthesis;
reverse transcription;
simplified genetic model;
simplified natural evolution model;
standard genetic algorithm update;
DNA;
Evolution (biology);
Optimization;
Proteins;
RNA;
central dogma of biology;
evolutionary computation paradigm;
optimization;
protein synthesis;
69.
An Ontology Selection and Ranking System Based on the Analytic Hierarchy Process
机译:
基于层次分析法的本体选择与排名系统
作者:
Groza Adrian
;
Dragoste Irina
;
Sincai Iulia
;
Jimborean Ioana
;
Moraru Vasile
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
analytic hierarchy process;
ontologies (artificial intelligence);
AHP;
analytic hierarchy process;
end-node measurement;
multiple-criteria decision problem;
ontology evaluation;
ontology management system;
ontology ranking system;
ontology reasoning;
ontology representation;
ontology reuse;
ontology selection system;
tourism domain;
user preference;
Abstracts;
Analytic hierarchy process;
Atomic measurements;
Computational modeling;
Ontologies;
Semantics;
Ontology selection;
analytic hierarchy process;
ontology metrics;
ontology ranking;
70.
Computing Homological Information Based on Directed Graphs within Discrete Objects
机译:
基于离散对象内有向图的同源信息计算
作者:
Gonzalez-Lorenzo Aldo
;
Bac Alexandra
;
Mari Jean-Luc
;
Real Pedro
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
directed graphs;
matrix algebra;
object recognition;
pattern classification;
Betti numbers;
Normal Smith Form;
cubical complexes;
directed graphs;
discrete Morse theory;
discrete object;
discrete objects;
homological information computation;
n-dimensional discrete objects;
representative cycles;
Context;
Equations;
Face;
Large scale integration;
Scientific computing;
Three-dimensional displays;
Vectors;
Discrete Morse Theory;
arbitrary dimension;
computational topology;
cubical complexes;
discrete objects;
graphs;
homology;
simplicial complexes;
71.
An Imperialistic Strategy Approach to Continuous Global Optimization Problem
机译:
持续全局优化问题的帝国主义策略方法
作者:
Anescu George
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
genetic algorithms;
parallel algorithms;
quantum computing;
ABC;
CGOP;
DE;
EA;
GA;
ICA;
IM;
IS multipopulation variants;
QPSO;
artificial bee colony;
continuous global optimization problem;
differential evolution;
distributed implementations;
floating-point representation variant;
genetic algorithm;
imperialistic competitive algorithm;
imperialistic strategy approach;
island model;
multimodal optimization problems;
multipopulation strategies;
parallel evolutionary algorithms;
parallel implementations;
quantum particle swarm optimization;
Biological cells;
Genetic algorithms;
Linear programming;
Optimization;
Sociology;
Statistics;
Vectors;
ABC;
Artificial Bee Colony;
CGOP;
Continuous Global Optimization Problem;
DE;
Differential Evolution;
GA;
Genetic Algorithm;
ICA;
IM;
IS;
Imperialistic Competitive Algorithm;
Imperialistic Strategy;
Island Model;
QPSO;
Quantum Particle Swarm Optimization;
72.
Open and Interoperable Socio-technical Networks
机译:
开放和可互操作的社会技术网络
作者:
Ciortea Andrei
;
Boissier Olivier
;
Zimmermann Antoine
;
Florea Adina Magda
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
IP networks;
ontologies (artificial intelligence);
open systems;
transport protocols;
STN ontology platforms;
autonomous nonhuman agents;
complex socio-technical systems;
homogeneous interconnection;
machine-readable descriptions;
open set;
open-interoperable socio-technical networks;
physical-digital space;
semantic-open-distributed social Web of Things;
Electronic mail;
Motion pictures;
Ontologies;
Semantics;
Standards;
TV;
Vocabulary;
Multi-Agent Systems;
Semantic Web;
Web of Things;
73.
Mining GPS Data to Learn Driver's Route Patterns
机译:
挖掘GPS数据以了解驾驶员的路线模式
作者:
Necula Emilian
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Global Positioning System;
data mining;
driver information systems;
hidden Markov models;
maximum likelihood estimation;
pattern recognition;
smart phones;
GPS guidance systems;
HMM-method;
Viterbi algorithm;
data mining;
driver route patterns;
geographic applications;
intelligent traffic systems;
maximum-likelihood;
smart phones;
Global Positioning System;
Hidden Markov models;
Markov processes;
Prediction algorithms;
Predictive models;
Roads;
Vehicles;
GPS data;
HMM;
Viterbi algorithm;
data mining;
machine learning;
route prediction;
traffic congestion;
74.
Enhancing Dental Radiographic Images in Spline-Type Spaces
机译:
样条类型空间中的牙科放射线图像增强
作者:
Onchis Darian M.
;
Gotia Smaranda Laura
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Hilbert spaces;
approximation theory;
dentistry;
diagnostic radiography;
image enhancement;
image resolution;
medical image processing;
splines (mathematics);
Hilbert space;
Riesz basis;
approximation properties;
clinical examination;
clinical interpretation;
closed linear span;
computational efficiency;
dental radiographic image resolution enhancement;
discrete translation operator group;
finite smooth function set;
multiple generators;
parallel approach;
spline-type spaces;
subpixel levels;
Dentistry;
Diagnostic radiography;
Generators;
Image resolution;
Splines (mathematics);
Standards;
dental radiographic images;
higher resolution;
parallelization;
spline-type spaces;
75.
Investigation of Alternative Evolutionary Prototype Generation in Medical Classification
机译:
医学分类中替代进化原型生成的研究
作者:
Stoean Catalin
;
Stoean Ruxandra
;
Sandita Adrian
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
classification;
evolutionary computation;
medical computing;
patient diagnosis;
alternative evolutionary prototype generation;
computational system;
evolutionary algorithms;
medical classification;
medical diagnosis;
patient diagnosis;
Accuracy;
Bioinformatics;
Breast cancer;
Genomics;
Prototypes;
Runtime;
Training;
classification;
evolutionary algorithms;
medical diagnosis;
prototype generation;
76.
Simulation-Extrapolation Gaussian Processes for Input Noise Modeling
机译:
用于输入噪声建模的仿真-外推高斯过程
作者:
Bocsi Botond
;
Jakab Hunor
;
Csato Lehel
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Gaussian processes;
data handling;
extrapolation;
inference mechanisms;
modelling;
nonparametric statistics;
probability;
regression analysis;
simulation;
input noise modeling;
nonparametric probabilistic regression;
probabilistic inference;
repeated regression estimations;
simulation-extrapolation Gaussian processes;
Extrapolation;
Kernel;
Mathematical model;
Noise;
Noise measurement;
Probabilistic logic;
Gaussian processes;
input noise;
simulation extrapolation;
77.
Performance Evaluation of Fuzzy Automata Using VHDL Simulation
机译:
基于VHDL仿真的模糊自动机性能评估。
作者:
Butoianu Daniel-Eugen
;
Todinca Doru
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
automata theory;
fuzzy logic;
hardware description languages;
VHDL simulation;
crisp automata;
fuzzy automata;
fuzzy languages;
fuzzy logic;
performance evaluation;
Automata;
Fuzzy logic;
Fuzzy sets;
Integrated circuit modeling;
Performance evaluation;
Shape;
Trajectory;
VHDL simulation;
fuzzy automata;
fuzzy logic;
78.
Efficient Computation of Simplicial Homology through Acyclic Matching
机译:
通过非循环匹配有效地计算简单同源性
作者:
Fugacci Ulderico
;
Iuricich Federico
;
De Floriani Leila
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
computational geometry;
data structures;
set theory;
topology;
Z-coefficients;
acyclic matching;
arbitrary dimension;
compact data structure;
complex compact encoding;
coreductions;
discrete Morse gradient;
discrete Morse theory;
homology generators;
simplicial complexes;
simplicial homology;
Data structures;
Educational institutions;
Encoding;
Face;
Generators;
Shape;
Vectors;
79.
A Practical Guide for Detecting the Java Script-Based Malware Using Hidden Markov Models and Linear Classifiers
机译:
关于使用隐马尔可夫模型和线性分类器检测基于Java脚本的恶意软件的实用指南
作者:
Cosovan Doina
;
Benchea Razvan
;
Gavrilut Dragos
会议名称:
《International Symposium on Symbolic and Numeric Algorithms for Scientific Computing》
|
2014年
关键词:
Java;
Web sites;
hidden Markov models;
invasive software;
learning (artificial intelligence);
pattern classification;
vectors;
JavaScript content;
JavaScript files;
JavaScript malicious code;
JavaScript-Based malware detection;
JavaScript-based attack vector detection;
Web pages;
World Wide Web;
cybercriminals;
equivalent instruction substitution;
function permutation;
garbage instruction insertion;
hidden Markov models;
infection vectors;
instruction reordering;
linear classifiers;
machine learning algorithms;
metamorphism techniques;
variable renaming;
Feature extraction;
HTML;
Hidden Markov models;
Malware;
Portable document format;
Reactive power;
Vectors;
Hidden Markov Model;
Java Script;
Linear Classifier;
Machine Learning;
PDF;
detection;
infection vector;
malware;
metamorphism;
意见反馈
回到顶部
回到首页