QACDes: QoS-aware context-sensitive design of cyber-physical systems.

There is a lot of confusion and ambiguity regarding the quantification of the Quality of Service (QoS) of a system, especially for cyber-physical systems (CPS) involved in automating or controlling the operations in built environments and critical urban infrastructures, such as office buildings, factories, transportation systems, smart cities, etc. In these cases, the QoS, as experienced by human users, depends on the context in which they (i.e., humans) interact with these systems. Traditionally, the QoS of a CPS has been defined in terms of absolute metrics. Such measures are unable to take into account the variations in performance due to contextual factors arising out of different kinds of human interactions. Further, the QoS of a CPS has typically been evaluated by comparing the performance of the actual, fully realized system with the given QoS constraints only after the actual system has been completely developed. In the case of faults in the design exposed by observed deviations from the QoS constraints due to unpredicted variations in the contextual factors, the system needs to be re-designed and re-developed from scratch. Due to the above-mentioned reason, the validation approach associated with the traditional QoS makes the design of CPS systems prohibitively expensive, impractical, as well as infeasible in numerous application areas, such as civil and engineering works, since it may not be possible to modify the system once developed beyond a certain extent. To that end, we propose a context-aware definition of QoS of a CPS which facilitates the design of robust systems as elaborated below. In this paper, we define QoS as a function of contextual factors. A CPS designed according to our QoS specifications would always satisfy the QoS irrespective of any possible changes in contextual factors resulting from many different human interactions that may occur during operation of the system. We also present QACDes - a novel framework that provides a formal mechanism for validating the design of a CPS with respect to the specified QoS constraints at the design phase as well as after the realization of the actual system. QACDes can validate any given CPS, irrespective of its application domain, against a QoS guarantee: (A) as early as even before the design phase by comparing the proposed model with a baseline model, or (B) after the realization of the actual system based on logs collected from running the actual system. We consider a lighting control system that manages the light switches - switching it on/off depending on contextual factors, such as the presence of occupants and time of the day. Using the lighting control system in a building as a use case, we analyze and demonstrate the effectiveness of our QoS definition as well as the QACDes framework against the performance metric measured in an actual fully-realized CPS.

MDF-DTA: A Multi-Dimensional Fusion Approach for Drug-Target Binding Affinity Prediction.

Drug-target affinity (DTA) prediction is an important task in the early stages of drug discovery. Traditional biological approaches are time-consuming, effort-consuming, and resource-consuming due to the large size of genomic and chemical spaces. Computational approaches using machine learning have emerged to narrow down the drug candidate search space. However, most of these prediction models focus on single feature encoding of drugs and targets, ignoring the importance of integrating different dimensions of these features. We propose a deep learning-based approach called Multi-Dimensional Fusion for Drug Target Affinity Prediction (MDF-DTA) incorporating different dimensional features. Our model fuses 1D, 2D, and 3D representations obtained from different pretrained models for both drugs and targets. We evaluated MDF-DTA on two standard benchmark data sets: DAVIS and KIBA. Experimental results show that MDF-DTA outperforms many state-of-the-art techniques in the DTA task across both data sets. Through ablation studies and performance evaluation metrics, we evaluate the importance of individual representations and the impact of each representation on MDF-DTA.

Identification of oral therapeutics using an AI platform against the virus responsible for COVID-19, SARS-CoV-2.

