Información de la conferencia
SYNASC 2021: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
http://synasc.ro/2021/
Día de Entrega:
2021-08-31
Fecha de Notificación:
2021-09-30
Fecha de Conferencia:
2021-12-07
Ubicación:
Timisoara, Romania
Años:
23
CORE: c   Vistas: 14074   Seguidores: 0   Asistentes: 0

Solicitud de Artículos
=== Tracks ===

    * Symbolic Computation

        + computer algebra
        + symbolic techniques applied to numerics
        + hybrid symbolic and numeric algorithms
        + numerics and symbolics for geometry
        + programming with constraints, narrowing

    * Numerical Computing

        + iterative approximation of fixed points
        + solving systems of nonlinear equations
        + numerical and symbolic algorithms for differential equations
        + numerical and symbolic algorithms for optimization
        + parallel algorithms for numerical computing
        + scientific visualization and image processing

    * Logic and Programming

        + automatic reasoning
        + formal system verification
        + formal verification and synthesis
        + software quality assessment
        + static analysis
        + timing analysis

    * Artificial Intelligence

       + knowledge discovery, representation, and management
       + automated reasoning, uncertain reasoning, and constraint strategies 
       + recommender and expert systems
       + intelligent systems, agents, and networks
       + agent-based complex systems
       + AI-based systems for scientific computing
       + machine learning, including deep learning models and technologies
       + explainable and trustworthy AI
       + information retrieval, data mining, text mining and web mining
       + computational intelligence - including fuzzy, neural and evolutionary computing
       + AI applications: natural language processing, computer vision, signal processing, stock    
         market, computational neuroscience, robotics, autonomous vehicles, medical diagnosis, 
         cybersecurity, digital design, online education

    * Distributed Computing

        + modelling of parallel and distributed systems 
        + parallel and distributed algorithms 
        + architectures for parallel and distributed systems.    
        + applications for parallel and distributed systems,
        + acceleration of AI or Big Data  applications using distributed and parallel computing
        + networked intelligence and Internet of Things

    * Theory of Computing

       + data structures and algorithms
       + combinatorial optimization
       + formal languages and combinatorics on words
       + graph-theoretic and combinatorial methods in computer science
       + algorithmic paradigms, including distributed, online,
         approximation, probabilistic, game-theoretic algorithms
       + computational complexity theory, including structural complexity, boolean 
        complexity, communication complexity, average-case complexity, derandomization 
        and property testing
       + logical approaches to complexity, including finite model theory
       + algorithmic and computational learning theory
       + aspects of computability theory, including computability in
         analysis and algorithmic information theory
       + proof complexity
       + computational social choice and game theory
       + new computational paradigms: CNN computing, quantum,
         holographic and other non-standard approaches to computability
       + randomized methods, random graphs, threshold phenomena and
         typical-case complexity
       + automata theory and other formal models, particularly in
         relation to formal verification methods such as model
         checking and runtime verification
       + applications of theory, including wireless and sensor networks,
         computational biology and computational economics
       + experimental algorithmics
Última Actualización Por Dou Sun en 2021-08-08
Conferencias Relacionadas
CCFCOREQUALISAbreviaciónNombre CompletoEntregaNotificaciónConferencia
baa2ESAEuropean Symposium on Algorithms2024-04-282024-06-232024-09-04
bb4COCOAInternational Conference on Combinatorial Optimization and Applications2023-09-042023-10-042023-12-15
ICEICInternational Conference on Electronics, Information, and Communication2016-09-232016-10-282017-01-11
CRCInternational Conference on Control, Robotics and Cybernetics2024-10-152024-11-152024-11-21
b2VRCAIInternational Conference on Virtual Reality Continuum and Its Applications in Industry2013-07-152013-09-302013-11-17
ICEELInternational Conference on Education and E-Learning2020-09-252020-10-102020-11-06
WMSNInternational Workshop on Wireless Multimedia Sensor Networks 2012-07-132012-10-08
AIRICInternational Conference on Artificial Intelligence and Robotics2013-09-162013-10-302013-12-11
ICNSCIEEE International Conference on Networking, Sensing and Control2016-12-012017-01-152017-05-16
ISAIRInternational Symposium on Artificial Intelligence and Robotics2019-04-302019-05-302019-08-20
Revistas Relacionadas
CCFNombre CompletoFactor de ImpactoEditorISSN
Journal of Documentation1.700Emerald0022-0418
cComputer Animation and Virtual Worlds0.900John Wiley & Sons, Ltd.1546-427X
bACM Transactions on Speech and Language Processing ACM1550-4875
International Journal of IT/Business Alignment and Governance IGI Global1947-9611
cSoftware Quality Journal1.700Springer0963-9314
IEEE Computer Architecture Letters1.400IEEE1556-6056
ACM Journal of Data and Information Quality1.500ACM1936-1955
Artificial Intelligence and Autonomous SystemsELSP2959-0744
Interaction Studies0.900John Benjamins Publishing Company1572-0373
Journal of Computer Languages1.700Elsevier2665-9182
Recomendaciones