会議情報
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 閲覧: 14073 追跡: 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 | 2024-10-15 | 2024-11-21 |
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 |
---|---|---|---|---|
Journal of Documentation | 1.700 | Emerald | 0022-0418 | |
c | Computer Animation and Virtual Worlds | 0.900 | John Wiley & Sons, Ltd. | 1546-427X |
b | ACM Transactions on Speech and Language Processing | ACM | 1550-4875 | |
International Journal of IT/Business Alignment and Governance | IGI Global | 1947-9611 | ||
c | Software Quality Journal | 1.700 | Springer | 0963-9314 |
IEEE Computer Architecture Letters | 1.400 | IEEE | 1556-6056 | |
ACM Journal of Data and Information Quality | 1.500 | ACM | 1936-1955 | |
Artificial Intelligence and Autonomous Systems | ELSP | 2959-0744 | ||
Interaction Studies | 0.900 | John Benjamins Publishing Company | 1572-0373 | |
Journal of Computer Languages | 1.700 | Elsevier | 2665-9182 |
完全な名前 | インパクト ・ ファクター | 出版社 |
---|---|---|
Journal of Documentation | 1.700 | Emerald |
Computer Animation and Virtual Worlds | 0.900 | John Wiley & Sons, Ltd. |
ACM Transactions on Speech and Language Processing | ACM | |
International Journal of IT/Business Alignment and Governance | IGI Global | |
Software Quality Journal | 1.700 | Springer |
IEEE Computer Architecture Letters | 1.400 | IEEE |
ACM Journal of Data and Information Quality | 1.500 | ACM |
Artificial Intelligence and Autonomous Systems | ELSP | |
Interaction Studies | 0.900 | John Benjamins Publishing Company |
Journal of Computer Languages | 1.700 | Elsevier |
おすすめ