Purpose: This study introduces a sophisticated computational pipeline, eVir, designed for the discovery of antiviral drugs based on their interactions within the human protein network. There is a pressing need for cost-effective therapeutics for infectious diseases (e.g., COVID-19), particularly in resource-limited countries. Therefore, our team devised an Artificial Intelligence (AI) system to explore repurposing opportunities for currently used oral therapies. The eVir system operates by identifying pharmaceutical compounds that mirror the effects of antiviral peptides (AVPs)-fragments of human proteins known to interfere with fundamental phases of the viral life cycle: entry, fusion, and replication. eVir extrapolates the probable antiviral efficacy of a given compound by analyzing its established and predicted impacts on the human protein-protein interaction network. This innovative approach provides a promising platform for drug repurposing against SARS-CoV-2 or any virus for which peptide data is available. Methods: The eVir AI software pipeline processes drug-protein and protein-protein interaction networks generated from open-source datasets. eVir uses Node2Vec, a graph embedding technique, to understand the nuanced connections among drugs and proteins. The embeddings are input a Siamese Network (SNet) and MLPs, each tailored for the specific mechanisms of entry, fusion, and replication, to evaluate the similarity between drugs and AVPs. Scores generated from the SNet and MLPs undergo a Platt probability calibration and are combined into a unified score that gauges the potential antiviral efficacy of a drug. This integrated approach seeks to boost drug identification confidence, offering a potential solution for detecting therapeutic candidates with pronounced antiviral potency. Once identified a number of compounds were tested for efficacy and toxicity in lung carcinoma cells (Calu-3) infected with SARS-CoV-2. A lead compound was further identified to determine its efficacy and toxicity in K18-hACE2 mice infected with SARS-CoV-2. Computational Predictions: The SNet confidently differentiated between similar and dissimilar drug pairs with an accuracy of 97.28% and AUC of 99.47%. Key compounds identified through these networks included Zinc, Mebendazole, Levomenol, Gefitinib, Niclosamide, and Imatinib. Notably, Mebendazole and Zinc showcased the highest similarity scores, while Imatinib, Levemenol, and Gefitinib also ranked within the top 20, suggesting their significant pharmacological potentials. Further examination of protein binding analysis using explainable AI focused on reverse engineering the causality of the networks. Protein interaction scores for Mebendazole and Imatinib revealed their effects on notable proteins such as CDPK1, VEGF2, ABL1, and several tyrosine protein kinases. Laboratory Studies: This study determined that Mebendazole, Gefitinib, Topotecan and to some extent Carfilzomib showed conventional drug-response curves, with IC50 values near or below that of Remdesivir with excellent confidence all above R2>0.91, and no cytotoxicity at the IC50 concentration in Calu-3 cells. Cyclosporine A showed antiviral activity, but also unconventional drug-response curves and low R2 which are explained by the non-dose dependent toxicity of the compound. Additionally, Niclosamide demonstrated a conventional drug-response curve with high confidence; however, its inherent cytotoxicity may be a confounding element that misrepresents true antiviral efficacy, by reflecting cellular damage rather than a genuine antiviral action. Remdesivir was used as a control compound and was evaluated in parallel with the submitted test article and had conventional drug-response curves validating the overall results of the assay. Mebendazole was identified from the cell studies to have efficacy at non-toxic concentrations and were further evaluated in mice infected with SARS-CoV-2. Mebendazole administered to K18-hACE2 mice infected with SARS-CoV-2, resulted in a 44.2% reduction in lung viral load compared to non-treated placebo control respectively. There were no significant differences in body weight and all clinical chemistry determinations evaluated (i.e., kidney and liver enzymes) between the different treatment groups. Conclusion: This research underscores the potential of repurposing existing compounds for treating COVID-19. Our preliminary findings underscore the therapeutic promise of several compounds, notably Mebendazole, in both in vitro and in vivo settings against SARS-CoV-2. Several of the drugs explored, especially Mebendazole, are off-label medication; their cost-effectiveness position them as economical therapies against SARS-CoV-2.

Artificial intelligence for the discovery of novel antimicrobial agents for emerging infectious diseases.

The search for effective drugs to treat new and existing diseases is a laborious one requiring a large investment of capital, resources, and time. The coronavirus 2019 (COVID-19) pandemic has been a painful reminder of the lack of development of new antimicrobial agents to treat emerging infectious diseases. Artificial intelligence (AI) and other in silico techniques can drive a more efficient, cost-friendly approach to drug discovery by helping move potential candidates with better clinical tolerance forward in the pipeline. Several research teams have developed successful AI platforms for hit identification, lead generation, and lead optimization. In this review, we investigate the technologies at the forefront of spearheading an AI revolution in drug discovery and pharmaceutical sciences.

Characterization of fibrillar collagen isoforms in infarcted mouse hearts using second harmonic generation imaging.

We utilized collagen specific second harmonic generation (SHG) signatures coupled with correlative immunofluorescence imaging techniques to characterize collagen structural isoforms (type I and type III) in a murine model of myocardial infarction (MI). Tissue samples were imaged over a four week period using SHG, transmitted light microscopy and immunofluorescence imaging using fluorescently-labeled collagen antibodies. The post-mortem cardiac tissue imaging using SHG demonstrated a progressive increase in collagen deposition in the left ventricle (LV) post-MI. We were able to monitor structural morphology and LV remodeling parameters in terms of extent of LV dilation, stiffness and fiber dimensions in the infarcted myocardium.

