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 147 matches
- 2024
- Audun Gullikstad Hem, Edmund Førland Brekke:
Validation of Automatic Identification System Information With Exteroceptive Sensor Fusion for Unmanned Marine Operations. IEEE Intell. Transp. Syst. Mag. 16(5): 6-16 (2024) - Yinghao Shao, Jian Sun, Yuheng Kan, Ye Tian:
Operation of dedicated lanes with intermittent priority on highways: conceptual development and simulation validation. J. Intell. Transp. Syst. 28(1): 69-83 (2024) - Sami Alkadri, Rolando F. Del Maestro, Mark Driscoll:
Face, content, and construct validity of a novel VR/AR surgical simulator of a minimally invasive spine operation. Medical Biol. Eng. Comput. 62(6): 1887-1897 (2024) - Mehdi Ganjkhani, Luis Rodriguez-Garcia, Majid Majidi, Hollis Belnap, Mohammad Mehdi Hosseini, Mohammed Masum Siraj Khan, Jairo Giraldo, Masood Parvania:
Intelligent Hierarchical Resilient Operation of Distribution Systems: Implementation and Validation in a Power Hardware-in-the-Loop Simulation Testbed. ISGT 2024: 1-5 - Ankit Agrawal, Bohan Zhang, Yashaswini Shivalingaiah, Michael Vierhauser, Jane Cleland-Huang:
A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles. Software Engineering 2024: 75-76 - Dong Jae Kim, Steven Locke, Tse-Hsun (Peter) Chen, Andrei Toma, Sarah Sajedi, Steve Sporea, Laura Weinkam:
Decoding Anomalies! Unraveling Operational Challenges in Human-in-the-Loop Anomaly Validation. SIGSOFT FSE Companion 2024: 382-387 - Anton Dimov Hristozov:
Fast and Secure Mission Description, Validation and Deployment for Safety-Critical Operations. SysCon 2024: 1-8 - Muyuan Shen, Jie Zhang, Hao Yin, Sumit Roy, Yayu Gao:
Delay in Multi-Link Operation in ns-3: Validation and Impact of Traffic Splitting. WNS3 2024: 19-26 - 2023
- Milad Poursoltan:
Methodological and operational framework for the validation and improvement of Cyber-Physical and Human Systems based on modelling and simulation. (Cadre méthodologique et opérationnel pour l'apprentissage, la validation et l'amélioration des Systèmes Cyber-Physiques et Humains basé sur la modélisation et la simulation). University of Bordeaux, France, 2023 - Mohsen Malayjerdi, Quentin Goss, Mustafa Ilhan Akbas, Raivo Sell, Mauro Bellone:
A Two-Layered Approach for the Validation of an Operational Autonomous Shuttle. IEEE Access 11: 89124-89137 (2023) - Johannes Härtel, Ralf Lämmel:
Operationalizing validity of empirical software engineering studies. Empir. Softw. Eng. 28(6): 153 (2023) - Xiaojun Zhao, Pengshuo Bai, Chunjiang Zhang, Zhide Zhao, Xiaohuan Wang, Xiaoqiang Guo:
Analysis and validations of operation behaviors for dual active bridge-based unified power quality conditioner under different working conditions. Int. J. Circuit Theory Appl. 51(2): 541-556 (2023) - Heman Shamachurn, Sayed Z. Sayed Hassen:
Development of control-oriented models for a building under regular heating, ventilation and air-conditioning operation - a comparative simulation study and an experimental validation. Int. J. Model. Identif. Control. 42(1): 83-104 (2023) - Elodie Da Silva, Emma R. Woolliams, Nicolas Picot, Jean-Christophe Poisson, Henriette Skourup, Geir Moholdt, Sara Fleury, Sajedeh Behnia, Vincent Favier, Laurent Arnaud, Jérémie Aublanc, Valentin Fouqueau, Nicolas Taburet, Julien Renou, Hervé Yésou, Angelica Tarpanelli, Stefania Camici, Renée Mie Fredensborg Hansen, Karina Nielsen, Frédéric Vivier, François Boy, Roger Fjørtoft, Mathilde Cancet, Ramiro Ferrari, Ghislain Picard, Mohammad J. Tourian, Nicolaas Sneeuw, Eric Munesa, Michel Calzas, Adrien Paris, Emmanuel Le Meur, Antoine Rabatel, Guillaume Valladeau, Pascal Bonnefond, Sylvie Labroue, Ole B. Andersen, Mahmoud El Hajj, Filomena Catapano, Pierre Féménias:
Towards Operational Fiducial Reference Measurement (FRM) Data for the Calibration and Validation of the Sentinel-3 Surface Topography Mission over Inland Waters, Sea Ice, and Land Ice. Remote. Sens. 15(19): 4826 (2023) - Le Yang, Lei Shi, Weidong Sun, Jie Yang, Pingxiang Li, Deren Li, Shanwei Liu, Lingli Zhao:
Radiometric and Polarimetric Quality Validation of Gaofen-3 over a Five-Year Operation Period. Remote. Sens. 15(6): 1605 (2023) - Gabriele Biagini, Stefano Cuomo, Maria Ranieri:
Developing and Validating a Multidimensional AI Literacy Questionnaire: Operationalizing AI Literacy for Higher Education. AIxEDU@AI*IA 2023 - Silabrata Pahari, Juhyeon Kim, Mairui Zhang, Anqi Ji, Chang Geun Yoo, Joseph Sang-Il Kwon:
Multiscale modeling, experimental validation, and optimal operation for a batch pulp digester with a novel solvent. ACC 2023: 3448-3453 - Ankit Agrawal, Bohan Zhang, Yashaswini Shivalingaiah, Michael Vierhauser, Jane Cleland-Huang:
A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles. RE 2023: 29-40 - Ankit Agrawal, Bohan Zhang, Yashaswini Shivalingaiah, Michael Vierhauser, Jane Cleland-Huang:
A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles. CoRR abs/2307.00194 (2023) - 2022
- Felix Batsch, Stratis Kanarachos, Madeline Cheah, Roberto Ponticelli, Mike Blundell:
A taxonomy of validation strategies to ensure the safe operation of highly automated vehicles. J. Intell. Transp. Syst. 26(1): 14-33 (2022) - Hajer Marzougui, Ameni Kadri, Jean-Philippe Martin, Serge Pierfederici, Faouzi Bacha:
Fuel-cell Supercapacitor Hybrid System for Vehicular Application: Control, Operation and Experimental Validation. CoDIT 2022: 1409-1414 - Juan León Murillo, Marco Antonio Sotelo Monge, Víctor A. Villagrá:
Design of a Validation Model of the Cognitive State in Military Operations in Cyberspace. CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS 2022: 466-481 - Dennis D. Langer, Elizabeth Frances Prentice, Tor Arne Johansen, Asgeir J. Sørensen:
Validation of Hyperspectral Camera Operation with an Experimental Aircraft. IGARSS 2022: 7256-7259 - Evangelos Moschos, Alexandre Stegner, Briac Le Vu, Olivier Schwander:
Real-Time Validation of Operational Ocean Models Via Eddy-Decting Deep Neural Networks. IGARSS 2022: 8008-8011 - Jukka Junttila, Anssi Sillanpää, Ville Lämsä:
Validation of Simulated Mechanical Vibration Data for Operational State Recognition System. IRI 2022: 138-143 - Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri:
Formal Design and Validation of an Automatic Train Operation Control System. RSSRail 2022: 169-178 - Gregory Stock, Juan A. Fraire, Holger Hermanns, Eduardo Cruz, Alastair Isaacs, Zhana Imbrosh:
On the Automation, Optimization, and In-Orbit Validation of Intelligent Satellite Constellation Operations. CoRR abs/2210.11171 (2022) - 2021
- Kaouter Karboub, Mohamed Tabaa, Sofiène Dellagi, Fabrice Monteiro, Abbas Dandache, Fouad Moutaouakkil:
Modeling and Validation of the Hospital's Ambulatory and Inpatients Operations Using a Non-Homogenous Discrete Time Markovian Chains. IEEE Access 9: 103044-103055 (2021) - Bagher Bayat, Fernando Camacho, Jaime E. Nickeson, Michael H. Cosh, John D. Bolten, Harry Vereecken, Carsten Montzka:
Toward operational validation systems for global satellite-based terrestrial essential climate variables. Int. J. Appl. Earth Obs. Geoinformation 95: 102240 (2021) - Soonhyeong Jeong, Byeongtae Ahn:
A study of universal zero-knowledge proof circuit-based virtual machines that validate general operations & reduce transaction validation. Comput. Sci. Inf. Syst. 18(2): 481-497 (2021)
skipping 117 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-26 06:40 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