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 63 matches
- 2024
- Wei Xiong, Xiaomeng Huang, Ziyang Zhang, Ruixuan Deng, Pei Sun, Yang Tian:
Koopman neural operator as a mesh-free solver of non-linear partial differential equations. J. Comput. Phys. 513: 113194 (2024) - Kasia Swirydowicz, Nicholson Koukpaizan, Maksudul Alam, Shaked Regev, Michael A. Saunders, Slaven Peles:
Iterative Methods in GPU-Resident Linear Solvers for Nonlinear Constrained Optimization. CoRR abs/2401.13926 (2024) - 2023
- Abhilash Awasthi, Moirangthem Dinachandra, Puneet Mahajan, Ashish Suri, Sitikantha Roy:
MatNLI: An open-source MATLAB-based solver for the non-linear inversion in elastography. Adv. Eng. Softw. 181: 103476 (2023) - Petr N. Vabishchevich:
Nonlinear approximation of functions based on nonnegative least squares solver. Numer. Linear Algebra Appl. 30(6) (2023) - Dario Guidotti, Laura Pandolfo, Luca Pulina:
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report. ICTAI 2023: 423-428 - Pratik Nayak, Hartwig Anzt:
Utilizing batched solver ideas for efficient solution of non-batched linear systems. IPDPS Workshops 2023: 662-665 - Wei Xiong, Xiaomeng Huang, Ziyang Zhang, Ruixuan Deng, Pei Sun, Yang Tian:
Koopman neural operator as a mesh-free solver of non-linear partial differential equations. CoRR abs/2301.10022 (2023) - Sudhi Sharma, Pierre Jolivet, Victorita Dolean, Abhijit Sarkar:
Multilevel Scalable Solvers for Stochastic Linear and Nonlinear Problems. CoRR abs/2310.14649 (2023) - 2022
- AmirHosein Sadeghimanesh, Matthew England:
An SMT solver for non-linear real arithmetic inside maple. ACM Commun. Comput. Algebra 56(2): 76-79 (2022) - Jirô Akahori, Yui Furuichi, Kaori Okuma:
Higher-order deep solver of non-linear PDEs implied by a non-linear discrete Clark-Ocone formula. JSIAM Lett. 14: 9-12 (2022) - Vladimir Fanaskov:
Gaussian Belief Propagation Solvers for Nonsymmetric Systems of Linear Equations. SIAM J. Sci. Comput. 44(1): 77- (2022) - Yehonatan Fridman, Yaniv Snir, Harel Levin, Danny Hendler, Hagit Attiya, Gal Oren:
Recovery of Distributed Iterative Solvers for Linear Systems Using Non-Volatile RAM. FTXS@SC 2022: 11-23 - Pawel Maczuga, Maciej Paszynski, Victor M. Calo:
Linear Computational Cost Implicit Variational Splitting Solver with Non-regular Material Data for Parabolic Problems. ICCS (1) 2022: 132-138 - Ferenc Tolner, Balázs Barta, György Eigner:
Comparison of Newton's and Broyden's Method as Nonlinear Solver in the Implementation of MFV-robustified Linear Regression. SMC 2022: 1518-1523 - 2021
- Alexander Haberl, Dirk Praetorius, Stefan Schimanko, Martin Vohralík:
Convergence and quasi-optimal cost of adaptive algorithms for nonlinear operators including iterative linearization and algebraic solver. Numerische Mathematik 147(3): 679-725 (2021) - Michael Mara, Felix Heide, Michael Zollhöfer, Matthias Nießner, Pat Hanrahan:
Thallo - Scheduling for High-Performance Large-Scale Non-Linear Least-Squares Solvers. ACM Trans. Graph. 40(5): 184:1-184:14 (2021) - F. M. Watson, Michael G. Crabb, William R. B. Lionheart:
A polarization tensor approximation for the Hessian in iterative solvers for non-linear inverse problems. CoRR abs/2104.08870 (2021) - 2020
- Hanyu Li, Wing Tat Leung, Mary F. Wheeler:
Sequential local mesh refinement solver with separate temporal and spatial adaptivity for non-linear two-phase flow problems. J. Comput. Phys. 403 (2020) - Georg S. Reuber, Lukas Holbach, Ludovic Räss:
Adjoint-based inversion for porosity in shallow reservoirs using pseudo-transient solvers for non-linear hydro-mechanical processes. J. Comput. Phys. 423: 109797 (2020) - Christopher W. Brown, Fernando Vale-Enriquez:
From simplification to a partial theory solver for non-linear real polynomial constraints. J. Symb. Comput. 100: 72-101 (2020) - Alexander Haberl, Dirk Praetorius, Stefan Schimanko, Martin Vohralík:
Convergence and quasi-optimal cost of adaptive algorithms for nonlinear operators including iterative linearization and algebraic solver. CoRR abs/2004.13137 (2020) - 2019
- Pranjal, David J. Silvester:
Balanced Iterative Solvers for Linear Nonsymmetric Systems and Nonlinear Systems with PDE Origins: Efficient Black-Box Stopping Criteria. J. Sci. Comput. 81(1): 271-290 (2019) - 2018
- Thomas Führer, Dirk Praetorius:
A linear Uzawa-type FEM-BEM solver for nonlinear transmission problems. Comput. Math. Appl. 75(8): 2678-2697 (2018) - Clemens Pechstein, Stefan Reitzinger:
A nonlinear eigenmode solver for linear viscoelastic structures. Comput. Vis. Sci. 19(5-6): 77-89 (2018) - Luisa Carracciuolo, Marco Lapegna:
Implementation of a non-linear solver on heterogeneous architectures. Concurr. Comput. Pract. Exp. 30(24) (2018) - Adrien Champion, Naoki Kobayashi, Ryosuke Sato:
HoIce: An ICE-Based Non-linear Horn Clause Solver. APLAS 2018: 146-156 - 2017
- Adam Stahl, Matt Landreman, O. Embréus, Tünde Fülöp:
NORSE: A solver for the relativistic non-linear Fokker-Planck equation for electrons in a homogeneous plasma. Comput. Phys. Commun. 212: 269-279 (2017) - 2016
- Maciej Wozniak, Maciej Smolka, Adriano M. A. Côrtes, Maciej Paszynski, Robert Schaefer:
Scalability of Direct Solver for Non-stationary Cahn-hilliard Simulations with Linearized Time Integration Scheme. ICCS 2016: 834-844 - Bishoksan Kafle, John P. Gallagher, Pierre Ganty:
Solving non-linear Horn clauses using a linear Horn clause solver. HCVS@ETAPS 2016: 33-48 - 2015
- H. Frerichs, D. Reiter:
Stability and control of iterated non-linear transport solvers for fusion edge plasmas. Comput. Phys. Commun. 188: 82-87 (2015)
skipping 33 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-09-23 17:20 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