Остановите войну!
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
no matches
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 88 matches
- 2024
- Kanoy Kumar Das:
Equality of Ordinary and Symbolic Powers of Some Classes of Monomial Ideals. Graphs Comb. 40(1): 12 (2024) - Huynh T. T. Tran, Hieu T. Nguyen:
Modeling Power Systems Dynamics with Symbolic Physics-Informed Neural Networks. ISGT 2024: 1-5 - 2023
- Kseniya Grigor'eva:
Maps and Symbolic Power: Cartographic Discourse and the Rise of Spy Hysteria in the Russian Empire on the Eve of World War I. Cartogr. Int. J. Geogr. Inf. Geovisualization 58(1): 47-57 (2023) - Mousumi Mandal, Dipak Kumar Pradhan:
Properties of symbolic powers of edge ideals of weighted oriented graphs. Int. J. Algebra Comput. 33(5): 927-951 (2023) - Guowei Wu, Shipei Liu, Xiaoya Fan:
The Power of Fragmentation: A Hierarchical Transformer Model for Structural Segmentation in Symbolic Music Generation. IEEE ACM Trans. Audio Speech Lang. Process. 31: 1409-1420 (2023) - Qian Liu, Fan Zhou, Zhengbao Jiang, Longxu Dou, Min Lin:
From Zero to Hero: Examining the Power of Symbolic Tasks in Instruction Tuning. CoRR abs/2304.07995 (2023) - Richard Jiarui Tong, Cassie Chen Cao, Timothy Xueqian Lee, Guodong Zhao, Ray Wan, Feiyue Wang, Xiangen Hu, Robin Schmucker, Jinsheng Pan, Julian Quevedo, Yu Lu:
NEOLAF, an LLM-powered neural-symbolic cognitive architecture. CoRR abs/2308.03990 (2023) - Huynh T. T. Tran, Hieu T. Nguyen:
Modeling Power Systems Dynamics with Symbolic Physics-Informed Neural Networks. CoRR abs/2311.06580 (2023) - Deaglan J. Bartlett, Lukas Kammerer, Gabriel Kronberger, Harry Desmond, Pedro G. Ferreira, Benjamin D. Wandelt, Bogdan Burlacu, David Alonso, Matteo Zennaro:
A precise symbolic emulator of the linear matter power spectrum. CoRR abs/2311.15865 (2023) - 2022
- Nguyên Quang Lôc, Nguyên Công Minh, Phan Thi Thuy:
Extremal Betti numbers of symbolic powers of two-dimensional squarefree monomial ideals. Int. J. Algebra Comput. 32(5): 1043-1069 (2022) - Nguyên Công Minh, Le Dinh Nam, Thieu Dinh Phong, Phan Thi Thuy, Thanh Vu:
Comparison between regularity of small symbolic powers and ordinary powers of an edge ideal. J. Comb. Theory, Ser. A 190: 105621 (2022) - Bertrand Teguia Tabuguia, Wolfram Koepf:
Symbolic Conversion of Holonomic Functions to Hypergeometric Type Power Series. Program. Comput. Softw. 48(2): 125-146 (2022) - Stephen Powers, Joshua Smith, Carlo Pinciroli:
Extracting Symbolic Models of Collective Behaviors with Graph Neural Networks and Macro-Micro Evolution. ANTS Conference 2022: 142-154 - Subhash Sethumurugan, Shashank Hegde, Hari Cherupalli, John Sartori:
A scalable symbolic simulation tool for low power embedded systems. DAC 2022: 175-180 - Bernd Finkbeiner, Kaushik Mallik, Noemi Passing, Malte Schledjewski, Anne-Kathrin Schmuck:
BOCoSy: Small but Powerful Symbolic Output-Feedback Control. HSCC 2022: 24:1-24:11 - Sooyoung Cha, Myungho Lee, Seokhyun Lee, Hakjoo Oh:
SYMTUNER: Maximizing the Power of Symbolic Execution by Adaptively Tuning External Parameters. ICSE 2022: 2068-2079 - Theofanis I. Aravanis, Ioannis Kabouris:
A Neuro-Symbolic Approach for Fault Diagnosis in Smart Power Grids. PCI 2022: 90-95 - Martin Steiger, Hans Georg Brachtendorf, Gabriel Kronberger:
Identification of Discrete Non-Linear Dynamics of a Radio-Frequency Power Amplifier Circuit using Symbolic Regression. SYNASC 2022: 297-303 - Yejin Choi:
Knowledge is Power: Symbolic Knowledge Distillation, Commonsense Morality, & Multimodal Script Knowledge. WSDM 2022: 3 - Fangxing Li:
Data for paper "Hybrid Symbolic-Numeric Library for Power System Modeling and Analysis". IEEE DataPort, 2022 - Stephen Powers, Carlo Pinciroli:
Extracting Symbolic Models of Collective Behaviors with Graph Neural Networks and Macro-Micro Evolution. CoRR abs/2205.00614 (2022) - Guowei Wu, Shipei Liu, Xiaoya Fan:
The Power of Reuse: A Multi-Scale Transformer Model for Structural Dynamic Segmentation in Symbolic Music Generation. CoRR abs/2205.08579 (2022) - Marcus Märtens, Dario Izzo:
Symbolic Regression for Space Applications: Differentiable Cartesian Genetic Programming Powered by Multi-objective Memetic Algorithms. CoRR abs/2206.06213 (2022) - 2021
- Yan Gu, Huy Tài Hà, Joseph W. Skelton:
Symbolic powers of cover ideals of graphs and Koszul property. Int. J. Algebra Comput. 31(5): 865-881 (2021) - Mousumi Mandal, Dipak Kumar Pradhan:
Symbolic powers in weighted oriented graphs. Int. J. Algebra Comput. 31(3): 533-549 (2021) - Shashank Hegde, Subhash Sethumurugan, Hari Cherupalli, Henry Duwe, John Sartori:
Constrained Conservative State Symbolic Co-analysis for Ultra-low-power Embedded Systems. ASP-DAC 2021: 318-324 - Bertrand Teguia Tabuguia, Wolfram Koepf:
Symbolic computation of hypergeometric type and non-holonomic power series. CoRR abs/2102.04157 (2021) - 2020
- Charlie Jacomme:
Preuves de protocoles cryptographiques : méthodes symboliques et attaquants puissants. (Proofs of security protocols : symbolic methods and powerful attackers). University of Paris-Saclay, France, 2020 - Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos:
Constructing orthogonal designs in powers of two via symbolic computation and rewriting techniques. Ann. Math. Artif. Intell. 88(1-3): 213-236 (2020) - S. Selvaraja:
Symbolic powers of vertex cover ideals. Int. J. Algebra Comput. 30(06): 1167-1183 (2020)
skipping 58 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-03-29 09:10 CET 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