Остановите войну!
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
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 222 matches
- 2024
- Akshay Kudva, Wei-Ting Tang, Joel A. Paulson:
Robust Bayesian optimization for flexibility analysis of expensive simulation-based models with rigorous uncertainty bounds. Comput. Chem. Eng. 181: 108515 (2024) - 2023
- Robert Fraczkiewicz, Marvin Waldman:
pK50─A Rigorous Indicator of Individual Functional Group Acidity/Basicity in Multiprotic Compounds. J. Chem. Inf. Model. 63(10): 3198-3208 (2023) - Jason Kurniawan, Takashi Ishida:
Comparing Supervised Learning and Rigorous Approach for Predicting Protein Stability upon Point Mutations in Difficult Targets. J. Chem. Inf. Model. 63(21): 6778-6788 (2023) - Shaoning Li, Guo Zhang, Xiufang Fan:
Rigorous Sensor Model of Gaofen-7 Satellite Laser Altimeter Based on Coupled Footprint Camera. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 16: 1815-1826 (2023) - Shuai Liu, Kai Tan, Pengjie Tao, Jianru Yang, Weiguo Zhang, Yanjun Wang:
Rigorous Density Correction Model for Single-Scan TLS Point Clouds. IEEE Trans. Geosci. Remote. Sens. 61: 1-18 (2023) - Yanhui Liu, Jun Fu:
Dynamic Event-Triggered Model Predictive Control With Guaranteed Rigorous Satisfaction of Probabilistic Path Constraints. IEEE Trans. Syst. Man Cybern. Syst. 53(12): 7681-7692 (2023) - Filip Mazurek, Arya Tschand, Yu Wang, Miroslav Pajic, Daniel J. Sorin:
Rigorous Evaluation of Computer Processors with Statistical Model Checking. MICRO 2023: 1242-1254 - Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, Lingming Zhang:
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation. NeurIPS 2023 - Peiyuan Liu, Jeremiah Blocki, Wenjie Bai:
Confident Monte Carlo: Rigorous Analysis of Guessing Curves for Probabilistic Password Models. SP 2023: 626-644 - Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, Lingming Zhang:
Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation of Large Language Models for Code Generation. CoRR abs/2305.01210 (2023) - Ivar Stefansson, Jhabriel Varela, Eirik Keilegavlen, Inga Berre:
Flexible and rigorous numerical modelling of multiphysics processes in fractured porous media using PorePy. CoRR abs/2308.04233 (2023) - Rafael Fresno-Aranda, Pablo Fernandez, Antonio Gamez-Diaz, Amador Durán, Antonio Ruiz Cortés:
Pricing4APIs: A Rigorous Model for RESTful API Pricings. CoRR abs/2311.12485 (2023) - Thomas P. Zollo, Todd Morrill, Zhun Deng, Jake C. Snell, Toniann Pitassi, Richard S. Zemel:
Prompt Risk Control: A Rigorous Framework for Responsible Deployment of Large Language Models. CoRR abs/2311.13628 (2023) - 2022
- Kanchan Aggarwal, Siddhartha Mukhopadhyay, Arun K. Tangirala:
Rigorous Predictive Noise Modeling Approach for Model-Based Onset Detection and Enhanced Picking of P-Waves in Seismic Signals. IEEE Access 10: 31084-31102 (2022) - Ibrahim Efe, Fatih Dikmen, Yury Tuchkin:
On an electrostatic micropump with a rigorous mathematical model. Turkish J. Electr. Eng. Comput. Sci. 30(3): 805-817 (2022) - Felix Brandt, Karoline Disser, Robert Haller-Dintelmann, Matthias Hieber:
Rigorous Analysis and Dynamics of Hibler's Sea Ice Model. J. Nonlinear Sci. 32(4): 50 (2022) - Yihao Wu, Xiufeng He, Jia Huang, Hongkai Shi, Haihong Wang, Yunlong Wu, Yuan Ding:
Comparison of Mean Dynamic Topography Modeling from Multivariate Objective Analysis and Rigorous Least Squares Method. Remote. Sens. 14(21): 5330 (2022) - Jiasheng Xu, Guoqing Zhou, Sikai Su, Qiaobo Cao, Zhou Tian:
The Development of A Rigorous Model for Bathymetric Mapping from Multispectral Satellite-Images. Remote. Sens. 14(10): 2495 (2022) - Haochen Zou, Kun Xiang:
A Novel Rigorous Measurement Model for Big Data Quality Characteristics. IEEE Big Data 2022: 2699-2708 - Khaoula Bouba, Abderrahim Ait Wakrime, Yassine Ouhammou, Rédouane Benaini:
Towards the Strengthening of Capella Modeling Semantics by Integrating Event-B: A Rigorous Model-Based Approach for Safety-Critical Systems. MEDI 2022: 119-132 - Hans-Peter de Koning:
Rigorous Modelling of Quantities for Model-Based Systems Engineering. MODELSWARD 2022: 9 - Maribeth Rauh, John Mellor, Jonathan Uesato, Po-Sen Huang, Johannes Welbl, Laura Weidinger, Sumanth Dathathri, Amelia Glaese, Geoffrey Irving, Iason Gabriel, William Isaac, Lisa Anne Hendricks:
Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models. NeurIPS 2022 - Nicolas Kardous, Amaury Hayat, Sean T. McQuade, Xiaoqian Gong, Sydney Truong, Tinhinane Mezair, Paige Arnold, Ryan Delorenzo, Alexandre M. Bayen, Benedetto Piccoli:
A rigorous multi-population multi-lane hybrid traffic model and its mean-field limit for dissipation of waves via autonomous vehicles. CoRR abs/2205.06913 (2022) - Maribeth Rauh, John Mellor, Jonathan Uesato, Po-Sen Huang, Johannes Welbl, Laura Weidinger, Sumanth Dathathri, Amelia Glaese, Geoffrey Irving, Iason Gabriel, William Isaac, Lisa Anne Hendricks:
Characteristics of Harmful Text: Towards Rigorous Benchmarking of Language Models. CoRR abs/2206.08325 (2022) - Shuang Liu, Li-Tien Cheng, Bo Li:
Cell Polarity and Movement with Reaction-Diffusion and Moving Boundary: Rigorous Modeling and Robust Simulations. CoRR abs/2208.05536 (2022) - Donato Clun, Donghwan Shin, Antonio Filieri, Domenico Bianculli:
Rigorous Assessment of Model Inference Accuracy using Language Cardinality. CoRR abs/2211.16587 (2022) - 2021
- Siham Khoussi:
Rigorous modeling and performance evaluation of networking systems. (Modélisation et vérification formelle des performances des systèmes de réseau). Grenoble Alpes University, France, 2021 - Quentin Rouland:
Rigorous development of secure architecture within the negative and positive statements: properties, models, analysis and tool support. (Développement rigoureux des architectures sécurisées dans les visions négative et positive: propriétés, modèles, analyse et outils support). Paul Sabatier University, Toulouse, France, 2021 - Diego del Alamo, Kevin L. Jagessar, Jens Meiler, Hassane S. Mchaourab:
Methodology for rigorous modeling of protein conformational changes by Rosetta using DEER distance restraints. PLoS Comput. Biol. 17(6) (2021) - Ryan G. Brazeal, Benjamin E. Wilkinson, Hartwig H. Hochmair:
A Rigorous Observation Model for the Risley Prism-Based Livox Mid-40 Lidar Sensor. Sensors 21(14): 4722 (2021)
skipping 192 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-26 11:01 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