Остановите войну!
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 559 matches
- 2024
- He Yang:
Exact Controllability of Abstract Fractional Evolution Systems. J. Optim. Theory Appl. 200(3): 1239-1254 (2024) - Assaf Libman, Nir Oren, Bruno Yun:
Abstract Weighted Based Gradual Semantics in Argumentation Theory. CoRR abs/2401.11472 (2024) - 2023
- Baozhu Yu, Wei Liu, Xuefen Chi:
Bandwidth abstraction with the end-to-end latency-bounded reliability provisioning based on martingale theory. Comput. Commun. 210: 79-89 (2023) - Michelangelo Bin, Thomas Parisini:
A Small-Gain Theory for Abstract Systems on Topological Spaces. IEEE Trans. Autom. Control. 68(8): 4494-4507 (2023) - Jorge Fandinno, Luis Fariñas del Cerro:
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. 23(2): 444-467 (2023) - Emanuel Sallinger:
Knowledge Graphs in Action: from Theory to Systems and Real-world Applications (Abstract). AMW 2023 - Alicia G. Cork, Adam N. Joinson, Laura G. E. Smith, David A. Ellis, Danaë Stanton Fraser:
Motivations for Collecting Digital NFT Fashion: A Uses and Gratifications Theory Approach for Understanding Digital NFT Fashion Collectors' Behavior. CHI Extended Abstracts 2023: 212:1-212:7 - Azadeh Naderi, Donghee Yvette Wohn:
User engagement behaviors: Exploring predictors of ARMY's active and passive media usage behaviors using social cognitive theory. CHI Extended Abstracts 2023: 305:1-305:7 - Kim Sauvé, Hans Brombacher, Rosa van Koningsbruggen, Annemiek Veldhuis, Steven Houben, Jason Alexander:
Physicalization from Theory to Practice: Exploring Physicalization Design across Domains. CHI Extended Abstracts 2023: 360:1-360:7 - Tong Yu:
Another Recipe App: A Design Case with Motive Disposition Theory. CHI Extended Abstracts 2023: 37:1-37:7 - Ananth Hari, Uzi Vishkin:
Empirical Challenge for NC Theory (Abstract). HOPC@SPAA 2023: 19-20 - David Fairbairn:
Multi-Agent Path-Finding and Algorithmic Graph Theory (Student Abstract). SOCS 2023: 190-191 - Tim S. Lyon, Piotr Ostropolski-Nalewaja:
Foundations for an Abstract Proof Theory in the Context of Horn Rules. CoRR abs/2304.05697 (2023) - 2022
- Daniel Kirchner:
Abstract Object Theory. Arch. Formal Proofs 2022 (2022) - João Xavier da Cruz Neto, Jurandir O. Lopes, Antoine Soubeyran, João Carlos de Oliveira Souza:
Abstract regularized equilibria: application to Becker's household behavior theory. Ann. Oper. Res. 316(2): 1279-1300 (2022) - Gabriel Bittencourt Rios, Daniel de Almeida Souza, Darllan Coneição Pinto, Hugo Luiz Mariano:
Connecting abstract logics and adjunctions in the theory of (π-) institutions: Some theoretical remarks and applications. FLAP 9(1): 445-494 (2022) - Leonardo Nagami Coregliano:
On the abstract chromatic number and its computability for finitely axiomatizable theories. J. Comb. Theory, Ser. B 154: 175-210 (2022) - B. Radhakrishnan, T. Sathya:
Controllability of Hilfer Fractional Langevin Dynamical System with Impulse in an Abstract Weighted Space. J. Optim. Theory Appl. 195(1): 265-281 (2022) - Fabiola Roxana Villanueva, Valeriano Antunes de Oliveira:
Necessary Optimality Conditions for Interval Optimization Problems with Functional and Abstract Constraints. J. Optim. Theory Appl. 194(3): 896-923 (2022) - Yotam M. Y. Feldman, Mooly Sagiv, Sharon Shoham, James R. Wilcox:
Property-directed reachability as abstract interpretation in the monotone theory. Proc. ACM Program. Lang. 6(POPL): 1-31 (2022) - Robert Wu, Nayan Saxena, Rohan Jain:
NeuralArTS: Structuring Neural Architecture Search with Type Theory (Student Abstract). AAAI 2022: 13085-13086 - Nick Ballou, Sebastian Deterding, April Tyack, Elisa D. Mekler, Rafael A. Calvo, Dorian Peters, Gabriela Villalobos-Zúñiga, Selen Turkay:
Self-Determination Theory in HCI: Shaping a Research Agenda. CHI Extended Abstracts 2022: 113:1-113:6 - Tom Cole, Marco Gillies:
More than a bit of coding: (un-)Grounded (non-)Theory in HCI. CHI Extended Abstracts 2022: 11:1-11:11 - Laura Giordano, Alberto Martelli, Daniele Theseider Dupré:
Reasoning about Actions with EL Ontologies in a Temporal Action Theory (Extended Abstract). Description Logics 2022 - Emre Erdogan, Frank Dignum, Rineke Verbrugge, Pinar Yolum:
Abstracting Minds: Computational Theory of Mind for Human-Agent Collaboration. HHAI 2022: 199-211 - David Abel:
A Theory of Abstraction in Reinforcement Learning. CoRR abs/2203.00397 (2022) - Min Zhang, Hongyao Tang, Jianye Hao, Yan Zheng:
Towards A Unified Policy Abstraction Theory and Representation Learning Approach in Markov Decision Processes. CoRR abs/2209.07696 (2022) - 2021
- Sandra Danilovic, Alex J. de Voogt:
Making Sense of Abstract Board Games: Toward a Cross-Ludic Theory. Games Cult. 16(5): 499-518 (2021) - Christian Elbracht, Jakob Kneip, Maximilian Teegen:
Trees of tangles in abstract separation systems. J. Comb. Theory, Ser. A 180: 105425 (2021) - Felix G. Hamza-Lup, Ioana R. Goldbach:
Multimodal, visuo-haptic games for abstract theory instruction: grabbing charged particles. J. Multimodal User Interfaces 15(1): 1-10 (2021)
skipping 529 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 14:58 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