Остановите войну!
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 Symposium on Formal Methods (FM)
- International Workshop on Symbolic-Numeric Methods for Reachability Analysis (SNR)
also: International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR)
also: International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR)
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 637 matches
- 2024
- Duanduan Liu:
Mixed inference machine reading comprehension method based on symbolic logic. Intell. Syst. Appl. 21: 200307 (2024) - Gregor Behnke:
Symbolic Reasoning Methods for AI Planning. AAAI 2024: 22661 - Alina Geiger, Dominik Sobania, Franz Rothlauf:
A Comprehensive Comparison of Lexicase-Based Selection Methods for Symbolic Regression Problems. EuroGP 2024: 192-208 - Nour El Houda Fodil, Damien Olivier, Pierrick Tranouez:
Towards Better Motif Detection: Comparative Analysis of Several Symbolic Methods. ICPRAM 2024: 311-319 - Rrubaa Panchendrarajan, Arkaitz Zubiaga:
Synergizing Machine Learning & Symbolic Methods: A Survey on Hybrid Approaches to Natural Language Processing. CoRR abs/2401.11972 (2024) - Neisarg Dave, Daniel Kifer, C. Lee Giles, Ankur Mali:
Stability Analysis of Various Symbolic Rule Extraction Methods from Recurrent Neural Network. CoRR abs/2402.02627 (2024) - Dinh-Viet-Toan Le, Louis Bigo, Mikaela Keller, Dorien Herremans:
Natural Language Processing Methods for Symbolic Music Generation and Information Retrieval: a Survey. CoRR abs/2402.17467 (2024) - Taihei Oki, Yujin Song:
Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices. CoRR abs/2403.10260 (2024) - 2023
- Hongyan Zhang, Yu Zhou, Fu-Yun Li:
An Automatic Method for Generating Symbolic Expressions of Zernike Circular Polynomials. IEEE Access 11: 56481-56493 (2023) - Efthimios Providas, Ioannis Nestorios Parasidis:
A Symbolic Method for Solving a Class of Convolution-Type Volterra-Fredholm-Hammerstein Integro-Differential Equations under Nonlocal Boundary Conditions. Algorithms 16(1): 36 (2023) - Matteo Magnini, Giovanni Ciatto, Furkan Cantürk, Reyhan Aydogan, Andrea Omicini:
Symbolic knowledge extraction for explainable nutritional recommenders. Comput. Methods Programs Biomed. 235: 107536 (2023) - Joanna Olbrys, Natalia Komar:
Symbolic Encoding Methods with Entropy-Based Applications to Financial Time Series Analyses. Entropy 25(7): 1009 (2023) - Sibel Arslan, Nursah Kütük:
Symbolic regression with feature selection of dye biosorption from an aqueous solution using pumpkin seed husk using evolutionary computation-based automatic programming methods. Expert Syst. Appl. 231: 120676 (2023) - Federico Sabbatini, Giovanni Ciatto, Roberta Calegari, Andrea Omicini:
Towards a unified model for symbolic knowledge extraction with hypercube-based methods. Intelligenza Artificiale 17(1): 63-75 (2023) - Sara Baradaran, Mahdi Heidari, Ali Kamali, Maryam Mouzarani:
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. Int. J. Inf. Sec. 22(5): 1277-1290 (2023) - Michael C. Sachs, Gustav Jonzon, Arvid Sjölander, Erin E. Gabriel:
A General Method for Deriving Tight Symbolic Bounds on Causal Effects. J. Comput. Graph. Stat. 32(2): 567-576 (2023) - Raúl López-Rueda, Santiago Escobar, Julia Sapiña:
An efficient canonical narrowing implementation with irreducibility and SMT constraints for generic symbolic protocol analysis. J. Log. Algebraic Methods Program. 135: 100895 (2023) - Yu-Hao Wu, Hou-Biao Li:
RNNCTPs: A neural symbolic reasoning method using dynamic knowledge partitioning technology. Knowl. Based Syst. 268: 110481 (2023) - Dana Fisman, Hadar Frenkel, Sandra Zilles:
Inferring Symbolic Automata. Log. Methods Comput. Sci. 19(2) (2023) - Shoukry El-Ganaini, Sachin Kumar:
Symbolic computation to construct new soliton solutions and dynamical behaviors of various wave structures for two different extended and generalized nonlinear Schrödinger equations using the new improved modified generalized sub-ODE proposed method. Math. Comput. Simul. 208: 28-56 (2023) - William G. La Cava, Paul C. Lee, Imran Ajmal, Xiruo Ding, Priyanka Solanki, Jordana B. Cohen, Jason H. Moore, Daniel S. Herman:
A flexible symbolic regression method for constructing interpretable clinical prediction models. npj Digit. Medicine 6 (2023) - Anastasiya V. Demidova, Olga V. Druzhinina, Olga N. Masina, Alexey A. Petrov:
Development of Algorithms and Software for Modeling Controlled Dynamic Systems Using Symbolic Computations and Stochastic Methods. Program. Comput. Softw. 49(2): 108-121 (2023) - Dmitry V. Divakov, Anastasia A. Tiutiunnik:
Symbolic-Numerical Implementation of the Galerkin Method for Approximate Solution of the Waveguide Diffraction Problem. Program. Comput. Softw. 49(2): 100-107 (2023) - Xinye Chen, Stefan Güttel:
An Efficient Aggregation Method for the Symbolic Representation of Temporal Data. ACM Trans. Knowl. Discov. Data 17(1): 5:1-5:22 (2023) - Stefan Engels, Tom Peham, Robert Wille:
A Symbolic Design Method for ETCS Hybrid Level 3 at Different Degrees of Accuracy. ATMOS 2023: 6:1-6:17 - Pedro Strecht, João Mendes-Moreira, Carlos Soares:
Symbolic Data Analysis to Improve Completeness of Model Combination Methods. AI (2) 2023: 107-119 - Krzysztof Drachal:
Forecasting Commodities Prices with the Bayesian Symbolic Regression Compared to Other Methods. IEEE Big Data 2023: 3413-3421 - Bo Huang, Xiaoliang Li, Wei Niu, Shaofen Xie:
Stability and Zero-Hopf Bifurcation Analysis of the Lorenz-Stenflo System Using Symbolic Methods. CASC 2023: 183-198 - Evgenii V. Vorozhtsov:
A Symbolic-Numeric Method for Solving the Poisson Equation in Polar Coordinates. CASC 2023: 330-349 - Lívia Kelebercová, Natáliia Casnochova Zozuk:
Sentiment classification of annual reports in Slovak language using symbolic, subsymbolic and statistic methods. KES 2023: 3508-3516
skipping 607 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-05-13 09:48 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