Остановите войну!
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 504 matches
- 2024
- Nicolas Barral, Tommaso Taddei, Ishak Tifouti:
Registration-based model reduction of parameterized PDEs with spatio-parameter adaptivity. J. Comput. Phys. 499: 112727 (2024) - Divyanjali Sharma, Subodh Sharma:
Parameterized Static Analysis for Weak Memory Models. ISEC 2024: 25:1-25:4 - Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman:
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) 2024: 187-209 - Jules Berman, Benjamin Peherstorfer:
CoLoRA: Continuous low-rank adaptation for reduced implicit neural modeling of parameterized partial differential equations. CoRR abs/2402.14646 (2024) - Alessandro Cimatti, Alberto Griggio, Gianluca Redondi:
Towards the verification of a generic interlocking logic: Dafny meets parameterized model checking. CoRR abs/2403.00087 (2024) - Erwan Mahe, Boutheina Bannour, Christophe Gaston, Arnault Lapitre, Pascale Le Gall:
Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation. CoRR abs/2403.03083 (2024) - 2023
- Gennaro Cordasco, Luisa Gargano, Adele A. Rescigno:
Immunization in the Threshold Model: A Parameterized Complexity Study. Algorithmica 85(11): 3376-3405 (2023) - Xiangyu Jia, Shuo Li:
Parameterized Reachability Graph for Software Model Checking Based on PDNet. Comput. Informatics 42(4): 781-804 (2023) - Guanyu Hu, Ming-Hui Chen, Nalini Ravishanker:
Bayesian analysis of spherically parameterized dynamic multivariate stochastic volatility models. Comput. Stat. 38(2): 845-869 (2023) - Shijian Luo, Zhitong Cui, Jiancheng Gu, Ting Chen, Chengyi Shen, Yang Lu, Yanan Wang, Preben Hansen:
RoamFab: A Design Tool for Reconfiguring Parameterized Mechanisms to 3D Models With Structural Optimization. Int. J. Hum. Comput. Interact. 39(19): 3702-3716 (2023) - Xiao-Feng He, Liang Li, Stéphane Lanteri, Kun Li:
Model order reduction for parameterized electromagnetic problems using matrix decomposition and deep neural networks. J. Comput. Appl. Math. 431: 115271 (2023) - Yifan Lin, Zhen Gao, Yuanhong Chen, Xiang Sun:
A Dynamic Mode Decomposition Based Reduced-Order Model For Parameterized Time-Dependent Partial Differential Equations. J. Sci. Comput. 95(3): 70 (2023) - Igor Konnov, Marijana Lazic, Ilina Stoilkovska, Josef Widder:
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker. Log. Methods Comput. Sci. 19(1) (2023) - Chanseok Lee, Gookho Song, Hyeonggeon Kim, Jong Chul Ye, Mooseok Jang:
Deep learning based on parameterized physical forward model for adaptive holographic imaging with unpaired data. Nat. Mac. Intell. 5(1): 35-45 (2023) - Kun Zhang, Ning Chen, Jian Liu, Shaohui Yin, Michael Beer:
An efficient meta-model-based method for uncertainty propagation problems involving non-parameterized probability-boxes. Reliab. Eng. Syst. Saf. 238: 109477 (2023) - Stefan A. Lohner, Steffen Nothelfer, Alwin Kienle:
Generic and Model-Based Calibration Method for Spatial Frequency Domain Imaging with Parameterized Frequency and Intensity Correction. Sensors 23(18): 7888 (2023) - Yu Wang, Guodong Jin, Chen Song, Yu Wang, Pingping Lu, Shengliang Han, Jiming Lv, Ying Zhang, Di Wu, Daiyin Zhu:
Parameterized and Large-Dynamic-Range 2-D Precise Controllable SAR Jamming: Characterization, Modeling, and Analysis. IEEE Trans. Geosci. Remote. Sens. 61: 1-16 (2023) - Naouel Haggui, Wassim Hamidouche, Fatma Belghith, Nouri Masmoudi, Jean-François Nezan:
OpenVVC Decoder Parameterized and Interfaced Synchronous Dataflow (PiSDF) Model: Tile Based Parallelism. J. Signal Process. Syst. 95(7): 895-907 (2023) - Zenan Ling, Xingyu Xie, Qiuhao Wang, Zongpeng Zhang, Zhouchen Lin:
Global Convergence of Over-parameterized Deep Equilibrium Models. AISTATS 2023: 767-787 - Yuan Dai, Yunhui Qiu, Qilong Zhu, Jingyuan Li, Wenbo Yin, Lingli Wang:
UPTRA: An Ultra-Parameterized Temporal CGRA Modeling and Optimization. FCCM 2023: 208 - Yixuan Chen, Yubin Shi, Mingzhi Dong, Xiaochen Yang, Dongsheng Li, Yujiang Wang, Robert P. Dick, Qin Lv, Yingying Zhao, Fan Yang, Ning Gu, Li Shang:
Over-parameterized Model Optimization with Polyak-Łojasiewicz Condition. ICLR 2023 - Christopher M. Bender, Yifeng Shi, Marc Niethammer, Junier Oliva:
Continuously Parameterized Mixture Models. ICML 2023: 2050-2062 - Can Ulas Dogruer:
Model Predictive Control Parameterized in Terms of Orthogonal Polynomials. ICSC 2023: 499-505 - Michael Arbel, Romain Menegaux, Pierre Wolinski:
Rethinking Gauss-Newton for learning over-parameterized models. NeurIPS 2023 - Leonardo Galli, Holger Rauhut, Mark Schmidt:
Don't be so Monotone: Relaxing Stochastic Line Search in Over-Parameterized Models. NeurIPS 2023 - Yubin Shi, Yixuan Chen, Mingzhi Dong, Xiaochen Yang, Dongsheng Li, Yujiang Wang, Robert P. Dick, Qin Lv, Yingying Zhao, Fan Yang, Tun Lu, Ning Gu, Li Shang:
Train Faster, Perform Better: Modular Adaptive Training in Over-Parameterized Models. NeurIPS 2023 - Hermes Sampedro Llopis, Cheol-Ho Jeong, Allan P. Engsig-Karup:
Reduced order modelling using parameterized non-uniform boundary conditions in room acoustic simulations. CoRR abs/2301.13634 (2023) - Michael Arbel:
Rethinking Gauss-Newton for learning over-parameterized models. CoRR abs/2302.02904 (2023) - Yongjie Yang:
On the Parameterized Complexity of Controlling Approval-Based Multiwinner Voting: Destructive Model & Sequential Rules. CoRR abs/2304.11927 (2023) - Returaj Burnwal, Anirban Santara, Nirav P. Bhatt, Balaraman Ravindran, Gaurav Aggarwal:
GAN-MPC: Training Model Predictive Controllers with Parameterized Cost Functions using Demonstrations from Non-identical Experts. CoRR abs/2305.19111 (2023)
skipping 474 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 08:22 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