咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是131-140 订阅
排序:
Mathematical theory exploration
Mathematical theory exploration
收藏 引用
8th international symposium on symbolic and numeric algorithms for scientific computing
作者: Buchberger, Bruno Johannes Kepler Univ Res Inst Symbol Computat A-4232 Schloss Hagenberg Austria
Mathematics is characterized by its method of gaining knowledge, namely reasoning. the automation of reasoning has seen significant advances over the past decades and, thus, the expectation was that these advances wou... 详细信息
来源: 评论
symbolic Derivation of Mean-Field PDEs from Lattice-Based Models  17
Symbolic Derivation of Mean-Field PDEs from Lattice-Based Mo...
收藏 引用
17th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Koutschan, Christoph Ranetbauer, Helene Regensburger, Georg Wolfram, Marie-therese Austrian Acad Sci OAW Johann Radon Inst Computat & Appl Math RICAM Altenberger Str 69 A-4040 Linz Austria
Transportation processes, which play a prominent role in the life and social sciences, are typically described by discrete models on lattices. For studying their dynamics a continuous formulation of the problem via pa... 详细信息
来源: 评论
Reliable management of virtualized resources using fault trees  16
Reliable management of virtualized resources using fault tre...
收藏 引用
16th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Butoi, Alexandru Stan, Alexandru Silaghi, Gheorghe Cosmin Univ Babes Bolyai R-3400 Cluj Napoca Romania
the new trends in distributed computing has changed the way we do computing when talking about cloud infrastructures or high-performance computing. Resource virtualization technologies enabled elasticity of resource p... 详细信息
来源: 评论
Application Deployment and Management in the Cloud  16
Application Deployment and Management in the Cloud
收藏 引用
16th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Miglierina, Marco Politecn Milan DEIB Milan Italy
Cloud computing is a revolutionary paradigm that allows to acquire infinite resources on demand and pay only for the actual use. Together with novel software development methodologies, such as Agile and DevOps, the cl... 详细信息
来源: 评论
Characterizing tractability with membrane creation
Characterizing tractability with membrane creation
收藏 引用
7th international symposium on symbolic and numeric algorithms for scientific computing, SYNASC 2005
作者: Gutiérrez-Naranjo, Miguel A. Pérez-Jiménez, Mario J. Riscos-Núñez, Agustín Romero-Campero, Francisco J. Research Group on Natural Computing Dpt. Computer Science and Artificial Intelligence University of Sevilla Avda. Reina Mercedes s/n 41012 - Sevilla Spain
this paper analyzes the role that membrane dissolution rules play in order to characterize (in the framework of recognizer P systems with membrane creation) the tractability of decision problems -that is, the efficien... 详细信息
来源: 评论
ARTIST Methodology and Framework: A novel approach for the migration of legacy software on the Cloud
ARTIST Methodology and Framework: A novel approach for the m...
收藏 引用
15th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Menychtas, Andreas Santzaridou, Christina Kousiouris, George Varvarigou, theodora Orue-Echevarria, Leire Alonso, Juncal Gorronogoitia, Jesus Bruneliere, Hugo Strauss, Oliver Senkova, Tatiana Pellens, Bram Stuer, Peter Natl Tech Univ Athens Athens Greece TECNALIA ICT European Software Inst Div Zamudio Spain ATOS Res & Innovat Serv Engn & IT Platforms Lab Madrid Spain Inria Mines Nantes AtlanMod Team Nantes France LINA Nantes France Fraunhofer Inst Ind Engn IAO Software Technol Team Stuttgart Germany Spikes NV Brussels Belgium
Nowadays Cloud computing is considered as the ideal environment for engineering, hosting and provisioning applications. A continuously increasing set of cloud-based solutions is available to application owners and dev... 详细信息
来源: 评论
Benchmarks in the Cloud: the mOSAIC Benchmarking Framework
Benchmarks in the Cloud: The mOSAIC Benchmarking Framework
收藏 引用
14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Rak, Massimiliano Aversano, Giuseppe Univ Naples 2 Dept Informat Engn Via Roma 29 I-81031 Aversa Italy Univ Sannio Dept Informat Engn I-82100 Benevento Italy
A natural consequence of the pay-per-use business model of Cloud computing, is that Cloud Users need to evaluate and compare different cloud providers in order to choose the best offerings in terms of trade-off among ... 详细信息
来源: 评论
ReaderBench: Building Comprehensive Sociograms of Online Communities A Side-by-Side Comparison between Gaming and Online Knowledge Building Communities  19
<i>ReaderBench</i>: Building Comprehensive Sociograms of Onl...
收藏 引用
19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Sirbu, Dorinela Panaite, Marilena Secui, Ana Dascalu, Mihai Nistor, Nicolae Trausan-Matu, Stefan Univ Politehn Bucuresti Comp Sci Dept Bucharest Romania Ludwig Maximilians Univ Munchen Fac Psychol & Educ Sci Munich Germany
the usage of discussion forums and blogs has dramatically increased during the last years. Having a wide applicability, ranging from fun to learning purposes, the modeling of participants' interactions in online c... 详细信息
来源: 评论
On computing Solutions of Linear Diophantine Equations with One Non-linear Parameter
On Computing Solutions of Linear Diophantine Equations with ...
收藏 引用
10th international symposium on symbolic and numeric algorithms for scientific computing
作者: Groesslinger, Armin Schuster, Stefan Univ Passau Dept Math & Informat D-94030 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... 详细信息
来源: 评论
the Flexiformalist Manifesto  14th
The Flexiformalist Manifesto
收藏 引用
14th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC)
作者: Kohlhase, Michael Jacobs Univ Bremen Bremen Germany
In this manifesto, we develop the "Flexiformalist Program". this may be thought of as a modern extension of Hilbert's "Formalist Program", which solved the foundational crisis of mathematics bu... 详细信息
来源: 评论