22 papers · ranked by Valyu relevance
Xiaohan Zhang, Cen Zhang, Xinghua Li, Zhengjie Du + 6 more
'Yaowen Zheng' 'Yeting Li' 'Bing Mao' 'Yang Liu' 'Robert H. Deng'] XIAOHAN ZHANG∗† , Xidian University, China CEN ZHANG∗ , Nanyang Technological University, Singapore XINGHUA LI‡ , Xidian University, China ZHENGJIE DU and BING MAO, Nanjing University, China YUEKANG LI and YAOWEN ZHENG, Nanyang Technological University…
Jacek Wytrębowicz, Krzysztof Cabaj, Jerzy Krawiec, Claudio Savaglio
There are a dozen messaging protocols proposed for IoT systems. Choosing one for a new design is complicated, and a non-optimal selection can result in slower development and higher design costs. This paper aims to help select appropriate protocols, considering IoT applications’ specificity and communication…
Roberto Rojas‐Cessa
During an assignment to teach a laboratory course of computer communications at New Jersey in 2010, there was a realization that students needed to learn and experiment network protocols in a different method that was taught in class. While they may not be complex, network protocols may not be understood, and material…
Tabitha C. Cowell, Noah R. Guillome, Matthew L. Cope-Arguello, Neha N. Prasad + 1 more
Here, we present a protocol for the transformation of Ralstonia solanacearum species complex (RSSC) strains by calcium chloride-induced chemical competence. We include a step-by-step protocol with media and solution recipes, quantitative results of the protocol’s efficacy for four of five tested RSSC strains, and an…
Nayancy Gupta, Gourinath Banda, Krishna Chaitanya Bommakanti, Venkata Srinivas Kothapalli + 1 more
'Venkata Srinivas Kothapalli' 'Massimiliano Fasi'] The Internet of Things (IoT) is becoming indispensable across various application domains. In the domain of the consumer IoT, many original device manufacturers are coming up with a wide variety of IoT-based products and services catering with a range of applications…
Jinze Du, Rui Tang, Tao Feng, Omprakash Kaiwartya
The combination of in-vehicle networks and smart car devices has gradually developed into Intelligent Connected Vehicles (ICVs). Through the vehicle security protocol, ICVs can quickly realize communication transmission. However, with the more frequent connections between smart in-vehicle devices and the network, the…
Kurt Weiss, Jan Huisken, Vesselina Bakalov, Michelle Engle + 9 more
Selecting and implementing a tissue-clearing protocol is challenging. Established more than 100 years ago, tissue clearing is still a rapidly evolving field of research. There are currently many published protocols to choose from, and each performs better or worse across a range of key evaluation factors (e.g., speed…
Kailash Gogineni, Yongsheng Mei, Guru Venkataramani, Lü Tian
—In today's world, computer networks have become vulnerable to numerous attacks. In both wireless and wired networks, one of the most common attacks is man-in-the-middle attacks, within which session hijacking, context confusion attacks have been the most attempted. Thus, a potential attacker may have enough time to…
Meihua Xiao, Hanyu Zhao, Ke Yang, Ri Ouyang + 1 more
Protocol security in a composition protocol environment has always been an open problem in the field of formal analysis and verification of security protocols. As a well-known tool to analyze and verify the logical consistency of concurrent systems, SPIN (Simple Promela Interpreter) has been widely used in the analysis…
Jun-Hai Yang, Xueshu Li, Yixuan Zhang, Junhao Zhang + 2 more
Engineering Authors: ['Jun-Hai Yang' 'Xueshu Li' 'Yixuan Zhang' 'Junhao Zhang' 'Liang Fang' 'Yunchuan Guo'] Abstract—Protocol Reverse Engineering (PRE) is used to analyze the protocol by inferring the protocol structure and behavior. However, current PRE methods mainly focus on field identification within a single…
Shihao Jiang, Yuxin Zhang, Junqiang Li, Hongfang Yu + 2 more
'Gang Sun'] As one of the most successful and effective software testing techniques in recent years, fuzz testing has uncovered numerous bugs and vulnerabilities in modern software, including network protocol software. In contrast to other fuzzing targets, network protocol software exhibits its distinct characteristics…
Andrew J. Gaetano, Ryan S. King
Whole mount in situ hybridization is a critical technique for analyzing gene expression in planarians. While robust in situ protocols have been developed, these protocols are laborious, making them challenging to incorporate in an academic setting, reducing throughput, and increasing time to results. We systematically…
Authors not listed
Protein-ligand binding affinity prediction is a key aspect in computational small molecule drug discovery. Several recent studies have demonstrated that molecular simulations based on alchemical absolute binding free-energy (ABFE) calculations are an accurate and broadly applicable tool for this purpose. However, the…
Jacek Stój, Anne-Lena Kampen, Rafał Cupek, Ireneusz Smołka + 2 more
'Marek Drewniak' 'Carlo Alberto Avizzano'] Dedicated fieldbuses were developed to provide temporal determinisms for industrial distributed real-time systems. In the early stages, communication systems were dedicated to a single protocol and generally supported a single service. Industrial Ethernet, which is used today…
Tabitha C. Cowell, Noah R. Guillome, Matthew L. Cope-Arguello, Neha N. Prasad + 1 more
Here, we present a protocol for the transformation of Ralstonia solanacearum species complex (RSSC) strains by calcium chloride-induced chemical competence. We include a step-by-step protocol with media and solution recipes, quantitative results of the protocol’s efficacy for four of five tested RSSC strains, and an…
Duong Dinh Tran, Thet Wai Mon, Kazuhiro Ogata, Marieke Huisman
The Transport Layer Security (TLS) 1.0 protocol has been formally verified with CafeInMaude Proof Generator (CiMPG) and Proof Assistant (CiMPA), where CafeInMaude is the second major implementation of CafeOBJ, a direct successor of OBJ3, a canonical algebraic specification language. The properties concerned are the…
Authors not listed
The characterization of mechanical properties in soft 3D printed materials at the microscale remains a significant challenge due to the lack of standardized methodologies. To address this issue, a microscale nanoindentation protocol for elastomeric 3D printed microstructures is developed, optimized, and benchmarked.…
Oscar Testa, Efraín R. Fonseca C., Germán Antonio Montejano, Óscar Dieste
'Óscar Dieste'] Framework to coordinate ubiquitous devices with SOA standards Oscar A. Testa∗ , Efra´ın R. Fonseca C.† , German Montejano ´ ∗Facultad de Ciencias Exactas y Naturales, Universidad Nacional de La Pampa. Santa Rosa, Argentina. Email: otesta@exactas.unlpam.edu.ar †Departamento de Ciencias de la Computacion…
baiqing li, Hongming Chen
Proteolysis targeting chimeras (PROTACs), have emerged as an effective therapeutic modality by harnessing the ubiquitin-proteasome system to selectively induce targeted protein degradation, with the potential to modulate traditional undruggable targets. Due to its hetero-bifunctional characteristics, in which a linker…
Authors not listed
Relative alchemical binding free energy calculations can be used to predict the impact of amino acid mutations on the ligand binding affinities. However, these protocols are not well established for proteins containing intrinsically disordered regions (IDRs). In this work, we focus on the development of robust protein…
Danial Gharaie Amirabadi, Cody Jackson, Dong Su Kim, Maximilian Sprang + 1 more
Protein engineering often relies on separate models for related developability properties, limiting efficiency and transfer across tasks. We present Prot2Prop, a multitask framework based on a frozen ProstT5 encoder with shared and task-specific adapters for joint prediction of six protein properties: material…
Authors not listed
Self-driving laboratories (SDLs) promise accelerated scientific discovery and product development by closing the loop between robotic execution and AI/ML-driven decision making. In practice, however, SDL orchestration remains fragmented; workflows are typically encoded as laboratory-specific scripts or bespoke…