Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
Likely matches
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Unification in Non-Classical Logics (UNCL @ ICALP) - Workshop on Non-Classical Models for Automata and Applications (NCMA)
- Workshop on Classic, Quantum, and Post-Quantum Cryptography (CQPC)
- International Conference on Non-Classical Logics (NCL)
- International Workshop on Classical Logic and Computation (CL&C)
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 2,735 matches
- 2024
- Jigyasa Gupta, Shreya Sharma, Shreshth Tuli, Rohan Paul, Mausam:
GOALNET: Interleaving Neural Goal Predicate Inference with Classical Planning for Generalization in Robot Instruction Following. AAAI 2024: 20113-20122 - Martín Pozo, Álvaro Torralba, Carlos Linares López:
When CEGAR Meets Regression: A Love Story in Optimal Classical Planning. AAAI 2024: 20238-20246 - Vatistas Kostalabros, Jordi Ribes-González, Oriol Farràs, Miquel Moretó, Carles Hernández:
A Safety-Critical, RISC-V SoC Integrated and ASIC-Ready Classic McEliece Accelerator. ARC 2024: 282-295 - I-Chi Chen, Harshdeep Singh, V. L. Anukruti, Brian Quanz, Kavitha Yogaraj:
A Survey of Classical and Quantum Sequence Models. COMSNETS 2024: 1006-1011 - Soumitri Kadambi, M. V. Panduranga Rao:
Constrained Quadratic Model Formulations for MDCVRPTW: Quantum Vs Classical. COMSNETS 2024: 258-263 - Satoshi Nakata:
Local Operators in Topos Theory and Separation of Semi-Classical Axioms in Intuitionistic Arithmetic. CSL 2024: 42:1-42:21 - Michael Kölle, Jonas Maurer, Philipp Altmann, Leo Sünkel, Jonas Stein, Claudia Linnhoff-Popien:
Disentangling Quantum and Classical Contributions in Hybrid Quantum Machine Learning Architectures. ICAART (3) 2024: 649-656 - Michaela Urbanovská, Antonín Komenda:
Explainability Insights to Cellular Simultaneous Recurrent Neural Networks for Classical Planning. ICAART (3) 2024: 592-599 - Keisuke Fukada, Tatshuhiko Shirai, Nozomu Togawa:
Hybrid Iterative Annealing Method Using a Quantum Annealer and a Classical Computer. ICCE 2024: 1-6 - Boxi Yu, Jiayi Yao, Qiuai Fu, Zhiqing Zhong, Haotian Xie, Yaoliang Wu, Yuchi Ma, Pinjia He:
Deep Learning or Classical Machine Learning? An Empirical Study on Log-Based Anomaly Detection. ICSE 2024: 35:1-35:13 - Xingjian Li, Qipeng Liu, Angelos Pelecanos, Takashi Yamakawa:
Classical vs Quantum Advice and Proofs Under Classically-Accessible Oracle. ITCS 2024: 72:1-72:19 - Jop Briët, Harry Buhrman, Davi Castro-Silva, Niels M. P. Neumann:
Noisy Decoding by Shallow Circuits with Parities: Classical and Quantum (Extended Abstract). ITCS 2024: 21:1-21:11 - Matthias C. Caro, Marcel Hinsche, Marios Ioannou, Alexander Nietner, Ryan Sweke:
Classical Verification of Quantum Learning. ITCS 2024: 24:1-24:23 - Zhili Chen, Joshua A. Grochow, Youming Qiao, Gang Tang, Chuanqi Zhang:
On the Complexity of Isomorphism Problems for Tensors, Groups, and Polynomials III: Actions by Classical Groups. ITCS 2024: 31:1-31:23 - Ohad Klein, Joseph Slote, Alexander Volberg, Haonan Zhang:
Quantum and Classical Low-Degree Learning via a Dimension-Free Remez Inequality. ITCS 2024: 69:1-69:22 - Stephen Hutt, Allison DePiro, Joann Wang, Sam Rhodes, Ryan Shaun Baker, Grayson Hieb, Sheela Sethuraman, Jaclyn Ocumpaugh, Caitlin Mills:
Feedback on Feedback: Comparing Classic Natural Language Processing and Generative AI to Evaluate Peer Feedback. LAK 2024: 55-65 - Ainesh Bakshi, Ewin Tang:
An Improved Classical Singular Value Transformation for Quantum Machine Learning. SODA 2024: 2398-2453 - Ziyi Guan, Yunqi Huang, Penghui Yao, Zekun Ye:
Quantum and Classical Communication Complexity of Permutation-Invariant Functions. STACS 2024: 39:1-39:19 - Yuxin Deng, Huiling Wu, Ming Xu:
Local Reasoning About Probabilistic Behaviour for Classical-Quantum Programs. VMCAI (2) 2024: 163-184 - Kuan-Cheng Chen, Xiaoren Li, Xiaotian Xu, Yun-Yuan Wang, Chen-Yu Liu:
Multi-GPU-Enabled Hybrid Quantum-Classical Workflow in Quantum-HPC Middleware: Applications in Quantum Simulations. CoRR abs/2403.05828 (2024) - 2023
- Chris Scambler:
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, One step is enough. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233-1259. - Isabella McAllister, Classical logic is not uniquely characterizable. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345-1365. - Rea Golan, There is no tenable notion of global metainferential validity. Analysis, vol. 81 (2021), no. 3, pp. 411-420. Bull. Symb. Log. 29(3): 453-456 (2023) - Editorial issue 3 2023: The Value of Classic Works in our Field. Inf. Polity 28(3): 315-316 (2023)
- Salma Charmi, Bassem El Badsi, Abderrazak Yangui:
Comparative Study Between Classical and Fuzzy Logic DTC Strategies Aimed to an IPMSM Drives. SSD 2023: 626-632 - Afrad Basheer, Yuan Feng, Christopher Ferrie, Sanjiang Li:
Alternating Layered Variational Quantum Circuits Can Be Classically Optimized Efficiently Using Classical Shadows. AAAI 2023: 6770-6778 - Augusto B. Corrêa, Clemens Büchner, Remo Christen:
Zero-Knowledge Proofs for Classical Planning Problems. AAAI 2023: 11955-11962 - Kailun Luo:
Automated Verification of Propositional Agent Abstraction for Classical Planning via CTLK Model Checking. AAAI 2023: 6475-6482 - Shahrokh Heidari, Patrice Delmas:
A Hybrid Quantum-Classical Segment-Based Stereo Matching Algorithm. ACIVS 2023: 1-13 - Behrad Taghibeyglou, Frank Rudzicz:
Who needs context? Classical techniques for Alzheimer's disease detection. ClinicalNLP@ACL 2023: 102-107 - Mateusz Baran, Joanna Baran, Mateusz Wójcik, Maciej Zieba, Adam Gonczarek:
Classical Out-of-Distribution Detection Methods Benchmark in Text Classification Tasks. ACL (student) 2023: 119-129 - Frederick Riemenschneider, Anette Frank:
Exploring Large Language Models for Classical Philology. ACL (1) 2023: 15181-15199
skipping 2,705 more matches
loading more results
failed to load more results, please try again later
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-25 08:38 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint