Abbrevation
ADVCOMP
City
Venice
Country
Italy
Deadline Paper
Start Date
End Date
Abstract

Advances on computing theories<br>Finite&#8211;state machines; Petri nets /stochastic/colored/probabilistic/etc; Genetic algorithms; Machine learning theory; Prediction theory; Bayesian theory /statistics/filtering/estimation/reasoning/rating/etc; Markov chains/process/model/etc; Graphs theories<br>Advances in computation methods<br>Hybrid computational methods; Advanced numerical algorithms; Differential calculus; Matrix perturbation theory; Rare matrices; Fractals &amp; super&#8211;fractal algorithms; Random graph dynamics; Multi&#8211;dimensional harmonic estimation<br>Computational logics<br>Knowledge&#8211;based systems and automated reasoning; Logical issues in knowledge representation /non&#8211;monotonic reasoning/belief; Specification and verification of programs and systems; Applications of logic in hardware and VLSI; Natural language, concurrent computation, planning; Deduction and reasoning; Logic of computation; Dempster&#8211;Shafer theory; Fuzzy theory/computation/logic/etc<br>Advances on computing mechanisms<br>Clustering large and high dimensional data; Data fusion and aggregation; Biological sequence analysis; Biomecatronics mechanisms; Biologically inspired mechanisms; System theory and control mechanisms; Multi&#8211;objective evolutionary algorithms; Constraint&#8211;based algorithms; Ontology&#8211;based reasoning; Topology and structure patterns; Geometrical pattern similarity; Strong and weak symmetry; Distortion in coordination mechanisms<br>Computing techniques<br>Distributed computing; Parallel computing; Grid computing; Autonomic computing; Cloud computing; Development of numerical and scientific software&#8211;based systems; Pattern&#8211;based computing; Finite&#8211;element method computation; Elastic models; Optimization techniques; Simulation techniques; Stream&#8211;based computing<br>Resource intensive applications and services (RIAS)<br>Fundamentals on RIAS; Basic algorithms for RIAS; Communications intensive; Process intensive; Data&#8211;intensive computing; Operational intensive; Cloud&#8211;computing intensiveness; User intensive; Technology intensive; Control intensive; Complex RIAS; Bioinformatics computation; Large scale ehealth systems; Pharmaceutical/drug computation; Weather forecast computation; Earthquake simulations; Geo&#8211;spatial simulations; Spatial programs; Real&#8211;time manufacturing systems; Transportation systems; Avionic systems; Economic/financial systems; Electric&#8211;power systems<br>Computational geometry<br>Theoretical computational geometry; Applied computational geometry; Design and analysis of geometric algorithms; Design and analysis of geometric algorithms and data structures; Discrete and combinatorial geometry and topology; Data structures (Voronoi Diagrams, Delaunay triangulations, etc&#046;); Experimental evaluation of geometric algorithms and heuristics; Numerical performance of geometric algorithms; Geometric computations in parallel and distributed environments; Geometric data structures for mesh generation; Geometric methods in computer graphics; Solid modeling; Space Partitioning; Special applications (animation of geometric algorithms, manufacturing, computer graphics and image processing, computer&#8211;aided geometry design, solid geometry)<br>Interdisciplinary computing<br>Computational /physics, chemistry, biology/ algorithms; Graph&#8211;based modeling and algorithms; Computational methods for /crystal, protein/ structure prediction; Computation for multi&#8211;material structure; Modeling and simulation of large deformations and strong shock waves; Computation in solid mechanics; Remote geo&#8211;sensing; Interdisciplinary computing in music and arts<br>Cloud computing<br>Hardware&#8211;as&#8211;a&#8211;service; Software&#8211;as&#8211;a&#8211;service [SaaS applicaitions]; Platform&#8211;as&#8211;service; On&#8211;demand computing models; Cloud Computing programming and application development; Scalability, discovery of services and data in Cloud computing infrastructures; Privacy, security, ownership and reliability issues; Performance and QoS; Dynamic resource provisioning; Power&#8211;efficiency and Cloud computing; Load balancing; Application streaming; Cloud SLAs, business models and pricing policies; Custom platforms; Large&#8211;scale compute infrastructures; Managing applications in the clouds; Data centers; Process in the clouds; Content and service distribution in Cloud computing infrastructures; Multiple applications can run on one computer (virtualization a la VMWare); Grid computing (multiple computers can be used to run one application); Cloud&#8211;computing vendor governance and regulatory compliance<br>Grid Networks, Services and Applications<br>GRID theory, frameworks, methodologies, architecture, ontology; GRID infrastructure and technologies; GRID middleware; GRID protocols and networking; GRID computing, utility computing, autonomic computing, metacomputing; Programmable GRID; Data GRID; Context ontology and management in GRIDs; Distributed decisions in GRID networks; GRID services and applications; Virtualization, modeling, and metadata in GRID; Resource management, scheduling, and scalability in GRID; GRID monitoring, control, and management; Traffic and load balancing in GRID; User profiles and priorities in GRID; Performance and security in GRID systems; Fault tolerance, resilience, survivability, robustness in GRID; QoS/SLA in GRID networks; GRID fora, standards, development, evolution; GRID case studies, validation testbeds, prototypes, and lessons learned<br>Computing in Virtualization&#8211;based environments<br>Principles of virtualization; Virtualization platforms; Thick and thin clients; Data centers and nano&#8211;centers; Open virtualization format; Orchestration of virtualization across data centers; Dynamic federation of compute capacity; Dynamic geo&#8211;balancing; Instant workload migration; Virtualization&#8211;aware storage; Virtualization&#8211;aware networking; Virtualization embedded&#8211;software&#8211;based smart mobile phones; Trusted platforms and embedded supervisors for security; Virtualization management operations /discovery, configuration, provisioning, performance, etc&#046;; Energy optimization and saving for green datacenters; Virtualization supporting cloud computing; Applications as pre&#8211;packaged virtual machines; Licencing and support policies<br>Development of computing support<br>Computing platforms; Advanced scientific computing; Support for scientific problem&#8211;solving; Support for distributed decisions; Agent&#8211;assisted workflow support; Middleware computation support; High performance computing; Problem solving environments; Computational science and education; Neuronal networks<br>Computing applications in science<br>Advanced computing in civil engineering; Advanced computing in physics science; Advanced computing in chemistry science; Advanced computing in mathematics; Advanced computing in operation research; Advanced computing in economics; Advanced computing in electronics and electrical science; Advanced computing on Earth science, geosciences and meteorology<br>Complex computing in application domains<br>Computation genomic; Management of scientific data and knowledge; Advanced computing in bioinformatics and biophysics; Advanced computing in molecular systems and biological systems; Application of engineering methods to genetics; Medical computation and graphics; Advanced computing in simulation systems; Advanced computing for statistics and optimization; Advanced computing in mechanics and quantum mechanics; Advanced computing for geosciences and meteorology; Maps and geo&#8211;images building; Curve and surface reconstruction; Financial computing and forecasting; Advanced computing in robotics and manufacturing; Advanced computing in power systems; Environmental advanced computing<br>