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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 5

Author(s):

Mariusz Felisiak ◽

Daniel Simson

Keyword(s):

Root Systems ◽

Isotropy Group ◽

Dynkin Diagrams

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 ◽

Cited By ~ 2

Author(s):

R.D. Ene ◽

V. Marinca ◽

R. Negrea ◽

B. Caruntu

Keyword(s):

Nonlinear Problem ◽

Asymptotic Method ◽

Optimal Homotopy Asymptotic Method

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 ◽

Cited By ~ 5

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 ◽

Cited By ~ 4

Author(s):

Andrei Mocanu ◽

Sorin Ilie ◽

Costin Badica

Keyword(s):

Environmental Hazard ◽

Hazard Management ◽

Multi Agent

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 ◽

Cited By ~ 1

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 ◽

Cited By ~ 2

Author(s):

Frantiek Darena ◽

Jan ika ◽

Karel Burda

Keyword(s):

Machine Learning ◽

Natural Language ◽

Unsupervised Machine Learning

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

Enabling Distributed Intelligent Systems in Open Environments through Agreement Technologies

Author index

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

Interactive vs. automated proofs in computational origami

Optimal Homotopy Asymptotic Method for Solving a Nonlinear Problem in Elasticity

Service Lifecycle in the Cloud Environment

Ubiquitous Multi-agent Environmental Hazard Management

What is an Equation?

Soundness of a Logic-Based Verification Method for Imperative Loops

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

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