Остановите войну!
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 29 matches
- 2023
- Yanqiang Han, Zhilong Wang, An Chen, Imran Ali, Junfei Cai, Simin Ye, Zhiyun Wei, Jin-Jin Li:
A deep transfer learning-based protocol accelerates full quantum mechanics calculation of protein. Briefings Bioinform. 24(1) (2023) - 2022
- Christopher Yew Shuen Ang, Jay Wing Wai Lee, Yeong Shiong Chiew, Xin Wang, Chee Pin Tan, Matthew E. Cove, Mohd Basri Mat Nor, Cong Zhou, Thomas Desaive, J. Geoffrey Chase:
Virtual patient framework for the testing of mechanical ventilation airway pressure and flow settings protocol. Comput. Methods Programs Biomed. 226: 107146 (2022) - Jay Wing Wai Lee, Yeong Shiong Chiew, Xin Wang, Chee Pin Tan, Mohd Basri Mat Nor, Matthew E. Cove, Nor Salwa Damanhuri, J. Geoffrey Chase:
Protocol conception for safe selection of mechanical ventilation settings for respiratory failure Patients. Comput. Methods Programs Biomed. 214: 106577 (2022) - Lin Shang, Mingjie Cai, Baofang Wang, Jinpeng Yu:
Adaptive Fault-Tolerant Fast Finite-Time Consensus Protocols for Multiple Mechanical Systems With Output Constraints. IEEE Trans. Syst. Man Cybern. Syst. 52(9): 6028-6035 (2022) - 2020
- Mingjie Cai, Zhengrong Xiang:
Adaptive practical fast finite-time consensus protocols for multiple uncertain nonlinear mechanical systems. Int. J. Syst. Sci. 51(11): 1929-1944 (2020) - 2019
- Jean-Paul Bodeveix, Julien Brunel, David Chemouil, Mamoun Filali:
Mechanically Verifying the Fundamental Liveness Property of the Chord Protocol. FM 2019: 45-63 - 2018
- Louis Vanduyfhuys, Steven Vandenbrande, Jelle Wieme, Michel Waroquier, Toon Verstraelen, Veronique Van Speybroeck:
Extension of the QuickFF force field protocol for an improved accuracy of structural, vibrational, mechanical and thermal properties of metal-organic frameworks. J. Comput. Chem. 39(16): 999-1011 (2018) - 2017
- Robin De Croon, Davina Wildemeersch, Joris Wille, Katrien Verbert, Vero Vanden Abeele:
Anthropomorphism-Based Focus Group Protocol to Select Gamification Mechanics. PGW@CHI PLAY 2017 - 2016
- Mingjie Cai, Zhengrong Xiang, Jian Guo:
Adaptive finite-time fault-tolerant consensus protocols for multiple mechanical systems. J. Frankl. Inst. 353(6): 1386-1408 (2016) - 2014
- Kim-Kwang Raymond Choo, Junghyun Nam, Dongho Won:
A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols. Inf. Sci. 281: 182-200 (2014) - Rajaa Filali, Mohamed Bouhdadi:
A Mechanically Proved and an Incremental Development of the Session Initiation Protocol INVITE Transaction. J. Comput. Networks Commun. 2014: 352071:1-352071:11 (2014) - Camilo Rocha, José Meseguer:
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool. Specification, Algebra, and Software 2014: 603-629 - Chiranjib Patra, Samiran Chattopadhyay, Matangini Chattopadhyay, Parama Bhaumik:
Understanding the Mechanics of Some Localized Protocols by Theory of Complex Networks. CoRR abs/1410.8007 (2014) - Kim-Kwang Raymond Choo, Junghyun Nam, Dongho Won:
A mechanical approach to derive identity-based protocols from Diffie-Hellman-based protocols. IACR Cryptol. ePrint Arch. 2014: 358 (2014) - 2010
- Xiao Zhu, Peter H. Koenig, Michael Hoffmann, Arun Yethiraj, Qiang Cui:
Establishing effective simulation protocols for beta- and alpha/beta-peptides. III. Molecular mechanical model for acyclic beta-amino acids. J. Comput. Chem. 31(10): 2063-2077 (2010) - 2009
- Ka-Hung Hui, Dongning Guo, Randall Berry, Martin Haenggi:
Performance analysis of MAC protocols in wireless line networks using statistical mechanics. Allerton 2009: 1315-1322 - 2008
- Bahareh Badban, Wan J. Fokkink, Jaco van de Pol:
Mechanical Verification of a Two-Way Sliding Window Protocol. CPA 2008: 179-202 - 2006
- Wan J. Fokkink, Jun Pang, Jaco van de Pol:
Cones and foci: A mechanical framework for protocol verification. Formal Methods Syst. Des. 29(1): 1-31 (2006) - 2005
- Xiaoqi Ma, Xiaochun Cheng, Rachel McCrindle:
Knowledge Based Approach for Mechanically Verifying Security Protocols. IJCAI 2005: 1572-1573 - 2003
- Jean-Raymond Abrial, Dominique Cansell, Dominique Méry:
A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Aspects Comput. 14(3): 215-227 (2003) - 2001
- David P. L. Simons, Mariëlle Stoelinga:
Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k. Int. J. Softw. Tools Technol. Transf. 3(4): 469-485 (2001) - Giampaolo Bella, Lawrence C. Paulson:
Mechanical Proofs about a Non-repudiation Protocol. TPHOLs 2001: 91-104 - 2000
- Dmitri Chkliaev, Peter van der Stok, Jozef Hooman:
Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol. ICDCS Workshop on Distributed System Validation and Verification 2000: E96-E103 - 1994
- J Strother Moore:
A Formal Model of Asynchronous Communication and its Use in Mechanically Verifying a Biphase Mark Protocol. Formal Aspects Comput. 6(1): 60-91 (1994) - 1992
- Natarajan Shankar:
Mechanical Verification of a Generalized Protocol for Byzantine Fault Tolerant Clock Synchronization. FTRTFT 1992: 217-236 - 1986
- Thomas P. Blumer, Deepinder P. Sidhu:
Mechanical Verification and Automatic Implementation of Communication Protocols. IEEE Trans. Software Eng. 12(8): 827-843 (1986) - 1983
- Benedetto L. DiVito:
Mechanical verification of a data transport protocol. SIGCOMM 1983: 30-37 - 1981
- George F. Luger:
Mathematical Model Building in the Solution of Mechanics Problems: Human Protocols and the MECHO Trace. Cogn. Sci. 5(1): 55-77 (1981) - Ben DiVito:
A mechanical verification of the Alternating Bit Protocol. ACM SIGSOFT Softw. Eng. Notes 6(3): 8-13 (1981)
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 21:43 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