咨询与建议

限定检索结果

文献类型

  • 565 篇 会议
  • 7 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

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

机构

  • 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

语言

  • 574 篇 英文
检索条件"任意字段=7th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing"
574 条 记 录,以下是241-250 订阅
排序:
Shaping Up Clusters with PSO
Shaping Up Clusters with PSO
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Mihaela Breaban Silvia Luchian Faculty of Computer Science Alexandru Ioan Cuza슠University Iasi Romania
this paper presents a method for enhancing the performance of current clustering algorithms; the method is based on Particle Swarm Optimization techniques. Namely, a preprocessing step aims at bringing rdquocloserrdqu... 详细信息
来源: 评论
Automated Software Analysis
Automated Software Analysis
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Helmut Veith Formal Methods in Systems Engineering Institut für Informationssysteme Technische Universität Wien Vienna Austria
Recent years have seen tremendous progress in the capabilities of software model checkers. these tools are the result of combined efforts by different communities, most notably model checking, abstract interpretation,... 详细信息
来源: 评论
BBUFs: A New Lookup Mechanism Based on IPV6
BBUFs: A New Lookup Mechanism Based on IPV6
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Dan Cojocar Department of Computer Science Babes Bolyai University Cluj-Napoca Romania
BBUFs (Babes Bolyai university file system) is a peer to peer distributed file system with a new lookup mechanism. the file system is designed for ordinary Unix machines that are IPv6 capable. In this paper we propose... 详细信息
来源: 评论
Automatic Improvements of Wallis' Inequality
Automatic Improvements of Wallis' Inequality
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Peter Paule Veronika Pillwein Research Institute for Symbolic Computation Johannes Kepler University Linz Linz Austria
the mathematical backbone of this article is formed by three classical formulas of Wallis: his product formula for π, an inequality implying the product formula in the limit, and a related definite integral involving... 详细信息
来源: 评论
On computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
On Computing Solutions of Linear Diophantine Equations with ...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Armin Grosslinger Stefan Schuster Universitat Passau Passau Bayern DE Department of Informatics and Mathematics University of Passau Passau Germany
We present an algorithm for solving Diophantine equations which are linear in the variables, but non-linear in one parameter. We are looking for the pointwise solutions, i.e., the solutions for the unknowns in depende... 详细信息
来源: 评论
Axiomatization of Credulous Reasoning in Default Logics using Sequent Calculus
Axiomatization of Credulous Reasoning in Default Logics usin...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Mihaiela Lupea Faculty of Mathematics and Computer Science Babes Bolyai University Cluj-Napoca Romania
the family of default logics formalize the default reasoning using nonmonotonic inference rules called defaults. In this paper we propose a uniform abstract characterization of credulous default inference associated t... 详细信息
来源: 评论
A Boolean Approach for Detection of Frequent Items
A Boolean Approach for Detection of Frequent Items
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Dan Simovici Roman Sizov Selim Mimaroglu Department of Computer Science University of Massachusetts Boston MA Sabre Airline Solutions
We propose a new technique for identifying frequent patterns that occur in large transactional data sets using Boolean algebras. Our approach, which involves extending the notion of support from sets of attributes to ... 详细信息
来源: 评论
Expressing BBUFs Lookup Using the π-Calculus
Expressing BBUFs Lookup Using the π-Calculus
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Gabriel Ciobanu Dan Cojocar Romanian Academy Institute of Computer Science Iasi Romania Department of Computer Science Babes Bolyai University Romania
In this paper we express Babes Bolyai University File System lookup mechanism by using π-calculus. We describe the lookup process in a peer-to-peer decentralized system, how a request message is forwarded from a clie... 详细信息
来源: 评论
Considerations on Using Ontologies in Complex Systems
Considerations on Using Ontologies in Complex Systems
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Victoria Iordan Alexandru Cicortas Department of Computer Science West University of Timisoara Timisoara Romania
Many complex systems need in an explicit or in an implicit form the ontologies. One of the major problems consist in that the need to obtain an ontology from some others using appropriate operations. In many domains t... 详细信息
来源: 评论
Distributed Scheduling Policy in Service Oriented Environments
Distributed Scheduling Policy in Service Oriented Environmen...
收藏 引用
international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Marc Eduard Frincu Research Institute e-Austria Timisoara Romania
Service oriented architectures become more and more popular with the emergence and consolidation of new paradigms such as Clouds and Grids. In this context scheduling becomes an important and difficult problem as serv... 详细信息
来源: 评论