会議情報
SYNASC 2021: International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
http://synasc.ro/2021/提出日: |
2021-08-31 |
通知日: |
2021-09-30 |
会議日: |
2021-12-07 |
場所: |
Timisoara, Romania |
年: |
23 |
CORE: c 閲覧: 11542 追跡: 0 出席: 0
論文募集
=== 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
最終更新 Dou Sun 2021-08-08
関連会議
省略名 | 完全な名前 | 提出日 | 会議日 |
---|---|---|---|
ESA | European Symposium on Algorithms | 2024-04-28 | 2024-09-04 |
COCOA | International Conference on Combinatorial Optimization and Applications | 2023-09-04 | 2023-12-15 |
ICEIC | International Conference on Electronics, Information, and Communication | 2016-09-23 | 2017-01-11 |
CRC | International Conference on Control, Robotics and Cybernetics | 2021-07-30 | 2021-10-09 |
VRCAI | International Conference on Virtual Reality Continuum and Its Applications in Industry | 2013-07-15 | 2013-11-17 |
ICEEL | International Conference on Education and E-Learning | 2020-09-25 | 2020-11-06 |
WMSN | International Workshop on Wireless Multimedia Sensor Networks | 2012-10-08 | |
AIRIC | International Conference on Artificial Intelligence and Robotics | 2013-09-16 | 2013-12-11 |
ICNSC | IEEE International Conference on Networking, Sensing and Control | 2016-12-01 | 2017-05-16 |
ISAIR | International Symposium on Artificial Intelligence and Robotics | 2019-04-30 | 2019-08-20 |
関連仕訳帳
CCF | 完全な名前 | インパクト ・ ファクター | 出版社 | ISSN |
---|---|---|---|---|
b | Journal of Symbolic Computation | 0.970 | Elsevier | 0747-7171 |
Telematics and Informatics Reports | Elsevier | 2772-5030 | ||
International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | 2088-5334 | ||
Applied Informatics | Springer | 2196-0089 | ||
Entertainment Computing | 1.455 | Elsevier | 1875-9521 | |
Annals of Operations Research | 0.341 | Springer | 0254-5330 | |
IETE Journal of Research | 0.793 | Taylor & Francis | 0377-2063 | |
International Journal of Ad hoc, Sensor & Ubiquitous Computing | AIRCC | 0976-2205 | ||
Social Network Analysis and Mining | Springer | 1869-5450 | ||
Social Science Computer Review | 2.922 | SAGE | 0894-4393 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Journal of Symbolic Computation | 0.970 | Elsevier |
Telematics and Informatics Reports | Elsevier | |
International Journal on Advanced Science, Engineering and Information Technology | INSIGHT | |
Applied Informatics | Springer | |
Entertainment Computing | 1.455 | Elsevier |
Annals of Operations Research | 0.341 | Springer |
IETE Journal of Research | 0.793 | Taylor & Francis |
International Journal of Ad hoc, Sensor & Ubiquitous Computing | AIRCC | |
Social Network Analysis and Mining | Springer | |
Social Science Computer Review | 2.922 | SAGE |
おすすめ