Constructing automated protocol testing oracles to accommodate specification nondeterminism

Author(s):  
J.J. Li ◽  
Hong Liu ◽  
R.E. Seviora

2020 ◽  
Vol 21 (1) ◽  
Author(s):  
Rodrigo Ochoa ◽  
Mikhail Magnitov ◽  
Roman A. Laskowski ◽  
Pilar Cossio ◽  
Janet M. Thornton

Abstract Background Proteases are key drivers in many biological processes, in part due to their specificity towards their substrates. However, depending on the family and molecular function, they can also display substrate promiscuity which can also be essential. Databases compiling specificity matrices derived from experimental assays have provided valuable insights into protease substrate recognition. Despite this, there are still gaps in our knowledge of the structural determinants. Here, we compile a set of protease crystal structures with bound peptide-like ligands to create a protocol for modelling substrates bound to protease structures, and for studying observables associated to the binding recognition. Results As an application, we modelled a subset of protease–peptide complexes for which experimental cleavage data are available to compare with informational entropies obtained from protease–specificity matrices. The modelled complexes were subjected to conformational sampling using the Backrub method in Rosetta, and multiple observables from the simulations were calculated and compared per peptide position. We found that some of the calculated structural observables, such as the relative accessible surface area and the interaction energy, can help characterize a protease’s substrate recognition, giving insights for the potential prediction of novel substrates by combining additional approaches. Conclusion Overall, our approach provides a repository of protease structures with annotated data, and an open source computational protocol to reproduce the modelling and dynamic analysis of the protease–peptide complexes.



2014 ◽  
Vol 8 (3) ◽  
pp. 699-707 ◽  
Author(s):  
Yulong Fu ◽  
Ousmane Kone
Keyword(s):  




2022 ◽  
Author(s):  
Yan Chen ◽  
Tad Ogorzalek ◽  
Nurgul Kaplan Lease ◽  
Jennifer Gin ◽  
Christopher J Petzold

This protocol details steps to extract protein from Gram-negative bacterial or fungal cells (that have been pretreated with zymolyase) in quantitative proteomic workflows by using a Biomek FX liquid handler system. It is a semi-automated protocol that includes several 'pause' steps for centrifugation steps that are conducted manually "off-deck". This protocol works best as part of an automated proteomic sample preparation workflow with: Automated Protein Quantitation with the Biomek-FX liquid handler system and Automated Protein Normalization and Tryptic Digestion on a Biomek-NX Liquid Handler System



2020 ◽  
Author(s):  
Kiyofumi Takaba ◽  
Saori Maki-Yonekura ◽  
Koji Yonekura

AbstractA semi-automated protocol has been developed for rotational data collection of electron diffraction patterns by combined use of SerialEM and ParallEM, where SerialEM is used for positioning of sample crystals and ParallEM for rotational data collection. ParallEM calls standard camera control software through an AutoIt script, which adapts to software operational changes and to new GUI programs guiding other cameras. Development included periodic flashing and pausing of data collection during overnight or day-long recording with a cold field-emission beam. The protocol proved to be efficient and accurate in data collection of large-scale rotational series from two JEOL electron microscopes, a general-purpose JEM-2100 and a high-end CRYO ARM 300. Efficiency resulted from simpler steps and task specialization. It is possible to collect 12–20 rotational series from ∼ −68º to ∼ 68º at a rotation speed of 1º /s in one hour without human supervision.



2021 ◽  
Vol 9 ◽  
Author(s):  
Frank Iorfino ◽  
Vanessa Wan Sze Cheng ◽  
Shane P. Cross ◽  
Hannah F. Yee ◽  
Tracey A. Davenport ◽  
...  

Most mental disorders emerge before the age of 25 years and, if left untreated, have the potential to lead to considerable lifetime burden of disease. Many services struggle to manage high demand and have difficulty matching individuals to timely interventions due to the heterogeneity of disorders. The technological implementation of clinical staging for youth mental health may assist the early detection and treatment of mental disorders. We describe the development of a theory-based automated protocol to facilitate the initial clinical staging process, its intended use, and strategies for protocol validation and refinement. The automated clinical staging protocol leverages the clinical validation and evidence base of the staging model to improve its standardization, scalability, and utility by deploying it using Health Information Technologies (HIT). Its use has the potential to enhance clinical decision-making and transform existing care pathways, but further validation and evaluation of the tool in real-world settings is needed.



2008 ◽  
Vol 51 (11) ◽  
pp. 1703-1722 ◽  
Author(s):  
Xia Yin ◽  
ZhiLiang Wang ◽  
ChuanMing Jing ◽  
XinGang Shi


Author(s):  
Xiaoshuang Wang ◽  
Sunil Agham ◽  
Vikram Munishwar ◽  
Vaibhav Nipunage ◽  
Shailendra Singh ◽  
...  


2018 ◽  
Vol 24 (4) ◽  
pp. 492-500
Author(s):  
Béatrice Colin ◽  
Benoit Deprez ◽  
Cyril Couturier

The Labcyte Echo acoustic liquid handler allows accurate droplet ejection at high speed from a source well plate to a destination plate. It has already been used in various miniaturized biological assays, such as quantitative PCR (q-PCR), quantitative real-time PCR (q-RT-PCR), protein crystallization, drug screening, cell dispensing, and siRNA transfection. However, no plasmid DNA transfection assay has been published so far using this dispensing technology. In this study, we evaluated the ability of the Echo 550 device to perform plasmid DNA transfection in 384-well plates. Due to the high throughput of this device, we simultaneously optimized the three main parameters of a transfection process: dilution of the transfection reagent, DNA amount, and starting DNA concentration. We defined a four-step protocol whose optimal settings allowed us to transfect HeLa cells with up to 90% efficiency and reach a co-expression of nearly 100% within transfected cells in co-transfection experiments. This fast, reliable, and automated protocol opens new ways to easily and rapidly identify optimal transfection settings for a given cell type. Furthermore, it permits easy software-based transfection control and multiplexing of plasmids distributed on wells of a source plate. This new development could lead to new array applications, such as human ORFeome protein expression or CRISPR-Cas9-based gene function validation in nonpooled screening strategies.



Proceedings ◽  
2020 ◽  
Vol 54 (1) ◽  
pp. 5
Author(s):  
Martiño Rivera Dourado ◽  
Marcos Gestal ◽  
José M. Vázquez-Naya

During the last few years, the FIDO Alliance and the W3C have been working on a new standard called WebAuthn that aims to substitute the obsolete password as an authentication method by using physical security keys instead. Due to its recent design, the standard is still changing and so are the needs for protocol testing. This research has driven the development of a web application that supports the standard and gives extensive information to the user. This tool can be used by WebAuthn developers and researchers, helping them to debug concrete use cases with no need for an ad hoc implementation.



Sign in / Sign up

Export Citation Format

Share Document