A machine learning algorithm to improve building performance modeling during design.

Building design involves the optimization of factors affecting building performance such as building functions, comfort, safety, and energy. Building performance models (BPMs) help designers to evaluate and optimize such factors. However, the lack of design capabilities to validly describe human-building interactions for buildings under design may contribute to the development of inaccurate BPMs and the performance discrepancy between predictions and actual buildings. To address this challenge, a computational framework is proposed to increase the estimations performance of BPMs. The framework uses artificial neural networks (ANNs) to combine an existing BPM and context-aware design-specific data describing design-specific human-building interactions captured by using immersive virtual environments (IVEs). The framework produces an augmented BPM that can predict building performance taking human-building interactions specific to a new design into consideration. It incorporates a feature ranking technique allowing designers to assess impacts of contextual factors on human-building interactions. The paper focuses on providing details of theories, experiment and data collection designs, and algorithms behind the framework as a companion paper of [1]. •A framework for combining contextual factors with building performance models to enhance their predictive performance.•Computation for determining impacts of contextual factors on human-building interaction.

eToxPred: a machine learning-based approach to estimate the toxicity of drug candidates.

BACKGROUND: The efficiency of drug development defined as a number of successfully launched new pharmaceuticals normalized by financial investments has significantly declined. Nonetheless, recent advances in high-throughput experimental techniques and computational modeling promise reductions in the costs and development times required to bring new drugs to market. The prediction of toxicity of drug candidates is one of the important components of modern drug discovery. RESULTS: In this work, we describe eToxPred, a new approach to reliably estimate the toxicity and synthetic accessibility of small organic compounds. eToxPred employs machine learning algorithms trained on molecular fingerprints to evaluate drug candidates. The performance is assessed against multiple datasets containing known drugs, potentially hazardous chemicals, natural products, and synthetic bioactive compounds. Encouragingly, eToxPred predicts the synthetic accessibility with the mean square error of only 4% and the toxicity with the accuracy of as high as 72%. CONCLUSIONS: eToxPred can be incorporated into protocols to construct custom libraries for virtual screening in order to filter out those drug candidates that are potentially toxic or would be difficult to synthesize. It is freely available as a stand-alone software at https://github.com/pulimeng/etoxpred .

Deep neural networks for texture classification-A theoretical analysis.

We investigate the use of Deep Neural Networks for the classification of image datasets where texture features are important for generating class-conditional discriminative representations. To this end, we first derive the size of the feature space for some standard textural features extracted from the input dataset and then use the theory of Vapnik-Chervonenkis dimension to show that hand-crafted feature extraction creates low-dimensional representations which help in reducing the overall excess error rate. As a corollary to this analysis, we derive for the first time upper bounds on the VC dimension of Convolutional Neural Network as well as Dropout and Dropconnect networks and the relation between excess error rate of Dropout and Dropconnect networks. The concept of intrinsic dimension is used to validate the intuition that texture-based datasets are inherently higher dimensional as compared to handwritten digits or other object recognition datasets and hence more difficult to be shattered by neural networks. We then derive the mean distance from the centroid to the nearest and farthest sampling points in an n-dimensional manifold and show that the Relative Contrast of the sample data vanishes as dimensionality of the underlying vector space tends to infinity.

Break Down in Order To Build Up: Decomposing Small Molecules for Fragment-Based Drug Design with eMolFrag.

Constructing high-quality libraries of molecular building blocks is essential for successful fragment-based drug discovery. In this communication, we describe eMolFrag, a new open-source software to decompose organic compounds into nonredundant fragments retaining molecular connectivity information. Given a collection of molecules, eMolFrag generates a set of unique fragments comprising larger moieties, bricks, and smaller linkers connecting bricks. These building blocks can subsequently be used to construct virtual screening libraries for targeted drug discovery. The robustness and computational performance of eMolFrag is assessed against the Directory of Useful Decoys, Enhanced database conducted in serial and parallel modes with up to 16 computing cores. Further, the application of eMolFrag in de novo drug design is illustrated using the adenosine receptor. eMolFrag is implemented in Python, and it is available as stand-alone software and a web server at www.brylinski.org/emolfrag and https://github.com/liutairan/eMolFrag .

Deploying a quantum annealing processor to detect tree cover in aerial imagery of California.

