2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
Latest Publications

TOTAL DOCUMENTS

80

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781467350266

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.76 ◽

2012 ◽

Author(s):

Sascha Ossowski

Keyword(s):

Intelligent Systems ◽

Agreement Technologies ◽

Open Environments ◽

Distributed Intelligent Systems

Download Full-text

Author index

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.74 ◽

2012 ◽

Download Full-text

On Computing Mesh Root Systems and the Isotropy Group for Simply-laced Dynkin Diagrams

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.16 ◽

2012 ◽

Author(s):

Mariusz Felisiak ◽

Daniel Simson

Keyword(s):

Root Systems ◽

Isotropy Group ◽

Dynkin Diagrams

Download Full-text

Service Lifecycle in the Cloud Environment

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.67 ◽

2012 ◽

Author(s):

Victor Ion Munteanu ◽

Teodor-Florin Fortis ◽

Viorel Negru

Keyword(s):

Cloud Environment

Download Full-text

Ubiquitous Multi-agent Environmental Hazard Management

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.72 ◽

2012 ◽

Author(s):

Andrei Mocanu ◽

Sorin Ilie ◽

Costin Badica

Keyword(s):

Environmental Hazard ◽

Hazard Management ◽

Download Full-text

Interactive vs. automated proofs in computational origami

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.77 ◽

2012 ◽

Author(s):

T. Ida

Download Full-text

Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.12 ◽

2012 ◽

Author(s):

R.D. Ene ◽

V. Marinca ◽

R. Negrea ◽

B. Caruntu

Keyword(s):

Nonlinear Problem ◽

Asymptotic Method ◽

Optimal Homotopy Asymptotic Method

Download Full-text

What is an Equation?

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.79 ◽

2012 ◽

Author(s):

Solomon Marcus ◽

Stephen M. Watt

Download Full-text

Soundness of a Logic-Based Verification Method for Imperative Loops

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.63 ◽

2012 ◽

Author(s):

Madalina Erascu ◽

Tudor Jebelean

Keyword(s):

Verification Method

Download Full-text

Grouping of Customer Opinions Written in Natural Language Using Unsupervised Machine Learning

2012 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing ◽

10.1109/synasc.2012.29 ◽

2012 ◽

Author(s):

Frantiek Darena ◽

Jan ika ◽

Karel Burda

Keyword(s):

Machine Learning ◽

Natural Language ◽

Unsupervised Machine Learning

Download Full-text