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 168 matches
- 2024
- Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata:
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136: 100922 (2024) - Salvador Lucas:
Local confluence of conditional and generalized term rewriting systems. J. Log. Algebraic Methods Program. 136: 100926 (2024) - Abhijit Biswas, David I. Ketcheson, Benjamin Seibold, David Shirokoff:
Algebraic Structure of the Weak Stage Order Conditions for Runge-Kutta Methods. SIAM J. Numer. Anal. 62(1): 48-72 (2024) - A. S. Leonov:
Solving ill-conditioned linear algebraic systems using methods that improve conditioning. CoRR abs/2405.04399 (2024) - Austin Juhl, David Shirokoff:
Algebraic Conditions for Stability in Runge-Kutta Methods and Their Certification via Semidefinite Programming. CoRR abs/2405.13921 (2024) - Mohan Ren, Zhihao Fang, Keren Li, Anirbit Mukherjee:
Improving PINNs By Algebraic Inclusion of Boundary and Initial Conditions. CoRR abs/2407.20741 (2024) - 2023
- Matthias Barkowsky, Holger Giese:
Host-graph-sensitive RETE nets for incremental graph pattern matching with nested graph conditions. J. Log. Algebraic Methods Program. 131: 100841 (2023) - Sven Schneider, Leen Lambers:
Evaluation diversity for graph conditions. J. Log. Algebraic Methods Program. 133: 100862 (2023) - Pietro Sgobba:
Divisibility conditions on the order of the reductions of algebraic numbers. Math. Comput. 92(343): 2281-2305 (2023) - Tatsien Li, Bopeng Rao:
Algebraic Conditions to the Uniqueness Theorem for a Coupled System of Wave Equations. SIAM J. Control. Optim. 61(1): 135-150 (2023) - Lin Tie:
Controllability of Continuous-Time Bilinear Systems Without Using the Lie-Algebraic Conditions: A New Perspective. IEEE Trans. Autom. Control. 68(4): 2094-2108 (2023) - Hamin Chang, Stephan Trenn:
Design of Q-Filter-Based Disturbance Observer for Differential Algebraic Equations and a Robust Stability Condition: Zero Relative Degree Case. CDC 2023: 8489-8494 - Jorge Caravantes, Gema M. Diaz-Toca, Laureano González-Vega:
Avoiding the General Position Condition When Computing the Topology of a Real Algebraic Plane Curve Defined Implicitly. GSI (1) 2023: 465-473 - Jesse Heyninck:
An Algebraic Notion of Conditional Independence, and its Application to Knowledge Representation (Preliminary Report). NMR 2023: 64-73 - Emma Fu, Hayden Jananthan, Jeremy Kepner:
Algebraic Conditions on One-Step Breadth-First Search. CoRR abs/2311.03559 (2023) - 2022
- Arvo Kaldmäe:
Algebraic necessary and sufficient condition for difference flatness. Int. J. Control 95(9): 2307-2314 (2022) - Tomonori Kouya:
Acceleration of Multiple Precision Solver for Ill-Conditioned Algebraic Equations with Lower Precision Eigensolver. ICCSA (Workshops 2) 2022: 358-372 - Tomonori Kouya:
Acceleration of multiple precision solver for ill-conditioned algebraic equations with lower precision eigensolver. CoRR abs/2203.14530 (2022) - Abhijit Biswas, David I. Ketcheson, Benjamin Seibold, David Shirokoff:
Algebraic Structure of the Weak Stage Order Conditions for Runge-Kutta Methods. CoRR abs/2204.03603 (2022) - Vladimir Erokhin, Vitaly Kakaev, Andrey Kadochnikov, Sergey Sotnikov:
Sufficient Conditions for the Joined Set of Solutions of the Overdetermined Interval System of Linear Algebraic Equations Membership to Only One Orthant. CoRR abs/2206.09773 (2022) - Riccardo Bonalli, Clara Leparoux, Bruno Hérissé, Frédéric Jean:
On the Accessibility and Controllability of Statistical Linearization for Stochastic Control: Algebraic Rank Conditions and their Genericity. CoRR abs/2207.10944 (2022) - Eugen Bronasco:
Exotic B-series and S-series: algebraic structures and order conditions for invariant measure sampling. CoRR abs/2209.11046 (2022) - 2021
- Andrea Villa, Luca Barbieri, Roberto Malgesini, Giacomo Buccella:
Discretization of Poisson's equation in two domains with non algebraic interface conditions for plasma simulations. Appl. Math. Comput. 403: 126179 (2021) - Lihua Hu, Jifu Zhang, Xiaoming Li:
An Algebraic Proof of the Necessary and Sufficient Condition for a P3P Problem Having a Pair of Point-Sharing Solutions. J. Math. Imaging Vis. 63(9): 1179-1184 (2021) - Paul Égré, Lorenzo Rossi, Jan Sprenger:
De Finettian Logics of Indicative Conditionals Part II: Proof Theory and Algebraic Semantics. J. Philos. Log. 50(2): 215-247 (2021) - Duc Thach Son Vu, Ibtihel Ben Gharbia, Mounir Haddou, Quang-Huy Tran:
A new approach for solving nonlinear algebraic systems with complementarity conditions. Application to compositional multiphase equilibrium problems. Math. Comput. Simul. 190: 1243-1274 (2021) - Gilles Millérioux, Raphaël M. Jungers:
Characterization of flat outputs of switched linear discrete-time systems: Algebraic condition and algorithm. Syst. Control. Lett. 154: 104970 (2021) - Reza Mohsenipour, Panajotis Agathoklis:
Algebraic Necessary and Sufficient Conditions for Testing Stability of 2-D Linear Systems. IEEE Trans. Autom. Control. 66(4): 1825-1831 (2021) - Mohammad Saleh Tavazoei:
Coefficient-Based Classes of Algebraic Conditions to Construct Positive Real Rational Functions. IEEE Trans. Circuits Syst. II Express Briefs 68(7): 2374-2378 (2021) - Giulia De Pasquale, Maria Elena Valcher:
Algebraic and Graph-Theoretic Conditions for the Herdability of Linear Time-Invariant Systems. CDC 2021: 5826-5831
skipping 138 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-10-19 22:08 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