Author: Carolyn Talcott
-
Machine Learning Models and Pathway Genome Data Base for Trypanosoma cruzi Drug Discovery
We have demonstrated how combining chemoinformatics and bioinformatics for T. cruzi drug discovery can bring interesting in vivo active molecules to light that may have been overlooked.
-
Discrete Vs. Dense Times in the Analysis of Cyber-Physical Security Protocols
This paper investigates the foundational differences and the impacts on the analysis when using models with discrete time and models with dense time.
-
Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
We are interested in principles for designing and building open distributed systems consisting of multiple cyber-physical agents, specifically, where a coherent global view is unattainable and timely consensus is impossible.
-
Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of Other Models for Distributed Computing
Traditional models based on strong computing primitives, such as atomic transactions, should be replaced by weaker models such as the partially ordered knowledge sharing model, which we motivate in this paper and put into context of existing research.
-
Expanding the Metabolite Mimic Approach to Identify Hits for Mycobacterium Tuberculosis
-
A Distributed Logic for Networked Cyber-Physical Systems
We describe a distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems.
-
Application Patterns for Cyber-Physical Systems
Inspired by a new programming paradigm based on partially ordered knowledge sharing model for loosely coupled distributed computing and its implementation in our cyber-application framework, this paper studies how to program an NCPS and exploit the capabilities provided by the underlying framework.
-
Large-Scale Access Scheduling in Wireless Mesh Networks Using Social Centrality
We propose a set of efficient resource allocation algorithms and channel access scheduling protocols based on Latin squares and social centrality metrics for wireless mesh networks (WMNs) with multi-radio multi-channel (MRMC) communication capabilities, called LaSo.
-
Achieving Resilience of Heterogeneous Networks Through Predictive, Formal Analysis
We design and implement a “what-if” analysis methodology using formal methods. Our methodology analyzes the impact of failures and changes in heterogeneous networks on QoS of flows.
-
In Silico Systems Biology Approaches for the Identification of Antimicrobial Targets
We have compiled software tools and databases that are typically used for target identification through in silico analyses. We have also identified enzyme- and broad-spectrum metabolite-based drug targets that have emerged through in silico systems microbiology.
-
Combining Cheminformatics Methods and Pathway Analysis to Identify Molecules with Whole-Cell Activity Against Mycobacterium Tuberculosis
Our approach leverages the integration of intensive data mining and curation and computational approaches, including cheminformatics combined with bioinformatics, to suggest biological targets and their small molecule modulators.