咨询与建议

限定检索结果

文献类型

  • 559 篇 会议
  • 7 篇 期刊文献
  • 5 册 图书

馆藏范围

  • 571 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 172 篇 工学
    • 170 篇 计算机科学与技术...
    • 107 篇 电气工程
    • 27 篇 软件工程
    • 5 篇 控制科学与工程
    • 4 篇 信息与通信工程
    • 1 篇 光学工程
    • 1 篇 仪器科学与技术
    • 1 篇 材料科学与工程(可...
    • 1 篇 电子科学与技术(可...
  • 58 篇 理学
    • 58 篇 数学
    • 2 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
  • 19 篇 经济学
    • 18 篇 理论经济学
    • 1 篇 应用经济学
  • 12 篇 管理学
    • 8 篇 管理科学与工程(可...
    • 7 篇 工商管理
    • 4 篇 图书情报与档案管...
  • 1 篇 法学
    • 1 篇 社会学

主题

  • 292 篇 scientific compu...
  • 91 篇 computer science
  • 63 篇 cloud computing
  • 50 篇 computational mo...
  • 36 篇 polynomials
  • 34 篇 algorithm design...
  • 29 篇 algebra
  • 28 篇 computer archite...
  • 25 篇 testing
  • 24 篇 mathematics
  • 22 篇 software algorit...
  • 22 篇 complexity theor...
  • 21 篇 electronic mail
  • 20 篇 monitoring
  • 20 篇 standards
  • 19 篇 grid computing
  • 19 篇 semantics
  • 18 篇 concurrent compu...
  • 18 篇 application soft...
  • 18 篇 distributed comp...

机构

  • 10 篇 research institu...
  • 8 篇 tech univ cluj n...
  • 7 篇 department of co...
  • 7 篇 faculty of infor...
  • 6 篇 faculty of mathe...
  • 6 篇 department of co...
  • 6 篇 faculty of compu...
  • 5 篇 department of co...
  • 5 篇 department of co...
  • 5 篇 computer science...
  • 4 篇 department of co...
  • 4 篇 nicolaus coperni...
  • 4 篇 research institu...
  • 4 篇 institute e-aust...
  • 4 篇 department of co...
  • 4 篇 romanian acad in...
  • 4 篇 computer science...
  • 4 篇 faculty of autom...
  • 3 篇 department of co...
  • 3 篇 department of co...

作者

  • 9 篇 gabriel ciobanu
  • 8 篇 adina magda flor...
  • 7 篇 petcu dana
  • 7 篇 james h. davenpo...
  • 7 篇 jebelean tudor
  • 7 篇 eneia nicolae to...
  • 7 篇 nebojsa bacanin
  • 7 篇 tudor jebelean
  • 6 篇 catalin stoean
  • 6 篇 ciobanu gabriel
  • 6 篇 nicolae tapus
  • 6 篇 valentin cristea
  • 5 篇 mugurel ionut an...
  • 5 篇 dorel lucanu
  • 5 篇 ardagna danilo
  • 5 篇 ciprian dobre
  • 5 篇 ruxandra stoean
  • 5 篇 stephen m. watt
  • 5 篇 florin pop
  • 5 篇 simson daniel

语言

  • 571 篇 英文
检索条件"任意字段=8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"
571 条 记 录,以下是471-480 订阅
排序:
DL-AgentRecom - A Multi-Agent Based Recommendation System for scientific Documents
DL-AgentRecom - A Multi-Agent Based Recommendation System fo...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Horia-Emil Popa Viorel Negru Daniel Pop Ionel Muscalagiu Department of Computer Science West University of Timisoara Timisoara Romania Faculty of Engineering of Hunedoara Polytechnic University of Timisoara Timisoara Romania
the goal is to propose a recommendation system for scientific documents. the paper presents the architecture and the principles of functioning of the system. the way a user organizes its documents is called the user&#... 详细信息
来源: 评论
Abstract Matrix Arithmetic
Abstract Matrix Arithmetic
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Alan P. Sexton Volker Sorge Stephen M. Watt University of Binningham Birmingham UK University of Western Ontario London Canada
We present an approach to basic arithmetic between abstract matrices, i.e., matrices of symbolic dimension with underspecified components. We define a simple basis function that enables the representation of abstract ... 详细信息
来源: 评论
ContractCML - A Contract Aware Component Modeling Language
ContractCML - A Contract Aware Component Modeling Language
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Vladiela Petrascu Dan Chiorean Dragos Petrascu Computer Science Department Babes Bolyai University Cluj-Napoca Romania
Providing software components with a four level contract specification - syntax, semantics, synchronization, quality of service - is important to their correct (re)use. the mandatory syntactic level is included by all... 详细信息
来源: 评论
Solving the Countdown Problem Using Automatic Composition of Semantic Web Services
Solving the Countdown Problem Using Automatic Composition of...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Andrei-Horia Mogos Adina Magda Florea University Politehnica of Bucharest Bucharest Romania
the automatic composition of semantic Web services is one of the challenging areas of the semantic Web services research. Mathematical semantic Web services are very useful in practice, however only a small number of ... 详细信息
来源: 评论
A theory of Adaptable Contract-Based Service Composition
A Theory of Adaptable Contract-Based Service Composition
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Giovanni Bernardi Michele Bugliesi Damiano Macedonio Sabina Rossi Dipartimento di Informatica Università CaE28099Foscari of Venice Italy
Service oriented architectures draw heavily on techniques for reusing and assembling off-the-shelf software components. While powerful, this programming practice is not without a cost: the software architect must ensu... 详细信息
来源: 评论
Constrained Content Distribution and Communication Scheduling for Several Restricted Classes of Graphs
Constrained Content Distribution and Communication Schedulin...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Mugurel Ionut Andreica Nicolae Tapus Computer Science and Engineering Department Politehnica University of Bucharest Bucharest Romania
In this paper we address several problems regarding content distribution (broadcast) and communication optimization and scheduling for some restricted classes of graphs (trees, intersecting cliques). For the broadcast... 详细信息
来源: 评论
Concern-Oriented and Ontology-Based Design Approach of Software Architectures
Concern-Oriented and Ontology-Based Design Approach of Softw...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Crenguta Madalina Bogdan Ovidius University of Constanta Constanta Romania
the obtainment of a quality software architecture that fulfils the design principles and addresses the stakeholders' concerns is an ongoing problem. In this paper, we present an approach to construct modular softw... 详细信息
来源: 评论
An Evolutionary Approach for Modeling Time Series
An Evolutionary Approach for Modeling Time Series
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Elena Bautu Andrei Bautu Henri Luchian Ovidius University of Constanta Constanta Romania Mircea cel Bătrân Naval Academy Constanta Romania Alexandru Ioan Cuza슠University Iasi Romania
Change points in time series appear due to variations in the data generation process. We consider the problem of modeling time series generated by dynamic processes, and we focus on finding the change points using a s... 详细信息
来源: 评论
Graph Rewriting in Computational Origami
Graph Rewriting in Computational Origami
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Tetsuo Ida Department of Computer Science University of Tsukuba Tsukuba Japan
We give graph-theoretic formalization of origami, the art of paper folding. Starting from the abstract origami system, we model origami construction as are write sequence of abstract origami's. To reason about the... 详细信息
来源: 评论
A Comparative Landscape Analysis of Fitness Functions for Search-Based Testing
A Comparative Landscape Analysis of Fitness Functions for Se...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Raluca Lefticaru Florentin Ipate Department of Computer Science and Mathematics University of Pitesti Pitesti Romania
Landscape analysis of fitness functions is an important topic. this paper makes an attempt to characterize the search problems associated with the fitness functions used in search-based testing, employing the followin... 详细信息
来源: 评论