Quantum annealing is an experimental and potentially breakthrough computational technology for handling hard optimization problems, including problems of computer vision. We present a case study in training a production-scale classifier of tree cover in remote sensing imagery, using early-generation quantum annealing hardware built by D-wave Systems, Inc. Beginning within a known boosting framework, we train decision stumps on texture features and vegetation indices extracted from four-band, one-meter-resolution aerial imagery from the state of California. We then impose a regulated quadratic training objective to select an optimal voting subset from among these stumps. The votes of the subset define the classifier. For optimization, the logical variables in the objective function map to quantum bits in the hardware device, while quadratic couplings encode as the strength of physical interactions between the quantum bits. Hardware design limits the number of couplings between these basic physical entities to five or six. To account for this limitation in mapping large problems to the hardware architecture, we propose a truncation and rescaling of the training objective through a trainable metaparameter. The boosting process on our basic 108- and 508-variable problems, thus constituted, returns classifiers that incorporate a diverse range of color- and texture-based metrics and discriminate tree cover with accuracies as high as 92% in validation and 90% on a test scene encompassing the open space preserves and dense suburban build of Mill Valley, CA.

A graph-based approach to construct target-focused libraries for virtual screening.

BACKGROUND: Due to exorbitant costs of high-throughput screening, many drug discovery projects commonly employ inexpensive virtual screening to support experimental efforts. However, the vast majority of compounds in widely used screening libraries, such as the ZINC database, will have a very low probability to exhibit the desired bioactivity for a given protein. Although combinatorial chemistry methods can be used to augment existing compound libraries with novel drug-like compounds, the broad chemical space is often too large to be explored. Consequently, the trend in library design has shifted to produce screening collections specifically tailored to modulate the function of a particular target or a protein family. METHODS: Assuming that organic compounds are composed of sets of rigid fragments connected by flexible linkers, a molecule can be decomposed into its building blocks tracking their atomic connectivity. On this account, we developed eSynth, an exhaustive graph-based search algorithm to computationally synthesize new compounds by reconnecting these building blocks following their connectivity patterns. RESULTS: We conducted a series of benchmarking calculations against the Directory of Useful Decoys, Enhanced database. First, in a self-benchmarking test, the correctness of the algorithm is validated with the objective to recover a molecule from its building blocks. Encouragingly, eSynth can efficiently rebuild more than 80 % of active molecules from their fragment components. Next, the capability to discover novel scaffolds is assessed in a cross-benchmarking test, where eSynth successfully reconstructed 40 % of the target molecules using fragments extracted from chemically distinct compounds. Despite an enormous chemical space to be explored, eSynth is computationally efficient; half of the molecules are rebuilt in less than a second, whereas 90 % take only about a minute to be generated. CONCLUSIONS: eSynth can successfully reconstruct chemically feasible molecules from molecular fragments. Furthermore, in a procedure mimicking the real application, where one expects to discover novel compounds based on a small set of already developed bioactives, eSynth is capable of generating diverse collections of molecules with the desired activity profiles. Thus, we are very optimistic that our effort will contribute to targeted drug discovery. eSynth is freely available to the academic community at www.brylinski.org/content/molecular-synthesis.Graphical abstractAssuming that organic compounds are composed of sets of rigid fragments connected by flexible linkers, a molecule can be decomposed into its building blocks tracking their atomic connectivity. Here, we developed eSynth, an automated method to synthesize new compounds by reconnecting these building blocks following the connectivity patterns via an exhaustive graph-based search algorithm. eSynth opens up a possibility to rapidly construct virtual screening libraries for targeted drug discovery.

Does Your Result Checker Really Check?

A result checker is a program that checks the output of the computation of the observed program for correctness. Introduced originally by Blum, the result checking paradigm has provided a powerful platform assuring the reliability of software. However, constructing result checkers for most problems requires not only significant domain knowledge but also ingenuity and can be error prone. In this paper we present our experience in validating result checkers using formal methods. We have conducted several case studies in validating result checkers from the commercial LEDA system for combinatorial and geometric computing. In one of our case studies, we detected a logical error in a result checker for a program computing max flow of a graph.

RETNA: From Requirements to Testing in a Natural Way.

Most problems in building and refining a system can be traced back to errors in requirements. Poorly organized requirements, most often in natural language are among the major causes of failures of software projects. In this paper, we present a requirements analysis tool called RETNA and the technology behind it. RETNA accepts natural language requirements, classifies them, interacts with the user to refine them, automatically translates natural language requirements to a logical format so that they can be validated and finally generates test cases from the requirements.